Results 71 to 80 of about 2,188,915 (311)

Lightweight Formal Verification in Classroom Instruction of Reasoning about Functional Code [PDF]

, 1997
In college courses dealing with material that requires mathematical rigor, the adoption of a machine-readable representation for formal arguments can be advantageous.
Lapets, Andrei
core  

Verification of operational solar flare forecast: Case of Regional Warning Center Japan [PDF]

, 2017
In this article, we discuss a verification study of an operational solar flare forecast in the Regional Warning Center (RWC) Japan. The RWC Japan has been issuing four-categorical deterministic solar flare forecasts for a long time.
Den, Mitsue, Ishii, Mamoru, Kubo, Yûki
core   +2 more sources

Relation of Adverse Childhood Experiences to Clinical and Patient‐Reported Outcomes for Adults With Sickle Cell Disease: A Registry Study

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Adverse childhood experiences (ACEs) are stressful or traumatic events prior to age 18 that are known to have a lasting impact on individuals’ health and well‐being. There is a gap in understanding the relationship between ACEs and Other Life Stressors and health status for adults with sickle cell disease (SCD).
Marsha Treadwell, Jessica Liang, Liliana Preiss, Angela Rivers, Jane S. Hankins, Allison King, Justin Williams, Michael B. Potter, Danielle Hessler   +8 more
wiley   +1 more source

Quality Inspection and Problem Analysis of Satellite Image Data in Land Use Survey [PDF]

The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences
In order to improve the data quality of land use remote sensing monitoring images, this article introduces the process of generating satellite image data, elaborates on the content of satellite image data verification in land use remote sensing ...
S. Dong, S. Dong, C. Lu, C. Lu, W. Gao, W. Gao, C. Liu, C. Liu, J. Bai, J. Bai   +9 more
doaj   +1 more source

Verification of neuroprotective effects of alpha-lipoic acid on chronic neuropathic pain in a chronic constriction injury rat model [PDF]

, 2021
Junhao Wang, Zhaohui Lou, Haiyang Xi, Zhi Li, Lepeng Li, Zhenzhen Li, Kai Zhang, Tetsuya Asakawa   +7 more
openalex   +1 more source

Verification Under Increasing Dimensionality [PDF]

, 2010
Verification decisions are often based on second order statistics estimated from a set of samples. Ongoing growth of computational resources allows for considering more and more features, increasing the dimensionality of the samples.
Hendrikse, Anne, Spreeuwers, Luuk, Veldhuis, Raymond   +2 more
core   +2 more sources

What to Do When Medical Evidence Can Only Be Generated Through Routine Data: An Example From Pediatric Oncology

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Children undergoing allogeneic stem cell transplantation often receive off‐label rituximab treatment for Epstein–Barr virus reactivation, using adult dosing without pediatric evidence. This project aims to develop a clinical decision support tool (CDSS) that provides evidence‐based dosing scenarios by analyzing real‐world patient data.
Birgit Burkhardt, Antje Walz, Dietrich Knoerzer   +2 more
wiley   +1 more source

Prevalence and associations of asteroid hyalosis: the Beijing Eye Study

BMC Ophthalmology, 2022
Background To determine the prevalence and associations of asteroid hyalosis (AH) in a Chinese population-based cohort. Methods The retrospective, cross-sectional, population-based Beijing Eye Study 2011 included 3468 individuals with a mean age of 64.6 ±
Chuan Zhang, Lei Shao, Li Dong, Wen Da Zhou, Rui Heng Zhang, Wen Bin Wei   +5 more
doaj   +1 more source

Stereotactic Body Radiation Therapy for Pediatric, Adolescent, and Young Adult Patients With Osteosarcoma: Local Control Outcomes With Dosimetric Analysis

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background/Objectives Osteosarcoma is a radioresistant tumor that may benefit from stereotactic body radiation therapy (SBRT) for locoregional control in metastatic/recurrent disease. We report institutional practice patterns, outcomes, toxicity, and failures in osteosarcoma patients treated with SBRT.
Jenna Kocsis, Shauna R. Campbell, Jonathan Jang, Eashwar Somasundaram, Chandana A. Reddy, Jacob G. Scott, Lilyana Angelov, Peter M. Anderson, Matteo Trucco, Zachary Burke, Lukas Nystrom, Nathan Mesko, Anthony Magnelli, Erin S. Murphy   +13 more
wiley   +1 more source

Chemical ethics practices in HEBUST of China

Chemistry Teacher International
Hebei University of Science and Technology (HEBUST) actively carries out chemical ethics education practices and incorporates chemical ethics modules into the curriculum, aiming to improve students’ morality, responsibility, knowledge and skills.
Liu Xinwei, Wu Tong, Sun Yujuan, Gu Limin, Wen Jingjing, Liu Shaohui, Yang Kun, Sun Fengxia   +7 more
doaj   +1 more source