The Experts below are selected from a list of 225312 Experts worldwide ranked by ideXlab platform
Frederic Magniez - One of the best experts on this subject based on the ideXlab platform.
-
multi Linearity self testing with relative error
Theory of Computing Systems \ Mathematical Systems Theory, 2005Co-Authors: Frederic MagniezAbstract:We investigate self-testing programs with relative error by allowing error terms proportional to the function to be computed.In the self-testing literature for numerical computations, only absolute errors and sublinear (in the input size) errors were previously studied. We construct new self-testers with relative error for real-valued multi-linear functions defined over finite rational domains. The existence of such self-testers positively solves an open question in [KMS2].
-
multi Linearity self testing with relative error
Symposium on Theoretical Aspects of Computer Science, 2000Co-Authors: Frederic MagniezAbstract:We investigate self-testing programs with relative error by allowing error terms proportional to the function to be computed. Until now, in numerical computation, error terms were assumed to be either constant or proportional to the p-th power of the magnitude of the input, for p ∈ [0, 1]. We construct new self-testers with relative error for realvalued multi-linear functions defined over finite rational domains. The existence of such self-testers positively solves an open question in [KMS99]. Moreover, our self-testers are very efficient: they use few queries and simple operations.
-
multi Linearity self testing with relative error
Lecture Notes in Computer Science, 2000Co-Authors: Frederic MagniezAbstract:We investigate self-testing programs with relative error by allowing error terms proportional to the function to be computed. Until now, in numerical computation, error terms were assumed to be either constant or proportional to the p-th power of the magnitude of the input, for p E [0, 1). We construct new self-testers with relative error for real-valued multi-linear functions defined over finite rational domains, The existence of such self-testers positively solves an open question in [KMS99]. Moreover, our self-testers are very efficient: they use few queries and simple operations.
John E Bowers - One of the best experts on this subject based on the ideXlab platform.
-
measurement of intermodulation distortion in high Linearity photodiodes
Optics Express, 2010Co-Authors: Anand Ramaswamy, Nobuhiro Nunoya, K J Williams, Jonathan Klamkin, Molly Piels, L A Johansson, A S Hastings, L A Coldren, John E BowersAbstract:Accurately characterizing third order intermodulation distortion (IMD3) in high-Linearity photodiodes is challenging. Two measurement techniques are evaluated–a standard two-tone measurement and a more complicated three-tone measurement technique to measure IMD3. A model of the measurement system is developed and used to analyze the limitations of the two techniques in determining the distortion of highly linear photodiodes. Experimental validation is provided by comparing the simulation trends with IMD3 results measured on two types of waveguide photodiodes: 1) an InP based uni-traveling-carrier (UTC) photodiode and 2) a Ge n-i-p waveguide photodetector on Silicon-on-Insulator (SOI) substrate.
David N Turner - One of the best experts on this subject based on the ideXlab platform.
-
Linearity and the pi calculus
ACM Transactions on Programming Languages and Systems, 1999Co-Authors: Naoki Kobayashi, Benjamin C Pierce, David N TurnerAbstract:The economy and flexibility of the pi-calculus make it an attractive object of theoretical study and a clean basis for concurrent language design and implementation. However, such generality has a cost: encoding higher-level features like functional computation in pi-calculus throws away potentially useful information. We show how a linear type system can be used to recover important static information about a process's behavior. In particular, we can guarantee that two processes communicating over a linear channel cannot interfere with other communicating processes. After developing standard results such as soundness of typing, we focus on equivalences, adapting the standard notion of barbed bisimulation to the linear setting and showing how reductions on linear channels induce a useful “partial confluence” of process behaviors. For an extended example of the theory, we prove the validity of a tail-call optimization for higher-order functions represented as processes.
-
Linearity and the pi calculus
Symposium on Principles of Programming Languages, 1996Co-Authors: Naoki Kobayashi, Benjamin C Pierce, David N TurnerAbstract:The economy and flexibility of the pi-calculus make it attractive both as an object of theoretical study and as a basis for concurrent language design and implementation. However, such generality has a cost: encoding higher-level features like functional computation in pi-calculus throws away potentially useful information. We show how a linear type system can be used to recover important static information about a process's behaviour. In particular, we can guarantee that two processes communicating over a linear channel cannot interfere with other communicating processes. This enables more aggressive optimisation of communications over linear channels and allows useful refinements to the usual notions of process equivalence for pi-calculus.After developing standard results such as soundness of typing, we focus on equivalences, adapting the standard notion of barbed bisimulation to the linear setting and showing how reductions on linear channels induce a useful "partial confluence" of process behaviors.
Anand Ramaswamy - One of the best experts on this subject based on the ideXlab platform.
-
measurement of intermodulation distortion in high Linearity photodiodes
Optics Express, 2010Co-Authors: Anand Ramaswamy, Nobuhiro Nunoya, K J Williams, Jonathan Klamkin, Molly Piels, L A Johansson, A S Hastings, L A Coldren, John E BowersAbstract:Accurately characterizing third order intermodulation distortion (IMD3) in high-Linearity photodiodes is challenging. Two measurement techniques are evaluated–a standard two-tone measurement and a more complicated three-tone measurement technique to measure IMD3. A model of the measurement system is developed and used to analyze the limitations of the two techniques in determining the distortion of highly linear photodiodes. Experimental validation is provided by comparing the simulation trends with IMD3 results measured on two types of waveguide photodiodes: 1) an InP based uni-traveling-carrier (UTC) photodiode and 2) a Ge n-i-p waveguide photodetector on Silicon-on-Insulator (SOI) substrate.
J C Campbell - One of the best experts on this subject based on the ideXlab platform.
-
high power high Linearity photodiodes
Optica, 2016Co-Authors: Andreas Beling, Xiaojun Xie, J C CampbellAbstract:Microwave photonics and optics-based analog links are technologies that are being developed for a growing number of applications. Photodetectors that operate at high power levels are key components. Additionally, it is important for many of these applications that the photodiodes have millimeter-wave bandwidths and highly linear response. This paper reviews the performance of modified uni-traveling carrier photodiodes with respect to these characteristics.
