Results 51 to 60 of about 49,509 (302)

A resolution calculus for modal logics

, 2005
A syntax transformation is presented that eliminates the modal logic operators from modal logic formulae by shifting the modal context information to the term level. The formulae in the transformed syntax can be brought into conjunctive normal form such that a clause based resolution calculus without any additional inference rule, but with special ...
openaire   +2 more sources

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

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

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

Logical disputes and the a priori [Disputas lógicas e o a priori]

Princípios, 2016
In this paper, I propose a general model for the rational resolution of disputes about logic, and discuss a number of its features. These include its dispensing with a traditional notion of the a priori in logic, and some objections to which this might ...
Graham Priest
doaj   +2 more sources

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

Dynamic Conflict Resolution Using Justification Based Reasoning [PDF]

Electronic Proceedings in Theoretical Computer Science, 2019
We study conflict situations that dynamically arise in traffic scenarios, where different agents try to achieve their set of goals and have to decide on what to do based on their local perception.
Werner Damm, Martin Fränzle, Willem Hagemann, Paul Kröger, Astrid Rakow   +4 more
doaj   +1 more source

Single‐Step Synthesis of In‐plane 1T'‐2H Heterophase MoTe2 for Low‐Resistance Contacts

Advanced Functional Materials, EarlyView.
A single‐step CVD method is developed to synthesize seamless in‐plane 1T'‐2H MoTe2 heterophase junctions with precise phase control and uniform large‐area coverage. The resulting transistors, incorporating 1T' MoTe2 contacts and 2H MoTe2 channels, exhibit ultralow contact resistance, offering a scalable solution to the long‐standing challenge of ...
Ye Lin, Hanwool Lee, Junzhe Kang, Zhiyu Wang, Richard T. Haasch, Stasiu T. Chyczewski, Zetai Liu, Huai‐Chung Chuang, Jun‐Fei Zheng, Wenjuan Zhu   +9 more
wiley   +1 more source

Unveiling Phonon Contributions to Thermal Conductivity and the Applicability of the Wiedemann—Franz Law in Ruthenium and Tungsten Thin Films

Advanced Functional Materials, EarlyView.
Thermal transport in Ru and W thin films is studied using steady‐state thermoreflectance, ultrafast pump–probe spectroscopy, infrared‐visible spectroscopy, and computations. Significant Lorenz number deviations reveal strong phonon contributions, reaching 45% in Ru and 62% in W.
Md. Rafiqul Islam, Pravin Karna, Niraj Bhatt, Sandip Thakur, Helge Heinrich, Daniel M. Hirt, Saman Zare, Christopher Jezewski, Rinus T.P. Lee, Kandabara Tapily, John T. Gaskins, Colin D. Landon, Sean W. King, Ashutosh Giri, Patrick E. Hopkins   +14 more
wiley   +1 more source

The Significance of Informal Logic for Philosophy

Informal Logic, 2000
Informal logic is a new sub-discipline of philosophy, roughly definable as the philosophy of argument. Contributors have challenged the traditional concept of an argument as a premiss-conclusion complex, in favour of speech-act, functional and dialogical
David Hitchcock
doaj   +1 more source