Results 211 to 220 of about 9,301 (306)
Sequent calculus proof systems for inductive definitions
, 2006 Inductive definitions are the most natural means by which to represent many families of structures occurring in mathematics and computer science, and their corresponding induction / recursion principles provide the fundamental proof techniques by which to reason about such families. This thesis studies formal proof systems for inductive definitions, as
openaire +1 more source
Advanced Functional Materials, EarlyView.Cephalopod‐inspired photonic microparticles with dynamic structural coloration are fabricated via confined self‐assembly of linear block copolymers into ellipsoids containing stacked lamellae. Embedded superparamagnetic nanoparticles enable rapid magnetic alignment, restoring vivid, angle‐dependent color.
Gianluca Mazzotta +8 more
wiley +1 more source
Design of a fractional-order sliding mode controller for lane- keeping in autonomous driving. [PDF]
Sci RepWu W, Huang S, Qin J, Yang H, Xu C.
europepmc +1 more source
Advanced Functional Materials, EarlyView.Tin hexathiophosphate memristors leverage intrinsic nanopores together with a guided filament formation strategy to regulate titanium ion motion and switching behavior. The devices support reliable nonvolatile memory and reconfigurable logic‐in‐memory, demonstrating 14 Boolean logic functions in a single cell.
Thaw Tint Te Tun +7 more
wiley +1 more source
Mathematical modeling and optimal control analysis of lumpy skin disease in domestic cattle. [PDF]
Sci RepRenu, Yadav RP.
europepmc +1 more source
Novel Functional Materials via 3D Printing by Vat Photopolymerization
Advanced Functional Materials, EarlyView.This Perspective systematically analyzes strategies for incorporating functionalities into 3D‐printed materials via Vat Photopolymerization (VP). It explores the spectrum of achievable functionalities in recently reported novel materials—such as conductive, energy‐storing, biodegradable, stimuli‐responsive, self‐healing, shape‐memory, biomaterials, and
Sergey S. Nechausov +3 more
wiley +1 more source
Efficient Charge Transport in Zero‐Dimensional Perovskite for Ultrahigh‐Sensitivity X‐Ray Detection
Advanced Functional Materials, EarlyView.A novel mono‐octahedral 0D Bi‐based Dpy3Bi2I12 perovskite strengthens the internal hydrogen bonds and forms a quasi‐2D lattice, exhibits exceptional charge transport and mobility, achieving high X‐ray sensitivity and ultralow‐dose imaging, and setting a new benchmark for 0D detector performance.
Xin Song +16 more
wiley +1 more source
Equivariant valuations on convex functions. [PDF]
Calc Var Partial Differ EquHofstätter GC, Knoerr J.
europepmc +1 more source
From Bug to Feature: Harnessing Cross‐Sensitivity for Multiparametric Luminescence Sensing
Advanced Functional Materials, EarlyView.Cross‐sensitivity in luminescence sensing is reframed from a limitation into a resource for multiparametric detection. Using ruby microspheres as a model system, cross‐sensitivity is quantitatively assessed and exploited through linear discriminant analysis, enabling simultaneous, correction‐free pressure and temperature sensing with a single ...
Nikita Panov +5 more
wiley +1 more source
On the Relativity of Quantumness as Implied by Relativity of Arithmetic and Probability. [PDF]
Entropy (Basel)Czachor M.
europepmc +1 more source