91桃色

Institute of Mathematics and Informatics of 91桃色

Sukurta: 16 September 2013

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

Director 鈥 Prof. Habil. Dr. Gintautas Dzemyda

STAFF

69 research fellows (23 habilitated doctors and 41 doctors), 54 doctoral students

 

MAIN RESEARCH AREAS OF THE INSTITUTE

Integrated development of mathematics, informatics and information technologies
for the knowledge society advanced products and services

DOCTORAL DISSERTATIONS MAINTAINED IN 2012

R. Lileikyt臈. Quality estimation of speech recognition features.

S. Kubilinskien臈. Extended metadata model for digital learning recourses.

E. Filatovas. Solving multiple criteria optimization problems in an interactive way.

沤. Vaira. Investigation, improvement and development of aspect-oriented design patterns.

L. Kaklauskas. Study and application of methods of fractal processes monitoring in computer networks.

L. Stabingien臈. Image analysis using bayes discriminant functions.

A. Igumenov. Electrical energy aware parallel and distributed computing.

S. Ra膷kauskien臈. Joint universality of zeta-functions with periodic coefficients.

S. Preidys. The application of datamining methods to personalised learning environments.

CONFERENCES AND SEMINARS ORGANIZED IN 2012

4th international seminar Data Analysis Methods for Software Systems

2nd international doctoral consortium Informatics and Informatics Engineering Education Research: Methodologies, Strategies and Implementation

10th International Baltic Conference on Databases and Information Systems (BalticDB&IS 2012)

25th European Conference on Operational Research

International conference Challenges of Learning Informatics in 21st century

DEPARTMENT OF INFORMATICS METHODOLOGY

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

Head 鈥 Prof. Valentina Dagien臈

STAFF

Chief research fellow: Prof. Dr. V. Dagien臈.
Senior research fellows: Dr. T. Jevsikova, Dr. J. Kurilov.
Assistant research fellows: R. And啪ius, M. Budri奴nas, V.Dagys, A. Grincevi膷ius, B. Sk奴pas, J. Sk奴pien臈, A. Strelkauskyt臈.
Technician: G. Svetikien臈.
Doctoral students: E. Jasut臈,  A. Ju拧kevi膷ien臈,S. S臈rikovien臈,  B. Sk奴pas,  J. Urbonien臈,  L. Zajan膷kauskien臈,  I. 沤ilinskien臈.

RESEARCH INTERESTS

Computer science education research  
Technology-based learning  
Teaching programming  
Localization of digital resources  
Models of quality evaluation of educational system components  
Adaptive learning research  
Olympiads in Informatics

RESEARCH PROJECTS CARRIED OUT IN 2012

Projects Supported by University Budget

Research on Engineering Decision Makings for Technology-Based Education, as Well as Software Localization. Prof. V. Dagien臈. 2012鈥2014.

Main tasks and outcomes: 1) derivation of basic informatics concepts and prove their appropriatness to use in contest; 2) development of semi-automated system for evaluation programming assigments; 3) analysis of pecularities of localization digital resources, 4) development of methods and models for evaluation of the quality of education system components.

Projects, Programmes, Issues Supported by the Research Council of Lithuania

Support for a scientific event Informatics at School: the Basic Concepts, Innovations and Research. April 25, 2012, No. MOR-001/2012/ LSS-580000-944, (registration No. MOR-12007)

Support for a scientific event Informatics Engineering Education Research: Methodologies, Methods and Practice. October 01, 2012, No. MOR-052/2012/ LSS-580000-2294, (registration No. MOR-12149)

Governmental Science Programmes and Research Projects Ordered by the Branch Ministries

