Results 81 to 90 of about 156,774 (303)

Liquid‐Locked Bassanites for Scalable Fabrication of High‐Temperature Micro‐Supercapacitors Working at 300 °C

Advanced Functional Materials, EarlyView.
A “liquid locking” strategy is proposed and implemented for scalable printing of crack‐free bassanite ceramic frameworks with interlocking microstructures to host ionic liquids as effective electrolytes for high‐temperature micro‐supercapacitors (HT‐MSCs).
Shiqian Chen, Zheng Li, Komal Gola, Gui Li, Ruiqi Chen, Jinhua Sun, Alexandr Talyzin, Jiantong Li   +7 more
wiley   +1 more source

A Van Benthem Characterization Result for Distribution-Free Logics

Logics
This article contributes to recent results in the model theory of distribution-free logics (which include a Goldblatt-Thomason theorem and a development of their Sahlqvist theory) by lifting van Benthem’s characterization result for modal logic to the ...
Chrysafis Hartonas
doaj   +1 more source

General normal forms for any additive logic

, 2017
In this article, we define general normal forms for any logic that has propositional part and whose non-propositional connectives distribute over the finite disjunctions.
Khaled, Mohamed
core   +1 more source

Locking Metastable Topological Domains in Nematic Liquid Crystal Pi Cells

Advanced Functional Materials, EarlyView.
Selective photopolymerization in the presence of a controlled voltage defines permanent director walls that lock‐in metastable bend and twist configurations within nematic liquid crystal Pi cells. Q‐tensor simulations corroborate the experiments, demonstrating the topological state stabilization.
Adithya Pradeep, Urban Mur, Junseok Ma, Nathan Spiller, Yihan Jin, Waqas Kamal, Steve J. Elston, Stephen M. Morris   +7 more
wiley   +1 more source

Multiple Conclusion Rules in Logics with the Disjunction Property

, 2015
We prove that for the intermediate logics with the disjunction property any basis of admissible rules can be reduced to a basis of admissible m-rules (multiple-conclusion rules), and every basis of admissible m-rules can be reduced to a basis of ...
A Chagrov, A Chagrov, A Citkin, A Muravitsky, AV Chagrov, BR Fedorishin, E Jeřábek, E Jeřábek, E Jeřábek, G Bezhanishvili, G. E. Mints, H Friedman, J Goudsmit, JP Goudsmit, L Cabrer, M Kracht, M Kracht, ND Belnap Jr, R Harrop, R Iemhoff, R Iemhoff, R Iemhoff, S Odintsov, SC Kleene, T Prucnal, VV Rybakov, VV Rybakov, VV Rybakov, VV Rybakov, VV Rybakov, W Craig, WA Pogorzelski   +31 more
core   +1 more source

Logics with Impossibility as the Negation and Regular Extensions of the Deontic Logic D2 [PDF]

, 2017
In [1] J.-Y. Bèziau formulated a logic called Z. Bèziau’s idea was generalized independently in [6] and [7]. A family of logics to which Z belongs is denoted in [7] by K.
Mruczek-Nasieniewska, Krystyna, Nasieniewski, Marek   +1 more
core   +1 more source

Structural Motifs in Soft Fibrous Tissues: Revealing Structure‐Mechanics Relationships in Deformation and Tear Resistance for Biomimetic Material Design

Advanced Healthcare Materials, EarlyView.
This review explores how soft fibrous tissues achieve their remarkable mechanical behavior through recurring structural motifs across multiple length scales. It highlights key advances in mimicking these features using fiber‐reinforced hydrogels and hierarchical composites, offering insights into mechanical compatibility, flaw tolerance, and tear ...
Mirit Sharabi
wiley   +1 more source

A Syntactic Proof of the Decidability of First-Order Monadic Logic

Bulletin of the Section of Logic
Decidability of monadic first-order classical logic was established by Löwenheim in 1915. The proof made use of a semantic argument and a purely syntactic proof has never been provided.
Eugenio Orlandelli, Matteo Tesi
doaj   +1 more source

Machine‐Learning‐Aided Advanced Electrochemical Biosensors

Advanced Materials, EarlyView.
Electrochemical biosensors are highly sensitive, portable, and versatile. Advanced nanomaterials enhance their performance, while machine learning (ML) improves data analysis, minimizes interference, and optimizes sensor design. Despite progress in both fields, their combined potential in diagnostics remains underexplored.
Andrei Bocan, Roozbeh Siavash Moakhar, Carolina del Real Mata, Max Petkun, Tristan De Iure‐Grimmel, Sripadh Guptha Yedire, Hamed Shieh, Arash Khorrami Jahromi, Sahar Sadat Mahshid, Sara Mahshid   +9 more
wiley   +1 more source

Methods for Solving Necessary Equivalences [PDF]

, 2004
Nonmonotonic Logics such as Autoepistemic Logic, Reflective Logic, and Default Logic, are usually defined in terms of set-theoretic fixed-point equations defined over deductively closed sets of sentences of First Order Logic.
Brown, Frank
core