Results 31 to 40 of about 37,558,898 (309)
The model checking fingerprints of CTL operators
, 2015 The aim of this study is to understand the inherent expressive power of CTL operators. We investigate the complexity of model checking for all CTL fragments with one CTL operator and arbitrary Boolean operators.
Krebs, Andreas +2 more
core +1 more source
Compact Real-Time Inter-Frame Histogram Builder for 15-Bits High-Speed ToF-Imagers Based on Single-Photon Detection [PDF]
, 2019 Time-of-flight (ToF) image sensors based on single-photon detection, i.e., SPADs, require some filtering of pixel readings. Accurate depth measurements are only possible if the jitter of the detector is mitigated.
Carmona Galán, Ricardo +3 more
core +1 more source
Constraint-Based Qualitative Simulation
, 2005 We consider qualitative simulation involving a finite set of qualitative relations in presence of complete knowledge about their interrelationship.
Apt, Krzysztof R., Brand, Sebastian
core +2 more sources
Primitive TiderThis paper has provided an overview over the Viking Age burials containing textile- and cooking equipment, such as spindlewhorls, woolcombs, weaver`s baton, frying pans and loom weights in combination with weapons.
Lillian Time
doaj +1 more source
LTL Fragments are Hard for Standard Parameterisations
, 2015 We classify the complexity of the LTL satisfiability and model checking problems for several standard parameterisations. The investigated parameters are temporal depth, number of propositional variables and formula treewidth, resp., pathwidth.
Lück, Martin, Meier, Arne
core +1 more source
‘Time’ in tourism: ‘individual time’ and ‘social time’ [PDF]
, 2009 The author does a review of the research into tourist activity and concludes that the particular character of tourist behaviour is reflected best in the study of time budgets. He proposes Max Weber's ideal-type method to be used in the analysis.
Bonneau, Michel
core +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
Simplifying Inductive Schemes in Temporal Logic [PDF]
, 2019 In propositional temporal logic, the combination of the connectives "tomorrow" and "always in the future" require the use of induction tools. In this paper, we present a classification of inductive schemes for propositional linear temporal logic that ...
Cordero, Pablo, Fortes, Inmaculada
core +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background An international Delphi panel of experts developed consensus statements to delineate the circumstances where the risks of dexamethasone as an antiemetic do and do not outweigh its benefits. Procedure Experts in supportive care of pediatric patients were invited to participate.
Negar Shavandi +20 more
wiley +1 more source
Time Discounting and Time Consistency [PDF]
, 2012 Time discounting is the phenomenon that a desired result in the future is perceived as less valuable than the same result now. Economic theories can take this psychological fact into account in several ways. In the economic literature the most widely used type of additive time discounting is exponential discounting. In exponential discounting, the fall
DIMITRI, NICOLA, VAN EIJCK J.
openaire +5 more sources