The Project: Realization of Postdoctoral (Post Doc) Internship in Lithuania (Programs of human resource development actions, means for stimulating scientific works of students and mobility of scientists and other researchers, No. 58/MTDS-580000-2033, (finnancing and management agreement No. VP1-3.1-艩MM-01-V-01-001). V. Grybauskien臈 2010鈥2013.

The means Stimulations of Students' Scientific Works and Mobility of Scientists and Other Researchers of the 3rd priority programme for developing human resources, the project stimulation of students scientific activity, carried out according to the financing and management agreement No. VP1-3.1-艩MM-01-V-02-003, signed on November 30, 2011 between European Social Foundation Agency, Ministry of Education and Science and the Lithuanian Science Council; scientific practice of students in summer (student Sandra Brusokait臈, agreement No. SMP 009 / SMP 12-069). Dr. T. Jevsikova. 2012.

Ordered Research Projects

The EU structural Funds Project Science for Business and Society in line with the realization means 鈥濱nogeb LT-1鈥 (November 11, 2009) of the LR Economic grouth action programme in 2007-2013, of the 1st priority Scientific research and technology development meant for competitive ability of economy and economic growth, code of the Project No. S鈥慥P2-1.4-弄M-03-K-01-019.

Services of Localization of Computer Teaching-Aided Means. To localize (i.e. to adapt to the Lithuanian linguistic, cultural, and educational environment) packages of computer-aided teaching tools, intended for primary class school-children (also for that having special education needs). Agreement of services No. F5-155(9.28).

Project of the EU Structural Funds. The realization means Lithuanian Language in an Information Society of the economic grouth action programme priority Information Society for Everyone. Development and Verification Work of the Lithuanian Term Bank, No. VP2-3.I-IVPK-12-K-01-004/ LSS-180000-642. 2012.

International Science Programmes and Projects

Project 鈥鈥 鈥 Learning communityforWeb 2.0 teaching, Project No.504333-LLP-1-2009-1-DE-COMENIUS-CMP, according to the Web 2.0 EU programme of life-long learning, Grant Agreement No. 2009-3937/001-00.

MAIN PUBLICATIONS

Articles

V. Dagien臈, T. Jevsikova, S. Kubilinskien臈. An integration of methodological resources into learning object metadata repository // Informatica / Matematikos ir informatikos institutas. Vilnius : Lietuvos moksl懦 akademijos leidykla. 2012, vol. 23, no. p.

V. Dagien臈, T. Jevsikova. Reasoning on the Content of Informatics Education for Beginners // Socialiniai mokslai / Kauno technologijos universitetas. Kaunas : Technologija. 2012, nr. 4, p. 84-90.

. 沤ilinskien臈, S. Kubilinskien臈. Mokomojo scenarijaus personalizavimas taikant kolektyvin臈s intelektikos metodus // Lietuvos matematikos rinkinys. LMD darbai. Vilnius : Matematikos ir informatikos institutas. 2012, t. 53, ser. B, p. 264-269.

S. Preidys, I. 沤ilinskien臈. Nuotolinio mokymosi kurso personalizavimo modelis mokymosi veikl懦 at啪vilgiu // Elektroninis mokymasis, informacija ir komunikacija: teorija ir praktika. T. 1. Vilnius : Vilniaus universitetas, 2012, p. 111-132.

R. And啪ius. Termin懦 啪odyn懦 straipsni懦 strukt奴rinimas: termin懦 eilut臈s kliuviniai // Leksikografija ir leksikologija. D. 2 / sudar臈 Vilija Sakalauskien臈, Albina Auksori奴t臈. Vilnius : Lietuvi懦 kalbos institutas, 2010, p. 319-328.

A. Ju拧kevi膷ien臈, J. Kurilov. VMA Moodle personalizavimo galimyb臈 antrosios kartos saityno priemon臈mis // Lietuvos matematikos rinkinys. LMD darbai. Vilnius : Matematikos ir informatikos institutas. 2012, t. 53, ser. B, p. 181-186.

J. Kurilov, I. 沤ilinskien臈. Evaluation of quality of personalised learning scenarios: an improved MCEQLS AHP method // International journal of engineering education. Dublin : Tempus Publications. 2012, vol. 28, no 6, p. 1309-1315.

V. Grabauskien臈, V. Dagien臈. Using of UML for modelling the holistic geometric primary education // Journal of computer assisted learning. Oxford : Wiley-Blackwell Publishing Ltd. 2012, vol, no,, p.

G. Grigas, T. Jevsikova, A. Strelkauskyt臈. Localisation issues of software shortcut keys // Localisation focus. Limerick : Localisation Research Centre, p. 40-53.

E. Jasut臈, V. Dagien臈. Towards gigital competencies in mathematics education: a model of interactive geometry // International journal of digital literacy and digital competence. Hershey : I G I Global. 2012, vol. 3, no 2, p. 1-19.

Materials of conferences

C. Schulte, V. Dagien臈, A. Eckerdal, M. Hornung, T. Jevsikova, A. Peters, S. Sentance, N. Thota. Computer science at school / CS teacher education - Koli working-group report on CS at school // 12th Koli calling international conference on computing education research : proceedings, Finland, November 15-18, 2012. New York : The Association for Computing Machinery, p. 29-38.

V. Dagien臈, E. Jasut臈. Constructionist learning of geometry // Constructionism 2012 : theory practice and impact : conference proceedings, August 21-25, Greece. Athens : Vivliosynergatiki S.A. 2012, p. 586-596.

S. Kubilinskien臈, V. Dagien臈. Methodological digital resources: how we can help educators to find them more effectively // Frontiers in artificial intelligence and applications. Vol. Amsterdam : IOS Press, 2012, p.

I. 沤ilinskien臈, V. Dagien臈, J. Kurilov. A swarm-based approach to adaptive learning: selection of a dynamic learning scenario // Proceedings of the 11th European conference on e-learning. Groningen : University of Groningen, 2012, p.

COOPERATION

Aalto University (Finland)
Davidson Institute of Science Education, Weizmann Institute of Science (Israel)
University of Eastern Finland of Joensuu and Kuopio (Finland)
Malta University (Malta)
Brunel University, Uxbridge (UK)
University of the Basque Country (Spain)
University of Las Palmas de Gran Canaria (Spain)
Ljubjana University (Slovenia)
Munster University (Germany)
Frei University Berlin (Germnay)
University of Iceland (Iceland)
Groningen University (the Netherlands)
Eindhoven University of Technology (the Netherlands)

OTHER SCIENTIFIC ACTIVITIES

V. Dagien臈 () -

  • editor-in-chief of two international journals Informatics in Education (since 2002) and Olympiads in Informatics (since 2007);
  • expert of EU Eurostars programme;
  • representative of Lithuania in Education Committee TC3 under the International Federation for Information Processing (IFIP);
  • vice chair of the Technical Committee of IFIP for Education (TC3);
  • member of Steering Committee of International Olympiads in Informatics;
  • chair of the Annual International Workshop on Contest on Informatics and Computer Fluency, May, Druskininkai (Lithuania);
  • chair of the 3rd  international doctoral consortium  on informatics engineering education research: methodologies, methods, and practice, December 37, 2012, Druskininkai: member of organizing committee;
  • chair of the World Congress on Computer in Education (June 25, WCCE 2013);
  • member of Doctoral Thesis Defence Committies (Ireland, Finland);
  • supervisor of international doctoral student exchange (2 students: from Croatia and from Spain).

Dr. J. Kurilov 鈥

  • member of Steering Committee of European Schoolnet(or EUN, the network of 31 European Ministries of Education);
  • member of Lithuanian national CEDEFOP and ReferNet Committees;
  • expert-evaluator: PHARE, Leonardo da Vinci, eContentplusprogrammes, European Regional Development Fund;
  • expert on preparation of feasibility studies and project documentation: European Commission, Ministry of - Education and Science of Lithuania, Central Project Management Agency under the Ministry of Finance of Lithuania.
  • editorial board member and reviewer of the journals:
    • International Journal of Knowledge Society Research (IJKSR, IGI Global), : Co-Editor Europe. ISSN: 1947-8429;
    • Journal of Engineering and Computer Innovations (JECI, Academic Journals), : associate editor, reviewer. ISSN 2141-6508;
    • International Journal on Advances in Software (IARIA journal, USA), : member of editorial board, reviewer. ISSN 1942-628;
    • Informatics in Education (91桃色, Lithuania). : member of editorial board, reviewer. ISSN 1648-5831;
    • International Journal of Online Pedagogy and Course Design (IJOPCD, USA), : reviewer. ISSN 2155-6873;
    • Journal of Studies in Education (JSE, Macrothink Institute, USA), : reviewer. ISSN 2162-6952;
    • Educational Research and Reviews (ERR, Academic Journals). : reviewer. ISSN 1990-3839;
    • International Journal of Library and Information Science (IJLIS, Academic Journals), : reviewer. ISSN 2141-2537;
    • Information Technology Research Journal (ITRJ, International Research Journals), : reviewer;
    • International Research Journal of Engineering Science, Technology and Innovation (IRJESTI, International Research Journals), : reviewer;
    • Journal of Information Technology and Application in Education (JITAE, World Academic Publishing Inc.), : reviewer. ISSN 2227-6459;
    • Organizacija (Journal of Management, Informatics and Human Resources, University of Maribor, Slovenia), : reviewer. ISSN 1318-5454 (print); ISSN 1581-1832 (online);
    • Vocational Education: Research and Reality (Vytautas Magnus University, Lithuania), : reviewer. ISSN 1392-6241;
    • Journal of Education and Learning (JEL, Canadian Center of Science and Education), : reviewer. ISSN 1927-5250 (print); ISSN 1927-5269 (online).
    • editorial board member and reviewer of scientific books:
    • IGI Global, USA, Innovations in XML Applications and Metadata Management: Advancing Technologies;
    • IGI Global, USA, E-Infrastructures and Technologies for Lifelong Learning: Next Generation Environments;
    • member of programme committees and the reviewer in ISI Web of Science conferences:
    • annual European Conference on e-Learning (ECEL, UK) [abstracted / referenced in Thomson ISI Web of Science, ISTP, ERIC], http://www.academic-conferences.org/ecel/ecel-home.htm;  
    • annual International Conference on Creative Content Technologies (CONTENT, USA) [abstracted / referenced in Thomson ISI Web of Science, IEEE, INSPEC, ISTP], ;
    • annual International Conference on Networking and Services (ICNS, USA) [abstracted / referenced in Thomson ISI Web of Science, IEEE, INSPEC, ISTP], http://www.iaria.org/conferences2010/ICNS10.html International Workshop on Learning Methodologies and Platforms used in the Cisco Networking Academy (LMPCNA), ;
    • annual International Conference on Software Engineering Advances (ICSEA, USA) [abstracted / referenced in Thomson ISI Web of Science, IEEE, INSPEC, ISTP], .

Dr. T. Jevsikova 鈥

  • junior member of the international Federation for Information Processing (IFIP) TC3 WG3.1 (Informatics and ICT in Secondary Education), (http://ifiptc.org/?tc=tc3 );
  • associate member of the Institute of Localisation Proffesionals;
  • member of Commission of the terms of informatics and information technologies;
  • reviewer of doctoral dissertation Extended metadata model for digital learning resources (author: Svetlana Kubilinskien臈, defended on March 07, 2012);
  • reviewer and a member of defence commitee of doctoral dissertation Quality of e-book from the point of view of the consumer (author: Ar奴nas Gudinavi膷ius, defended on December 27, 2012);
  • organizing commitee member of the 3rd international  doctoral  consortium  on  informatics  engineering  education  research:  methodologies,  methods,  and  practice, December 37, 2012, Druskininkai;
  • reviewer of the journal Informatics in Education (91桃色, Lithuania), .

I. 沤ilinskien臈 鈥

  • organizing commitee member of the 3rd international  doctoral  consortium  on  informatics  engineering  education  research:  methodologies,  methods,  and  practice, December 37, 2012, Druskininkai.

DEPARTMENT OF NUMERICAL ANALYSIS

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

Head

STAFF

Chief research fellows: Prof. Dr. A. 艩tikonas, Prof. Dr. S. Rutkauskas, Prof. Habil. Dr. M. Sapogovas.
Senior research fellow: Doc. Dr. O. 艩tikonien臈.
Research fellow: Dr. S. Roman.
Technician: A. Sku膷ait臈.
Doctoral students: J. Jachimavi膷ien臈, K. Jakub臈lien臈, M. Mackevi膷ius, I. Saburov, K. Sku膷ait臈鈥揃ingel臈, A. Sku膷ait臈, L. Stonkien臈, A. Bal膷i奴nas.

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 2012

Projects Supported by University Budget

Study of Spectrum and Boundary Problems of Differential and Difference Operators with Nonlocal Conditions. Prof. A. 艩tikonas. 2011鈥2013.

The stability of three-layed difference schemes for parabolic equation with nonlocal integral conditions was investigated, the dependence of the spectrum of the difference operator on the parameters occurring in the nonlocal condition was analysed.
The properties of Green鈥檚 function were investigated for an mth-order discrete problem with additional conditions.
The well-posedness of weighted boundary value problem to a system of ordinary differential equations with singularity was proposed. Both existence and unequeness of the solution of this problem was consedered.

Projects, Programmes, Issues Supported by Research Council of Lthuania

Project: Multidimensional Problems with Nonlocal Boundary Conditions: Numerical Methods and Applications. Prof. M. Sapagovas, Doc. Dr. O. 艩tikonien臈, S. Roman. 2011鈥2012.

MAIN PUBLICATIONS

Articles

M. Sapagovas, K. Jakub臈lien臈. Alternating direction method for two-dimensional parabolic equation with nonlocal integral condition // Nonlinear analysis : modelling and control. Vilnius : Institute of Mathematics and Informatics. 2012, vol. 17, no. 1, p. 91-98.

A. 艩tikonas, S. Roman. Green's functions for discrete mTH-order problems // Lithuanian mathematical journal. New York : Springer. 2012, Vol. 52, no. 3, p. 334-351.

J. Jachimavi膷ien臈, M. Sapagovas. Locally one-dimensional difference scheme for a pseudoparabolic equation with nonlocal conditions // Lithuanian mathematical journal. New York : Springer. 2012, vol. 52, no. 1, p. 53-61.

A. Bal膷i奴nas, A. Laurin膷ikas. The laplace transform of Dirichlet L-functions // Nonlinear analysis : modelling and control. Vilnius : Institute of Mathematics and Informatics. 2012, vol. 17, no. 2, p. 127-138.

A. Bal膷i奴nas. A transformation formula related to Dirichlet L-functions with principal character // Lietuvos matematikos rinkinys. LMD darbai. Vilnius : Matematikos ir informatikos institutas. 2012, t. 53, ser. A, p. 13-18.

K. Jakub臈lien臈. An eigenvalue problem for the differential operator with an integral condition // Lietuvos matematikos rinkinys. LMD darbai. Vilnius : Matematikos ir informatikos institutas. 2012, t. 53, ser. A, p. 48-53.

L. Stonkien臈, F. Ivanauskas. Biojutiklio su substrato ir produkto degeneracija matematinis modeliavimas // Lietuvos matematikos rinkinys. LMD darbai. Vilnius : Matematikos ir informatikos institutas. 2012, t. 53, ser. B, p. 102-107.

J. Jachimavi膷ien臈. Explicit difference schemes for a pseudoparabolic equation with an integral condition // Lietuvos matematikos rinkinys. LMD darbai. Vilnius : Matematikos ir informatikos institutas. 2012, t. 53, ser. A, p. 36-41.

G. Pauk拧tait臈, A. 艩tikonas. Generalized Green's functions for second-order discrete boundary-value problems with nonlocal boundary conditions // Lietuvos matematikos rinkinys. LMD darbai. Vilnius : Matematikos ir informatikos institutas. 2012, t. 53, ser. A, p. 96-101.

M. Sapagovas, T. Me拧kauskas, F. Ivanauskas. Numerical spectral analysis of a difference operator with non-local boundary conditions // Applied mathematics and computation. New York : Elsevier Science Inc. 2012, vol. 218, no. 14, p. 7515-7527.

M. Sapagovas. On the spectral properties of three-layer difference schemes for parabolic equations with nonlocal conditions // Differential equations. MAIK Nauka - Interperiodica. 2012, vol. 47, no. 8, p. 1033-1041.

COOPERATION

Belarus State University, Minsk (Belarus)

OTHER SCIENTIFIC ACTIVITIES

Prof. A. 艩tikonas 鈥

  • editorial board member of the Lithuanian Mathematical Journal;
  • executive editor of the journal Mathematical Modelling and Analysis;
  • deputy editor-in-chief of the journal Nonlinear Analysis: Modelling and Control;
  • member of organizing committee MMA-2012 (International Conference on Mathematical Modelling and Analysis, Tallinn, Estonia).

Prof. M. Sapagovas 鈥

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

Doc. Dr. O. 艩tikonien臈 鈥

  • editor secretary of the journal Lithuanian Mathematical journal.

Prof. S. Rutkauskas 鈥

  • editorial board member of the journal Lithuanian Mathematical Journal;
  • 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. 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. R. Rudzkis, 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臈, Doc. Dr. D. Krapavickait臈, Doc. Dr. A. Plikusas, Prof.. Dr. M. Radavi膷ius.
Research fellow: A. 膶iginas.
Technicians: A. Bak拧ajevas,  R. Baltutyt臈,  D. Dzindzalieta,  P. 艩arka.
Doctoral students: D. Dzindzalieta,  K. Piaseckien臈, T. Rudys.

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

RESEARCH PROJECTS CARRIED OUT IN 2012

Projects Supported by University Budget

Statistical Properties of Complex Random Systems. Prof. V. Bentkus (until June 03, 2010),  Prof. J. K. Sunklodas,  Prof. M. Radavi膷ius (since June 03, 2010). 2010鈥2012.

The new representations for Tweedie EDMs as well as several new concepts and technical assertions were investigated. The general asymptotic formula for the probabilities of high excursions of differentiable Gaussian fields was proved. The optimal estimates of smooth metrics in the central limit theorem have been obtained for random sums of independent nonidentically distributed random variables. The problem of estimation of the tail index in the case where max-aggregated random variables are observed. Strongly consistent and asymptotic normal estimators of the Hurst index of stochastic differential equation driven by a fractional Brownian motion are proposed. A total variation approximation for the distribution of component vector of a weakly logarithmic random assembly is obtained. Necessary and sufficient conditions for a generalized function to be a positive definite distribution were investigated. For sparse contingency tables, nonparametric tests have been constructed and their consistency in the general setting of sparse asymptotics has been proved.  Statistical properties of finite-population statistics were considered.

Governmental Science Programmes and Research Projects Ordered by the Branch Ministries

Project: Probabilities of High Excursions of Gaussian Fields. Prof. Habil. Dr. R. Rudzkis, Dr. A. Bakshaev.

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

Articles

P. Banys, V. Paulauskas. CLT for linear random fields with martingale increments // Lithuanian mathematical journal. New York : Springer. 2012, vol. 52, no. 1, p. 13-28.

M. Radavi膷ius, P. Samusenko. Goodness-of-fit tests for sparse nominal data based on grouping // Nonlinear analysis : modelling and control. Vilnius : Institute of Mathematics and Informatics. 2012, Vol. 17, no. 4, p. 489-501.

V. Vinogradov, R. Paris, O. Janu拧kevi膷ien臈. New propertles and representations for members of the power-variance family. I // Lithuanian mathematical journal. New York : Springer. 2012, vol. 52, no. 4, p. 444-461.

J. Sunklodas. On the normal approximation of a sum of a random number of independent random variables // Lithuanian mathematical journal. New York : Springer. 2012, vol. 52, no. 4, p. 435-443.

R. Rudzkis, A. Bakshaev. Probabilities of high excursions of Gaussian fields // Lithuanian mathematical journal. New York : Springer. 2012, vol. 52, no. 2, p. 196-213.

J. Sunklodas. Some estimates of normal approximation for the distribution of a sum of a random number of independent random variables // Lithuanian mathematical journal. New York : Springer. 2012, vol. 52, no. 3, p. 326-333.

A. 膶iginas. Confidence intervals in official statistics: the case of Lithuania // Lietuvos statistikos darbai. Vilnius : Statistikos departamentas prie Lietuvos Respublikos Vyriausyb臈s. 2012, Vol. 51, nr. 1, p. 17-21.

J. Ma膷ys. Dirichl臈 principas: pavadinimo niuansai // Lietuvos matematikos rinkinys. LMD darbai. Vilnius : Matematikos ir informatikos institutas. 2012, t. 53, ser. B, p. 193-196.

J. Su拧inskas, J. Ma膷ys. Olimpiadin臈 lyg膷i懦 sistema // Lietuvos matematikos rinkinys. LMD darbai. Vilnius : Matematikos ir informatikos institutas. 2012, t. 53, ser. B, p. 237-242.

A. 膶iginas. The consistency of bootstrap and jackknife variance estimators for finite population L-statistics // Lietuvos matematikos rinkinys. LMD darbai. Vilnius : Matematikos ir informatikos institutas. 2012, t. 53, ser. A, p. 19-23.

S. Norvidas. On analytic continuation of characteristic functions of probability measures // Journal of mathematical analysis and applications. San Diego : Academic Press Inc Elsevier Science. 2012, Vol. 390, iss. 1, p. 93-98.

D. Dzindzalieta, T. Ju拧kevi膷ius, M. 艩ileikis. Optimal probability inequalities for random walks related to problems in extremal combinatorics // SIAM journal on discrete mathematics. Philadelphia : Society for Industrial and Applied Mathematics. 2012, vol. 26, no. 2, p. 828-837.

K. Kubilius, Y. Mishura. The rate of convergence of Hurst index estimate for the stochastic differential equation // Stochastic processes and their applications. Amsterdam : Elsevier BV * North-Holland. 2012, Vol. 122, iss. 11, p. 3718-3739.

O. Janu拧kevi膷ien臈. On bounds in limit theorems for some $U$-statistics // Theory of probability and its applications. Philadelphia : Society for Industrial and Applied Mathematics. 2012, vol. 56, no 4, p. 660-673.

O. Janu拧kevi膷ien臈, R. Janu拧kevi膷ius. About the rate of convergence of one U-statistic // Informatika i ee primienenija. Moskva : Izdatelstvo "TORUS PRESS". 2012, T. 6, vyp. 3, p. 64-68.

T. Kargina, E. Manstavi膷ius. Multiplicative functions on Zn+ and the Ewens Sampling Formula // RIMS kokyuroku Bessatsu. Kyoto : Kyoto University. 2012, Vol. B34: Functions in Number Theory and Their Probabilistic Aspects eds. K. Matsumoto, S. Akiyama, K. Fukuyama, H. Nakada, H. Sugita, A. Tamagawa. p. 137-151.

Materials of conferences

E. Manstavi膷ius. On total variation approximations for random assemblies // Discrete Mathematics and Theoretical Computer Science. Nancy : DMTCS. 2012, p. 97-108.

J. Ma膷ys. Funkcin臈s lygtys mokykloje // Matematika ir matematikos d臈stymas - 2012 : konferencijos prane拧im懦 med啪iaga. Kaunas : Technologija, 2012, p. 4-8.

J. Ma膷ys. Kosinuso apibr臈啪imas funkcine lygtimi // Matematika ir matematikos d臈stymas - 2012 : konferencijos prane拧im懦 med啪iaga. Kaunas : Technologija, 2012, p. 27-32.

J. Su拧inskas, J. Ma膷ys. Trigonometrini懦 funkcij懦 analizinis apibr臈啪imas // Matematika ir matematikos d臈stymas - 2012 : konferencijos prane拧im懦 med啪iaga. Kaunas : Technologija, 2012, p. 33-38.

COOPERATION

Bielefeld University Collaborative Research Centre Spectral Structures and Topological Methods in Mathematics (Germany)
Institute for mathematics and applications of University of Minnesota (USA)
Ohio University (USA)
University of Southern (Denmark)
School of Computing, Engineering and Applied Mathematics, University of Abertay Dundee (UK)
Participation in the steering committee and organization of the activities of the Baltic-Nordic-Ukrainian network on survey statistics, .

OTHER SCIENTIFIC ACTIVITIES

Doc. D. Krapavickait臈 鈥

  • editor-in-chief of the journal Lietuvos statistikos darbai 2012, ;
  • member of the programme committee of the Workshop on Survey Sampling Theory and Methodology, August 2012, Valmiera, Latvia;
  • member of the programme committee of the Summer School on Survey Sampling Theory and Methodology, June 2013, Minsk, Belarus.

Prof. K. Kubilius 鈥

  • managing editor of theLithuanian Mathematical Journal, ;
  • editorial board member of the Mathematical Modelling and Analysis,  ;
  • member of Programme committee of international conference Modern Stochastics: Theory and Application III鈥, .

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, ;
  • chairman of the Editorial Board of the Lietuvos Matematikos Rinkinys. LMD Darbai;
  • co-editor of the Kubilius Memorial Volume Analytic and Probabilistic Number Theory, Vilnius, TEV, 2012;
  • independent expert of the mathematics/ingeneering panel of the EC FP7  M. Curie Programme;
  • chairman of the Board of the Lithuanian Mathematical Society.

Prof. S. Norvidas 鈥

  • editorial board member of the Lithuanian Mathematical Journal;
  • scientific supervisor of doctoral student D. Dzindzalieta;
  • referee of the journals: Mathematical Reviews, Zentralblatt MATH, Functional Analysis and Its Applications.

Prof. V. Paulauskas 鈥

  • section editor of the Lithuanian Mathematical Journal;
  • section editor and member of Advisory board of the Central European Mathematical Journal;
  • chairman of   Section of Mathematics in the Lithuanian Academy of Sciences.

Doc. M. Radavi膷ius 鈥

  • scientific supervisor of doctoral students K. Piaseckien臈 and Agn臈 Reklait臈.

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);
  • the supervisor of the Postdoc student Aleksej Bakshaev according to the project Postdoctoral Fellowship Implementation in Lithuania (痴笔1-3.1-艁惭惭-01).

DEPARTMENT OF RECOGNITION PROCESSES

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

Head 鈥 Prof. Dr. Julius 沤ilinskas

STAFF

Chief research fellows: Prof. Habil. Dr. K. Kazlauskas, Prof. Dr. J. 沤ilinskas.
Senior research fellows: Prof. Habil. Dr. A. L. Telksnys, Doc. Dr. R. Pupeikis.
Research fellow: Dr. G. Tamulevi膷ius. Dr. R. Paulavi膷ius.
Junior research fellow: A. Lan膷inskas.
Engineer research fellow: J. Kauk臈nas.
Technicians: D. Eringis, E. R. O啪eraitis, L. Makut臈nas, M. R. Pajedien臈. K. Z膮bkiewicz.
Doctoral students: G. Bedulskij, A. Dzidolikait臈, D. Eringis, N. Galiauskas, R. Ma啪eika,
A. Lan膷inskas, T. Liogien臈, V. Panevski. G. Py啪.

RESEARCH INTERESTS

Random processes analysis and recognition

RESEARCH PROJECTS CARRIED OUT IN 2012

Projects Supported by University Budget

Recognition System Synthesis for Signals with Complex Structure. Prof. A. L. Telksnys,Prof. J. 沤ilinskas. 2011鈥2013.

Problems of identification of parameter values in nonlinear regression have been analyzed, requirements for optimization algorithms have been foreseen.
Accuracy estimation of detection of extrasystoles in heart rate sequences.
A forward-backward basis function approach for instantaneous frequency estimation of the frequency modulated signal in noisy environment was presented.
Increasing of efficiency of self-tuning minimum variance control of linear dynamical systems followed by saturation nonlinearities in a noisy frame.
The issue of speech segmentation is surveyd and analyzed. Variation of fundamental frequency and formant values are selected as the basis for ambiguous segmentation of speech signals. The purpose of ambiguous segmentation is to create acoustically based speech segmentation algorithm without any predefined grammatical background.

Projects, Programmes, Issues Supported by Research Council of Lithuania

Reimbursement of expenses related to participation at the meetings of European Science Foundation (ESF) Standing Committee for Physical and Engineering Sciences (PESC). No. ADS-03/2012/ LSS-580000-322. Leader  Prof. J. 沤ilinskas. 2011鈥2012.

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. Supervisor Prof. J. 沤ilinskas. 2012鈥2014.

International Science Programmes and Projects

COST action Open European Network for High Performance Computing on Complex Environments IC0805. Member of Managing Committee Prof. J. 沤ilinskas. 2009鈥2013.

MAIN PUBLICATIONS

Monographs, Studies

G. Dzemyda, O. Kurasova, J. 沤ilinskas. Multidimensional data visualization: methods and applications. New York : Springer, 2012. XII, 250 p.

Articles

K. Kazlauskas, R. Pupeikis. A forward-backward approach for instantaneous frequency estimation of frequency modulated signals in noisy environment // Informatica / Matematikos ir informatikos institutas. Vilnius : Lietuvos moksl懦 akademijos leidykla. 2012, vol. 23, no. 1, p. 65-76.

G. Py啪, V. 艩imonyt臈, V. Slivinskas. Lithuanian speech synthesis by computer using additive synthesis // Elektronika ir elektrotechnika / Kauno technologijos universitetas. Kaunas : Technologija. 2012, vol. 18, nr. 8, p. 77-80.

J. Redondo, P. Ortigosa, J. 沤ilinskas. Multimodal evolutionary algorithm for multidimensional scaling with city-block distances // Informatica / Matematikos ir informatikos institutas. Vilnius : Lietuvos moksl懦 akademijos leidykla. 2012, vol. 23, no. 2, p. 601-620.

K. Kazlauskas, R. Pupeikis. On speedy recognition of non-aliased realization after multifold downsampling of an oversampled bandlimited signal // Information technology and control / Kauno technologijos universitetas. Kaunas : Technologija. 2012, t. 41, no. 3, p. 248-257.

R. Lileikyt臈, A. Telksnys. Quality Estimation of Speech Recognition Features for Dynamic Time Warping Classifier // Information technology and control / Kauno technologijos universitetas. Kaunas : Technologija. 2012, t. 41, no. 3, p. 268-273.

R. Lileikyt臈, A. Telksnys. Quality Measurement of Speech Recognition Features in Context of Nearest Neighbour Classifier // Elektronika ir elektrotechnika / Kauno technologijos universitetas. Kaunas : Technologija. 2012, nr. 2, p. 9-12.

S. Kligien臈. Digital footprints in the context of professional ethics // Informatics in education. Vilnius : Matematikos ir informatikos institutas. 2012 vol. 11, no. 1, p. 65-79.

J. Va啪nevi膷i奴t臈, S. Kligien臈. Visuotinio at拧ilimo duomen懦 tyrimas ir juo pagr寞stos statistin臈s i拧vados // Lietuvos statistikos darbai. Vilnius : Statistikos departamentas prie Lietuvos Respublikos Vyriausyb臈s. 2011, Vol. 50, nr. 1, p. 23-31.

J. 沤ilinskas. Parallel branch and bound for multidimensional scaling with city-block distances // Journal of global optimization. New York : Springer New York LLC. 2012, vol. 454, no. 2, p. 261-274.

R. Pupeikis. Self tuning minimum variance control of linear systems followed by saturation nonlinearities in a noisy frame // International journal of robust and nonlinear control. West Sussex : John Wiley & Sons Lt. 2012, vol. no, p. [1-13].

Materials of conferences

V. Jan膷auskas, G. Kaukas, A. 沤ilinskas, J. 沤ilinskas. On multi-objective optimization aided visualization of graphs related to business process diagrams/ // Databases and information systems : 10th international Baltic conference; local proceedings, July 8-11, 2012, Lithuania / edited by Albertas 膶aplinskas, Gintautas Dzemyda, Audron臈 Lupeikien臈, Olegas Vasilecas. Vilnius : 沤ara, 2012, p. 71-80.

A. Lan膷inskas, J. 沤ilinskas. Approaches to parallelize Pareto ranking in NSGA-II algorithm // Parallel Processing and Applied Mathematics. P. 2. - Book series: Lecture Notes in Computer Science, Vol. 7204. Berlin : Springer-Verlag Berlin. 2012, Vol. 7204, p. 371-380.

A. Telksnys, J. Kauk臈nas. Accuracy Estimation of Detection of Extrasystoles in Heart Rate Sequences // e-Health Networking, Applications and Services (Healthcom) : 2012 IEEE 14th International Conference, 10-13 October, Beijing, China. Beijing : IEEE, 2012, p. 143-148.

G. Py啪, V. 艩imonyt臈, V. Slivinskas. An automatic system of Lithuanian speech formant synthesizer parameter estimation // ECT-2012 : the 7th International Conference on Electrical and Control Technologies : selected papers of the 7th international conference / Kaunas University of Technology. Kaunas : Technologija, 2012. 2012, p. 36-.

COOPERATION

Lithuanian University of Educational Sciences (Lithuania)
Kaunas University of Technology, Faculty of Telecommunications and Electronics (Lithuania)
Vilnius Gediminas Technical University, Faculty of Civil Engineering (Lithuania)
Vilnius Gediminas Technical University, Faculty of Electronics (Lithuania)
Vilnius Gediminas Technical University, Faculty of Fundamental Sciences (Lithuania)
艩iauliai University, Faculty of Social Welfare and Disability Studies (Lithuania)
Hospital Kauno Klinikos of Lithuanian University of Health Sciences (Lithuania)
CC Algoritm懦 sistemos (Lithuania)
CC Inogama (Lithuania)
CC Mediaskopas (Lithuania)
University of Almeria (Spain)

OTHER SCIENTIFIC ACTIVITIES

Prof. J. 沤ilinskas 鈥

  • editorial boards member 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 Modelling and Analysis (Taylor&Francis/VGTU), ;
    • Optimization Letters (Springer), .
  • nominated expert of Lithuania at COST domain Information and Communication Technologies, ;
  • member of management committee of COST action Open European Network for High Performance Computing on Complex Environments, ;
  • member of managing board of Continuous Optimization Working Group of The Association of European Operational Research Societies (EURO), ;
  • member of board of Lithuanian Operational Research Society (member of the Society of EURO and IFORS), head of working group Optimization Methods and Applications, ;
  • member of the ESF Standing Committee for Physical and Engineering Sciences, ;
  • organizer of Minisymposium Applications of Parallel Computation in Industry and Engineering at PARA 2012: Workshop on State-of-the-Art in Scientific and Parallel Computing, Helsinki, Finland, June 10鈥13, 2012, ;
  • co-chair of Program Committee of 10th EUROPT Workshop on Advances in Continuous Optimization (EUROPT-2012), 艩iauliai, Lithuania, July 5鈥7, 2012, .

Prof. A. L. Telksnys 鈥

  • member of Council on Digitization of Lithuanian Cultural Heritage;
  • 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 the 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 journal Informatica, ;
  • editorial board member of the international journal Information Technology and Control, ;
  • editorial board member of the journal Informacijos mokslai (Information Sciences); ;
  • editorial board member of the international journal Electronics and Electrical Engineering;
  • editorial board member of the international journal Tamkang Journal of Science and Engineering, .

Prof. K. Kazlauskas 鈥

  • member of Lithuanian Computer Society, ;
  • member of Lithuanian Mathematical Society, ;
  • member of Lithuanian Scientific Society, .

Doc. R. Pupeikis 鈥

  • reviewer for the international journal Informatica, ;
  • member of Lithuanian Computer Society, ;
  • member of Lithuanian Mathematical Society, ;
  • member of Lithuanian Scientific Society, .

DEPARTMENT OF SYSTEMS ANALYSIS

4 Akademijos, LT-08663 Vilnius
Tel. 210 9732
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. A. 沤ilinskas, Prof. Habil. Dr. L. Sakalauskas.
Senior research fellows: Dr. A. Jakaitien臈, Doc. Dr. O. Kurasova, Dr. V. Marcinkevi膷ius, Doc. Dr. S. Minkevi膷ius.
Affiliated research fellows: Prof. Habil. Dr. A. Garliauskas, Prof. Dr. A. Pak拧tas, Dr. A. Mockus.
Research fellows: Dr. J. Bernatavi膷ien臈, Dr. J. Gordevi膷ius, Dr. R. Karbauskait臈, Dr. V. Medvedev, Dr. P. Treigys, Doc. I. Belov, Dr. V. Bartkut臈-Nork奴nien臈, Dr. J. Su拧inskas, V. Jan膷auskas.
Engineers and specialists: G. Jakimauskas, K. Koncevi膷ius, L. Mikalauskien臈, L. Ringien臈, V. Tie拧is, K. Urbanavi膷ius, J. Katina.
Doctoral students: E. Artem膷iukas, G. Balkys, D. Baronas, G. Bazilevi膷ius, V. Dumskis,
V. Jan膷auskas, L. Kaklauskas, I. Katin, J. Katina, R. Kraujutis, J. Kuznecov M. Liogys, K. Mik臈nas, O. Niak拧u, K. Paulauskien臈, J. Pragarauskait臈, T. Pranckevi膷ius, S. Preidys, A. Rape膷ka, L. Ringien臈, T. Ringys, M. Sabaliauskas, L. Savulionien臈, J. Sta拧ionis, P. Stefanovi膷, I. Vai膷iulyt臈, G. Vaira, I.Vinogradova.

RESEARCH INTERESTS

Medical data analysis and decision support
Analysis of large data sets
Data mining
Visualisation of multidimensional data
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 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
Developement of decision support systems
Monte-Carlo method
Stochastic Programming
Queueing Theory
Operations Research

RESEARCH PROJECTS CARRIED OUT IN 2012

Projects Supported by University Budget

Decisions in Optimization, Modeling and Visualization Problems. Prof. G. Dzemyda. 20112013.

Algorithms for multidimensional data visualization, based on self-organizing maps, are developed. An approach is proposed for the analysis of the online shopping data by integrating multidimensional data visualization methods of different nature.
The local binarization method is modified for automatic detection of blood vessels in retinal images. The Pareto-Lipschitzian algorithm is developed and investigated.
An algorithm is proposed for the uniform representation of the Pareto set of a multi-objective optimization problem.
Inequality in multiserver open queueing networks for queue length of jobs and virtual waiting time of job in heavy traffic conditions is proved.
Approximation of the Transmission Disequilibrium Test using Poisson distribution for family based data is 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.
Limit theorems for coefficients of a modified Borwein method are proved, and parallel version the algorithm for the calculation of the Riemann zeta-function is implemented and scrutinized on the IBM-SP6 cluster.
The Risk Aversion problem, often arising in credit and portfolio applications, has considered as a framework of nonlinear stochastic programming with constraints on CVAR of financial instruments. The method of sequential quadratic programming is developed to solve the risk aversion optimization problem by series of Monte-Carlo estimators. The approach considered distinctions by adaptive regulation of the Monte-Carlo sample size, which ensures convergence with linear rate, and statistical manner for termination of the algorithm.
The numerical issues of empirical Bayesian (EB) approach model, applied to estimation of small rates have been considered. The properties of EB model have been investigated and compared by Monte-Carlo method. The approach developed has been tested with real statistical data of Lithuanian population.

Projects, Programmes, Issues Supported by the Research Council of Lithuania

The research Project: Methods and Algorithms of Non-Convec Multi-Objective Optimization. No. MIP-063/2012/ LSS-580000-444. Leader Prof. A. 沤ilinskas. 20122014.

Support to organize 25th European Conference on Operational Research (EURO XXV 2012). No. MOR-035/2012/ LSS-580000-1150. Leader Prof. L. Sakalauskas. 2012.

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. Supervisor Prof. G. Dzemyda. 20122014.

Stimulation of Student Scientific Activity. No. SMP016, SMP0211. Leader Doc. S. Minkevi膷ius. 2012.

Governmental Science Programmes and Research Projects Ordered by the Branch Ministries

Theoretical and Engineering Aspects of Development and Application of the Internet Technologines in the Effective Computing Platforms. Project of the National Integrated Program of Information Technologies No. VP1-3.1-艩MM-08-K-01-010. Leader Prof. G. Dzemyda. 20122015.

High technology development programmes for 20112013 research and experimental development Project: Methods and Software for Modeling and Visualization of Business Processes. PROMOS. No. 31V-145. Leader Prof. A. 沤ilinskas. 20112013.

Innovation voucher from LLC Algoritm懦 sistemos. Title 鈥 Optimization and Implementation of Artificial Neural Networks. No. 31V-109. Supported by Agency for Science, Innovation and Technology. Leader Doc. O. Kurasova. 2012.

Creation of the Website Providing Integral Resources, Products and Services of the Lithuanian Language and its Writing. Project of EU Structural funds economic growth action program鈥檚 priority Information Society for All implementation tool 鈥淟ithuanian language in the information society鈥. No. VP2-3.1-IVPK-12-K-01-003/ LSS-580000-2197. Leader Dr. V. Marcinkevi膷ius. 20122015.

Joint Activity Agreement No. BS-580000-1892 with UAB Algoritm懦 sistemos for the eMentorius project. 20112012.

International Science Programmes and Projects

鈥淓urostars鈥 joint programme project: Production Effectiveness Navigator. No. pen! 6232 PEN implementation. No. 31V-27/LSS-580000-407, (鈥淓urostars鈥 programme). Leader Prof. Habil. Dr. G. Dzemyda. 20112014.

COST action Combining Soft Computing Techniques and Statistical Methods to Improve Data Analysis Solutions. Contract No. IC0702. Leader Doc. O. Kurasova. 20082012.

MAIN PUBLICATIONS

Monographs, Studies

G. Dzemyda, O. Kurasova, J. 沤ilinskas. Multidimensional data visualization: methods and applications. New York : Springer, 2012. XII, 250 p.

Articles

P. Treigys, V. Marcinkevi膷ius, A. Kaklauskas. Analysis of iris and pupil parameters for stress recognition // Information technology and control / Kauno technologijos universitetas. Kaunas : Technologija. 2012, t. 41, no. 1, p. 7-14.

D. Buteikien臈, A. Paunksnis, V. Barzd啪iukas, J. Bernatavi膷iwn臈, V. Marcinkevi膷ius, P. Treigys. Assessment of the Optic Nerve Disc and Excavation Parameters of Interactive and Automated Parameterization Methods // Informatica / Matematikos ir informatikos institutas. Vilnius : Lietuvos moksl懦 akademijos leidykla. 2012, Vol. 23, no. 3, p. 335-355.

J. Besson, A. Lupeikien臈, V. Medvedev. Comparing Real and Intended System Usages: A Case for Web Portal // Informatica / Matematikos ir informatikos institutas. Vilnius : Lietuvos moksl懦 akademijos leidykla. 2012, vol. 23, no. 2, p. 191-201.

R. Paulavi膷ius, J. 沤ilinskas. Influence of Lipschitz bounds on the speed of global optimization // Technological and economic development of economy = 弄kio technologinis ir ekonominis vystymas : Baltic journal on sustainability / Vilniaus Gedimino technikos universitetas. Vilnius : Technika. 2012, vol. 18, no. 1, p. 54-66.

A. Kajackas, S. Stanaitis, K. Mik臈nas. Investigation of Link Layer in Inter-Vehicle Wireless Communication // Elektronika ir elektrotechnika / Kauno technologijos universitetas. Kaunas : Technologija. 2012, nr. 6, p. 71-74.

S. Minkevi膷ius, S. Stei拧奴nas. Laws of Little in an Open Queueing Network // Nonlinear analysis : modelling and control. Vilnius : Institute of Mathematics and Informatics. 2012, vol. 17, no. 3, p. 327-343.

S. Minkevi膷ius, L. Sakalauskas. Modeling of the Phenomena in Multiserver Networks // Information technology and control / Kauno technologijos universitetas. Kaunas : Technologija. 2012, t. 41, no. 2, p. 125-135.

J. Mockus, R. Belevi膷ius, D. 艩e拧ok, J. Kaunas, D. Ma膷i奴nas. On Bayesian approach to grillage optimization // Information technology and control / Kauno technologijos universitetas. Kaunas : Technologija. 2012, t. 41, no. 4, p. 332-339.

J. Mockus, L. Pupeikien臈. On Multi-Start Algorithms for Optimization of High School Timetables // Informatica / Matematikos ir informatikos institutas. Vilnius : Lietuvos moksl懦 akademijos leidykla. 2012, Vol. 23, no. 3, p. 405-425.

J. Mockus. On Simulation of the Nash Equilibrium in the Stock Exchange Contest // Informatica / Matematikos ir informatikos institutas. Vilnius : Lietuvos moksl懦 akademijos leidykla. 2012, Vol. 23, no. 1, p. 77-104.

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

G. Balkys, G. Dzemyda. Segmenting the Eye Fundus Images for Identification of Blood Vessels // Mathematical modelling and analysis = Matematinis modeliavimas ir analiz臈 / Vilnius Gediminas Technical University, Institute of Mathematics and Informatics. Vilnius : Technika. 2012, vol. 17, no. 1, p. 21-30.

J. Pragarauskait臈, G. Dzemyda. Visual decisions in the analysis of customers online shopping behavior // Nonlinear analysis : modelling and control. Vilnius : Institute of Mathematics and Informatics. 2012, vol. 17, no. 3, p. 355-368.

F. Alijevas, P. Treigys, V. Marcinkevi膷ius. Gamybos proceso ir resurs懦 planavimo sistem懦 strukt奴ros analiz臈 // Mokslo taikom懦j懦 tyrim懦 寞taka 拧iuolaikini懦 studij懦 kokybei : 5-osios respublikin臈s mokslin臈s-praktin臈s konferencijos mokslini懦 straipsni懦 rinkinys, 2012. Vilnius : Vilniaus kolegija, 2012, p. 5-10.

L. Savulionien臈, L. Sakalauskas. Stochastinis da啪n懦 poseki懦 paie拧kos algoritmas // Jaun懦j懦 mokslinink懦 darbai / 艩iauli懦 universitetas. 艩iauliai : 艩iauli懦 universiteto leidykla. 2011, nr. 4(36), p. 138-145.

V. Dumskis, L. Sakalauskas. The mathematical definition of the bubbles and crashes // Jaun懦j懦 mokslinink懦 darbai / 艩iauli懦 universitetas. 艩iauliai : 艩iauli懦 universiteto leidykla. 2012, nr. 4, p. 212-217.

L. Sakalauskas, I. Vai膷iulyt臈. Daugiamatis ma啪懦 da啪ni懦 vertinimo algoritmas // Lietuvos matematikos rinkinys. LMD darbai. Vilnius : Matematikos ir informatikos institutas. 2012, t. 53, ser. B, p. 260-263.

G. Jakimauskas, L. Sakalauskas. Empirical Bayesian regression model for estimation of small rates // Lietuvos matematikos rinkinys. LMD darbai. Vilnius : Matematikos ir informatikos institutas. 2012, t. 53, ser. A, p. 42-47.

I. Vinogradova. Neapibr臈啪tumo 寞taka AHP metodo vertinimams // Lietuvos matematikos rinkinys. LMD darbai. Vilnius : Matematikos ir informatikos institutas. 2012, t. 53, ser. B, p. 243-248.

J. Su拧inskas, J. Ma膷ys. Olimpiadin臈 lyg膷i懦 sistema // Lietuvos matematikos rinkinys. LMD darbai. Vilnius : Matematikos ir informatikos institutas. 2012, t. 53, ser. B, p. 237-242.

J. Mockus, J. Katina, I. Katin. On autoregressive moving-average models as a tool of virtual stock-exchange: experimental investigation // Lietuvos matematikos rinkinys. LMD darbai. Vilnius : Matematikos ir informatikos institutas. 2012, t. 53, ser. A, p. 129-134.

J. Mockus, I. Katin, J. Katina. On experimental investigation of the web-based stock-exchange model // Lietuvos matematikos rinkinys. LMD darbai. Vilnius : Matematikos ir informatikos institutas. 2012, t. 53, ser. A, p. 123-128.

M. Mackevi膷ius, F. Ivanauskas, A. Kareiva, D. Jasaitis. A closer look at the computer modeling and sintering optimization in the preparation of YAG // Journal of mathematical chemistry. Dordrecht : Springer Netherlands. 2012, Vol. 50, no. 8, p. 2291-2302.

J. Calvin, Y. Chen, A. 沤ilinskas. An Adaptive Univariate Global Optimization Algorithm and Its Convergence Rate for Twice Continuously Differentiable Functions // Journal of Optimization Theory and Applications. New York : Springer New York LLC. 2012, Vol. 155, iss. 2, p. 628-636.

R. Cortese, A. Kwan, E. Lalonde, O. Bryzgunova, A. Bondar, Y. Wu, J. Gordevi膷ius, M. Park, G. Oh, Z. Kaminsky, J. Tverkuvien臈, A. Laurinavi膷ius, F. Jankevi膷ius, D. Sendorek, S. Haider, S. Wang, S. Jarmalait臈, P. Laktionov, P. Boutros, A. Petronis. Epigenetic markers of prostate cancer in plasma circulating DNA // Human molecular genetics. Oxford : Oxford university press. 2012, vol, p.

A. Jakaitien臈, S. Dees. Forecasting the World Economy in the Short Term // The World Economy. Oxford : Wiley-Blackwell Publishing Ltd. 2012, Vol. 35, iss. 3, p. 331-350.

A. Kaba拧inskas, L. Sakalauskas, E. Sun, I. Belovas. Mixed-Stable Models for Analyzing High-Frequency Financial Data // Journal of Computational Analysis and Applications. Cordova : Eudoxus Press, LLC. 2012, Vol. 14, iss. 7, p. 1210-1226.

A. 沤ilinskas. On strong homogeneity of two global optimization algorithms based on statistical models of multimodal objective functions // Applied mathematics and computation. New York : Elsevier Science Inc. 2012, Vol. 218, iss. 16, p. 8131-8136.

P. Pardalos, I. Steponavi膷臈, A. 沤ilinskas. Pareto set approximation by the method of adjustable weights and successive lexicographic goal programming // Optimization Letters. Heidelberg : Springer. 2012, Vol. 6, iss. 4, p. 667-678.

J. Gordevi膷ius, J. Gamper, M. Bohlen. Parsimonious temporal aggregation // The VLDB Journal. Heidelberg : Springer. 2011,, p.

N. Paulauskas, H. Pranevi膷ius, J. Mockus, F. Bukauskas. Stochastic 16-State Model of Voltage Gating of Gap-Junction Channels Enclosing Fast and Slow Gates // Biophysical journal. St. Louis : Cell Press. 2012, Vol. 102, iss. 11, p. 2471-2480.

A. Anskaitis, D. Gru拧nys, K. Mik臈nas, V. Pocius. Modeling of total electromagnetic field distribution in vicinity of BS concentration // Przeglad Elektrotechniczny (Electrical Review). Warsaw : Wydawnictwo SIGMA - NOT Sp. z o.o. 2012, Vol. 88, no. 6, p. 58-60.

Materials of conferences

I. Vai膷iulyt臈. Adaptive Monte-Carlo Markov chain for multivariate statistical estimation // STOPROG 2012 : Stochastic programming for implementation and advanced applications : proceedings of international workshop, July 3-6, 2012, Lithuania. Vilnius : Technika, 2012, p. 119-124.

O. Niak拧u, O. Kurasova. Data Mining Applications in Healthcare Theory vs Practice // Databases and information systems : 10th international Baltic conference; local proceedings, July 8-11, 2012, Lithuania / edited by Albertas 膶aplinskas, Gintautas Dzemyda, Audron臈 Lupeikien臈, Olegas Vasilecas. Vilnius : 沤ara, 2012, p. 58-70.

G. Jakimauskas. Gamma and logit models in empirical bayesian estimation of probabilities of rare events // STOPROG 2012 : Stochastic programming for implementation and advanced applications : proceedings of international workshop, July 3-6, 2012, Lithuania. Vilnius : Technika, 2012, p. 43-48.

V. Bartkut臈-Nork奴nien臈. Heuristic Bayesian method for global optimization // STOPROG 2012 : Stochastic programming for implementation and advanced applications : proceedings of international workshop, July 3-6, 2012, Lithuania. Vilnius : Technika, 2012, p. 1-5.

L. Sakalauskas, J. Su拧inskas. On bayes approach to univariate global optimization // STOPROG 2012 : Stochastic programming for implementation and advanced applications : proceedings of international workshop, July 3-6, 2012, Lithuania. Vilnius : Technika, 2012, p. 100-104.

V. Jan膷auskas, G. Kaukas, A. 沤ilinskas, J. 沤ilinskas. On multi-objective optimization aided visualization of graphs related to business process diagrams/ // Databases and information systems : 10th international Baltic conference; local proceedings, July 8-11, 2012, Lithuania / edited by Albertas 膶aplinskas, Gintautas Dzemyda, Audron臈 Lupeikien臈, Olegas Vasilecas. Vilnius : 沤ara, 2012, p. 71-80.

V. Dumskis, V. Guigues, L. Sakalauskas. On risk aversion optimization by Monte-Carlo method // STOPROG 2012 : Stochastic programming for implementation and advanced applications : proceedings of international workshop, July 3-6, 2012, Lithuania. Vilnius : Technika, 2012, p. 19-23.

J. Mockus, I. Katin, J. Katina. On stochastic simulation of stock-exchange // STOPROG 2012 : Stochastic programming for implementation and advanced applications : proceedings of international workshop, July 3-6, 2012, Lithuania. Vilnius : Technika, 2012, p. 83-87.

A. 沤ilinskas. On the arithmetic of infinity oriented implementation of the multi-objective P-algorithm // STOPROG 2012 : Stochastic programming for implementation and advanced applications : proceedings of international workshop, July 3-6, 2012, Lithuania. Vilnius : Technika, 2012, p. 136-141.

A. Kaba拧inskas, I. Belovas. Parallel computing in estimation of parameters of alpha-stable distribution // STOPROG 2012 : Stochastic programming for implementation and advanced applications : proceedings of international workshop, July 3-6, 2012, Lithuania. Vilnius : Technika, 2012, p. 49-54.

L. Nascimento, H. Venceslau, A. Xavier, V. Filho, L. Sakalauskas, R. Rocha. Stochastic progamming in the mid-term operations Planning of an oil refinery // STOPROG 2012 : Stochastic programming for implementation and advanced applications : proceedings of international workshop, July 3-6, 2012, Lithuania. Vilnius : Technika, 2012, p. 88-93.

A. Anskaitis, D. Gru拧nys, K. Mik臈nas, V. Pocius. The analysis of the influence of adjacent radio stations positions on total electromagnetic field intensity observed near the projected BS // EMD 2012 : 22nd International Conference on Electromagnetic Disturbances ; proceedings, Vilnius, September, 20-21, 2012. Vilnius : Technika, 2012, p. 6-9.

A. 沤ilinskas, A. Mackut臈-Varoneckien臈, A. Varoneckas. Weighting criteria of aesthetic attractiveness of layouts of business process diagrams // STOPROG 2012 : Stochastic programming for implementation and advanced applications : proceedings of international workshop, July 3-6, 2012, Lithuania. Vilnius : Technika, 2012, p. 142-147.

S. Preidys, L. Sakalauskas. I拧mani懦j懦 moduli懦 integravimo 寞 VMA Moodle galimyb臈s: nuo teorijos prie praktikos // Mokslo taikom懦j懦 tyrim懦 寞taka 拧iuolaikini懦 studij懦 kokybei : 5-osios respublikin臈s mokslin臈s-praktin臈s konferencijos mokslini懦 straipsni懦 rinkinys, 2012. Vilnius : Vilniaus kolegija, 2012, p. 77-82.

M. Liogys, A. 沤ilinskas. A Variable Neighbourhood Search Enhancement for the Shift Sequence Based Method of the Personal Scheduling in Hospitals // Information and Software Technologies : 18th International Conference, ICIST 2012, Kaunas, Lithuania, September 13-14, 2012 : proceedings / edited by Tomas Skersys, Rimantas Butleris, Rita Butkien臈. Series : Communications in Computer and Information Science. Vol. 319 (ISSN 1865-0929). Berlin : Springer, 2012, p. 15-23.

L. Sakalauskas, I. Vai膷iulyt臈. Maximum likelihood estimation of multivariate skew t-distribution // ICORES 2012 : proceedings of the 1st international conference on operations reserach and enterprise systems. Vilamoura : SciTePress, 2012, p. 200-203.

V. Jan膷auskas, A. Mackut臈-Varoneckien臈, A. Varoneckas, A. 沤ilinskas. On the Multi-objective Optimization Aided Drawing of Connectors for Graphs Related to Business Process Management // Information and Software Technologies : 18th International Conference, ICIST 2012, Kaunas, Lithuania, September 13-14, 2012 : proceedings / edited by Tomas Skersys, Rimantas Butleris, Rita Butkien臈. Series : Communications in Computer and Information Science. Vol. 319 (ISSN 1865-0929). Berlin : Springer, 2012, p. 87-100.

S. Minkevi膷ius. Simulation of reliability in multiserver computer networks // 9th International Conference on Mathematical Problems in Engineering, Aerospace and Sciences, Vienna, Austria, 10-14 July 2012. Book series : AIP Conference Proceedings. Vol. 1493. ISSN 0094-243X. Melville : American Institute of Physics, 2012, p. 649-652.

V. Bartkut臈-Nork奴nien臈. Termination of simulated annealing algorithm solving semi-supervised linear SVMS problems // ICORES 2012 : proceedings of the 1st international conference on operations reserach and enterprise systems. Vilamoura : SciTePress, 2012, p. 150-156.

S. Minkevi膷ius. Analysis of the reliability of multi-server computer networks // WASET 2012: International Conference of World Academy of Science, Engineering and Technology, April 2012, Venice, Italy. 2012, iss. 64, p. 839-845.

V. Jan膷auskas, A. 沤ilinskas. A multi-objective optimization aided algorithm for search of aesthetically looking paths in grids // ICNNAI 2012: Neural networks and artificial intelligence : proceedings of the 7th international conference, October 10-12 Minsk. Minsk : BSUIR, 2012, p. 209-214.

L. Sakalauskas, I. Vai膷iulyt臈. Adaptive Monte-Carlo Markov Chain // SMTDA 2012 : 2nd Stochastic Modeling Techniques and Data Analysis International Conference, Chania, Crete, Greece, 5-8 June 2012 : proceedings. Crete, 2012. p. 653-660.

J. Su拧inskas, J. Ma膷ys. Trigonometrini懦 funkcij懦 analizinis apibr臈啪imas // Matematika ir matematikos d臈stymas - 2012 : konferencijos prane拧im懦 med啪iaga. Kaunas : Technologija, 2012, p. 33-38.

L. Savulionien臈. Da啪n懦 poseki懦 paie拧kos algoritmai ir j懦 rezultatai // Mokslo taikom懦j懦 tyrim懦 寞taka 拧iuolaikini懦 studij懦 kokybei : 4-os respublikin臈s mokslin臈s-praktin臈s konferencijos mokslini懦 straipsni懦 rinkinys. Vilnius : Vilniaus kolegija. 2011, nr 1, p. 107-113.

COOPERATION

Lithuanian University of Educational Sciences, Vilnius (Lithuania)
Vilnius Gediminas Technical University, Vilnius (Lithuania)
Kaunas University of Technology, Kaunas (Lithuania)
Vytautas Magnus University, Kaunas (Lithuania)
艩iauliai University, 艩iauliai (Lithuania)
Klaipeda University, Klaipeda (Lithuania)
Mykolas Romeris University, Vilnius (Lithuania)
University College London (UK)
Poznan Supercomputing and Networking Center (Poland)
Middle East Technical University, Ankara (Turkey)
University Federal Rio de Janeiro (Brasil)

OTHER SCIENTIFIC ACTIVITIES

Prof. G. Dzemyda 鈥

  • member of the Lithuanian Academy of Sciences, ;
  • editorial board member of the international journal Informatica (IOSPress/VU), executive editor, ;
  • editorial board member of Eastern and Central Europe Journal Informatics in Education, ;
  • editorial board member of the international journal Scientific Proceedings of Riga Technical University. Computer Science. Information Technology and Management Science, ;
  • editorial board member of the Journal of Civil Engineering and Management, ;
  • editorial board member of the Nonlinear Analysis; Modelling and Control, deputy-editor-in-chief, ;
  • member of Lithuanian Computer Society, ;
  • member of Lithuanian Mathematical Society, ;
  • member of Lithuanian Operational Research Society, ;
  • member of IFIP Technical Committee 12 Artificial Intelligence, ;
  • general chair of the 10th International Baltic Conference on Databases and Information Systems (Baltic DB&IS 2012), Vilnius, Lithuania, July 811, 2012;
  • member of programme committees of the following international conferences:
  • 4th international seminar Data Analysis Methods for Software Systems, Druskininkai, Lithuania, December 68, 2012;
  • 1st international conference on Operations Research and Enterprise Systems (ICORES), Vilamoura, Algarve, Portugal, February 46, 2012.

Prof. L. Sakalauskas 鈥

  • editorial board member of the journal Technological and Economic Development of Economy, ;
  • elected member of International Statistical Institute (2001), ;
  • member of European Working Group on Continuous Optimization, ;
  • President of Lithuanian Operational Research Society, ;
  • Chair of the Organising Committee of XXV EURO Conference, ;
  • member of Programe Committee of Workshop Stochastic Programming for Implementation and Advanced Applications, ;
  • member of Programming Committee of Workshop Advances in Continuous Optimization, ).

