Results 31 to 40 of about 37,010 (319)
The Journal of Logic Programming, 1989 In the past, a lot of research has been done on obtaining efficient execution of programs which are very readable but very inefficient under the standard computation rule of PROLOG. Control languages have been developed to obtain the desired coroutining behavior. However, execution of the control part causes substantial overhead. In this paper, a novel
Bruno Krekels +2 more
openaire +3 more sources
Microbial profile of the appendix niche in acute appendicitis: a novel sampling approach
FEBS Open Bio, EarlyView.This study utilized a novel sampling method, ERAT (i.e. endoscopic retrograde appendicitis treatment)‐guided lumen aspiration, to obtain samples from the appendix, and shotgun metagenomic sequencing was performed for in situ characterization of the appendix microbiome in patients with acute appendicitis.
Huimin Ma +10 more
wiley +1 more source
Theoretical Computer Science, 1995 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Gilles Wiber +2 more
openaire +3 more sources
Trace-Relating Compiler Correctness and Secure Compilation [PDF]
, 2020 AbstractCompiler correctness is, in its simplest form, defined as the inclusion of the set of traces of the compiled program into the set of traces of the original program, which is equivalent to the preservation of all trace properties. Here traces collect, for instance, the externally observable events of each execution.
Roberto Blanco +9 more
openaire +5 more sources
New Directions for Adult and Continuing Education, EarlyView.ABSTRACT This manuscript describes the intentional use of adult learning principles in creating three faculty development initiatives centering on equity‐based teaching. The authors reflected on the design and development process, facilitation and the perceived benefits and challenges.
Kayon Murray‐Johnson +1 more
wiley +1 more source
Compiler Optimization of Wide Memory Access for Aarch64
Современные информационные технологии и IT-образованиеThe popularity of ARM-based processors in HPC and cloud computing is gradually increasing and the development of compilers and code optimizations is important to achieve better use of hardware resources.
Viacheslav Chernonog +2 more
doaj +1 more source
3D Tiled Code Generation for Nussinov’s Algorithm
Applied Sciences, 2022 Current state-of-the-art parallel codes used to calculate the maximum number of pairs for a given RNA sequence by means of Nussinov’s algorithm do not allow for achieving speedup close up to the number of the processors used for execution of those codes ...
Włodzimierz Bielecki +2 more
doaj +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective To compare the effectiveness of high‐efficacy treatments (HET) and low‐efficacy treatments (LET) in NMOSD patients with anti‐aquaporin‐4 antibodies (AQP4‐ab). Methods In this multi‐center study, we analyzed 183 AQP4‐ab seropositive NMOSD patients who received immunosuppressive treatments (IST).
Xiang Li +10 more
wiley +1 more source
Embedded Processor Oriented Compiler Infrastructure
Advances in Electrical and Computer Engineering, 2014 In the recent years, research of special compiler techniques and algorithms for embedded processors broaden the knowledge of how to achieve better compiler performance in irregular processor architectures.
DJUKIC, M. +3 more
doaj +1 more source
Quantum Emitters in Hexagonal Boron Nitride: Principles, Engineering and Applications
Advanced Functional Materials, EarlyView.Quantum emitters in hexagonal boron nitride have emerged as a promising candidate for quantum information science. This review examines the fundamentals of these quantum emitters, including their level structures, defect engineering, and their possible chemical structures.
Thi Ngoc Anh Mai +8 more
wiley +1 more source