Results 101 to 110 of about 70,095 (287)

Is Your Model Susceptible to Floating-Point Errors? [PDF]

This paper provides a framework that highlights the features of computer models that make them especially vulnerable to floating-point errors, and suggests ways in which the impact of such errors can be mitigated.
J. Gary Polhill, Luis R. Izquierdo
core  

SigmaFormer: Augmenting transformer encoders with COSMO sigma profiles for pure component property prediction

AIChE Journal, EarlyView.
Abstract Transformer‐based molecular models pretrained on SMILES strings demonstrate strong performance in property prediction. However, these model often lack explicit integration of molecular surface charge distributions that govern intermolecular interactions such as hydrogen bonding and polarity.
Tae Hyun Kim, Silabrata Pahari, Joseph Sang‐Il Kwon   +2 more
wiley   +1 more source

Formal proof for delayed finite field arithmetic using floating point operators [PDF]

, 2008
Formal proof checkers such as Coq are capable of validating proofs of correction of algorithms for finite field arithmetics but they require extensive training from potential users.
Boldo, Sylvie, Daumas, Marc, Giorgi, Pascal   +2 more
core   +3 more sources

Interpretability and Representability of Commutative Algebra, Algebraic Topology, and Topological Spectral Theory for Real‐World Data

Advanced Intelligent Discovery, EarlyView.
This article investigates how persistent homology, persistent Laplacians, and persistent commutative algebra reveal complementary geometric, topological, and algebraic invariants or signatures of real‐world data. By analyzing shapes, synthetic complexes, fullerenes, and biomolecules, the article shows how these mathematical frameworks enhance ...
Yiming Ren, Guo‐Wei Wei
wiley   +1 more source

Calibration‐Free Electromyography Motor Intent Decoding Using Large‐Scale Supervised Pretraining

Advanced Intelligent Systems, EarlyView.
Calibration‐free electromyography motor intent decoding is enabled through large‐scale supervised pretraining across heterogeneous datasets. A Spatially Aware Feature‐learning Transformer processes variable channel counts and electrode geometries, allowing transfer across users and recording setups. On a held‐out benchmark, fine‐tuned cross‐user models
Alexander E. Olsson, Nebojša Maleševic, Anders Björkman, Christian Antfolk   +3 more
wiley   +1 more source

Hardware‐Based On‐Chip Learning Using a Ferroelectric AND‐Type Array With Random Synaptic Weights

Advanced Intelligent Systems, EarlyView.
This work demonstrates an energy‐efficient on‐chip learning system using an Metal‐Ferroelectric‐Insulator‐Semiconductor FeAND synaptic array. By employing a feedback alignment scheme with a separate backward array using fixed random weights, the system overcomes directional limitations of AND‐type arrays and achieves robust, low‐power learning suitable
Minsuk Song, Changhyeon Han, Joonhyeok Choi, Jongwoo Lee, Hyun‐min Kim, Wongi Hong, Ujin Kim, Sung‐Tae Lee, Daewoong Kwon   +8 more
wiley   +1 more source

Basic mathematical function libraries for scientific computation [PDF]

Ada packages implementing selected mathematical functions for the support of scientific and engineering applications were written. The packages provide the Ada programmer with the mathematical function support found in the languages Pascal and FORTRAN as
Galant, David C.
core   +1 more source

SiOx‐Based Probabilistic Bits Enabling Invertible Logic Gate for Cryptographic Applications

Advanced Intelligent Systems, EarlyView.
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

Very-Large-Scale Integration (VLSI) Implementation and Performance Comparison of Multiplier Topologies for Fixed- and Floating-Point Numbers

Applied Sciences
Multiplication is an arithmetic operation that has a significant impact on the performance of several real-life applications such as digital signals, image processing, and machine learning.
Abimael Jiménez, Antonio Muñoz
doaj   +1 more source

Field‐Programable Dynamics in a Soft Magnetic Actuator Enabling True Random Number Generation and Reservoir Computing

Advanced Intelligent Systems, EarlyView.
Complex dynamics, often avoided in electromechanical design, can enhance soft robotics. We develop durable magnetic soft actuators operating in tunable dynamic regimes, enabling random number generation, stochastic computing, and time‐series prediction.
Eduardo Sergio Oliveros‐Mata, Oleksandr V. Pylypovskyi, Eleonora Raimondo, Rico Illing, Yevhen Zabila, Lin Guo, Guannan Mu, Mónica Navarro López, Xu Wang, Georgios Tzortzinis, Angelos Filippatos, Gilbert Santiago Cañón Bermúdez, Francesca Garescì, Giovanni Finocchio, Denys Makarov   +14 more
wiley   +1 more source