Prof. A. 沤ilinskas 鈥

  • member of the Lithuanian Academy of Sciences, ;
  • member of editorial boards of international journals:
    • Journal of Global Optimization (Springer), ;
    • Control and Cybernetics, ;
    • Informatica (IOSPress/VU), ;
    • Journal of Intelligent Learning Systems and Applications, ;
    • International Journal of Grid and High Performance Computing, ;
    • The Open Cybernetics and Systemics Journal, ;
  • expert of EU Eurostars;
  • expert of Agency for Science, Innovation and Technology;
  • 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 following international conferences:
    • CompSysTech 12, Ruse, Bulgaria, 2223 June, 2012;
    • 18th international conference Information and Software Technology, Kaunas, September 1314, 2012;
    • Workshop on Computational Optimization, Wroclaw, Poland, September 912, 2012;
    • 7th international conference on Neural Networks and Artificial Intelligence, Minsk, Belarus October 1012, 2012;
    • International workshop STOPROG-2012, Neringa, July 36, 2012.

Prof. J. Mockus 鈥

  • member of the Lithuanian Academy of Sciences, ;
  • editor-in-chief of the international journal Informatica (IOSPress/VU), ;
  • member of editorial board of the Journal of Global Optimization (Springer), ;
  • member of American Mathematical Society, ;
  • member of IFIP Technical Committee WG 7.7 Stochastic Optimization, .

