Results 21 to 30 of about 739,145 (318)
The Polyhedral Model of Nonlinear Loops [PDF]
ACM Transactions on Architecture and Code Optimization, 2015 Runtime code optimization and speculative execution are becoming increasingly prominent to leverage performance in the current multi- and many-core era. However, a wider and more efficient use of such techniques is mainly hampered by the prohibitive time overhead induced by centralized data race detection, dynamic code behavior modeling, and code ...
Aravind Sukumaran-Rajam, Philippe Clauss
openaire +1 more source
Test of the Polyakov Loop Model [PDF]
Nuclear Physics B - Proceedings Supplements, 2002 We discuss the two point functions for the real and imaginary parts of the Polyakov loop in a pure SU(3) gauge theory. The behavior of these correlation functions in the Polyakov Loop Model is markedly different from that in perturbation theory.
Dumitru, Adrian, Pisarski, Robert D.
openaire +3 more sources
Modelling of Real Time Units in the Verification and Validation Process of Satellite Systems [PDF]
INCAS BulletinVerification and Validation (V&V) methodologies are essential to ensure the correct operations of control algorithms of the embedded software during a satellite mission.
Marius-Daniel MARINESCU +6 more
doaj +1 more source
International Astronomical Union Colloquium, 1989 AbstractWe review the somewhat questionable concept of an isolated flare loop and the various physical mechanisms believed to be responsible, to some degree, for energy transport within the loop structure. Observational evidence suggests a predominant role for high-energy electrons as an energy transport mechanism, and we explore the consequences of ...
openaire +1 more source
The double loop mattress suture [PDF]
, 2014 © 2014 The Authors http://creativecommons.org/licenses/by/3.0/ An interrupted stitch type with favorable tissue characteristics will reduce local wound complications.
Biddlestone, John +3 more
core +1 more source
Energies, 2020 Virtual sensor technology, which uses simulation models/algorithms to calculate a value to represent an unmeasured variable or replace a directly measured reading, has attracted many studies in the heating, ventilation, air conditioning and refrigeration
Jian Sun, Jin Dong, Bo Shen, Wenhua Li
doaj +1 more source
Loop B is a major structural component of the 5-HT3 receptor [PDF]
, 2008 The 5-HT3 receptor belongs to a family of therapeutically important neurotransmitter-gated receptors whose ligand binding sites are formed by the convergence of six peptide loops (A-F).
Thompson, Andrew J. +9 more
core +1 more source
Leveraging explanations in interactive machine learning: An overview
Frontiers in Artificial Intelligence, 2023 Explanations have gained an increasing level of interest in the AI and Machine Learning (ML) communities in order to improve model transparency and allow users to form a mental model of a trained ML model. However, explanations can go beyond this one way
Stefano Teso +3 more
doaj +1 more source
Procedia Computer Science, 2018 Abstract For transiently powered systems a reliable power management is essential. Power management methods in software allow for run-time decisions about the utilization of system resources based on energy models, performance counters and sensor readings.
Markus Buschhoff +2 more
openaire +1 more source
Modeling of loops in protein structures [PDF]
Protein Science, 2000 AbstractComparative protein structure prediction is limited mostly by the errors in alignment and loop modeling. We describe here a new automated modeling technique that significantly improves the accuracy of loop predictions in protein structures. The positions of all nonhydrogen atoms of the loop are optimized in a fixed environment with respect to a
A, Fiser, R K, Do, A, Sali
openaire +2 more sources