Results 81 to 90 of about 88,869 (296)
Advanced Science, EarlyView.ABSTRACT Precise transgene‐free gene upregulation remains a challenge in crop biotechnology, as conventional enhancers often exceed CRISPR‐mediated knock‐in size constraints and face regulatory hurdles. Here we establish a foundational cross‐species resource of compact transcriptional enhancers developed via STEM‐seq, a high‐throughput screening ...
Qi Yao +14 more
wiley +1 more source
Надежность и качество сложных системBackground. In radio engineering systems for various purposes, microwave antennas with a radiation pattern of a sector type are used to solve problems at maximum ranges in a wide range of angles.
A.N. Yakimov
doaj +1 more source
Programming Language Features for Refinement
, 2016 Algorithmic and data refinement are well studied topics that provide a mathematically rigorous approach to gradually introducing details in the implementation of software. Program refinements are performed in the context of some programming language, but
Koenig, Jason, Leino, K. Rustan M.
core +2 more sources
Research on Resistive Switching Mechanism of SnO2/SnS2 Based Heterojunction Memory Devices
Advanced Electronic Materials, EarlyView.This work fabricates SnO2/SnS2 RRAM using (NH4)4Sn2S6, achieving 224 pJ set energy at 0.4 V with >1000‐cycle stability and 4 × 104 s retention. XPS/SEM/AFM‐validated interfacial engineering enables uniform switching, advancing low‐power neuromorphic memory development.
WenBin Liu +4 more
wiley +1 more source
Angewandte Chemie, EarlyView.DFT computation, AIMD simulations, machine learning, statistical analysis, and experimental characterization reveal that the upper limit of Al inclusion in FAU zeolite synthesized under hydrothermal conditions is determined by the encapsulated non‐exchangeable Na+ ions.
Qi Dong +8 more
wiley +2 more sources
Advanced Intelligent Discovery, EarlyView.This work presents a novel generative artificial intelligence (AI) framework for inverse alloy design through operations (optimization and diffusion) within learned compact latent space from variational autoencoder (VAE). The proposed work addresses challenges of limited data, nonuniqueness solutions, and high‐dimensional spaces.
Mohammad Abu‐Mualla +4 more
wiley +1 more source
Translating Three-Variable First-Order Predicate Logic to Relation Algebra, Implemented using Z3
, 2023 15 pages, 2 figures, 2 tables, to be published in Fundamenta ...
Brogni, Anthony +1 more
openaire +2 more sources
Models of Weak Theories of Truth
, 2017 In the following paper we propose a model-theoretical way of comparing the "strength" of various truth theories which are conservative over PA. Let $\mathfrak{Th}$ denote the class of models of PA which admit an expansion to a model of theory Th.
Wcisło, Bartosz, Łełyk, Mateusz
core +1 more source
Advanced Intelligent Discovery, EarlyView.This study reveals that sampling strategy (i.e., sampling size and approach) is a foundational prerequisite for building accurate and generalizable AI models in peptide discovery. Reaching a threshold of 7.5% of the total tetrapeptide sequence space was essential to ensure reliable predictions.
Meiru Yan +3 more
wiley +1 more source
Frontiers in Neuroscience, 2018 Regular use of prostheses is critical for individuals with lower limb amputations to achieve everyday mobility, maintain physical and physiological health, and achieve a better quality of life.
Chandrasekaran Jayaraman +13 more
doaj +1 more source