Habil. Dr. A. Garliauskas 鈥

  • referee of the international journals:
    • Informatica (IOSPress/VU);
    • IEEE Transactions oh Neural Networks;
  • Council member of the Lithuanian Scientific Society, ;
  • chair person of Informatics Department of the Lithuanian Scientific Society, ;
  • member of Intelligent Systems Research Laboratory at the College of Engineering, ;
  • member of Special Interest Group on Nonlinear Dynamics (SIG/NL), ;
  • member of Neuroscience Special Interest Group (SIG), ;
  • advisory board member of ABI research, .

Doc. O. Kurasova 鈥

  • reviewer of the international journals:
    • Informatica (IOSPress/VU);
    • Mathematical Modelling and Analysis (Taylor & Francis);
    • Journal of Visualization (Springer);
    • Mechanical Systems and Signal Processing (Elsevier);
    • Informatics in Education (VU);
  • member of Lithuanian Computer Society (Artificial Intelligence Section), ;
  • member of Lithuanian Mathematical Society, ;
  • member of Lithuanian Operational Research Society, ;
  • member of management committee of COST action Combining Soft Computing Techniques and Statistical Methods to Improve Data Analysis Solutions, .

Dr. A. Jakaitien臈 鈥

  • referee of the international journals:
    • Journal of Global Optimization (Springer);
    • Optimization Letters (Springer);
    • Lithuanian Mathematical Journal (Springer).
  • member of Lithuanian Mathematical Society, ;
  • member of Lithuanian Statistics Society, .

