Results 81 to 90 of about 164,088 (328)
Advanced Materials Technologies, EarlyView.This critical review presents a comprehensive roadmap for the precision 3D printing of cellulose. Quantitative correlations link ink formulation and rheological properties to print fidelity and final material performance. This framework guides the development of advanced functional materials, from biomedical scaffolds to electromagnetic shielding ...
Majed Amini +3 more
wiley +1 more source
A Criticism of Kripke’s Semantic for Intuitionistic Logic
O Que Nos Faz Pensar, 2016 This note aims to examine critically Kripke’s semantics for propositional intuitionistic logic. Kripke’s semantic is extensionally correct with respect to propositional intuitionistic logic, that is, the calculus is sound and complete with respect to the
Wagner de Campos Sanz
doaj
The Pebble-Relation Comonad in Finite Model Theory [PDF]
Logical Methods in Computer ScienceThe pebbling comonad, introduced by Abramsky, Dawar and Wang, provides a categorical interpretation for the k-pebble games from finite model theory.
Yoàv Montacute, Nihil Shah
doaj +1 more source
Advances in Solid‐Phase Processing Techniques: Innovations, Applications, and Future Perspectives
Advanced Materials Technologies, EarlyView.Based on practical manufacturing challenges, this review examines advanced solid‐phase processing techniques that overcome the inherent limitations of conventional melting‐based and traditional solid‐phase manufacturing, enabling the production of higher‐performance components at reduced cost through process innovation and improved supply‐chain ...
Tianhao Wang
wiley +1 more source
Advanced Materials Technologies, EarlyView.Transducers convert physical signals into electrical and optical representations, yet each mechanism is bounded by intrinsic trade‐offs across bandwidth, sensitivity, speed, and energy. This review maps transduction mechanisms across physical scale and frequency, showing how heterogeneous integration and multiphysics co‐design transform isolated ...
Aolei Xu +8 more
wiley +1 more source
Magnetic Textiles: A Review of Materials, Fabrication, Properties, and Applications
Advanced Materials Technologies, EarlyView.Magnetic textiles (M‐textiles) are emerging as a programmable materials platform that merges magnetic matter with hierarchical textile structures. This article consolidates magnetic material classes, textile architectures, and fabrication and magnetization strategies, revealing structure–property–function relationships that govern magneto‐mechanical ...
Li Ke +3 more
wiley +1 more source
, 2003 We present role logic, a notation for describing properties of relational structures in shape analysis, databases, and knowledge bases. We construct role logic using the ideas of de Bruijn's notation for lambda calculus, an encoding of first-order logic ...
Kuncak, Viktor, Rinard, Martin
core +5 more sources
Logic Fragments: A Coordination Model Based on Logic Inference [PDF]
, 2015 Chemical-based coordination models have proven useful to engineer self-organising and self-adaptive systems. Formal assessment of emergent global behaviours in self-organising systems is still an issue, most of the time emergent properties are being analysed through extensive simulations.
Angelis, Francesco +1 more
openaire +2 more sources
3D Printing of Soft Robotic Systems: Advances in Fabrication Strategies and Future Trends
Advanced Robotics Research, EarlyView.Collectively, this review systematically examines 3D‐printed soft robotics, encompassing material selections, function integration, and manufacturing methodologies. Meanwhile, fabrication strategies are analyzed in order of increasing complexity, highlighting persistent challenges with proposed solutions.
Changjiang Liu +5 more
wiley +1 more source
Deciding regular grammar logics with converse through first-order logic
, 2003 We provide a simple translation of the satisfiability problem for regular grammar logics with converse into GF2, which is the intersection of the guarded fragment and the 2-variable fragment of first-order logic.
de Nivelle, Hans, Demri, Stephane
core +4 more sources