Zobrazeno 1 - 10
of 153
pro vyhledávání: '"Alonderis, A."'
Autor:
Stanyte, Agne, Podlipskyte, Aurelija, Alonderis, Audrius, Macijauskiene, Jurate, Burkauskas, Julius, Steibliene, Vesta
Publikováno v:
In Physiology & Behavior 1 February 2024 274
Autor:
Romas Alonderis
Publikováno v:
Lietuvos Matematikos Rinkinys, Vol 45, Iss spec. (2023)
There is not abstract.
Externí odkaz:
https://doaj.org/article/45bc0e5a927d4821863901e1d8812e07
Autor:
Romas Alonderis
Publikováno v:
Lietuvos Matematikos Rinkinys, Vol 46, Iss spec. (2023)
There is not abstract.
Externí odkaz:
https://doaj.org/article/23ab510a0b0e45ad99293e66b16aa514
Autor:
Giedra, Haroldas, Alonderis, Romas
The automated proof search system and decidability for logic of correlated knowledge is presented in this paper. The core of the proof system is the sequent calculus with the properties of soundness, completeness, admissibility of cut and structural
Externí odkaz:
http://arxiv.org/abs/1902.08847
Autor:
Romas Alonderis
Publikováno v:
Lietuvos Matematikos Rinkinys, Vol 63, Iss A (2022)
The present paper deals with efficiency improvement of backward proof-search of sequents of propositional linear temporal logic, using a loop-type sequent calculus. The improvement is achieved by syntactic transformation of sequents into equivalent t
Externí odkaz:
https://doaj.org/article/eefb00cc933d43ef83d7d32d17663c7b
Autor:
Romas Alonderis, Haroldas Giedra
Publikováno v:
Lietuvos Matematikos Rinkinys, Vol 60, Iss A (2019)
Various types of calculi (Hilbert, Gentzen sequent, resolution calculi, tableaux) for propositional linear temporal logic (PLTL) have been considered in the literature. Cutfree Gentzen-type sequent calculi are convenient tools for backward proof-sear
Externí odkaz:
https://doaj.org/article/1179bdccca2f428f82f59da7efa63420
Publikováno v:
Studia Logica. 110:1507-1536
Autor:
Audrius Alonderis, Nijole Raskauskiene, Vaidute Gelziniene, Narseta Mickuviene, Julija Brozaitiene
Publikováno v:
BMC Cardiovascular Disorders, Vol 17, Iss 1, Pp 1-13 (2017)
Abstract Background There is still insufficient knowledge on the potential effect of mild to moderate sleep-disordered breathing (SDB) that is widely prevalent, often asymptomatic, and largely undiagnosed in patients with stable coronary artery disea
Externí odkaz:
https://doaj.org/article/f8055c3e471347129ab63013344cf9b0
Publikováno v:
Therapeutics and Clinical Risk Management, Vol Volume 13, Pp 1031-1042 (2017)
Audrius Alonderis,1 Giedrius Varoneckas,1 Nijole Raskauskiene,2 Julija Brozaitiene1 1Laboratory of Clinical Physiology and Rehabilitation, Behavioral Medicine Institute, Lithuanian University of Health Sciences, Palanga, Lithuania; 2Laboratory of Psy
Externí odkaz:
https://doaj.org/article/cd13b3f7e7ca4bbcbf2f192d0ad7750f
Autor:
Haroldas Giedra, Romas Alonderis
Publikováno v:
Lietuvos Matematikos Rinkinys, Vol 59, Iss A (2018)
Knowledge of agents associated to particles of quantum system has been modelled in the paper. Also analysis of formulas and satisfiability in the model have been done.
Externí odkaz:
https://doaj.org/article/722c99a454224d0980357a34d429f6a5