Results 41 to 50 of about 282,705 (268)
Invariant Elimination of Definite Iterations over Arrays in C Programs Verification
This work represents the further development of the method for definite iteration verification [7]. It extends the mixed axiomatic semantics method [1] suggested for C-light program verification. This extension includes a verification method for definite
Ilya V. Maryasov +2 more
doaj +1 more source
ABSTRACT Purpose Despite 5‐year survival rates of over 90% among children and adolescents/young adults (CAYAs) with classic Hodgkin lymphoma (cHL), 15%–20% relapse after frontline therapy. Prior analysis of frontline Children's Oncology Group (COG) clinical trials demonstrated that, despite similar rates of relapse, non‐Hispanic Black (NHB) and ...
Mallorie B. Heneghan +14 more
wiley +1 more source
Objective: The aim of this study was to find a technique to make a disposable monofilament which is accurate and affordable for Thailand context. A prototype of local made monofilament was developed and tested with the calibrated universal machine test
Danu Prommin, Ph.D. +6 more
doaj +1 more source
Practitioners’ Perspectives towards Requirements Engineering: A Survey
In this paper, we discuss the results of our survey among 84 practitioners in order to understand practitioners’ perspectives towards requirements engineering. We asked 28 questions to learn the practitioners’ motivations, the techniques and technologies
Mert Ozkaya +4 more
doaj +1 more source
Solid Pseudopapillary Neoplasm of the Pancreas in Children and Adolescents: Expert Recommendations
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
This paper is concerned with semantic noun phrase typology, focusing on the question of how to draw fine-grained distinctions necessary for an accurate account of natural language phenomena. In the extensive literature on this topic, the most commonly encountered parameters of classification concern the semantic type of the denotation of the noun ...
openaire +2 more sources
From Conceptual Specification to OO Specification
Our earlier work showed how to improve the development path for an information system from initial user wishes via a conceptual specification (CS) to an implementation design in a systematic way. A CS should be implementation-independent. We generated implementations in a few directions, e.g., towards a relational DBMS using SQL. An object-oriented (OO)
Bert de Brock, Rein Smedinga
openaire +2 more sources
The remarkable diversity of neurons in the nervous system is generated during development, when properties such as cell morphology, receptor profiles and neurotransmitter identities are specified.
Alicia Estacio-Gómez +4 more
doaj +1 more source
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 +8 more
wiley +1 more source
ABSTRACT Background Germ cell tumors (GCTs) often arise in the ovaries and testes (extracranial) but can also develop in the brain (intracranial). We examined the relationship of individual, family, and community‐level socioeconomic status (SES) with stage of disease at diagnosis in a cohort of pediatric patients with GCT from Children's Oncology Group
Heydon K. Kaddas +7 more
wiley +1 more source

