We have studied the properties of impulsive geomagnetic disturbances, which are observed synchronously at network induction magnetometers Institute Solar-Terrestrial Physics (ISTP SB RAS) and Canadian stations CARISMA project [Mann, et al., 2008]. A feature pulses we detected is that their frequency range (f~5–30 Hz) lies junction ranges two known classes electromagnetic oscillations: ultra-low...

Complexity-theoretic cryptography considers only abstract notions of computation, and hence cannot protect against attacks that exploit the information leakage (via electromagnetic fields, power consumption, etc.) inherent in the physical execution of any cryptographic algorithm. Such “physical observation attacks” bypass the impressive barrier of mathematical security erected so far, and succe...

In the sequel to [12], we discuss behavioural approach for linear, time-varying, differential algebraic (descriptor) systems with real analytic coefficients. The analysis is “almost global” in the sense that the analysis is not restricted to an interval I ⊂ R but is allowed for the “time axis” R\T, where T is a discrete set of critical points, at which the solution may exhibit a finite escape t...

A Supersymmetric Grand unified model is constructed based on SO(10)xSO(10) symmetry in which new types of Yukawa matrices couple standard and exotic fermions. Evolution of these couplings from the Grand Unified scale to the electroweak scale causes some of them to be driven to their fixed points. This solves the supersymmetric alignment problem and ensures that there are no observable flavor ch...

This paper proposes and estimates an arbitrage-free term structure model with both observable yield factors and Treasury and Agency MBS supply factors, and applies it to evaluate the term premium effects of Federal Reserve’s Large Scale Asset Purchase programs. Our estimates show that the first and the second large-scale asset purchase programs and the Maturity Extension program have a combined...

Is the reputation of a firm tradable when the change in ownership is observable? We consider a competitive market in which a share of owners must retire in each period. New owners bid for the firms that are for sale. Customers learn the owner’s type, which reflects the quality of the good or service provided, through experience. After observing an ownership change they may want to switch firm. ...

Pure functional programming languages have been proposed as a vehicle to describe, simulate and manipulate circuit speciications. We propose an extension to Haskell to solve a standard problem when manipulating data types representing circuits in a lazy functional language. The problem is that circuits are nite graphs { but viewing them as an algebraic (lazy) datatype makes them indistinguishab...

We consider algebraic speciications with observational features. Axioms as well as observations are formulae of full (Many-Sorted) First Order Logic with Equality. The associated semantics is based on a non standard interpretation of equality called observational equality. We study the adequacy of this semantics for software specii-cation and the relationship with behavioural equivalence of alg...

This paper estimates an arbitrage-free term structure model with both observable yield factors and Treasury and agency MBS supply factors, and uses it to evaluate the term premium effects of the Federal Reserve’s large-scale asset purchase programs. Our estimates show that the first and second large-scale asset purchase programs and the maturity extension program jointly reduced the ten-year Tr...