Results 41 to 50 of about 432,853 (282)
Personnages obsédés et résistance du présent dans les romans de Kossi Efoui
ReS Futurae, 2016 Kossi Efoui’s novels are using a narrative device which is largely unexploited due to the solid relationship between narrative and past or future events : the hability to create characters linked to the present time by their own obsession.
Xavier Garnier
doaj +1 more source
Full abstraction and recursion
Theoretical Computer Science, 1995 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mislove, Michael W., Oles, Frank J.
openaire +1 more source
The Strength of Abstraction with Predicative Comprehension
, 2015 Frege's theorem says that second-order Peano arithmetic is interpretable in Hume's Principle and full impredicative comprehension. Hume's Principle is one example of an abstraction principle, while another paradigmatic example is Basic Law V from Frege's
Walsh, Sean
core +1 more source
Analysing and Comparing Encodability Criteria [PDF]
, 2015 Encodings or the proof of their absence are the main way to compare process calculi. To analyse the quality of encodings and to rule out trivial or meaningless encodings, they are augmented with quality criteria.
Peters, Kirstin, van Glabbeek, Rob
core +4 more sources
Definability and Full Abstraction
Electronic Notes in Theoretical Computer Science, 2007 AbstractGame semantics has renewed denotational semantics. It offers among other things an attractive classification of programming features, and has brought a bunch of new definability results. In parallel, in the denotational semantics of proof theory, several full completeness results have been shown since the early nineties. In this note, we review
openaire +2 more sources
Mechanisms hypothesized for pain-relieving effects of exercise in fibromyalgia: a scoping review
Therapeutic Advances in Musculoskeletal Disease, 2023 Background: Exercise is one of the most recommended management strategies by treatment guidelines for fibromyalgia (FM); however, the mechanism through which exercise improves pain in FM is still unknown. Objective: We aimed to summarize the hypothesized
Yuva Venkata Raghava Neelapala +5 more
doaj +1 more source
Full abstraction for probabilistic PCF [PDF]
, 2015 We present a probabilistic version of PCF, a well-known simply typed universal functional language. The type hierarchy is based on a single ground type of natural numbers. Even if the language is globally call-by-name, we allow a call-by-value evaluation
Ehrhard, Thomas +2 more
core +2 more sources
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 +23 more
wiley +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Oral mucositis is a common and debilitating side effect of childhood cancer and stem cell transplant treatments. It affects the quality of life of children and young people (CYP) and places a strain on services. Photobiomodulation is recommended for oral mucositis prevention in international guidance but is poorly implemented in UK ...
Claudia Heggie +4 more
wiley +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Blinatumomab has been shown to be highly effective for patients with pediatric B‐ALL and has recently become standard of care therapy. Due to its past use in the clinical trial setting, there is limited information available about real‐world administration.
Katelyn Oranges +12 more
wiley +1 more source