1. Decision procedure for first-order linear temporal logic with semi-periodic kernels
  2. Decision procedures for quantified fragments of reflexive common knowledge logic
  3. Digital library of educational resources and services: evaluation of components
  4. Dirbtinio intelekto iššūkiai mokymui
  5. Discriminant space for mixtures of elliptical distributions in classification problem
  6. Diskretinių resursų paskirstymo uždaviniai ir jų taikymas karyboje
  7. Diskrečių resursų priskyrimas vartotojų grupėms
  8. Dviejų žinių bazių vidinių ir situacinių skirtumų nustatymas
  9. EM algoritmas bendram Gauso modeliui su paslėptaisiais kintamaisiais
  10. Effect of nonresponse in Lithuanian travellers' survey
  11. Elektroninė pasaulinio lygio mokymo dedamoji
  12. Energetics as self-organized system: methodological aspects
  13. Estimation of variance of complex estimator
  14. Europos studentų olimpiada’07
  15. Explicit formulas in asymptotic expansions for Euler's approximations of semigroups
  16. Exposedness in Bernstein spaces
  17. FDVis: the interactive visualization and steering environment for the computational processes using the finite-difference method
  18. Fermento sluoksnio nelygumų amperometriniame biojutiklyje modeliavimas
  19. Formaliųjų ontologijų vaidmuo šiuolaikinėje informacinių sistemų inžinerijoje
  20. Formantinių požymių išskyrimo metodai
  21. Front dynamics with delays in a spatially extended bistable system: computer simulation
  22. Functional data analysis of payment systems
  23. GIS tinklo paslaugų integravimas
  24. Geometrijos mokymas bendrojo lavinimo mokyklose: XXI a. problematika
  25. Hiperteksto rašyklių palyginimas lokalizavimo galimybių požiūriu
  26. Hypothesis on the solvability of parabolic equations with nonlocal conditions
  27. Hölderian functional central limit theorem for linear processes
  28. IS specifikavimo kalbų vidinės kokybės atributų agregavimo ypatumai
  29. Idealizuotos plėvelės modeliai ir optimalūs tinklai: uždavinių ryšys ir modeliavimo rezultatai
  30. Induktyvinis metodas komponentinių programų sintezėje
  31. Influence of the outliers to the classification of multidimensional Gaussian mixtures
  32. Informacijos technologijos matematikos mokyme
  33. Informacinių ir komunikacinių technologijų diegimo į Lietuvos švietimą strateginių tikslų ir uždavinių analizė
  34. Informacinių ir komunikacinių technologijų mokymo modelis pradiniam ir specialiajam ugdymui
  35. Informacinių sistemų kūrimo metodologija įgalinanti verslo procesų pakartotinį panaudojamumą
  36. Informacinės technologijos matematikai vizualizuoti ir tyrinėti
  37. Information transmission concept based model of wave propagation in discrete excitable media
  38. Initial boundary-value problems for derivative nonlinear Schrödinger equation. Justification of two-step algorithm
  39. Internetinių GIS interaktyvumo didinimo būdai
  40. Interneto programų paketo "Mozilla" lokalizavimas ir panaudojimas mokykloje
  41. Interoperability framework for components of digital library of educational resources and services
  42. Invariance principle for independent random variables with infinite variance
  43. Investigation of negative critical points of the characteristic function for problems with nonlocal boundary conditions
  44. Joint universality of some zeta-functions. I
  45. Judančių objektų stebėjimas realiuoju laiku naudojant „Google earth“
  46. Kai kurie matematikos uždaviniai genetikoje
  47. Komponentinio programavimo taikymas informatikos mokyme
  48. Komponentinių programų struktūrinės sintezės teorinės problemos
  49. Komponentinė informacinės sistemos dekompozicija
  50. Komponento specifikacijos formalizavimas