91桃色

Institute of Mathematics and Informatics

Institute of Mathematics and Informatics

Sukurta: 01 August 2017

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

Director 鈥 Prof. Dr. Habil. Gintautas Dzemyda

STAFF

46 research fellows (incl. 42 holding research degree), 54 doctoral students.

 

 

 

 

 RESEARCH AREAS

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

DOCTORAL DISSERTATIONS MAINTAINED IN 2016

A. Sku膷ait臈. Investigation of the spectrum for Sturm-Liouville problem with a nonlocal integral condition.
V. Jan膷auskas. Evaluating the Performance of Multi-objective Particle Swarm Optimization Algorithms.
M. Kurmis. Development of heterogeneous services integration capabilities for changing topology vehicular communication networks.

MAIN CONFERENCES ORGANIZED IN 2016

7th international doctoral consortium Informatics Engineering Education Research
8th international seminar Data Analysis Methods for Software Systems

DEPARTMENT OF INFORMATICS METHODOLOGY

Akademijos 4, 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. A. Ju拧kevi膷ien臈.
Junior reseach fellows: Dr. E. Jasut臈.
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臈, I. Krikun, 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 2016

Projects Supported by University Budget

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

The following solutions, methodologies et were created: engineering solutions for improving teaching and learning by implementing intelligent technologies; the personalised learning methods and activities as well as ontologies to teach and learn informatics engineering; the personalised engineering solutions for mobile learning; the e-learning recommendations based on semantic web; the methodologies to evaluate the quality of distance learning courses and learning object repositories; the computational thinking operational model; research on its application in general education and in informatics competition "Bebras".

Main publications:

Kurilov, J., Vinogradova, I. Kubilinskien臈, S. 2016. New MCEQLS fuzzy AHP methodology for evaluating learning repositories: a tool for technological development of economy. Technological and Economic Development of Economy. Vilnius; London: Technika ; Routledge-Taylor & Francis group, vol. 22, no 1, p. 142鈥155.

Kurilov, J. 2016. Evaluation of quality and personalisation of VR/AR/MR learning systems. Behaviour & Information Technology. Oxford: Taylor & Francis, vol. 35, no. 11, p. 998鈥1007.

Jasut臈, E., Kubilinskien臈, S., Ju拧kevi膷ien臈, A., Kurilov, J. 2016. Personalised learning methods and activities for computer engineering education. International Journal of Engineering Education. Dublin: Tempus Publications, vol. 32, no. 3, Part A, p. 1078鈥1086

Kurilov, J., Dagien臈, V. 2016. Computational thinking skills and adaptation quality of virtual learning environments for learning informatics. International Journal of Engineering Education. Dublin: Tempus Publications, vol. 32, no 4, p. 1596鈥1603.

International Research Project

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.

International Projects

Erasmus+ KA2 Intercultural Learning in Mathematics and Science: Initial Teacher Education (IncluSMe), 2016-1-DE01-KA203-002910. Coordinator: P盲dago卢gische Hoch卢schule Freiburg (German). Partners: Czech Republic, Greece, Spain, Cyprus, Lithuania, Malta, Netherlands, Norway, Slovakia, Sweden.

Erasmus+ CBHE Structuring Cooperation in Doctoral Research, Transferrable Skills Training, and Academic Writing Instruction in Ukraine's Regions / DocHub, Project N: 8 574064-EPP-1-2016-1- LT-EPPKA2-CBHE-SP. Coordinator: 91桃色 (Lithuania). Partners: France, Finland, Sweden, Ukraine.

Nordplus Horizontal NordNICE: Nordplus Network of Innovative Computing Education (No. NPHZ 2015/1053).  Coordinator: 91桃色 IMI (Lithuania). Partners: Estonia, Latvia, Lithuania, Finland, Sweden.

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, (Thomson Reuters Web of Science Core Collection);
  • editor of the journal Olympiads in Informatics (Scopus);
  • 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 鈥

  • executive editor of the journal Informatics in Education,   (Thomson Reuters Web of Science Core Collection);
  • guest editor of the journal International Journal of Engineering Education (Tempus Publications, Ireland), Special Issue on Computer Engineering Education, (Thomson Reuters Web of Science);
  • co-editor Europe of the journal International Journal of Knowledge Society Research (IGI Global, USA), ;
  • associate editor of the Journal of Engineering and Computer Innovations (Academic Journals), ;
  • editorial board member of the journal International Journal On Advances in Software (IARIA journal, USA), ;
  • editorial board member of the Journal of Studies in Education (Macrothink Institute, USA),  .

 Dr. T. Jevsikova 鈥

  • member of International Federation for Information Processing (IFIP) TC3 WG 3.1 (Informatics for Secondary Education).

DEPARTMENT OF NUMERICAL ANALYSIS

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

Head 鈥 Assoc. Prof. Dr. Art奴ras 艩tikonas

STAFF

