Results 81 to 90 of about 11,114,666 (310)

All‐in‐One Analog AI Hardware: On‐Chip Training and Inference with Conductive‐Metal‐Oxide/HfOx ReRAM Devices

Advanced Functional Materials, EarlyView.
An all‐in‐one analog AI accelerator is presented, enabling on‐chip training, weight retention, and long‐term inference acceleration. It leverages a BEOL‐integrated CMO/HfOx ReRAM array with low‐voltage operation (<1.5 V), multi‐bit capability over 32 states, low programming noise (10 nS), and near‐ideal weight transfer.
Donato Francesco Falcone, Victoria Clerico, Wooseok Choi, Tommaso Stecconi, Folkert Horst, Laura Bégon‐Lours, Matteo Galetta, Antonio La Porta, Nikhil Garg, Fabien Alibart, Bert Jan Offrein, Valeria Bragaglia   +11 more
wiley   +1 more source

Implications between generalized convexity properties of real functions

, 2015
Motivated by the well-known implications among $t$-convexity properties of real functions, analogous relations among the upper and lower $M$-convexity properties of real functions are established.
Kiss, Tibor, Páles, Zsolt
core   +1 more source

Bimetallic Nanoparticles as Cocatalysts for Photocatalytic Hydrogen Production

Advanced Functional Materials, EarlyView.
Recent developments have introduced bimetallic nanoparticles as effective cocatalysts for photocatalytic systems. This review explores the rapidly expanding research on bimetallic cocatalysts for photocatalytic production of hydrogen, emphasizing the creation of carrier‐selective contacts, localized surface plasmon resonance effects, methodologies for ...
Yufen Chen, Asier Agrelo‐Lestón, Ignasi Burgués‐Ceballos, Jordi Llorca, Lluís Soler   +4 more
wiley   +1 more source

Functions Definable by Numerical Set-Expressions

, 2009
A "numerical set-expression" is a term specifying a cascade of arithmetic and logical operations to be performed on sets of non-negative integers. If these operations are confined to the usual Boolean operations together with the result of lifting ...
Düntsch, Ivo, Pratt-Hartmann, Ian
core   +1 more source

Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions

ACM Transactions on Computational Logic, 2018
Satisfiability Modulo Theories (SMT) is the problem of deciding the satisfiability of a first-order formula with respect to some theory or combination of theories; Verification Modulo Theories (VMT) is the problem of analyzing the reachability for ...
A. Cimatti, A. Griggio, A. Irfan, M. Roveri, R. Sebastiani   +4 more
semanticscholar   +1 more source

Photo‐Switching Thermal and Lithium‐Ion Conductivity in Azobenzene Polymers

Advanced Functional Materials, EarlyView.
Light‐responsive azobenzene polymers control thermal and ionic transport simultaneously through structural transitions. UV illumination disrupts π–π stacking, converting crystalline trans states to amorphous cis configurations. Thermal conductivity drops from 0.45 to 0.15 W·m−1·K−1 while Li+ diffusivity increases 100 fold. This dual transport switching
Jaeuk Sung, Jungwoo Shin, Qiujie Zhao, Minjee Kang, Christopher Evans, Cecilia Leal, Paul V. Braun, David G. Cahill   +7 more
wiley   +1 more source

Sieve functions in arithmetic bands

, 2016
An arithmetic function $f$ is called a {\it sieve function of range} $Q$, if its Eratosthenes transform $g=f\ast\mu$ is supported in $[1,Q]\cap\N$, where $g(q)\ll_{\varepsilon} q^{\varepsilon}$ ($\forall\varepsilon>0$). Here, we study the distribution of
Coppola, Giovanni, Laporta, Maurizio
core   +4 more sources

Membrane Wrapping for High Capacity and Rapidly Switchable Adhesives

Advanced Functional Materials, EarlyView.
A membrane‐wrapping mechanism enables high‐capacity, rapidly switchable adhesion by coupling suction, friction, and adhesion. Broadband performance is achieved in dry and underwater conditions, allowing fast, reversible manipulation of objects of diverse sizes and shapes, from delicate eggs and berries to flat, complex, or heavy objects. These outcomes
Yeunhee Kim, Camryn A. Mills, Michael D. Bartlett   +2 more
wiley   +1 more source

Physical Intelligence in Small‐Scale Robots and Machines

Advanced Materials, EarlyView.
“Physical intelligence” (PI) empowers biological organisms and artificial machines, especially at the small scales, to perceive, adapt, and even reshape their complex, dynamic, and unstructured operation environments. This review summarizes recent milestones and future directions of PI in small‐scale robots and machines.
Huyue Chen, Metin Sitti
wiley   +1 more source

On two functions arising in the study of the Euler and Carmichael quotients

, 2017
We investigate two arithmetic functions naturally occurring in the study of the Euler and Carmichael quotients. The functions are related to the frequency of vanishing of the Euler and Carmichael quotients.
Luca, Florian, Sha, Min, Shparlinski, Igor E.   +2 more
core   +1 more source