Zobrazeno 1 - 10
of 313
pro vyhledávání: '"Janicic A"'
Autor:
Bojanić Nebojša, Nale Đorđe, Mićić Sava, Janičić Aleksandar, Vuksanović Aleksandar, Vuković Ivan
Publikováno v:
Vojnosanitetski Pregled, Vol 68, Iss 11, Pp 985-987 (2011)
Introduction. Testicular tumors most frequently metastasize to regional lymph nodes. Non-seminomatous tumor metastasis of testicle (NSGCTT) to the eyeball is rare. Case report. We presented a 24-year old man, referred to the ophthalmologist due to ac
Externí odkaz:
https://doaj.org/article/4f7059ab5c544592bdbab63c7ee49e5b
Publikováno v:
EPTCS 398, 2024, pp. 21-37
Conjecturing and theorem proving are activities at the center of mathematical practice and are difficult to separate. In this paper, we propose a framework for completing incomplete conjectures and incomplete proofs. The framework can turn a conjectu
Externí odkaz:
http://arxiv.org/abs/2401.11898
Tool SPECS implements an efficient automated approach for reasoning about the SPARQL query containment problem. In this paper, we prove the correctness of this approach. We give precise semantics of the core subset of SPARQL language. We briefly disc
Externí odkaz:
http://arxiv.org/abs/2210.07083
Autor:
Janičić, Predrag, Narboux, Julien
Publikováno v:
EPTCS 352, 2021, pp. 91-102
We report on a new, simple, modular, and flexible approach for automated generation of illustrations for (readable) synthetic geometry proofs. The underlying proofs are generated using the Larus automated prover for coherent logic, and corresponding
Externí odkaz:
http://arxiv.org/abs/2201.00540
Autor:
Janičić, Predrag, Kovács, Zoltán
Publikováno v:
EPTCS 352, 2021
Automated Deduction in Geometry (ADG) is a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools at the intersection between geometry and automated deduction. Relevant topics include (but are n
Externí odkaz:
http://arxiv.org/abs/2112.14770
Autor:
Uros Bumbasirevic, Milos Petrovic, Vesna Coric, Nikola Lisicic, David Obucina, Milica Zekovic, Bogomir Milojevic, Nenad Vasilic, Vladimir Vasic, Marko Zivkovic, Nebojsa Bojanic, Aleksandar Janicic
Publikováno v:
Diagnostics, Vol 14, Iss 19, p 2196 (2024)
Background: Hemoglobin, Albumin, Lymphocyte, and Platelet Score (HALP) is an accessible score that is easily reproducible from routine laboratory testing while also reflecting patients’ immune-nutritional status. Along with other immuno-nutritional
Externí odkaz:
https://doaj.org/article/2eb03c721a2b40afb800ba7a6b858da0
Publikováno v:
In The Journal of Systems & Software July 2024 213
Autor:
Bumbasirevic Uros, Dragicevic Dejan, Janicic Aleksandar, Cemerikic-Martinovic Vesna, Cekerevac Milica, Aleksic Vuk, Tulic Cane
Publikováno v:
World Journal of Surgical Oncology, Vol 9, Iss 1, p 165 (2011)
Abstract Wegener's granulomatosis (WG) is a systemic disorder characterized by necrotizing vasculitis involving the respiratory tract, and in most cases, the kidneys. The most common manifestation of WG in the kidneys is segmental necrotizing glomeru
Externí odkaz:
https://doaj.org/article/7a00700cff0141f5b10c77acc84920d0
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.