Results 81 to 90 of about 2,695,757 (280)
On two inequalities for the composition of arithmetic functions [PDF]
, 2012 A paper about two inequalities for the composition of arithmetic ...
József Sándor, Sandor, Jozsef
core +1 more source
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 +7 more
wiley +1 more source
Advanced Science, EarlyView.Single‐cell mechanomics demonstrates that pharmacological perturbation changes cytoskeletal and cortical structure, suppressing cancer cell invasiveness. By integrating atomic force microscopy (AFM)‐based cortical measurements with stimulated emission depletion (STED)‐resolved adhesion and cytoskeletal organization, this approach identifies nanoscale ...
Minhee Ku +4 more
wiley +1 more source
A New Method for Computing the Last Trunk Occupancy for High-Usage Telephone Routes
Journal of King Saud University: Engineering Sciences, 1990 In this paper, a new formula is derived for the last trunk occupancy of a full-availability group of trunks, assuming sequential hunting, which is an important performance measure for high-usage telephone routes.
Saad Haj Bakry
doaj +1 more source
A Unified Flash Memory Platform for Mode‐Adaptive and Robust AI Computation
Advanced Science, EarlyView.A unified AND‐type flash memory platform enables both transistor‐mode and capacitor‐mode computing‐in‐memory operations within the same device structure. By selectively switching the sensing mode through peripheral reconfiguration, the platform provides adaptable trade‐offs between computational accuracy, robustness, and energy efficiency for AI ...
Dayeon Yu +6 more
wiley +1 more source
An Automatable Formal Semantics for IEEE-754 Floating-Point Arithmetic
, 2015 Automated reasoning tools often provide little or no support to reason accurately and efficiently about floating-point arithmetic. As a consequence, software verification systems that use these tools are unable to reason reliably about programs ...
Wahl, Thomas, +7 more
core +1 more source
Advanced Science, EarlyView.Different kirigami patterns are proposed and the parameters are optimized by comparing the out‐of‐plane deformation behavior. Then, the proposed patterns are fabricated on PVDF film using laser technology. The deformed kirigami‐cut PVDF is embedded into PDMS to construct pressure senor.
Xiaodong Huang +6 more
wiley +1 more source
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 +10 more
wiley +1 more source
A Novel Simple and Fast Algorithm of SVPWM
Kongzhi Yu Xinxi Jishu, 2011 It proposes a novel algorithm of SVPWM which only requires one irrational calculation, uses normal four-arithmetic operation and completes the deduction for a sector determination method.
胡照文, 李江红
doaj
Error Bounds for Computer Arithmetics
, 2019 This note summarizes recent progress in error bounds for compound operations performed in some computer arithmetic. Given a general set of real numbers together with some operations satisfying the first standard model, we identify three types A, B, and C
Rump, Siegfried M., Siegfried M. Rump
core +1 more source