We characterize the Lie groups with finitely many connected components that are O(u)-bilipschitz equivalent (almost quasiisometric in sense sublinear function u replaces additive bounds of quasiisometry) to real hyperbolic space, or complex plane. The characterizations expressed terms deformations algebras and pinching sectional curvature left-invariant Riemannian metrics case. also compare bil...

Semiconductor companies have increasingly adopted a methodology that starts with a system-level design specification in C/C++/SystemC. This model is extensively simulated to ensure correct functionality and performance. Later, a Register Transfer Level (RTL) implementation is created in Verilog, either manually by a designer or automatically by a high-level synthesis tool. It is essential to ch...

Semiconductor companies have increasingly adopted a methodology that starts with a system-level design specification in C/C++/SystemC. This model is extensively simulated to ensure correct functionality and performance. Later, a Register Transfer Level (RTL) implementation is created in Verilog, either manually by a designer or automatically by a high-level synthesis tool. It is essential to ch...

Let k be an algebraically closed field, char k 6= 2, 3, and let X ⊂ P be an elliptic curve with defining polynomial f . We show that any non-trivial torsion point of order r, determines up to equivalence, a unique minimal matrix Φr of size 3r×3r with linear polynomial entries such that det Φr = f . We also show that the identity, thought of as the trivial torsion point of order r, determines up...

Rapid acid-base titrations can be performed at the surface of a noble-metal electrode with coulometrically generated ions. An ISFET is used as an indicator electrode to detect the equivalence point in the resulting titration curve. The time needed to reach the equivalence point is typically 0.5 to 10 s for acid/base concentrations ranging from 0.5 x lop3 to 20 x lop3 mol 1 -I. A model is presen...

We study the equivalence of the static and dynamic point of view for di usions in a random environment in dimension one. First we prove that the static and dynamic distributions are equivalent if and only if either the speed in the law of large numbers does not vanish, or b/a is a.s. the gradient of a stationary function, where a and b are the covariance coe cient resp. the local drift attached...

In this paper we give a complete modulus of analytic classification under weak equivalence for generic analytic 1-parameter unfoldings of diffeomorphisms with a generic parabolic point. The modulus is composed of a canonical parameter associated to the family, together with an unfolding of the Ecalle–Voronin modulus. We then study the fixed points bifurcating from a parabolic point with nontriv...

Plotkin has advocated the combination of linear lambda calculus, polymorphism and fixed point recursion as an expressive semantic metalanguage. We study its expressive power from an operational point of view. We show that the naturally call-by-value operators of linear lambda calculus can be given a call-by-name semantics without affecting termination at exponential types and hence without affe...