Chief research fellow: Dr. A. 艩tikonas.
Professor Emeritus: Mifodijus Sapagovas.   
Senior research fellow: Dr. S. Rutkauskas.
Research fellow: Dr. R. 膶iupaila.
Research fellows: G. Pauk拧tait臈, Dr. J. Novickij.
Doctoral student: 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
Investigation of degenerate at line elliptic equation

RESEARCH PROJECTS CARRIED OUT IN 2016

Projects Supported by University Budget

Boundary Value Problems with Nonlocal Conditions and Boundary Value Problems for Singular Elliptic Operators. Supervisor A. 艩tikonas. 2016鈥2018.

The Dirichlet type boundary value problem for elliptical equation in the cylindrical area, equation is degenerating in cylinder axis was investigated. The existence and uniqueness of the solution is proved in a class of smooth function.
The convergence of an iterative method for finite difference scheme approximating two-dimensional elliptic equation with variable coefficients and integral boundary conditions was investigated.
The generalized Green鈥檚 function for the m-order linear discrete problems with m nonlocal conditions was considered.

Main publications:

Rutkauskas, S. 2016. Exact solutions of Dirichlet type problem to elliptic equation, which type degenerates at the axis of cylinder. I, Boundary Value Probl., 183, doi: 10.1186/s13661-016-0690-8.

Rutkauskas, S. 2016. Exact solutions of Dirichlet type problem to elliptic equation, which type degenerates at the axis of cylinder. II, Boundary Value Problems,182, doi: 10.1186/s13661-016-0691-7.

Sapagovas, M., 艩tikonien臈, O., 膶iupaila, R., Jok拧ien臈, 沤. 2016. Convergence of iterative methods for elliptic equations with integral boundary conditions. Electronic Journal of Differential Equations, vol. 118, p. 1鈥14.

National Research Projects

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

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.

M. Sapagovas 鈥

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

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

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

Head 鈥 Prof. Habil. Dr. K臋stutis Kubilius

STAFF

Chief research fellows: Prof. Habil. Dr. A. Dubickas, Prof. Habil. Dr. K. Kubilius, Prof. Habil. Dr. E. Manstavi膷ius, Prof. Habil. Dr. R. Norvai拧a, Prof. Habil. Dr. R. Leipus, Prof. Habil. Dr. J. K. Sunklodas, Prof. Habil. Dr. D. Surgailis.
Affiliated chief research fellows: Prof. Dr. L. Giraitis, Prof. Dr. J. J. Ma膷ys, Prof. Dr. R. Mikulevi膷ius.
Senior research fellows: Prof. Dr. A. Astrauskas, Prof. Dr. O. Janu拧kevi膷ien臈, Prof. Dr. S. Norvidas, Prof. Dr. M. Radavi膷ius, Prof. Habil. Dr. R. Rudzkis. Prof. Dr. M. Vai膷iulis.
Research fellows: Dr.  A. 膶iginas, Dr. D. Dzindzalieta, Dr. V. Kurauskas, Dr.V. Skorniakov.
Specialists: 艩. Dirmeikis, I. Grublyt臈, V. Pilipauskait臈, R. 艩im臈nas, J. Zinkevi膷ien臈.
Doctoral students: V. Butkus, L. Drei啪ien臈, 艩. Germanas, M. Lap臈nait臈-Gedvil臈, R. U啪upyt臈, I. Grublyt臈, V. Pilipauskait臈, A. 艩karnulis, 艩. Dirmeikis.

RESEARCH INTERESTS

Statistical inference for long memory processes
Statistical hypothesis testing  
Heavy tails, aggregation, random fields
Self-similar processes, Levy processes, rough paths
Concrete functional calculus
Random Hamiltonians
Finite population statistics and statistical analysis of data
Extremal problems in harmonic analysis
Random graphs
Combinatorics
Discrete mathematics

RESEARCH PROJECTS CARRIED OUT IN 2016

Projects Supported by University Budget

Asymptotic Analysis of Linear and Nonlinear Statistics. Prof. Habil. Dr. K. Kubilius. 2013鈥2016.

Projects supported by the Research Council  of Lithuania

Existence of Solutions of Stochastic Differential Equations and Estimation of Parameters SDL (no. MIP-048/2014) Prof. Habil. Dr. K. Kubilius. 2014鈥2016.

Properties of random fiels and their relation to extreme value theory for eigenvalues of the Anderson Hamiltonian and Anderson parabolic model localization properties were considered.
At observation of a large number of AR(1) time series with random autocorrelation coefficient by methods of nonparametric statistics the distribution of this coefficient was estimated and consistency and asymptotic normality of the estimator was proved.

Main publication:

Astrauskas, A. 2016. From extreme values of i.i.d. random fields to extreme eigenvalues of finite-volume Anderson Hamiltonian. Probability Surveys, vol. 13, p. 156鈥244.

