Results 81 to 90 of about 2,143,165 (258)

Beyond‐Classical Ferroelectric Metamaterials: 3D‐Printed Planar Lattices With Programmable Electro–Thermo–Mechanical Coupling

open access: yesAdvanced Science, EarlyView.
Planar ferroelectric lattices with rationally‐tailored topology and polarization achieve programmable piezoelectric and pyroelectric properties. Analytical modeling, homogenization, and experiments collectively demonstrate enhanced and tunable longitudinal, transverse, and shear piezoelectric responses, together with substantially improved ...
Jiahao Shi   +6 more
wiley   +1 more source

Mathematical Logic

open access: yes, 2022
Laszlo Csirmaz, Zalán Gyenis
openaire   +3 more sources

LLMs as Representation Generators for Gradient‐Free Scientific Optimization: A Case Study in Battery Fast Charging

open access: yesAdvanced Science, EarlyView.
Large language models serve as representation generators for gradient‐free scientific optimization. Two complementary approaches produce executable battery‐charging policies either directly or through LLM‐designed neural representations coupled to Bayesian optimization.
Ge Lei   +3 more
wiley   +1 more source

An Expertise Transfer Framework For Autonomous Surgical Assistance

open access: yesAdvanced Science, EarlyView.
This study introduces an expertise transfer framework for procedure‐spanning autonomous surgical assistance. By emulating expert logic through hierarchical perception, attention modeling, and knowledge graph‐based decision‐making, the system provides near‐expert surgical view assistance.
Yuan Gao   +12 more
wiley   +1 more source

Hydrogel Phase Transition‐Driven Soft Gating Circumvents Debye Screening for Advanced Biosensing

open access: yesAdvanced Science, EarlyView.
A 3D soft gate utilizes a macroscopic hydrogel phase transition to effectively circumvent Debye screening in high‐salt environments. The intact matrix maximizes transmembrane ion flux via volumetric Donnan enrichment and superhydrophilicity. Target‐triggered network disassembly abolishes these effects, introducing a synergistic physical barrier.
Liu Shi   +8 more
wiley   +1 more source

Mathematical Logic: Proof Theory, Type Theory and Constructive Mathematics

open access: yes, 2005
The workshop “Mathematical Logic: Proof Theory, Type Theory and Constructive Mathematics” covered various topics of mathematical logic dealing with proofs as formal objects and computations induced by ...

core   +1 more source

Decoding Biomolecular Phase Separation: From Physiological Roles to Pathological Mechanisms and Therapeutic Biomaterials Design

open access: yesAdvanced Science, EarlyView.
This review systematically elaborates on the mechanisms underlying physiological regulation and pathological dysregulation of biomolecular phase separation. It also summarizes advances in phase‑separation‑targeted therapeutic strategies and the design of functional biomaterials inspired by this process.
Jiawei Zhu   +5 more
wiley   +1 more source

Logic, Mathematics, and General Agency [PDF]

open access: yes, 2011
We examine the practice and foundations of mathematics as a form of general rational agency, using recent perspectives from the dynamic logic of information-driven ...
van Benthem, Johan
core  

Hardware Acceleration of Stochastic Neural Networks Enabled by Bit‐Cell Level Co‐Design of Magnetic Tunnel Junctions

open access: yesAdvanced Science, EarlyView.
An MTJ‐based probabilistic processing‐in‐memory architecture unites nonvolatile storage, local entropy generation, and stochastic computation within each memory cell. Stored multi‐bit weights are converted directly into programmable stochastic bitstreams, enabling neural‐network inference, adaptive Ising optimization, and uncertainty‐aware Bayesian ...
Qiuyuan Wang   +6 more
wiley   +1 more source

Home - About - Disclaimer - Privacy