Doc. I. Belovas 鈥

  • reviewer of the international journal Mathematical Modelling and Analysis (Taylor & Francis);
  • member of the Lithuanian Mathematical Society, .

V. Tie拧is 鈥

  • reviewer of the international journals:
    • Journal of Global Optimization (Springer);
    • Informatica (IOSPress/VU);
  • member of the Lithuanian Mathematical Society, .

DEPARTMENT OF SOFTWARE ENGINEERING

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

Head 鈥 Prof. Dr. Albertas 膶aplinskas

Head of Mathematical Logic Sector at the Department of Software Engineering 鈥 Habil. Dr.  Regimantas Ri膷ardas Pliu拧kevi膷ius (e-mail: )

STAFF

Chief research fellows: Prof. Dr. A. 膶aplinskas, Prof. Dr. D. Dzemydien臈 (part-time).
Senior research fellow: Dr. A. Lupeikien臈.
Research fellows: Dr. S. Maskeli奴nas, Dr. V. Paliulionis (till 31 October).
Assistant research fellow: L. Paliulionien臈.
Engineer programmer: J. Miliauskait臈 (part-time).
Doctoral students: D. Drungilas, R. Dzindzalieta, G. Gricius, M. Kurmis, J. Miliauskait臈, A. Miliauskas, S. Svanidzait臈, M. 艩au膷i奴nas (till 30 September).

