Results 51 to 60 of about 1,018,595 (300)
Games with recurring certainty [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 Infinite games where several players seek to coordinate under imperfect information are known to be intractable, unless the information flow is severely restricted.
Dietmar Berwanger, Anup Basil Mathew
doaj +1 more source
Temporal verification in secure group communication system design [PDF]
, 2007 The paper discusses an experience in using a real-time UML/SysML profile and a formal verification toolkit to check a secure group communication system against temporal requirements.
Villemur, Thierry +7 more
core +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Allogeneic hematopoietic stem cell transplantation (alloHSCT) is an essential therapy for several malignant and nonmalignant diseases, but relapse and graft loss remain the principal threats to its success. Routine monitoring of chimerism and minimal residual disease (MRD) enables early detection of imminent recurrence and guides ...
Carmen Junk +10 more
wiley +1 more source
Towards inferring reactor operations from high-level waste
Nuclear Engineering and TechnologyNuclear archaeology research provides scientific methods to reconstruct the operating histories of fissile material production facilities to account for past fissile material production.
Benjamin Jung +2 more
doaj +1 more source
System Verification through Program Verification
, 2011 We present an automatable approach to verify that a system satisfies its requirements by verification of the program that controls the system. The approach can be applied if the interaction of the program with the system hardware can be faithfully described by a table relating domain phenomena and program variables.
Dietsch, Daniel +2 more
openaire +4 more sources
ACM SIGMETRICS Performance Evaluation Review, 2005 Some twentyfive years ago, the field of computer-communication system performance evaluation and the field of formal specification and verification were regarded as completely disjunct. The former field focussed on the quantitative aspects of system behaviour, expressed in measures such as delays, throughputs and loss probabilities ...
Boudewijn R. Haverkort +1 more
openaire +1 more source
Pediatric Idiopathic Multicentric Castleman Disease Is Often Severe But Responsive to Siltuximab
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Idiopathic multicentric Castleman disease (iMCD) is a potentially fatal immunologic disorder marked by widespread lymphadenopathy and inflammation. Siltuximab, an interleukin‐6 (IL‐6) inhibitor, is the only FDA‐approved treatment for adult patients with iMCD.
Bridget Austin +17 more
wiley +1 more source
Consumer's Risk in Zero-defect Sampling Inspection of Surveying and Mapping Products [PDF]
ISPRS Annals of the Photogrammetry, Remote Sensing and Spatial Information SciencesThrough theoretical analysis and empirical research, this study thoroughly examines the theoretical foundations and practical applications of zero-defect sampling inspection schemes, revealing significant differences between inspecting large lots as a ...
F. Luo +9 more
doaj +1 more source
Frontiers in Oncology, 2021 ObjectiveTo report the morphologic characteristics of tumor-related vasculatures and their association with secondary choroidal neovascularization (CNV), subretinal fluid (SRF), choroidal thickness, retinal pigment epithelium (RPE) alterations ...
Nan Zhou +4 more
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Numerous international studies have reported declines in new cancer diagnoses, delayed diagnoses and disruptions in cancer treatment following the implementation of COVID‐19 pandemic public health measures, raising concerns that these effects may ultimately contribute to increased cancer mortality.
Friederike Erdmann +8 more
wiley +1 more source