OTHER SCIENTIFIC ACTIVITIES

Prof. K. Kubilius 鈥

  • co-editor-in-chief of the Modern Stochastics: Theory and Applications, ;
  • editorial board member of the Lithuanian Mathematical Journal, ;
  • editorial board member of the Mathematical Modelling and Analysis,  ;
  • board member of the Lithuanian Mathematical Society,

Prof. A. Dubickas 鈥

  • editorial board member of the Uniform Distribution Theory ;
  • editorial board member of the European Journal of Mathematics;
  • editorial board member of the Conference Papers in Mathematics, ;
  • section editor of the Lithuanian Mathematical Journal, ;
  • editorial board member of the 艩iauliai Mathematical Seminar,

Prof. R. Leipus 鈥

  • editorial board member of the Lithuanian Mathematical Journal, ;
  • editorial board member of the  Pinig懦 studijos (Monetary Studies),

Prof. E. Manstavi膷ius 鈥

  • section editor of the Lithuanian Mathematical Journal, ;
  • editorial board member of the International Journal of Number Theory, ;
  • editorial board member of the ISRN Combinatorics, ;
  • member of the Lithuanian Academy of Sciences, .

Prof. R. Norvai拧a 鈥

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

Prof. S. Norvidas 鈥

  • editorial board member of the Lithuanian Mathematical Journal, .

Assoc. Prof. M. Radavi膷ius 鈥

  • editorial board member of the Lithuanian Mathematical Journal, ;
  • editorial board member of the Modern Stochastics: Theory and Applications,

Prof. R. Rudzkis 鈥

  • editorial board member of the Lithuanian Mathematical Journal, ;
  • editorial board member of the journal 袩褉懈泻谢邪写薪邪褟 褝泻芯薪芯屑械褌褉懈泻邪, ;
  • editorial board member of the journal Lietuvos statistikos darbai (Statistics Journal), ;
  • editorial board member of the journal Pinig懦 studijos (Monetary Studies),

Prof. D. Surgailis 鈥

  • section editor of the Lithuanian Mathematical Journal, .

DEPARTMENT OF RECOGNITION PROCESSES

Akademijos 4, 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.
Senior research fellows: Assoc. Prof. Dr. R. Pupeikis, Dr. R. Paulavi膷ius.
Affiliated research fellows: Prof. Habil. Dr. Adolfas Laimutis Telksnys.
Research fellows: Dr. A. Lan膷inskas, Dr. G. Korvel, Dr. G. Tamulevi膷ius.
Junior research fellow: G. Gimbutien臈.
Doctoral students: D. Eringis, G. Gra啪evi膷ius, R. Kriauzien臈, I. Mer啪vinskait臈, R. Smaliukas, L. Stripinis, E. Zikarien臈.

RESEARCH INTERESTS

Random processes analysis and recognition
Optimization and high-performance computing

RESEARCH PROJECTS CARRIED OUT IN 2016

Project 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 for speech models, engineering structures, location and other problems. Analysis of the information protection methods and cryptanalysis strength enhancement. Identification and management methods algorithms of self-regulation of nonlinear systems, consisting of a linear block and static nonlinearity combinations, analysis by the way of computer simulation.
The main results achieved were: proposed and investigated optimization algorithms; proposed and investigated an algorithm for the design of the substitution tables of the block cipher systems; the fast Fourier transform procedure 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; a harmonic generator applied for Lithuanian vowel synthesis; an autoregressive model based speech analysis applied for spectral estimation, evaluation of phonation process and vocal fold functionality.

Main publications:

Korvel, G., 艩imonyt臈, V., Slivinskas, V. 2016. A phoneme harmonic generator. Informacin臈s technologijos ir valdymas (Information Technology and Control), vol. 45(1), p. 7鈥12.

Kazlauskas, K., Pupeikis, R. 2016. Advanced Methods for Short Signal Spectrum Estimation. Shaker Verlag, Aachen. Herzogenrath, Maastricht : Shaker Verlag, 150 p.

Paulavi膷ius, R., J. 沤ilinskas J. 2016. Advantages of simplicial partitioning for Lipschitz optimization problems with linear constraints. Optimization Letters, vol. 10(2), p. 237鈥246, doi:10.1007/s11590-014-0772-4.

National Research Project

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 aim to investigate which algorithms on which problems perform better and propose recommendations for solution of practical optimization problems.

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.

 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, e.g. with the introduction and interconnection of markets within the EU. 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 Network for Sustainable Ultrascale Computing (NESUS) IC1305. Member of Managing Committee Dr. A. Lan膷inskas. 2014鈥2018.

Ultrascale systems are envisioned as large-scale complex systems joining parallel and distributed computing systems that will be two to three orders of magnitude larger that today鈥檚 systems. The EU is already funding large scale computing systems research, but it is not coordinated across researchers, leading to duplications and inefficiencies. The goal of the NESUS 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 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.

