Results 31 to 40 of about 37,485,858 (384)
European Journal for Research on the Education and Learning of Adults, 2018 The paper analyses mainly non-vocational courses offered by a sample of 47 out of the approximately 900 public adult education centres (Volkshochschule - VHS) in Germany.
Bernd Käpplinger
doaj +1 more source
SoftwareThe advent of blockchain technology has revolutionized various sectors by providing transparency, immutability, and automation. Central to this revolution are smart contracts, which facilitate trustless and automated transactions across diverse domains ...
Xiaolei Ren, Qiping Wei
doaj +1 more source
Exact Boolean Abstraction of Linear Equation Systems
Computation, 2021 We study the problem of how to compute the boolean abstraction of the solution set of a linear equation system over the positive reals. We call a linear equation system ϕ exact for the boolean abstraction if the abstract interpretation of ϕ over the ...
Emilie Allart +2 more
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT We sought to identify potential early risk biomarkers for lung disease in children post‐allogeneic HCT. Patients with pulmonary function tests 3 months post‐transplant and plasma samples between days 7 and 14 post‐HCT were included. Six of 27 subjects enrolled had reduced forced expiratory volume 1 (FEV1) z scores.
Isabella S. Small +3 more
wiley +1 more source
Program analysis of probabilistic programs
, 2022 Probabilistic programming is a growing area that strives to make statistical analysis more accessible, by separating probabilistic modelling from probabilistic inference. In practice this decoupling is difficult. The performance of inference methods is sensitive to both the underlying model and the observed data.
openaire +5 more sources
Higher-order Demand-driven Program Analysis
ACM Transactions on Programming Languages and Systems, 2019 Developing accurate and efficient program analyses for languages with higher-order functions is known to be difficult. Here we define a new higher-order program analysis, Demand-Driven Program Analysis (DDPA), which extends well-known demand-driven ...
Leandro Facchinetti +2 more
semanticscholar +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT The pediatric hematology‐oncology fellowship training curriculum has not substantially changed since its inception. The first year of training is clinically focused, and the second and third years are devoted to scholarship. However, this current structure leaves many fellows less competitive in the current job market, resulting in ...
Scott C. Borinstein +3 more
wiley +1 more source
Whole-value analysis by abstract interpretation
Frontiers in Computer ScienceValue analysis is the task of understanding what concrete values a program might compute for each variable or memory region. Historically, research focused mostly on numerical analysis (i.e., value analysis of programs manipulating numeric values), while
Luca Negrini
doaj +1 more source
Advanced Spectral Analysis Program
Review of Scientific Instruments, 2019 Advanced Spectral Analysis Program is a LabVIEW-based program intended for rapid and accurate analysis of large sets of spectral data. It can handle a range of different types of data including angle-resolved and energy-dispersive powder diffraction and Raman spectra. We present it here with a focus on high-temperature high-pressure powder diffraction.
J. M. Montgomery, M. J. Lipp
openaire +3 more sources
Rotordynamic response analysis program [PDF]
, 1971 Computer routine is similar to Holzer's method in torsional vibration treatment, and Prohl's and Myklestad's approach in computing rotor deflection.
Shen, F. A.
core +1 more source