Results 31 to 40 of about 542,872 (263)

Quantum Set Theory Extending the Standard Probabilistic Interpretation of Quantum Theory (Extended Abstract) [PDF]

Electronic Proceedings in Theoretical Computer Science, 2014
The notion of equality between two observables will play many important roles in foundations of quantum theory. However, the standard probabilistic interpretation based on the conventional Born formula does not give the probability of equality relation ...
Masanao Ozawa
doaj   +1 more source

Developing Abstract Representations of Passives: Evidence From Bilingual Children’s Interpretation of Passive Constructions

Frontiers in Psychology, 2020
According to usage-based theories, children initially acquire surface-level constructions and then abstract representations. If so, bilingual children might show lags relative to monolingual children early in acquisition, but not later on, once they rely
Elena Nicoladis, Sera Sajeev
doaj   +1 more source

Interpretational abstraction

Computers & Mathematics with Applications, 1991
AbstractInterpretational abstraction is proposed as a means to overcome dificiencies in cases where procedural or data abstraction are not able to express underlying concepts explicitly. Interpretational abstraction enables the software developer to modify and extend the computational meaning of a program.
openaire   +2 more sources

Bounded Abstract Interpretation [PDF]

, 2016
In practice, software engineers are only able to spend a limited amount of resources on statically analyzing their code. Such resources may refer to their available time or their tolerance for imprecision, and usually depend on when in their workflow a static analysis is run. To serve these different needs, we propose a technique that enables engineers
Maria Christakis, Valentin Wüstholz
openaire   +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

Whole-value analysis by abstract interpretation

Frontiers in Computer Science
Value analysis is the task of understanding what concrete values a program might compute for each variable or memory region. Historically, research focused mostly on numerical analysis (i.e., value analysis of programs manipulating numeric values), while
Luca Negrini
doaj   +1 more source

Health‐Related Social Needs in Children With Sickle Cell Disease Are Associated With Worse Health‐Related Quality of Life

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Children with sickle cell disease (SCD) face multiple acute and chronic medical complications that may impact their quality of life as reported by patients themselves. Health‐related social needs (HRSNs), such as food and housing insecurity, are common in people with SCD, but the association between HRSNs and patient‐reported ...
Sarah J. Marks, Molly Sonenklar, Cerelia Donald, Cecelia Valrie, Wally Smith, India Sisler   +5 more
wiley   +1 more source

Are Fertility Preservation Procedures Before Gonadotoxic Therapy and Hematopoietic Stem Cell Transplantation Feasible and Safe in Very Young Children? A Retrospective Cohort Study

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Fertility preservation (FP) is increasingly integrated into the care of pediatric patients exposed to gonadotoxic therapy or conditioning for hematopoietic stem cell transplantation (HSCT), yet perioperative data in infants and toddlers remain scarce.
Kerstin Saalabian, Yannick Braun, Till‐Martin Theilen, Anke Barnbrock, Theresa Rohm, Fabienne Hammant, Nicole Sänger, Aynura Abbasova‐Semiz, Jan‐Henning Klusmann, Thomas Klingebiel, Udo Rolle, Peter Bader, Henning C. Fiegel, Andrea Jarisch   +13 more
wiley   +1 more source

Abstracting Definitional Interpreters

CoRR, 2017
In this functional pearl, we examine the use of definitional interpreters as a basis for abstract interpretation of higher-order programming languages. As it turns out, definitional interpreters, especially those written in monadic style, can provide a nice basis for a wide variety of collecting semantics, abstract interpretations, symbolic executions,
David Darais, Nicholas Labich, Phuc C. Nguyen, David Van Horn   +3 more
openaire   +2 more sources

On the Monniaux Problem in Abstract Interpretation [PDF]

Journal of the ACM, 2019
The Monniaux Problem in abstract interpretation asks, roughly speaking, whether the following question is decidable: Given a program P , a safety (e.g., non-reachability) specification \(\varphi\) , and an abstract domain of invariants \(\
Fijalkow, Nathanaël, Lefaucheux, Engel, Ohlmann, Pierre, Ouaknine, Joël, Pouly, Amaury, Worrell, James   +5 more
openaire   +6 more sources