Results 61 to 70 of about 16,441 (253)

Mitigating Concentration Polarization in Dry‐Processed Ultra‐Thick Cathodes Using a Low‐Viscosity Electrolyte With Soft Li+ Solvation

Advanced Functional Materials, EarlyView.
A low‐viscosity, soft‐solvating methyl ethanoate (ME)‐based electrolyte facilitates electrolyte infiltration into dense dry‐processed ultra‐thick NCM622 cathodes while reducing Li+ desolvation barriers at Li‐metal anodes. Balanced cathode‐scale ion transport and anode‐side interfacial kinetics mitigate concentration polarization and interfacial ...
Jae Bin Park, Yewon Park, Ah Reum Choi, Chaerin Park, Seonhee Jo, Seongwook Chae, Taekyun Kwon, Ji‐Oh Kim, Ji‐Hoon Baik, Sung Hyun Kwon, Minjoon Park, Jin Hong Lee   +11 more
wiley   +1 more source

Decision procedure for a fragment of quantified branching temporal logic

Lietuvos Matematikos Rinkinys, 2002
There is not abstract.
Aida Pliuškevičienė
doaj   +3 more sources

Relating Reasoning Methodologies in Linear Logic and Process Algebra [PDF]

Electronic Proceedings in Theoretical Computer Science, 2012
We show that the proof-theoretic notion of logical preorder coincides with the process-theoretic notion of contextual preorder for a CCS-like calculus obtained from the formula-as-process interpretation of a fragment of linear logic.
Yuxin Deng, Iliano Cervesato, Robert J. Simmons   +2 more
doaj   +1 more source

Neuromorphic Electronics for Intelligence Everywhere: Emerging Devices, Flexible Platforms, and Scalable System Architectures

Advanced Materials, EarlyView.
The perspective presents an integrated view of neuromorphic technologies, from device physics to real‐time applicability, while highlighting the necessity of full‐stack co‐optimization. By outlining practical hardware‐level strategies to exploit device behavior and mitigate non‐idealities, it shows pathways for building efficient, scalable, and ...
Kapil Bhardwaj, Roshni Satheesh Babu, Yuxin Xia, Eva Bestelink, Radu Sporea, Nikos Hastas, Ioannis Zeimpekis, Dimitra G. Georgiadou, Sayani Majumdar   +8 more
wiley   +1 more source

Phase Engineering of Nanomaterials (PEN): Evolution, Current Challenges, and Future Opportunities

Advanced Materials, EarlyView.
This review summarizes the synthesis, phase transition, advanced characterization spanning ex situ to in situ and operando techniques, and diverse applications of phase engineering of nanomaterials (PEN). It further outlines key challenges and future opportunities, such as phase stability, architecture control, and artificial intelligence (AI)‐driven ...
Ye Chen, Zhanxi Fan, Jingjie Ge, Qiyuan He, Zhuangchai Lai, Jiawei Liu, Chaoliang Tan, Hua Zhang   +7 more
wiley   +1 more source

Specialization of antecedent negation loop-rule for a fragment of propositional intuitionistic logic sequent calculus

Lietuvos Matematikos Rinkinys, 2009
The paper deals with specialization of the antecedent negation loop-rule for the negative implication free fragment of the propositional intuitionistic logic.
Romas Alonderis
doaj   +1 more source

Fluorinated Deep Eutectic Gel Electrolytes with Simultaneously Enhanced Mechanical Strength and Ionic Conductivity for Solid‐State Lithium Metal Batteries

Advanced Materials, EarlyView.
The synergistic integration of rigid polyacrylamide (PAM) and flexible poly(N,N‐dimethylacrylamide) (PDMA) phases offers exceptional toughness to suppress lithium dendrites, simultaneously enhancing mechanical strength and ionic conductivity. ABSTRACT Gel polymer electrolytes for lithium‐metal batteries face an inherent trade‐off between mechanical ...
Hao Long, Yuhao Liang, Ting He, Xueming Chen, Zimo Huang, Hao Chen, Shanqing Zhang   +6 more
wiley   +1 more source

From Payload‐First Toward Dual‐Mechanism Antibody–Drug Conjugates

Advanced Materials, EarlyView.
Conjugation converts potent antibodies into underexposed carriers. This perspective defines the antibody exposure deficit and maps a mechanism‐first design space from payload‐first to antibody‐first ADC architectures, integrating DAR, linker chemistry, and Fc engineering to guide rational design of constructs that balance targeted cytotoxicity with ...
Xavier Pivot, Sebastian Jung, Sébastien Harlepp, Alexandre Detappe   +3 more
wiley   +1 more source

The Pebble-Relation Comonad in Finite Model Theory [PDF]

Logical Methods in Computer Science
The pebbling comonad, introduced by Abramsky, Dawar and Wang, provides a categorical interpretation for the k-pebble games from finite model theory.
Yoàv Montacute, Nihil Shah
doaj   +1 more source

Formal systems of fuzzy logic and their fragments

Annals of Pure and Applied Logic, 2007
Nine fuzzy logics are taken into account: MTL, IMTL, SMTL, \(\Pi\)MTL, BL, SBL, Łukasiewicz, Gödel, and product logic; \(\{\rightarrow, \&, \bar 0, \wedge, \vee\}\) is taken as their common language. In this paper, the fragments of each of these logics to any sublanguage containing \(\rightarrow\) are studied -- 144 in total.
Petr Cintula, Petr Hájek 0001, Rostislav Horcík   +2 more
openaire   +2 more sources