Institute of Mathematics and Informatics of Vilnius University

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

46 research fellows (45 holding research degree), 49 doctoral students

 

RESEARCH AREAS

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

DOCTORAL DISSERTATIONS MAINTAINED IN 2013

I. Žilinskienė. Adaptive method for personalization of learning units.

G. Pyž. Analysis and synthesis of Lithuanian phoneme dynamic sound models.

M. Liogys. Heuristic algorithms for nurse rostering problem.

R. Dzindzalieta. Development of a system for monitoring of the moving objects by using the session initiation protocol.

M. Mackevičius. Computer modeling of chemical synthesis at high temperatures.

J. Pragarauskaitė. Frequent pattern analysis for decision making in big data.

A. Lančinskas. Parallelization of random search global optimization algorithms.

K. Jakubėlienė. Solution of a two-dimensional parabolic equation with an integral condition by the finite-difference method.

J. Jachimavičienė. Solution of a pseudoparabolic equation with nonlocal integral conditions by the finite difference.

S. Sėrikovienė. Research on application of learning objects reusability and quality evaluation methods.

B. Skūpas. A method for semi-automatic evaluation and testing of programming assignments.

MAIN CONFERENCES ORGANIZED IN 2013

5th international seminar Data Analysis Methods for Software Systems

4th international doctoral consortium Informatics and Informatics Engineering Education Research: Methodologies, Methods and Practice

9th international creative seminar on Informatics Contest Bebras

International seminar Informatics Teacher Education

DEPARTMENT OF INFORMATICS METHODOLOGY

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

Head – Prof. Dr. Valentina Dagienė

STAFF

Professors: Prof. Dr. V. Dagienė.
Research fellows: Dr. T. Jevsikova, Dr. E. Kurilovas (part-time), Dr. S. Kubilinskienė (part-time).
Doctoral students: V. Dolgopolovas, A. Juškevičienė, E. Jasutė, I. Žilinskienė, J. Urbonienė.

RESEARCH INTERESTS

Computer science education research
Technology based learning research
Localization of digital resources
Models of quality evaluation of educational system components
Adaptive learning research

RESEARCH PROJECTS CARRIED OUT IN 2013

Projects Supported by University Budget

Research on Engineering Decision Makings for Technology Based Education, as well as Software Localization.

Main tasks and outcomes: derivation of basic informatics concepts and prove their appropriateness to use in contest; development of semi-automated system for evaluation programming assignments; analysis of peculiarities of localization digital resources; development of methods and models for evaluation of the quality of education system components.

Main publications:

Dagienė, V., Jevsikova, T., Kubilinskienė, S., 2013. An Integration of Methodological Resources into Learning Object Metadata Repository Informatica, 24 (1), 13–34.

Dagiene, V., Skupas, B., 2013. Assessment of students’ programs. In: D.M. Kadijevic, Ch. Angeli, C. Schulte (Eds.): Improving Computer Science Education. Routledge, Taylor & Francis Gr., 82–97.

Grabauskiene, V., Dagiene, V., 2013. Use of UML for Modelling the Holistic Geometry in Primary Education.Journal of Information Technology and Application in Education (JITAE), vol. 2, Iss. 1, 23–32. Online: http://www.jitae.org/AllIssues.aspx

International Research Projects

EU-funded project MASCIL Mathematics and Science for Life. Grant Agreement No. 320693, funding line: FP7-SCIENCE-IN-SOCIETY-2012-1.

MASCIL is organized as a European Consortium of 18 higher education institutions (from 13 countries) and coordinated by the University of Education Freiburg. In the framework of the MASCIL project and its activities the Consortium aspires to work closely with teachers and other key groups in the school system to improve mathematics and science lessons.

The aim of MASCIL is to effect changes in mathematics and science lessons cultures by more broadly implementing inquiry-based learning (in close connection to the world of work) in day-to-day teaching, and to scientifically evaluate the effectiveness of the interventions. To this end the MASCIL project (01/01/2013–31/12/2016) incorporates a continuous intervention and evaluation study. For the evaluation of the activities of the project we use a mixed-method design which includes summative elements to evaluate the success of the project as well as formative elements to allow a correction of strategies, if needed.

IGUANA – Improving School Governance Using an Action Learning Approach, Nr. 527856-LLP-1-2012-1-PT-COMENIUS-CMP

http://www.iguana-project.eu/

The aim of the project is to co-ordinate the validation of the IGUANA platform for emotional intelligence, tools and training programme by using high qualified national teacher network. The network is based on requirements and selected criteria.

Main activities: school governance structures, approaches and models in Lithuania, Latvia and Estonia, identifying the obstacles to change, were reviewed. Literature review, interviews and questionnaires were used; Iguana project website in Lithuanian language was developed; the emotional intelligence assessment tool has been developed and validation process is started.

Contractual Research

Operational programme for the Economical Growth for 2007–2013.

