The magnetized steel and scintillator calorimeters of the MINOS experiment

The Main Injector Neutrino Oscillation Search (MINOS) experiment uses an accelerator-produced neutrino beam to perform precision measurements of the neutrino oscillation parameters in the ""atmospheric neutrino"" sector associated with muon neutrino disappearance. This long-baseline experiment measures neutrino interactions in Fermilab`s NuMI neutrino beam with a near detector at Fermilab and again 735 km downstream with a far detector in the Soudan Underground Laboratory in northern Minnesota. The two detectors are magnetized steel-scintillator tracking calorimeters. They are designed to be as similar as possible in order to ensure that differences in detector response have minimal impact on the comparisons of event rates, energy spectra and topologies that are essential to MINOS measurements of oscillation parameters. The design, construction, calibration and performance of the far and near detectors are described in this paper. (C) 2008 Elsevier B.V. All rights reserved.

Pulsating strings in Lunin-Maldacena backgrounds

We consider pulsating strings in Lunin-Maldacena backgrounds, specifically in deformed Minkowski spacetime and deformed AdS(5) x S(5). We find the relation between the energy and the oscillation number of the pulsating string when the deformation is small. Since the oscillation number is an adiabatic invariant it can be used to explore the regime of highly excited string states. We then quantize the string and look for such a sector. For the deformed Minkowski background we find a precise match with the classical results if the oscillation number is quantized as an even number. For the deformed AdS(5) x S(5) we find a contribution which depends on the deformation parameter.

Observational constraints on the dark energy and dark matter mutual coupling

We examine different phenomenological interaction models for Dark Energy and Dark Matter by performing statistical joint analysis with observational data arising from the 182 Gold type la supernova samples, the shift parameter of the Cosmic Microwave Background given by the three-year Wilkinson Microwave Anisotropy Probe observations, the baryon acoustic oscillation measurement from the Sloan Digital Sky Survey and age estimates of 35 galaxies. Including the time-dependent observable, we add sensitivity of measurement and give complementary results for the fitting. The compatibility among three different data sets seem to imply that the coupling between dark energy and dark matter is a small positive value, which satisfies the requirement to solve the coincidence problem and the second law of thermodynamics, being compatible with previous estimates. (c) 2008 Elsevier B.V. All rights reserved.

Quasinormal modes of black holes immersed in a strong magnetic field

We found quasinormal modes, both in time and frequency domains, of the Ernst black holes, that is neutral black holes immersed in an external magnetic field. The Ernst solution reduces to the Schwarzschild solution, when the magnetic field vanishes. It is found that the quasinormal spectrum for massless scalar field in the vicinity of the magnetized black holes acquires an effective ""mass"" mu = 2B vertical bar m vertical bar, where m is the azimuthal number and B is parameter describing the magnetic field. We shall show that in the presence of a magnetic field quasinormal modes are longer lived and have larger oscillation frequencies. The perturbations of higher-dimensional magnetized black holes by Ortaggio and of magnetized dilaton black holes by Radu are considered. (C) 2007 Elsevier B.V. All rights reserved.

The concept of quasi-integrability: a concrete example

We use the deformed sine-Gordon models recently presented by Bazeia et al [1] to take the first steps towards defining the concept of quasi-integrability. We consider one such definition and use it to calculate an infinite number of quasi-conserved quantities through a modification of the usual techniques of integrable field theories. Performing an expansion around the sine-Gordon theory we are able to evaluate the charges and the anomalies of their conservation laws in a perturbative power series in a small parameter which describes the ""closeness"" to the integrable sine-Gordon model. We show that in the case of the two-soliton scattering the charges, up to first order of perturbation, are conserved asymptotically, i.e. their values are the same in the distant past and future, when the solitons are well separated. We indicate that this property may hold or not to higher orders depending on the behavior of the two-soliton solution under a special parity transformation. For closely bound systems, such as breather-like field configurations, the situation however is more complex and perhaps the anomalies have a different structure implying that the concept of quasi-integrability does not apply in the same way as in the scattering of solitons. We back up our results with the data of many numerical simulations which also demonstrate the existence of long lived breather-like and wobble-like states in these models.

Community structure and dynamics in climate networks

We consider climate networks constructed from observed and model simulated fields of three climate variables and investigate their community structure. We find that for all fields the number of effective communities is rather small (four to five). We are able to trace the origin of these communities to certain dynamical properties of climate. Our results suggest that the complete complexity of the climate system condenses beyond the `weather` time scales into a small number of low-dimensional interacting components and provide clues as to the nature of the climate subsystems underlying these components.

Friedel oscillations in one-dimensional metals: From Luttinger`s theorem to the Luttinger liquid

