Results 81 to 90 of about 69,420 (286)

Automated Fixed-Point Precision Optimization for FPGA Synthesis

IEEE Open Journal of Circuits and Systems
Precision tuning of fixed-point arithmetic is a powerful technique for optimizing hardware designs on, where computing resources and memory are often severely constrained.
Ines Winandy, Arnaud Dion, Florent Manni, Pierre-Loic Garoche, Dorra Ben Khalifa, Matthieu Martel   +5 more
doaj   +1 more source

Hardware math for the 6502 microprocessor [PDF]

A floating-point arithmetic unit is described which is being used in the Ground Facility of Large Space Structures Control Verification (GF/LSSCV). The experiment uses two complete inertial measurement units and a set of three gimbal torquers in a closed
Currie, J., Kissel, R.
core   +1 more source

Targeted Extracellular Vesicles Deliver Asiaticoside to Inhibit AURKB/DRP1‐Mediated Mitochondrial Fission and Attenuate Hypertrophic Scar Formation

Advanced Science, EarlyView.
Hypertrophic scar formation is driven by excessive mitochondrial fission in wound macrophages, which we discover is governed by a novel AURKB‐DRP1(Ser616) axis. The study develops a targeted therapy using cRGD‐decorated extracellular vesicles to deliver the natural compound Asiaticoside specifically to macrophages.
Luyu Li, Chenli Si, Xue Wang, Xiaojin Wu, Ying Shang, Shengfang Ge, Yong Wang, Yong Zuo, Zhen Zhang   +8 more
wiley   +1 more source

On Sound Relative Error Bounds for Floating-Point Arithmetic

, 2017
State-of-the-art static analysis tools for verifying finite-precision code compute worst-case absolute error bounds on numerical errors. These are, however, often not a good estimate of accuracy as they do not take into account the magnitude of the ...
baranowski, brain, darulova, de moura, gao, goubault, graillat, magron, moore, panchekha   +9 more
core   +1 more source

Unsupervised Hierarchical Symbolic Regression for Interpretable Property Modeling in Complex Multi‐Variable Systems

Advanced Science, EarlyView.
UHSR translates complex chemical behavior into clear and explainable equations. Applied to thin‐layer chromatography, it automatically uncovers the mathematical rules linking a molecule's structure to its polarity. This approach matches the accuracy of advanced AI while providing interpretable results, earning greater trust from chemists. The method is
Siyu Lou, Chengchun Liu, Dongxiao Zhang, Yuntian Chen, Fanyang Mo   +4 more
wiley   +1 more source

Single‐Crystal PZT‐Driven Organic Piezo‐Phototronic Adaptive Transistors Toward Advanced Spatiotemporal Visual Computing

Advanced Science, EarlyView.
Here, we propose a single‐crystal PZT‐based piezo‐phototronic organic adaptive memory transistor (OAMT), achieving a record memory window capacity factor (γ) of 0.87 at a low SS of 200 mV/decade via efficient multi‐field control. The device achieves a high recognition accuracy ∼ 90% in neuromorphic simulations, demonstrates robust fault tolerance under
Chenhao Xu, Xingyu Cao, Zewen Li, Shifu Xiong, Yongxu Hu, Zhongwu Wang, Yujie Yuan, Lei Zheng, Wenping Hu   +8 more
wiley   +1 more source

Metarhizium anisopliae Mitigates the Phytotoxicity of Lead and Nanoplastics on Rice by Modifying Physiological, Transcriptomic, Metabolomic Activities, and Soil Microbiome

Advanced Science, EarlyView.
Metarhizium anisopliae alleviates the phytotoxic effects of polyethylene nanoplastics (NP) and lead (Pb) in rice by decreasing Pb uptake, restoring antioxidant and hormonal equilibrium, and promoting growth. Additionally, the fungus modifies the rhizosphere microbiota, enhancing both contaminant tolerance and plant growth, thereby effectively ...
Jing Peng, Qi Yan, Muhammad Umair Hassan, Muhammad Imran, Fasih Ullah Haider, Jianfeng Liang, Xingmin Wang, Shaukat Ali   +7 more
wiley   +1 more source

In Vivo CRISPR Screening Identifies the Glutamate Receptor GRIA2 as Promoting Peritoneal Metastasis of Gastric Cancer via Calcium‐Dependent β‐Catenin Activation

Advanced Science, EarlyView.
We identified GRIA2 as a critical driver of gastric cancer peritoneal metastasis through in vivo CRISPR screening. Mechanistically, GRIA2‐mediated calcium influx inhibits GSK3β and activates Wnt/β‐catenin signaling, driven by glutamate from cancer‐associated fibroblasts.
Jie Sun, Xu Yang, Wenchao Jiang, Chengbo Ji, Yingying Wu, Haoyu Sun, Xinyou Liu, Masami Yamamoto, Tetsuya Tsukamoto, Sachiyo Nomura, Junjie Zhao, Yuanyuan Ruan, Haojie Li, Xuefei Wang   +13 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

Multigrid Methods Using Block Floating Point Arithmetic

SIAM Journal on Scientific Computing
21 pages, 6 figures, submitted to SIAM Journal on Scientific ...
Nils Kohl, Stephen F. McCormick, Rasmus Tamstorf   +2 more
openaire   +3 more sources