EU Structural fund. Localization of software relevant to the society, and development tools needed for programs. VP2-3.1-IVPK-12-K-01-004.

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

Aalto University (Finland)
Brunel University, Uxbridge (UK)
University of the Basque Country (Spain)
Ljubjana University (Slovenia)
Frei University Berlin (Germnay)

OTHER SCIENTIFIC ACTIVITIES

Prof. V. Dagienė –

Dr. E. Kurilovas –

Dr. T. Jevsikova –

  • junior member of International Federation for Information Processing (IFIP) TC 3 WG 3.1 (Informatics and ICT in Secondary Education);
  • member of Commission of the terms of informatics and information technologies.

DEPARTMENT OF NUMERICAL ANALYSIS

4 Akademijos, LT-08663 Vilnius
Tel. 852102734
E-mail:
E-mail:
http://www.mii.lt

Head – Prof. Dr. Artūras Štikonas

STAFF

Chief research fellows: Prof. Dr. Habil. M. Sapagovas, Prof. Dr. S. Rutkauskas.
Senior research fellows: Assoc. Prof. Dr. O. Štikonienė.
Research fellows: Dr. S. Roman.
Doctoral students: A. Balčiūnas, A. Skučaitė, K. Skučaitė-Bingelė, M. Mackevičius, L. Stonkienė.

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 2013

Projects Supported by University Budget

Differential Equations and Applications. Investigation of the Spectrum and Boundary Value Problems for Differential and Difference Operators with Nonlocal Conditions. Dr. A. Štikonas. 2011–2013.

Formulation of the boundary problem with singular point when the system of eigenvectors of the matrix connecting the system is not complete; to investigate the existence and uniqueness of the solution.

Investigation stability of finite difference scheme for pseudoparabolic equation with nonlocal boundary conditions and investigate teh convergence of iterative methods.

Investigation complex characteristic functions of Sturm-Liouville problem with various nonlocal boundary conditions in the differential and discrete cases.

Iterative methods are considered for the system of difference equations approximating two-dimensional nonlinear elliptic equation with the nonlocal integral condition.

The stability of an explicit finite-difference scheme for a linear hyperbolic equation with nonlocal integral boundary conditions was investigated.

Main publications:

Čiupaila, R., Sapagovas, M., Štikonienė, O., 2013. Numerical solution of nonlinear elliptic equation with nonlocal condition.Nonlinear Analysis: Modelling and Control, vol. 18, No. 4, 412–426, http://www.mii.lt/na/issues/NA_1804/NA18402.pdf.

Ivanauskas , F. F, Novitski, Yu. A., Sapagovas, M. P., 2013. On the stability of an explicit difference scheme for hyperbolic equation with integral conditions. Differential Equations, vol. 49, No. 7, 849–856, http://link.springer.com/article/10.1134%2FS0012266113070070 .

OTHER SCIENTIFIC ACTIVITIES

Prof. 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 journal Lithuanian Mathematical Journal;
  • editorial board member of journal Nonlinear Analysis: Modelling and Control.

Doc. O. Štikonienė –

  • managing editor of the journal Lithuanian Mathematical Journal.

DEPARTMENT OF PROBABILITY THEORY AND STATISTICS

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

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

STAFF

Chief research fellows: Prof. Habil. Dr. K. Kubilius, Prof. Habil. Dr. E. Manstavičius, Prof. Dr. S. Norvidas, Prof. Habil. Dr. V. Paulauskas, 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. M. Radavičius, Prof. Habil. Dr. R. Rudzkis.
Research fellows: A. Bakšajevas, A. Čiginas.
Technicians: D. Dzindzalieta, L. Rybnikova, R. Šmėnas, P. Šarka.
Doctoral students: Š. Germanas, K. Piaseckienė, T. Rudys.

RESEARCH INTERESTS

Probability theory, random matrix theory
Statistical estimations of distributions, econometrics, biostatistics, application of statistics in genetics and linguistics, survey sampling
Probabilistic number theory, number theory, combinatorics, discrete mathematics
Extremal problems in harmonic analysis
Statistics of random process

RESEARCH PROJECTS CARRIED OUT IN 2013

Projects Supported by University Budget

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

The rate of convergence in the central limit theorem in various metrics for random sums was obtained. The goodness of fit test based on probability density estimates generated by kernel functions was considered. Zolotarev duality of the refined saddle point-type approximations for all members of the power-variance family was investigated. Asymptotic normality, exact confidence interval for the Gaussian process with the extended Orey index was obtained. The estimator of the structural distributions of words in texts was made by using of a simple statistical model and empirical Bayes approach. A new method in problems where estimates are needed for finite population domains with small or even zero sample sizes are presented. The universal symbols for hermitian operator in Banach spaces were described in terms of positive definite functions.

Governmental Science Programmes and Research Projects Ordered by the Branch Ministries

Project: Robust Estimation in Finite Populations. Prof. Dr. M. Radavičius, Dr. A. Čiginas.

The research is supported by the 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.

Main publications:

