Results 41 to 50 of about 5,530,700 (284)

A systematic approach to atomicity decomposition in Event-B [PDF]

, 2012
Event-B is a state-based formal method that supports a refinement process in which an abstract model is elaborated towards an implementation in a step-wise manner.
Salehi Fathabadi, Asieh, Abdolbaghi Rezazadeh, Asieh Salehi Fathabadi, Rezazadeh, Abdolbaghi, Butler, Michael, Michael Butler   +5 more
core   +1 more source

Trust in event structures

Theoretical Computer Science, 2014
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

An introduction to event structures

DAIMI Report Series, 1989
Event structures are models of processes as events constrained by relations of consistency and enabling. These notes are intended to introduce the mathematical theory of event structures, show how they are related to Petri nets and Scott domains, and how they can be used to provide semantics to programming languages for parallel processes as well as ...
openaire   +3 more sources

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

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

Les relations entre les structures situationnelles et les sources de conceptualisation dans le fait divers

Neophilologica, 2019
In this paper the author analyzes the relations between situational structures and sources of conceptualization in fait divers. Situational structures of discourse are defined as a sequence of experiential frames. Each frame permits to conceptualize one
Ewa Miczka
doaj   +1 more source

Solid Pseudopapillary Neoplasm of the Pancreas in Children and Adolescents: Expert Recommendations

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Solid pseudopapillary neoplasm of the pancreas (SPN) is a rare low‐grade malignant exocrine pancreatic tumor, mostly discovered during the second decade of life in females, with a very good prognosis, provided microscopically complete surgical excision is achieved.
Sabine Irtan, Michael Abele, Calogero Virgone, Michaela Kuhlen, Ricardo Lopez‐Almarez, Tal Ben‐Ami, Ewa Bien, Maja Cesen, Malgorzata A. Krawczyk, Andrea Ferrari, Gianni Bisogno, Yves Reguerre, Dominik T. Schneider, Louise Galmiche, Jorg Fuchs, Sarah Braungart, Bilgehan Yalcin, Ines B. Brecht, Daniel Orbach   +18 more
wiley   +1 more source

Unified Mathematical Framework for Slicing and Symmetry Reduction over Event Structures

Journal of Applied Mathematics, 2014
Nonclassical slicing and symmetry reduction can act as efficient structural abstract methods for pruning state space when dealing with verification problems.
Xinyan Gao, Yingcai Ding, Wenbo Liu, Kaidi Zheng, Siyu Huang, Ning Zhou, Dakui Li   +6 more
doaj   +1 more source

Ovarian Sex Cord Stromal Tumors in Children and Adolescents—The European Standard Clinical Practice Recommendations

Pediatric Blood &Cancer, EarlyView.
ABSTRACT As part of the European Cooperative Study Group for Paediatric Rare Tumours initiative, we developed standard clinical practice guidelines for ovarian sex cord stromal tumors, based on comprehensive national and international cohort analyses, literature review, and a final expert consensus conference.
Dominik T. Schneider, Kris‐Ann Schultz, Nora Schnitzler, Michael Abele, Tal Ben‐Ami, Ewa Bien, Gianni Bisogno, Ines B. Brecht, Maja Cesen, Andrea Ferrari, Michaela Kuhlen, Malgorzata A. Krawczyk, Ricardo Lopez‐Almaraz, Yves Reguerre, Calogero Virgone, Daniel Orbach   +15 more
wiley   +1 more source