Results 71 to 80 of about 6,407,651 (267)
An algorithm for compositional nonblocking verification of extended finite-state machines [PDF]
, 2014 This paper describes an approach for compositional nonblocking verification of discrete event systems modelled as extended finite-state machines (EFSM). Previous results about finite-state machines in lock-step synchronisation are generalised and applied
Fabian, Martin, +6 more
core +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective The prognosis of glioblastoma (GBM) remains highly unfavorable, largely due to high tumor heterogeneity and an immunosuppressive microenvironment. However, the functional role of PANoptosis in this context is poorly understood. Methods Patients were stratified via K‐means clustering. A risk score model was constructed using prognosis‐
Langfei Tian +6 more
wiley +1 more source
Arthritis Care &Research, EarlyView.Objective The aim of this study was to determine the differences in demographic, serologic, and clinical characteristics between male and female patients with systemic sclerosis (SSc) in an Australian cohort. Methods This was a retrospective observational study using data from the Australian Scleroderma Cohort Study.
Emily Lin +14 more
wiley +1 more source
Event experiences: design, management and impact [PDF]
The papers submitted for this PhD by publication represent research centered on event experiences and their design, management and impact. They are the result of research projects that have produced seven published peer-reviewed papers and one book.
Berridge, Graham
core +3 more sources
Incidental Thrombus Straddling Patent Foramen Ovale Found on Intraoperative Transesophageal Echocardiogram in a Patient With a Ventricular Assist Device. [PDF]
CASE (Phila), 2023 Stephenson A, Songster J.
europepmc +1 more source
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 ...
Salehi Fathabadi, Asieh +2 more
core +1 more source
Complex Actions for Event Processing [PDF]
, 2012 Automatic reactions triggered by complex events have been deployed with great success in particular domains, among others, in algorithmic trading, the automatic reaction to realtime analysis of marked data.
Steffen Hausmann +5 more
core +1 more source
Development of a Disease Activity Index for the Assessment of VEXAS Syndrome (VEXAS‐DAI)
Arthritis Care &Research, EarlyView.Objective Vacuoles, E1 enzyme, X‐linked, autoinflammatory, somatic syndrome (VEXAS) syndrome is characterized by a complex spectrum of inflammatory and hematologic manifestations. Clinical research to identify effective therapies is urgently needed but is hindered by the lack of validated outcome measures.
Kevin Byram +25 more
wiley +1 more source
Endeavouring interplay: a grounded theory study of how nurse educators' work with simulation-based learning. [PDF]
BMC Nurs, 2023 Røykenes K, Kvernenes M, Giske T.
europepmc +1 more source
Maximizing reachability probabilities in rectangular automata with random events
Science of Computer ProgrammingPublished by Elsevier Science, Amsterdam [u.a.]
Delicaris, Joanna +4 more
openaire +2 more sources