Track A. Queueing theory
Recommended for M.Sc. and Ph.D. students of the Applied Mathematics & Communications Technology Institute
Performance Modelling with Queueing Networks
Abstract. The lecture course “Performance Modelling with Queuing Networks” consists of the following lectures:
1) Review of basic performance indices and relations
2) Queuing networks and routing
3) Computing performance indices in open systems
4) Analysis of closed systems
5) Analyzing models with JMT – Java Modelling Tool
Fundamental Laws of Dependability
Abstract. The lecture course “Fundamental Laws of Dependability” consists of the following lectures:
1) Introduction to reliability and availability of systems
2) Reliability Block Diagrams and combinatorial techniques
3) Introduction to Markov Chains for dependability studies
4) Computing availability with steady state analysis
5) Studying reliability with transient analysis
Biography. Marco Gribaudo is an Associate Professor at the Politecnico di Milano (Italy). He works in the performance evaluation group and his current research interests are multi-formalism modeling, queueing networks fluid models, mean field analysis and spatial models. The main applications to which the previous methodologies are applied comes from Big Data applications, Cloud Computing, Dependability of complex Systems, Multi-Core Architectures and Wireless Sensor Networks.
Generating-Functions based Analysis Techniques for DiscreteTime Queueing Systems
Abstract. In this course we give an introduction to elementary as well as more advanced queueing theoretic techniques for the analysis of a variety of discrete-time queueing models. Considered complications include time-correlation in the arrival process, general service times or priority scheduling. The analysis techniques are based on an extensive use of discrete random variables and probability generating functions. Quantities under study are the system content, i.e., the total number of customers present in the queueing system, and the delay a customer incurs in the queueing system. Discrete-time queueing models are useful e.g. for the modelling, the performance evaluation, the dimensioning and the design of subsystems in nowadays integrated communication networks.
Biography. Sabine Wittevrongel was born in Gent, Belgium, in 1969. She received the M.Sc. Degree in Electrical Engineering and the Ph.D. Degree from Ghent University, Belgium, in 1992 and 1998, respectively. Since September 1992, she is a member of the Stochastic Modeling and Analysis of Communication Systems (SMACS) Research Group, Department of Telecommunications and Information Processing (TELIN), Faculty of Engineering and Architecture (FEA), Ghent University (UGent). From September 1992 to September 1994, she has been a researcher in the framework of various projects, from October 1994 to September 2001, she has been a researcher of the Research Foundation, Flanders (FWO-Vlaanderen), Belgium, and since October 2001, she is a full-time professor in the field of “stochastic modeling and queueing analysis”. She is also a member of the Sustainable Mobility Research Lab (IDM) of Ghent University.
Her research interests include queueing theory and stochastic modeling techniques in general, with a particular focus on queueing models with complex arrival streams, energy-efficient service mechanisms, tunable priority scheduling rules (e.g. reservation-based priority mechanisms, time-bounded priority) and queues with variable service capacity, for applications in telecommunications and mobility issues in transportation.
In 1998, she received the Scientific Award Alcatel Bell for the work entitled “Generic analytical techniques for the performance analysis of buffers in ATM networks”. She is co-author of about 75 papers in international scientific journals and more than 110 peer-reviewed papers in the proceedings of international scientific conferences. Together with co-authors, she has received 5 best papers awards at international conferences. Under her guidance, 8 PhDs have been completed. In 2015, she has been TPC co-chair of the International Teletraffic Congress (ITC) and in 2016, she has been TPC co-chair of the International Conference on Analytical and Stochastic Modelling Techniques and Applications. (ASMTA). She is editor of 2 special issues in journals (Telecommunication Systems, Computer Networks).
Track B. Communications Technologies
Recommended for 2nd, 3rd year B.Sc. students
Systems for Big Data Management
Abstract. Big Data is a somehow vague term that describes a set of different applications that are related by the fact that the current DBMS technology is not well suited for them, for reasons related with Volume, Variety and Velocity, that will be presented in the talk. Many different new systems have been recently introduced in order to deal with these new – or not-so-new – applications. We will present the technological reasons that motivated the rise of these technologies and will present a taxonomy of these systems. We will discuss some of the technological challenges, and will discuss virtues and limits of this technology, which must be understood to be able to assess, in a practical scenario, when this technology should, or should not, be preferred to the more traditional solutions. We will first provide a comprehensive recap of standard DBMSs, to allow a meaningful technical comparison between the DBMS technology and the Big Data technology.
Biography. Giorgio Ghelli is Full Professor in Computer Science, at Pisa University, since September 2002, and has been Associate Professor of Data Bases, since November 1992. He was Visiting Professor at Ecole Normal Superieure Paris (1993), at Microsoft Research Center, Cambridge (UK) (1998), and at Microsoft Co. (Redmond, USA, 2005). Since May 2017 he is President of the Laurea Magistrale in Data Science and Business Informatics of Pisa University.
His research interests are: design and implementation of database languages; type theory, and its application to the previous theme; foundations of object- oriented languages; languages and peer-to-peer systems to query semi-structured data and big data; languages to query graph data; formal languages. He contributed to the design and implementation of the Galileo and Fibonacci object- oriented database languages, and of the TQL language, a query language for XML semi-structured data.
He participated to many international projects on database languages and systems and on foundations of object-oriented languages.
He has been part of the program committee of international conferences and workshops devoted to database and object-oriented languages and systems. He has been program chair of the following workshops: DBPL’01 (Database Programming Languages), FOOL’03 (Foundations of Object Oriented Languages), PLAN-X’07 (Programming Language Technologies for XML). He published over eighty papers on refereed journals and international refereed conferences and workshops, coauthored with Antonio Albano, Luca Cardelli, Pierre-Louis Curien, Andrew Gordon, Giuseppe Castagna, Giuseppe Longo, Benjamin Pierce, Jerome Simeon, and others. He has been a member of the W3C XML Query Working Group, of the board of EAPLS (European Association for Programming Languages and Systems), of the board of GRIN (the Italian professional association of academic researchers in Computer Science).
Track C. Applied Probability Theory
Recommended for 4th year B.Sc. students of the Applied Mathematics & Communications Technology Institute
Svetlana Moiseeva , Tomsk State University (Russia)
Mathematical Models of Infocommunication Flows and Systems
Abstract. Markovian arrival process plays an important role in stochastic modelling of modern telecommunication flows. The batch Markovian arrival process (BMAP), a point process that is characterized by Markov-modulated batch arrivals of random size. The BMAP is a generalization of many well-known processes including the Markovian arrival process (MAP), the Poisson process, and the Markov-modulated Poisson process. It provides a common framework for the arrival processes modeling in variety of applications. In this lection, we will review the concepts including the history of BMAP, description of BMAP, its particular cases, review of basic results. Also we consider some types of queueing systems with Markovian arrival process as models of real telecommunication networks.
Biography. Svetlana Moiseeva – D. Sc. in Physics and Mathematics, Professor of Department of probability theory and mathematical statistics in Tomsk State University (Russia). Her scientific interest is theory of stochastic processes in queueing processes in particular, and their applications to telecommunications, call centers, etc.
Alexander Zeifman , Vologda State University
Estimates of Rate of Convergence for Continuous Time Markov
Abstract. Continuous-time Markov Chains and Models, Properties and Bounds
1) Logarithmic norm and essential non-negativity as general methods of study
2) Specific transformations of reduced forward Kolmogorov system
3) Two-sided estimates on the rate of convergence for inhomogeneous birth-death processes and some other classes of continuous-time Markov chains
4) Methods of study of perturbations and perturbation bounds
5) Approximations via truncations and approximation bounds
6) Some specific models and problems
Biography. Head of Department of Applied Mathematics, Vologda State University, Senior scientist, Institute of Informatics Problems, Federal Research Center “Computer Science and Control” of the Russian Academy of Sciences, Principal scientist, Vologda Research Center of the Russian Academy of Sciences. Doctor of Sciences in Physics and Mathemathics (Institute of Control Sciences, RAS, 1994, “Ergodicity and Stability Type Properties for Inhomogeneous Continuous-Time Markov Chains”), Professor Member of Editorial Board of Russian Journals “Arctic Environmental Research”, “Information and Control Systems”, Member of Technical Program Committee and Session Organizer in «European Conference on Modelling and Simulation» 2014, 2015, 2106; «International Conference of Numerical Analysis and Applied Mathematics» 2014, 2015, 2016; «Conference on Analytical & Stochastic Modelling Techniques & Applications» 2014, 2015, 2016; «International Seminar on Stability Problems for Stochastic Models» from 1998. Federal Professor of Mathematics from 2016.