Skip to content

August 2010 arXiv papers — page 34

Showing 3,3013,400 of 5,306 papers

  1. Yongye Liang, Hailiang Wang, Hernan Sanchez Casalongue, Zhuo Chen

    Graphene/TiO2 nanocrystals hybrid is successfully prepared by directly growing TiO2 nanocrystals on graphene oxide (GO) sheets. The direct growth of nanocrystals on GO sheets was achieved by a two-step method, in which TiO2 was coated on GO sheets by hydrolysis first and crystallized into anatase nanocrystals by hydrothermal treatment in second step. Slow hy

  2. Christian I. Johnson, Catherine A. Pilachowski

    We present elemental abundances for 855 red giant branch (RGB) stars in the globular cluster Omega Centauri (w Cen) from spectra obtained with the Blanco 4m telescope and Hydra multifiber spectrograph. The sample includes nearly all RGB stars brighter than V=13.5, and span's w Cen's full metallicity range. The heavy alpha elements (Si, Ca, and Ti) ar

  3. Ernst Helmut Brandt

    The electric losses in a bulk or film superconductor exposed to a parallel radio-frequency magnetic field may have three origins: In homogeneous vortex-free superconductors losses proportional to the frequency squared originate from the oscillating normal-conducting component of the charge carriers which is always present at temperatures $T>0$. With increasi

  4. Mikhail Gorchtein, Stefano Profumo, Lorenzo Ubaldi

    We study the possibility of detecting a signature of particle dark matter in the spectrum of gamma-ray photons from active galactic nuclei (AGNs) resulting from the scattering of high-energy particles in the AGN jet off of dark matter particles. We consider particle dark matter models in the context of both supersymmetry and universal extra-dimensions (UED),

  5. Sung Y. Song, Bangteng Xu

    We give a full description of the algebraic structures of the Bose-Mesner algebra and Terwilliger algebra of the wreath product of one-class association schemes.

  6. Steven N. Evans, Alexandru Hening

    Filiz et al. (2008) proposed a model for the pattern of defaults seen among a group of firms at the end of a given time period. The ingredients in the model are a graph, where the vertices correspond to the firms and the edges describe the network of interdependencies between the firms, a parameter for each vertex that captures the individual propensity of t

  7. Yael S. Elmatad, David Chandler, Juan P. Garrahan

    The earlier paper of this same title demonstrated a collapse of relaxation data of fragile supercooled glass forming liquids [\textit{J. Phys. Chem. B} \textbf{113}, 5563-5567 (2009)]. For temperature $T$ below that of the onset to supercooled behavior, $T_{\mathrm{o}}$, the logarithm of structural relaxation time, $\log τ$, is given by the parabolic form $\

  8. Alin Suciu, Tudor Carean

    A TPM (trusted platform module) is a chip present mostly on newer motherboards, and its primary function is to create, store and work with cryptographic keys. This dedicated chip can serve to authenticate other devices or to protect encryption keys used by various software applications. Among other features, it comes with a True Random Number Generator (TRNG

  9. Joe Britton

    Quantum-mechanical principles can be used to process information (QIP). In one approach, linear arrays of trapped, laser cooled ion qubits (two-level quantum systems) are confined in segmented multi-zone electrode structures. The ion trap approach to QIP requires trapping and control of numerous ions in electrode structures with many trapping zones. I invest

  10. Anirudh Prabhu

    The singularities of the $Γ$ function, a meromorphic function on the complex plane, are known to occur at the nonpositive integers. We show, using Euler and Gauss identities, that for all positive integers $n$ and $k$, $$ \lim_{z\rightarrow 0} \frac{Γ(nz)}{Γ(z)} = \frac 1 n; \hspace{0.4in} \lim_{z\rightarrow -k} \frac{Γ(nz)}{Γ(z)} = \f{(-1)^{k}\ Γ(k)}{n^2\ Γ

  11. Johanna Mangahas

    Given any generating set of any pseudo-Anosov-containing subgroup of the mapping class group of a surface, we construct a pseudo-Anosov with word length bounded by a constant depending only on the surface. More generally, in any subgroup G we find an element f with the property that the minimal subsurface supporting a power of f is as large as possible for e

  12. Barnabe Pessoa Lima, Newton Luis Santos

    It is shown that the estimates obtained by Manfredo P. do Carmo and Detang Zhou, in their paper "Eigenvalue estimate on complete noncompact Riemannian manifolds and applications", for the first eigenvalue of the Laplace-Beltrami operator on open manifolds, via an oscillation theorem, can be naturally extended for the semi-elliptic singular operator o

  13. Richard I. Anderson, Ansgar Reiners, Sami K. Solanki

    We investigate the detectability of Zeeman broadening in optical Stokes I spectra of slowly rotating sun-like stars. To this end, we apply the LTE spectral line inversion package SPINOR to very-high quality CES data and explore how fit quality depends on the average magnetic field, Bf . One-component (OC) and two-component (TC) models are adopted. In OC mode

  14. Paolo Desiati, Thomas K. Gaisser

    The intensity of TeV atmospheric muons and neutrinos depends on the temperature in the stratosphere. We show that the energy-dependence in the 100 TeV range of the correlation with temperature is sensitive to the fraction of muons and neutrinos from decay of charmed hadrons. We discuss the prospects for using the temperature effect as observed in gigaton neu

  15. Gurtina Besla, Nitya Kallivayalil, Lars Hernquist, Roeland P. van der Marel

    Recent high precision proper motions from the Hubble Space Telescope (HST) suggest that the Large and Small Magellanic Clouds (LMC and SMC, respectively) are either on their first passage or on an eccentric long period (>6 Gyr) orbit about the Milky Way (MW). This differs markedly from the canonical picture in which the Clouds travel on a quasi-periodic orbi

  16. Cesar I. Fuentes, Matthew J. Holman, David E. Trilling, Pavlos Protopapas

    We introduce a novel search technique that can identify trans-neptunian objects in three to five exposures of a pointing within a single Hubble Space Telescope orbit. The process is fast enough to allow the discovery of candidates soon after the data are available. This allows sufficient time to schedule follow up observations with HST within a month. We rep

  17. Lisa J. Kewley, David Rupke, H. Jabran Zahid, Margaret J. Geller

    We present the first systematic investigation into the metallicity gradients in galaxy close pairs. We determine the metallicity gradients for 8 galaxies in close pairs using HII region metallicities obtained with high signal-to-noise multi-slit observations with the Keck LRIS Spectrograph. We show that the metallicity gradients in close pairs are significan

  18. Sujit S. Datta

    Molten metallic nanoparticles have recently been used to construct graphene nanostructures with crystallographic edges. The mechanism by which this happens, however, remains unclear. Here, we present a simple model that explains how a droplet can etch graphene. Two factors possibly contribute to this process: a difference between the equilibrium wettability

  19. Christoph Hackstein, Michael Spannowsky

    Searches for a heavy Standard Model Higgs boson focus on the 'gold plated mode' where the Higgs decays to two leptonic Z bosons. This channel provides a clean signature, in spite of the small leptonic branching ratios. We show that using fat jets the semi-leptonic ZZ mode significantly increases the number of signal events with a similar statistical

  20. Evren Ekmekci, Andrew C. Strikwerda, Kebin Fan, Xin Zhang

    We present frequency tunable metamaterial designs at terahertz (THz) frequencies using broadside-coupled split ring resonator (BC-SRR) arrays. Frequency tuning, arising from changes in near field coupling, is obtained by in-plane horizontal or vertical displacements of the two SRR layers. For electrical excitation, the resonance frequency continuously redshi

  21. Kyungyong Lee

    For each positive integer n, we define a polynomial in the variables z_1,...,z_n with coefficients in the ring $\mathbb{Q}[q,t,r]$ of polynomial functions of three parameters q, t, r. These polynomials naturally arise in the context of cluster algebras. We conjecture that they are symmetric polynomials in z_1,...,z_n, and that their expansions in terms of mo

  22. Kenneth John Mighell

    The development of parallel-processing image-analysis codes is generally a challenging task that requires complicated choreography of interprocessor communications. If, however, the image-analysis algorithm is embarrassingly parallel, then the development of a parallel-processing implementation of that algorithm can be a much easier task to accomplish becaus

  23. Rolf T. Horn, Gregor Weihs

    In materials that do not allow birefringent phase-matching or periodic poling we propose to use waveguides to exploit the tensor structure of the second order nonlinearity for quasi-phase matching of nonlinear interactions. In particular, we concentrate on curved waveguides in which the interplay between the propagation direction, electric field polarization

  24. X. Xu, D. Narayanan, C. Walker

    We study the simulated CO emission from elliptical galaxies formed in the mergers of gas-rich disk galaxies. The cold gas not consumed in the merger-driven starburst quickly resettles into a disk-like configuration. By analyzing a variety of arbitrary merger orbits that produce a range of fast to slow-rotating remnants, we find that molecular disk formation

  25. François Goasdoué, Konstantinos Karanasos, Julien Leblay, Ioana Manolescu

    In recent years, the significant growth of RDF data used in numerous applications has made its efficient and scalable manipulation an important issue. In this paper, we present RDFViewS, a system capable of choosing the most suitable views to materialize, in order to minimize the query response time for a specific SPARQL query workload, while taking into acc

  26. Chakib Bouallou

    This review is devoted to assess and compare various processes aiming at recover CO2 from power plants fed with natural gas (NGCC) and pulverized coal (PC). These processes are post combustion CO2 capture using chemical solvents, natural gas reforming for pre-combustion capture and oxy-fuel combustion with cryogenic recovery of CO2. These processes were eval

  27. Elias Boulawz Ksayer, Denis Clodic

    The mechanical vapor recompression is an efficient process to decrease energy consumption of drying processes. In order to use the mechanical vapor recompression (MVR) in residential clothe dryers, the volumetric Turbivo technology is used to design a dry water vapor compressor. The Turbivo volumetric machine is composed mainly of a rotor with one blade, a s

  28. Umesh K. Yadav, T. Maitra, Ishwar Singh, A. Taraphder

    The combined effect of frustration and correlation in electrons is a matter of considerable interest of late. In this context a Falicov-Kimball model on a triangular lattice with two localized states, relevant for certain correlated systems, is considered. Making use of the local symmetries of the model, our numerical study reveals a number of orbital ordere

  29. Dmitry Zinoviev, Vy Duong

    One major function of social networks (e.g., massive online social networks) is the dissemination of information such as scientific knowledge, news, and rumors. Information can be propagated by the users of the network via natural connections in written, oral or electronic form. The information passing from a sender to a receiver intrinsically involves both

  30. P. Jachimowicz, M. Kowal, J. Skalski

    We study stability of superdeformed oblate (SDO) superheavy $Z\geq 120$ nuclei predicted by systematic macroscopic-microscopic calculations in 12D deformation space and confirmed by the Hartree-Fock calculations with the realistic SLy6 force. We include into consideration high-$K$ isomers that very likely form at the SDO shape. Although half-lives $T_{1/2}\l

  31. Victor M. Yakovenko

    We briefly review statistical models for the probability distribution of money developed in the econophysics literature since the late 1990s. In these models, economic transactions are modeled as random transfers of money between the agents in payment for goods and services. We focus on conceptual foundations for this approach, on the issues of money conserv

  32. Lj. Hadzievski, G. Gligoric, A. Maluckov, B. A. Malomed

    Fundamental solitons pinned to the interface between two discrete lattices coupled at a single site are investigated. Serially and parallel-coupled identical chains (\textit{System 1} and \textit{System 2}), with the self-attractive on-site cubic nonlinearity, are considered in one dimension. In these two systems, which can be readily implemented as arrays o

  33. M. -C. Ciornei, J. M. Rubí, J. -E. Wegrowe

    The dynamical equation of the magnetization has been reconsidered with enlarging the phase space of the ferromagnetic degrees of freedom to the angular momentum. The generalized Landau-Lifshitz-Gilbert equation that includes inertial terms, and the corresponding Fokker-Planck equation, are then derived in the framework of mesoscopic non-equilibrium thermodyn

  34. E. Simoncini, A. Kleidon, E. Gallori, .

    In this paper we demonstrate how chemical free energy can be produced by a geological process. We provide a thermodynamic framework in which to assess how life emerged at the off-axis hydrothermal vent system; the RNA - clays system has been investigated from the entropic point of view, showing that the stabilization of the system in a state further away fro

  35. David J. Singh

    Structural and optical properties of several high light output halide scintillators and closely related materials are presented based on first principles calculations. The optical properties are based on the Engel-Vosko generalized gradient approximation and the recently developed density functional of Tran and Blaha. The materials investigated are BaBr$_2$,

  36. L. Palodhi, F. Califano, F. Pegoraro

    Kinetic numerical simulations of the evolution of the Weibel instability during the full nonlinear regime are presented. The formation of strong distortions in the electron distribution function resulting in formation of strong peaks in it and their influence on the resulting electrostatic waves are shown.

  37. B. Knispel, B. Allen, J. M. Cordes, J. S. Deneva

    Einstein@Home aggregates the computer power of hundreds of thousands of volunteers from 192 countries to "mine" large data sets. It has now found a 40.8 Hz isolated pulsar in radio survey data from the Arecibo Observatory taken in February 2007. Additional timing observations indicate that this pulsar is likely a disrupted recycled pulsar. PSR J2007+

  38. Peter D. Hoff

    Modern datasets are often in the form of matrices or arrays,potentially having correlations along each set of data indices. For example, data involving repeated measurements of several variables over time may exhibit temporal correlation as well as correlation among the variables. A possible model for matrix-valued data is the class of matrix normal distribu

  39. Alexei M Frolov, David M. Wardlaw

    A variational approach is developed for bound state calculations in three- and four-electron atomic systems. This approach can be applied to determine, in principle, an arbitrary bound state in three- and four-electron ions and atoms. Our variational wave functions are constructed from four- and five-body gaussoids which depend upon the six ($r_{12}, r_{13},

  40. Christopher Bradley

    A construction is given of five Hagge circles complete with supporting calculations.

  41. David Jennings

    We consider the vacuum response of a particle detector in Anti-de Sitter spacetime, and in particular analyze how spacetime features such as curvature and dimensionality affect the response spectrum of an accelerated detector. We calculate useful limits on Wightman functions, analyze the dynamics of the detector in terms of vacuum fluctuations and radiation

  42. F. Marchis, V. Lainey, P. Descamps, J. Berthier

    We present the first dynamical solution of the triple asteroid system (45) Eugenia and its two moons Petit-Prince (Diameter~7 km) and S/2004 (45) 1 (Diameter~5 km). The two moons orbit at 1165 and 610 km from the primary, describing an almost-circular orbit (e~6x10-3 and e~7x10-2 respectively). The system is quite different from the other known triple system

  43. Asa F. L. Bluck, Christopher J. Conselice, Omar Almaini, Elise S. Laird

    [Abridged] To investigate the evolution in the relation between galaxy stellar and central black hole mass we construct a volume limited complete sample of 85 AGN with host galaxy stellar masses M_{*} > 10^{10.5} M_{sol}, and specific X-ray luminosities L_{X} > 2.35 x 10^{43} erg s^{-1} at 0.4 < z < 3. We calculate the Eddington limiting masses of the superm

  44. Piyali Chatterjee, Sagar Chakraborty, Arnab Rai Choudhuri

    Assuming that the torsional oscillation is driven by the Lorentz force of the magnetic field associated with the sunspot cycle, we use a flux transport dynamo to model it and explain its initiation at a high latitude before the beginning of the sunspot cycle.

  45. Peter J. Harding, Steve M. V. Gwynne, Martyn Amos

    Fatal crush conditions occur in crowds with tragic frequency. Event organisers and architects are often criticised for failing to consider the causes and implications of crush, but the reality is that the prediction and mitigation of such conditions offers a significant technical challenge. Full treatment of physical force within crowd simulations is precise

  46. E. Nardini, A. C. Fabian, R. C. Reis, D. J. Walton

    Over the last few years several models have been proposed to interpret the widespread soft excess observed in the X-ray spectra of type 1 active galactic nuclei (AGN). In particular, reflection from the photoionized accretion disc blurred by relativistic effects has proven to be successful in reproducing both the spectral shape and the variability pattern of

  47. Jens Braun, Bertram Klein, Piotr Piasecki

    We study the scaling behavior of the two-flavor chiral phase transition using an effective quark-meson model. We investigate the transition between infinite-volume and finite-volume scaling behavior when the system is placed in a finite box. We can estimate effects that the finite volume and the explicit symmetry breaking by the current quark masses have on

  48. Wei Dai, Sanat K. Kumar, Francis W. Starr

    We examine the crystallization dynamics of nanoparticles reversibly tethered by DNA hybridization. We show that the crystallization happens readily only in a narrow temperature &#34;slot,&#34; and always proceeds via a two-step process, mediated by a highly-connected amorphous intermediate. For lower temperature quenches, the dynamics of unzipping strands in

  49. M. K. Singh, Ramji Pathak, V. Singh

    The properties of the relativistic alpha fragments produced in interactions of 84^Kr at around 1 A GeV in nuclear emulsion are investigated. The experimental results are compared with the similar results obtained from various projectiles with emulsion interactions at different energies. The total, partial nuclear cross-sections and production rates of alpha

  50. Juan Migliore, Rosa M. Miró-Roig, Uwe Nagel

    In a recent paper, Schenck and Seceleanu showed that in three variables, any ideal generated by powers of linear forms has the Weak Lefschetz Property (WLP). This result contrasts with examples, in our previous work, of ideals in four variables generated by powers of linear forms which fail the WLP. Set $R:=k[x_1,\dots,x_r]$. Assume $1< a_1 \leq \dots \leq a

  51. Iván González

    In this work we present the relation between method of brackets and the master theorem of Ramanujan in the evaluation of multivariable integrals, in this case Feynman diagrams.

  52. C. Y. Kuo, J. A. Braatz, J. J. Condon, C. M. V. Impellizzeri

    Observations of H$_2$O masers from circumnuclear disks in active galaxies for the Megamaser Cosmology Project allow accurate measurement of the mass of supermassive black holes (BH) in these galaxies. We present the Very Long Baseline Interferometry (VLBI) images and kinematics of water maser emission in six active galaxies: NGC~1194, NGC~2273, NGC~2960 (Mrk

  53. Friedrich-Karl Thielemann, Raphael Hirschi, Matthias Liebendörfer, Roland Diehl

    Massive stars and their supernovae are prominent sources of radioactive isotopes, the observations of which thus can help to improve our astrophysical models of those. Our understanding of stellar evolution and the final explosive endpoints such as supernovae or hypernovae or gamma-ray bursts relies on the combination of magneto-hydrodynamics, energy generat

  54. Bastian B. Brandt, Owe Philipsen, Hartmut Wittig, Lars Zeidlewicz

    A lot of effort in lattice simulations over the last years has been devoted to studies of the QCD deconfinement transition. Most state-of-the-art simulations use rooted staggered fermions, while Wilson fermions are affected by large systematic uncertainties, such as coarse lattices or heavy sea quarks. Here we report on an ongoing study of the transition, us

  55. S. Lendinez, E. M. Chudnovsky, J. Tejada

    We compute the shift in the frequency of the spin resonance in a solid that rotates in the field of a circularly polarized electromagnetic wave. Electron spin resonance, nuclear magnetic resonance, and ferromagnetic resonance are considered. We show that contrary to the case of the rotating LC circuit, the shift in the frequency of the spin resonance has str

  56. A. S. Moskvin, A. A. Makhnev, L. V. Nomerovannaya, N. N. Loshkareva

    We have performed both theoretical and experimental study of optical response of parent perovskite manganites RMnO_3 with a main goal to elucidate nature of clearly visible optical features. Starting with a simple cluster model approach we addressed the both one-center (p-d) and two-center (d-d) charge transfer (CT) transitions, their polarization properties

  57. Graham D Bruce, James Mayoh, Giuseppe Smirne, Lara Torralbo-Campo

    We discuss the suitability of holographically generated optical potentials for the investigation of superfluidity in ultracold atoms. By using a spatial light modulator and a feedback enabled algorithm we generate a smooth ring with variable bright regions that can be dynamically rotated to stir ultracold atoms and induce superflow. We also comment on its fu

  58. M. K. Singh, Ramji Pathak, V. Singh

    The emission of projectile fragments alpha has been studied in 84^Kr interactions with nuclei of the nuclear emulsion detector composition at relativistic energy below 2 GeV per nucleon. The angular distribution of projectile fragments alpha in terms of transverse momentum could not be explained by a straight and clean-cut collision geometry hypothesis of Pa

  59. Daniel Z. Perry, Katherine Holcomb, Simonetta Liuti

    We describe a new method to extract parton distribution functions both in the unpolarized and the polarized case, based on a type of neural networks, the Self-Organizing Maps. Initial quantitative results of our Next to Leading Order analysis are presented for the unpolarized case.

  60. Chandra Chekuri, F. Bruce Shepherd, Christophe Weibel

    Consider a routing problem consisting of a demand graph H and a supply graph G. If the pair obeys the cut condition, then the flow-cut gap for this instance is the minimum value C such that there is a feasible multiflow for H if each edge of G is given capacity C. The flow-cut gap can be greater than 1 even when G is the (series-parallel) graph K_{2,3}. In t

  61. S. M. Dorkin, T. Hilger, L. P. Kaptari, B. Kaempfer

    The mass spectrum of heavy pseudoscalar mesons, described as quark-antiquark bound systems, is considered within the Bethe-Salpeter formalism with momentum-dependent masses of the constituents. This dependence is found by solving the Schwinger-Dyson equation for quark propagators in rainbow-ladder approximation. Such an approximation is known to provide both

  62. Arvind Ayyer, Volker Strehl

    In recent work on nonequilibrium statistical physics, a certain Markovian exclusion model called an asymmetric annihilation process was studied by Ayyer and Mallick. In it they gave a precise conjecture for the eigenvalues (along with the multiplicities) of the transition matrix. They further conjectured that to each eigenvalue, there corresponds only one ei

  63. D0 Collaboration, V. Abazov

    We report a search for diphoton events with large missing transverse energy produced in ppbar collisions at sqrt(s)=1.96 TeV. The data were collected with the D0 detector at the Fermilab Tevatron Collider, and correspond to 6.3 fb-1 of integrated luminosity. The observed missing transverse energy distribution is well described by the standard model predictio

  64. A. S. Moskvin

    Nominally pure undoped parent manganite LaMnO_3 exhibits a puzzling behavior inconsistent with a simple picture of an A-type antiferromagnetic insulator (A-AFI) with a cooperative Jahn-Teller ordering. We do assign its anomalous properties to charge transfer instabilities and competition between insulating A-AFI phase and metallic-like dynamically disproport

  65. K. G. Puschmann, B. Ruiz Cobo, V. Martínez Pillet

    We determine the entire electrical current density vector in a geometrical 3D volume of the inner penumbra of a sunspot from an inversion of spectropolarimetric data obtained with Hinode/SP. Significant currents are seen to wrap around the hotter, more elevated regions with lower and more horizontal magnetic field that harbor strong upflows and radial outflo

  66. LAT collaboration

    The flux of gamma rays with energies >100MeV is dominated by diffuse emission from CRs illuminating the ISM of our Galaxy through the processes of Bremsstrahlung, pion production and decay, and inverse-Compton scattering. The study of this diffuse emission provides insight into the origin and transport of CRs. We searched for gamma-ray emission from the SMC

  67. Chunxuan Ye, Prakash Narayan

    We propose an approach for constructing secret and private keys based on the long-known Slepian-Wolf code, due to Wyner, for correlated sources connected by a virtual additive noise channel. Our work is motivated by results of Csiszár and Narayan which highlight innate connections between secrecy generation by multiple terminals that observe correlated sourc

  68. A. A. Gippius, A. S. Moskvin, S. -L. Drechsler

    The incommensurate (IC) spin ordering in quasi-1D edge-shared cuprate NaCu_2O_2 has been studied by ^{23}Na nuclear magnetic resonance spectroscopy in an external magnetic field near 6 Tesla applied along the main crystallographic axes. The NMR lineshape evolution above and below T_N\approx12 K yields a clear signature of an IC static modulation of the local

  69. J. Karch, P. Olbrich, M. Schmalzbauer, C. Zoth

    We report the observation of the circular ac Hall effect where the current is solely driven by the crossed ac electric and magnetic fields of circularly polarized radiation. Illuminating an unbiased monolayer sheet of graphene with circularly polarized terahertz radiation at room temperature generates - under oblique incidence - an electric current perpendic

  70. Yu. P. Rybakov, G. N. Shikin, Yu. A. Popov, Bijan Saha

    We consider an interacting system of spinor and electromagnetic field, explicitly depending on the electromagnetic potentials, i.e., interaction with broken gauge invariance. The Lagrangian for interaction is chosen in such a way that the electromagnetic field equation acquires an additional term, which in some cases is proportional to the vector potential o

  71. Keiko Nakata, Tarmo Uustalu

    We look at the operational semantics of languages with interactive I/O through the glasses of constructive type theory. Following on from our earlier work on coinductive trace-based semantics for While, we define several big-step semantics for While with interactive I/O, based on resumptions and termination-sensitive weak bisimilarity. These require nesting

  72. Tobias Heindel

    Inspired by decomposition problems in rule-based formalisms in Computational Systems Biology and recent work on compositionality in graph transformation, this paper proposes to use arbitrary colimits to &#34;deconstruct&#34; models of reactions in which states are represented as objects of adhesive categories. The fundamental problem is the decomposition of

  73. H. Beohar, D. E. Nadales Agut, D. A. van Beek, P. J. L. Cuijpers

    CIF is a language designed for two purposes, namely as a specification language for hybrid systems and as an interchange format for allowing model transformations between other languages for hybrid systems. To facilitate the top-down development of a hybrid system and also to be able to express models more succinctly in the CIF formalism, we need a mechanism

  74. Maciej Gazda, Wan Fokkink

    One of the basic sanity properties of a behavioural semantics is that it constitutes a congruence with respect to standard process operators. This issue has been traditionally addressed by the development of rule formats for transition system specifications that define process algebras. In this paper we suggest a novel, orthogonal approach. Namely, we focus

  75. Ignacio Fábregas, David de Frutos Escrig, Miguel Palomino

    Covariant-contravariant simulation and conformance simulation generalize plain simulation and try to capture the fact that it is not always the case that &#34;the larger the number of behaviors, the better&#34;. We have previously studied their logical characterizations and in this paper we present the axiomatizations of the preorders defined by the new simu

  76. R. M. Gonzalez Delgado, J. Rodriguez Zaurin, E. Perez, A. Alonso-Herrero

    The &#34;Extreme starbursts in the local universe&#34; workshop was held at the Insituto de Astrofisica de Andalucia in Granada, Spain on 21-25 June 2010. Bearing in mind the advent of a new generation of facilities such as JWST, Herschel, ALMA, eVLA and eMerlin, the aim of the workshop was to bring together observers and theorists to review the latest resul

  77. I. Beljakov, H. Hinrichsen

    We suggest an equal-time n-point correlation function for systems in the directed percolation universality class which is well defined in all phases and independent of initial conditions. It is defined as the probability that all points are connected with a common ancestor in the past by directed paths.

  78. Stefan Gerhold

    In the LIBOR market model, forward interest rates are log-normal under their respective forward measures. This note shows that their distributions under the other forward measures of the tenor structure have approximately log-normal tails.

  79. Daniele Funaro

    A system of equations, describing the evolution of electromagnetic fields, is introduced and discussed. The model is strictly related to Maxwell&#39;s equations. As a matter of fact, the Lagrangian is the same, but the variations are subjected to a suitable constraint. This allows to enlarge the space of solutions, including for example solitary waves with c

  80. J. Nevalainen, L. David, M. Guainazzi

    We used a sample of 11 nearby relaxed clusters of galaxies observed with the X-ray instruments XMM-Newton (EPIC) pn and MOS, Chandra ACIS-S and ACIS-I and BeppoSAX MECS to examine the cross-calibration of the energy dependence and normalisation of the effective area of these instruments as of December 2009. We also examined the Fe XXV/XXVI line ratio tempera

  81. D. Bockelée-Morvan, J. Boissier, N. Biver, J. Crovisier

    Based on long-slit infrared spectroscopic observations, it has been suggested that half of the carbon monoxide present in the atmosphere of comet C/1995 O1 (Hale-Bopp) close to perihelion was released by a distributed source in the coma, whose nature (dust or gas) remains unidentified. We re-assess the origin of CO in Hale-Bopp&#39;s coma from millimeter int

  82. V. I. Gerasimenko, Zh. A. Tsvir

    We develop a rigorous formalism for the description of the evolution of states of quantum many-particle systems in terms of a one-particle density operator. For initial states which are specified in terms of a one-particle density operator the equivalence of the description of the evolution of quantum many-particle states by the Cauchy problem of the quantum

  83. A. M. Fedotov, E. G. Gelfer, K. Yu. Korolev, S. A. Smolyansky

    We investigate the quantum kinetic approach to pair production from vacuum by time-dependent electric field. Equivalence between this approach and the more familiar S-matrix approach is explicitly established for both scalar and fermion cases. For the particular case of a constant electric field exact solution for kinetic equations is provided and the accura

  84. S. Aalto, R. Beswick, E. Jütte

    Studying molecular gas properties in merging galaxies gives important clues to the onset and evolution of interaction-triggered starbursts. The CO/13CO 1-0 line intensity ratio can be used as a tracer of how dynamics and star formation processes impact the gas properties. The Medusa (NGC~4194) merger is particularly interesting to study since its LFIR/LCO ra

  85. Ranjan Singh, Carsten Rockstuhl, Weili Zhang

    We investigate the response of terahertz metamaterials made of split-ring resonators depending on the unit cell density. It is shown that the fundamental resonance has its highest Q factor for a period of one-third the resonance wavelength. Increasing or decreasing the period from that optimal period reduces the Q factor. All observations are explained by un

  86. Robert F. H. Fischer

    Over the last years, novel low-complexity approaches to the equalization of MIMO channels have gained much attention. Thereby, methods based on lattice basis reduction are of special interest, as they achieve the optimum diversity order. In this paper, a tutorial overview on LRA equalization optimized according to the MMSE criterion is given. It is proven th

  87. M. J. Simon, J. Ulbricht

    We investigate the possibility that the Moon develops an electric potential originating from the impinging particles on the Moon from cosmic rays and solar wind. The investigation includes all experimental data of the flux of charged particle for energies higher than 865 eV available from Apollo missions, satellites and balloon experiments in publications or

  88. A. K. Pramanik, A. Banerjee

    The magnetic properties and the effects of interparticle interaction on it have been studied in nanoparticles of half doped Pr$_{0.5}$Sr$_{0.5}$MnO$_{3}$. Three samples consisting of nanoparticles of different average particle sizes are synthesized to render the variation in interparticle interaction. Though all the samples crystallize in the same structure

  89. I. Sakellis, A. N. Papathanassiou, J. Grammatikakis

    The effect of physical aging of semi-conducting polypyrrole at ambient temperature for two years duration on the dielectric loss at various pressures is investigated. Changes of the dielectric loss spectra and the modification of the values of the activation volume for relaxation are interpreted through the division of chain clusters into smaller components

  90. Leszek Pysiak

    We define and investigate the concept of the groupoid representation induced by a representation of the isotropy subgroupoid. Groupoids in question are locally compact transitive topological groupoids. We formulate and prove the imprimitivity theorem for such representations which is a generalization of the classical Mackey&#39;s theorem known from the theor

  91. Miloslav Znojil

    A family of nonhermitian quantum graphs (exhibiting, presumably, a hidden form of hermiticity) is proposed and studied via their discretization.

  92. T. Yoshida, I. Nishi, S. Ideta, A. Fujimori

    We have studied the three-dimensional shapes of the Fermi surfaces (FSs) of BaFe2(As1-xPx)2 (x=0.38), where superconductivity is induced by isovalent P substitution, by angle-resolved photoemission spectroscopy. Moderately strong electron mass enhancement has been identified for both the electron and hole FSs. Among two observed hole FSs, the nearly two-dime

  93. Tina Hecksher, Niels Boye Olsen, Kristine Niss, Jeppe C. Dyre

    Aging to the equilibrium liquid state of organic glasses is studied. The glasses were prepared by cooling the liquid to temperatures just below the glass transition. Aging following a temperature jump was studied by measuring the dielectric loss at a fixed frequency using a microregulator in which temperature is controlled by means of a Peltier element. Comp

  94. I. Lizuain, J. Echanobe, A. Ruschhaupt, J. G. Muga

    In a recent publication [Phys. Rev. A 79, 065602 (2009)] it was shown that an avoided-crossing resonance can be defined in different ways, according to level-structural or dynamical aspects, which do not coincide in general. Here a simple $3$-level system in a $Λ$ configuration is discussed, where the difference between both definitions of the resonance may

  95. Itai Panas

    Two Bi2201 model systems are employed to demonstrate how, beside the Cu-O σ-band, a second band of purely O2pπcharacter can be made to cross the Fermi level owing to its sensitivity to the local crystal field. This result is employed to explain the particle-hole symmetry breaking across the pseudo-gap recently reported by Shen and co-workers, see M. Hashimot

  96. O. M. Umurhan

    The Rossby wave instability in astrophysical disks is as a potentially important mechanism for driving angular momentum transport in disks. We aim to understand this instability in an approximate three-dimensional disk model environment which we assume to be a single homentropic annular layer we analyze using disk shallow-water theory. We consider the normal

  97. Jozef Strecka

    This book deals with the theory of generalized algebraic transformations, which is elaborated with the aim to provide a relatively simple theoretical tool that enables an exact treatment of diverse more complex lattice-statistical models. In addition to a brief historical account on the developments of this exact mapping method, the versatility of generalize

  98. V. A. Martinez, J. H. J Thijssen, F. Zontone, W. van Megen

    Intermediate Scattering Functions (ISF&#39;s) are measured for colloidal hard sphere systems using both Dynamic Light Scattering (DLS) and X-ray Photon Correlation Spectroscopy (XPCS). We compare the techniques, and discuss the advantages and disadvantages of each. Both techniques agree in the overlapping range of scattering vectors. We investigate the scali

  99. Lubomir Kostal

    We derive an approximate expression for mutual information in a broad class of discrete-time stationary channels with continuous input, under the constraint of vanishing input amplitude or power. The approximation describes the input by its covariance matrix, while the channel properties are described by the Fisher information matrix. This separation of inpu

  100. Christian Schubert, Alessandro Torrielli

    Worldline instantons provide a particularly elegant way to derive Schwinger&#39;s well-known formula for the pair creation rate due to a constant electric field in quantum electrodynamics. In this note, we show how to extend this method to the corresponding problem of open string pair creation.