Results 141 to 150 of about 2,655,411 (248)

Recursive resolution for modal logic

, 2002
Resolution for the first order logic can be considered as a practical tool for obtaining a decision procedures for some theories (cf. arm). For modal logics, however, there is no uniform formulation of the resolution principle, yet the normal modal ...
Yevgeny Kazakov, Kazakov, Y., Kazakov, Yevgeny   +2 more
core  

Mapping relational mechanism clusters in <i>Of Human Bondage</i>: a theory-driven multiscale embedding analysis. [PDF]

Front Psychol
Zhao Z.
europepmc   +1 more source

Engineering Metal‐Pocket Cooperativity in Single‐Atom COF Nanozymes for Selective Cascade Catalysis

Advanced Materials, EarlyView.
A multilevel programming strategy is developed to engineer single‐atom COF nanozymes with tunable metal centers and chiral pockets inspired by heme–pocket cooperativity. This approach enables controlled metal–pocket interplay for asymmetric cascade catalysis, delivering high activity, selectivity, and recyclability in an asymmetric oxidation–aldol ...
Ziping Li, Qijun Sun, Yawen Hao, Haotian Wen, Shery Chang, Fengwang Li, Jiangtao Xu, Kang Liang   +7 more
wiley   +1 more source

Designing Epistemic Friction: Architecture and Protocols for Trickster AI in Leadership Education. [PDF]

New Dir Stud Leadersh
Ofosu-Asare Y, Nally RA.
europepmc   +1 more source

Electrolyte Engineering Challenges and Opportunities for Next‐Generation Aqueous Ammonium‐Ion Batteries

Advanced Materials, EarlyView.
Aqueous ammonium‐ion batteries (AAIBs) face a hydrogen‐bond paradox: the HB network enables fast NH4+ transport but triggers water decomposition. This review dissects this dilemma, evaluates multiple electrolyte engineering strategies, and outlines four future directions for next‐generation AAIB design ABSTRACT Aqueous ammonium‐ion batteries (AAIBs ...
Zi‐Hang Huang, Xiaoyu Liu, Shuai Mao, Lingfeng Zhu, Zhijun Wu, Hongge Pan, Tianyi Ma   +6 more
wiley   +1 more source

Distinguishing compound and cumulative hazards using machine learning and fuzzy logic in multi-hazard susceptibility mapping. [PDF]

Sci Rep
Einali J, Gholamnia K, Einali G, Moghaddam HT, Monfared BA, Cheraghi M, Ghorbanzadeh O.   +6 more
europepmc   +1 more source

Fast Hydrogel Micro‐Actuators Driven by Electric Fields

Advanced Materials, EarlyView.
We report the fabrication of chemically programmable electroactuating microstructures through the first integration of two‐photon polymerization with electrically actuated gelatin methacrylate‐based hydrogels. By tailoring the charge of the polymer network, we demonstrate programmable polarity‐dependent bending, enabling microstructures that ...
Annaël Sort‐Montenegro, Jason M. Delente, Žiga Roblek, Yekaterina Tskhe, Luke Dowling, Colm Delaney, Larisa Florea   +6 more
wiley   +1 more source

Hybrid Event-Frame Sensing for Human-Perceptual Imaging and Machine Vision. [PDF]

Sensors (Basel)
Park PKJ, Kim J, Ko J.
europepmc   +1 more source

Toward Pore‐Engineered 3D‐Printed Materials for Sorption Water Harvesting, Interfacial Evaporation, and Radiative Cooling

Advanced Materials, EarlyView.
Water harvesting, radiative cooling, and interfacial solar evaporation are fundamentally governed by coupled heat, mass, and light transport processes. These processes are mediated by pore architecture, including pore size, connectivity, and hierarchical organization.
Dejan J. Trajkovski, Higgins M. Wilson, Abdallah Y. M. Ali, Jiaxing Xu, Ruzhu Wang, Primož Poredoš   +5 more
wiley   +1 more source

A Unification Free Introduction to Logic Programming

, 1993
In this paper, we give a new presentation of the fundamental results of the theory of Logic Programming, which differs from classical introductions in at least two ways: the use of predicate algebras to deal with model theoretical aspects and the ...
Di Meglio, R., Sassone, V.
core