Results 91 to 100 of about 592,913 (254)
A Generative Neuro‐Symbolic AI for Protein Sequence Design
We introduce EffieDes, a neuro‐symbolic framework coupling deep learning‐based fitness landscape parameterization with exact automated reasoning. Unlike greedy sampling, EffieDes identifies sequences that globally optimize fitness while satisfying intricate design constraints.
Marianne Defresne +12 more
wiley +1 more source
A Forecasting Model Based on High-Order Fluctuation Trends and Information Entropy
Most existing high-order prediction models abstract logical rules that are based on historical discrete states without considering historical inconsistency and fluctuation trends. In fact, these two characteristics are important for describing historical
Hongjun Guan +3 more
doaj +1 more source
Combining probabilistic logic programming with the power of maximum entropy
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Kern−Isberner, G, Lukasiewicz, T
openaire +4 more sources
StackingNet: Collective Inference Across Independent AI Foundation Models
ABSTRACT Artificial intelligence (AI) built on large foundation models has transformed language understanding, computer vision, and reasoning, yet these systems remain isolated and cannot readily share their capabilities. Coordinating the complementary strengths of independently developed, black‐box foundation models is essential for trustworthy ...
Siyang Li +4 more
wiley +1 more source
Entropy Cost of ‘Erasure’ in Physically Irreversible Processes
A restricted form of Landauer’s principle, independent of computational considerations, is shown to hold for thermal systems by reference to the joint entropy associated with conjugate observables.
Ruth E. Kastner, Andreas Schlatter
doaj +1 more source
A scientific rationale for consciousness
Consciousness is a concept that can be easily experimented but not easily defined. We show that the same observation applies to information, entropy and even energy.
Marc Henry, Jean-Pierre Gerbaulet
doaj +1 more source
Time Resolved DNA Barcodes for Information Encoding and Dynamic Encryption
This study establishes a molecular information platform based on DNA Temporal Barcodes. Information is encoded through combinations of DNA tags with distinct retention times, while dynamic encryption is achieved through a key‐triggered DNA ligation.
Likang Chu +7 more
wiley +1 more source
Logical Accreditation: A Framework for Efficient Certification of Fault-Tolerant Computations
As fault-tolerant quantum computers scale, certifying the accuracy of computations performed with encoded logical qubits will soon become classically intractable. This creates a critical need for scalable, device-independent certification methods.
James Mills +4 more
doaj +1 more source
Case-Based Deduction for Entailment Tree Generation
Maintaining logical consistency in structured explanations is critical for understanding and troubleshooting the reasoning behind a system’s decisions.
Jihao Shi, Xiao Ding, Ting Liu
doaj +1 more source
Modified MXene Aerogel With Broadband Microwave Absorption Inspired by Melanophila Acuminata Beetle
This work introduces a novel biomimetic strategy inspired by the infrared‐sensing sensilla of the Melanophila acuminata beetle. We have designed a multi‐level aerogel, featuring a three‐dimensional carbon framework decorated with synergistic CeO2 nanoparticles and Ti3C2Tx MXene nanosheets.
Zhiwei Liu +6 more
wiley +1 more source