Charge density and magnetization density profiles of one-dimensional metals are investigated by two complementary many-body methods: numerically exact (Lanczos) diagonalization, and the Bethe-Ansatz local-density approximation with and without a simple self-interaction correction. Depending on the magnetization of the system, local approximations reproduce different Fourier components of the exact Friedel oscillations. (C) 2008 Elsevier B.V. All rights reserved.

STABILITY ANALYSIS WITH APPLICATIONS OF A TWO-DIMENSIONAL DYNAMICAL SYSTEM ARISING FROM A STOCHASTIC MODEL FOR AN ASSET MARKET

We analyze the stability properties of equilibrium solutions and periodicity of orbits in a two-dimensional dynamical system whose orbits mimic the evolution of the price of an asset and the excess demand for that asset. The construction of the system is grounded upon a heterogeneous interacting agent model for a single risky asset market. An advantage of this construction procedure is that the resulting dynamical system becomes a macroscopic market model which mirrors the market quantities and qualities that would typically be taken into account solely at the microscopic level of modeling. The system`s parameters correspond to: (a) the proportion of speculators in a market; (b) the traders` speculative trend; (c) the degree of heterogeneity of idiosyncratic evaluations of the market agents with respect to the asset`s fundamental value; and (d) the strength of the feedback of the population excess demand on the asset price update increment. This correspondence allows us to employ our results in order to infer plausible causes for the emergence of price and demand fluctuations in a real asset market. The employment of dynamical systems for studying evolution of stochastic models of socio-economic phenomena is quite usual in the area of heterogeneous interacting agent models. However, in the vast majority of the cases present in the literature, these dynamical systems are one-dimensional. Our work is among the few in the area that construct and study analytically a two-dimensional dynamical system and apply it for explanation of socio-economic phenomena.

Molecular characterization of nitrate reductase gene and its expression in the marine red alga Gracilaria tenuistipitata (Rhodophyta)

The enzyme nitrate reductase (NR) responsible for the conversion of nitrate to nitrite is considered to be the rate-limiting step in nitrogen assimilation. The economically important marine macroalga Gracilaria tenuistipitata presents a circadian oscillation in NR protein content and activity. In order to identify if the regulation of NR in G. tenuistipitata happens at transcriptional levels, the NR cDNA and gene were sequenced and the NR mRNA expression was studied. Analysis of the sequenced gene revealed absence of introns which is unusual for NR genes. The transcriptional profiling revealed a circadian rhythm for NR; furthermore, a rhythm was observed in constant light condition, suggesting a possible regulation by the biological clock at the mRNA levels for NR in G. tenuistipitata.

Automatic devices for monitoring environmentally induced auto-oxidative degradation of artistic materials in conservation sites

This paper describes an automatic device for in situ and continuous monitoring of the ageing process occurring in natural and synthetic resins widely used in art and in the conservation and restoration of cultural artefacts. The results of tests carried out under accelerated ageing conditions are also presented. This easy-to-assemble palm-top device, essentially consists of oscillators based on quartz crystal resonators coated with films of the organic materials whose response to environmental stress is to be addressed. The device contains a microcontroller which selects at pre-defined time intervals the oscillators and records and stores their oscillation frequency. The ageing of the coatings, caused by the environmental stress and resulting in a shift in the oscillation frequency of the modified crystals, can be straightforwardly monitored in this way. The kinetics of this process reflects the level of risk damage associated with a specific microenvironment. In this case, natural and artificial resins, broadly employed in art and restoration of artistic and archaeological artefacts (dammar and Paraloid B72), were applied onto the crystals. The environmental stress was represented by visible and UV radiation, since the chosen materials are known to be photochemically active, to different extents. In the case of dammar, the results obtained are consistent with previous data obtained using a bench-top equipment by impedance analysis through discrete measurements and confirm that the ageing of this material is reflected in the gravimetric response of the modified quartz crystals. As for Paraloid B72, the outcome of the assays indicates that the resin is resistant to visible light, but is very sensitive to UV irradiation. The use of a continuous monitoring system, apart from being obviously more practical, is essential to identify short-term (i.e. reversible) events, like water vapour adsorption/desorption processes, and to highlight ageing trends or sudden changes of such trends. (C) 2007 Elsevier B.V. All rights reserved.

Potential oscillations in a proton exchange membrane fuel cell with a Pd-Pt/C anode

We report in this paper the occurrence of potential oscillations in a proton exchange membrane fuel cell (PEMFC) with a Pd-Pt/C anode, fed with H(2)/100 ppm CO, and operated at 30 degrees C. We demonstrate that the use of Pd-Pt/C anode enables the emergence of dynamic instabilities in a PEMFC. Oscillations are characterized by the presence of very high oscillation amplitude, ca. 0.8 V. which is almost twice that observed in a PEMFC with a Pt-Ru/C anode under similar conditions. The effects of the H(2)/CO flow rate and cell current density on the oscillatory dynamics were investigated and the mechanism rationalized in terms of the CO oxidation and adsorption processes. We also discuss the fundamental aspects concerning the operation of a PEMFC under oscillatory regime in terms of the benefit resulting from the higher average power output. (c) 2010 Elsevier B.V. All rights reserved.

Studie av subsynkron interaktion (SSTI) mellan ett HVDC system med spänningsstyva strömriktare och en närliggande generator

Syftet med examensarbetet är att studera den subsynkrona interaktionen (subsynchronous torsional interaktion, SSTI) mellan ett HVDC system med spänningsstyva strömriktare och en närliggande generator. Studien utförs med hjälp av datorsimuleringar och fokuserar på att studera dämpkaraktäristiken för SSTI. Studien ska visa hur faktorer såsom den överförda effektens storlek och riktning, vald driftmod och kraftsystemets kortslutningseffekt påverkar dämpkaraktäristiken. Rapporten beskriver subsynkron oscillation (SSO) och tillvägagångssättet vid en SSTI undersökning. En kort introduktion till HVDC Light ges. Studien visar att HVDC Light ökar dämpningen för det frekvensområde som är intressant. Resultaten presenteras som diagram med beräknad dämpkaraktäristik.

Testing linear cointegration against smooth-transition cointegration

This paper studies a smooth-transition (ST) type cointegration. The proposed ST cointegration allows for regime switching structure in a cointegrated system. It nests the linear cointegration developed by Engle and Granger (1987) and the threshold cointegration studied by Balke and Fomby (1997). We develop F-type tests to examine linear cointegration against ST cointegration in ST-type cointegrating regression models with or without time trends. The null asymptotic distributions of the tests are derived with stationary transition variables in ST cointegrating regression models. And it is shown that our tests have nonstandard limiting distributions expressed in terms of standard Brownian motion when regressors are pure random walks, while have standard asymptotic distributions when regressors contain random walks with nonzero drift. Finite-sample distributions of those tests are studied by Monto Carlo simulations. The small-sample performance of the tests states that our F-type tests have a better power when the system contains ST cointegration than when the system is linearly cointegrated. An empirical example for the purchasing power parity (PPP) data (monthly US dollar, Italy lira and dollar-lira exchange rate from 1973:01 to 1989:10) is illustrated by applying the testing procedures in this paper. It is found that there is no linear cointegration in the system, but there exits the ST-type cointegration in the PPP data.

Fred: An approach to generating real, correct, reusable programs from proofs

In this paper we describe our system for automatically extracting "correct" programs from proofs using a development of the Curry-Howard process. Although program extraction has been developed by many authors, our system has a number of novel features designed to make it very easy to use and as close as possible to ordinary mathematical terminology and practice. These features include 1. the use of Henkin's technique to reduce higher-order logic to many-sorted (first-order) logic; 2. the free use of new rules for induction subject to certain conditions; 3. the extensive use of previously programmed (total, recursive) functions; 4. the use of templates to make the reasoning much closer to normal mathematical proofs and 5. a conceptual distinction between the computational type theory (for representing programs)and the logical type theory (for reasoning about programs). As an example of our system we give a constructive proof of the well known theorem that every graph of even parity, which is non-trivial in the sense that it does not consist of isolated vertices, has a cycle. Given such a graph as input, the extracted program produces a cycle as promised.

Protocols between programs and proofs

In this paper we describe a new protocol that we call the Curry-Howard protocol between a theory and the programs extracted from it. This protocol leads to the expansion of the theory and the production of more powerful programs. The methodology we use for automatically extracting “correct” programs from proofs is a development of the well-known Curry-Howard process. Program extraction has been developed by many authors, but our presentation is ultimately aimed at a practical, usable system and has a number of novel features. These include 1. a very simple and natural mimicking of ordinary mathematical practice and likewise the use of established computer programs when we obtain programs from formal proofs, and 2. a conceptual distinction between programs on the one hand, and proofs of theorems that yield programs on the other. An implementation of our methodology is the Fred system. As an example of our protocol we describe a constructive proof of the well-known theorem that every graph of even parity can be decomposed into a list of disjoint cycles. Given such a graph as input, the extracted program produces a list of the (non-trivial) disjoint cycles as promised.