Results 51 to 60 of about 37,485,858 (384)
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
Pediatric Blood &Cancer, EarlyView.ABSTRACT Introduction We developed MedSupport, a multilevel medication adherence intervention designed to address root barriers to medication adherence. This study sought to explore the feasibility and acceptability of the MedSupport intervention strategies to support a future full‐scale randomized controlled trial.
Elizabeth G. Bouchard +8 more
wiley +1 more source
Biological Data Analysis Program (BDAP): a multitasking biological sequence analysis program
Neural Computing and Applications, 2016 Exploration of mysterious facts from the sequences and structures of biomolecules of an organism is the essential requirement for understanding their molecular and evolutionary processes. Sequence analysis approach is an exciting choice for exploring those mysterious facts from biological data at genomic, transcriptomic and proteomic level. Development
Dwivedi, Vivek Dhar +4 more
openaire +2 more sources
Fast Numerical Program Analysis with Reinforcement Learning
International Conference on Computer Aided Verification, 2018 We show how to leverage reinforcement learning (RL) in order to speed up static program analysis. The key insight is to establish a correspondence between concepts in RL and those in analysis: a state in RL maps to an abstract program state in analysis ...
Gagandeep Singh +2 more
semanticscholar +1 more source
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 +13 more
wiley +1 more source
Value-Based Constraint Control Flow Integrity
IEEE Access, 2020 Control flow integrity (CFI) is a generic technique that prevents a control flow hijacking attacks by verifying the legitimacy of indirect branches against a predefined set of targets.
Dongjae Jung +3 more
doaj +1 more source
CGIAR Systemwide Program on Participatory Research and Gender Analysis for Technology Development and Institutional Innovation [PDF]
, 2004 This paper, prepared by the CGIAR Systemwide Program on Participatory Research and Gender Analysis, analyzes the four constraining factors (listed below) in the context of their implications to agricultural research and development. 1. Limitations in the
CGIAR Systemwide Program on Participatory Research and Gender Analysis for Technology Development and Institutional Innovation
core
Quantifying Information Leaks Using Reliability Analysis [PDF]
, 2014 acmid: 2632367 keywords: Model Counting, Quantitative Information Flow, Reliability Analysis, Symbolic Execution location: San Jose, CA, USA numpages: 4acmid: 2632367 keywords: Model Counting, Quantitative Information Flow, Reliability Analysis, Symbolic
d Amorim, M +4 more
core +1 more source
Lifestyle Behaviors and Cardiotoxic Treatment Risks in Adult Childhood Cancer Survivors
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Higher doses of anthracyclines and heart‐relevant radiotherapy increase cardiovascular disease (CVD) risk. This study assessed CVD and CVD risk factors among adult childhood cancer survivors (CCSs) across cardiotoxic treatment risk groups and examined associations between lifestyle behaviors and treatment risks.
Ruijie Li +6 more
wiley +1 more source
Environmental Sciences Proceedings, 2021 Current criteria to define managed forests are inconsistent among countries’ reports of GHG emissions to UNFCCC. Integrated assessment models used for assessing countries’ mitigation pathways employ a proxy for managed forests that differ from the ...
Mykola Gusti +4 more
doaj +1 more source