Results 101 to 110 of about 165,990,627 (290)

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

Analytic Methods for the Logic of Proofs [PDF]

Journal of Logic and Computation, 2008
The logic of proofs (lp) was proposed as Godel's missed link between Intuitionistic and S4-proofs, but so far the tableau-based methods proposed for lp have not explored this closeness with S4 and contain rules whose analycity is not immediately evident.
openaire   +2 more sources

Proof Search in Constructive Logics [PDF]

, 1999
We present an overview of some sequent calculi organised not for "theorem-proving" but for proof search, where the proofs themselves (and the avoidance of known proofs on backtracking) are objects of interest. The main calculus discussed is that of Herbelin [1994] for intuitionistic logic, which extends methods used in hereditary Harrop logic ...
Pinto, Luís F., Dyckhoff, Roy
openaire   +2 more sources

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

Some remarks on proof-theoretic semantics [PDF]

, 2015
This is a tripartite work. The first part is a brief discussion of what it is to be a logical constant, rejecting a view that allows a particular self-referential “constant” • to be such a thing in favour of a view that leads to strong normalisation ...
Roy Dyckhoff, Dyckhoff, Roy
core   +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

Diagramas e Provas

DoisPontos, 2009
The standard approach to proofs is the linguistic conception of proofs. Recent literature, though, legitimates heterogenic proofs, i.e., the ones that include graphic or visual elements.
Bruno Vaz, Abel Lassalle Casanave, Sérgio Schultz   +2 more
doaj  

Descriptors to Dynamics: A Materials and Device Perspective on in‐Materio Physical Reservoir Computing for Neuromorphic Edge Intelligence

Advanced Materials, EarlyView.
Intrinsic material dynamics are harnessed as computational resources for neuromorphic in‐materio physical reservoir computing. Defects, ionic motion, interfaces, percolation, geometry, and biasing shape transient states that provide fading memory, nonlinearity, and high‐dimensional projection for simple readout. A descriptor‐to‐dynamics framework links
Kshitij RB Singh, Alif Syafiq Kamarol Zaman, Muzhen Xu, Yuki Usami, Saptarshi Das, Hirofumi Tanaka   +5 more
wiley   +1 more source

The promise and limits of LLMs in constructing proofs and hints for logic problems in intelligent tutoring systems

Computers and Education: Artificial Intelligence
Intelligent tutoring systems have demonstrated effectiveness in teaching formal propositional logic proofs, but their reliance on template-based explanations limits their ability to provide personalized student feedback. While large language models (LLMs)
Sutapa Dey Tithi, Arun Kumar Ramesh, Clara DiMarco, Xiaoyi Tian, Nazia Alam, Kimia Fazeli, Tiffany Barnes   +6 more
doaj   +1 more source

Nature‐Derived Chitosan Biopolymer: A Promising Candidate for Sustainable Electronics

Advanced Materials Technologies, EarlyView.
In the creation of environmentally friendly devices, nature‐derived chitosan biopolymer is a promising contender for sustainable electronic research. It can be utilized to create more ecologically friendly scalable gadgets and has a variety of uses in different active layers of electronics.
Joshua McDonald, Ali Nawaz, Amandeep Singh, Prashant Sonar   +3 more
wiley   +1 more source