Gorin, E. A., Norvidas, S., 2013. Universal symbols on locally compact Abelian groups. Funct. Anal. Appl., vol. 47, No. 1, 1–16.

Dzindzalieta, D., 2013. Extremal Lipschitz functions in the deviation inequalities from the mean, Electron. Commun. Probab, vol. 18, no. 66, 1–5.

Dubickas, A., Schoen, T., Silva, M., Šarka, P., 2013. Finding large co-Sidon subsets in sets with a given additive energy. European Journal of Combinatorics, vol. 34, no 7, 1144–1157.

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

Lille University (France)
Moscow State University (Russia)
Bielefeld University Collaborative Research Centre Spectral Structures and Topological Methods in Mathematics (Germany)
Ohio University (USA)

OTHER SCIENTIFIC ACTIVITIES

Prof. K. Kubilius –

Prof. E. Manstavičius –

Prof. S. Norvidas –

Prof. V. Paulauskas –

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. Dr. B. Jasiūnaitė, Dr. V. Kardelis.
Senior research felows: Prof. Habil. Dr. A. L. Telksnys, Assoc. Prof. Dr. R. Pupeikis, Assoc. Prof. Dr. R. Kliukienė, Dr. P. Kasparaitis.
Research fellows: Dr. M. Beniušė, Dr. A. Pečeliūnaitė, Dr. D. Šešok, Dr. G. Tamulevičius, Dr. R. Venckutė, Dr. E. Gudavičienė, Dr. R. Lileikytė, Dr. N. Linkevičienė, Dr. V. Zubaitienė, J. T. Ramonaitė.
Junior research fellows: Dr. A. Lančinskas, N. Galiauskas.
Postdoctoral research fellow: Dr. R. Paulavičius.
Doctoral students: G. Bedulskij, A. Dzidolikaitė, D. Eringis, N. Galiauskas, A. Krisiūnienė, T. Liogienė, V. Pnevski, G. Vaicekauskas, E. Zikarienė.
Specialists, engineering and expert staff: E. R. Ožeraitis, G. Navickas, J. Kaukėnas, Dr. A. Valotka, E. Kubilius, U. Civilkaitė, D. Krikštaponytė, T. Tarabilda, E. Babrovskė, Dr. M. Filipovič, Dr. S. Laurinčiukaitė, Dr. G. Skersys, Dr. I Smetonienė, T. Anbinderis, Ž. Ringelienė, L. Vėbra, J. Katina.

RESEARCH INTERESTS

Random processes analysis and recognition

RESEARCH PROJECTS CARRIED OUT IN 2013

Projects Supported by University Budget

Analysis and Recognition of Random Signals. Prof. Habil. Dr. A. L. Telksnys, Prof. Dr. J. Žilinskas.

The main results were: nonlinear regression using covering algorithms.

The problem of speech segmentation is analyzed. The relation of pitch trajectory and phoneme sequences was explored aiming at implementing ambiguous segmentation of speech signal. The change of pitch values helps detect some segments, but these regions don not coincide with phonemes. This implies the necessity to compose the set of acoustical units as the basis for speech segmentation.

Recognition of short-time specific elements in heart rate sequences. Speech signal segmentation based on fundamental and formant frequency analysis.

Main publications:

Greibus, M., Telksnys, L., 2013. Speech Keyword Spotting with Rule Based Segmentation. Information and Software Technologies, vol. 403, 186–197.

Lileikyte, R., Telksnys, L., 2013. Metrics Based Quality Estimation of Speech Recognition Features. Informatica, vol. 24, No. 3, 435–446.

Žilinskas, A., Žilinskas J., 2013. A hybrid global optimization algorithm for non-linear least squares regression. Journal of Global Optimization, vol. 56(2), 265–277. Doi:10.1007/s10898-011-9840-9, http://link.springer.com/article/10.1007/s10898-011-9840-9.

National Research Projects

Research Council of Lithuania Project. Development and Validation of Control by Lithuanian Speech Unit Model for the Disabled (No. MIP-092/2012). Prof. D. Navakauskas.

The bidirectional Dynamic Time Warping (B-DTW) algorith was proposed for transient pulse interrupted speech recognition. The idea of the B-DTW algorithm is comparison of templates in two directions (from the beginning and the ending of the template) excluding noise interrupted speech region.

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 R. Paulavičius (No. 004/18/ MTDS-580000-400). Prof. Dr. J. Žilinskas. 2012–2014.

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.

International Research Projects

COST action Mathematical Optimization in the Decision Support Systems for Efficient and Robust Energy NetworksTD1207 Member of Managing Committee Prof. Dr. (HP) J. Žilinskas. 2013–2017, http://www.cost.eu/domains_actions/ict/Actions
/TD1207?management.

COST action Open European Network for High Performance Computing on Complex Environments IC0805 Member of Managing Committee Prof. Dr. (HP) J. Žilinskas. 2009–2013, http://www.cost.eu/domains_actions/ict/Actions/IC0805?management.

