Results 41 to 50 of about 140,437 (320)
Dynamic Socio-technical System Design based on Stakeholder Interaction
Complex Systems Informatics and Modeling Quarterly, 2015 In order to directly involve stakeholders in socio-technical system design, we argue for streamlining executable process specifications with business process modeling.
Albert Fleischmann +2 more
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT The pediatric hematology‐oncology fellowship training curriculum has not substantially changed since its inception. The first year of training is clinically focused, and the second and third years are devoted to scholarship. However, this current structure leaves many fellows less competitive in the current job market, resulting in ...
Scott C. Borinstein +3 more
wiley +1 more source
Validating Avionics Conceptual Architectures with Executable Specifications [PDF]
Journal of Systemics, Cybernetics and Informatics, 2012 Current avionics systems specifications, developed after conceptual design, have a high degree of uncertainty. Since specifications are not sufficiently validated in the early development process and no executable specification exists at aircraft level ...
Nils Fischer, Horst Salzwedel
doaj
Investigación Administrativa, 1980 Mature executives don’t get bored. They have the com mitment to a vision of the future of their organizations that keeps them enthusiastically engaged in their jobs day after long, hard day.
openaire +2 more sources
Psychosocial Outcomes in Patients With Endocrine Tumor Syndromes: A Systematic Review
Pediatric Blood &Cancer, EarlyView.ABSTRACT Introduction The combination of disease manifestations, the familial burden, and varying penetrance of endocrine tumor syndromes (ETSs) is unique. This review aimed to portray and summarize available data on psychosocial outcomes in patients with ETSs and explore gaps and opportunities for future research and care.
Daniël Zwerus +6 more
wiley +1 more source
METHOD OF DISPLAYING AN EXECUTABLE BUSINESS PROCESS MODELS INTO PETRI NETS
Статистика и экономика, 2016 Executable business process models, as well as programs, require evidence of a defect-free finish. The methods based on the formalism of Petri nets are widely used.
Igor G. Fedorov
doaj +1 more source
From Solvable to Executable Models of Biological Systems [PDF]
, 2008 Classical modeling approaches for biology are mainly grounded in mathematics, and specifically on ordinary differential equations (ODE). Process calculi-based conceptual and computational tools are an alternative and emergent approach.
Palmisano, Alida, Priami, Corrado
core
Code extraction algorithms which unify slicing and concept assignment [PDF]
One approach to reverse engineering is to partially automate subcomponent extraction, improvement and subsequent recombination. Two previously proposed automated techniques for supporting this activity are slicing and concept assignment. However, neither
Binkley, D +3 more
core +4 more sources
Progression and Verification of Situation Calculus Agents with Bounded Beliefs [PDF]
, 2016 We investigate agents that have incomplete information and make decisions based on their beliefs expressed as situation calculus bounded action theories.
DE GIACOMO, Giuseppe +3 more
core +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Purpose Metabolic syndrome (MetS) is a common complication in survivors of childhood acute lymphoblastic and myeloid leukemia (AL), and a major risk factor for premature cardiovascular disease, type‐2‐diabetes, and metabolic dysfunction‐associated steatotic liver disease (MASLD).
Visentin Sandrine +10 more
wiley +1 more source