Results 51 to 60 of about 1,347,993 (267)

Impact of Metastatic Patterns on Survival and Response to Therapy in Neuroblastoma

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background While the presence of metastases in neuroblastoma (NB) is a well‐established prognostic factor, the clinical significance of dissemination patterns and tumour burden and their impact on response and survival remains poorly understood.
Mariona Morell‐Daniel, Santiago Pérez‐Hoyos, Aroa Soriano, Ana Coma, Amalia Varo, Raquel Hladun, Gabriela Guillén, Soraya Mico, Marta Garrido, Lourdes Rubio, Alba Rubio‐San‐Simón, Ana Minguez, Ricardo López‐Almaraz, Laura Illade, Miguel F. Segura, Lucas Moreno   +15 more
wiley   +1 more source

Process Algebraic Approach for Probabilistic Verification of Safety and Security Requirements of Smart IoT (Internet of Things) Systems in Digital Twin

Sensors
Process algebra can be considered one of the most practical formal methods for modeling Smart IoT Systems in Digital Twin, since each IoT device in the systems can be considered as a process.
Junsup Song, Sunghyun Lee, Dimitris Karagiannis, Moonkun Lee   +3 more
doaj   +1 more source

A formal analysis method for composition protocol based on model checking

Scientific Reports, 2022
Protocol security in a composition protocol environment has always been an open problem in the field of formal analysis and verification of security protocols. As a well-known tool to analyze and verify the logical consistency of concurrent systems, SPIN
Meihua Xiao, Hanyu Zhao, Ke Yang, Ri Ouyang, Weiwei Song   +4 more
doaj   +1 more source

Formal methods: promises and problems [PDF]

IEEE Software, 1997
Successfully applying formal methods to software development promises to move us closer to a true engineering discipline. The authors offer suggestions for overcoming the problems that have hindered the use of formal methods thus far.
Luqi, Goguen, Joseph A.
openaire   +2 more sources

Inpatient Exposure, Confidence, and Knowledge in Pediatric Hematology/Oncology: Evaluating General Pediatric Residents During 2025 ACGME Curriculum Change

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background General pediatricians often evaluate hematologic and oncologic presentations before subspecialty consultation, yet the 2025 Accreditation Council for Graduate Medical Education (ACGME) pediatric requirements reduce inpatient pediatric hematology/oncology (PHO) time, raising questions about resident readiness.
Colburn Yu, Rohini Jain
wiley   +1 more source

Logic as a Formal Method [PDF]

The Computer Journal, 1992
The aim of this article is to present, in outline, a representative selection of the ways in which formal logic has been of service to computer science. Logic offers so many possibilities of application, and there are so many diverse groups of researchers developing logic-based applications, that it will be impossible in the space available to do ...
openaire   +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

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

Using business process reengineering to obtain a RAISE specification

Journal of Computer Science and Technology, 2002
We have proposed a technique which can be employed within the methodology known as business process reengineering. This technique has been applied in a government project, which included an Information System and Geographical Information System ...
Daniel Eduardo Riesco, Roberto Uzal, Germán Antonio Montejano   +2 more
doaj  

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