Zobrazeno 1 - 10
of 1 095
pro vyhledávání: '"Pradella, P."'
Operator Precedence Languages (OPL) have been recently identified as a suitable formalism for model checking recursive procedural programs, thanks to their ability of modeling the program stack. OPL requirements can be expressed in the Precedence Ori
Externí odkaz:
http://arxiv.org/abs/2405.11327
Operator precedence languages (OPL) enjoy the local parsability property, which essentially means that a code fragment enclosed within a pair of markers -- playing the role of parentheses -- can be compiled with no knowledge of its external context.
Externí odkaz:
http://arxiv.org/abs/2309.04200
Autor:
Maurizio Cecconi, Giulia Goretti, Andrea Pradella, Patrizia Meroni, Martina Pisarra, Guido Torzilli, Marco Montorsi, Antonino Spinelli, Alessandro Zerbi, Carlo Castoro, Paolo Casale, Efrem Civilini, Vittorio Quagliuolo, Marco Klinger, Giuseppe Spriano, Domenico Vitobello, Leonardo Maradei, Bernhard Reimers, Federico Piccioni, Maria Rosaria Martucci, Niccolò Stomeo, Elena Vanni, Marco Babbini, Roberta Monzani, Maria Rosaria Capogreco, Michele Lagioia, Massimiliano Greco
Publikováno v:
Journal of Anesthesia, Analgesia and Critical Care, Vol 4, Iss 1, Pp 1-10 (2024)
Abstract Background Value-based healthcare (VBHC) is an approach that focuses on delivering the highest possible value for patients while driving cost efficiency in health services. It emphasizes improving patient outcomes and experiences while optim
Externí odkaz:
https://doaj.org/article/b6757379fdea43aeb3c5c8287a15aef5
These notes present the essentials of first- and second-order monadic logics on strings with introductory purposes. We discuss Monadic First-Order logic and show that it is strictly less expressive than Finite-State Automata, in that it only captures
Externí odkaz:
http://arxiv.org/abs/2301.10519
Publikováno v:
Hematology, Transfusion and Cell Therapy, Vol 46, Iss , Pp S7- (2024)
Objetivos: Anemia é uma condição definida laboratorialmente por uma taxa da proteína responsável pelo carreamento de oxigênio- hemoglobina- abaixo de 12 g/dL em mulheres ou 13 g/dL em homens. Pode ser gerada pela deficiência de inúmeros nutri
Externí odkaz:
https://doaj.org/article/e5007d7a234e47398ce37f80e8b904ca
Publikováno v:
Hematology, Transfusion and Cell Therapy, Vol 46, Iss , Pp S246-S247 (2024)
Objetivos: Os linfomas não-Hodgkin formam um grupo heterogêneo de doenças malignas originadas nos linfonodos e região extranodal. Os dois subtipos mais frequentes são o difuso de grandes células B e o folicular. Apresentam inúmeros fatores de
Externí odkaz:
https://doaj.org/article/56549d85267c41409aa6feb10f67a02e
Autor:
Diogo Robl, Beatriz Merchel Piovezan Pereira, Aline Carvalho da Costa, José Geraldo da Cruz Pradella
Publikováno v:
Brazilian Archives of Biology and Technology, Vol 67 (2024)
Abstract Biofuels and other bioproducts derived from lignocellulosic feedstocks represent environmentally sustainable pathways that have the potential to compete favorably with conventional petrochemical counterparts. Realizing their economic viabili
Externí odkaz:
https://doaj.org/article/762833ee8ecf4ae0a4acfb956944e56b
Autor:
Gabriela Döwich Pradella, Adriana Oliveira Andrade, Wagner de Souza Tassinari, Irina Lübeck, Natálie Rodrigues Martins, Natália Lima Brasil Dutra, Claudia Acosta Duarte
Publikováno v:
Ciência Rural, Vol 55, Iss 1 (2024)
ABSTRACT: Acute abdomen cases are among the most prevalent and challenging illnesses in equine medicine. The diagnosis includes anamnesis and detailed clinical evaluation of the patient, allowing the gathering of several important information and, ad
Externí odkaz:
https://doaj.org/article/a60fb437740845b88f86f10825ff41b8
Autor:
Wasserthal, Jakob, Breit, Hanns-Christian, Meyer, Manfred T., Pradella, Maurice, Hinck, Daniel, Sauter, Alexander W., Heye, Tobias, Boll, Daniel, Cyriac, Joshy, Yang, Shan, Bach, Michael, Segeroth, Martin
Publikováno v:
Radiol Artif Intell 2023;5(5):e230024
We present a deep learning segmentation model that can automatically and robustly segment all major anatomical structures in body CT images. In this retrospective study, 1204 CT examinations (from the years 2012, 2016, and 2020) were used to segment
Externí odkaz:
http://arxiv.org/abs/2208.05868
Publikováno v:
IEEE 19th International Conference on Software Architecture Companion (ICSA-C), 2022, pp. 218-225
The increasing use of Infrastructure as Code (IaC) in DevOps leads to benefits in speed and reliability of deployment operation, but extends to infrastructure challenges typical of software systems. IaC scripts can contain defects that result in secu
Externí odkaz:
http://arxiv.org/abs/2206.10344