Zobrazeno 1 - 10
of 1 445
pro vyhledávání: '"Diaconescu, R."'
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:
Diaconescu R; Department of Oncology, Faculty of Medicine, Victor Babeş University of Medicine and Pharmacy Timisoara, Eftimie Murgu Square 2, 300041 Timisoara, Romania.; Departments of General Surgery, Vasile Goldiş Western University of Arad, 310025 Arad, Romania., Popovici D; Department of Oncology, Faculty of Medicine, Victor Babeş University of Medicine and Pharmacy Timisoara, Eftimie Murgu Square 2, 300041 Timisoara, Romania., Tarta C; Department X, 2nd Surgical Clinic, Researching Future Chirurgie 2, 'Victor Babes' University of Medicine and Pharmacy Timisoara, Eftimie Murgu Sq. No. 2, 300041 Timisoara, Romania., Isaic A; Department X, 2nd Surgical Clinic, Researching Future Chirurgie 2, 'Victor Babes' University of Medicine and Pharmacy Timisoara, Eftimie Murgu Sq. No. 2, 300041 Timisoara, Romania., Costachescu D; Discipline of Radiology and Medical Imaging, 'Victor Babes' University of Medicine and Pharmacy, 300041 Timisoara, Romania., Totolici B; Departments of General Surgery, Vasile Goldiş Western University of Arad, 310025 Arad, Romania.
Publikováno v:
Medicina (Kaunas, Lithuania) [Medicina (Kaunas)] 2023 Nov 25; Vol. 59 (12). Date of Electronic Publication: 2023 Nov 25.
Autor:
Popovici D; Department of Oncology, Faculty of Medicine, Victor Babeş University of Medicine and Pharmacy Timisoara, Eftimie Murgu Square 2, 300041 Timisoara, Romania., Stanisav C; Departments of Radiology, Victor Babeş University of Medicine and Pharmacy Timisoara, 300041 Timisoara, Romania., Saftescu S; Department of Oncology, Faculty of Medicine, Victor Babeş University of Medicine and Pharmacy Timisoara, Eftimie Murgu Square 2, 300041 Timisoara, Romania., Negru S; Department of Oncology, Faculty of Medicine, Victor Babeş University of Medicine and Pharmacy Timisoara, Eftimie Murgu Square 2, 300041 Timisoara, Romania., Dragomir R; Departments of Obstetrics and Gynecology, Victor Babeş University of Medicine and Pharmacy Timisoara, 300041 Timisoara, Romania., Ciurescu D; Departments of Medical and Surgical Specialties, Faculty of Medicine, Transylvania University of Brașov, 500019 Brasov, Romania., Diaconescu R; Departments of General Surgery, Vasile Goldiş Western University of Arad, 310025 Arad, Romania.
Publikováno v:
Medicina (Kaunas, Lithuania) [Medicina (Kaunas)] 2023 Jul 30; Vol. 59 (8). Date of Electronic Publication: 2023 Jul 30.
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:
Tarta C; Department X, 2nd Surgical Clinic of General Surgery, 'Victor Babes' University of Medicine and Pharmacy, 300041 Timisoara, Romania., Marian M; Department X, 2nd Surgical Clinic of General Surgery, 'Victor Babes' University of Medicine and Pharmacy, 300041 Timisoara, Romania., Capitanio M; Department X, 2nd Surgical Clinic of General Surgery, 'Victor Babes' University of Medicine and Pharmacy, 300041 Timisoara, Romania., Faur FI; Department X, 2nd Surgical Clinic of General Surgery, 'Victor Babes' University of Medicine and Pharmacy, 300041 Timisoara, Romania., Duta C; Department X, 2nd Surgical Clinic of General Surgery, 'Victor Babes' University of Medicine and Pharmacy, 300041 Timisoara, Romania., Diaconescu R; Department of Gastroenterology, 'Victor Babes' University of Medicine and Pharmacy, 300041 Timisoara, Romania.; Department of General Surgery, Faculty of Medicine, 'Vasile Goldis' Western University of Arad, 310025 Arad, Romania., Oprescu-Macovei AM; Department of Gastroenterology, Emergency Hospital 'Prof. Dr. Agripa Ionescu', University of Medicine and Pharmacy 'Carol Davila', 050474 Bucharest, Romania., Totolici B; Department of General Surgery, Faculty of Medicine, 'Vasile Goldis' Western University of Arad, 310025 Arad, Romania., Dobrescu A; Department X, 2nd Surgical Clinic of General Surgery, 'Victor Babes' University of Medicine and Pharmacy, 300041 Timisoara, Romania.
Publikováno v:
International journal of environmental research and public health [Int J Environ Res Public Health] 2022 Nov 02; Vol. 19 (21). Date of Electronic Publication: 2022 Nov 02.
Autor:
Diaconescu, R��zvan
This is a short survey on the development of the formal specification and verification language H with emphasis on the scientific part. H is a modern highly expressive language solidly based upon advanced mathematical theories such as the internalisa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9fd997e21ae47c18f20a801314e21489
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:
Theoretical Computer Science and General Issues ; 9463, 41-43. Berlin : Springer
STARTPAGE=41;ENDPAGE=43;TITLE=Theoretical Computer Science and General Issues ; 9463
Technical Report, 41-43. [S.l.] : Simion Stoilow Institute of Mathematics of the Romanian Academy
STARTPAGE=41;ENDPAGE=43;TITLE=Technical Report
Diaconescu, R. (ed.), WADT 2014 : 22nd International Workshop on Algebraic Development Techniques, September 4-7, 2014 Sinaia, Romania, pp. 41-43
Diaconescu, R. (ed.), WADT 2014 : Prelimainary Proceedings 22nd International Workshop on Algebraic Development Techniques, pp. 41-43
STARTPAGE=41;ENDPAGE=43;TITLE=Theoretical Computer Science and General Issues ; 9463
Technical Report, 41-43. [S.l.] : Simion Stoilow Institute of Mathematics of the Romanian Academy
STARTPAGE=41;ENDPAGE=43;TITLE=Technical Report
Diaconescu, R. (ed.), WADT 2014 : 22nd International Workshop on Algebraic Development Techniques, September 4-7, 2014 Sinaia, Romania, pp. 41-43
Diaconescu, R. (ed.), WADT 2014 : Prelimainary Proceedings 22nd International Workshop on Algebraic Development Techniques, pp. 41-43
Item does not contain fulltext
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::64014ad4320dfb1919a22d2782019ce1
http://hdl.handle.net/2066/147360
http://hdl.handle.net/2066/147360
Publikováno v:
Codescu, M.; Diaconescu, R.; Țuțu, I. (ed.), Recent Trends in Algebraic Development Techniques: 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers, pp. 48-68
Lecture Notes in Computer Science ; 9463, 48-68. Cham : Springer International Publishing
STARTPAGE=48;ENDPAGE=68;TITLE=Lecture Notes in Computer Science ; 9463
Recent Trends in Algebraic Development Techniques ISBN: 9783319281131
WADT
Lecture Notes in Computer Science ; 9463, 48-68. Cham : Springer International Publishing
STARTPAGE=48;ENDPAGE=68;TITLE=Lecture Notes in Computer Science ; 9463
Recent Trends in Algebraic Development Techniques ISBN: 9783319281131
WADT
In this paper we study heavy-weighted automata, a generalization of weighted automata in which the weights of the transitions can be formal power series. As for ordinary weighted automata, the behaviour of heavy-weighted automata is expressed in term
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b051da731219777be61d628f8d30cc98
https://hdl.handle.net/2066/159607
https://hdl.handle.net/2066/159607