Sector of Mathematical Logic

Senior research fellow: Habil. Dr.  R. Pliu拧kevi膷ius.
Research fellows: Dr. R. Alonderis, Dr.  J. Sakalauskait臈.
Doctoral students: H. Giedra,  A. Gir膷ys.
Affiliated chief research fellow:  Prof. Habil. Dr. S. Jukna.
Affiliated senior research fellow: 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 2012

Projects Supported by University Budget

Methods and Technologies to Specify, Model, and Develop Services-Oriented Software Systems. Prof. A. 膶aplinskas (leader), D. Drungilas, Prof. D. Dzemydien臈, R. Dzindzalieta, D. Drungilas, G. Gricius, M. Kurmis, Doc. A. Lupeikien臈, J. Miliauskait臈, A. Miliauskas, Dr. S. Maskeli奴nas, L. Paliulionien臈, Dr. V. Paliulionis, S. Svanidzait臈, M. 艩au膷i奴nas. 20122014.

It has been proposed how to improve J.Lin鈥檚 conceptual model in order to integrate service discovery, contracting, and trustworth negotiation tools. Current methods to predict and classify the service composition properties have been investigated and generalized. The characteristics of the most important SOA (service-oriented architecture) systems development process components have been identified, classified, and generalized. A model of an adaptive system supporting desicion making in dynamic domains has been created. The model allows the system to improve the quality of services on the basis of feedback information. A multi-layered architecture of a decision support system for monitoring of dangerous good transportation has been developed.

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, Dr. J. Sakalauskait臈, A. Gir膷ys, H. Giedra. 20122014.