COST action Improving Applicability of Nature-Inspired Optimisation by Joining Theory and Practice (ImAppNIO) CA15140. Member of Managing Committee Dr. A. Lan膷inskas. 2016鈥2020.
 
Nature-inspired search and optimisation heuristics are easy to implement and apply to new problems. However, in order to achieve good performance it is usually necessary to adjust them to the problem at hand. Theoretical foundations for the understanding of such approaches have been built very successfully in the past 20 years but there is a huge disconnect between the theoretical basis and practical applications. The development of powerful analytical tools, significant insights in general limitations of different types of nature-inspired optimisation methods and the development of more practically relevant perspectives for theoretical analysis have brought impressive advances to the theory-side of the field. However, so far impact on the application-side has been limited and few people in the diverse potential application areas have benefitted from these advances.
The main objective of the COST Action is to bridge this gap and improve the applicability of all kinds of nature-inspired optimisation methods. It aims at making theoretical insights more accessible and practical by creating a platform where theoreticians and practitioners can meet and exchange insights, ideas and needs; by developing robust guidelines and practical support for application development based on theoretical insights; by developing theoretical frameworks driven by actual needs arising from practical applications; by training Early Career Investigators in a theory of nature-inspired optimisation methods that clearly aims at practical applications; by broadening participation in the ongoing research of how to develop and apply robust nature-inspired optimisation methods in different application areas.

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

Hospital Kauno klinikos of Lithuanian University of Health Sciences (Lithuania)
91桃色 Hospital Santari拧ki懦 klinikos (Lithuania)
CC Algoritm懦 sistemos (Lithuania)
CC Inogama (Lithuania)
Universidad de Almer铆a (Spain)
Universidad de Murcia (Spain)
Universit脿 della Calabria (Italy)

OTHER SCIENTIFIC ACTIVITIES

Prof. Dr. J. 沤ilinskas 鈥

  • member of editorial boards of international journals: Central European Journal of Computer Science (Springer/Versita),   Central European Journal of Engineering (Springer/Versita), Informatica (IOSPress/VU), Journal of Global Optimization (Springer), Mathematical Methods of Operations Research (Springer) Mathematical Modelling and Analysis (Taylor&Francis/VGTU),   Optimization Letters (Springer),
  • Chair of managing board of Continuous Optimization Working Group of The Association of European Operational Research Societies (EURO),
  • board member of the Lithuanian Operational Research Society (member society of EURO and IFORS), head of working group Optimization Methods and Applications,
  • member of European Network of Excellence on High Performance and Embedded Architecture and Compilation (HiPEAC),
  • member of program/scientific Committees:
    GOW 2016: XIII Global Optimization Workshop, Braga, Portugal, September 4鈥8, 2016;
    MOD 2016: International Workshop on Machine learning, Optimization and big Data, Volterra, Italy, August 26鈥29, 2016;
    EUROPT 2016: 14th EUROPT Workshop on Advances in Continuous Optimization, Warsaw, Poland, July 1鈥2, 2016;
    NUMTA2016: 2nd international conference and summer school on Numerical Computations: Theory and Algorithms, Calabria, Italy June 19鈥25, 2016.

Prof. Habil. Dr. A. L. Telksnys 鈥

  • member of Council on Digitization of Lithuanian Cultural Heritage;
  • board member of the Ministry of Culture of the Republic of Lithuania Archives;
  • member of the IEEE Technical Committee on eHealth;
  • member of the Working group WG 7.1 Modeling and Simulation of the International Federation of Information Processing (IFIP);
  • member of th Lithuanian Academy of Sciences;
  • member of Commission of the Seimas of the Republic of Lithuania on Lithuanian traditions and heritage actualization;
  • editorial board member of the international journals: Informatica,   Information Technology and Control, Tamkang Journal of Science and Engineering, ;
  • editorial board member of the journal Informacijos mokslai, ;
  • Prepared the Concept of Lithuanian speech into Electronic Media Research Development in 2014鈥2020 LIEPA 2.

Prof. Habil. Dr. K. Kazlauskas 鈥

  • member of Lithuanian Computer Society, ;
  • member of Lithuanian Mathematical Society, /;
  • 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 鈥

  • reviewer for the international journals:
    Informatica, Information Technology and Control; Measurement; Signal Processing;
    Applied Mathematical Modelling
  • member of Lithuanian Computer Society, ;
  • member of Lithuanian Mathematical Society, ;
  • member of Lithuanian Scientific Society,

Dr. G. Tamulevi膷ius 鈥

  • reviewer for the international journals: Informatica, Baltic Journal of Modern Computing, ;
  • member of IEEE Computer society and Signal processing society section.

Dr. A. Lan膷inskas 鈥

  • affiliate member of European Network of Excellence on High Performance and Embedded Architecture and Compilation (HiPEAC), ;
  • 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), .
  • 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

