Results 101 to 110 of about 251 (176)

Machine Learning Paradigm for Advanced Battery Electrolyte Development

Carbon Energy, EarlyView.
Electrolyte materials determine ion transport kinetics within the bulk and interphases, ultimately influencing the performance of battery systems. As data‐driven paradigms increasingly reshape materials discovery, this review provides an application‐oriented exploration of the intersection between machine learning and electrolyte science. By evaluating
Chang Su, Mengfan Pei, Keyu Chen, Xigao Jian, Fangyuan Hu   +4 more
wiley   +1 more source

Braids, twists, trace and duality in combinatory algebras

We investigate a class of combinatory algebras, called ribbon combinatory algebras, in which we can interpret both the braided untyped linear lambda calculus and framed oriented tangles.
Hasegawa, Masahito, Lechenne, Serge
core   +1 more source

Neuro-symbolic procedural semantics for explainable visual dialogue. [PDF]

PLoS One
Verheyen L, Botoko Ekila J, Nevens J, Van Eecke P, Beuls K.   +4 more
europepmc   +1 more source

Perovskite Photodetectors at the Intelligence Frontier: From Tunable Materials to Adaptive Optoelectronic Systems

Carbon Energy, EarlyView.
This comprehensive review presents a progressive roadmap for perovskite vision detectors. Centered on perovskite‐based artificial perception, the graphic illustrates a systematic evolution: starting with fundamental material engineering and device architectures, advancing toward complex functional strategies such as flexible neuromorphic imaging ...
Chenglong Li, Wei Qu, Deepak Kumar, Naini Jain, Nur Wardina Syahirah binti Mohamad Fadil, Nur Najiha binti Ahmad Rasid, Emannuel Kymakis, Maria Vasilopoulou, Chunxiong Bao, Feng Gao, Peng Gao, Sanjeev Kumar Sharma, Mohammad Khaja Nazeeruddin, Abd. Rashid bin Mohd Yusoff, Haotong Wei   +14 more
wiley   +1 more source

Binary Lambda Calculus and Combinatory Logic.” Sep 14, 2004. http://homepages. cwi.nl/ ∼ tromp/cl/LC.pdf [64] Tadaki, K. “Upper bound by Kolmogorov complexity for the probability

, 2003
In the first part, we introduce binary representations of both lambda calculus and combinatory logic terms, and demonstrate their simplicity by providing very compact parser-interpreters for these binary languages.
John Tromp
core  

Symbolic metaprogram search improves learning efficiency and explains rule learning in humans. [PDF]

Nat Commun
Rule JS, Piantadosi ST, Cropper A, Ellis K, Nye M, Tenenbaum JB.   +5 more
europepmc   +1 more source

Living Microbial Drugs

Chemistry – A European Journal, EarlyView.
The introduction outlines the review scope. Microbial cell factories as living drugs cover host–gut microbiota, bacteria, yeast, and other microbial systems, with comparative host advantages. Engineering strategies include synthetic circuits, quorum sensing, and memory.
Cemile Elif Özçelik, Nazlıcan Tunç, Senem Şen, Urartu Özgür Şafak Şeker   +3 more
wiley   +1 more source

Fully Reversible Regulation of 8‐17 DNAzyme Activity Using Nucleoside‐Based Diarylethenes

Chemistry – A European Journal, EarlyView.
The site‐specific incorporation of nucleosidic diarylethenes into the 8–17 deoxyribozyme (DNAzyme) identified position 2.1 as optimal. Compound dU‐PhtBu enabled efficient light‐dependent control of catalytic activity, while maintaining thermal stability and reversibility.
Jörn Bargstedt, Simon M. Büllmann, Sophia Conwell, Andres Jäschke   +3 more
wiley   +1 more source

Normalization [PDF]

, 1989
Bauer, F. L., Schwichtenberg, Helmut
core   +1 more source

A Filter Model for Concurrent -Calculus

, 1998
. Type free lazy-calculus is enriched with angelic parallelism and demonic nondeterminism. Call-by-name and call-by-value abstractions are considered and the operational semantics is stated in terms of a must convergence predicate.
Adolfo Piperno, Mariangiola Dezani-ciancaglini, Ugo De'liguoro   +2 more
core