Results 51 to 60 of about 235,200 (216)

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

When Economic Growth is Less than Exponential [PDF]

This paper argues that growth theory needs a more general notion of “regularity” than that of exponential growth. We suggest that paths along which the rate of decline of the growth rate is proportional to the growth rate itself deserve attention.
Christian Groth, Karl-Josef Koch, Thomas M. Steger   +2 more
core  

Pharmacological evaluation of Adenostemma lavenia acetone extract in Swiss Albino mice: Analgesic, anti‐inflammatory, and thrombolytic insights from in vivo, in vitro, density functional theory, and molecular docking studies

Animal Models and Experimental Medicine, EarlyView.
Adenostemma lavenia, a traditionally used medicinal plant, has been employed to manage pain, inflammation, and circulatory issues. This study investigates the analgesic, anti‐inflammatory, and thrombolytic potentials of the acetone extract of A. lavenia leaves (AEAL) using in vivo, in vitro, and in silico methods.
Nusrat Jahan Moon, Mahathir Mohammad, Md. Jahirul Islam Mamun, Fahmina Binty Azim Nova, Nazmul Hasan Eshaque, Md. Hossain Rasel, Zobayed Islam, Md. Mahmudul Hasan, Md. Liakot Ali, Md. Tanvir Chowdhury, S. M. Moazzem Hossen   +10 more
wiley   +1 more source

Alternative Translation Initiation in PRKN Delays the Onset of Parkinson's Disease and Offers a Therapeutic Target

Annals of Neurology, EarlyView.
Objective Biallelic variants in PRKN cause autosomal recessive Parkinson's disease (PD) with a median age at onset of 31 years. When evaluating the 16 previously published carriers of a homozygous deletion of Exon 2 from the International Parkinson's Disease and Movement Disorder Society Gene Database (MDSGene) database, the median age at onset is ...
Arian Hach, Katja Lohmann, Manabu Funayama, Poornima J. Menon, Eva‐Juliane Vollstedt, Teresa Kleinz, Hiroyo Yoshino, Suzanne Lesage, Britta Meier, Carolyn M. Sue, Jean‐Christophe Corvol, Alexis Brice, Nobutaka Hattori, Christine Klein, Aleksandar Rakovic   +14 more
wiley   +1 more source

Experimental Study on the Enhancement of Heat Transfer Performance in Sintered‐Core Heat Pipes Using CuO Nanofluid

Asia-Pacific Journal of Chemical Engineering, EarlyView.
ABSTRACT This study presents the design and construction of an experimental system for evaluating the thermal performance of heat pipes, using sintered‐wick heat pipes charged with CuO nanofluids. The device used in this study is a sintered‐wick heat pipe, in which the liquid return is driven by capillary forces within the porous wick structure.
Dawei Yan, Kaiyu Dong, Sisi Yao, Lei Gao, Weijie Sun, Qian Zhou, Zixi Yu, Shuang Wang   +7 more
wiley   +1 more source

Discontinuities in recurrent neural networks [PDF]

, 1997
This paper studies the computational power of various discontinuous real computational models that are based on the classical analog recurrent neural network (ARNN).
Gavaldà Mestre, Ricard, Siegelmann, Hava T   +1 more
core   +1 more source

Quantitative assessment of masticatory muscles based on skull muscle attachment areas in Carnivora

The Anatomical Record, EarlyView.
Abstract Masticatory muscles are composed of the temporalis, masseter, and pterygoid muscles in mammals. Each muscle has a different origin on the skull and insertion on the mandible; thus, all masticatory muscles contract in different directions. Collecting in vivo data and directly measuring the masticatory muscles anatomically in various Carnivora ...
Kai Ito, Mugino O. Kubo, Ryo Kodera, Sei‐ichiro Takeda, Hideki Endo   +4 more
wiley   +1 more source

A library of Taylor models for PVS automatic proof checker [PDF]

, 2006
We present in this paper a library to compute with Taylor models, a technique extending interval arithmetic to reduce decorrelation and to solve differential equations. Numerical software usually produces only numerical results.
Cháves, Francisco, Daumas, Marc
core   +8 more sources

Inter‐microscope comparability of dental microwear texture data obtained from different optical profilometers: Part II Deriving instrument‐specific correction equations for meta‐analyses using published data

The Anatomical Record, EarlyView.
Abstract Dental microwear texture analysis (DMTA) has emerged as a valuable method for investigating the feeding ecology of vertebrates. Over the past decade, three‐dimensional topographic data from microscopic regions of tooth surfaces have been collected, and surface texture parameters have been published for both extant and fossil species.
Mugino O. Kubo, T. Kubo, Ellen Schulz‐Kornas, T. M. Kaiser, Daniela E. Winkler   +4 more
wiley   +1 more source

The modal logic of arithmetic potentialism and the universal algorithm

, 2018
I investigate the modal commitments of various conceptions of the philosophy of arithmetic potentialism. Specifically, I consider the natural potentialist systems arising from the models of arithmetic under their natural extension concepts, such as end ...
Hamkins, Joel David
core