Results 41 to 50 of about 1,848,485 (266)

FORMAL METHODS OF EXPERT ESTIMATIONS

open access: yesСтатистика и экономика, 2016
This article series discusses formal methods of expert assessments. Usingthe Delphi method helps to formalize theprocedures for the collection, compilationand analysis of the views of specialists inorder to convert them into a form most convenient for ...
Tea Ya. Danelyan
doaj   +1 more source

Models@Runtime: The Development and Re-Configuration Management of Python Applications Using Formal Methods

open access: yesApplied Sciences, 2021
Models@runtime (models at runtime) are based on computation reflection. Runtime models can be regarded as a reflexive layer causally connected with the underlying system. Hence, every change in the runtime model involves a change in the reflected system,
Mohammed Mounir Bouhamed   +4 more
doaj   +1 more source

Incidence and Severity of Carboplatin‐Associated Hearing Loss in Children With Cancer Assessed by the SIOP Boston 2012 Ototoxicity Criteria

open access: yesPediatric Blood &Cancer, EarlyView.
ABSTRACT Background Platinum‐based chemotherapy is known to cause severe and debilitating hearing loss, but unlike cisplatin, the true incidence of carboplatin‐induced hearing loss remains unclear. We evaluated functional hearing outcomes in children receiving carboplatin to determine the incidence and severity of ototoxicity. Procedure We identified a
Aniket Chawla   +6 more
wiley   +1 more source

Formal Methods and Validation Techniques for Ensuring Automotive Systems Security

open access: yesInformation, 2023
The increasing complexity and connectivity of automotive systems have raised concerns about their vulnerability to security breaches. As a result, the integration of formal methods and validation techniques has become crucial in ensuring the security of ...
Moez Krichen
doaj   +1 more source

Association Between Dinutuximab Beta Exposure and Post‐End‐of‐Treatment Survival in Neuroblastoma: A Weighted Patient‐Level Analysis of Three Clinical Studies

open access: yesPediatric Blood &Cancer, EarlyView.
ABSTRACT Objectives The association between exposure to dinutuximab beta (DB) and event‐free survival (EFS) or overall survival (OS) of neuroblastoma patients was assessed using data collected during three clinical trials (five cohorts). Methods A systematic review (March 2026) was conducted to identify relevant studies (prospective; registered DB ...
Przemysław Holko   +19 more
wiley   +1 more source

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

open access: yesPediatric 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   +11 more
wiley   +1 more source

The Comparison of Tree-Sibling Time Consistent Phylogenetic Networks Is Graph Isomorphism-Complete

open access: yesThe Scientific World Journal, 2014
Several polynomial time computable metrics on the class of semibinary tree-sibling time consistent phylogenetic networks are available in the literature; in particular, the problem of deciding if two networks of this kind are isomorphic is in P.
Gabriel Cardona   +3 more
doaj   +1 more source

FORTEST: formal methods and testing [PDF]

open access: yesProceedings 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   +5 more
openaire   +2 more sources

Misperception of Body Weight After Childhood Cancer

open access: yesPediatric 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   +8 more
wiley   +1 more source

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

open access: yesPediatric 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   +18 more
wiley   +1 more source

Home - About - Disclaimer - Privacy