Results 41 to 50 of about 1,347,993 (267)

Regional methodological theoretical seminar "Theoretical studies": "Formal method in literature studies and its criticism"

Семиотические исследования, 2023
The article is devoted to a scientific event - the IV Regional methodological theoretical seminar "Theoretical studies". The article quotes excerpts from Professor N.T. Rymar’s seminar introductory lecture and reviews the topics raised during the seminar.
Yuliya R. Garbuzinskaya, Valeria N. Ivanova, Nikolay T. Rymar   +2 more
doaj  

ASSIST: Refinement of a Benefits Navigator Intervention Among Low‐Income Pediatric Oncology Families

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background/Objectives Children with cancer living in poverty experience worse survival and quality of life. Interventions connecting low‐income families to benefits (e.g., Supplemental Nutrition Assistance Program [SNAP] improve health outcomes; yet nearly 50% of SNAP‐eligible pediatric oncology families are unenrolled.
Puja J. Umaretiya, Selena Murcia Mendez, Jennifer Kellett, Sarah Wright, Marisel Ponton, Robin T. Higashi, Rahela Aziz‐Bose, Colleen A. Kelly, Ayesha Zia, Joanne Wolfe, Sandi L. Pruitt, Kira Bona   +11 more
wiley   +1 more source

ESSKA consensus initiative: why, when and how?

Journal of Experimental Orthopaedics, 2023
The goal of a Consensus in clinical practice is to provide daily practitioners with evidence‐ based recommendations on data from the literature, clinical expertise and expectations of professionals and patients.
Philippe Beaufils, David Dejour, Giuseppe Filardo, Joan Carles Monllau, Jacques Menetrey, Romain Seil, Roland Becker   +6 more
doaj   +1 more source

FORTEST: formal methods and testing [PDF]

Proceedings 26th Annual International Computer Software and Applications, 2005
Formal methods have traditionally been used for specification and development of software. However there are potential benefits for the testing stage as well. The panel session associated with this paper explores the usefulness or otherwise of formal methods in various contexts for improving software testing. A number of different possibilities for the
Jonathan P. Bowen, Kirill Bogdanov 0002, John A. Clark, Mark Harman, Robert M. Hierons, Paul J. Krause   +5 more
openaire   +2 more sources

Misperception of Body Weight After Childhood Cancer

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Misperception of body weight can negatively impact the weight management efforts of childhood cancer survivors (CCSs). Both being overweight or underweight are associated with chronic health conditions commonly observed in CCS; therefore, accurate weight perception is critical for reducing long‐term health risks.
Fabiën N. Belle, Tomáš Sláma, Eva Haegler‐Laube, Reto D. Kurmann, Gabriela M. Kuster, Christoph Saner, Eva Scheler, Yara Shoman, Christina Schindera   +8 more
wiley   +1 more source

Method specification for automated evaluation of documents formal quality

Acta Universitatis Agriculturae et Silviculturae Mendelianae Brunensis, 2009
Automated documents processing allows production of large amount of documents. Formal quality of the documents is very important as it contributes to better understanding and information transmission.
Petra Talandová, Jiří Rybička
doaj   +1 more source

Solid Pseudopapillary Neoplasm of the Pancreas in Children and Adolescents: Expert Recommendations

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Solid pseudopapillary neoplasm of the pancreas (SPN) is a rare low‐grade malignant exocrine pancreatic tumor, mostly discovered during the second decade of life in females, with a very good prognosis, provided microscopically complete surgical excision is achieved.
Sabine Irtan, Michael Abele, Calogero Virgone, Michaela Kuhlen, Ricardo Lopez‐Almarez, Tal Ben‐Ami, Ewa Bien, Maja Cesen, Malgorzata A. Krawczyk, Andrea Ferrari, Gianni Bisogno, Yves Reguerre, Dominik T. Schneider, Louise Galmiche, Jorg Fuchs, Sarah Braungart, Bilgehan Yalcin, Ines B. Brecht, Daniel Orbach   +18 more
wiley   +1 more source

The 4SECURail Formal Methods Demonstrator

, 2022
The need for high-quality standard interfaces is widely rec- ognized as a mandatory step to reduce procurement costs and create safely operating complex railway infrastructures. That is why European initiatives like EULYNX have been set up precisely with the purpose of supporting standard interfaces development.
Mazzanti F, Belli D
openaire   +2 more sources

Bridging the Gap in Neuroblastoma Care: Consensus‐Based Statements With Recommendations for Improved Patient and Caregiver Experiences

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Neuroblastoma's complex, heterogeneous biology poses significant diagnostic and therapeutic challenges, often requiring caregivers to absorb complex information and participate in time‐sensitive decisions. However, caregivers often feel unprepared to evaluate options.
Vickie Buenger, Joseph Bauer, Jennifer Diamond, Maggie Fader, Shae Hansen, Jacqueline M. Kraveka, Johanna Schoen, Amber Shearer, Dena Sherwood   +8 more
wiley   +1 more source

Formal Methods and CyberSecurity

CoRR, 2019
Formal methods have been largely thought of in the context of safety-critical systems, where they have achieved major acceptance. Tens of millions of people trust their lives every day to such systems, based on formal proofs rather than ``we haven't found a bug'' (yet!).
openaire   +2 more sources