Results 51 to 60 of about 40,153 (266)

Interval Arithmetic and Standardization

, 2008
Interval arithmetic is arithmetic for continuous sets. Floating-point intervals are intervals of real numbers with floating-point bounds. Operations for intervals can be efficiently implemented. There is an unanimous agreement, how to define the basic operations, if we exclude division by an interval containing zero. Hence, it should be standardized.
openaire   +4 more sources

Interval Arithmetic in Maple with intpakX [PDF]

PAMM, 2003
AbstractintpakX, a Maple package for interval arithmetic created in 1999 by I. Geulig and W. Krämer [1,3], is based on intpak, an experimental Maple package that was created by A.E. Connell and R.M. Corless in 1993 [2].intpakX contains basic data types and operators for interval arithmetic as well as a variety of numerical methods using intervals.
openaire   +2 more sources

Circulating Amino Acid Network Remodeling Reveals Systemic Metabolic Reprogramming Predictive of Colorectal Cancer Recurrence and Metastasis

Advanced Science, EarlyView.
Blood‐based amino acid patterns measured by 19F NMR reveal hidden metabolic changes in colorectal cancer. By analyzing how these amino acids interact as a network, machine learning models identify patients at higher risk of recurrence and metastasis.
Ji‐Yeon Lee, Jumi Kim, Taehan Yoon, So Hyun Kwon, Su Chan Park, Dohyun Chun, Dohyeong Kim, Eun Jung Park, Hyunwoo Kim, Ji Min Lee   +9 more
wiley   +1 more source

Targeted Multifunctional Fluorine‐Rich Copolymer Coating Design for Ambient‐Stable Prelithiated SiOC Anodes

Advanced Science, EarlyView.
A fluorine‐rich acrylate copolymer, poly (tridecafluorooctyl methacrylate‐co‐methyl methacrylate) (PFMMA), is introduced as a multifunctional protective coating to stabilize the prelithiated SiOC electrodes in humid conditions and preserve unimpeded interfacial ion/charge transport during redox reactions.
Rong Chen, Yixuan Fan, Congcong Zhang, Yinan Liu, Yun Zheng, Ruifeng Zheng, Yingying Shen, Pingshan Jia, Luojiang Zhang, Yongbing Tang, Huaiyu Shao   +10 more
wiley   +1 more source

Self-verified extension of affine arithmetic to arbitrary order

Le Matematiche, 2008
Affine Arithmetic (AA) is a self-verifying computational approach that keeps track of first-order correlation between uncertainties in the data and intermediate and final results.In this paper we propose a higher-order extension satisfying the requirements ...
Giuseppe Bilotta
doaj  

A Modular Standard Operating Procedure for Standardizing Lithium Metal Interfaces

Advanced Science, EarlyView.
A modular standard operating procedure (SOP) is developed to standardize lithium metal interfaces through sequential etching, brushing, and soaking. By transforming poorly controlled lithium surfaces into chemically uniform and structurally regulated interfaces, the framework improves electrochemical reproducibility, interfacial stability, and ...
Wen‐Hsin Chang, Anlin Shaju, Han‐Shiuan Lin, Sih‐Ling Hsu, Quang Huy Dinh, Che‐Ning Yeh, Elise Yu‐Tzu Li, Yu‐Sheng Su   +7 more
wiley   +1 more source

In Situ Profiling of Nanoscale Strains Uncovers Mechano‐Architectural Predictors of Aging and Osteoarthritis Emergence

Advanced Science, EarlyView.
In situ mechanical loading of osteoarthritis‐prone murine knee joints reveals that spatial alterations in subchondral plate microarchitecture precede cartilage loss and promote a shift from coordinated epiphyseal strain dissipation in healthy joints to focal subchondral strain concentration in osteoarthritis‐prone joints.
Aikta Sharma, Lucinda A. E. Evans, Lucie E. Bourne, Jishizhan Chen, Alissa L. Parmenter, Joseph Brunet, Kamel Madi, Sebastian Marussi, Andrew A. Pitsillides, Peter D. Lee, Katherine A. Staines   +10 more
wiley   +1 more source

Hardware acceleration of number theoretic transform for zk‐SNARK

Engineering Reports, EarlyView., 2023
An FPGA‐based hardware accelerator with a multi‐level pipeline is designed to support the large‐bitwidth and large‐scale NTT tasks in zk‐SNARK. It can be flexibly scaled to different scales of FPGAs and has been equipped in the heterogeneous acceleration system with the help of HLS and OpenCL.
Haixu Zhao, Dong Ding, Feng Wang, Pengcheng Hua, Ning Wang, Qin Wu, Zhilei Chai   +6 more
wiley   +1 more source

Control-Oriented Models for SO Fuel Cells from the Angle of V&V: Analysis, Simplification Possibilities, Performance

Algorithms, 2017
In this paper, we take a look at the analysis and parameter identification for control-oriented, dynamic models for the thermal subsystem of solid oxide fuel cells (SOFC) from the systematized point of view of verification and validation (V&V). First,
Ekaterina Auer, Luise Senkel, Stefan Kiel, Andreas Rauh   +3 more
doaj   +1 more source

Thin‐Film Thermal Sensors on Chitosan Substrates for Sustainable Transient Electronics

Advanced Electronic Materials, EarlyView.
Fully transient thin‐film temperature sensors are realized on pure chitosan substrates using Mo‐based RTDs and a‐IGZO/Mo thermistors. The devices exhibit high sensitivity, mechanical flexibility, humidity‐aware operation, and complete dissolution in natural solvents.
Ahmed Rasheed, Soufiane Krik, Sundus Riaz, Hafiza Faiqa Maqsood, Jacopo Nicoletti, Riccardo Zamboni, Guglielmo Trentini, Pietro Ibba, Franco Cacialli, Andrea Gaiardo, Giuseppe Cantarella, Niko Münzenrieder, Paolo Lugli, Giovanni Antonio Salvatore, Luisa Petti   +14 more
wiley   +1 more source