Abstract: In this paper authors research the problem of traceability of assumptions in logical derivation. The essence of this task is to trace which assumptions from the available knowledge base of assumptions are necessary to derive a certain conclusion. The paper pr

Summary: Šiame darbe autoriai nagrine˙ja loginio išvedimo iš prielaidu˛ atsekamumo problemą. Šio uždavinio esme˙ yra atsekti, kurios prielaidos iš turimos prielaidu˛ žiniu˛ baze˙s yra bu¯tinos tam tikros išvados išvedimui. Darbe pristatoma nauja teiginiu˛ logikai skir

en

Abstract: We construct weak approximations of the Wright-Fisher model and illustrate their accuracy by simulation examples.

Summary: Sukonstruota silpnoji pirmos eile˙s aproksimacija stochastinei Wright–Fisher lygčiai. Pavyzdžiais iliustruojamas jos tikslumas.

en

Abstract: Currently the world is threatened by a global COVID-19 pandemic and it has induced crisis creating a lot of disruptions in the healthcare system, social life and econ- omy. In this article we present the analysis of COVID-19 situation in Lithuania and it’s mu

Summary: Šiuo metu pasaulyje karaliauja COVID-19 pandemija, kuri suke˙le˙ krizę sveikatos apsaugos srityje, taip pat ir socialiniame gyvenime bei ekonomikoje. Šiame straipsnyje pateikiame COVID-19 situacijos Lietuvoje ir atskirose jos savivaldybe˙se a

en

Abstract: In this paper, spatial data specified by auto-beta models is analysed by con- sidering a supervised classification problem of classifying feature observation into one of two populations. Two classification rules based on conditional Bayes discriminant functio

Summary: Straipsnyje pristatomos naujos statistinio klasifikavimo taisyklės erdviams auto-beta modeliams. Jos paremtos sąlygine Bajeso ir tiesine diskriminantinėmis funkcijomis. Sprendžiamas uždavinys, kai erdvės taškas klasifikuojamas į 1 iš 2 populiacijų, su žinoma

en

Abstract: In this paper, relations between discrete Sturm–Liouville problem with nonlo- cal integral boundary condition characteristics (poles, critical points, spectrum curves) and graphs characteristics (vertices, edges and faces) were found. The previous article was

Summary: Šiame straipsnyje pristatomos sąsajos tarp diskrečiojo Šturmo ir Liuvilio uždavinio su nelokaliąja integraline kraštine sąlyga (poliai, kritiniai taškai ir spektrine˙s kreive˙s) bei grafu˛ charakteristiku˛ (viršu¯ne˙s, briaunos ir veidai). Anks

en

Abstract: In this article we focus on the problem of supervised classifying of the spatio- temporal Gaussian random field observation into one of two classes, specified by different mean parameters. The main distinctive feature of the proposed approach is allowing the

Summary: Nagrinėjama tiesinė diskriminantinė gausinių erdvės-laiko duomenų analizė, naudojant separabilius kovariacijų modelius ir erdvėje bei laike kintančias klasės žymes. Laiko kovariacijai naudojamas AR(p) modelis, o erdvinei kovariacijai naudojamas eksponentinis

en