Contractual Research

Research Modelling of the Isolated Word and Phrase Recognizer according to instrument (No. VP2-1.3-ŪM-05-K) “InočekiaiLT”. Customer – CJSC Inogama.

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

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

OTHER SCIENTIFIC ACTIVITIES

Prof. J. Žilinskas –

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

Prof. Habil. Dr. K. Kazlauskas –

Assoc. Prof. R. Pupeikis –

Dr. A. Lančinskas –

  • affiliate member of European Network of Excellence on High Performance and Embedded Architecture and Compilation (HiPEAC), http://www.hipeac.net;

Dr. R. Paulavičius –

  • affiliate member of European Network of Excellence on High Performance and Embedded Architecture and Compilation (HiPEAC), http://www.hipeac.net;

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. Albertas Čaplinskas

STAFF

Chief research fellows: Prof. Dr. A. Čaplinskas, Prof. Dr. D. Dzemydienė (part-time), Prof. Dr. Saulius Gudas (part-time, from 1 October).
Senior research fellow: Assoc. Prof. Dr. A. Lupeikienė.
Research fellows: Dr. S. Maskeliūnas, Dr. V. Paliulionis (from 1 October till 31 December).
Assistant research fellow: L. Paliulionienė.
Engineer programmer: J. Miliauskaitė (part-time).
Doctoral students: D. Drungilas (till 30 September), G. Gricius, M. Kurmis, J. Miliauskaitė, A. Miliauskas, S. Svanidzaitė, E. Žulkas.

Sector of Mathematical Logic atSoftware Engineering Department

Tel. 210 9325
E-mail:

Head – Assoc. prof. Habil. Dr. Regimantas Ričardas Pliuškevičius

Senior research fellow: Assoc. Prof. Habil. Dr. R. Pliuškevičius.
Research fellows: Dr. R. Alonderis, Assoc. Prof. Dr. J. Sakalauskaitė.
Doctoral student: A. P. Girčys.
Affiliated chief research fellow: Prof. Habil. Dr. S. Jukna.
Affiliated senior research fellow: Assoc. Prof. Dr. A. Pliuškevičienė.

RESEARCH INTERESTS

Software engineering
Information system engineering
Software service engineering

Sector of Mathematical Logic

Proof theory of non-classical logics
Automated deduction
Decision procedures
Boolean function complexity
Lower bounds

RESEARCH PROJECTS CARRIED OUT IN 2013

Projects Supported by University Budget

Methods and Technologies to Specify, Model, and Develop Services-Oriented Software Systems . Prof. Dr. A. Čaplinskas (Leader), Prof. Dr. D. Dzemydienė, Assoc. Prof. Dr. A. Lupeikienė, Dr. S. Maskeliūnas, D. Drungilas, G. Gricius, M. Kurmis, J. Miliauskaitė, A. Miliauskas, L. Paliulionienė, S. Svanidzaitė. 2012–2014.

Main results obtained in 2013: analysis of current service-oriented requirement engineering approaches was performed; the obtained results were generalized, and recommendations how to improve requirements elicitation and formulation were prepared.

The methodology how to model and evaluate Cloud Interconnected Ambient Comfort Affect Reward Based Multi­Agent Sustainable House Controller was proposed and validated experimentally.

A robust ships systems integration and communication system concept for several normal and abnormal situations in the intelligent ship management systems was proposed.

Main publications:

Dzemydienė, D., Miliauskas, A., 2013. Possililities of automatic and semi-automatic end-user driven web service composition. Informacijos mokslai. Vilniaus universiteto leidykla, vol. 65, 34–44.

Bielskis, A., Guseinoviene, E., Drungilas, D., Gricius G., Zulkas, E., 2013. Modelling of Ambient Comfort Affect Reward Based Adaptive Laboratory Climate Controller. Elektronika ir elektrotechnika. Kaunas: Technologija, vol. 19, no. 8, 79–82.

Construction of Deductive Systems for Non-classical Logics; Evaluation of Lower Bounds for Algorithmic Paradigms. Habil. Dr. R. Pliuškevičius (leader), Dr. R. Alonderis, Habil. Dr. S. Jukna, Assoc. Prof. Dr. J. Sakalauskaitė, A. Girčys. 2012–2014.

Main results obtained in 2013: two finite sequent calculi for propositional linear temporal logic were constructed. The proof-search procedure for intuionistic propositional logic was constructed.

The optimality of the classical dynamic programming algorithm for the Knapsack problem was proved. New general lower bounds for additive circuits over the Boolean OR and XOR semirings were derived.

Main publications:

Alonderis, R., Pliuškevičius, R. R., 2013. Sequent Systems for PLTL. Lietuvos matematikos rinkinys, Proc. of the Lithuanian Mathematical Society. Vilnius: Matematikos ir informatikos institutas, ser. A, vol. 54, 5 p.

