April 2013 arXiv papers — page 11

Andrew W. Mann, Eric Gaidos, Adam Kraus, Eric J. Hilton

It has been shown that F, G, and early K dwarf hosts of Neptune-sized planets are not preferentially metal-rich. However, it is less clear whether the same holds for late K and M dwarf planet hosts. We report metallicities of Kepler targets and candidate transiting planet hosts with effective temperatures below 4500 K. We use new metallicity calibrations to

Cesar Bertucci, Norberto Romanelli, Jean-Yves Chaufray, Daniel Gomez

We report on the temporal variability of the occurrence of waves at the local proton cyclotron frequency upstream from the Martian bow shock from Mars Global Surveyor observations during the first aerobraking and science phasing orbit periods. Observations at high southern latitudes during minimum-to-mean solar activity show that the wave occurrence rate is

Duff Neill, Ira Z. Rothstein

We show that classical space-times can be derived directly from the S-matrix for a theory of massive particles coupled to a massless spin two particle. As an explicit example we derive the Schwarzchild space-time as a series in $G_N$. At no point of the derivation is any use made of the Einstein-Hilbert action or the Einstein equations. The intermediate step

Toshio Sumi, Toshio Sakata, Mitsuhiro Miyazaki

Let $3\leq m\leq n$. We study typical ranks of $m\times n\times ((m-1)n-1)$ tensors over the real number field. The number $(m-1)n-1$ is a minimal typical rank of $m\times n\times ((m-1)n-1)$ tensors over the real number field. We show that a typical rank of $m\times n\times ((m-1)n-1)$ tensors over the real number field is less than or equal to $(m-1)n$ and

Y. Alhassid, M. Bonett-Matiz, S. Liu, H. Nakada

Nuclear level densities are crucial for estimating statistical nuclear reaction rates. The shell model Monte Carlo method is a powerful approach for microscopic calculation of state densities in very large model spaces. However, these state densities include the spin degeneracy of each energy level, whereas experiments often measure level densities in which

Manuel Angst

The possibility of multiferroicity arising from charge ordering in LuFe2O4 and structurally related rare earth ferrites is reviewed. Recent experimental work on macroscopic indications of ferroelectricity and microscopic determination of coupled spin and charge order indicates that this scenario does not hold. Understanding the origin of the experimentally o

P. Starowicz, H. Schwab, J. Goraus, P. Zajdel

The electronic structure of superconducting Fe1.03Te0.94S0.06 has been studied by angle resolved photoemission spectroscopy (ARPES). Experimental band topography is compared to the calculations using the methods of Korringa-Kohn-Rostoker (KKR) with coherent potential approximation (CPA) and linearized augmented plane wave with local orbitals (LAPW+LO). The r

Mitchell B. Lerner, Nicholas Kybert, Ryan Mendoza, Romain Villechenon

We developed a scalable, label-free all-electronic sensor for D-glucose based on a carbon nanotube transistor functionalized with pyrene-1-boronic acid. This sensor responds to glucose in the range 1 uM - 100 mM, which includes typical glucose concentrations in human blood and saliva. Control experiments establish that functionalization with the boronic acid

Michael J. Alexander, Henry A. Kobulnicky, Charles R. Kerton, Kim Arvidsson

We present a study of the star formation (SF) region G38.9-0.4 using publicly available multiwavelength Galactic Plane surveys from ground- and space-based observatories. This region is composed of four bright mid-IR bubbles and numerous infrared dark clouds. Two bubbles, N 74 and N 75, each host a star cluster anchored by a single O9.5V star. We identified

Yusuf Yuksel, Umit Akinci

Critical phenomena and universality behavior of ferromagnetic thin films described by a spin-1 Blume-Capel Hamiltonian has been examined for various thickness values ranging from 3 to 40 layers. Using effective field theory, we have found that crystal field interactions significantly affects the critical value of surface to bulk ratio of exchange interaction

Amaury H. M. J. Triaud, Michael Gillon, Franck Selsis, Joshua N. Winn

Exoplanetary science has reached a historic moment. The James Webb Space Telescope will be capable of probing the atmospheres of rocky planets, and perhaps even search for biologically produced gases. However this is contingent on identifying suitable targets before the end of the mission. A race therefore, is on, to find transiting planets with the most fav

A. Zajczyk, W. Bednarek, B. Rudak

