Institute of Mathematics and Informatics

Sukurta: 16 September 2013

mii4 Akademijos, LT-08663 Vilnius
Tel. 210 9300, fax 272 9209
E-mail:
http://www.mii.lt

Director – Prof. Habil. Dr. Gintautas Dzemyda

STAFF

49 research fellows (45 holding research degree), 56 doctoral students. 

 

RESEARCH AREAS

Integrated Development of Mathematics, Informatics and Information Technologies for the Knowledge Society Advanced Products and Services

DOCTORAL DISSERTATIONS MAINTAINED IN 2015 

R. Malukas. Limit theorems for H-variation of gaussian processes.

J. Miliauskaitė. A fuzzy inference-based approach to planning quality of enterprise business services.

N. Galiauskas. Optimization algorithms for multidimensional scaling with city-block distances and their parallelization.

A. Rapečka. Increase of the efficiency of recommender systems in social networks.

S. Svanidzaitė. Spiral process model for capture and analysis of non-functional requirements of service-oriented enterprise systems.

G. Gricius. Development of multi-agent based methods for integration of small-scale embedded systems.

O. Niakšu. Development and application of data mining methods in medical diagnostics and healthcare management.

J. Katina. Investigation of prediction problems by the virtual stock exchange.

P. Stefanovič. Visualization of self-organizing maps and estimation of their quality.

I. Vinogradova. Distance course selection optimisation.

MAIN CONFERENCES ORGANIZED IN 2015

6th international doctoral consortium Informatics Engineering Education Research, http://ims.mii.lt/ims/renginiai/Consortium/consortium.htm.

7th international seminar Data Analysis Methods for Software Systems
http://www.mii.lt/datamss/index.php?page=datamss_2015&lang=en.

IFIP TC3 working conference A New Culture of Learning: Computing and Next Generations http://www.ifip2015.mii.vu.lt/.

ITiCSE 2015, the 20th annual ACM SIGCSE conference on Innovation and Technology in Computer Science Education, http://www.iticse2015.mii.vu.lt/.

 

DEPARTMENT OF INFORMATICS METHODOLOGY

4 Akademijos, LT-08663 Vilnius
Tel. 210 9732
E-mail:

Head - Prof. Dr. Valentina Dagienė

STAFF

Chief research fellow: Prof. Dr. V. Dagienė.
Senior reseach fellow: Dr. J. Kurilov.
Affiliated senior research fellows: Assoc. Prof. Dr. G. Grigas, Dr. L. Markauskaitė.
Research fellows: Dr. T. Jevsikova, Dr. S. Kubilinskienė, Dr. I. Žilinskienė.
Junior reseach fellows: Dr. E. Jasutė, Dr. A. Juškevičienė.
Specialists: V. Dagys, Dr. B. Skūpas, Dr. J. Skūpienė, G. Stupurienė, L. Vinikienė.
Doctoral students: G. Beresnevičius, A. Berniukevičius, V. Dvareckienė, V.  Dolgopolovas, D.  Gudonienė, A. Savickaitė, G. Stupurienė, L. Vinikienė.

RESEARCH INTERESTS

Application of intelligent technologies in education
Computer science education
Computing engineering education research
Personalised learning
Software localisation
Technology enhanced learning

RESEARCH PROJECTS CARRIED OUT IN 2015

Projects Supported by University Budget

Research on Intelligent Technologies Application for Teaching, Learning and Cultural Environment. Prof. Dr. V. Dagienė, 2015–2019.

Creation of engineering solutions for improving teaching and learning by implementing intelligent technologies; creation of personalised learning methods and activities as well as ontologies to teach and learn informatics engineering. Creation of personalised engineering solutions for mobile learning; creating of e-learning recommendations based on semantic web. Creation of methodologies to evaluate the quality of distance learning courses and learning object repositories;

Creation of computational thinking operational model; research on its application in general education and in Informatics competition "Bebras".

Main publications:

Kurilov, J., Juškevičienė, A. 2015. Creation of Web 2.0 tools ontology to improve learning.  Computers in human behavior, vol. 51, Part B, p. 13801386.

Kurilov, J., Žilinskienė, I., Dagienė, V. 2015. Recommending suitable learning paths according to learners’ preferences: experimental research results. Computers in human behavior, vol. 51, Part B, p. 945951.

Dagienė, V., Gudonienė, D., Burbaitė, R. 2015. Semantic web technologies for e-learning: models and implementation. Informatica, vol. 26, no. 22, p. 221240. 

International Research Projects

F7-Science-In-Society-2012-1 Mathematics and Science for Life – MaScil. Consortium Agreement for the Project Mascil 2013-06-12 Nr. 320.693, Coordinator: Pädago­gische Hoch­schule Freiburg (Germany), Partners: Austria, Greece, Netherlands, Spain, Lithuania, Cyprus, United Kingdom, Czech Republic, Norway, Germany, Bulgaria, Romania, Turkey. 

MAIN R&D&I (RESEARCH, DEVELOPMENT AND INNOVATION) PARTNERS

Aalto University (Finland)
University of Eastern Finland of Joensuu and Kuopio (Finland)
Freie Universitaet Berlin (Germany)
Radboud University Nijmegen (The Netherlands)
Lithuanian Computer Society (Lithuania)

OTHER SCIENTIFIC ACTIVITIES

Prof. V. Dagienė –

  • editor-in-Chief of the journal Informatics in Education, http://www.mii.lt/informatics_in_education/ (Thomson Reuters Web of Science Core Collection);
  • editor of the journal Olympiads in Informatics (Scopus);
  • chair of international conference ITiCSE 2015 (the 20th annual conference on Innovation and Technology in Computer Science Education), http://www.iticse2015.mii.vu.lt/en/menu1/committee;
  • chair of  IFIP working joint conference A New Culture of Learning: Computing and Next Generationshttp://www.ifip2015.mii.vu.lt/committee-3;
  • coordinator of the Nordplus Network on Innovative Computing Education;
  • representative of Lithuania in Education Committee TC3 under the International Federation for Information Processing (IFIP);
  • member of Steering Committee of International Olympiads in Informatics.

