Results 11 to 20 of about 69,329 (303)
Linearization techniques to suppress optical nonlinearity [PDF]
, 2009 This thesis was submitted for the degree of Doctor of Philosophy and awarded by Brunel University.This thesis is shown the implementation of the linearization techniques such as feedforward and pre-distortion feedback linearization to suppress the ...
Tabatabai, Farbod
core +8 more sources
Koopman Spectral Linearization vs. Carleman Linearization: A Computational Comparison Study
MathematicsNonlinearity presents a significant challenge in developing quantum algorithms involving differential equations, prompting the exploration of various linearization techniques, including the well-known Carleman Linearization.
Dongwei Shi, Xiu Yang
doaj +2 more sources
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
Doherty Amplifier Linearization in Experiments by Digital Injection Methods [PDF]
, 2021 In this paper, the experimental verification of two linearization methods applied on a broadband two-way microstrip Doherty amplifier is performed. The laboratory set-ups are formed to generate the baseband nonlinear linearization signals of the second ...
Budimir, D. +3 more
core +1 more source
Doherty amplifier linearization by digital injection methods [PDF]
, 2022 Verification of two linearization methods, applied on asymmetrical two-way microstrip Doherty amplifier in experiment and on symmetrical two-way Doherty amplifier in simulation, is performed in this paper.
Djoric, Aleksandra +3 more
core +1 more source
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
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
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
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
Mathematics, 2020 The problem concerning facilities delocation in the retail sector is addressed in this paper by proposing a novel mixed 0-1 linear optimization model. For this purpose, the aim of the problem is to decide whether to close existing stores or consider an ...
María Sierra-Paradinas +4 more
doaj +1 more source