Results 121 to 130 of about 75,209 (310)
Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall product quality.
Cordeiro, Lucas +2 more
core
, 2004 Some estimates for the error in approximating the Finite Fourier Transform in terms of exponential means via a pre-Grüss inequality for complex-valued functions are ...
Hanna, George T +2 more
core
A Note on Bounded-Weight Error-Correcting Codes
, 1999 This paper computationally obtains optimal bounded-weight, binary, error-correcting codes for a variety of distance bounds and dimensions. We compare the sizes of our codes to the sizes of optimal constant-weight, binary, error-correcting codes, and ...
Schear,Michael +7 more
core +1 more source
FEBS Open Bio, EarlyView.The crystal structure of Borrelia burgdorferi nicotinamidase (PncA/BBE22) reveals the correct full‐length protein initiated from a non‐canonical AUU start codon. The structure validates previous biochemical findings and resolves a long‐standing annotation error, demonstrating that the truncated database sequence is structurally incompatible with the ...
Kalvis Brangulis
wiley +1 more source
Directed evolution of enzymes at the crossroads of tradition and innovation
FEBS Open Bio, EarlyView.An iterative cycle of data‐driven enzyme optimization comprising four stages: genetic diversification of a template enzyme, expression of protein variants, high‐throughput evaluation, and machine‐learning‐guided redesign of the next variant library.
Maria Tomkova +2 more
wiley +1 more source
ComputersThe rapid growth of scientific spatiotemporal data poses increasing challenges for efficient storage and transmission while preserving sufficient reconstruction fidelity for downstream analysis. Existing compression methods remain limited in this setting:
Zhenyu Yang, Biao Song, Yuan Tian
doaj +1 more source
Effect of terahertz irradiation on DNA damage repair in living cells
FEBS Open Bio, EarlyView.We investigated the effect of terahertz (THz) wave irradiation on DNA double‐strand break (DSB) repair in living cells. We found that THz irradiation enhanced DSB repair at specific frequencies, whereas heat treatment inhibited it, indicating that this effect is nonthermal and frequency‐specific.
Yuya Ueno +3 more
wiley +1 more source
Bounded Model Checking of Multi-threaded Software using SMT solvers
The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an extension of the ESBMC model checker to support the verification of multi ...
Cordeiro, Lucas, Fischer, Bernd
core
Intelligent Tutoring Systems for Adult Learning in STEM Disciplines
New Directions for Adult and Continuing Education, EarlyView.ABSTRACT Intelligent tutoring systems (ITS) are reshaping adult learning in STEM by providing adaptive, data‐driven instruction across classrooms, workplaces, and informal environments. In the context of ITS, this article compares generative AI, which creates personalized explanations and practice materials, with explainable AI, which focuses on ...
Jill Zarestky, Amanda R. Lager Gleason
wiley +1 more source