Results 51 to 60 of about 25,005,250 (309)
Theoretical Computer Science, 2006 We report on the detailed verification of a substantial portion of the Kerberos 5 protocol specification. Because it targeted a deployed protocol rather than an academic abstraction, this multi-year effort led to the development of new analysis methods in order to manage the inherent complexity.
Frederick Butler +4 more
openaire +2 more sources
Global Efforts to Reduce Paediatric Cancer Care Disparities in Radiotherapy: A Decade Change
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background We present an update on the status, needs and challenges faced by paediatric imaging and radiotherapy (RT) programmes globally after a previous survey conducted by the International Atomic Energy Agency (IAEA) 10 years prior. Methods We developed and distributed a 121‐question survey to radiation oncologists, medical physicists and ...
Raymond B. Mailhot Vega +10 more
wiley +1 more source
Formalizing Basic Quaternionic Analysis
, 2017 We present a computer formalization of quaternions in the HOL Light theorem prover. We give an introduction to our library for potential users and we discuss some implementation choices.
Andrea Gabrielli, Marco Maggesi
openaire +2 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Shwachman–Diamond syndrome (SDS) is a rare autosomal recessive ribosomopathy characterized by bone marrow failure and multisystem involvement, with emerging evidence of associated neurocognitive impairment. Methods We conducted a retrospective study of 240 individuals with biallelic Shwachman–Bodian–Diamond syndrome (SBDS) mutations
Jane Koo +11 more
wiley +1 more source
VERIFICATION OF KEY MANAGEMENT CRYPTOGRAPHIC PROTOCOLS WITH COLORED PETRI NETS
Advanced Engineering Research, 2011 The possibility of using colored Petri nets for the analysis of key distribution cryptographic protocols as an example of symmetric Needham—Schroeder protocol is reviewed and evaluated.
Nadezhda S. Mogilevskaya +1 more
doaj
Ars & HumanitasTeaching formal analysis in art history often reveals gaps between students’ visual perception and their analytical articulation. This study explores the pedagogical potential of AI image generators in art history education, focusing on their role in ...
Marjana Dolšina Delač
doaj +1 more source
A Formal Analysis of 5G Authentication [PDF]
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018 Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security (CCS'18)
David A. Basin +5 more
openaire +8 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT We assessed the effect of iron overload (IO) on mortality and complications following hematopoietic stem cell transplantation (HSCT) in patients with Diamond–Blackfan anemia syndrome (DBAS) in a systematic review of individual participant data and cohort data from observational studies.
Geoffrey Z. L. Kuppens +6 more
wiley +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Purpose Next‐generation sequencing (NGS) has emerged as a promising approach to improve diagnostic accuracy, but its feasibility in low‐ and middle‐income countries remains unknown. This study characterized the diagnostic landscape and assessed organizational readiness for NGS implementation at two childhood cancer treatment centers in Accra ...
Melissa Carvalho +6 more
wiley +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Children with sickle cell anemia (SCA) in low‐income settings are at risk of severe malnutrition, but optimal nutritional management has not been established. We evaluated an intensified ready‐to‐use therapeutic food (RUTF) regimen in children with persistent severe malnutrition after initial treatment and assessed whether early ...
Safiya Gambo +9 more
wiley +1 more source