Zobrazeno 1 - 10
of 52
pro vyhledávání: '"Emanuele De Angelis"'
Publikováno v:
Risk Management Magazine, Vol 18, Iss 3, Pp 62-77 (2023)
After a short review of the MiFID regulations and the RAF, the paper identifies the link between them which allows to mitigate a balance sheet risk sustained by the financial intermediary and, at the same time, to improve its stability and value crea
Externí odkaz:
https://doaj.org/article/8930dc17c3fe4faa9ef782e99d49e372
Autor:
Ilaria Cuccu, Tullio Golia D’Augè, Noemi Tonti, Emanuele De Angelis, Roberta Arseni, Giorgio Bogani, Ottavia D’Oria, Angela Musella, Giorgia Perniola, Ludovico Muzii, Violante Di Donato, Andrea Giannini
Publikováno v:
Clinical and Experimental Obstetrics & Gynecology, Vol 51, Iss 6, p 145 (2024)
Objectives: Until 2018, cervical cancer (CC) was clinically staged; however, it was frequently under-staged. For this reason, in 2018, the International Federation of Gynecology and Obstetrics (FIGO) incorporated the imaging assessment into the stagi
Externí odkaz:
https://doaj.org/article/79c8d8ff64df47f5b576ba513d135bce
Autor:
Ilaria Cuccu, Ottavia D’Oria, Ludovica Sgamba, Emanuele De Angelis, Tullio Golia D’Augè, Camilla Turetta, Camilla Di Dio, Maria Scudo, Giorgio Bogani, Violante Di Donato, Innocenza Palaia, Giorgia Perniola, Federica Tomao, Ludovico Muzii, Andrea Giannini
Publikováno v:
Healthcare, Vol 11, Iss 4, p 571 (2023)
Endometrial cancer (EC) is one of the most common gynecological malignancies in Western countries. Traditionally, loco-reginal dissemination and histological characteristics are the main prognostic factors. Nowadays, molecular and genomic profiling s
Externí odkaz:
https://doaj.org/article/ccd16ce26ab3423a81b3302bb49e3834
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 299, Iss Proc. VPT 2019, Pp 4-18 (2019)
It is known that the verification of imperative, functional, and logic programs can be reduced to the satisfiability of constrained Horn clauses (CHCs), and this satisfiability check can be performed by using CHC solvers, such as Eldarica and Z3. The
Externí odkaz:
https://doaj.org/article/20803841932944c8bb944bfe1f6f141c
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 296, Iss Proc. HCVS/PERR 2019, Pp 48-75 (2019)
The proof of a program property can be reduced to the proof of satisfiability of a set of constrained Horn clauses (CHCs) which can be automatically generated from the program and the property. In this paper we have conducted a case study in Horn cla
Externí odkaz:
https://doaj.org/article/febea3d3e25d491abc5dbda6b7f2e6bd
Autor:
Emanuele De Angelis, Fabio Fioravanti, Adrián Palacios, Alberto Pettorossi, Maurizio Proietti
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 278, Iss Proc. HCVS 2018, Pp 19-26 (2018)
Dynamically typed languages, like Erlang, allow developers to quickly write programs without explicitly providing any type information on expressions or function definitions. However, this feature makes those languages less reliable than statically t
Externí odkaz:
https://doaj.org/article/a8ab9ef371784e27a7bbad553f0ff509
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 219, Iss Proc. HCVS2016, Pp 49-55 (2016)
Verification conditions (VCs) are logical formulas whose satisfiability guarantees program correctness. We consider VCs in the form of constrained Horn clauses (CHC) which are automatically generated from the encoding of (an interpreter of) the opera
Externí odkaz:
https://doaj.org/article/2aa1afa006c244a287660b12eed23729
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 169, Iss Proc. HCVS 2014, Pp 3-18 (2014)
We present a verification technique for program safety that combines Iterated Specialization and Interpolating Horn Clause Solving. Our new method composes together these two techniques in a modular way by exploiting the common Horn Clause representa
Externí odkaz:
https://doaj.org/article/7a4882e50836431dac19f408993eb0ae
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 129, Iss Festschrift for Dave Schmidt, Pp 186-210 (2013)
We present a method for verifying partial correctness properties of imperative programs that manipulate integers and arrays by using techniques based on the transformation of constraint logic programs (CLP). We use CLP as a metalanguage for represent
Externí odkaz:
https://doaj.org/article/de24029bfece49d1b9f91e4e8d0dc595
Autor:
Emanuele De Angelis, Fabrizio Giulietti, Matteo Turci, Stefania Amici, Maria Fabrizia Buongiorno
Publikováno v:
GEOmedia, Vol 15, Iss 6 (2012)
Il Laboratorio di Meccanica del Volo (MDVLab) dell’Università di Bologna nasce nel 2006 presso la Seconda Facoltà di Ingegneria e la sua attività di ricerca riguarda principalmente problematiche di modellazione, simulazione e controllo del volo
Externí odkaz:
https://doaj.org/article/ca19d6fc963046f19b3d87046b8bd674