Results 31 to 40 of about 8,869 (303)
Strict computability models over categories and presheaves
, 2022 Generalizing slightly the notions of a strict computability model and of a simulation between them, which were elaborated by Longley and Normann (2015, Higher-Order Computability), we define canonical strict computability models over certain categories ...
Petrakis, Iosif
core +1 more source
Human-effective computability [PDF]
, 2018 We analyse Kreisel’s notion of human-effective computability. Like Kreisel, we relate this notion to a concept of informal provability, but we disagree with Kreisel about the precise way in which this is best done.
Antonutti Marfori, Marianna +3 more
core +3 more sources
On Accelerations in Science Driven by Daring Ideas: Good Messages from Fallibilistic Rationalism
Studies in Logic, Grammar and Rhetoric, 2015 The first good message is to the effect that people possess reason as a source of intellectual insights, not available to the senses, as e.g. axioms of arithmetic. The awareness of this fact is called rationalism.
Marciszewski Witold
doaj +1 more source
Computability in Computational Geometry
, 2005 We promote the concept of object directed computability in computational geometry in order to faithfully generalise the well-established theory of computability for real numbers and real functions. In object directed computability, a geometric object is computable if it is the effective limit of a sequence of finitary objects of the same type as the ...
Abbas Edalat +2 more
openaire +3 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Reduced bone mineral density (BMD) has been reported in survivors of childhood and young adult acute lymphoblastic leukaemia (ALL); however, data from cohorts treated with contemporary protocols and including matched controls remain limited.
Karen Schow Jensen +10 more
wiley +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Adult survivors of childhood acute lymphoblastic leukemia (ALL) are at risk of reduced exercise capacity, decreased physical activity levels, persistent fatigue, and neurocognitive deficits. The aim was to investigate exercise capacity and physical activity levels of adult survivors of childhood ALL and their associations with ...
Laura Jess +5 more
wiley +1 more source
IET Cyber-Physical Systems, 2017 We present LhaVrf, a symbolic verifier for the safety verification of concurrent LHA (Linear Hybrid Automaton). A concurrent LHA is composed of a set of LHAs that interact through shared variables and/or events.
Hao Ren +4 more
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Purpose To explore caregivers' experiences and perceptions of the nutritional challenges faced by children and adolescents undergoing cancer treatment, including oral intake and the use of nutritional support. Methods This was a qualitative study based on focus groups with parents and caregivers at a Brazilian pediatric oncology hospital ...
Danyelle Apparecida Balsamão Marques +5 more
wiley +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Transitioning from pediatric to adult care is a high‐risk period for individuals with sickle cell disease (SCD). An initial observation at one academic medical center suggested a sex‐based disparity in clinic populations, prompting a national investigation.
Laurie J. Duckworth +5 more
wiley +1 more source
Computing-Model and Computing-Hardware Selection for ICT Under Societal and Judicial Constraints
IEEE AccessThis article discusses a formalization of aspects of Cyber-Sovereignty (CyS) for information and communication technology (ICT), linking them to technological trustworthiness and deriving an associated paradigm for hard- and software design. The upcoming
Yannik N. Bock +3 more
doaj +1 more source