Results 31 to 40 of about 1,355,738 (276)
A Static Analyzer for Large Safety-Critical Software [PDF]
, 2003 We show that abstract interpretation-based static program analysis can be made efficient and precise enough to formally verify a class of properties for a family of large programs with few or no false alarms.
Antoine Miné +12 more
core +11 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background The HIT network was established in 2000 to create a population‐based structure aiming to improve survival rates and reduce late effects for children with central nervous system (CNS) tumors by conducting comprehensive clinical trials.
Stefan Rutkowski +59 more
wiley +1 more source
Symptom management care pathway adaptation process and specific adaptation decisions
BMC Cancer, 2023 Abstract Background There is substantial heterogeneity in symptom management provided to pediatric patients with cancer. The primary objective was to describe the adaptation process and specific adaptation decisions related to symptom management care pathways based on clinical practice guidelines. The secondary objective
Emily Vettese +19 more
openaire +4 more sources
, 2017 Sea-levels are rising in many areas around the world, posing risks to coastal communities and infrastructures. Strategies for managing these flood risks present decision challenges that require a combination of geophysical, economic, and infrastructure ...
Forest, Chris E. +6 more
core +1 more source
Pediatric Blood &Cancer, EarlyView.Abstract Background Sickle cell disease (SCD) is an autosomal recessive hemoglobinopathy affecting millions of individuals worldwide. The clinical expression and psychosocial burden of SCD vary widely across geographical, cultural, and healthcare system contexts, underscoring the need for setting‐specific approaches to assessment.
Desiré Fantasia +7 more
wiley +1 more source
Frontiers in Sustainability, 2021 Climate change and extreme weather events put in peril the critical coastal infrastructure that is vital to economies, livelihoods, and sustainability.
Elizabeth L. Mclean, Austin Becker
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Neuroblastoma is the most common extracranial solid tumor in early childhood. Its clinical behavior is highly variable, ranging from spontaneous regression to fatal outcome despite intensive treatment. The International Society of Pediatric Oncology Europe Neuroblastoma Group (SIOPEN) Radiology and Nuclear Medicine Specialty Committees ...
Annemieke Littooij +11 more
wiley +1 more source
On adaptive decision rules and decision parameter adaptation for automatic speech recognition [PDF]
Proceedings of the IEEE, 2000 Recent advances in automatic speech recognition are accomplished by designing a plug-in maximum a posteriori decision rule such that the forms of the acoustic and language model distributions are specified and the parameters of the assumed distributions are estimated from a collection of speech and language training corpora.
Lee, CH, Huo, Q
openaire +3 more sources
Temporal video transcoding from H.264/AVC-to-SVC for digital TV broadcasting [PDF]
, 2015 Mobile digital TV environments demand flexible video compression like scalable video coding (SVC) because of varying bandwidths and devices. Since existing infrastructures highly rely on H.264/AVC video compression, network providers could adapt the ...
Cuenca, P +5 more
core +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Primary lung carcinomas and bronchial carcinoid tumors (BC) are very rare malignancies in childhood. While typical BC and mucoepidermoid carcinomas are mostly low‐grade, localized tumors with a more favorable prognosis than in adults, necessitating avoidance of overtreatment, adenocarcinomas of the lung are often diagnosed at advanced disease ...
Michael Abele +19 more
wiley +1 more source