Globular clusters are source of gamma-ray radiation. At GeV energies, their emission is attributed to magnetospheric activity of millisecond pulsars residing in the clusters. Inverse Compton scattering of ambient photon fields on relativistic particles diffusing through cluster environment is thought to be the source of GeV-TeV emission of globular clusters.

Mario F. Borunda, Jesse Berezovsky, Robert M. Westervelt, Eric J. Heller

We study conductance fluctuations (CF) and the sensitivity of the conductance to the motion of a single scatterer in two-dimensional massless Dirac systems. Our extensive numerical study finds limits to the predicted universal value of CF. We find that CF are suppressed for ballistic systems near the Dirac point and approach the universal value at sufficient

Marta Enciso, Christof Schuette, Luigi Delle Site

In a recent work we proposed a coarse-grained methodology for studying the response of peptides when simulated at different values of pH; in this work we extend the methodology to analyze the pH-dependent behavior of coiled coils. This protein structure presents a remarkable chain stiffness andis formed by two or more long helical peptides that are interacti

Arindam Chaudhuri, Kajal De, Dipak Chatterjee

Neuro-Fuzzy Modeling has been applied in a wide variety of fields such as Decision Making, Engineering and Management Sciences etc. In particular, applications of this Modeling technique in Decision Making by involving complex Systems of Linear Algebraic Equations have remarkable significance. In this Paper, we present Polak-Ribiere Conjugate Gradient based

Arindam Chaudhuri, Kajal De, Dipak Chatterjee

The Fuzzy Modeling has been applied in a wide variety of fields such as Engineering and Management Sciences and Social Sciences to solve a number Decision Making Problems which involve impreciseness, uncertainty and vagueness in data. In particular, applications of this Modeling technique in Decision Making Problems have remarkable significance. These proble

Alessandro Perina, Nebojsa Jojic

We introduce and we analyze a new dataset which resembles the input to biological vision systems much more than most previously published ones. Our analysis leaded to several important conclusions. First, it is possible to disambiguate over dozens of visual scenes (locations) encountered over the course of several weeks of a human life with accuracy of over

Tobias Brunsch, Heiko Röglin

We show that the shadow vertex algorithm can be used to compute a short path between a given pair of vertices of a polytope P = {x : Ax \leq b} along the edges of P, where A \in R^{m \times n} is a real-valued matrix. Both, the length of the path and the running time of the algorithm, are polynomial in m, n, and a parameter 1/delta that is a measure for the

K. S. Turitsyn, S. Wabnitz

The nonlinear cross-polarization interaction among two intense counterpropagating beams in a span of lossless randomly birefringent telecom optical fiber may lead to the attraction an initially polarization scrambled signal towards wave with a well-defined state of polarization at the fiber output. By exploiting exact analytical solutions of the nonlinear po

Ben Freivogel, Benjamin Mosk

Causal holographic information [1] is a variant of the Ryu-Takayanagi proposal for the entanglement entropy of a spatial region in the context of AdS/CFT, but with the bulk surface defined by causality rather than extremality. We investigate the properties of causal holographic information, focusing in particular on the universal coefficient of the logarithm

Sergei V. Voitekhovich, Dmitri V. Talapin, Christian Klinke, Andreas Kornowski

We propose a new type of surfactants, namely, tetrazole derivatives which can be controllably removed from the nanoparticle surface. Tetrazoles are a peculiar class of heterocyclic compounds. The presence of four nitrogen atoms in the tetrazole ring determines their interesting physical and chemical properties. Tetrazoles show high thermal stability below 20

F. Gubarev, V. Kunin, A. Pospelov

We suggest modified bi-level approach for finding the best stacking sequence of laminated composite structures subject to mechanical, blending and manufacturing constraints. We propose to use both the number of plies laid up at predefined angles and lamination parameters as independent variables at outer (global) stage of bi-level scheme aimed to satisfy buc

Christopher Eltschka, Jens Siewert

Among all entanglement measures negativity arguably is the best known and most popular tool to quantify bipartite quantum correlations. It is easily computed for arbitrary states of a composite system and can therefore be applied to discuss entanglement in an ample variety of situations. However, its direct physical meaning has not been pointed out yet. We s

Alexander Dobrinevski, Pierre Le Doussal, Kay Jörg Wiese

