Results 81 to 90 of about 69,255 (288)

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

Structure‐Based Development of Ultra‐Broad‐Spectrum 3C‐Like Protease Inhibitors

Advanced Science, EarlyView.
This study provides an in‐depth analysis of the substrate binding pocket of 3CLpros across all coronavirus species using bioinformatics and structural insights, revealing the critical impact of S2/S4 subsite diversity on the broad‐spectrum activity of approved therapeutics.
Haixia Su, Tianqing Nie, Guofeng Chen, Muya Xiong, Yumin Zhang, Guoqing Wu, Mengyuan You, Hang Xie, Jian He, Yanchao Xiong, Hangchen Hu, Wenfeng Zhao, Minjun Li, Gengfu Xiao, Leike Zhang, Yechun Xu   +15 more
wiley   +1 more source

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

CLinNET: An Interpretable and Uncertainty‐Aware Deep Learning Framework for Multi‐Modal Clinical Genomics

Advanced Science, EarlyView.
Identifying disease‐causing genes in neurocognitive disorders remains challenging due to variants of uncertain significance. CLinNET employs dual‐branch neural networks integrating Reactome pathways and Gene Ontology terms to provide pathway‐level interpretability of genomic alterations.
Ivan Bakhshayeshi, Mohammad Mahdi Hosseini, Ahmadreza Argha, Roxana Zahedi, Nigel H. Lovell, Hamid Alinejad‐Rokny   +5 more
wiley   +1 more source

Endocytic Control of Cell‐Autonomous and Non‐Cell‐Autonomous Functions of p53

Advanced Science, EarlyView.
NUMB Ex3‐containing isoforms localize to the plasma membrane, where they recruit p53 through SNX9 and direct it to multivesicular bodies and exosomes. Exported p53 is taken up by neighboring cells and activates nuclear programs, revealing an intercellular, exosome‐based pathway that might help establish a tumor‐suppressive microenvironment.
Roberta Cacciatore, Andrea Basile, Stefano Freddi, Irene Schiano Lomoriello, Carlo Ribelle Zucca, Giuseppe Ciossani, Luigi Scietti, Alessandro Cuomo, Simona Ronzoni, Simone Pelicci, Mario Faretta, Elena Zaccheroni, Giuliana Pelicci, Vittoria Matafora, Angela Bachi, Rosalind Helen Gunby, Salvatore Pece, Sara Sigismund, Letizia Lanzetti, Ivan Nicola Colaluca, Pier Paolo Di Fiore   +20 more
wiley   +1 more source

Verification of Magnitude and Phase Responses in Fixed-Point Digital Filters

, 2017
In the digital signal processing (DSP) area, one of the most important tasks is digital filter design. Currently, this procedure is performed with the aid of computational tools, which generally assume filter coefficients represented with floating-point ...
Clavier, Laurent, Cordeiro, Lucas C., de Bessa, Iury V., de Freitas, Mauro L., de Mello, Daniel P. M., Filho, Eddie B. L., Junior, Waldir S. S.   +6 more
core   +1 more source

Systematic Benchmarking of a Noise‐Tolerant Conductive Hydrogel Electrode for Epidermal Bioelectronics

Advanced Science, EarlyView.
General schematic of the approach. Abstract Conventional Silver/Silver Chloride (Ag/AgCl) electrodes remain the clinical standard for electrophysiological monitoring but are hindered by poor skin conformity, mechanical rigidity, and signal degradation, particularly under motion or sweat.
Nazmi Alsaafeen, Ioannis Ziogas, Shirina Alsaedi, Mouza Alshehhi, Shahd Almheiri, Adil Rehman, Khulood Al Shehhi, Hani Saleh, Ahsan Khandoker, Charalampos Pitsalidis, Antoun Khawaja, Anna‐Maria Pappa   +11 more
wiley   +1 more source

Adaptive Precision Floating-Point Arithmetic and Fast Robust Geometric Predicates [PDF]

, 1996
Exact computer arithmetic has a variety of uses including, but not limited to, the robust implementation of geometric algorithms. This report has three purposes.
Jonathan Richard Shewchuk
core   +3 more sources

Modern and Ancient Genomes Reveal Neolithic Paternal Expansions of Millet and Rice Farmers and Demic Diffusion from China into Mainland Southeast Asia

Advanced Science, EarlyView.
This study clarifies the genetic patterns of paternal lineages across East Asia and Mainland Southeast Asia. Han populations are relatively homogeneous, whereas southern ethnolinguistic minorities display regional structures. Shared Y‐chromosome lineages indicate Neolithic expansions and extensive north‐south gene flow, supporting demic diffusion ...
Yunhui Liu, Lintao Luo, Yutong Jiang, Minzhu Zhao, Ting Yang, Zhiyong Wang, Lisiteng Luo, Yuhang Feng, Zihao Zhu, Yuzhu Wang, Limei Zhang, Bofeng Zhu, Chao Liu, Renkuan Tang, Mengge Wang, Guanglin He   +15 more
wiley   +1 more source

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