Results 51 to 60 of about 129,094 (257)

Formal Verification of Linux Kernel Library Functions

Труды Института системного программирования РАН, 2018
The paper presents result of a study on deductive verification of 26 Linux kernel library functions with AstraVer toolset. The code includes primarily string-manipulating functions and is verified against contract specifications formalizing its ...
D. V. Efremov, M. U. Mandrykin
doaj   +1 more source

Consensus Standards and Recommendations for Developmental and Cognitive Surveillance, Screening, and Evaluation in Sickle Cell Disease: Executive Summary From the National Alliance of Sickle Cell Centers Neurocognitive Workgroup

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Neurodevelopmental and neurocognitive difficulties are prevalent among individuals with sickle cell disease and warrant prompt identification and support. This Special Report provides an executive summary of standards and recommendations for surveillance, screening, and evaluation for development and cognition across the lifespan developed by ...
Alyssa M. Schlenz, Donna Murdaugh, Andrew M. Heitzer, Jennifer N. Longoria, Wendy Santos‐Modesitt, Arianna Martin, Judy Cavazos, Jeff Schatz, Catherine R. Hoyt, Alison King, Eboni I. Lance, Steven Hardy, Marsha Treadwell   +12 more
wiley   +1 more source

Phase Angle as an Early Functional Biomarker of Cancer‐Related Fatigue in Pediatric Oncology: A Prospective Longitudinal Study

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Pediatric cancer remains a leading cause of morbidity and mortality worldwide, particularly in low‐and middle‐income countries. Cancer treatment may impair nutritional status, alter body composition, and exacerbate cancer‐related fatigue (CRF).
Luís Carlos Lopes‐Junior, Luiz Claudio Barreto Silva Neto, Fabiano Kenji Haraguchi, Letícia Batista de Azevedo, Marcelo Brenner Nascimento Carlini, Raphael Manhães Pessanha, Mariana Rabello Laignier, Wesley Rocha Grippa, Tania Mara Lopes Bitti Bortolini, Gláucia Zouain‐Figueiredo, Regina Aparecida Garcia de Lima, Liliana Vasquez   +11 more
wiley   +1 more source

Towards formal verification of cyber security standards

Труды Института системного программирования РАН, 2018
Cyber security standards are often used to ensure the security of industrial control systems. Nowadays, these systems are becoming more decentralized, making them more vulnerable to cyber attacks.
Tomas Kulik, Peter Gorm Larsen
doaj   +1 more source

Towards Evaluating Size Reduction Techniques for Software Model Checking [PDF]

Electronic Proceedings in Theoretical Computer Science, 2017
Formal verification techniques are widely used for detecting design flaws in software systems. Formal verification can be done by transforming an already implemented source code to a formal model and attempting to prove certain properties of the model (e.
Gyula Sallai, Ákos Hajdu, Tamás Tóth, Zoltán Micskei   +3 more
doaj   +1 more source

Mapping Childhood Cancer Care Services in Oceania: Methodological Lessons From the SIOP Global Mapping Programme

Pediatric Blood &Cancer, EarlyView.
ABSTRACT The International Paediatric Oncology Society Global Mapping Programme aims to collect data on global paediatric oncology services by continent, with Africa and Latin America completed. This study reports on the methodology and lessons learned for Oceania, a unique continent with resource disparity across countries, multiple small island ...
Trisha Soosay Raj, Christy Noble, Amy Gray, Daniel C. Moreira, Jennifer Lowe, Maite Gorostegui, Gwenda Anga, Andrew Soma, Milena Lay Dos Santos, Siobhan Cross, Erin Luttrell, Michael Sullivan, Julie Cayrol, Julia Challinor, Neil Ranasinghe, Jordana McLoone, Claire E. Wakefield   +16 more
wiley   +1 more source

A Pyramid Of (Formal) Software Verification [PDF]

AbstractOver the past few years there has been significant progress in the various fields of software verification resulting in many useful tools and successful deployments, both academic and commercial. However much of the work describing these tools and ideas is written by and for the research community.
Brain, M., Polgreen, E.
openaire   +2 more sources

Animal‐Assisted Activities With Therapy Dogs in Pediatric Oncology: A Multicenter Survey of the Current Status, Implementation, and Challenges in Germany, Austria, and Switzerland

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Animal‐assisted activities (AAAs) with therapy dogs have shown positive effects on patient well‐being and quality of life in various areas of medicine, including pediatric oncology. However, research on this topic is limited. The aim of this study is to present the current status of AAA in pediatric oncology in Germany, Austria, and
Jan‐Marius Wedig, Birgit Burkhardt, Christof M. Kramm, Kira Ostermann, Sarah C. Goretzki, Uta Dirksen, Nico Kurpiers, Michael M. Schündeln   +7 more
wiley   +1 more source

Establishing an Apheresis Medicine Program in a Resource‐Constrained Setting: A 5‐Year Experience From Lagos, Nigeria

Therapeutic Apheresis and Dialysis, EarlyView.
ABSTRACT Background Establishing a comprehensive apheresis medicine program in a resource‐constrained setting presents significant structural, financial, and logistical challenges. Despite the growing clinical importance of apheresis services globally, published experience from sub‐Saharan Africa remains sparse.
Folasade Adelekan‐Popoola, Shakirat Gold‐Olufadi, Olufunto Olufela Kalejaiye, Abdullateef Ogala, Rasheed A. Balogun   +4 more
wiley   +1 more source

Research on formal description and verification of automated trust negotiation

Tongxin xuebao, 2011
First,a unified ATN formal framework was presented,into which typical negotiation strategies could be reduced.Second,the formal verification of ATN was defined based on the formal framework.The objectives and procedures of the formal verification of ATN ...
GUAN Shang-yuan 1, WU Wei-guo 1, DONG Xiao-she 1, QIAN De-pei1   +3 more
doaj   +2 more sources