Results 151 to 160 of about 7,246 (295)

Some algebraic properties of floating-point arithmetic

, 2000
International audienceThanks to the IEEE-754 standard, floating-point arithmetic is now a well-defined mathematical structure, on which it is possible to build proofs and algorithms.
Muller, Jean-Michel
core   +1 more source

MINT32: A Minimum-Image INT32 Coordinate Representation for Fast and Accurate Molecular Dynamics on GPUs. [PDF]

J Chem Inf Model
Lee TS.
europepmc   +1 more source

Strategies for Realizing Industry 5.0 Inclusive Sustainability Goals for Sustainable Development: A Structured Framework for Overcoming Barriers and Guiding Transformation

Business Strategy and the Environment, EarlyView.
ABSTRACT Industry 5.0 has emerged to address the limitations of Industry 4.0 by emphasizing inclusive sustainability through environmentalism, human‐centricity, and resilience. However, its development faces barriers across technological, organizational, and social dimensions.
Mohammad Ali Beheshtinia, Ali Ghorbani, Masood Fathi, Morteza Ghobakhloo, Behzad Foroughi   +4 more
wiley   +1 more source

From PPG to Blood Pressure at the Edge: Quantization-Aware Architecture Selection and On-MCU Validation. [PDF]

Sensors (Basel)
Leogrande E, Luca E, Dell'Olio F.
europepmc   +1 more source

An Indicator‐Based Decision Framework for Circular Bioeconomy Transition in the Steel Industry: Integrating Multiphase Learning and Cooperative Game Modelling

Business Strategy and the Environment, EarlyView.
ABSTRACT Despite growing attention to the circular bioeconomy (CBE), the steel industry currently lacks a standardised, sectoral measurement framework to facilitate a low‐carbon transition. In this study, a decision‐support framework for evaluating CBE performance in the steel industry is proposed.
Ali Zamani Babgohari, Mohammadreza Sadeghi‐Moghadam, Hannan Amoozad Mahdiraji   +2 more
wiley   +1 more source

System-level FPGA validation of a trainable and robust multiplier-free spiking neural network. [PDF]

iScience
Li Q, Zhang L.
europepmc   +1 more source

Floating-point arithmetic in the Coq system

, 2008
International audienceThe process of proving some mathematical theorems can be greatly reduced by relying on numerically-intensive computations with a certified arithmetic.
Melquiond, Guillaume
core  

Government Subsidies for Industrial Symbiosis: Is It Always Worth It? Assessing Effectiveness and Efficiency Through Agent‐Based Modeling

Business Strategy and the Environment, EarlyView.
ABSTRACT Policy intervention can be a driver for industrial symbiosis (IS). However, given the wide variety of policy instruments available, policymakers should be guided in the policy design process to ensure that their intervention is effective and efficient. In this paper, we propose an agent‐based (AB) model intended to assess the effectiveness and
Melissa Mollica, Alberto Nastasi, Luca Fraccascia   +2 more
wiley   +1 more source

Hardware implementation of hyperbolic tangent and sigmoid activation functions [PDF]

Bulletin of the Polish Academy of Sciences: Technical Sciences, 2018
Z. Hajduk
doaj   +1 more source

Efficient computation and design of high speed double precision Vedic multiplier architecture. [PDF]

Sci Rep
Kumar AS, Sahitya G, Kusuma R, Krishna MS, Reddy BNK, Tripathi SL.   +5 more
europepmc   +1 more source