Dr. G. Korvel 鈥

  • member of Lithuanian Computer Society, ;
  • member of Lithuanian Society of Young Researchers. ;
  • reviewer of international journal Information Technology and Control.

DEPARTMENT OF SOFTWARE ENGINEERING

Akademijos 4, LT-08663 Vilnius
Tel. 210 9340, fax 272 9209
E-mail:
www:

Head 鈥 Prof. Dr. Saulius Gudas

STAFF

Chief research fellows: Prof. Dr. S. Gudas, Prof. Dr. D. Dzemydien臈 (part-time).
Research fellows: Assoc. Prof. Dr. A. Lupeikien臈, Dr. S. Maskeli奴nas.
Junior research fellow: Dr. J. Miliauskait臈, Dr. H. Giedra.
Chief specialist: Prof. Dr. A. 膶aplinskas.
Assistant research fellow: L. Paliulionien臈.
Doctoral students: A. Miliauskas, A. 艩aik奴nas, A. Valatavi膷ius, E. 沤ulkas, M. Jusis, R. Savukynas.

Sector of Mathematical Logic

Research fellows: Dr. R. Alonderis, Assoc. Prof. Dr.  J. Sakalauskait臈.
Affiliated chief research fellow:  Prof. Habil. Dr. S. Jukna.
Affiliated senior research fellows:  Assoc. Prof. Habil. Dr.  R. Pliu拧kevi膷ius, Assoc. Prof. Dr. A. Pliu拧kevi膷ien臈.

RESEARCH INTERESTS

Information system engineering:
-    Theoretical foundations
-    Model driven development
Software engineering:
-    Software service engineering
-    Computer-aided software engineering
Knowledge-based systems
Mathematical Logic:
-    Proof theory of non-classical logics
-    Automated deduction
-    Decision procedures
-    Boolean function complexity
-    Lower bounds

RESEARCH PROJECTS CARRIED OUT IN 2016

Projects Supported by University Budget

Research of Software Engineering Methods Arrangement with Semantic Modelling Methods of Business Management. Construction of Calculi And Solving Procedures for Modal Logics and Lower Bounds of Complexity for Discrete Optimisation Problems. Prof. Dr. S. Gudas. 2015鈥2017.

An internal modeling paradigm is defined and used for model-driven enterprise software development technique, which begins with the semantic modeling of causal dependencies of business management activities from the self-managed systems viewpoint. The key concepts of management transaction and management functional dependency ensure the integrity of data, knowledge and goals modeling at business management level. Two frameworks are deployed for internal modeling: Detailed supply chain model (DTGM) is helpful for identification of the management transactions, and Elementary management cycle is effective for specification of goal-driven management information transformations.

First general lower bounds for tropical (min,+) and (max,+) circuits solving non-homogeneous optimization problems are obtained. Previously known lower bounds held only in the case of homogeneous problems. The first truly-exponential lower bound for tropical circuits is found. General lower bounds for counting arithmetic (+,x) circuits are obtained. Previously only a lower bound for one problem was known: counting the number of perfect matchings in bipartite graphs. A proof is provided that the classical Bellman-Ford shortest path dynamic programming algorithm is optimal. The powers of tropical and counting circuit are proved to be incomparable.

Main publications:

Gudas, S., Lopata, A. 2016. Towards internal modelling of the information systems application domain. Informatica, vol. 27, no. 1, p. 1鈥29.

Gudas, S. 2016. Information systems engineering and knowledge-based enterprise modelling: towards foundations of theory. In: Androniki Kavoura et al. (eds.), Strategic Innovative Marketing, Springer Proceedings in Business and Economics, p. 481鈥497.

Jukna, S. 2016. Lower bounds for monotone counting circuits. Discrete Applied Mathematics (Elsevier), vol. 213, p. 139鈥-152.

Jukna, S., Schnitger, G. 2016. On the optimality of Bellman-Ford-Moore shortest path algorithm. Theoretical Computer Science (Elsevier), vol. 628, p. 101鈥109.

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

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

OTHER SCIENTIFIC ACTIVITIES

Prof. Dr. S. Gudas 鈥

  • editorial board member of the journals: Transformations in Business and Economy, ; Informacijos mokslai, .
  • reviewer of the journals: Enterprise Information Systems (EIS), Baltic Journal of Modern Computing, Journal of Systemics, Cybernetics and Informatics (JSCI), Informatica, ;
  • program committee member of the 22nd international conference on Information and Software Technologies (ICIST 2016), ;
  • program committee member of the Central and Eastern European Software Engineering Conference in Russia (CEE-SECR 2016), /;
  • program committee member of the 1st Workshop on Managed Complexity (ManComp 2016),

