Results 31 to 40 of about 23,100,798 (257)

On Productiveness and Complexity in Computable Analysis Through Rice-Style Theorems for Real Functions

Mathematics
This paper investigates the complexity of real functions through proof techniques inspired by formal language theory. Productiveness, which is a stronger form of non-recursive enumerability, is employed to analyze the complexity of various problems ...
Jingnan Xie, Harry B. Hunt, Richard E. Stearns   +2 more
doaj   +1 more source

Computing Solution Operators of Boundary-value Problems for Some Linear Hyperbolic Systems of PDEs [PDF]

Logical Methods in Computer Science, 2017
We discuss possibilities of application of Numerical Analysis methods to proving computability, in the sense of the TTE approach, of solution operators of boundary-value problems for systems of PDEs.
Svetlana Selivanova, Victor Selivanov
doaj   +1 more source

A framework for annotating human genome in disease context. [PDF]

PLoS ONE, 2012
Identification of gene-disease association is crucial to understanding disease mechanism. A rapid increase in biomedical literatures, led by advances of genome-scale technologies, poses challenge for manually-curated-based annotation databases to ...
Wei Xu, Huisong Wang, Wenqing Cheng, Dong Fu, Tian Xia, Warren A Kibbe, Simon M Lin   +6 more
doaj   +1 more source

Regional disaster impact analysis: comparing input–output and computable general equilibrium models [PDF]

Natural Hazards and Earth System Sciences, 2016
A variety of models have been applied to assess the economic losses of disasters, of which the most common ones are input–output (IO) and computable general equilibrium (CGE) models.
E. E. Koks, L. Carrera, O. Jonkeren, J. C. J. H. Aerts, T. G. Husby, M. Thissen, G. Standardi, J. Mysiak   +7 more
doaj   +1 more source

European Standard Clinical Practice Guideline and EXPeRT Recommendations for the Diagnosis and Management of Gastroenteropancreatic Neuroendocrine Neoplasms in Children and Adolescents

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Pediatric gastroenteropancreatic neuroendocrine neoplasms (GEP‐NENs) are extremely rare and clinically heterogeneous. Management has largely been extrapolated from adult practice. This European Standard Clinical Practice Guideline (ESCP), developed by the EXPeRT network in collaboration with adult NEN experts, provides (adult) evidence ...
Michaela Kuhlen, Calogero Virgone, Antje Redlich, Michael Abele, Ricardo Lopez‐Almaraz, Tal Ben‐Ami, Ewa Bien, Gianni Bisogno, Maja Mazic Cesen, Andrea Ferrari, Malgorzata A. Krawczyk, Yves Reguerre, Dominik T. Schneider, Ines B. Brecht, Charlotte Rigaud, Bilgehan Yalcin, Rainer Claus, Christian Vokuhl, Constantin Lapa, Jörg Fuchs, Segolene Hescot, Thomas Walter, Julien Hadoux, Daniel Orbach   +23 more
wiley   +1 more source

Evaluation of claims‐based computable phenotypes to identify heart failure patients with preserved ejection fraction

Pharmacology Research & Perspectives, 2020
The purpose of this analysis was to develop and validate computable phenotypes for heart failure (HF) with preserved ejection fraction (HFpEF) using claims‐type measures using the Rochester Epidemiology Project.
Sarah S. Cohen, Véronique L. Roger, Susan A. Weston, Ruoxiang Jiang, Naimisha Movva, Akeem A. Yusuf, Alanna M. Chamberlain   +6 more
doaj   +1 more source

Solid Pseudopapillary Neoplasm of the Pancreas in Children and Adolescents: Expert Recommendations

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Solid pseudopapillary neoplasm of the pancreas (SPN) is a rare low‐grade malignant exocrine pancreatic tumor, mostly discovered during the second decade of life in females, with a very good prognosis, provided microscopically complete surgical excision is achieved.
Sabine Irtan, Michael Abele, Calogero Virgone, Michaela Kuhlen, Ricardo Lopez‐Almarez, Tal Ben‐Ami, Ewa Bien, Maja Cesen, Malgorzata A. Krawczyk, Andrea Ferrari, Gianni Bisogno, Yves Reguerre, Dominik T. Schneider, Louise Galmiche, Jorg Fuchs, Sarah Braungart, Bilgehan Yalcin, Ines B. Brecht, Daniel Orbach   +18 more
wiley   +1 more source

Ovarian Sex Cord Stromal Tumors in Children and Adolescents—The European Standard Clinical Practice Recommendations

Pediatric Blood &Cancer, EarlyView.
ABSTRACT As part of the European Cooperative Study Group for Paediatric Rare Tumours initiative, we developed standard clinical practice guidelines for ovarian sex cord stromal tumors, based on comprehensive national and international cohort analyses, literature review, and a final expert consensus conference.
Dominik T. Schneider, Kris‐Ann Schultz, Nora Schnitzler, Michael Abele, Tal Ben‐Ami, Ewa Bien, Gianni Bisogno, Ines B. Brecht, Maja Cesen, Andrea Ferrari, Michaela Kuhlen, Malgorzata A. Krawczyk, Ricardo Lopez‐Almaraz, Yves Reguerre, Calogero Virgone, Daniel Orbach   +15 more
wiley   +1 more source

Early Body Mass Index z‐Score Change and Resolution of Severe Malnutrition in Children With Sickle Cell Anemia in a Low‐Income Setting: A Prospective Single‐Arm Extension Study

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Children with sickle cell anemia (SCA) in low‐income settings are at risk of severe malnutrition, but optimal nutritional management has not been established. We evaluated an intensified ready‐to‐use therapeutic food (RUTF) regimen in children with persistent severe malnutrition after initial treatment and assessed whether early ...
Safiya Gambo, Shehu Umar Abdullahi, Hassan Adam Murtala, Halima Kabir, Khadija A. Shamsu, Sari A. Acra, Virginia A. Stallings, Mark Rodeghier, Michael R. DeBaun, Lauren J. Klein   +9 more
wiley   +1 more source

Semantics, Specification Logic, and Hoare Logic of Exact Real Computation [PDF]

Logical Methods in Computer Science
We propose a simple imperative programming language, ERC, that features arbitrary real numbers as primitive data type, exactly. Equipped with a denotational semantics, ERC provides a formal programming language-theoretic foundation to the algorithmic ...
Sewon Park, Franz Brauße, Pieter Collins, SunYoung Kim, Michal Konečný, Gyesik Lee, Norbert Müller, Eike Neumann, Norbert Preining, Martin Ziegler   +9 more
doaj   +1 more source