The scientific research was realized in two areas: (1) construction of cut rule free and terminating sequent calculi for non-classical logics; (2) proving lower bounds for cutting plane and dynamic programming algorithms.
In the first area, the following problems have been investigated:
(a) elimination of the invariant rule from a sequent calculus for propositional linear tense logic (PLTL); (b) cut elimination from sequent calculi for multimodal logic of correlated logic. Concerning point (a), the invariant and cut rules free sequent calculus for PLTL is constructed; the calculus is proved to be sound and complete for a fragment of the logic. Concerning point (b), sequent calculi without cut rule for combinations is constructed.
In the second area, it is proved that polynomial-time cutting plane algorithms cannot approximate the clique problem by any nontrivial factor. A surprisingly efficient communication protocol for the biclique problem is found, showing that communication complexity arguments cannot lead to strong lower bounds for cutting plane algorithms solving this problem. A matching lower bound on the number of subproblems in any incremental dynamic programming algorithm for the Knapsack problem is also proved.

Ordered Research Projects

Joint Activity Agreement No. BS-580000-1892 with LLC Algoritm懦 sistemos for the eMentorius project. Dr. S. Maskeli奴nas. 20112012.

Deutsche Forschungsgemeinschaft (DFG) grant SCHN 503/5-1: Limits of Algorithmic Paradigms. Habil. Dr. S. Jukna. 20101013.

International Science Programmes and Projects

European joint programme Eurostars Project: Production Effectiveness Navigator (pen!6232 PEN). Prof. A. 膶aplinskas, Doc. A. Lupeikien臈. 20112014.

Agreement No. 31V-27/LSS-580000-407 to fund Eurostars programme Project: Production Effectiveness Navigator (pen!6232 PEN). Funded by the Agency for Science, Innovation and Technology. Prof. Dr. A. 膶aplinskas, Doc. Dr. A. Lupeikien臈. 2012.

MAIN PUBLICATIONS

Monographs, Studies

S. Jukna. Boolean Function Complexity : Advances and Frontiers. Heidelberg : Springer, 2012. 632 p.

Articles

A. Bielskis, E. Guseinovien臈, D. Dzemydien臈, D. Drungilas, G. Gricius. Ambient Lighting Controller Based on Reinforcement Learning Components of Multi-Agents // Elektronika ir elektrotechnika / Kauno technologijos universitetas. Kaunas : Technologija. 2012, nr. 5, p. 79-84.

J. Besson, A. Lupeikien臈, V. Medvedev. Comparing Real and Intended System Usages: A Case for Web Portal // Informatica / Matematikos ir informatikos institutas. Vilnius : Lietuvos moksl懦 akademijos leidykla. 2012, vol. 23, no. 2, p. 191-201.

A. Stankus, 沤. Luko拧ius, D. Aponkus, A. Andziulis, V. Stankus, M. Kurmis, U. Locans. Comparison of point-to-point and multipoint human artery pulse wave transit time measurement algorithms // Elektronika ir elektrotechnika / Kauno technologijos universitetas. Kaunas : Technologija. 2012, nr. 7, p. 95-98.

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

R. Alonderis. A labeled sequent calculus for propositional linear time logic // Lietuvos matematikos rinkinys. LMD darbai. Vilnius : Matematikos ir informatikos institutas. 2012, t. 53, ser. A, p. 1-6.

D. Dzemydien臈, M. Kurmis, A. Andziulis. Daugialypi懦 paslaug懦 duomen懦 perdavimo galimybi懦 tyrimas kritin臈se mobili懦 objekt懦 komunikacijos situacijose // Socialin臈s technologijos. Vilnius: Mykolo Romerio universitetas. 2011, nr. 1(2), p. 427-438.

M. Kurmis, D. Dzemydien臈, A. Andziulis. 漠vairialypi懦 paslaug懦 teikimo automobili懦 komunikacijos tinklais analiz臈 i拧 sistemos perspekrtyvos // Technologijos mokslo darbai Vakar懦 Lietuvoje / Klaip臈dos universitetas. Klaip臈da : Klaip臈dos universiteto leidykla, 2010. 2012, T. 8, p. 231-235.

R. Pliu拧kevi膷ius, A. Gir膷ys. Saturation method for reflexive common knowledge logic // Lietuvos matematikos rinkinys. LMD darbai. Vilnius : Matematikos ir informatikos institutas. 2012, t. 53, ser. A, p. 108-111.

S. Jukna. Clique problem, cutting plane proofs and communication complexity // Information processing letters. Amsterdam : Elsevier B.V. 2012, Vol. 112, iss. 20, p. 772-777.

S. Jukna, G. Schnitger. Cutting planes cannot approximate some integer programs // Operations research letters. Amsterdam : Elsevier BV. 2012, vol. 40, no 4, p. 272-275.

Materials of conferences

S. Svanidzait臈. A comparison of SOA methodologies analysis & design phases // Databases and information systems : 10th international Baltic conference; local proceedings, July 8-11, 2012, Lithuania / edited by Albertas 膶aplinskas, Gintautas Dzemyda, Audron臈 Lupeikien臈, Olegas Vasilecas. Vilnius : 沤ara, 2012, p. 202-207.

M. 艩au膷i奴nas. Automated eContract negotiation in web service environment: electronic contract management aspects // Databases and information systems : 10th international Baltic conference; local proceedings, July 8-11, 2012, Lithuania / edited by Albertas 膶aplinskas, Gintautas Dzemyda, Audron臈 Lupeikien臈, Olegas Vasilecas. Vilnius : 沤ara, 2012, p. 241-247.

M. Kurmis, D. Dzemydien臈, A. Andziulis. Investigation of Data Transfer Capabilities for Heterogeneous Service Support in Critical Mobile Objects Communication Situations // Databases and information systems : 10th international Baltic conference; local proceedings, July 8-11, 2012, Lithuania / edited by Albertas 膶aplinskas, Gintautas Dzemyda, Audron臈 Lupeikien臈, Olegas Vasilecas. Vilnius : 沤ara, 2012, p. 154-161.

D. Dzemydien臈, R. Dzindzalieta. Multi-Layered Architecture of Decision Support System for Monitoring of Dangerous Good Transportation // Databases and information systems : 10th international Baltic conference; local proceedings, July 8-11, 2012, Lithuania / edited by Albertas 膶aplinskas, Gintautas Dzemyda, Audron臈 Lupeikien臈, Olegas Vasilecas. Vilnius : 沤ara, 2012, p. 128-141.

G. Gricius, O. Rama拧auskas. Non-rigid imagerecognition algorithms in applied robotics // STOPROG 2012 : Stochastic programming for implementation and advanced applications : proceedings of international workshop, July 3-6, 2012, Lithuania. Vilnius : Technika, 2012, p. 24-29.

J. Miliauskait臈. Quality of service: concept analysis // Databases and information systems : 10th international Baltic conference; local proceedings, July 8-11, 2012, Lithuania / edited by Albertas 膶aplinskas, Gintautas Dzemyda, Audron臈 Lupeikien臈, Olegas Vasilecas. Vilnius : 沤ara, 2012, p. 235-240.