Prof. Dr. A. 膶aplinskas 鈥

  • editorial board member of the journals: Informatica, ; Baltic Journal of Modern Computing, ; Scientific Journal of Riga Technical University: Applied Computer Systems, ;
  • steering committee member of the annual East European Conference on Advances in Databases and Information Systems (ADBIS), ;
  • steering committee member of the International Baltic Conference on Databases and Information Systems (BalticDB&IS), ;
  • program committee member of the 19th East European Conference on Advances in Databases and Information Systems (ADBIS), Prague, Czech Republic, September 14鈥16, 2016, ;
  • program committee member of the 12th International Baltic Conference on Databases and Information Systems (BalticDB&IS), Riga, Latvia, July 4鈥6, 2016, ;
  • program committee member of the 6th international conference on Business Intelligence and Technology (BUSTECH 2016), Rome, Italy, March 20鈥24, 2016, ;
  • program committee member of the 22nd international conference on Information and Software Technologies (ICIST 201), Druskininkai, Lithuania, October 13鈥15, 2016, ;
  • program committee member of the 8th international conference on Advanced Cognitive Technologies and Applications COGNITIVE 2016, Rome, Italy, March 20鈥24, 2016, ;
  • program committee member of the 9th Workshop on Information Logistics and Knowledge Supply (ILOG 2016), Prague, Czech Republic, September 14鈥16, 2016, ;
  • program committee member of the 28th international conference on Advanced Information Systems Engineering (CAiSE鈥16), Ljubljana, Slovenia, June 13鈥17, 2016, ;
  • program committee member of 8th international Workshop on Data Analysis Methods for Software Systems (DAMSS), Druskininkai, Lithuania, December 1鈥3, 2016, ;
  • program committee member of the Central and Eastern European Conference on Software Engineering Conference in Russia (CEE-SECR 2015), Moscow, Russia, October 22鈥24, 2015, ;
  • program committee member of the 1st Workshop on Managed Complexity (ManComp 2016), Prague, Czech Republic, September 14, 2016, ;
  • program committee member of the 9th IFIP WG 8.1 Working Conference on The Practice of Enterprise Modeling (PoEM) Sk枚vde, Sweden, November 8鈥10, 2016,

Prof. Dr. D. Dzemydien臈 鈥

  • editorial board member of the Scientific Journal of Riga Technical University: Applied Computer Systems, .

Assoc. Prof. Dr. A. Lupeikien臈 鈥

  • editorial board member of the journal Informatica, ;
  • editorial board member of the Scientific Journal of Riga Technical University: Applied Computer Systems, ;
  • steering committee member of the international Baltic Conference on Databases and Information Systems (BalticDB&IS), ;
  • program committee member of the 19th East European Conference on Advances in Databases and Information Systems (ADBIS), Prague, Czech Republic, September 14鈥16, 2016, ;
  • program committee member of the 12th international Baltic Conference on Databases and Information Systems (BalticDB&IS), Riga, Latvia, July 4鈥6, 2016,

Dr. S. Maskeli奴nas 鈥

  • chairman of 7th international Workshop on Data Analysis Methods for Software Systems (DAMSS), Druskininkai, Lithuania, December 1-3, 2016, ;
  • chairman of the Council of the Lithuanian Computer Society,

Prof. Habil. Dr. S. Jukna 鈥

  • scientific board member of the Electronic Colloquium on Computational Complexity (ECCC), ;
  • editorial board member of the Lithuanian Mathematical Journal,

Assoc. Prof. Habil. Dr. R. Pliu拧kevi膷ius 鈥

  • editorial board member of the Lithuanian Mathematical Journal, .

 

DEPARTMENT OF SYSTEMS ANALYSIS

Akademijos 4, 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, Assoc. Prof. Dr. O. Kurasova.
Senior research fellows:  Prof.  Dr. S. Minkevi膷ius, Dr. V. Marcinkevi膷ius, Dr. D. Ettore Otera, Dr. A. Jakaitien臈, Prof. Dr. D. Plikynas.
Affiliated research fellows: Prof. Habil. Dr. A. Garliauskas, Dr. A. Mockus, Dr. S. Stei拧奴nas, Prof. Habil. Dr. J. Mockus, Prof. Dr. A. Pak拧tas.
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, Dr. E. Filatovas.
Junior research fellows: Dr. A. Rape膷ka, T. Grigalis, K. Koncevi膷ius, M. Sabaliauskas.
Specialists and engineering staff: V. Tie拧is, Dr. L. Ringien臈, Dr. G. Jakimauskas, A. U拧purien臈, P. Gibas, V. Dulskis, A. Krik拧膷i奴nas.
Doctoral students: L. Ali拧auskas, M. J. Bilinskas, D. Bykovas, A. Daranda, A. Gimbutas, G. Gimbutien臈, A. A. Haidari, G. Jak拧tas, V. Jak拧tys, J. Jucevi膷ius, R. Jurevi膷ius, A. Jurgelevi膷ius, D. Kavaliauskas, J. Kurilova, M. Mork奴nas, K. Paulauskien臈, N. Pozniak, R. Rybnikov臈, G. Stabingis, D. Stumbrien臈, D. Tama拧auskas, J. Tichonov, J. Venskus, 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 origins with uncertainty
Data mining
Deep learning
Development of decision support systems
Bioinformatics
Geometric group theory, geometric topology, finite groups
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 2016

