Switching Regimes in the Term Structure of Interest Rates During U.S. Post-War: A case for the Lucas proof equilibrium?

Published as an article in: Studies in Nonlinear Dynamics & Econometrics, 2004, vol. 8, issue 1, pages 5.

The coincidence of the kernel and nucleolus of a convex game: an alternative proof

In 1972, Maschler, Peleg and Shapley proved that in the class of convex the nucleolus and the kernel coincide. The only aim of this note is to provide a shorter, alternative proof of this result.

Thin Magnetically Soft Wires for Magnetic Microsensors

Recent advances in technology involving magnetic materials require development of novel advanced magnetic materials with improved magnetic and magneto-transport properties and with reduced dimensionality. Therefore magnetic materials with outstanding magnetic characteristics and reduced dimensionality have recently gained much attention. Among these magnetic materials a family of thin wires with reduced geometrical dimensions (of order of 1-30 mu m in diameter) have gained importance within the last few years. These thin wires combine excellent soft magnetic properties (with coercivities up to 4 A/m) with attractive magneto-transport properties (Giant Magneto-impedance effect, GMI, Giant Magneto-resistance effect, GMR) and an unusual re-magnetization process in positive magnetostriction compositions exhibiting quite fast domain wall propagation. In this paper we overview the magnetic and magneto-transport properties of these microwires that make them suitable for microsensor applications.

Proof of Concept of Impact Detection in Composites Using Fiber Bragg Grating Arrays

Impact detection in aeronautical structures allows predicting their future reliability and performance. An impact can produce microscopic fissures that could evolve into fractures or even the total collapse of the structure, so it is important to know the location and severity of each impact. For this purpose, optical fibers with Bragg gratings are used to analyze each impact and the vibrations generated by them. In this paper it is proven that optical fibers with Bragg gratings can be used to detect impacts, and also that a high-frequency interrogator is necessary to collect valuable information about the impacts. The use of two interrogators constitutes the main novelty of this paper.

Magnetization reversal and exchange bias effects in hard/soft ferromagnetic bilayers with orthogonal anisotropies

21 p.

Beyond Q-Resolution and Prenex Form: a Proof System for Quantified Constraint Satisfaction

We consider the quanti fied constraint satisfaction problem (QCSP) which is to decide, given a structure and a first-order sentence (not assumed here to be in prenex form) built from conjunction and quanti fication, whether or not the sentence is true on the structure. We present a proof system for certifying the falsity of QCSP instances and develop its basic theory; for instance, we provide an algorithmic interpretation of its behavior. Our proof system places the established Q-resolution proof system in a broader context, and also allows us to derive QCSP tractability results.