Assoc. Prof. Dr. J. Kurilov –

Dr. T. Jevsikova –

  • member of International Federation for Information Processing (IFIP) TC3 WG 3.1 (Informatics for Secondary Education);
  • program Chair of international conference ITiCSE 2015 (the 20th annual conference on Innovation and Technology in Computer Science Education), (http://www.iticse2015.mii.vu.lt/en/menu1/committee/);
  • organising commitee member of  IFIP working joint conference A New Culture of Learning: Computing and Next Generations, (http://www.ifip2015.mii.vu.lt/committee-3).

 

DEPARTMENT OF NUMERICAL ANALYSIS

4 Akademijo, LT-08663 Vilnius
Tel. 210 9734
E-mail:

Head – Assoc. Prof. Dr. Artūras Štikonas

STAFF

Chief  research fellows: Prof. Habil. Dr. M. Sapagovas, Assoc. Prof. Dr. A. Štikonas.
Senior research fellow: Prof. Dr. S. Rutkauskas.
Research fellows: Dr. S. Roman, Assoc. Prof. Dr. R. Čiupaila.
Junior research fellows: J. Novickij, A. Skučaitė.
Specialists and engineering staff: G. Paukštaitė, K. Skučaitė-Bingelė.
Doctoral students: A. Skučaitė; K. Skučaitė-Bingelė.

RESEARCH INTERESTS

Differential equations and applications

Investigation of the spectrum and boundary value problems for differential and difference operators with nonlocal conditions

RESEARCH PROJECTS CARRIED OUT IN 2015

Projects Supported by University Budget

The Investigation of Spectrum and Boundary Problems of Differential and Difference Operators with Non-Local Conditions. Assoc. Prof. Dr. A. Štikonas. 2011–2015.

Investigation of features of the spectrum of elliptic operator with variable coefficients and integral conditions and to clarify the conditions for the convergence of iterative methods.

Examination of stability areas of schemes for hyperbolic equations.

Investigation of well posedness of system of Dirichlet elliptic equations with with additional asymptotic condition, obtain sufficient conditions for the existence of solution in the class of Holder functions.

Examination of bifurcations of spectrum for problems with incomplete integral condition.

Main publications:

Paukštaitė, G., Štikonas, A. 2015. Ordinary and generalized Green’s functions for the second order discrete nonlocal problems. Boundary Value Problems, vol. 207, p. 1–19.

Skučaitė, A., Štikonas, A. 2015. Spectrum curves for Sturm–Liouville Problem with Integral Boundary Condition. Math. Model. Anal., vol. 20, no. 6, p.  802–818.

National Research Projects

Research Council of Lithuania.Investigation of Stationary Problems with Nonlocal Conditions, Numerical Analysis and Applications (No. MIP-047/2014). A. Štikonas. 20142016.

MAIN R&D&I (RESEARCH, DEVELOPMENT AND INNOVATION) PARTNERS

Belarus State University, Minsk (Belarus)

OTHER SCIENTIFIC ACTIVITIES

Prof. Dr. A. Štikonas -

  • deputy-editor-in-chief of the journal Nonlinear Analysis: Modelling and Control;
  • editorial board member of the journal Mathematical Modelling and Analysis;
  • editorial board member of the Lithuanian Mathematical Journal. 

Prof. M. Sapagovas – 

  • editorial board member of  the Lithuanian Mathematical Journal;
  • editorial board member of  the journal Nonlinear Analysis: Modelling and Control.

Prof. S. Rutkauskas –

  • editorial board member of  the Lithuanian Mathematical Journal;
  • associate Editor of the journal Lietuvos matematikos rinkinys. Proc. of the Lithuanian Mathematical Society, Ser. A and Ser. B;
  • editorial board member of the  journal Mathematical Modelling and Analysis.

 

DEPARTMENT OF PROBABILITY THEORY AND STATISTICS

4 Akademijos, LT-08663 Vilnius
Tel. 210 9731
E-mail:  

Head – Prof. Dr. Habil. Kęstutis Kubilius

STAFF

Chief research fellows: Prof. Habil. Dr. K. Kubilius, Prof. Habil. Dr. E. Manstavičius, Prof. Habil. Dr. J. K. Sunklodas.
Affiliated chief research fellow: Prof. Dr. J. J. Mačys.
Senior research fellows: Prof. Dr. O. Januškevičienė, Prof. Dr. S. Norvidas, Prof. Dr. M. Radavičius, Prof. Habil. Dr. R. Rudzkis.
Research fellows: A. Bakšajevas, A. Čiginas, D. Dzindzalieta, V. Kurauskas, V. Skorniakov.
Technicians: V. Butkus, R. Šimėnas
Doctoral students: V. Butkus, L. Dreižienė, Š. Germanas, M. Lapėnaitė - Gedvilė, T. Rudys, R. Užupytė.

RESEARCH INTERESTS

Applied probability theory, statistical hypothesis testing, econometrics
Probability theory, random matrix theory, combinatorics, discrete mathematics
Exponential dispersion models
Finite population statistics and statistical analysis of data
Extremal Problems in Harmonic Analysis 
Statistics of random process
Random graphs

RESEARCH PROJECTS CARRIED OUT IN 2015

Projects Supported by University Budget

Asymptotic Analysis of Linear and Nonlinear Statistics. Prof. Dr. Habil. K. Kubilius. 2013–2015.

An upper bound on the tail probabilities for the normalized Rademacher sums with the smallest possible constant is obtained. A general differential equation is found, formed from the characteristic function, which allows us to obtain the optimal estimates of the rate of convergence of distributions to the normal distribution for one random variable and for some random sums of independent identically distributed random variables.

Main publications:

Bentkus, V. K., Dzindzalieta, D. 2015. A tight Gaussian bound for weighted sums of Rademacher random variables. Bernoulli, vol. 21, no. 2, p. 1231–1237.

Kubilius, K., Mishura, Y., Ralchenko, K., Seleznjev, O. 2015. Consistency of the drift parameter estimator for the discretized fractional Ornstein Uhlenbeck process with Hurst index H∈(0,1/2). Electronic Journal of Statistics, vol. 9, no. 21, p. 799–1825.

Norvidas, S. 2015. On positive definite distributions with compact support. Banach journal of mathematical analysis, vol. 9, no. 3, p. 14–23.

National Research Projects

Research Council of Lithuania. European Union Structural Funds project Postdoctoral Fellowship Implementation in Lithuania within the framework of the Measure for Enhancing Mobility of Scholars and Other Researchers and the Promotion of Student Research (VP1-3.1-ŠMM-01) of the Program of Human Resources Development Action Plan. Post doctoral research fellow A. Čiginas, Prof. Dr. M. Radavičius. 2013–2015.

Gini’s mean difference statistic was considered as universal alternative to the empirical variance in the settings of finite populations where simple random samples are drawn without replacement. Specific estimation strategies for a scale of the population were constructed, and asymptotic properties of both the statistics were explored and compared.

A new method was introduced in problems where estimates are needed for finite population domains with small or even zero sample sizes. The method was applied for several common cases of auxiliary information.

Main publication:

Čiginas, A., Pumputis, D. 2015. Gini’s mean difference and variance as measures of finite populations scales. Lithuanian mathematical journal, vol. 55, no. 3, p. 312–330.

Research Council of Lithuania. Existence of Solutions of Stochastic Differential Equations and Estimation of Parameters (No. MIP-048/2014). Prof. Habil. Dr. K. Kubilius. 2014–2016.

The exact confidence intervals for the estimator of the Orey index of Gaussian processes were obtained. We also proved the asymptotic normality of the Orey index. We examined the existence and uniqueness of an SDE with a polynomial drift driven by a fractional Brownian motion (fBm) and proposed strongly consistent and asymptotically normal estimators of the Hurst index and volatility.

Main publications:

Kubilius, K., Skorniakov, V. 2015. On some estimators of the Hurst index of the solution of SDE driven by a fractional Brownian motion. Statistics and Probability Letters, vol. 109, p. 159–167.

Kubilius, K., Melichov, D. 2015. Exact confidence intervals of the extended Orey index for Gaussian processes. Methodology and Computing in Applied Probability. First online: 21 August 2015, p. 1–20, doi:10.1007/s11009-015-9460-9.

Kubilius, K., Skorniakov, V., Melichov, D. 2016. Estimation of parameters of SDE driven by fractional Brownian motion with polynomial drift. Journal of statistical computation and simulation. First published online: 09 Oct 2015., vol. 86, issue 10, p. 1954–1969.

MAIN R&D&I (RESEARCH, DEVELOPMENT AND INNOVATION) PARTNERS

Bielefeld University Collaborative Research Centre (Germany)
Taras Shevchenko National University of Kyiv (Ukraine)

OTHER SCIENTIFIC ACTIVITIES

Prof. K. Kubilius –

Prof. E. Manstavičius –

Prof. S. Norvidas –

Assoc. Prof. M. Radavičius –

Prof. R. Rudzkis –

 

DEPARTMENT OF RECOGNITION PROCESSES

4 Akademijos, LT-08663 Vilnius
Tel. 210 9304
E-mail:

Head – Prof. Dr. Julius Žilinskas

STAFF

Chief research fellows : Prof. Dr. J. Žilinskas, Prof. Habil. Dr. K. Kazlauskas, Prof. Habil. Dr. A. Žilinskas.
Senior research fellows: Assoc. Prof. Dr. R. Pupeikis, Dr. R. Paulavičius.
Affiliated chief research fellow: Prof. Habil. Dr. A.L. Telksnys.
Research fellows: Dr. A. Lančinskas, Dr. G. Korvel, Dr. G. Tamulevičius.
Junior research fellow: G. Gimbutienė.
Specialists, engineering and expert staff: G. Navickas, J. Kaukėnas, J. Katina.
Doctoral students: A. Dzidolikaitė, D. Eringis, T. Liogienė, G. Vaicekauskas, G. Graževičius, R. Smaliukas, T. Tišina, E. Zikarienė, R. Kriauzienė.

RESEARCH INTERESTS

Random processes analysis and recognition
Optimization and high-performance computing

RESEARCH PROJECTS CARRIED OUT IN 2015

Projects Supported by University Budget

Analysis, Recognition, Optimization, and Control of Non-Linear Systems and Signals with Complex Structure. Prof. Dr. J. Žilinskas. 2014–2016.

Optimization algorithms and an algorithm for the design of the substitution tables of the block cipher systems were proposed and investigated; the fast Fourier transform procedure is modified in order to calculate the spectrum values in real time applications, when in a fixed period a small portion of old observations is changed by a new one; characteristics of atrial fibrillation and atrial fibrillation recognition capabilities using Rythmogram were investigated.

Main publications:

Žilinskas, J., Goldengorin, B., Pardalos, P.M. 2015. Pareto-optimal front of cell formation problem in group technology. Journal of Global Optimization, vol. 61, no. 1, p. 91–108.

Kazlauskas, K., Vaicekauskas, G., Smaliukas, R. 2015. An algorithm for key-dependent S-box generation in block cipher system. Informatica, vol. 26, no. 1, p. 51–65.

Pupeikis, R. 2015. Revised 2D Fast Fourier Transform. Electrical, Electronic and Information Sciences (eStream): proceedings of the 2015 open conference, 21 April, 2015, Vilnius, Lithuania, p. 1–4.

National Research Projects

Research Council of Lithuania. Creation and Development of Algorithms for Global Optimization (No. MIP-051/2014). Prof. Dr. J. Žilinskas. 2014–2016.

The aim of the project is to create and develop global optimization algorithms. Statistical, heuristic, and deterministic algorithms, their hybrids and parallel versions are developed and investigated in this project. We will aim to investigate which algorithms on which problems perform better and propose recommendations for solution of practical optimization problems.

European Union Structural Funds project. Services Controlled by the Lithuanian Speech - The project LIEPA (No. VP2-3.1-IVPK-12-K-01-001). Prof. L. Telksnys. 2013–2015.

The project LIEPA is aimed at developing tools which would open the possibilities of working and communicating with computers and smart things using the Lithuanian speech which presents numerous specific problems due to its abundant polysemy of inflection.

The services developed will be conducive to fostering pupils’ abilities to use speech technologies, will aid adults in various work by talking to computers in Lithuanian, will provide people with advice how to correctly pronounce words in Standard Lithuanian.

Utena A. and M. Miškiniai Public Library. Common Competence and Social Skills Development in Libraries for Children with Learning Difficulties Using Games, IT and Environmental Technologies (1/BS-580000-1566), G. Navickas. 2015.

Series of lectures for Utena and Molėtai region librarians were held on using speech technologies for teaching children with learning difficulties.

International Research Projects

COST action Mathematical Optimization in the Decision Support Systems for Efficient and Robust Energy Networks TD1207 Member of Managing Committee Prof. Dr. J. Žilinskas. 2013–2017.

http://www.cost.eu/domains_actions/ict/Actions/TD1207?management.

Energy Production and Distribution (EP&D) is among the biggest challenges of our time, since energy is a scarce resource whose efficient production and fair distribution is associated with many technical, economical, political and ethical issues like environmental protection and people health. EP&D networks have rapidly increased their size and complexity. Thus, there is an increasing need of systems supporting the operational, regulatory and design decisions through a highly inter-disciplinary approach, where experts of all the concerned fields contribute to the definition of appropriate mathematical models. This is particularly challenging because these models require the simultaneous use of many different mathematical optimization tools and the verification by experts of the underlying engineering and financial issues.

COST action Onetwork for Sustainable Ultrascale Computing (NESUS) IC1305 Member of Managing Committee Dr. A. Lančinskas. 2014–2018.

http://www.cost.eu/COST_Actions/ict/Actions/IC1305

The goal of the NESUS Action is to establish an open European research network targeting sustainable solutions for ultrascale computing aiming at cross fertilization among HPC, large scale distributed systems, and big data management. The network will contribute to glue disparate researchers working across different areas and provide a meeting ground for researchers in these separate areas to exchange ideas, to identify synergies, and to pursue common activities in research topics such as sustainable software solutions (applications and system software stack), data management, energy efficiency, and resilience. Some of the most active research groups of the world in this area are members of this proposal. This Action will increase the value of these groups at the European-level by reducing duplication of efforts and providing a more holistic view to all researchers, it will promote the leadership of Europe, and it will increase their impact on science, economy, and society.

MAIN R&D&I (RESEARCH, DEVELOPMENT AND INNOVATION) PARTNERS

Hospital Kauno Klinikos of Lithuanian University of Health Sciences (Lithuania)
CC Algoritmų sistemos (Lithuania)
CC Inogama (Lithuania)
Universidad de Almería (Spain)
Università della Calabria (Italy)
University of Florida (USA)

OTHER SCIENTIFIC ACTIVITIES

Prof. Dr. J. Žilinskas –

Prof. Habil. Dr. A. L. Telksnys –

Prof. Habil. Dr. K. Kazlauskas –

  • member of Lithuanian Computer Society, http://www.liks.lt;
  • member of Lithuanian Mathematical Society, http://www.mif.vu.lt/lmd/;
  • reviewer of international journals:
    • IEEE Trans. On Signal Processing;
    • IEEE Trans. On Circuits and Systems;
    • Informatica;
    • Information Technology and Control.

Assoc. Prof. Dr. R. Pupeikis –

Dr. G. Tamulevičius –

Dr. A. Lančinskas –

  • affiliate member of European Network of Excellence on High Performance and Embedded Architecture and Compilation (HiPEAC), http://www.hipeac.net;
  • member of management committee of COST action IC1305 Network for Sustainable Ultrascale Computing (NESUS);
  • reviewer of international journals:
    • Journal of Global Optimization;
    • Central European Journal of Computer Science;
    • Central European Journal of Engineering;
    • Informatica;
    • Optimization Letters;
    • Baltic Journal of Modern Computing.

Dr. R. Paulavičius –

  • affiliate member of European Network of Excellence on High Performance and Embedded Architecture and Compilation (HiPEAC), http://www.hipeac.net;
  • reviewer of international journals:
    • Journal of Global Optimization;
    • Optimization Letters;
    • Information Technology and Control;
    • Central European Journal of Computer Science;
    • Communications in Nonlinear Science and Numerical Simulation;
    • Informatica.

G. Navickas –

 

DEPARTMENT OF SOFTWARE ENGINEERING

4 Akademijos, LT-08663 Vilnius
Tel. 210 9340, fax 272 9209
E-mail:
www: http://www.mii.lt/PSIS/indexEN.php

Head – Prof. Dr. Saulius.Gudas

Head of Mathematical Logic Sector at Software Engineering Department – Assoc. Prof. Habil. Dr.  Regimantas Ričardas Pliuškevičius (e-mail: )

STAFF

Chief research fellow: Prof. Dr. S. Gudas.
Affiliated chief researcher fellow:  Prof. Habil. Dr. S. Jukna.
Senior reseach fellow: Prof. Dr. D. Dzemydienė.
Affiliated senior research fellows:  Assoc. Prof. Habil. Dr.  R. Pliuškevičius, Assoc. Prof. Dr. A. Pliuškevičienė.
Research fellows: Assoc. Prof. Dr. A. Lupeikienė, Dr. S. Maskeliūnas, Dr. R. Alonderis, Assoc. Prof. Dr.  J. Sakalauskaitė.
Junior reserach fellow: Dr. J. Miliauskaitė.
Chief Specialist: Prof. Dr. A. Čaplinskas.
Assistant research fellow: L. Paliulionienė.
Doctoral students: A. Miliauskas, A. Šaikūnas, A. Valatavičius, E. Žulkas. 

RESEARCH INTERESTS 

Information system engineering:
Theoretical foundations
Model driven development

Software engineering:
Software service engineering
Computer-aided software engineering
Knowledge-based systems
Proof theory of non-classical logics
Automated deduction
Decision procedures
Boolean function complexity
Lower bounds 

RESEARCH PROJECTS CARRIED OUT IN 2015

Projects Supported By University Budget 

Research of Software Engineering Methods Arrangement with Semantic Modelling Methods of Business Management. Prof. Dr. S. Gudas. 2015–2017. 

New concepts for the modelling of a subject domain of information systems are introduced: a management transaction and a management functional dependency (MFD). A management transaction is considered as a sequence of information transformations aimed to implement particular MFD.  A semantic building block of enterprise management internal model is defined as the Elementary Management Cycle (EMC).

The principle possibilities of using autonomic computing approach to implement the Elementary Management Cycle (EMC) are examined. This approach is aimed for the enterprise software system development and integration using autonomic computing.

An approach for representing interconnections and method of semi-automated e-service composition in the context of the water resource management information system are proposed.

Main publications:

Valatavičius, A., Gudas, S. 2015. Enterprise software system integration using autonomic computing. BIRWS 2015. Joint Proceedings of the BIR 2015 Workshops and Doctoral Consortium co-located with 14th International Conference on Perspectives in Business Informatics Research (BIR 2015), Tartu, Estonia, August 26–28, 2015. Ser.: CEUR Workshop Proceedings, vol. 1420, p. 156–163.

Dzemydienė, D., Maskeliūnas, S., Miliauskas, A., Naujikienė, R., Dzemydaitė, G. 2015. E-service composition for decision support, based on monitoring of contamination processes and analysis of water resource data. Technological and Economic Development of Economy, vol.  21, n. 6, p. 869–884. 

Construction of Calculi and Solving Procedures for Modal Logics and Lower Bounds of Complexity for Discrete Optimisation Problems. Habil. Dr.  R. Pliuškevičius. 2015–2017. 

Two finite proof search procedures for temporal logic of knowledge were constructed:  one with the invariant rule and one with looping axioms.

The sound and complete sequent calculus for half-order modal logic was constructed.

The arithmetic schemes with addition and multiplication operations approximating given multidimensional polynomial were investigated; these schemes produce precise calculation for Boolean vectors only. It was proved that such schemes can be exponentially stronger than the arithmetic schemes which are calculating polynomials precisely, and exponentially weaker than monotone Boolean schemes.

Main publications:

Jukna, S., Schnitger, G. 2015. On the optimality of Bellman-Ford-Moore shortest path algorithm. ECCC TR Nr. 127.

Jukna, S. 2015. Lower bounds for tropical circuits and dynamic programs. Theory of Computing Systems, vol. 57, nr. 1, p. 160–194.

Alonderis, R., Pliuškevičius, R., Pliuškevičienė, A. 2015. Finite Sequent Calculi for PLTL. Liet. matem. rink. Proc. LMS, Ser. A, vol. 56, p. 1–6.

National Research Projects

European Social Fund Agency. Theoretical and Engineering Aspects of E-Service Technology Development and Application in High-Performance Computing Platforms (No. VP1-3.1-ŠMM-08-K-01-010). Prof. Dr. A. Čaplinskas, Assoc. Prof. Dr. A. Lupeikienė, J. Miliauskaitė, L. Paliulionienė. 2012–2015.

The methodological issues related to preliminary Quality of Service planning in enterprise systems were analysed; the results are presented in: J. Miliauskaitė. 2015. Some Methodological Issues Related to Preliminary QoS Planning in Enterprise Systems. Baltic Journal of Modern Computing, vol. 3(3), p. 149–163.

MAIN R&D&I (RESEARCH, DEVELOPMENT AND INNOVATION) PARTNERS

University of Latvia (Latvia)
Tallinn University of Technology (Estonia)
University of Maribor (Slovenia)
University of Geneva (Switzerland)
University of Frankfurt (Germany) 

OTHER SCIENTIFIC ACTIVITIES

Prof. Dr. S. Gudas –

Prof. Dr. A. Čaplinskas –

Prof. Dr. D. Dzemydienė –

Assoc. Prof. Dr. A. Lupeikienė

Dr. S. Maskeliūnas –

Prof. Habil. Dr. S. Jukna –

Assoc. Prof. Habil. Dr. R. Pliuškevičius –

 

DEPARTMENT OF STOCHASTIC PROCESSES

Akademijos str. 4, LT-08663 Vilnius
Tel. 210 9317
E-mail:  

Head – Prof. Habil. Dr. Donatas Surgailis

STAFF

Chief research fellows : Prof. Habil. Dr. D. Surgailis, Prof. Habil. Dr. A. Dubickas, Prof. Habil. Dr. R. Leipus, Habil. Dr. R. Norvaiša.
Affiliated chief research fellows: Prof. Habil. Dr. L. Giraitis, Prof. Habil. Dr. R. Mikulevičius. 
Senior research fellows: Assoc. Prof. Dr. A. Astrauskas , Dr. M. Vaičiulis, Prof. Dr. J. Šiaulys.
Specialists and engineering staff: Š. Dirmeikis, I. Grublytė, V. Pilipauskaitė, Dr. A. Zinevičius, J. Zinkevičienė.
Doctoral students: Š. Dirmeikis, I. Grublytė, V. Pilipauskaitė, A. Škarnulis.

RESEARCH INTERESTS

Statistical inference for long memory processes
Modeling financial data
Long range dependence
Heavy tails
Aggregation
Random fields
Self-similar processes
Levy processes
Rough paths
Concrete functional calculus
Random Hamiltonians
Insurance mathematics

RESEARCH PROJECTS CARRIED OUT IN 2015

Projects Supported by University Budget

Investigation of Fractal Properties of Random Proceses and Random Fields. Prof. R. Norvaiša, Prof. D. Surgailis. 20122015.

Almost sure convergence of weighted power variations is established for a class of random processes defined as L2- stochastic integrals with deterministic integrand with respect to a Gaussian process, which do not need to have stationary increments. The conditions for the convergence are expressed in terms of p-variations of the covariance function of the Gaussian process. In particular, the result holds for fractional Brownian motion, subfractional Brownian motion and bifractional Brownian motion.

Main publications:

Norvaiša, R. 2015. Weighted power variation of integrals with respect to a Gaussian process. Bernoulli, vol. 21, no. 2, p. 1260–1288.

Puplinskaitė, D., Surgailis, D. 2015. Scaling transition for long-range dependent Gaussian random fields. Stochastic Processes and their Applications, vol. 125, p. 2256–2271.

National Research Projects

Research Council of Lithuania. Nonlinear long memory, heavy tails and aggregation (No. MIP-063/2013). D. Surgailis. 20132015.

The notion of scaling transition and distributional long-range dependence for stationary random fields on the plane were introduced in terms of scaling limits over rectangles whose sides grow at arbitrary rate. The existence of scaling transition was established for several classes of long-range dependent random fields, including a natural class of Gaussian random fields with singular spectral density.

Main publication:

Puplinskaitė, D., Surgailis, D. 2015. Scaling transition for long-range dependent Gaussian random fields. Stochastic processes and their applications, vol. 125, p. 2256–2271.

OTHER SCIENTIFIC ACTIVITIES

Prof. Habil. Dr. A. Dubickas

  • associate editor of the Uniform Distribution Theory;
  • associate editor of the European Journal of Mathematics;
  • associate editor of the Conference Papers in Mathematics;
  • associate editor of the Lithuanian Mathematical Journal;
  • associate editor of the Šiauliai Mathematical Seminar.

Dr. R. Norvaiša –

  • managing editor of the Lithuanian Mathematical Journal;
  • associate editor of the North-Western European Journal of Mathematics.

Prof. Habil. Dr. R. Leipus –

  • associate editor of the Lithuanian Mathematical Journal;
  • associate editor of the Pinigų studijos (Monetary Studies).

Prof. Habil. Dr. D. Surgailis –

  • associate editor of the Lithuanian Mathematical Journal.

Prof. Dr. J. Šiaulys –

  • associate editor of the Lithuanian Mathematical Journal;
  • associate editor of the Modern Stochastics: Theory and Methods;
  • reviewer for the Mathematical Reviews;
  • reviewer for the Zentralblatt MATH.

 

DEPARTMENT OF SYSTEMS ANALYSIS

4 Akademijos, LT-08663 Vilnius
Tel. 210 9300
E-mail:

Head – Prof. Habil. Dr. Gintautas Dzemyda

STAFF

Chief research fellows: Prof. Habil. Dr. G. Dzemyda, Prof. Habil. Dr. L. Sakalauskas, Prof. Habil. Dr. A. Žilinskas, Prof. Habil. Dr. R. Želvys.
Senior research fellows: Assoc. Prof. Dr. O. Kurasova, Prof. Dr. S. Minkevičius, Dr. V. Marcinkevičius, Dr. D.E. Otera, Dr. A. Jakaitienė.
Affiliated research fellows: Prof. Habil. Dr. A. Garliauskas, Dr. A. Mockus, Dr. S. Steišūnas, Prof. Habil. Dr. J. Mockus.
Research fellows: Assoc. Prof. Dr. I. Belov, Dr. J. Bernatavičienė, Dr. J. Gordevičius, Dr. R. Karbauskaitė, Dr. V. Medvedev, Assoc. Prof. Dr. P. Treigys, Prof. Dr. A. Pakštas, Dr. E. Filatovas.
Junior research fellows: Dr. A. Rapečka, T. Grigalis, K. Koncevičius.
Specialists and engineering staff: V. Tiešis, Dr. L. Ringienė, Dr. G. Jakimauskas, K. Minkevičius, A. Ušpurienė, P. Gibas, J. Katina.
Doctoral students: E. Artemčiukas, G. Bazilevičius, M.J. Bilinskas, D. Bykovas, A. Daranda, A. Gimbutas, G. Gimbutienė, A.A. Haidari, V. Jakštys, V. Jančauskas, J. Jucevičius, R. Jurevičius, D. Kavaliauskas, J. Kurilova, K. Paulauskienė, N. Pozniak, T. Pranckevičius, R. Rybnikovė, M. Sabaliauskas, G. Stabingis, D. Stumbrienė, D. Tamašauskas, J. Tichonov, J. Vaičiulytė, J. Zubova.

RESEARCH INTERESTS

Analysis of large data sets

Artificial neural networks

Creation and computational realization of complex simulation models in epidemiology, education, economics, and energy supply systems and of various other origin with uncertainty

Data mining

Developement of decision support systems

Bioinformatics

Geometric group theory and geometric topology

Global optimization methods

Multi-objective optimization

Image analysis, feature detection, image reconstruction, medical image processing

Internet data mining

Local optimization methods

Medical data analysis and decision support

Multiple criteria decision support

Operations research

Optimal control applications

Parallel computing

Queueing theory

Statistical simulation

Stochastic programming

Visualization of multidimensional data

Swarm intelligence

Web service development

RESEARCH PROJECTS CARRIED OUT IN 2015

Projects Supported by University Budget

Optimal Solutions in Data Mining Tasks. Prof. Habil. Dr. G. Dzemyda. 2014–2016.

A visualization technique for accessing solution pool in interactive methods of multiobjective optimization has been developed and investigated.

A multiobjective optimization algorithm based on statistical rational decision theory and visualization of the Pareto set is developed and applied to the optimal design of technological processes.

Optimization of the maximum likelihood estimator for determining the intrinsic dimensionality of high-dimensional data.

The visual method which can be used in the analysis of streaming data of various nature for finding the best subsequences matching to the sample in the multivariate time series has been developed and investigated.

Main publications:

Filatovas, E., Podkopaev. D., Kurasova, O. 2015. A visualization technique for accessing solution pool in interactive methods of multiobjective optimization. International Journal of Computers Communications & Control, vol. 10, no. 4, p. 508–519.

Žilinskas, A., Fraga, E.S., Beck, J., Varoneckas, A. 2015. Visualization of multi-objective decisions for the optimal design of a pressure swing adsorption system. Chemometrics and Intelligent Laboratory Systems, vol. 142, p. 151–158.

Karbauskaite, R., Dzemyda, G. 2015. Optimization of the maximum likelihood estimator for determining the intrinsic dimensionality of high-dimensional data. International Journal of Applied Mathematics and Computer Science (AMCS), vol. 25, no. 4, p. 895–913.

Study and Application of Statistical Simulation and Stochastic Programming to Computer Network Design. Prof. Habil. Dr. L. Sakalauskas. 2013–2015.

Stochastic algorithm has been created to solve the two-stage Activity-Based-Costing problem; law of the iterated logarithm is proved for the open multichannel network in a heavy traffic.

Main publications:

Belovas, I., Starikovičius, V. 2015. Parallel computing for mixed-stable modelling of large data sets. Information technology and control, vol. 44, no. 2, p. 148–154.

Dumskis, V., Sakalauskas, L. 2015. Nonlinear stochastic programming involving CVaR in the objective and constraints. Informatica, vol. 26, no. 4, p. 1–23.

National Research Projects

Research Council of Lithuania. Modeling the Status and Causing Factors of Lithuanian Education System (No. MIP-024/2015) Dr. A. Jakaitienė. 2015 –2017.

The project has two main goals: the international PISA survey data analysis and education system monitoring index construction. In 2015, the main workload was devoted for the index construction. European Commission within the Education and Training Monitor initiative calculates indices towards Europe 2020 strategy. Each country indices are calculated normalizing data with respect to EU28 average. We develop the methodology according CIPO model (Context – Input – Process – Output) to construct Education Monitoring Index for a country. For methodologically consistent data for a country, we use Europe 2020 strategy main indicators as starting dataset. Preliminary results of Education monitoring index for Lithuania, Latvia, Estonia, United Kingdom, Finland and Germany presented at 7th International Conference of the ERCIM WG on Computational and Methodological Statistics, 12-14 December, 2015, United Kingdom.

Main publication:

Stumbrienė, D., Jakaitienė, A. 2015. Educational data mining: overview and research trends. Lithuanian Mathematical Journal, Ser. B, vol. 56, p. 41 –45.

Research Council of Lithuania. Geometry and Topology of Groups (No. MIP-046/2014) Dr. D. Otera. 2014–2016.

Asymptotic topology of manifolds and quasi-isometry invariants of discrete groups. Main topics: simple connectivity at infinity, geometric simple connectivity, quasi-simple filtration (QSF), Tucker property, and the easy inverse representations. The main goal is to show that all groups are easyly representable.

Research Council of Lithuania. Identification of Epigenetic Markers for Early Diagnosis of Colorectal Cancer (No. MIP-043/2014) Dr. J. Gordevičius. 2014–2016.

In this project we propose to perform data analysis of epigenetic profiles in blood circulating DNA to detect epigenetic biomarkers for early CRC diagnosis. Our goal is to apply novel algorithmic methods that will reveal epigenetic aberrations in extended regions when comparing cancer patients to controls. The detected regions will be used to train machine learning algorithms and to build and evaluate an early diagnostic CRC classifier. The bioinformatics analysis conducted in this project may provide novel, non-invasive markers, with the potential for translation into clinical practice.

Research Council of Lithuania. European Union Structural Funds project Postdoctoral Fellowship Implementation in Lithuania within the framework of the Measure for Enhancing Mobility of Scholars and other Researchers and the Promotion of Student Research (VP1-3.1-ŠMM-01) of the Program of Human Resources Development Action Plan. Post doctoral researcher E. Filatovas (No. 004/56/ MTS-580000-318). Prof. Habil. Dr. G. Dzemyda. 2013–2015.

Creation of the new hybrid methods combining interactive methods and evolutionary multiobjective optimization algorithms. Development of the techniques for visualizing Pareto front when solving multiobjective optimization problems.

Research Council of Lithuania. European Union Structural Funds project Postdoctoral Fellowship Implementation in Lithuania within the framework of the Measure for Enhancing Mobility of Scholars and Other Researchers and the Promotion of Student Research (VP1-3.1-ŠMM-01) of the Program of Human Resources Development Action Plan. Post doctoral researcher A. Varoneckas (No. 004/61/ MTS-580000-323). Prof. Habil. Dr. A. Žilinskas. 2013–2015.

A method for the visualization of multi-objective decisions in optimal design of the technological processes was proposed. An algorithm, based on moltiobjective optimization, was developed for the visualization of the business process diagrams.

European Social Fund Agency Theoretical and Engineering Aspects of e-Service Technology Development and Application in High-performance Computing Platforms (No. VP1-3.1-ŠMM-08-K-01-010). Prof. Habil. Dr. G. Dzemyda. 2012–2015.

Nine scientific papers concerning improvement of access mechanisms to services, enhancement of analysis and realization techniques for service quality forecasting and matching the right, development of innovative solutions using Web services technologies for high performance computing platforms were published.

Main publications:

Lupeikienė, A., Medvedev, V., Kurasova, O., Čaplinskas, A., Dzemyda, G. 2015. Decision support via big multidimensional data visualization. Joint Proceedings of the BIR 2015 Workshops and Doctoral Consortium co-located with 14th International Conference on Perspectives in Business Informatics Research (BIR 2015), Tartu, Estonia, August 26–28, 2015. Ser.: CEUR Workshop Proceedings, vol. 1420.

Medvedev, V., Kurasova, O., Dzemyda, G., Lupeikienė, A., Čaplinskas A. 2015. Neural networks-based big multidimensional data visualization. ASMDA 2015: 16th Applied Stochastic Models and Data Analysis International Conference with 4th Demographics 2015 Workshop, 30 June–4 July 2015. In: Yiannis Dimotikalis, Sotiris Bersimis (eds.). Book of Abstracts.

Research according Innovation Voucher. A Model for New Book Demand Prediction for Short Time (No. MTS-580000-2707) (CC Barzda, Agency for Science, Innovation and Technology (MITA)). Dr. V. Marcinkevičius October 25, 2014–February 27, 2015.

The model for new book demand prediction (for the next week) based on historical data was developed and implemented. It enables to plan and order books for internet bookstore in advance.

Research according Innovation Voucher. An Investigation of Genetic Risk Factors Assertion Methods (No. MTS-580000-x) (IE Odontika, Agency for Science, Innovation and Technology (MITA)). Dr. V. Marcinkevičius. October 31, 2014–April 20, 2015.

The aim of the project was to analyse and evaluate pre-symptomatic risk assessment methods that calculate the lifetime risk of a disease by the use of multiple SNPs information. Methods used by genetic risk assessment companies Navigenics and 23andMe, Inc. have been selected for detailed evaluation and modification. The theoretical disease model that describes both environmental and genetic factors was used for evaluation of assessment methods. The system of nonlinear equations for tuning model’s parameters to real statistical parameters of the disease was created. The Receiver Operating Characteristic curve was used to evaluate the quality of the methods to serve as a predictive test.

Project of EU Structural funds economic growth action program’s priority Information Society for All implementation toolLithuanian Language in the Information Society Creation of the Website Providing Integral Resources, Products and Services of the Lithuanian Language and its Writing (No. VP2-3.1-IVPK-12-K-01-003). Dr. V. Marcinkevičius. 2012–2015.

The information system designated to store resources of Lithuanian language and to provide these resources to users through web browsers, web services and mobile applications were developed.

International Research Projects

COST action Big Data Era in Sky and Earth Observation TD1403. Member of Managing Committee Assoc. Prof. Dr. Olga Kurasova. 2014–2018. http://www.cost.eu/COST_Actions/TDP/Actions/TD1403.

Tasks of WG1 “Data mining and machine learning in the petabyte era as frontiers in astronomy and Earth observation” and WG2 “Data mining and machine learning in the petabyte era as frontiers in astronomy and Earth observation” have been formulated together with other scientists. Possibilities of the developed multidimensional visualization methods to adapt for solving visualization problem in BigSkyEarth observation have been discussed.

COST action High-Performance Modelling and Simulation for Big Data Applications (cHiPSet) IC1406. Member of Managing Commottee Dr. Viktor Medvedev. 2014–2018, http://www.cost.eu/COST_Actions/ict/IC1406.

The main tasks and activities of WG1 (Enabling Infrastructures and Middleware for Big Data Modelling and Simulation) have been formulated. Analysis and development of the new trends in evolution of the Big Data middleware and architectures have been performed. Development of novel heterogeneous models, algorithms and techniques for advanced Big Data exploitation, based on the current and emerging multicore system architectures, mobile cloud and multi-cloud systems has been discussed.

MAIN R&D&I (RESEARCH, DEVELOPMENT AND INNOVATION) PARTNERS

University College London (UK)
Poznan Supercomputing and Networking Center (Poland)
Middle East Technical University, Ankara (Turkey)
National Cancer Institute (Lithuania)
Hospital Kauno klinikos of Lithuanian University of Health Sciences (Lithuania)
Maribor University (Brumen)

OTHER SCIENTIFIC ACTIVITIES

Prof. Habil. Dr. G. Dzemyda –

Prof. Habil. Dr. L. Sakalauskas –

  • editorial board member of the journal Technological and Economic Development of Economy, http://www.tandf.co.uk/journals/journal.asp?issn=2029-4913&linktype=145;
  • elected member of International Statistical Institute (2001), http://isi-web.org/;
  • member of European Working Group on Continuous Optimization, http://www.iam.metu.edu.tr/EUROPT/;
  • board member of the European Working Group on Stochastic Programming
  • member of European Working Group on Civil Engineering and Sustainable Development, http://www.orsdce.vgtu.lt/;
  • president of Lithuanian Operational Research Society, http://www.mii.lt/LitORS/;
  • chair of Lithuanian Conference on Operations Research and Application in Business and Technics, http://www.mii.lt/OT-2015;
  • reviewer of international journals:
    • Annals of Operation Research (Springer);
    • European Journal of Operational Research ( Elsevier);
    • Informatica (IOSPress/VU);
    • Central European Journal of Operational Research (Springer);
    • Information Technology and Control (KTU)
    • International Transactions on Operational Research (Wiley&Sons);
    • Methodology and Computing in Applied Probability (Springer);
    • Technological and Economic Development of Economy (Francis&Taylor).

Prof. Habil. Dr. A. Žilinskas –

Prof. Habil. Dr. J. Mockus –

Assoc. Prof. Dr. I. Belovas –

  • member of Lithuanian Mathematical Society, http://www.mif.vu.lt/lmd/;
  • reviewer of international journal Mathematical Modelling and Analysis (Taylor & Francis).

Assoc. Prof. Dr. O. Kurasova –

Assoc. Prof. Dr. S. Minkevičius

  • reviewer of international journal Informatica (IOSPress/VU);
  • reviewer of international journal Nonlinear Analysis, Modelling and Control, http://www.mii.lt/NA/.

Dr. J. Bernatavičienė

Dr. E. Filatovas –

  • member of International Society on Multiple Criteria Decision Making (MCDM),
    http://mcdmsociety.org/members/country.php?country=LITHUANIA;
  • member of Council of Lithuanian Computer Society, http://www.liks.lt/en/modules/tinycontent/index.php?id=3;
  • reviewer of international journals:
    • Baltic Journal of Modern Computing;
    • Central European Journal of Operations Research.

Dr. R. Karbauskaitė –

Dr. V. Marcinkevičius –

Dr. V. Medvedev –

Dr. D. Otera –

  • member of the Italian geometers group G.N.S.A.G.A, http://www.altamatematica.it/gnsaga/;
  • member of the Lithuanian Mathematical Society, http://www.mif.vu.lt/lmd/;
  • Referee for international journals:
    • Quaestiones Mathematicae (Taylor & Francis);
    • Indagationes Mathematicae (Elsevier);
  • reviewer for Zentralblatt MATH;
  • reviewer for a research project funded by South Africa’s National Research Foundation (NRF).

Assoc. Prof. Dr. P. Treigys –

  • reviewer of the international journal Informatica (IOSPress/VU).

V. Tiešis –

  • member of the Lithuanian Mathematical Society, http://www.mif.vu.lt/lmd/;
  • reviewer of the international journal Informatica (IOSPress/VU).