Alonderis, R., 2013. A proof-search procedure for intuitionistic propositional logic. Archive for mathematical logic. Heidelberg: Springer, vol. 52, iss. 7–8, 759–778.

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ė.

Main results obtained in 2013: a conceptual view-based framework for QoS modelling in web-based service-oriented enterprise systems (SoES) and balancing views on service quality, including views of different SoES stakeholders, was proposed. A mathematical model for view balancing was developed.

The notions of contract and agreement in SOA and properties of SLA languages were analyzed in the context of their legal aspects.

Main publications:

Lupeikienė, A., Miliauskaitė, J., Čaplinskas, A., 2013. A view-based approach to quality of service modelling in service-oriented enterprise systems. BSC 2013 : proceedings of the 2nd international business and system. Riga: Riga Technical University, 7–19.

Lupeikiene, A., Miliauskaite, J., Caplinskas, A., 2013. A Model of View-Based Enterprise Business Service Quality Evaluation Framework. Informatica. Vilnius: Vilnius University, vol. 24, no. 4.

Paliulionienė, L., 2013. On description of contracts and agreements in the context of SOA. Computational science and techniques. Klaipėda: Klaipėdos universitetas, vol. 1, no 2, 171–183.

Ordered Research Projects

Deutsche Forschungsgemeinschaft (DFD, German Research Foundation). Limits of Algorithmic Paradigms (Grant No. SCHN 503/5-1). Habil. Dr. S. Jukna. 2010–1013.

Main results obtained in 2013: a model of dynamic branching programs to analyze the dynamic programming paradigm was introduced. It was proved that the classical dynamic programming algorithm for the Knapsack problem is optimal. Using this approach, non-existence of efficient dynamic algorithms for some other optimization problems were proved. The next row of obtained results concerns the limitations of additive algorithms over Boolean OR and XOR semirings. New general lower bounds were proved for these classical models.

Main publications:

Jukna, S., Sergeev, I. 2013. Complexity of linear Boolean operators. Foundations and trends in theoretical computer science. Hanover: Now Publishers Inc., vol. 9, iss. 1, 1–123.

Jukna, S., 2013. Limitations of incremental dynamic programming. Algorithmica, published online: January, Springer-Verlag, 32 p. Available at http://link.springer.com/article/10.1007_s00453-013-9747-6

International Science Programmes and Projects

European joint programme Eurostars programme project Production Effectiveness Navigator (No. pen!6232 PEN; agreement No. 31V-20/LSS-580000-360 to fund the project by Agency for Science, Innovation and Technology). Prof. Dr. A. Čaplinskas, Assoc. Prof. Dr. A. Lupeikienė. 2011–2014.

Main results obtained in 2013: the requirement report and reference model of the PEN system have been corrected. Some heuristic rescheduling algorithms have been developed according to event driven views. They will be implemented in PEN prototype and will be used in order to identify, estimate and optimize the consequences of planned changes related to the products, resources and process. Deterministic algorithms, which could be implemented in the PEN system, are also reviewed.

Main publications:

Čaplinskas, A., Dzemyda, G., Kiss, F., Lupeikienė A., 2012. Processing of undesirable business events in advanced production planning systems. Informatica / Matematikos ir informatikos institutas. Vilnius : Lietuvos mokslų akademijos leidykla, vol. 23, no. 4, 563–579.

Contractual Research

Transport Optimisation Software Development (No. APS-580000-1961, JSC „Inerta LT“). L. Paliulionienė, Dr. V. Paliulionis. 2013.

Main results obtained in 2013: methods and algorithms for the optimisation of transportation were analysed and a GIS software extension was developed to minimize the price of the transportion taking into account different parameters. The parameters include the geographical locations of suppliers and clients and pricelists of goods at different suppliers. The aim of the optimisation is to choose suppliers of goods ordered by a client so that the overall transportation price (that includes the price of the goods and carriage) would be minimized.

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. A. Čaplinskas –

Prof. D. Dzemydienė –

Assoc. Prof. A. Lupeikienė –

Dr. S. Maskeliūnas –

Prof. Habil. Dr. S. Jukna –

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

DEPARTMENT OF STOCHASTIC PROCESSES

4 Akademijos, LT-08663 Vilnius
Tel. 210 9 317
E-mail

Head – Prof. Habil. Dr. Donatas Surgailis

STAFF

Chief research fellows: Prof. Habil. Dr. A. Dubickas, Prof. Dr. L. Giraitis (associated scientist), Prof. Habil. Dr. R. Leipus, Prof. Dr. R. Mikulevičius (associated scientist), Prof. Habil. Dr. R. Norvaiša, Prof. Habil. Dr. A. Račkauskas, Prof. Habil. Dr. Surgailis.
Senior research fellows : Dr. A. Astrauskas, Prof. Habil. Dr. B. Grigelionis, Dr. M. Manstavičius, Dr. M. Vaičiulis, Dr. J. Šiaulys.
Research fellow: Dr. R. P. Gylys.
Junior research fellows: V. Characiejus, D. Puplinskaitė.
Technicians: I. Grublytė, E. Ignatavičiūtė, R. Mikalauskaitė-Arminienė, G.Valiukevičius, A. Zinevičius. J. Zinkevičienė.
Doctoral students: Š. Dirmeikis I. Grublytė R. Malukas, V. Pilipauskaitė A. Škamulis.