Projects Supported by University Budget

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

New methods for non-convex multi-objective optimization were developed; one of publications of these results is among 1% highly cited WOS publications of 2016.
Semi-automatic algorithm for Doppler spectrum image analysis for grading aortic valve stenosis severity, a new method for detection of the road pothole contour in raster images were proposed.
The fractal-based methods for estimation of the intrinsic dimensionality of multidimensional data are examined.
A preference-based multi-objective evolutionary algorithm with stochastic local search was developed and investigated.
Several decidability results in 3-dimensional topology were proved, in particular for finite simplicial 3-complexes with a finite fundamental group.

Main publications:

沤ilinskas, A., Zhigljavsky, A.2016. Branch and probability bound methods in multi-objective optimization. Optimization Letters, vol. 10, iss.  2, p. 341鈥353.

Niak拧u, O., Bal膷i奴nait臈, G., Kizlaitis, R. J., Treigys, P. 2016. Semi-automation of Doppler spectrum image analysis for grading aortic valve stenosis severity. Methods of information in medicine. Stuttgart: Schattauer GmbH, vol. 55, iss. 1, p. 23鈥30.

Filatovas, E., Lan膷inskas, A., Kurasova, O., 沤ilinskas, J. 2016. A preference-based multi-objective evolutionary algorithm R-NSGA-II with stochastic local search. Central European Journal of Operations Research. Heidelberg: Springer, first on line, p. 1鈥20.

Application of Statistical Simulation and Stochastic Programming to Big Data Mining. Prof. Habil. Dr. L. Sakalauskas. 2016鈥2018.

Linear and nonlinear stochastic programming methods and algorithms were developed, applied to processing and analysis of big data.
Big data interpolation methods were developed by using fractional Euclidean distance matrices.

Main publications:

Minkevi膷ius, S., Dolgopolovas, V., Sakalauskas, L. 2016. A law of the iterated logarithm for the sojourn time process in queues in series. Methodology and computing in applied probability. New York: Springer New York LLC, vol. 18, no 1, p. 37鈥57.

Jakimauskas, G., Sakalauskas, L., 2016. Note on the singularity of the Poisson鈥揼amma model. Statistics and probability letters. Amsterdam: Elsevier, vol. 114, p. 86鈥92.

National Research Projects

