The library aims to be a fast, compact and hardened library for elliptic curve cryptography needs, in particular for blockchain protocols and zero-knowledge proofs system. in C, some APIs not provided ...
Abstract: This letter introduces a novel approach that combines the use of exponential barrier functions and satisfiability modulo theories solving to the formal safety analysis of flight controllers.
School of Aeronautics and Astronautics, State Key Laboratory of Polymer Materials Engineering, Sichuan University, Chengdu 610065, P. R. China ...
Polythiourethane (PTU) can be synthesized by a type of click chemistry involving the reaction of thiols with isocyanates. To our knowledge, thiourethane dynamic chemistry has not been significantly ...
1 College of Food Science and Engineering, Ocean University of China, Qingdao, China. 2 Qingdao No.58 High School, Qingdao, China. Natural gums are polysaccharides consisting of multiple sugar units ...
Cell migration is important in many biological processes, including embryonic development, cancer metastasis and wound healing. In these tissues, a cell’s motion is often strongly constrained by its ...
In this paper, we propose a method for finding the best piecewise linearization of nonlinear functions. For this aim, we try to obtain the best approximation of a nonlinear function as a piecewise ...
aColumbia University Medical Center, Tissue Engineering and Regenerative Medicine Laboratory, New York, NY, USA bUniversity of Missouri, College of Veterinary Medicine and School of Medicine, ...
Eighty years ago, Ramanujan conjectured and proved some striking congruences for the partition function modulo powers of 5, 7, and 11. Until recently, only a handful of further such congruences were ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results