RESEARCH INTERESTS

Statistical inference for long memory processes
Modelling financial data
Long range dependence
Heavy tails
Aggregation
Random fields
Self-similar processes
Levy processes
Rough paths
Concrete functional calculus
Stochastic partial differential equations
Random Hamiltonians
States on Girard algebras
Insurance mathematics

RESEARCH PROJECTS CARRIED OUT IN 2013

Projects Supported by University Budget

Investigation of Fractal Properties of Random Processes and Random Fields . R. Norvaiša, D. Surgailis, 2012−2013.

Statistical techniques of detection of a nonconstant long memory parameter in time series are developed. The null hypothesis presumes stationary or nonstationary time series with a constant long memory parameter, typically an I (d) series with d >−.5. The alternative corresponds to an increase in persistence and includes in particular an abrupt or gradual change from I (d1) to I (d2), −.5 <d1 <d2. Several test statistics based on the ratio of forward and backward sample variances of the partial sums are discussed. The consistency of the tests is proved under a very general setting. A simulation study shows that our testing procedures have good finite sample properties and turn out to be more powerful than the KPSS-based tests considered in some previous works.

Main publications:

Lavancier, F., Leipus, R., Philippe, A., Surgailis, D., 2013. Detection of non-constant long memory parameter. Econometric Theory, 29 (2013), 1009–1056.

Bardet, J.-M., Surgailis, D., 2013. Nonparametric estimation of the local Hurst function of multifractional Gaussian processes. Stochastic Process. Appl., 123, 1004–1045.

Projects, Programmes, Issues Supported by Lithuanian State Science and Studies Foundation

Project: Concrete Functional Calculus and Probability Theory: New Methods and their Applications. R. Norvaiša, 2012–2014.

Project: Nonlinear Long Memory, Heavy Tails and Aggregation. D. Surgailis, 2013−2015

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

Massachusetts Institute of Technology (USA)
Michigan State University (USA)
Universite Paris 1 Sorbonne (France)
Universite de Nantes (France)
London University (United Kingdom)

OTHER SCIENTIFIC ACTIVITIES

Prof. A. Dubickas –

  • editorial board member of the Uniform Distribution Theory;
  • editorial board member of the Central European Journal of Mathematics;
  • editorial board member of the Conference Papers in Mathematics;
  • editorial board member of the Lithuanian Mathematical Journal;
  • editorial board member of the Šiauliai Mathematical Seminar;
  • organizing committee member of the of Palanga conference in Combinatorics and
    Number Theory     , Palanga, Lithuania, September 1−7, 2013.

Prof. B. Grigelionis –

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

Prof. R. Norvaiša –

  • managing editor of the Lithuanian Mathematical Journal.

Prof. R. Leipus –

  • editorial board member of the Lithuanian Mathematical Journal;
  • editorial board member of the Pinigų studijos (Monetary Studies);
  • 7th International Conference on Computational and Financial Econometrics (CFE 2013) and 6th International Conference of the ERCIM (European Research Consortium for Informatics and Mathematics) Working Group on Computational and Methodological Statistics (ERCIM 2013), University of London (UK), December 14−16, 2013.

Prof. D. Surgailis –

  • associate editor of the Lithuanian Mathematical Journal;
  • visiting professor at Department Statistics and Probability, Michigan State University, USA, April, 2013.

Prof. J. Šiaulys –

  • editorial board member of the Lithuanian Mathematical Journal.

DEPARTMENT OF SYSTEMS ANALYSIS

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

Head – Prof. Habil. Dr. Gintautas Dzemyda

STAFF

Chief research fellows: Prof. Habil. Dr. G. Dzemyda, Prof. Habil. Dr. J. Mockus, Prof. Habil. Dr. L. Sakalauskas, Prof. Habil. Dr. A. Žilinskas.
Senior research fellows: Assoc. Prof. Dr. O. Kurasova, Assoc. Prof. Dr. S. Minkevičius, Dr. A. Jakaitienė, Dr. V. Marcinkevičius, Dr. V. Čyras, Dr. T. Meškauskas, Dr. M. Puida.
Affiliated research fellows: Prof. Habil. Dr. A. Garliauskas, Prof. Dr. A. Pakštas, Dr. A. Mockus.
Research fellows: Assoc. Prof. Dr. I. Belov, Dr. V. Bartkutė-Norkūnienė, Dr. J. Bernatavičienė, Dr. R. Karbauskaitė, Dr. V. Medvedev, Dr. P. Treigys, Dr. D. Ettore Otera, Dr. S. Dapkūnas, Dr. K. Lapin.
Junior research fellows: V. Jančauskas, G. Bazilevičius, A. Rapečka, P. Stefanovič, Dr. A. Igumenov, M. Mackevičius.
Postdoctoral research fellows: Dr. J. Gordevičius, Dr. E. Filatovas, Dr. A. Voroneckas.
Doctoral students: E. Artemčiukas, G. Balkys, R. Baltutytė, G. Bazilevičius, M. J. Bilinskas, A. Gimbutas, G. Gimbutienė, V. Jakštys, V. Jančauskas, J. Katina, K. Mikėnas, O.Niakšu, K. Paulauskienė, T. Pranckevičius, A. Rapečka, M. Sabaliauskas, J. Stašionis, P. Stefanovič, J. Tichonov, I. Vaičiulytė, I.Vinogradova.
Specialists and engineering staff: G. Jakimauskas, M. Ramanauskas, L. Ringienė, V. Tiešis, K. Spiridonovas, M. Girnis, A. Bučelienė, K. Urbanavičius, L. Mikalauskienė.

