Results 41 to 50 of about 49,386 (214)
Enhancing Reuse of Constraint Solutions to Improve Symbolic Execution
, 2015 Constraint solution reuse is an effective approach to save the time of constraint solving in symbolic execution. Most of the existing reuse approaches are based on syntactic or semantic equivalence of constraints; e.g.
Anand Saswat +7 more
core +1 more source
ControlIt: A Universal Framework for Translational, Adaptive, and Online Brain–Computer Interfaces
Advanced Intelligent Systems, Volume 8, Issue 4, April 2026.Brain–computer interfaces (BCIs) lack a unified platform that works across signals and algorithms. ControlIt, an open‐source, modular ROS2‐based BCI framework supporting electroencephalography (EEG), electrocorticography (ECoG), and spike‐based decoding across both classification and regression tasks is presented.
Wanlin Yang +12 more
wiley +1 more source
Demonstration of amplitude-distortion correction by modal dispersal and phase conjugation [PDF]
, 1987 We demonstrate experimentally and explain theoretically polarization-preserving imaging through a lossy amplitude-distorting medium. This is accomplished by propagating the beam, before its arrival at the lossy distorting medium, through a (multi) mode ...
Kyuma, Kazuo +3 more
core +1 more source
ADAR1 Controls Macrophage Scavenging and Lipid‐Buffering Programs in Metabolic Tissues
European Journal of Immunology, Volume 56, Issue 4, April 2026.ADAR1 expression increase during monocyte‐to‐macrophage differentiation via an alternative transcription start site. Isoform‐specific ADAR1 activity governs key macrophage functions, including efferocytosis, endocytosis, lipid metabolism, and proliferation.
Achilleas Fardellas +20 more
wiley +1 more source
Fortschritte der Physik, Volume 74, Issue 4, April 2026.Abstract String theory has strong implications for cosmology, implying the absence of a cosmological constant, ruling out single‐field slow‐roll inflation, and that black holes decay. The origins of these statements are elucidated within the string‐theoretical swampland programme.
Kay Lehnert
wiley +1 more source
Revista Española de Discapacidad, 2020 Revista Española de Discapacidad (REDIS) Vol. 8 Nº 2.
Marta Ochoa Hueso
doaj
Sales transaction system using redis database [PDF]
, 2015 A traditional Client Server system provides poor performance on read and write process in terms of throughput and latency because all servers use their own memory to handle the entire process, which is quite time consuming.
Patel, Ankitkumar
core
The Energy Exascale Earth System Model Version 3: 2. Overview of the Coupled System
Journal of Advances in Modeling Earth Systems, Volume 18, Issue 4, April 2026.Abstract The Energy Exascale Earth System Model version 3 (E3SMv3) represents the latest advancement in Earth system modeling developed by the U.S. Department of Energy (DOE). Building upon previous versions, E3SMv3 introduces significant updates across its coupled components to enhance capability and improve fidelity.
Jean‐Christophe Golaz +77 more
wiley +1 more source
Measuring and Managing Answer Quality for Online Data-Intensive Services
, 2015 Online data-intensive services parallelize query execution across distributed software components. Interactive response time is a priority, so online query executions return answers without waiting for slow running components to finish.
Elnikety, Sameh +5 more
core +1 more source
Journal of Advances in Modeling Earth Systems, Volume 18, Issue 4, April 2026.Abstract We analyze the Lorenz Energy Cycle of the ocean simulated by FESOM on several unstructured meshes, with nominal horizontal resolution ranging from 1/4 to 1/12°. Some meshes are more strongly refined in regions where the eddy kinetic energy (EKE) is large, whereas others follow a standard design, with resolution gently increasing toward high ...
A. Koldunov +4 more
wiley +1 more source