R. Dzindzalieta. SIP protocol as a communication bus to control embedded devices // Databases and information systems : 10th international Baltic conference; local proceedings, July 8-11, 2012, Lithuania / edited by Albertas 膶aplinskas, Gintautas Dzemyda, Audron臈 Lupeikien臈, Olegas Vasilecas. Vilnius : 沤ara, 2012, p. 229-234.

COOPERATION in the organization of conferences:

Kaunas University of Technology (Lithuania)
Vilnius Gediminas Technical University (Lithuania)
Mykolas Romeris University (Lithuania)
University of Latvia (Latvia)
Riga Technical University (Latvia)
Tallinn University of Technology (Estonia)
Tartu University (Estonia)
Institute for Informatics Problems of the Russian Academy of Science (Russia)
Institute for System Programming of the Russian Academy of Science (Russia)
A.P. Ershov Institute of Informatics Systems (Russia)
University of St.-Petersburg (Russia)
Belarusian State University of Informatics and Radioelectronics (Belarus)
Charles University in Prague (Czech Republic)
Technical University of Varna (Bulgaria)
Sofia University St. Kliment Ohridski (Bulgaria)
Slovak University of Technology in Bratislava (Slovakia)
University of Maribor (Slovenia)
University of Novi Sad (Serbia)
Pozna艅 University of Technology (Poland)
Tampere University of Technology (Finland)
University of Vienna (Austria)
Aalborg University (Denmark)
University of Helsinki (Finland)
West University of Timisoara (Romania)
Florida Gulf Coast University (USA)
Karlstad University (Sweden)
KTH Royal Institute of Technology (Sweden)
London Metropolitan University (UK)
Norwegian University of Science and Technology (Norway)
University of Geneva (Switzerland)
University of Frankfurt (Germany)
St.Petersburg Scientific Center of Russian Academy of Science (Russia)

OTHER SCIENTIFIC ACTIVITIES

Prof. Dr. A. 膶aplinskas 鈥

  • editorial board member of the journal Informatica, ;
  • editorial board member of the journal Computer Science and Information Technologies (Scientific papers university of Latvia), ;
  • editorial board member of the Scientific Journal of Riga Technical University Computer Sciences,;
  • steering committee member of the annual East European Conference on Advances in Databases and Information Systems (ADBIS);
  • steering committee member of the Central and Eastern European Conference on Software Engineering Techniques (CEE-SET), ;
  • steering committee member of the International Baltic Conference on Databases and Information Systems (BalticDB&IS), ;
  • program committee co-chair of the 10th International Baltic Conference on Databases and Information Systems (BalticDB&IS鈥2012), Vilnius, Lithuania, July 811, 2012, ;
  • program committee member of the 16th East European Conference on Advances in Databases and Information Systems (ADBIS), Poznan, Poland, September 1720, 2012, ;
  • program committee member of the 8th Central and Eastern European Conference on Software Engineering Techniques (CEE-SET), Moscow, Russia, November 12, 2012, ;
  • program committee member of the Second International Conference on Business Intelligence and Technology (BUSTECH  2012), Nice, France, July 2227, 2012, ;
  • program committee member of the 18th international conference on Information and Software Technologies (ICIST 2012), Kaunas, Lithuania, September 1314, 2012, ;
  • program committee member of the international conference on Computer Systems and Technologies CompSysTech鈥12, Ruse, Bulgaria, June 2223, 2012, ;
  • program committee member of the IADIS International Conference on Intelligent Systems and Agents 2012, Lisbon, Portugal, July 1723, 2012, ;
  • program committee member of the 5th Workshop on Information Logistics and Knowledge Supply (ILOG 2012), Nizhny Novgorod, Russia, September 2426, 2012, ;
  • program committee member of the 24th international conference on Advanced Information Systems Engineering (CAiSE鈥12), Gda艅sk, Poland, June 2529, 2012, .

Prof. D. Dzemydien臈 鈥

  • editorial board member of the Scientific Journal of Riga Technical University: Computer Sciences, ;
  • coordinator of the doctoral consortium at the 10th International Baltic Conference on Databases and Information Systems (BalticDB&IS鈥2012), Vilnius, Lithuania, July 811, 2012, .

Doc. A. Lupeikien臈

  • editorial board member of the journal Informatica, ;
  • editorial board member of the Scientific Journal of Riga Technical University: Computer Sciences,;
  • program committee member and publishing co-chair of the Tenth International Baltic Conference on Databases and Information Systems (BalticDB&IS鈥2012), Vilnius, Lithuania, July 811, 2012, .

Dr. S. Maskeli奴nas 鈥

  • program committee member and local organising committee chair of the 10th  International Baltic Conference on Databases and Information Systems (BalticDB&IS鈥2012), Vilnius, Lithuania, July 811, 2012, .

ProfS. Jukna 鈥

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

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

  • editorial board member of the Lithuanian Mathematical Journal, ;
  • reviewer of Mathematical Reviews (USA), ;
  • reviewer of Computing Reviews (USA), .

DEPARTMENT OF STOCHASTIC PROCESSES

4 Akademijos, LT-08663 Vilnius
Tel. 210 9317
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: 艩. Dirmeikis, I. Grublyt臈, V. Pilipauskait臈 G.Valiukevi膷ius, J. Zinkevi膷ien臈.
Doctoral students: R. Malukas, A. 艩kamulis.

RESEARCH INTERESTS

Inference for long memory processes
Modeling financial data
Long range dependence
Heavy tails, aggregation, self-similar processes
Levy processes, rough paths, concrete functional calculus
Stochastic partial differential equations
Random Hamiltonians
MV-algebras
Insurance mathematics

RESEARCH PROJECTS CARRIED OUT IN 2012

Projects Supported by University Budget

Investigation of Fractal Properties of Random Proceses and Random Fields. R. Norvai拧a, D. Surgailis. 20122013.

A new nonparametric estimator of the local Hurst function of a multifractional Gaussian process based on the increment ratio (IR) statistic is defined. In a general frame, the point-wise and uniform weak and strong consistency and a multidimensional central limit theorem for this estimator are established. Similar results are obtained for a refinement of the generalized quadratic variations (QV) estimator. The example of the multifractional Brownian motion is studied in detail. A simulation study is included showing that the IR-estimator is more accurate than the QV-estimator. 

Projects, Programmes, Issues Supported by Research Council of Lithuania

Project: Concrete Functional Calculus and Probability Theory: New Methods and their Applications. R. Norvai拧a, 20122014.

Project: Modelling Long Memory and Heavy Tails in Finance and Insurance. D. Surgailis, R. Leipus. 20112012

MAIN PUBLICATIONS

Monographs, Studies

L. Giraitis, H. Koul, D. Surgailis. Large sample inference for long memory processes. London : Imperial College Press, 2012. 577 p.

B. Grigelionis. Student's t-distribution and related stochastic processes. Heidelberg : Springer, 2012. XI, 100 p.

Articles

Y. Yang, R. Leipus, J. 艩iaulys. Asymptotic of random sums of negatively dependent random variables in the presence of dominatedly varying tails // Lithuanian mathematical journal. New York : Springer. 2012, vol. 52, no. 2, p. 222-232.

M. Vai膷iulis. Asymptotic properties of generalized DPR statistic // Lithuanian mathematical journal. New York : Springer. 2012, vol. 52, no. 1, p. 95-110.

R. Leipus, J. 艩iaulys. Closure of some heavy-tailed distribution classes under random convolution // Lithuanian mathematical journal. New York : Springer. 2012, vol. 52, no. 3, p. 249-258.

V. Paulauskas, M. Vai膷iulis. Estimation of the tail index in the max-aggregation scheme // Lithuanian mathematical journal. New York : Springer. 2012, Vol. 52, no. 3, p. 297-315.

R. Norvai拧a. Journal impact factor and academic ethics // Mokslo ir technikos raida = Evolution of science and technology. Vilnius : Technika. 2011, Vol. 3, no. 2, p. 120-128.

I. Tu膷i奴t臈, M. Vai膷iulis. Trupmeninio Brauno judesio agregavimas // Jaun懦j懦 mokslinink懦 darbai / 艩iauli懦 universitetas. 艩iauliai : 艩iauli懦 universiteto leidykla. 2012, nr. 3(36), p. 174-178.

R. Gylys. Extensions of states on MV-quantales // Fuzzy Sets and Systems. Amsterdam : Elsevier BV * North-Holland. 2012, Vol. 194, p. 31-51.

R. Mikulevicius, H. Pragarauskas. On L{p}-estimates of some singular integrals related to jump processes // SIAM Journal on Mathematical Analysis. Philadelphia : Society for Industrial and Applied Mathematics. 2012, Vol. 44, no. 4, p. 2305-2328.

Y. Yang, R. Leipus, J. 艩iaulys. On the ruin probability in a dependent discrete time risk model with insurance and financial risks // Journal of computational and applied mathematics. Amsterdam : Elsevier BV. 2012, vol. 236. no 13, p. 3286-3295.

Y. Yang, R. Leipus, J. 艩iaulys. Precise large deviations for compound random sums in the presence of dependence structures // Computers and mathematics with applications. Kidlington : Pergamon. 2012, vol, 64, no 6, p. 2074-2083.

Y. Yang, R. Leipus, J. 艩iaulys. Tail probability of randomly weighted sums of subexponential random variables under a dependence structure // Statistics & probability letters. Amsterdam : Elsevier BV. 2012, Vol. 82, no. 9, p. 1727-1736.

COOPERATION

Massachusets Institute of Technology (USA)
Michigan State University (USA)
Universite Paris 1 Sorbonne (France)
Universite de Nantes (France)
Universite de Cergy (France)
London University (United Kingdom)
Vilniaus Gedimino Technikos Universitetas

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;
  • invited speaker at the 3rd international conference On Uniform Distribution Theory,
    Smolenice, Slovakia, June 2529, 2012.

Prof. B. Grigelionis 鈥

  • editorial boards member of the Lithuanian Mathematical Journal and Nonlinear Analysis: Modeling and Control;
  • Conference of the Lithuanian Mathematical Society in Klaip臈da, June 1112, 2012.

Prof. R. Norvai拧a 鈥

  • associate editor of the Lithuanian Mathematical Journal.

Prof. R. Leipus 鈥

  • associate editor of the Lithuanian Mathematical Journal;
  • editorial board member of the Pinig懦 studijos (Monetary Studies);
  • research visit to Nantes University (France), January 1528, 2012;
  • conference Statistical Modelling of Financial Data, Graz (Austria), May  2326, 2012. Invited talk "Asymptotics of partial sums of linear processes with changing memory parameter";
  • participant of the 6th European Congress of Mathematics, Krakow (Poland), August 0107, 2012;
  • seminar at Aarhus University (Denmark), September 1922, 2012. Talk Asymptotics of partial sums of linear processes with changing memory parameter.

Prof. D. Surgailis 鈥

  • associate editor of the Lithuanian Mathematical Journal;
  • invited speaker of the conference Statistical Methods for Financial Data III, May 2327, 2012 Graz, Austria;
  • visiting professor at Laboratoire de Mathematiques Jean Leray, Universite de Nantes, France, April, 2012.

Prof. J. 艩iaulys 鈥

  • editorial board member of the Lithuanian Mathematical Journal;
  • reviewer of the Mathematical Reviews;
  • reviewer of the Zentralblatt MATH.