RESEARCH INTERESTS

Analysis of large data sets
Medical data analysis and decision support
Data mining
Visualisation of multidimensional data
Operations research
Multiple criteria decision support
Artificial neural networks
Parallel computing
Global optimization methods
Local optimization methods
Web service development
Internet data mining
Creation and computational realization of complex simulation models in epidemiology, education, economics, and energy supply systems and of various other origins with uncertainty
Optimal control applications
Image analysis, feature detection, image reconstruction, medical image processing
Epigenetic DNA alteration detection, epigenetic markers analysis
Development of decision support systems
Geometric group theory and geometric topology

RESEARCH PROJECTS CARRIED OUT IN 2013

Projects Supported by University Budget

Decisions in Optimization, Modelling and Visualization Problems. Prof. Habil. Dr. G. Dzemyda. 2011–2013.

An approximate method for mining frequent sequences based on kth order Markov models, which makes only several passes over the original database has been proposed.

Approaches for text mining based on self-organizing maps are developed.

Comparative analysis of classification methods (C.4.5, kNN, SVM, Naïve Bayes) is accomplished in order to identify most accurate method for data of patients.

Data mining approach to predict BRCA1 gene mutation is developed.

Genetic algorithm based on insertion heuristics for vehicle routing problems with constraints is proposed and investigated.

Multicriteria global optimization algorithm, having the worst condition in the optimality, has been proposed.

New version of Pareto-Lipschitzian optimization and new results on bimatrix games, method of reduction of dimensionality using the exponential correlation function, taking into account that there are clusters in the analysed set of multidimensional data has been proposed.

The nonlinear neural network FitzHugh–Nagumo model with an expansion by the excited neuronal kernel function has been investigated.

Main publications:

Garliauskas A., 2013. Mean Field Modelling of the FitzHugh-Nagumo Neuronal Network Model with Kernel Functions and Time-Delayed Couplings. Informatica, vol. 24, No. 3, 395−411.

Pragarauskaite, J., Dzemyda, G., 2013. Markov Models in the Analysis of Frequent Patterns in Financial Data. Informatica, vol. 24, No. 1, 87−102.

Žilinskas A., 2013. On the worst-case optimal multi-objective global optimization. Optimization Letters, vol. 7, 1921−1928.

Study and application of statistical simulation and stochastic programming to computer network design. Prof. Habil. Dr. L. Sakalauskas.

Big data are generated and stored in computer networks that are saving a lot of information extraction and application of which is very important for gaining of concurrent ability in modern dynamic environment of research and business. Problems of computer network analysis, modelling and control are usually solved by methods of data mining and queuing theory.

Methods of kriking with matrix of Euclidean distances were studied and created.

Methods and algorithms of stochastic linear and nonlinear programming for application of statistical simulation of computer networks were developed.

Main publications:

Kaklauskas, L., Sakalauskas, L., 2013. Study of on-line measurement of traffic self-similarity . Central European Journal of Operations Research, Vol. 21, No. 1, 63−84, DOI: 10.1007/s10100-011-0216-5.

Sakalauskas, L., 2013. Locally Homogeneous and Isotropic Gaussian Fields in Kriging . Informatica, Vol. 24, No. 2, 253−274.

National Research Projects

Research according Innovation voucher. Development of Data Mining Methods for Similarity Estimation of Streaming Data (No. APS-580000-63, 31V-311) (JSC Algoritmų sistemos, Agency for Science, Innovation and Technology (MITA)). Dr. J. Bernatavičienė. January 15,2013–April 25, 2013.