Research Council of Lithuania. Lithuanian Education System Status and its Influencing Factors Modeling (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 2016 we applied multilevel linear regression for the comparison of countries educational stratification approaches and compared the education systems of the Baltic countries and three 鈥瀘ld鈥 EU member states (UK, Germany and Finland) using the distinction along different types of welfare states according OECD PISA 2012 survey data. Moreover, we constructed a composite indicator for the education monitoring through following five stages: data treatment, data normalization, weighting, aggregation and comparing the indices. At the first stage we used single imputation for missing data. All indicators were treated as the profit type - 鈥渢he larger the better". At the second stage we standardized data by subtracting the mean of the data and dividing by the standard deviation. At the data weighting stage we used two different methodologies in order to compare how the different approaches affect the results. The first one is principal components analysis and the second one is the application of data envelopment analysis known as the 鈥渂enefit of the doubt鈥 approach.

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

The main aim of the Project concerns the study of the geometry of discrete groups, from the topological viewpoint at infinity. Project鈥檚 main topics were the asymptotic topology of manifolds and geometric invariants of groups.

Main publications:

D.E. Otera. 2016. Topological tameness conditions of spaces and groups. Results and developments. Lithuanian Mathematical Journal, vol. 56, n. 3, 357鈥376.

D.E. Otera. 2016. An application of Poenaru鈥檚 zipping theory. Indagationes Mathematicae, New Series, vol. 27, no. 4, p. 1003鈥1012.

D.E. Otera, F. G. Russo. 2016. On topological filtrations of groups. Periodica Mathematica Hungarica, vol. 72, no. 2, p. 218鈥223.

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.

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,

COST action High-Performance Modelling and Simulation for Big Data Applications (cHiPSet) IC1406 Member of Managing Committee Dr. Viktor Medvedev 2014鈥2018,

COST action A New Network of European BioImage Analysts to Advance Life Science Imaging (NEUBIAS) CA15124. Member of Managing Committee Dr. Povilas Treigys. 2016鈥020,

COST action Open Multiscale Systems Medicine CA15120. Member of Managing Committee Dr. J. Bernatavi膷ien臈. 2016鈥2020,

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

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

OTHER SCIENTIFIC ACTIVITIES

Prof. Habil. Dr. G. Dzemyda 鈥

  • member of the Lithuanian Academy of Sience, ;
  • member of Lithuanian Computer Society, ;
  • member of Lithuanian Mathematical Society, /;
  • member of Lithuanian Operational Research Society, ;
  • member of IFIP Technical Committee 12 Artificial Intelligence, ;
  • board member of Transportation Science and Information Technologies at the Ministry of Transport and Communications of the Republic of Lithuania;
  • board member of Military Science and Technologies at the Ministry of National Defence of the Republic of Lithuania;
  • editor-in-Chief of:
    Baltic Journal of Modern Computing (), Informatica,
  • editorial board member oe journals: Informatics in Education, Journal of Civil Engineering and Management, Nonlinear Analysis; Modelling and Control, (Deputy Editor in Chief), Vestnik BSU. Series 1. Physics. Mathematics. Informatics, Proceedings of Riga Technical University. Computer Science, Information Technology and Management Science
  • chairman of the 8th international Workshop Data Analysis Methods for Software Systems, Druskininkai, Lithuania, December 1鈥3, 2016, http://www.mii.lt/DAMSS/
  • member of programme committees of international conferences:
    on Operations Research and Enterprise Systems (ICORES 2016), on Psychological Computing Systems (PhyCS 2016),  ; on Sensor Networks (SENSORNET 2016),

Prof. Habil. Dr. L. Sakalauskas 鈥

  • editorial board member of Journal Technological and Economic Development of Economy, ;
  • elected member of International Statistical Institute, ;
  • member of European Working Group on Continuous Optimization, ;
  • board member of the European Working Group on Stochastic Programming, ;
  • member of European Working Group on Civil Engineering and Sustainable, Development, http:// ;
  • President of Lithuanian Operational Research Society, ;
  • Chair of Lithuanian Conference on Operations Research and Application in Business and Technics,

Prof. Habil. Dr. A. 沤ilinskas 鈥

  • member of IFIP working group WG 7.6 Optimization-Based Computer Aided Modeling and Design, ;
  • member of American Mathematical Society, ;
  • member of programme committees of the international conferences:
    CompSysTech 2016, 17th international conference on Computer Systems and Technologies, 23鈥24 June 2016, Palermo, Italy, XIII Global Optimization Workshop, University of Minho, Campus de Gualtar, Braga, Portugal, 4鈥8 September, 2016, GOW鈥16 - NUMTA 2016, Numerical Computations: Theory and Algorithms, Pizzo Calabro, Italy, 19鈥25 June 2016,
    9th Workshop on computational Optimization (WCO'16),  Gdansk, Poland, 11鈥14 September, 2016,   Workshop on Machine learning, Optimization and big Data (MOD 2016), SIAF - Volterra - Tuscany, Italy, from August 26 to 29, 2016,
  • member of editorial boards of international journals:
    Journal of Global Optimization (Springer),
    Informatica (IOSPress/VU), Statistics, Optimization and Information Computing, (International Academic Press),
    Journal of Intelligent Learning Systems and Applications, International Journal of Grid and High Performance Computing, ; The Open Cybernetics and Systemics Journal, Baltic Journal of Modern Computing
  • member of the Lithuanian Academy of Sciences,

Prof. Habil. Dr. J. Mockus 鈥

  • member of the Lithuanian Academy of Sciences, ;
  • member of American Mathematical Society, ;
  • member of IFIP Technical Committee WG 7.7 Stochastic Optimization,

Assoc. Prof. Dr. I. Belovas 鈥

Assoc. Prof. Dr. O. Kurasova 鈥

  • member of editorial boards of international journals:
    Nonlinear Analysis: Modelling and Control, Baltic Journal of Modern Computing, Computational Science and Techniques
    Informatics,
  • council member of the Lithuanian Computer Society, ;
  • member of Lithuanian Mathematical Society,
  • member of Lithuanian Operational Research Society, http://www.mii.lt/LitORS/.

Dr. J. Bernatavi膷ien臈 鈥

  • managing Co-editor of Baltic Journal of Modern Computing, ;
  • member of Lithuanian Computer Society (Artificial Intelligence Section), ;
  • member of Lithuanian Mathematical Society, ;
  • member of Lithuanian Operational Research Society,

Dr. E. Filatovas 鈥

  • member of International Society on Multiple Criteria Decision Making (MCDM), ;
  • council member of the Lithuanian Computer Society,

Dr. R. Karbauskait臈 鈥

  • managing editor of Informatica (IOSPress/VU), ;

Dr. V. Marcinkevi膷ius 鈥

Dr. V. Medvedev 鈥

  • council member of the Lithuanian Computer Society, ;
  • member of Lithuanian Mathematical Society, ;
  • member o Technical Program Committee Service Computation 2013鈥2016,

Dr. D. Otera 鈥

  • member of the Italian Geometers Group G.N.S.A.G.A,
  • member of the Lithuanian Mathematical Society,

V. Tie拧is 鈥