Results 91 to 100 of about 1,045,924 (344)

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

Global Numerical Constraints on Trees

, 2014
We introduce a logical foundation to reason on tree structures with constraints on the number of node occurrences. Related formalisms are limited to express occurrence constraints on particular tree regions, as for instance the children of a given node ...
Bárcenas, Everardo, Lavalle, Jesús
core   +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

Web ontology representation and reasoning via fragments of set theory

, 2015
In this paper we use results from Computable Set Theory as a means to represent and reason about description logics and rule languages for the semantic web.
A Formisano, B Motik, B Motik, D Cantone, D Cantone, D Cantone, F Baader, JT Schwartz, N Dershowitz   +8 more
core   +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

On the uniform one-dimensional fragment

, 2016
The uniform one-dimensional fragment of first-order logic, U1, is a recently introduced formalism that extends two-variable logic in a natural way to contexts with relations of all arities.
Kuusisto, Antti
core  

Temporalising OWL 2 QL [PDF]

, 2013
We design a temporal description logic, TQL, that extends the standard ontology language OWL2QL, provides basic means for temporal conceptual modelling and ensures first-order rewritability of conjunctive queries for suitably defined data instances with ...
Artale, A., Kontchakov, Roman, Wolter, F., Zakharyaschev, Michael   +3 more
core   +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

Practical reasoning for very expressive description logics [PDF]

, 2000
Ian Horrocks
openalex   +3 more sources

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