Four similarity measures Correlation Coefficient, Frobenius norm, Principal Component Analysis similarity factor, Multidimensional Dynamic Time Warping for comparison of medical streaming data (MSD are examined and the experiments of the comparison of these measures have been performed. In medicine, the comparison of patient physiological MSD data can be useful in disease detection.

Main publications:

Bernatavičienė, J., Bazilevičius, G., Dzemyda, G., Medvedev, V., 2013. Comparative analysis of similarity measures for medical streaming data. Computer data analysis and modelling: theoretical and applied stochastics: proceedings of the 10th international conference, Minsk, September 10-14, Vol. 1, 17 −20. 

Research Council of Lithuania. Methods and Algorithms of Non-Convec Multi-Objective Optimization (No. MIP-063/2012/ LSS-580000-444) Prof. Habil. Dr. A. Žilinskas. 2012−2014.
New multi-objective optimization methods for non-convex objectives are proposed and their efficiency evaluated by means of solving test and practical problems.

Main publications:

Žilinskas, A., 2013. On two approaches to constructing optimal algorithms for multi-objective optimization. Communications in Computer and Information Sciences, Vol. 403, 236 −248.

Jančauskas, V., 2013. Optimizing Neighbourhood Distances for Variant of Fully-Informed Particle Swarm Algorithm. Studies in Computational Intelligence, Vol. 512, 217 −229.

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 J. Gordevičius (No. 004/11/ MTDS-580000-401) Prof. Habil. Dr. G. Dzemyda. 2012−2014.

Novel algorithmic methods are developed for analysis of human methylome datasets obtained from whole genome tiling arrays or next generation sequencing.

Main publications:

Kriukienė, E., Labrie, V., Khare, T., Urbanavičiūtė, G., Lapinaitė, A., Koncevičius, K., Li, D., Wang, T., Pai, S., Ptak, C., Gordevičius, J., Wang, S.C., Petronis, A., Klimašauskas, S., 2013. DNA unmethylome profiling by covalent capture of CpG sites. Nature Communications, vol. 4, 2190. doi: 10.1038/ncomms3190.

National Integrated Program of Information Technologies 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.

Main publications:

Kurasova, O., Marcinkevičius, V., Medvedev, V., Rapečka, A., 2013. Data mining systems based on web services. Information Sciences, Vol. 65, 66 −74.

Stefanovič, P., Kurasova, O., 2013. Similarity analysis of text documents by self-organizing maps and k-means. Information Sciences, Vol. 65, 24 −33.

Čyras, V., Lachmayer, F., 2013. Situation versus case and two kinds of legal subsumption. In: F. Kummer & W. Hötzendorfer (eds.) Abstraktion und Applikation: Abstraction and Application, Proceedings of the 16th International Legal Informatics Symposium IRIS 2013, 21 −23 February 2013, Universität Salzburg, 347–354.

High technology development programmes for 2011-2013 research and experimental development project Methods and Software for Modelling and Visualization of Business Processes. PROMOS (No. 31V-145). Prof. Habil. Dr. A. Žilinskas. 2011−2013.

A new algorithm is proposed and implemented for visualization of graphs used for business process management.

Main publications:

Žilinskas, A., 2013. On statistical models based multi-objective optimization. Proceedings of 10th International conference Computer Data Analysis and Applied Stochastics, Vol.2, 90 −94.

Jančauskas, V., 2013. Web service for drawing BPMN diagram connections. Kompiuterininkų dienos, 46 −54.

Project of EU Structural funds economic growth action program’s priority Information Society for All implementation toolLithuanian language in the information societyCreation 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/ LSS-580000-2197). Dr. V. Marcinkevičius. 2012−2015.

The project there will develop 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.

International Research Projects

Eurostars joint programme project Production Effectiveness Navigator (No. pen!6232 PEN implementation. No. 31V-20/LSS-580000-360), ( Eurostars programme). Prof. Habil. Dr. G. Dzemyda. 2011−2014.

The requirement report and reference model of the PEN system have been corrected. Some heuristic rescheduling algorithms have been developed according to event driven views. They will be implemented in PEN prototype and will be used in order to identify, estimate and optimize the consequences of planned changes related to the products, resources and process. Deterministic algorithms, which could be implemented in the PEN system, are also reviewed.

Main publications:

Caplinskas, A., Dzemyda, G., Kiss, F., Lupeikiene, A., 2012. Processing of Undesirable Business Events in Advanced Production Planning Systems. Informatica, Vol. 23, No. 4, 563 −579.

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)
CJSC Algoritmų sistemos (Lithuania)
Vilnius University Institute of Oncology (Lithuania)

OTHER SCIENTIFIC ACTIVITIES

Prof. Habil. Dr. G. Dzemyda –

Prof. Habil. Dr. L. Sakalauskas –

Prof. Habil. Dr. A. Žilinskas –

Prof. Habil. Dr. J. Mockus –

Prof. Habil. Dr. A. Garliauskas –

Assoc. Prof. O. Kurasova –

Assoc. Prof. I. Belovas –

Assoc. Prof. V. Bartkutė-Norkūnienė –

Dr. A. Jakaitienė –

Dr. V. Medvedev –

Dr. J. Bernatavičienė–

Dr. R. Karbauskaitė –

  • managing editor of the Informatica (IOSPress/VU).

V. Tiešis –