Results 111 to 120 of about 4,203,675 (344)
An Exercise in Invariant-based Programming with Interactive and Automatic Theorem Prover Support
, 2012 Invariant-Based Programming (IBP) is a diagram-based correct-by-construction programming methodology in which the program is structured around the invariants, which are additionally formulated before the actual code.
Back, Ralph-Johan, Eriksson, Johannes
core +2 more sources
SoftwareX, 2016 The Light-Field Imaging Toolkit (LFIT) is a collection of MATLAB functions designed to facilitate the rapid processing of raw light field images captured by a plenoptic camera.
Jeffrey Bolan +3 more
doaj
Individual Resilience From a Religious Perspective: A Systemic Approach [PDF]
Health, Spirituality and Medical Ethics, 2023 Background and Objectives: Islam is a lifestyle consistent with world realities that guide humans through difficulties in life. Resilience has been highly recommended in religious doctrine, yet has been less explored within a comprehensive scientific ...
Pezhman Bagheri, Vajihe Armanmehr
doaj
FEBS Open Bio, EarlyView.Stem cell‐based embryo models (SCBEMs) are valuable to study early developmental milestones. Matrigel, a basement membrane matrix, is a critical substrate used in various SCBEM protocols, but its role in driving stem cell lineage commitment is not clearly defined.
Atoosa Amel +3 more
wiley +1 more source
Displaying real 3-D object images using a computer-generated hologram : a thesis presented in partial fulfillment of the requirements for the degree of Master of Science in Computer Science at Massey University [PDF]
, 1998 The magic of an optical hologram that produced by optical system offer us a never ending sense of wonderment. The images reconstructed from an optical hologram exhibit all of the three dimensional properties with full, rich perspective effects, enabling ...
Yuan, Jingzhou
core
Journal of Applied Clinical Medical Physics, EarlyView.Abstract Purpose This study aims to evaluate how different gantry angles, breathing rates (BPM), cine image speeds, and tracking algorithms affect beam on/off latency and the subsequent impact on target dose for a 0.35T MR‐Linac with a 6 MV FFF beam.
Mateb Al Khalifa +4 more
wiley +1 more source
Belief Propagation for Linear Programming
, 2013 Belief Propagation (BP) is a popular, distributed heuristic for performing MAP computations in Graphical Models. BP can be interpreted, from a variational perspective, as minimizing the Bethe Free Energy (BFE).
Chertkov, Michael +2 more
core +1 more source
Open Physics, 2018 In this paper the nonlinear long-short (LS) wave resonance model is analyzed through a new perspective. We obtain the classification of exact solutions by making use of the complete discrimination system for the trial equation method and through the ...
Cimpoiasu Rodica, Pauna Alina Streche
doaj +1 more source
Frontiers in Chemistry, 2018 The interactions between two or more molecules or colloidal particles can be used to obtain a variety of self-assembled systems called supramolecules or supracolloids. There is a clear, but neglected, convergence between these two fields.
Loïc Leclercq
doaj +1 more source
Energy dependence of the GAFCHROMIC LD‐V1 in the diagnostic radiographic modalities
Journal of Applied Clinical Medical Physics, EarlyView.Abstract The GAFCHROMIC LD‐V1 radiochromic film is widely used in dosimetry because it can provide high‐resolution two‐dimensional dose distributions without processing. This study aimed to evaluate the response characteristics at different effective energies, from the low‐energy range of mammography to the high‐energy range of computed tomography. Net
Tatsuhiro Gotanda +9 more
wiley +1 more source