Results 31 to 40 of about 2,124,868 (293)

Language and tool support for event refinement structures in Event-B

, 2015
Event-B is a formal method for modelling and verifying the consistency of chains of model refinements. The event refinement structure (ERS) approach augments Event-B with a graphical notation which is capable of explicit representation of control flows ...
Butler, Michael, Rezazadeh, Abdolbaghi, Salehi Fathabadi, Asieh   +2 more
core   +1 more source

Energy efficient privacy preserved data gathering in wireless sensor networks having multiple sinks [PDF]

, 2009
Wireless sensor networks (WSNs) generally have a many-to-one structure so that event information flows from sensors to a unique sink. In recent WSN applications, many-tomany structures are evolved due to need for conveying collected event information to ...
Bahsi, Hayretdin, Bahşi, Hayretdin, Levi, Albert   +2 more
core   +1 more source

Spatial structures in event-place formation

Journal of Architecture and Urbanism
Event-places occupy different physical layouts, but we lack a comprehensive understanding of their structures and arrangements. This study aims to uncover some of these patterns by examining various urban spaces recognized as event-places.
Manoochehr Moazzami, Faezeh Tafreshi
doaj   +1 more source

To be at the right place at the right time

Diagnostic Pathology, 2011
Aim To analyze the hypothesis of events or neighborhood interactions that is based upon recognizable structures of systems which possess a surface in a four dimensional space - time constellation {x, y, z, t}. To include the theory of hierarchic order of
Goldmann Torsten, Borkenfeld Stephan, Kayser Klaus, Kayser Gian   +3 more
doaj   +1 more source

Are periodic solar wind number density structures formed in the solar corona? [PDF]

, 2009
[1] We present an analysis of the alpha to proton solar wind abundance ratio (AHe) during a period characterized by significant large size scale density fluctuations, focusing on an event in which the proton and alpha enhancements are anti-correlated. In
Kasper, J., Spence, Harlan E., Viall, N. M.   +2 more
core   +2 more sources

Data Structures on Event Graphs [PDF]

Algorithmica, 2012
15 pages, 7 figures, a preliminary version appeared in Proc.
Chazelle, Bernard, Mulzer, Wolfgang
openaire   +3 more sources

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

Cache-Aware Memory Manager for Optimistic Simulations [PDF]

, 2012
Parallel Discrete Event Simulation is a well known technique for executing complex general-purpose simulations where models are described as objects the interaction of which is expressed through the generation of impulsive events.
CERASUOLO, GIONATA, Pellegrini, Alessandro, Vitali, Roberto   +2 more
core   +1 more source

Why and When Are Evidence‐Based Interventions Adopted in Paediatric Supportive Care? A Qualitative Exploration of the Determinants of Photobiomodulation Implementation

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, Kara A. Gray‐Burrows, Peter F. Day, Bob Phillips, Carl A. Thompson   +4 more
wiley   +1 more source

Nice labeling problem for event structures: a counterexample

, 2011
In this note, we present a counterexample to a conjecture of Rozoy and Thiagarajan from 1991 (called also the nice labeling problem) asserting that any (coherent) event structure with finite degree admits a labeling with a finite number of labels, or ...
Chepoi, Victor
core   +3 more sources