Results 51 to 60 of about 12,692 (304)

3D Concrete Printing of Triply Periodic Minimum Surfaces for Enhanced Carbon Capture and Storage

Advanced Functional Materials, EarlyView.
A 3D‐printable and carbon‐capturing concrete is developed by replacing cement with diatomaceous earth (DE), which enhances rheology, provides hierarchical porosity, and serves as a nucleation site for carbonation. Maximum absorption of 488.7 gCO2 kgcement−1 is achieved in 7 days, a 142% increase over conventional concrete, and the triply periodic ...
Kun‐Hao Yu, Teng Teng, So Hee Nah, Hua Chai, Yefan Zhi, Kun‐Yu Wang, Yinding Chi, Peter Psarras, Masoud Akbarzadeh, Shu Yang   +9 more
wiley   +1 more source

Theorem proving for prenex G\"odel logic with Delta: checking validity and unsatisfiability [PDF]

Logical Methods in Computer Science, 2012
G\"odel logic with the projection operator Delta (G_Delta) is an important many-valued as well as intermediate logic. In contrast to classical logic, the validity and the satisfiability problems of G_Delta are not directly dual to each other.
Matthias Baaz, Agata Ciabattoni, Christian G Fermüller   +2 more
doaj   +1 more source

Deduction in many-valued logics: a survey

Mathware & soft computing, 1997
Peer ...
Haehnle, Reiner, Escalada-Imaz, Gonzalo
openaire   +7 more sources

The Synergy of Artificial Intelligence and 3D Bioprinting: Unlocking New Frontiers in Precision and Tissue Fabrication

Advanced Functional Materials, EarlyView.
Advances in integrating artificial intelligence into 3D bioprinting are systematically reviewed here. Machine learning, computer vision, robotics, natural language processing, and expert systems are examined for their roles in optimizing bioprinting parameters, real‐time monitoring, quality control, and predictive maintenance.
Joao Vitor Silva Robazzi, Irem Deniz Derman, Deepak Gupta, Logan Haugh, Yogendra Pratap Singh, Vaibhav Pal, Yasar Ozer Yilmaz, Suihong Liu, Andre Luis Dias, Rogerio Andrade Flauzino, Ibrahim Tarik Ozbolat   +10 more
wiley   +1 more source

Linear Abelian Modal Logic

Bulletin of the Section of Logic
A many-valued modal logic, called linear abelian modal logic \(\rm {\mathbf{LK(A)}}\) is introduced as an extension of the abelian modal logic \(\rm \mathbf{K(A)}\). Abelian modal logic \(\rm \mathbf{K(A)}\) is the minimal modal extension of the logic of
Hamzeh Mohammadi
doaj   +1 more source

Mimicking Synaptic Plasticity: Optoionic MoS2 Memory Powered by Biopolymer Hydrogels as a Dynamic Cations Reservoir

Advanced Functional Materials, EarlyView.
Janus (MoS2) transistors functionalized with sodium alginate (SA) and poly(vinylidene fluoride‐co‐trifluoroethylene) [P(VDF‐TrFE)] exhibit persistent photo‐induced ionic gating, driven by dynamic cation migration at the hybrid interface. This ionic mechanism enables finely tunable photoconductivity and emulates key synaptic plasticity behaviors ...
Yeonsu Jeong, Pietro Tordi, Adrián Tamayo, Bin Han, Massimo Bonini, Paolo Samorì   +5 more
wiley   +1 more source

Generalized Modus Tollens with Linguistic Modifiers for Inverse Approximate Reasoning [PDF]

International Journal of Computational Intelligence Systems, 2014
Based on our previous researchs about generalized modus ponens (GMP) with linguistic modifiers for If … Then rules, this paper proposes new generalized modus tollens (GMT) inference rules with linguistic modifiers in linguistic many–valued ...
Le Anh Phuong, Tran Dinh Khang
doaj   +1 more source

Electrically Binary and Ternary Convertible CMOS Inverter and Logic Gate Using Complementary Field‐Effect Transistors Based on Vertically Stacked MoS2/WSe2 n‐/p‐ Field‐Effect Transistors

Advanced Functional Materials, EarlyView.
In this work, a reconfigurable T‐CMOS inverter based on vertically stacked MoS2 and WSe2 MOSFETs with a gate‐tunable MoS2 resistor, enabling stable ternary logic, is demonstrated. The T‐CMOS inverter supports electrical switching between ternary and binary modes and is further extended to implement ternary NAND (NMIN) and NOR (NMAX) logic gates ...
Changwook Lee, Dongyoung Kim, Eunyeong Yang, Jiwon Ma, Kibum Kang, Jiwon Chang   +5 more
wiley   +1 more source

Many-Valued Logic and Zadeh’s Fuzzy Sets: A Stone Representation Theorem for Interval-Valued Łukasiewicz–Moisil Algebras

Journal of Intelligent Systems, 2016
The aim of this article is to develop a representation theory of interval-valued Łukasiewicz–Moisil algebras; the concept of interval fuzzy sets involves the role that the notion of field of sets plays for the representation of Boolean algebras.
Amroune Abdelaziz, Zedam Lemnaouar, Davvaz Bijan   +2 more
doaj   +1 more source

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