Zobrazeno 1 - 10
of 54
pro vyhledávání: '"Șerban, Cristina"'
Autor:
Ștefănescu, Raluca‑Adriana1, Șerban, Cristina2, Solcan, Gheorghe1, Musteață, Mihai1 mihai.musteata@iuls.ro
Publikováno v:
Practica Veterinara.ro. 2024, Issue 44, p29-33. 5p.
Publikováno v:
Romanian Journal of Oral Rehabilitation, Vol 15, Iss 2, Pp 148-160 (2023)
With a global prevalence of 9,3% in 2019, diabetes causes eye damage, known as diabetic retinopathy, a microvascular complication and one of the leading causes of decreased visual acuity or blindness worldwide.The development of a new technology in t
Externí odkaz:
https://doaj.org/article/95b249faf93442ea8e2d72fa8ec98d09
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.
Autor:
Iosif, Radu, Serban, Cristina
In this paper we develop cyclic proof systems for the problem of inclusion between the least sets of models of mutually recursive predicates, when the ground constraints in the inductive definitions belong to the quantifier-free fragments of (i) Firs
Externí odkaz:
http://arxiv.org/abs/1707.02415
Separation Logic (SL) is a well-known assertion language used in Hoare-style modular proof systems for programs with dynamically allocated data structures. In this paper we investigate the fragment of first-order SL restricted to the Bernays-Schoenfi
Externí odkaz:
http://arxiv.org/abs/1610.04707
Autor:
Serban, Cristina, Maftei, Carmen
Publikováno v:
International Journal of Computer Networks & Communications (IJCNC),Vol.3, No.1, 2011
The analysis of climate regions is very important for designers and architects, because the increase in density and built up spaces and reduction in open spaces and green lands induce the increase of heat, especially in an urban area, deteriorating t
Externí odkaz:
http://arxiv.org/abs/1101.4474
Autor:
Cucu, Ana, Tiliakos, Athanasios, Tanase, Iulian, Serban, Cristina Elena, Stamatin, Ioan, Ciocanea, Adrian, Nichita, Cornelia
Publikováno v:
In Energy Procedia January 2016 85:156-161
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.
Publikováno v:
Carpathian Journal of Mathematics, 2015 Jan 01. 31(1), 45-52.
Externí odkaz:
https://www.jstor.org/stable/44000033