Results 91 to 100 of about 31,066 (353)
Unfolding finitist arithmetic [PDF]
, 2010 The concept of the (full) unfolding $\user1{{\cal U}}(S)$ of a schematic system $S$ is used to answer the following question: Which operations and predicates, and which principles concerning them, ought to be accepted if one has accepted $S$? The program
THOMAS STRAHM +3 more
core +1 more source
Arithmetic Operations on Short Finite Sequences [PDF]
Formalized Mathematics, 2018 Summary In contrast to other proving systems Mizar Mathematical Library, considered as one of the largest formal mathematical libraries [4], is maintained as a single base of theorems, which allows the users to benefit from earlier formalized items [3], [2].
openaire +1 more source
Exploiting Ferroelectric and Spintronic Dynamics for Neural Network Computation
Advanced Intelligent Systems, EarlyView.Ferroelectric and spintronic devices, relying on the control of polarization and magnetization, offer intrinsically fast, durable, energy‐efficient, and low‐latency building blocks for analog in‐memory computing. The hysteretic dynamics of an order parameter are leveraged to provide nonvolatile, multistate memory and nonlinear switching. Brain‐inspired
Dashiell Harrison +4 more
wiley +1 more source
Simple arithmetic processing: Surface form effects in a priming task
, 2007 Models of numerical processing vary on whether they assume common or separate processing pathways for problems represented in different surface forms. The present study employed a priming procedure, with target naming task, in an investigation of surface
Coney, J.R., Jackson, N.D.
core
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 +7 more
wiley +1 more source
An LU-fuzzy calculator for the basic fuzzy calculus [PDF]
The LU-model for fuzzy numbers has been introduced in [4] and applied to fuzzy calculus in [9]; in this paper we build an LU-fuzzy calculator, in order to explain the use of the LU-fuzzy representation and to show the advantage of the parametrization ...
Laerte Sorini, Luciano Stefanini
core
Animal Research and One Health, EarlyView.Dietary A. truncatum leaf extract is absorbed and improves laying performance in aged hens by enhancing systemic antioxidant capacity and modulating the gut microbiota. ABSTRACT The demand for natural feed additives is considerably increasing in the antibiotic‐free feed era.
Kailong Qin +6 more
wiley +1 more source
VLSI design of a pipelined CORDIC processor [PDF]
In this report we discuss the VLSI realisation of a pipelined CORDIC arithmetic unit to perform stable matrix row operations for the solution of systems of linear equations.
Nudd, G. R., Chown, Paul, Walton, D. W.
core
British Journal of Clinical Pharmacology, EarlyView.Aim To evaluate the effects of carbamazepine, a strong cytochrome P450 (CYP)3A4 inducer, on the pharmacokinetics and safety of vepdegestrant, a PROteolysis TArgeting Chimera estrogen receptor degrader. Methods This was a phase 1, open‐label, fixed‐sequence, two‐period study in healthy adult participants.
Hechuan Wang +7 more
wiley +1 more source
Innocuous Double Rounding of Basic Arithmetic Operations
, 2014 International audienceDouble rounding occurs when a floating-point value is first rounded to an intermediate precision before being rounded to a final precision.
Roux, Pierre
core +1 more source