We study a generalization of the Alessandro-Beatrice-Bertotti-Montorsi (ABBM) model of a particle in a Brownian force landscape, including retardation effects. We show that under monotonous driving the particle moves forward at all times, as it does in absence of retardation (Middleton's theorem). This remarkable property allows us to develop an analytic

V. Dominguez, S. L. Lu, F. -J. Sayas

In this paper we present and test a full discretization of all elements of the Calderón Calculus (layer potentials and integral operators) for the Helmholtz equation in smooth closed curves in the plane. The resulting integral equations provide approximations of order three for all variables involved. Test are shown for a wide array of direct, indirect and c

George E. Bass, James E. Chenevey

The study reported here concerns a phenomenon, discovered and extensively investigated by Sorin Comorosan, wherein enzyme initial reaction rates are enhanced as a consequence of incorporation of solutions derived from previously irradiated crystalline material into the reaction medium. Effective irradiation times conform to a sharply oscillatory pattern. In

Yonatan Harpaz

In this paper we formulate and prove a combinatorial version of the section conjecture for finite groups acting on finite graphs. We apply this result to the study of rational points and show that finite descent is the only obstruction to the Hasse principle for mildly singular curves whose components are all geometrically rational.

Martin Welk, Martin Erler

We investigate possibilities to speed up iterative algorithms for non-blind image deconvolution. We focus on algorithms in which convolution with the point-spread function to be deconvolved is used in each iteration, and aim at accelerating these convolution operations as they are typically the most expensive part of the computation. We follow two approaches

L. A. Hinvi, A. V. Monwanou, J. B. Chabi Orou

In this work, the linear stability of the viscous incompressible fluid flow between two parallel horizontal porous stationary plates with the assumption that there is a small constant suction at upper plate and a small constant injection at the lower plate is studied.The Navier-Stokes and continuous equations are reduced to an equation modified by the suctio

Roland Kindermann, Tommi Junttila, Ilkka Niemelä

Timed automata (TAs) are a common formalism for modeling timed systems. Bounded model checking (BMC) is a verification method that searches for runs violating a property using a SAT or SMT solver. MITL is a real-time extension of the linear time logic LTL. Originally, MITL was defined for traces of non-overlapping time intervals rather than the "super-de

Dijana Ilisevic, Aleksej Turnsek, Dilian Yang

In this paper, we study the representation of orthogonally additive mappings acting on Hilbert $C^*$-modules and Hilbert $H^*$-modules. One of our main results shows that every continuous orthogonally additive mapping $f$ from a Hilbert module $W$ over $\K(\H)$ or $\H§(\H)$ to a complex normed space is of the form $f(x)=T(x)+Φ(< x, x >)$ for all $x\in W$, wh

James Rankin, Daniele Avitabile, Javier Baladron, Gregory Faye

We study localised activity patterns in neural field equations posed on the Euclidean plane; such models are commonly used to describe the coarse-grained activity of large ensembles of cortical neurons in a spatially continuous way. We employ matrix-free Newton-Krylov solvers and perform numerical continuation of localised patterns directly on the integral f

Christian J. Bordé

This contribution is an update of a previous presentation of 5D matter- wave optics and interferometry with a correction of some algebraic errors. Electromagnetic interactions are explicitly added in the 5D metric tensor in complete analogy with Kaluza&#39;s work. The 5D Lagrangian is rederived and an expression for the Hamiltonian suitable for the parabolic

J. S. White, M. Bator, Y. Hu, H. Luetkens

Single phase and strained LuMnO3 thin films are discovered to display co-existing ferromagnetic and antiferromagnetic orders. A large moment ferromagnetism (approx. 1 muB), which is absent in bulk samples, is shown to display a magnetic moment distribution that is peaked at the highly-strained substrate-film interface. We further show that the strain-induced

Chris A. J. Klaassen

Some scientific publications are under suspicion of fabrication of data. Since humans are bad random number generators, there might be some evidential value in favor of fabrication in the statistical results as presented in such papers. In line with Uri Simonsohn (2012, 2013) we study the evidential value of the results of an ANOVA study in favor of the hypo

I. N. Zhilyaev

A picture of pair scattering on Wigner crystal islands for the earlier proposed superconducting state in BCS superconductor with characteristic HTSC properties is presented. The model is supposed to be valid for thin heterogeneous films and boundaries between superconductors.

Susmita Roy, Krishna Shrinivas, Biman Bagchi

Although Vitamin D is believed to be involved in a large number of immune responses our understanding of these processes at cellular level remained at infancy. We develop and solve a coarse grained kinetic network model to quantify the effects of variation of vitamin D on human immunity. The system of equations accounts for known inter-relation between activ

Tomasz Ciaś

Let s be the space of rapidly decreasing sequences. We give the spectral representation of normal elements in the Fréchet algebra L(s&#39;,s) of the so-called smooth operators. We also characterize closed commutative *-subalgebras of L(s&#39;,s) and establish a Hölder continuous functional calculus in this algebra. The key tool is the property (DN) of s.

Mauro Antezza, Yvan Castin

We study the effects of finite size and of vacancies on the photonic band gap recently predicted for an atomic diamond lattice. Close to a $J_g=0\to J_e=1$ atomic transition, and for atomic lattices containing up to $N\approx 3\times10^4$ atoms, we show how the density of states can be affected by both the shape of the system and the possible presence of a f

Arnau Padrol

This thesis presents new applications of Gale duality to the study of polytopes, point configurations and oriented matroids with extremal combinatorial properties. The first part of the thesis explores construction techniques for neighborly polytopes and oriented matroids. First, we provide a new interpretation of Shemer&#39;s classical Sewing Construction f

Albert Kavelar, Sebastian Zambanini, Martin Kampel

Standard OCR is a well-researched topic of computer vision and can be considered solved for machine-printed text. However, when applied to unconstrained images, the recognition rates drop drastically. Therefore, the employment of object recognition-based techniques has become state of the art in scene text recognition applications. This paper presents a scen

Ugo Boscain, Thomas Chambrion, Mario Sigalotti

The aim of this paper is to provide a short introduction to modern issues in the control of infinite dimensional closed quantum systems, driven by the bilinear Schrödinger equation. The first part is a quick presentation of some of the numerous recent developments in the fields. This short summary is intended to demonstrate the variety of tools and approache

S. Dooling, P. Gunnellini, F. Hautmann, H. Jung

We study contributions from nonperturbative effects and parton showering in NLO event generators, and present applications to jet final states. We find pT-dependent and rapidity-dependent corrections which can affect the shape of observed jet distributions at the LHC. We illustrate numerically the kinematic shifts in longitudinal momentum distributions from

S. Di Napoli, M. A. Barral, P. Roura-Bas, A. A. Aligia

We analyze the conduction bands of the one dimensional noble-metal chains that contain a Co magnetic impurity by means of ab initio calculations. We compare the results obtained for Cu and Ag pure chains, as well as O doped Cu, Ag and Au chains with those previously found for Au pure chains. We find similar results in the case of Cu and Au hosts, whereas for

Edith Gabriel

We restrict our attention to space-time point pattern data for which we have a single realisation within a finite region. Second-order characteristics are used to analyse the spatio-temporal structure of the underlying point process. In particular, the space-time inhomogeneous pair correlation function and $K$-function measure the spatio-temporal clustering/

Rolf R. Gerhardts, Konstantinos Panos, Jürgen Weis

We present recent experimental results confirming previously predicted strong asymmetries of the current distribution in narrow Hall bars under the conditions of the integer quantum Hall effect (IQHE). Using a previously developed self-consistent screening and transport theory of the IQHE, we investigate how these asymmetries, which are due to a non-linear f

K. Hirsch, V. Zamudio-Bayer, A. Langenberg, M. Niemeyer

The magnetic moment of a single impurity atom in a finite free electron gas is studied in a combined x-ray magnetic circular dichroism spectroscopy and density functional theory study of size-selected free chromium-doped gold clusters. The observed size-dependence of the local magnetic moment can essentially be understood in terms of the Anderson impurity mo

B. Külebi, J. Kalirai, S. Jordan, F. Euchner

According to the fossil-field hypothesis magnetic fields are remnants of the previous stages of evolution. However, population synthesis calculations are unable to reproduce the magnetic white dwarf (MWD) sample without binary interaction or inclusion of a population of progenitor with unobservable small-scale fields. One necessary ingredient in population s

S. A. Moskalenko, M. A. Liberman, D. W. Snoke, E. V. Dumanov

The collective elementary excitations of two dimensional magnetoexcitons in a Bose Einstein condensate with zero wavevector are investigated in the framework of the Bogoliubov theory of quasi averages. The Hamiltonian of the electrons and holes lying in the lowest Landau levels contains supplementary interactions due to virtual quantum transitions of the par

Emad Saad

Non deterministic applications arise in many domains, including, stochastic optimization, multi-objectives optimization, stochastic planning, contingent stochastic planning, reinforcement learning, reinforcement learning in partially observable Markov decision processes, and conditional planning. We present a logic programming framework called non determinis

T. Yamashita

The grand unified theories are theoretically well motivated, but they typically have less direct indications on the low energy physics and it is not easy to test them. Here, we discuss a scenario of them which naturally solves the so-called doublet-triplet splitting problem and, at the same time, generally predicts characteristic collider phenomenology. Then

K. Piscicchia, C. Curceanu, A. Scordo, I. Tucakovic

The AMADEUS experiment aims to perform precision studies in the sector of low-energy kaon-nuclei interaction at the DAΦNE collider at LNF-INFN, implementing a dedicated setup in the central region of the KLOE detector. As a first step towards the AMADEUS realization the existing KLOE data (runs from 2002 to 2005) were analysed using the detector itself as an

Linjing Li, Zhiwei Wu, Lihong Wang, Jingsong He

The Hirota equation is better than the nonlinear Schrödinger equation when approximating deep ocean waves. In this paper, high-order rational solutions for the Hirota equation are constructed based on the parameterized Darboux transformation. Several types of this kind of solutions are classified by their structures.

E. Khan, N. Paar, D. Vretenar, Li-Gang Cao

The incompressibility of finite fermionic systems is investigated using analytical approaches and microscopic models. The incompressibility of a system is directly linked to the zero-point kinetic energy of constituent fermions, and this is a universal feature of fermionic systems. In the case of atomic nuclei, this implies a constant value of the incompress

Luca Gugelmann, Reto Spöhel

Consider the balanced Ramsey game, in which a player has r colors and where in each step r random edges of an initially empty graph on n vertices are presented. The player has to immediately assign a different color to each edge and her goal is to avoid creating a monochromatic copy of some fixed graph F for as long as possible. The Achlioptas game is simila

Boris Pioline

The BPS state spectrum in four-dimensional gauge theories or string vacua with N=2 supersymmetries is well known to depend on the values of the parameters or moduli at spatial infinity. The BPS index is locally constant, but discontinuous across real codimension-one walls where some of the BPS states decay. By postulating that BPS states are bound states of

Antoine Bordes, Nicolas Usunier, Alberto Garcia-Duran, Jason Weston

We consider the problem of embedding entities and relations of knowledge bases in low-dimensional vector spaces. Unlike most existing approaches, which are primarily efficient for modeling equivalence relations, our approach is designed to explicitly model irreflexive relations, such as hierarchies, by interpreting them as translations operating on the low-d

Leon Derczynski, Richard Shaw, Ben Solway, Jun Wang

Question answering involves developing methods to extract useful information from large collections of documents. This is done with specialised search engines such as Answer Finder. The aim of Answer Finder is to provide an answer to a question rather than a page listing related documents that may contain the correct answer. So, a question such as &#34;How t

Nora Lützgendorf, Markus Kissler-Patig, Nadine Neumayer, Holger Baumgardt

For galaxies hosting supermassive black holes (SMBHs), it has been observed that the mass of the central black hole (M_BH) tightly correlates with the effective or central velocity dispersion (sigma) of the host galaxy. The origin of this M_BH - sigma scaling relation is assumed to lie in the merging history of the galaxies but many open questions about its

L. C. Gallo, C. MacMackin, R. Vasudevan, E. M. Cackett

1ES 1927+654 is an active galactic nucleus (AGN) that appears to defy the unification model. It exhibits a type-2 optical spectrum, but possesses little X-ray obscuration. XMM-Newton and Suzaku observations obtained in 2011 are used to study the X-ray properties of 1ES 1927+654. The spectral energy distribution derived from simultaneous optical-to-X-ray data

E. L. Bratkovskaya, V. Ozvenchuk, W. Cassing, V. P. Konchakovski

We study the shear and bulk viscosities of partonic and hadronic matter - as well as the electric conductivity - as functions of temperature $T$ within the Parton-Hadron-String Dynamics (PHSD) off-shell transport approach. Dynamical hadronic and partonic systems in equilibrium are studied by the PHSD simulations in a finite box with periodic boundary conditi

Peter Innerhofer, Thomas Pock

In this paper we propose a global convex approach for image hallucination. Altering the idea of classical multi image super resolution (SU) systems to single image SU, we incorporate aligned images to hallucinate the output. Our work is based on the paper of Tappen et al. where they use a non-convex model for image hallucination. In comparison we formulate a

Anna Beliakova, Benjamin Cooper

Categorified quantum groups play an increasing role in quantum topology and representation theory. The Steenrod algebra is a fundamental component of algebraic topology. In this paper we show that categorified quantum groups can be extended to module categories over the Steenrod algebra in a natural way. This yields an intepretation of the small quantum grou

Phillip Lord, Lindsay Marshall

Semantic publishing can enable richer documents with clearer, computationally interpretable properties. For this vision to become reality, however, authors must benefit from this process, so that they are incentivised to add these semantics. Moreover, the publication process that generates final content must allow and enable this semantic content. Here we fo

Andrey Ermash

We present measurements of AGN type 1 luminosity function in the forbidden line [OIII]5007Åusing data from SDSS DR7. A special attention is paid to NLSy1. A new approach in calculating the luminosity function is present. We also account for the large-scale structure variations of the Universe density. The results obtained are compared with ones from the lite

M. Helmberger, M. Urschler, M. Pienn, Z. Balint

We present a pulmonary vessel segmentation algorithm, which is fast, fully automatic and robust. It uses a coarse segmentation of the airway tree and a left and right lung labeled volume to restrict a vessel enhancement filter, based on an offset medialness function, to the lungs. We show the application of our algorithm on contrast-enhanced CT images, where

Renata Jora, Salah Nasri, Joseph Schechter

We reconsider top condensate models from the perspective that not only two quark composite fields can form but also four quark ones. We obtain a model which contains a Higgs doublet and a Higgs triplet, where one of the neutral components of the Higgs triplet identifies with the Higgs boson found at the LHC. We discuss some of the phenomenological consequenc

Qi Lu

This paper is addressed to studying the exact controllability for stochastic Schrödinger equations by two controls. One is a boundary control in the drift term and the other is an internal control in the diffusion term. By means of the standard duality argument, the control problem is converted into an observability problem for backward stochastic Schrödinge

Sergey A. Khrapak

An expression for the effective Coulomb logarithm in one-component-plasma is proposed, which allows to extend the applicability of the classical formula for the self-diffusion coefficient to the strongly coupled regime. The proposed analytical approximation demonstrates reasonable agreement with previous numerical simulation results. Relevance to weakly scre

Gernot Riegler, Thomas Pock, Werner Pötzi, Astrid Veronig

Solar storms can have a major impact on the infrastructure of the earth. Some of the causing events are observable from ground in the Hα spectral line. In this paper we propose a new method for the simultaneous detection of flares and filaments in Hα image sequences. Therefore we perform several preprocessing steps to enhance and normalize the images. Based

Guido Ala, Pietro Cassara&#39;, Elisa Francomano, Salvatore Ganci

Imaging techniques give a fundamental support to medical diagnostics during the pathology discovery as well as for the characterization of biological structures. The imaging methods involve electromagnetic waves in a frequency range that spans from some Hz to GHz and over. Most of these methods involve scanning of wide human body areas even if only small are

Jacek Brodzki, Graham A. Niblo, Nick Wright

In an earlier paper, the authors introduced partial translation algebras as a generalisation of group C*-algebras. Here we establish an extension of partial translation algebras, which may be viewed as an excision theorem in this context. We apply this general framework to compute the K-theory of partial translation algebras and group C*-algebras in the cont

V. I. Marchenko

It is shown that mechanical twinning in smectic crystals is possible. The structure of the boundary of twins for a small disorientation of crystallites is determined. The periodic twin structure, which should appear at the tension of the smectic layer, is proposed.

Peter Hines

This paper investigates some issues arising in categorical models of reversible logic and computation. Our claim is that the structural (coherence) isomorphisms of these categorical models, although generally overlooked, have decidedly non-trivial computational content. The theory of categorical coherence is based around reversible structural operations (can

Umut Kose

Several different experimental results are indicating the existence of anomalies in the neutrino sector. Models beyond the standard model have been developed to explain these results and involve one or more additional neutrinos that do not weakly interact. A new experimental program is therefore needed to study this potential new physics with a possibly new

Guido Ala, Elisa Francomano

Numerical solution of equations governing time domain simulations in computational electromagnetics, is usually based on grid methods in space and on explicit schemes for the time evolution. A predefined grid in the problem domain and a stability step size restriction must be accepted. Evidence is given that efforts need for overcoming these heavy constraint

Arshiya Begum, Mohammed Tanveer Ali

Recent communications environment significantly expand the mobile environment. Prepaid mobile services for 3G networks enables telecommunication to sign up new users by utilizing the latest in converged billing technologies. The worldwide mobile communication market is exploding, and 50 percent of subscribers are expected to use prepaid billing . Prepaid ser

Ruben Gamboa, Jared Davis

This volume contains the proceedings of the Eleventh International Workshop on the ACL2 Theorem Prover and its Applications, held on May 30 and 31, 2013, in Laramie, Wyoming, USA. ACL2 is an industrial-strength automated reasoning system, the latest in the Boyer-Moore family of theorem provers. The ACL2 workshop is the major technical forum for users of the

Björn Obry, Philipp Pirro, Thomas Brächer, Andrii V. Chumak

We investigate spin-wave propagation in a microstructured magnonic-crystal waveguide fabricated by localized ion implantation. The irradiation caused a periodic variation in the saturation magnetization along the waveguide. As a consequence, the spin-wave transmission spectrum exhibits a set of frequency bands, where spin-wave propagation is suppressed. A we

Marcella Di Criscienzo, Flavia Dell&#39;Agli, Paolo Ventura, Raffaella Schneider

We present new models for the evolution of stars with mass in the range 1Msun < M < 7.5Msun, followed from the pre-main-sequence through the asymptotic giant branch phase. The metallicity adopted is $Z=3*10^{-4} (which, with an alpha-enhancement of +0.4, corresponds to [Fe/H]=-2). Dust formation is described by following the growth of dust grains of various

J. Tapson, G. Cohen, S. Afshar, K. Stiefel

The advent of large scale neural computational platforms has highlighted the lack of algorithms for synthesis of neural structures to perform predefined cognitive tasks. The Neural Engineering Framework offers one such synthesis, but it is most effective for a spike rate representation of neural information, and it requires a large number of neurons to imple

Valentino Esposito, Roland Walter, Pierre Jean, Andrea Tramacere

The high energy spectral shape of 3C 273 is usually understood in terms of Inverse-Compton emission in a relativistic leptonic jet. This model predicts variability patterns and delays which could be tested if simultaneous observations are available from the infrared to the GeV range. The instruments IBIS, SPI, JEM-X on board INTEGRAL, PCA on board RXTE and L

W. D. Apel, J. C. Arteaga-Velàzquez, K. Bekk, M. Bertaina

Recent results of the KASCADE-Grande experiment provided evidence for a mild knee-like structure in the all-particle spectrum of cosmic rays at $E = 10^{16.92 \pm 0.10} \, \mathrm{eV}$, which was found to be due to a steepening in the flux of heavy primary particles. The spectrum of the combined components of light and intermediate masses was found to be com

T. Maurer, N. Abdellaoui, A. Gwiazda, P. -M. Adam

We present a simple method to prove the presence of an organic shell around silver nanoparticles. This method is based on the comparison between optical extinction measurements of isolated nanoparticles and Mie calculations predicting the expected wavelength of the Localized Surface Plasmon Resonance of the nanoparticles with and without the presence of an o

Cs. Kiss, Gy. Szabó, J. Horner, B. C. Conn

2012 DR30 is a recently discovered Solar System object on a unique orbit, with a high eccentricity of 0.9867, a perihelion distance of 14.54 AU and a semi-major axis of 1109 AU, in this respect outscoring the vast majority of trans-Neptunian objects. We performed Herschel/PACS and optical photometry to uncover the size and albedo of 2012 DR30, together with

M. Magliocchetti, P. Popesso, D. Rosario, D. Lutz

By making use of Herschel-PEP observations of the COSMOS and Extended Groth Strip fields, we have estimated the dependence of the clustering properties of FIR-selected sources on their 100um fluxes. Our analysis shows a tendency for the clustering strength to decrease with limiting fluxes: r0(S100um >8 mJy)~4.3 Mpc and r0(S100um >5 mJy)~5.8 Mpc. These values

Manuel Schölling, Rudolf Hanel

Motivation Gene transcription requires the orchestrated binding of various proteins to the promoter of a gene. The binding times and binding order of proteins allow to draw conclusions about the proteins&#39; exact function in the recruitment process. Time-resolved ChIP experiments are being used to analyze the order of protein binding for these processes. H

Kanak Saha, Witold Maciejewski

Although nearly one-third of barred galaxies host an inner, secondary bar, the formation and evolution of double barred galaxies remain unclear. We show here an example model of a galaxy, dominated by a live dark matter halo, in which double bars form naturally, without requiring gas, and we follow its evolution for a Hubble time. The inner bar in our model

Song Yao, Hao-Tong Zhang, Hai-Long Yuan, Yong-Heng Zhao

With a sky brightness monitor in Xinglong station of National Astronomical Observatories of China (NAOC), we collected data from 22 dark clear nights and 90 lunar nights. We first measured the sky brightness variation with time in dark nights, found a clear correlation between the sky brightness and human activity. Then with a modified sky brightness model o

Thomas Ashton, Andrey Mudrov

Let $O$ be a closed Poisson conjugacy class of the complex algebraic Poisson group GL(n) relative to the Drinfeld-Jimbo factorizable classical r-matrix. Denote by $T$ the maximal torus of diagonal matrices in GL(n). With every $a\in O\cap T$ we associate a highest weight module $M_a$ over the quantum group $U_q(gl(n))$ and an equivariant quantization $C_{h,a

Anne Marin, Damian Markham, Simon Perdrix

We give graphical characterisation of the access structure to both classical and quantum information encoded onto a multigraph defined for prime dimension $q$, as well as explicit decoding operations for quantum secret sharing based on graph state protocols. We give a lower bound on $k$ for the existence of a $((k,n))_q$ scheme and prove, using probabilistic

Mario Flory, Ivo Sachs

We investigate the global structure of a recently discovered simple exact, non-stationary solution of topologically massive and new massive gravity with the asymptotic charges of an undeformed BTZ black hole. We establish the existence of a timelike singularity in the causal structure of the spacetime even in the absence of angular momentum. The dynamical tr

Els van Aarle, Hans Van Winckel, Kenneth De Smedt, Devika Kamath

Stellar photospheres of post-asymptotic giant branch stars bear witness to the internal chemical enrichment processes, integrated over their entire stellar evolution. Here we study post-AGB stars in the Large Magellanic Cloud (LMC). With their known distances, these rare objects are ideal tracers of AGB nucleosynthesis and dredge-up phenomena. We used the UV

Predrag Tanović

Let $T$ be a complete, superstable theory with fewer than $2^{\aleph_{0}}$ countable models. Assuming that generic types of infinite, simple groups definable in $T^{eq}$ are sufficiently non-isolated we prove that $ω^ω$ is the strict upper bound for the Lascar rank of $T$.

ATLAS Collaboration

Measurements of the production of jets of particles in association with a Z boson in pp collisions at sqrt(s) = 7 TeV are presented, using data corresponding to an integrated luminosity of 4.6/fb collected by the ATLAS experiment at the Large Hadron Collider. Inclusive and differential jet cross sections in Z events, with Z decaying into electron or muon pai

Rajesh Kumar Tiwari

In the current world of economic crises, the cost control is one of the chief concerns for all types of industries, especially for the small venders. The small vendors are suppose to minimize their budget on Information Technology by reducing the initial investment in hardware and costly database servers like ORACLE, SQL Server, SYBASE, etc. for the purpose

Shuiyin Liu, Cong Ling, Xiaofu Wu

Lattice precoding is an effective strategy for multiantenna broadcast. In this paper, we show that approximate lattice precoding in multiantenna broadcast is a variant of the closest vector problem (CVP) known as $η$-CVP. The proximity factors of lattice reduction-aided precoding are defined, and their bounds are derived, which measure the worst-case loss in

Jun Ziang Pinn, A. Fr. Zung

Digital multimedia watermarking technology was suggested in the last decade to embed copyright information in digital objects such images, audio and video. However, the increasing use of relational database systems in many real-life applications created an ever increasing need for watermarking database systems. As a result, watermarking relational database s

John Bulava, Stefan Schaefer

We determine the parameter c_SW required for O(a)-improvement of the three flavor Wilson fermion action together with the tree-level Symanzik improved gauge action. The standard improvement condition is employed for a range of couplings. Additionally, we perform a check of the volume independence of c_SW and provide a preliminary estimate of the lattice spac

Ersoy Sasioglu, Christoph Friedrich, Stefan Blügel

Magnons play an important role in fast precessional magnetization reversal processes serving as a heat bath for dissipation of the Zeeman energy and thus being responsible for the relaxation of magnetization. Employing \emph{ab initio} many-body perturbation theory we studied the magnon spectra of the tetragonal FeCo compounds considering three different exp