Zobrazeno 1 - 10
of 23
pro vyhledávání: '"Nenad Savić"'
Autor:
Vesna Dinić, Nenad Savić, Danica Marković, Milena Stojanović, Ines Veselinović, Biljana Stošić
Publikováno v:
Acta Medica Medianae, Vol 54, Iss 4, Pp 72-78 (2015)
Considering the physiological changes during pregnancy and the fact that there are two lives, obstetric anesthesia is an extremely specific and challenging area of work. The physiological changes that occur during pregnancy are among the contributing
Externí odkaz:
https://doaj.org/article/9e471cf8d41a4c76924e15f13aa80e51
Publikováno v:
South-East European Forestry, Vol 2, Iss 1, Pp 13-21 (2011)
Background and Purpose: This paper gives a thorough picture of the competitiveness characteristics of the Macedonian forest based industry for the period 1993 to 2006, from its independence to present times. The main purpose of this study is to analy
Externí odkaz:
https://doaj.org/article/63e6a426a9e344deacf80ca55a5edb9d
Autor:
Nenad Savić, Dragana Đorđević, Biljana Stošić, Lidija Đorđević, Angelina Bogićević, Anica Pavlović
Publikováno v:
Acta Medica Medianae, Vol 49, Iss 3, Pp 55-57 (2010)
Acute intermittent porphyria is a rare metabolic disorder resulting from a partial deficiency of porphobilinogen deaminase, enzyme in the heme biosynthetic pathway. Its inheritance is autosomal dominant. A deficiency of porphobilinogen deaminase is n
Externí odkaz:
https://doaj.org/article/11ec5f826f20422e9b037735a81beb19
Publikováno v:
Doder, Dragan; Savic, Nenad; Ognjanovic, Zoran (2019). Multi-agent Logics for Reasoning About Higher-Order Upper and Lower Probabilities. Journal of logic, language and information, 29(1), pp. 77-107. Springer Netherlands 10.1007/s10849-019-09301-7
We present a propositional and a first-order logic for reasoning about higher-order upper and lower probabilities. We provide sound and complete axiomatizations for the logics and we prove decidability in the propositional case. Furthermore, we show
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030399504
FoIKS
FoIKS
The development of different probabilistic models of uncertainty has been inspired by the rapid progress in various fields, e.g. in AI, probabilistic programming, etc. Lambda calculus is a universal model of computation suitable to express programmin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::158173cbe1858fcf12908735a57832ed
Publikováno v:
Probabilistic Extensions of Various Logical Systems ISBN: 9783030529536
In this chapter we present a formal system that results from the combination of two well known formalisms for knowledge representation: probabilistic logic and justification logic. This framework, called probabilistic justification logic, allows the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ba6cdd5038456dabb3e6f4fa2a920712
Autor:
Nenad Savić, Radmilo Jankovic, Ilija Golubović, Milena Stojanovic, Anita Vukovic, Danica Marković
Publikováno v:
Serbian Journal of Anesthesia and Intensive Therapy. 40:163-170
Publikováno v:
Acta Medica Medianae. 56:77-80
Autor:
Nenad Savić, Thomas Studer
Publikováno v:
Logic and Its Applications ISBN: 9783662587706
ICLA
ICLA
Artemov has recently proposed a modernization of the semantics and proof theory of epistemic logic. We take up his approach and extend his framework with public announcements and the corresponding belief change operation. We establish a soundness and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b499f89fae5c69e438b07b282397de16
Autor:
Vesna Dinic, Nenad Savić, Danica Marković, Marko Ristić, Ines Veselinović, Bojana Marković-Živković, Boris Djindjic, Milena Stojanovic, Biljana Stosic
Publikováno v:
Acta Medica Medianae. 55:70-75
Preoperative assessment of cardiovascular risk and timely diagnosis of myocardial damage are of great importance in the prevention of postoperative morbidity and mortality. The latest guidelines by the European Society of Cardiology (ESC) / European