Results 31 to 40 of about 3,005,991 (268)
Software Development by Refinement
, 2003 This paper presents an overview of the technical foundations and current directions of Kestrel’s approach to mechanizing software development. The approach emphasizes machine-supported refinement of property-oriented specifications to code, based on a category of higher-order specifications.
Pavlovic, D, Smith, D
openaire +2 more sources
Japanese Pronunciation Evaluation Based on DDNN
IEEE Access, 2020 In recent years, speech recognition technology based on deep learning model has made great progress, and the accuracy of speech recognition has reached more than 90%. In foreign language learning, speech evaluation is an important application.
Deguo Mu, Wei Sun, Guoliang Xu, Wei Li
doaj +1 more source
Frontiers in Pharmacology, 2018 Background: Utilization of the available observational healthcare datasets is key to complement and strengthen the postmarketing safety studies. Use of common data models (CDM) is the predominant approach in order to enable large scale systematic ...
Anil Pacaci +6 more
doaj +1 more source
Pediatric 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
IEEE Access, 2019 In GitHub, integrators inspect submitted code changes, make evaluation decision, and close pull requests. Some pull requests may be reopened for further modification and code review.
Jing Jiang, Abdillah Mohamed, Li Zhang
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Medication nonadherence during the first 100 days after pediatric hematopoietic stem cell transplantation (HSCT) and during oncology treatment increases risk for complications. BMT4me is a caregiver‐facing mobile health (mHealth) application providing medication reminders, symptom tracking, and note‐taking features to support ...
Micah A. Skeens +4 more
wiley +1 more source
DAEOM: A Deep Attentional Embedding Approach for Biomedical Ontology Matching
Applied Sciences, 2020 Ontology Matching (OM) is performed to find semantic correspondences between the entity elements of different ontologies to enable semantic integration, reuse, and interoperability.
Jifang Wu +3 more
doaj +1 more source
Heterogeneous Ensemble Model to Optimize Software Effort Estimation Accuracy
IEEE Access, 2023 The software industry has experienced rapid expansion in recent years, with software development now essential to the success of many multinational corporations.
Syed Sarmad Ali +4 more
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Hemophilic arthropathy remains the leading morbidity in hemophilia despite modern prophylaxis, and early joint damage may be missed by routine exams. This study explored T2* MRI as a noninvasive biomarker of hemosiderin deposition in pediatric hemophilia.
Jessica Garcia +6 more
wiley +1 more source
MPEFT: A novel task scheduling method for workflows
Frontiers in Environmental Science, 2023 Optimizing the scheduling algorithm is a key problem to improving the service efficiency of urban heterogeneous computing platforms. In this paper, we propose a novel list-based scheduling algorithm called Modified Predict Earliest Finish Time (MPEFT ...
Juhua Pu +6 more
doaj +1 more source