Results 101 to 110 of about 224,550 (312)
A Probabilistic Extension of Action Language BC+
We present a probabilistic extension of action language BC+. Just like BC+ is defined as a high-level notation of answer set programs for describing transition systems, the proposed language, which we call pBC+, is defined as a high-level notation of ...
Lee, Joohyung, Wang, Yi
core +1 more source
IGF‐1 deficiency underlies poor ovarian response (POR), as reduced levels in follicular fluid and granulosa cells impair antral follicle formation and compromise reproductive outcomes. Including IGF‐1 as a biomarker significantly enhances the accuracy of models predicting both PORrisk and pregnancy success.
Zhu Hu +9 more
wiley +1 more source
This paper presents a programmable metasurface‐based Meta Key Distribution (MKD) system for secure, protocol‐independent key exchange in indoor wireless settings. By embedding entropy into the wireless channel, it enables lightweight, compatible cryptographic key generation.
Xinyu Li +7 more
wiley +1 more source
Connexin43 Deficiency Leads to Ventricular Arrhythmias by Reprogramming Proline Metabolism
The study demonstrated that connexin43 (Cx43) knockout caused arrhythmic phenotype and decreased proline content in vitro and in vivo. Mechanistically, Cx43 interacts with the amino acid transporter SNAT2 (sodium‐dependent neutral amino acid transporter), and its deficiency disrupts proline transport and metabolism.
Hangying Ying +8 more
wiley +1 more source
Gallium Nitride Semiconductor Resonant Tunneling Transistor
Three‐terminal GaN semiconductor resonant tunneling transistors (RTTs), which comprise an double‐barrier AlN/GaN/AlN resonant tunneling diode integrated with a GaN high‐electron‐mobility transistor (HEMT) through epitaxial growth in series and parallel configuraions, respectively.
Fang Liu +15 more
wiley +1 more source
Reducing probabilistic logic programs
The combination of the expressiveness of Probabilistic Logic Programming with the possibility of managing constraints between random variables allows users to develop simple yet powerful models to describe many real-world situations. In this paper, we propose the class of Probabilistic Reducible Logic Programs, in which the goal is to minimize the ...
Azzolini D., Riguzzi F.
openaire +1 more source
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
Universal Solvent Escape Strategies for Efficient Curing of Hydrogen‐Bond‐Rich 3D Printing Inks
This study developed a new 3D printing method for hydrogen‐bonded polymers by combining solvent replacement, nanoparticles, and optimized printing paths. This allows fast, precise scaffold fabrication. The scaffolds can be easily customized and release therapeutic agents slowly through protonation, enabling personalized bone, blood vessel, and nerve ...
Jie Chen +11 more
wiley +1 more source
Abductive Inference in Probabilistic Logic Programs
Action-probabilistic logic programs (ap-programs) are a class of probabilistic logic programs that have been extensively used during the last few years for modeling behaviors of entities. Rules in ap-programs have the form "If the environment in which entity E operates satisfies certain conditions, then the probability that E will take some action A is
Simari G. I., Subrahmanian V. S.
openaire +3 more sources
Donor‐derived tdTomato+ mature hepatocytes were FACS‐isolated and transplanted into Fah−/− host mice. During regeneration, these cells convert into proliferative, unipotent Afp+ rHeps. Their plasticity is governed by a PPARγ/AFP‐dependent metabolic switch, segregating into pro‐proliferative Afplow and pro‐survival Afphigh subpopulations.
Ting Fang +12 more
wiley +1 more source

