Results 61 to 70 of about 998,736 (272)
Formally verifying Ada programs which use real number types [PDF]
Formal verification is applied to programs which use real number arithmetic operations (mathematical programs). Formal verification of a program P consists of creating a mathematical model of F, stating the desired properties of P in a formal logical ...
Sutherland, David
core +1 more source
Materials and System Design for Self‐Decision Bioelectronic Systems
Advanced Materials, EarlyView.This review highlights how self‐decision bioelectronic systems integrate sensing, computation, and therapy into autonomous, closed‐loop platforms that continuously monitor and treat diseases, marking a major step toward intelligent, self‐regulating healthcare technologies.
Qiankun Zeng +9 more
wiley +1 more source
Tilings of Annular Region [PDF]
, 2014 We present our summer research on mathematical tiling. We classified which rectangular annular regions are tileable by the set of T and skew tretrominoes.
Altringer, Levi A. +7 more
core +1 more source
Advanced Materials Technologies, EarlyView.The article overviews past and current efforts on caloric materials and systems, highlighting the contributions of Ames National Laboratory to the field. Solid‐state caloric heat pumping is an innovative method that can be implemented in a wide range of cooling and heating applications.
Agata Czernuszewicz +5 more
wiley +1 more source
The Mathematical Modeling and Proof of the Goldbach Conjecture [PDF]
, 2018 Yu Wang
openalex +1 more source
MEMS‐Based Magnetoelectric Antennas for Wireless Power Transmission in Brain‐Implantable Devices
Advanced Materials Technologies, EarlyView.Magnetoelectric (ME) antennas allow the minimization of the invasiveness of brain implantable devices, via powering wirelessly systems able to actuate neural tissue. In order to achieve the necessary power efficiency transmission, the choice of the materials and the system assembly is vital.
Laura Mazón‐Maldonado +5 more
wiley +1 more source
Advanced Materials Technologies, EarlyView.Complementary unipolar electrical transport is demonstrated in ZnO‐Co3O4 core–shell nanowires, by engineering multi‐terminal device architectures that allow to selectively address different sections of the nanostructure and resorting on ionic liquid gating for conformal capacitive coupling and field effect control.
Valeria Demontis +5 more
wiley +1 more source
Photothermomechanically Efficient, Low‐Cost, High‐Cycle‐Life, Hybrid MXene‐Polymer Actuators
Advanced Materials Technologies, EarlyView.The addition of MXenes to elastomer‐plastic‐paper films enables the creation of easily prepared actuators that are scalable for small robotic applications. Known as MXene‐polymer Trilayer Actuators (MPTAs), they bend from UV light. Their usefulness is demonstrated through kirigami‐inspired flower‐shaped art design, parallel manipulator for waveguiding,
Ken Iiyoshi +6 more
wiley +1 more source
The Ability of Students’ Mathematical Proof in the Introduction to Group Theory in terms of Gender Differences [PDF]
, 2019 Sugeng Sutiarso
openalex +1 more source
Post‐Processing Strengthened 3D Artificial Fingertip with Multi‐Intensity Pain Perception
Advanced Materials Technologies, EarlyView.The 3D multi‐intensity pain‐perceptive artificial fingertip (HBAF) is designed, whose mechanical and conductive properties are highly improved via novel post‐processing. With the soft adhesive gel layer, which is grown on the base of HBAF, it is seamlessly assembled with the robotic hand and further evaluates the safe factor of gripping.
Huijing Li +6 more
wiley +1 more source