Results 71 to 80 of about 6,713,771 (281)

Masking FALCON’s Floating-Point Multiplication in Hardware

Transactions on Cryptographic Hardware and Embedded Systems
Floating-point arithmetic is a cornerstone in a wide array of computational domains, and it recently became a building block for the FALCON post-quantum digital signature algorithm.
Emre Karabulut, Aydin Aysu
doaj   +1 more source

Non‐Additive Criteria Assessment in Sustainability Evaluation of High Entropy Alloys: A Toxicity‐Weighted Framework

Advanced Engineering Materials, EarlyView.
Sustainability assessment requires methodologies that appropriately distinguish between additive and non‐additive material properties. A toxicity‐weighted scoring system is developed and applied that accounts for the disproportionate influence of highly toxic constituents through nonlinear weighting functions, providing more realistic estimates than ...
Seth Mehalic, Oladele A. Ogunseitan, Julie M. Schoenung   +2 more
wiley   +1 more source

Floating-Point ALU Design

, 2003
This project presents a floating-point arithmetic unit using pipelining concept. The arithmetic unit constructed supports the four primitive operations of computer arithmetic namely addition, subtraction, multiplication and divison based on IEEE-754 ...
Huang, Seow Ling
core   +1 more source

Entropy‐Driven Design of Low‐Melting‐Point Alloys via Compositionally Complex Strategy

Advanced Engineering Materials, EarlyView.
Conventional low‐melting‐point alloys (LMPAs) are limited by a narrow compositional space and inherent property trade‐offs. This review presents an entropy‐driven design strategy that overcomes these limitations, ushering in a new class of low‐melting‐point compositionally complex alloys (LMCCAs).
Yinghui Shang, Jianxiang Zhao, Zhaoqi Chen, Hao Gong, Yinsen Yan, Junlei Tao, Yong Yang   +6 more
wiley   +1 more source

Optimal controller and filter realizations using finite-precision, floating-point arithmetic

, 2005
The problem of reducing the fragility of digital controllers and filters implemented using finite-precision, floating-point arithmetic is considered.
Whidborne, J.F., Wu, J., Gu, D.-W., Chen, S.   +3 more
core  

ESBMC: Scalable and Precise Test Generation based on the Floating-Point Theory

, 2020
ESBMC is an SMT-based bounded model checker for real-world C programs. Such programs often represent real numbers using the floating-points, most commonly, the IEEE floating-point standard (IEEE 754-2008).
Denis Nicole, Monteiro, Felipe R., Nicole, Denis, Lucas C. Cordeiro, Menezes, Rafael; id_orcid, Mikhail R. Gadelha, Felipe R. Monteiro, Cordeiro, Lucas; id_orcid, Gadelha, Mikhail R, Rafael Menezes   +9 more
core   +1 more source

High-Level Synthesis under Fixed-Point Accuracy Constraint

Journal of Electrical and Computer Engineering, 2012
Implementing signal processing applications in embedded systems generally requires the use of fixed-point arithmetic. The main problem slowing down the hardware implementation flow is the lack of high-level development tools to target these architectures
Daniel Menard, Nicolas Herve, Olivier Sentieys, Hai-Nam Nguyen   +3 more
doaj   +1 more source

3D‐Printed Titanium Gyroid Scaffold Structure Integrated With Tough Hybrid Materials for Cartilage Replacement

Advanced Engineering Materials, EarlyView.
This study proposes a potential device design for joint cartilage replacement. Silica‐polytetrahydrofuran (SiO2‐PolyTHF) hybrids with customizable mechanical properties were developed to mimic the characteristics of a natural meniscus. These were synthesized through a two‐pot sol–gel hybrid process.
Yu‐Chien Lin, Gloria R. Young, Francesca Tallia, Reece N. Oosterbeek, Shaaz Ghouse, Edward Spiers, Nupur Kohli, Tom Briggs, Marc Masen, Siwei Li, Ren‐Jei Chung, Jonathan R. T. Jeffers, Julian R. Jones   +12 more
wiley   +1 more source

Leather surface defect inspection using a binary descriptor and dual channel transformer

Discover Computing
The inspection of surface defects in leather manufacture has attracted considerable attention due to the significant impact of appearance on leather pricing.
Shanjiang Zhang, Jian Lian, Renjing Liu
doaj   +1 more source

Rotary 3D Printing With Integrated Electroplating

Advanced Engineering Materials, EarlyView.
A rotary material extrusion platform integrates localized copper electroplating with printing and encapsulation to fabricate cylindrical polymer–metal structures containing fully embedded, low‐resistance conductive pathways that enable internal Joule heating and thermally activated shape‐memory responses.
Antonio Zagaria, Nicola Larovere, Moslem Mohammadi, Gianluca Percoco, Ali Zolfagharian, Gianni Stano   +5 more
wiley   +1 more source