Results 111 to 120 of about 7,246 (295)
Color‐pure all‐organic emitters, i.e., with narrow spectral characteristics, are intensively studied for high‐definition organic LEDs and multi‐color bioimaging. In order to guide targeted materials design, this educative review discusses spectral characteristics, proper definitions and units, and the physical basis of spectral broadening, to distill ...
Johannes Gierschner +6 more
wiley +2 more sources
A Memristor‐Based In‐Memory Computing System‐on‐Chip with Efficient Depthwise Convolution
We present a memristor‐based in‐memory computing (IMC) architecture that enables efficient depthwise convolution (DWC) acceleration. Fabricated in a system‐on‐chip with crossbar arrays, the design improves memory utilization. Experimental validation demonstrates the first hardware acceleration of DWC in IMC, achieving a digital comparable inference ...
Wenhao Song +21 more
wiley +1 more source
Floating-Point Arithmetic and Program Correctness Proofs
This thesis develops tight upper and lower bounds on the relative error in various schemes for performing floating-point arithmetic, proposes axioms for characterizing the significant properties embodied by these schemes, and gives examples to ...
Holm, John E.
core
A Processor with Dynamically Reconfigurable Circuit for Floating-Point Arithmetic
This paper describes about dynamic reconfiguration to miniaturize arithmetic circuits in general-purpose processor. Dynamic reconfiguration is a technique to realize required functions by changing hardware construction during operation.
Akinori Kanasugi, Yukinari Minagi
core +1 more source
Pre‐Curved Everting Robots With Embedded Steering Intelligence Fabricated by CO2 Laser Welding
Design and experimental demonstration of a laser welded growing robot for anatomically guided navigation. The robot follows an aortic arch phantom entering the branchiocephalic branch through steering by design. The figure shows the physical phantom setup, CAD defined weld geometry and full robot eversion.
Brandon Saldarriaga +5 more
wiley +1 more source
Floating-Point-Like Arithmetic for FPGA
In recent years we have investigated the use of a logarithmic number representation as an alternative to floating-point. Efficient techniques have been developed to facilitate arithmetic comparable to single precision floating-point in the logarithmic ...
Matoušek, Rudolf
core
Multiple precision floating point arithmetic on SIMD processors
Current general purpose libraries for multiple precision floating point arithmetic such as Mpfr suffer from a large performance penalty with respect to hard-wired instructions. The performance gap tends to become even larger with the advent of wider SIMD
Van Der Hoeven, Joris +1 more
core +1 more source
SiOx‐Based Probabilistic Bits Enabling Invertible Logic Gate for Cryptographic Applications
To enable lightweight hardware encryption and decryption, a Ti/SiOx/Ti threshold switching device is engineered to generate controllable stochastic oscillations. By tuning the input voltage, the device produces a programmable spike probability governed by intrinsic switching dynamics, enabling probabilistic bits that construct an invertible ...
Jihyun Kim, Hyeonsik Choi, Jiyong Woo
wiley +1 more source
Multiple results in the literature exist that indicate that all computed solutions to chaotic dynamical systems are time-step dependent. That is, solutions with small but different time steps will decouple from each other after a certain (small) finite ...
Scott A. Sarra, Clyde Meador
doaj
Exploring Approximations for Floating-Point Arithmetic using UppSAT
We consider the problem of solving floating-point constraints obtained from software verification. We present UppSAT—an new implementation of a systematic approximation refinement framework as an abstract SMT solver.
Zeljic, Aleksandar, +7 more
core +1 more source

