Results 41 to 50 of about 634,474 (205)
Voices in Bioethics, 2018 Paul Root Wolpe is a bioethicist with sprawling interests. He is currently the Raymond F. Schinazi Distinguished Research Chair in Jewish Bioethics at Emory University, and his biography there lists over a dozen areas of expertise ranging from Death and ...
John Zaikowski
doaj +1 more source
Earth and Planetary PhysicsMars is the terrestrial planet in the solar system that is closest to the Earth. Studying the atmospheric parameters of Mars and studying the evolutionary history of the Martian environment on this basis is helpful for people to discover signs of ...
KeXin Ming +4 more
doaj +1 more source
Dynamic Verification of C/C++11 Concurrency over Multi Copy Atomics [PDF]
arXiv, 2021 We investigate the problem of runtime analysis of C11 programs under Multi-Copy-Atomic semantics (MCA). Under MCA, one can analyze program outcomes solely through interleaving and reordering of thread events. As a result, obtaining intuitive explanations of program outcomes becomes straightforward.
arxiv
Miscomputation in software: Learning to live with errors [PDF]
The Art, Science, and Engineering of Programming, 2017, Vol. 1,
Issue 2, Article 14, 2017 Computer programs do not always work as expected. In fact, ominous warnings about the desperate state of the software industry continue to be released with almost ritualistic regularity. In this paper, we look at the 60 years history of programming and at the different practical methods that software community developed to live with programming errors.
arxiv +1 more source
Two results for proiritized logic programming [PDF]
arXiv, 2002 Prioritized default reasoning has illustrated its rich expressiveness and flexibility in knowledge representation and reasoning. However, many important aspects of prioritized default reasoning have yet to be thoroughly explored. In this paper, we investigate two properties of prioritized logic programs in the context of answer set semantics ...
arxiv
Machine Learning for CUDA+MPI Design Rules [PDF]
arXiv, 2022 We present a new strategy for automatically exploring the design space of key CUDA+MPI programs and providing design rules that discriminate slow from fast implementations. In such programs, the order of operations (e.g., GPU kernels, MPI communication) and assignment of operations to resources (e.g., GPU streams) makes the space of possible designs ...
arxiv
Toward Semantic Foundations for Program Editors [PDF]
arXiv, 2017 Programming language definitions assign formal meaning to complete programs. Programmers, however, spend a substantial amount of time interacting with incomplete programs -- programs with holes, type inconsistencies and binding inconsistencies -- using tools like program editors and live programming environments (which interleave editing and evaluation)
arxiv
Electron photoavalanche diode arrays: A new technology for noiseless high speed near infrared sensors [PDF]
Journal of Aeronautics & Aerospace Engineering, 2003 This paper presents a simulated architecture of an envisioned future intelligent Earth observing satellite system (FIEOS). The proposed system is a space-based architecture for dynamic and comprehensive on-board integration of Earth observing sensors, data processors and communication systems.
Gert Finger +3 more
openaire +29 more sources
The role of immersive informal science programs [PDF]
arXiv, 2004 Immersive informal environments (such as summer camps, residential programs at museums and science centers, etc.) can provide a venue for young people to explore their scientific thinking in a less formalized context than is available in most traditional classrooms. While class instruction is beneficial for children to develop formal science skills and
arxiv
Current Issues in Sport ScienceIntroduction and Purpose Space exploration is transitioning to a new era. NASA’s Artemis program is spearheading crewed missions to the Moon in the next decade, paving the way for eventual human exploration of Mars (Smith et al., 2020). However, space
Benjamin Reimeir +6 more
doaj +1 more source