Results 61 to 70 of about 45,874 (260)
Angewandte Chemie, EarlyView.This study explores the origins of life by linking prebiotic chemistry, the emergence of information‐carrying molecules such as RNA and proteins, and philosophical questions about consciousness. The study emphasizes the role of molecular evolution in the Central Dogma and provides insights into the chemical origins of biology and the basis of life's ...
Harald Schwalbe +5 more
wiley +2 more sources
Deciding set-theoretic formulae with the predicate 'finite' by a tableau calculus
Le Matematiche, 1995 In this paper we give a decidable tableau calculus for the unquantified theory MLSSF, which involves in addition the constructs of Multilevel Syllogistic, namely 'membership', 'equality', 'set inclusion', 'binary union', 'binary intersection' and 'set ...
Domenico Cantone, Rosa Ruggeri Cannata
doaj
Advanced Science, EarlyView.This review offers a comprehensive comparison between perovskites and perovskite‐inspired materials (PIMs), focusing on their crystal structures, electronic properties, and chemical compositions. It evaluates the applicability of machine learning (ML) descriptors and models across both material classes.
Yangfan Zhang +6 more
wiley +1 more source
Semantics out of context: nominal absolute denotations for first-order logic and computation
, 2016 Call a semantics for a language with variables absolute when variables map to fixed entities in the denotation. That is, a semantics is absolute when the denotation of a variable a is a copy of itself in the denotation.
Gabbay, Murdoch J.
core +1 more source
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
Modular Labelled Sequent Calculi for Abstract Separation Logics
, 2017 separation logics are a family of extensions of Hoare logic for reasoning about programs that manipulate resources such as memory locations. These logics are "abstract" because they are independent of any particular concrete resource model.
Clouston, Ranald +3 more
core +1 more source
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
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
Temporal logic with predicate abstraction
, 2004 A predicate linear temporal logic LTL_{\lambda,=} without quantifiers but with predicate abstraction mechanism and equality is considered. The models of LTL_{\lambda,=} can be naturally seen as the systems of pebbles (flexible constants) moving over the ...
Lisitsa, Alexei, Potapov, Igor
core +2 more sources
Predicate Pairing for Program Verification
, 2017 It is well-known that the verification of partial correctness properties of imperative programs can be reduced to the satisfiability problem for constrained Horn clauses (CHCs).
De Angelis, Emanuele +3 more
core +1 more source