Results 51 to 60 of about 3,169,449 (336)
Industrial-Strength Documentation for ACL2
, 2014 The ACL2 theorem prover is a complex system. Its libraries are vast. Industrial verification efforts may extend this base with hundreds of thousands of lines of additional modeling tools, specifications, and proof scripts.
Davis, Jared, Kaufmann, Matt
core +2 more sources
Clinical Insights Into Hypercalcemia of Malignancy in Childhood
Pediatric Blood &Cancer, EarlyView.ABSTRACT Hypercalcemia of malignancy (HCM) is a rare but life‐threatening metabolic emergency in children that occurs in less than 1% of pediatric cancer cases, with a reported incidence ranging from 0.4% to 1.0% across different studies. While it is observed in 10%–20% of adult malignancies, pediatric HCM remains relatively uncommon.
Hüseyin Anıl Korkmaz
wiley +1 more source
COSMIC program documentation experience [PDF]
, 1970 A brief history of COSMIC as it relates to the handling of program documentation is summarized; the items that are essential for computer program documentation are also discussed.
Kalar, M. C.
core +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Purpose Retinoblastoma (RB) is the most common pediatric ocular cancer, yet population‐based data on survival and risk factors remain limited. This study aimed to describe survival in a large national RB cohort and identify predictors of death and complications.
Samuel Sassine +14 more
wiley +1 more source
Program analysis for documentation [PDF]
, 1970 A program analysis for documentation (PAD) written in FORTRAN has three steps: listing the variables, describing the structure and writing the program specifications.
Lolmaugh, G. H.
core +1 more source
Use of an ambient artificial intelligence tool to improve quality of clinical documentation
Future healthcare journalBackground Electronic health records (EHRs) have contributed to increased workloads for clinicians. Ambient artificial intelligence (AI) tools offer potential solutions, aiming to streamline clinical documentation and alleviate cognitive strain on ...
J. Balloch +11 more
semanticscholar +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Objective To evaluate selumetinib exposure using therapeutic drug monitoring (TDM) in pediatric patients with neurofibromatosis type 1 (NF1) and plexiform neurofibromas (PN), assess interpatient pharmacokinetic variability, and explore the relationship between drug exposure, clinical response, and adverse effects.
Janka Kovács +8 more
wiley +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Objective To evaluate the diagnostic yield and utility of universal paired tumor–normal multigene panel sequencing in newly diagnosed pediatric solid and central nervous system (CNS) tumor patients and to compare the detection of germline pathogenic/likely pathogenic variants (PV/LPVs) against established clinical referral criteria for cancer ...
Natalie Waligorski +9 more
wiley +1 more source
Journal of Information Science Theory and Practice, 2017 This study investigated the use of e-journals by health researchers in the Nigerian Institute of Medical Research (NIMR). A descriptive survey method was adopted for the study and a questionnaire was used for data collection.
Olayemi, Olalekan Moses +2 more
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Nurses are central to cancer care for children and adolescents, yet no comprehensive synthesis has defined essential core competencies for pediatric oncology nursing (PON) practice internationally, particularly in Latin America and the Caribbean (LAC).
Luís Carlos Lopes‐Júnior +7 more
wiley +1 more source