Results 171 to 180 of about 228,061 (236)
A Calculus of Circular Proofs and its Categorical Semantics
, 2001 Luigi Santocanale
openalex +2 more sources
Advanced Functional Materials, EarlyView.A UV‐crosslinkable soft anisotropic conductive film (ACF) provides high‐resolution, room‐temperature electrical interfacing. Upon UV exposure, azide crosslinkers within the ACF matrix form covalent bonds with a wide range of C–H‐containing materials, resulting in interfaces that are both mechanically durable and electrically reliable.
Jun Choi +7 more
wiley +1 more source
Circular proofs for the modal mu‐calculus [PDF]
, 2016 Bahareh Afshari, Graham E. Leigh
openalex +1 more source
Advanced Functional Materials, EarlyView.Two‐photon lithography (TPL) enables 3D magnetic nanostructures with unmatched freedom in geometry and material choice. Advances in voxel control, deposition, and functionalization open pathways to artificial spin ices, racetracks, microrobots, and a number of additional technological applications.
Joseph Askey +5 more
wiley +1 more source
Efficient translation of sequent calculus proofs into natural deduction proofs
, 2018 Gabriel Ebner, Matthias Schlaipfer
openalex +1 more source
A simple proof of a theorem in the calculus of variations (extract from a letter to Mr. W. F. Osgood) [PDF]
, 1904 Édouard Goursat
openalex +1 more source
Advanced Functional Materials, EarlyView.The pyrene and ether groups are incorporated into the covalent triazine polymer (CTP) structure. The synergistic effect of the two functional groups endows CTP with better electron transfer, light absorption, and oxygen activation properties. An impressive apparent quantum yield (13.2% @420 nm) and a remarkable solar‐to‐chemical conversion efficiency ...
Chong Wang +10 more
wiley +1 more source
The Proof Checkers Pacheck and Pastèque for the Practical Algebraic Calculus
, 2020 Daniela Kaufmann +2 more
openalex +1 more source
Near‐Sensor Analog Computing via Monolithic 3D Piezoelectric Sensor–FeFET for Tactile Sensing System
Advanced Functional Materials, EarlyView.A monolithic 3D‐integrated tactile system combines a piezoelectric sensor and ferroelectric field‐effect transistor (FeFET) to process both static and dynamic pressure signals directly at the sensor node. The system enables in‐sensor analog noise filtering with multi‐level memory states, achieving high sensitivity and ultra‐low power operation (≈10 nW),
Woongjin Kim +6 more
wiley +1 more source