Results 11 to 20 of about 5,119,475 (357)
Linear Lambda-Calculus is Linear
CoRR, 2022 We prove a linearity theorem for an extension of linear logic with addition and multiplication by a scalar: the proofs of some propositions in this logic are linear in the algebraic sense. This work is part of a wider research program that aims at defining a logic whose proof language is a quantum programming language.
Alejandro Díaz-Caro, Gilles Dowek
openaire +8 more sources
Linearity and Bisimulation [PDF]
The Journal of Logic and Algebraic Programming, 2002 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Nobuko Yoshida +2 more
openaire +1 more source
Theory and Applications of Categories, 2022 In 2017, Bauer, Johnson, Osborne, Riehl, and Tebbe (BJORT) showed that the Abelian functor calculus provides an example of a Cartesian differential category. The definition of a Cartesian differential category is based on a differential combinator which directly formalizes the total derivative from multivariable calculus. However, in the aforementioned
J. Robin B. Cockett +1 more
openaire +3 more sources
HotStuff: BFT Consensus with Linearity and Responsiveness
ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, 2019 We present HotStuff, a leader-based Byzantine fault-tolerant replication protocol for the partially synchronous model. Once network communication becomes synchronous, HotStuff enables a correct leader to drive the protocol to consensus at the pace of ...
Maofan Yin +4 more
semanticscholar +1 more source
Linear Problems and Linear Algorithms
Journal of Symbolic Computation, 1995 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
B. Curtis Eaves, Uriel G. Rothblum
openaire +1 more source
Videometrics-based Detection of Vibration Linearity in MEMS Gyroscope [PDF]
International Journal of Computational Intelligence Systems, 2011 MEMS gyroscope performs as a sort of sensor to detect angular velocity, with diverse applications in engineering including vehicle and intelligent traffic etc.
Yong Zhou +3 more
doaj +1 more source
A Linear Algebra Approach to Linear Metatheory [PDF]
Electronic Proceedings in Theoretical Computer Science, 2021 Linear typed $λ$-calculi are more delicate than their simply typed siblings when it comes to metatheoretic results like preservation of typing under renaming and substitution. Tracking the usage of variables in contexts places more constraints on how variables may be renamed or substituted.
Wood, James, Atkey, Robert
openaire +5 more sources
Optimizations of sub-100 nm Si/SiGe MODFETs for high linearity RF applications [PDF]
, 2003 Based on careful calibration in respect of 70 nm n-type strained Si channel S/SiGe modulation doped FETs (MODFETs) fabricated by Daimler Chrysler, numerical simulations have been used to study the impact of the device geometry and various doping ...
Watling, J. R. +8 more
core +1 more source
Nonlinearity of Magnetostrictive Torque Sensor under Varying External Magnetic Field Strength
Current Directions in Biomedical Engineering, 2021 Correctly torquing bone screws is an important factor in achieving positive patient outcomes during orthopaedic surgery. A torque-limiting smart screwdriver concept has been proposed, and ongoing work is being undertaken to model the screwing process and
Wilkie Jack A., Moeller Knut
doaj +1 more source
Dynamics, 2023 In the cognitive and neural sciences, Bayesianism refers to a collection of concepts and methods stemming from various implementations of Bayes’ theorem, which is a formal way to calculate the conditional probability of a hypothesis being true based on ...
Luis H. Favela, Mary Jean Amon
doaj +1 more source