July 2013 arXiv papers — page 11

Carmeline J. Dsilva, Ronen Talmon, Neta Rabin, Ronald R. Coifman

Finding informative low-dimensional descriptions of high-dimensional simulation data (like the ones arising in molecular dynamics or kinetic Monte Carlo simulations of physical and chemical processes) is crucial to understanding physical phenomena, and can also dramatically assist in accelerating the simulations themselves. In this paper, we discuss and illu

Luigi C. Berselli, Lars Diening, Michael Ruzicka

In this paper we study the numerical error arising in the space-time approximation of unsteady generalized Newtonian fluids which possess a stress-tensor with $(p,δ)$-structure. A semi-implicit time-discretization scheme coupled with conforming inf-sup stable finite element space discretization is analyzed. The main result, which improves previous suboptimal

Atsushi Yao, Takashi Hikihara

This paper discusses a logical operation of multi-memories that consist of coupled nonlinear micro-electro-mechanical systems (MEMS) resonators. A MEMS resonator shows two coexisting stable states when nonlinear responses appear. Previous studies addressed that a micro- or nano-electrical-mechanical resonator can be utilized as a mechanical 1-bit memory or m

Seunghun Lee

We prove the uniqueness, the functoriality and the naturality of cylinder objects and path objects in closed simplicial model categories.

Sarah Bockting-Conrad, Paul Terwilliger

We discuss a connection between the algebra $U_q({\mathfrak{sl}_2})$ and the tridiagonal pairs of $q$-Racah type. To describe the connection, let $x,y^{\pm 1},z$ denote the equitable generators for $U_q({\mathfrak{sl}_2})$. Let $U^\vee_q$ denote the subalgebra of $U_q({\mathfrak{sl}_2})$ generated by $x,y^{-1},z$. Using a tridiagonal pair of $q$-Racah type w

James B. Dent, Lawrence M. Krauss, Subir Sabharwal, Tanmay Vachaspati

It has been shown that a cosmological background with an anisotropic stress tensor, appropriate for a free streaming thermal neutrino background, can damp primordial gravitational waves after they enter the horizon, and can thus affect the CMB B-mode polarization signature due to such tensor modes. Here we generalize this result, and examine the sensitivity

A. Beraudo, A. De Pace, M. Monteno, F. Prino

A snapshot of the results for heavy-flavour observables in heavy-ion (AA) collisions at RHIC and LHC obtained with our transport calculations is displayed. The initial charm and beauty production is simulated through pQCD tools (POWHEG+PYTHIA) and is validated through the comparison with data from pp collisions. The propagation of c and b quarks in the mediu

Tim Huege, Clancy W. James

CoREAS is a Monte Carlo simulation code for the calculation of radio emission from extensive air showers. It is based on the "endpoint formalism" for radiation from moving charges implemented directly in CORSIKA. Consequently, the full complexity of the air-shower physics is taken into account without the need for approximations or assumptions on the

Riou Nakamura, Masa-aki Mashimoto, Shin-ichiro Fujimoto, Katsuhiko Sato

We investigate the observational constraints on the inhomogeneous big-bang nucleosynthesis that Matsuura et al. suggested the possibility of the heavy element production beyond ${}^7$Li in the early universe. From the observational constraints on light elements of ${}^4$He and D, possible regions are found on the plane of the volume fraction of the high dens

Preetha Theresa Joy, K. Poulose Jacob

Due to the advancement in mobile devices and wireless networks mobile cloud computing, which combines mobile computing and cloud computing has gained momentum since 2009. The characteristics of mobile devices and wireless network makes the implementation of mobile cloud computing more complicated than for fixed clouds. This section lists some of the major is

Francisco Pedroche, Miguel Rebollo, Carlos Carrascosa, Alberto Palomares

In this note we give sufficient conditions for the convergence of the iterative algorithm called weighted-average consensus in directed graphs. We study the discrete-time form of this algorithm. We use standard techniques from matrix theory to prove the main result. As a particular case one can obtain well-known results for non-weighted average consensus. We

Maximilien Levesque, Enrique Martínez, Chu-Chun Fu, Maylise Nastar

This work is motivated by the need for large-scale simulations to extract physical information on the iron-chromium system that is a binary model alloy for ferritic steels used or proposed in many nuclear applications. From first-principles calculations and the experimental critical temperature we build a new energetic rigid lattice model based on pair inter

Hana Ursic, Dragan Damjanovic

Elastic storage modulus and loss of relaxor lead magnesium niobate ceramics, Pb(Mg1/3Nb2/3)O3, have been measured with dynamic mechanical analyzer in single cantilever mode in the temperature range from 170 K to 320 K and at frequencies from 0.1 Hz to 50 Hz. The dependence of the elastic susceptibility (inverse modulus) on temperature and frequency of the dr

M. Saeedian, M. Mahjour-Shafiei, E. Shojaee, M. R. Mohammadizadeh

We have calculated heat capacity of TiO2 nanoparticles in three stable polymorphs by applying size and surface effects on heat capacity of the bulk structure. The size and surface corrections were imposed on the acoustic and optical bulk phonons, separately. The model used in the present work is a simple modification of the model proposed by Wang et al. We a

Yuzhe Xu, George Athanasiou, Carlo Fischione, Leandros Tassiulas

In millimeterWave wireless networks the rapidly varying wireless channels demand fast and dynamic resource allocation mechanisms. This challenge is hereby addressed by a distributed approach that optimally solves the fundamental resource allocation problem of joint client association and relaying. The problem is posed as a multi assignment optimization, for

D. Mathur, K. Dota, J. A. Dharmadhikari, A. K. Dharmadhikari

Carrier envelope phase (CEP) stabilized pulses of intense 800 nm light of 5 fs duration are used to probe the dissociation dynamics of dications of isotopically-substituted water, HOD. HOD$^{2+}$ dissociates into either H$^+$ + OD$^+$ or D$^+$ + OH$^+$. The branching ratio for these two channels is CEP-dependent; the OD$^+$/OH$^+$ ratio (relative to that mea

Yulia E. Shchadilova, Sergei G. Tikhodeev, Magnus Paulsson, Hiromu Ueba

We study the elementary processes behind one of the pioneering works on STM controlled reactions of single molecules [Stipe et al., Phys. Rev. Lett. 81, 1263 (1998)]. Using the Keldysh-Green function approach for the vibrational generation rate in combination with DFT calculations to obtain realistic parameters we reproduce the experimental rotation rate of

J. Blümlein, A. De Freitas, C. Raab, F. Wißbrock

We report on recent progress in the calculation of the 3-loop massive Wilson coefficients in deep-inelastic scattering at general values of $N$ for neutral and charged current reactions in the asymptotic region $Q^2 \gg m^2$.

Michal Kocvara

We propose a new algorithm for the solution of the robust multiple-load topology optimization problem. The algorithm can be applied to any type of problem, e.g., truss topology, variable thickness sheet or free material optimization. We assume that the given loads are uncertain and can be subject to small random perturbations. Furthermore, we define a rigoro

Derrick Wing Kwan Ng, Lin Xiang, Robert Schober

In this paper, we study power allocation for secure communication in a multiuser multiple-input single-output (MISO) downlink system with simultaneous wireless information and power transfer. The receivers are able to harvest energy from the radio frequency when they are idle. We propose a multi-objective optimization problem for power allocation algorithm d

S. Franz, H. -G. Roos

In this paper we present a first supercloseness analysis for higher-order Galerkin FEM applied to a singularly perturbed convection-diffusion problem. Using a solution decomposition and a special representation of our finite element space we are able to prove a supercloseness property of order p+1/4 in the energy norm where the polynomial order p>=3 is odd.

Giacomo Corrielli, Andrea Crespi, Roberto Osellame, Riccardo Geremia

Integrated photonic technologies applied to quantum optics have recently enabled a wealth of breakthrough experiments in several quantum information areas. Path encoding was initially used to demonstrate operations on single or multiple qubits. However, a polarization encoding approach is often simpler and more effective. Two-qubits integrated logic gates as

Xiaowen Hu

We conjecture a formula for the generating function of genus one Gromov-Witten invariants of the local Calabi-Yau manifolds which are the total spaces of splitting bundles over projective spaces. We prove this conjecture in several special cases, and assuming the validity of our conjecture we check the integrality of genus one BPS numbers of local Calabi-Yau

Max Moldovan, Mette Langaas

We introduce a method for computation of exact conditional efficiency robust enumeration p-values for detection of genotype--phenotype associations at a single bi-allelic genetic locus. Our method can be based on any arbitrary ranking test statistics, such as efficiency robust test statistics or asymptotic p-values. The resulting p-values are exact condition

Mette Langaas, Øyvind Bakke

In genetic association studies, detecting disease-genotype associations is a primary goal. For most diseases, the underlying genetic model is unknown, and we study seven robust test statistics for monotone association. For a given test statistic, there are many ways to calculate a p-value, but in genetic association studies, calculations have predominantly b

Felix Fontein, Michael Schneider, Urs Wagner

Lattice reduction algorithms have numerous applications in number theory, algebra, as well as in cryptanalysis. The most famous algorithm for lattice reduction is the LLL algorithm. In polynomial time it computes a reduced basis with provable output quality. One early improvement of the LLL algorithm was LLL with deep insertions (DeepLLL). The output of this

Ali A. Zaidi, Tobias J. Oechtering, Serdar Yuksel, Mikael Skoglund

The problem of remotely stabilizing a noisy linear time invariant plant over a Gaussian relay network is addressed. The network is comprised of a sensor node, a group of relay nodes and a remote controller. The sensor and the relay nodes operate subject to an average transmit power constraint and they can cooperate to communicate the observations of the plan

Hayder Salman

We consider the propagation of breathers along a quantised superfluid vortex. Using the correspondence between the local induction approximation (LIA) and the nonlinear Schrödinger equation, we identify a set of initial conditions corresponding to breather solutions of vortex motion governed by the LIA. These initial conditions, which give rise to a long-wav

Long Ma, Weiqiang Yu

The newly discovered iron-based superconductors have triggered renewed enormous research interest in the condensed matter physics community. Nuclear magnetic resonance (NMR) is a low-energy local probe for studying strongly correlated electrons, and particularly important for high-$T_{\rm C}$ superconductors. In this paper, we review NMR studies on the struc

E. Perfetto, G. Stefanucci

Screening effects in nanoscale junctions with strong electron-phonon coupling open new physical scenarios. We propose an accurate many-body approach to deal with the simultaneous occurrence of the Franck-Condon blockade and the screening-induced enhancement of the polaron mobility. We derive a transparent analytic expression for the electrical current: trans

Cheng-Wei Chiang, An-Li Kuo, Kei Yagyu

Current CERN Large Hadron Collider data on the 126 GeV standard model-like Higgs boson suggest the possibility of larger Higgs boson couplings with the weak gauge bosons, $g_{hVV}$, than those in the standard model. We use the Georgi-Machacek model as an explicit model to realize such a scenario. We find that the $g_{hVV}$ couplings can be larger than the st

E. Megias, E. Ruiz Arriola, L. L. Salcedo

Based on first principle QCD arguments, it has been argued in arXiv:1204.2424[hep-ph] that the vacuum expectation value of the Polyakov loop can be represented in the hadron resonance gas model. We study this within the Polyakov-constituent quark model by implementing the quantum and local nature of the Polyakov loop hep-ph/0412308, hep-ph/0607338. The exist

Fabian Reimers

This note considers a finite algebraic group $G$ acting on an affine variety $X$ by automorphisms. Results of Dufresne on polynomial separating algebras for linear representations of $G$ are extended to this situation. For that purpose, we show that the Cohen-Macaulay defect of a certain ring is greater than or equal to the minimal number $k$ such that the g

T. G. Mueller, T. Miyata, C. Kiss, M. A. Gurwell

The near-Earth asteroid (308635) 2005 YU55 is a potentially hazardous asteroid which was discovered in 2005 and passed Earth on November 8th 2011 at 0.85 lunar distances. This was the closest known approach by an asteroid of several hundred metre diameter since 1976 when a similar size object passed at 0.5 lunar distances. We observed 2005 YU55 from ground w

Álvaro Pelayo, Tudor S. Ratiu, San Vũ Ngoc

A generalized semitoric system F:=(J,H): M --> R^2 on a symplectic 4-manifold is an integrable system whose essential properties are that F is a proper map, its set of regular values is connected, J generates an S^1-action and is not necessarily proper. These systems can exhibit focus-focus singularities, which correspond to fibers of F which are topological

Martin Gradhand, Karol I. Wysokinski, James F. Annett, Balazs L. Györffy

The interpretation of Kerr rotation measurements in the superconducting phase of Sr$_2$RuO$_4$ is a controversial topic. Both intrinsic and extrinsic mechanisms have been proposed, and it has been argued that the intrinsic response vanishes by symmetry. We focus on the intrinsic contribution and clarify several conflicting results in the literature. On the b

P Vasanth Sena

Data mining techniques have been widely used in various applications. Binary search tree based frequent items is an effective method for automatically recognize the most frequent items, least frequent items and average frequent items. This paper presents a new approach in order to find out frequent items. The word frequent item refers to how many times the i

Jean-François Clergeau, Matthieu Ferraton, Bruno Guérard, Anton Khaplanov

1D or 2D neutron imaging detectors with individual wire or strip readout using discriminators have the advantage of being able to treat several neutron impacts partially overlapping in time, hence reducing global dead time. A single neutron impact usually gives rise to several discriminator signals. In this paper, we introduce an information-theoretical defi

Ali Sarizadeh

In this work, we introduce the concept of term ergodicity for action semigroups and construct semigroups on two dimensional manifolds which are $C^{1+α}$-robustly term ergodic. Moreover, we illustrate the term ergodicity by some exciting examples. At last, we study a problem in the context of circle packing which is concerned to term ergodic.

Jussi Behrndt, Till Micheler

This paper consists of two parts. In the first part, which is of more abstract nature, the notion of quasi boundary triples and associated Weyl functions is developed further in such a way that it can be applied to elliptic boundary value problems on non-smooth domains. A key feature is the extension of the boundary maps by continuity to the duals of certain

Sedat Dogan, Thomas Bielewicz, Yuxue Cai, Christian Klinke

Two-dimensional materials are considered for future quantum devices and are usually produced by extensive methods like molecular beam epitaxy. We report on the fabrication of field-effect transistors using individual ultra-thin lead sulfide nanostructures with lateral dimensions in the micrometer range and a height of a few nanometers as conductive channel p

Arvind Ayyer, Steven Klee, Anne Schilling

We consider generalizations of Schuetzenberger's promotion operator on the set L of linear extensions of a finite poset. This gives rise to a strongly connected graph on L. In earlier work (arXiv:1205.7074), we studied promotion-based Markov chains on these linear extensions which generalizes results on the Tsetlin library. We used the theory of R-trivia

Lutz Bornmann, Werner Marx, Andreas Barth

If we want to assess whether the paper in question has had a particularly high or low citation impact compared to other papers, the standard practice in bibliometrics is to normalize citations in respect of the subject category and publication year. A number of proposals for an improved procedure in the normalization of citation impact have been put forward

Stefano Capitani

We study a class of nearest-neighbor minimally doubled actions which depend on 2 continuous parameters. We calculate the contributions of the 3 possible counterterms in perturbation theory, and we find that for each counterterm there are curves in the parameter space on which its coefficient vanishes. One can thus construct renormalized actions that contain

Leslie Greengard, Kenneth L. Ho, June-Yub Lee

We present a new integral equation method for the calculation of two-dimensional scattering from periodic structures involving triple-points (multiple materials meeting at a single point). The combination of a robust and high-order accurate integral representation and a fast direct solver permits the efficient simulation of scattering from fixed structures a

Zeynep Dogmus, Esra Erdem, Volkan Patoglu

We present ReAct!, an interactive tool for high-level reasoning for cognitive robotic applications. ReAct! enables robotic researchers to describe robots' actions and change in dynamic domains, without having to know about the syntactic and semantic details of the underlying formalism in advance, and solve planning problems using state-of-the-art automat

Stephan W. Anzengruber, Bernd Hofmann, Ronny Ramlau

The convergence rates results in $\ell^1$-regularization when the sparsity assumption is narrowly missed, presented by Burger et al. (2013 Inverse Problems 29 025013), are based on a crucial condition which requires that all basis elements belong to the range of the adjoint of the forward operator. Partly it was conjectured that such a condition is very rest

D. V. Puyda

We consider the self-adjoint Dirac operators on a finite interval with summable matrix-valued potentials and general boundary conditions. For such operators, we study the inverse problem of reconstructing the potential and the boundary conditions of the operator from its eigenvalues and suitably defined norming matrices.

Victoria Reynaldi, Carlos Feinstein

We present new Gemini spectroscopical data of the Extended Emission-Line Region of 3C~305 radio galaxy in order to achieve the final answer of the long-standing question about the ionizing mechanism. The spectra show strong kinematic disturbances within the most intense line-emitting region. The relative intensities amongst the emission lines agree with the

Anargyros Papageorgiou, Joseph F. Traub

We introduce the concept of strong quantum speedup. We prove that approximating the ground state energy of an instance of the time-independent Schrödinger equation, with $d$ degrees of freedom, $d$ large, enjoys strong exponential quantum speedup. It can be easily solved on a quantum computer. Some researchers in discrete complexity theory believe that quant

Adel P. Kazemi

Given a graph $G$, the total dominator coloring problem seeks a proper coloring of $G$ with the additional property that every vertex in the graph is adjacent to all vertices of a color class. We seek to minimize the number of color classes. We study this problem on several classes of graphs, as well as finding general bounds and characterizations. We also s

Xin Yu, Zhi-Tian Zou, Cai-Dian Lu

We study the decay modes of B_{s}^{0}(\bar{B}_{s}^{0})-->D_{s}^{\pm} K^{\mp}, B_{s}^{0}(\bar{B}_{s}^{0})-->D^{\pm} π^{\mp} and B^{0}(\bar{B}^{0})-->D^{\pm} π^{\mp} in the perterbative QCD approach based on k_T factorization, including the branching ratios and CP violation parameters which provide a clear way to extract the Cabibbo-Kobayashi-Maskawa angle γ.

Luis A. Duffaut Espinosa, Z. Miao, I. R. Petersen, V. Ugrinovskii

This paper aims to provide conditions under which a quantum stochastic differential equation can serve as a model for interconnection of a bilinear system evolving on an operator group SU(2) and a linear quantum system representing a quantum harmonic oscillator. To answer this question we derive algebraic conditions for the preservation of canonical commutat

Arthur Zakinyan, Levon Mkrtchyan

The paper presents an experimental study of the instability of a magnetic fluid layer of finite thickness covering a magnetizable metal plate exposed to a perpendicular magnetic field. The critical field strength and the instability wave number have been measured.

Iza Marfisi-Schottman, Jean-Marc Labat, Thibault Carron

University teachers often feel the need to try innovative learning technologies such as Learning Games to motivate the new generation of students. However, the typically limited resources of universities coupled with the high cost of designing and developing Learning Games result in it rarely being feasible to meet this need. To address this challenging prob

A. Eddi, K. G. Winkels, J. H. Snoeijer

The coalescence of water drops on a substrate is studied experimentally. We focus on the rapid growth of the bridge connecting the two drops, which very quickly after contact ensues from a balance of surface tension and liquid inertia. For drops with contact angles below $90^\circ$, we find that the bridge grows with a self-similar dynamics that is character

R. Subash Chandra Boss, K. Thangavel, D. Arul Pon Daniel

Currently Mammography is a most effective imaging modality used by radiologists for the screening of breast cancer. Finding an accurate, robust and efficient breast region segmentation technique still remains a challenging problem in digital mammography. Extraction of the breast profile region and the removal of pectoral muscle are essential pre-processing s

Bin Qian, Liming Wu

In this paper, we obtain a necessary and sufficient condition for $L^{\infty}$-uniqueness of Sturm-Liouville operator $a(x)\frac{d^2}{dx^2} + b(x) \frac d{dx} -V$ on an open interval of $\rr$, which is equivalent to the $L^1$-uniqueness of the associated Fokker-Planck equation. For a general elliptic operator $\LL^V:=Δ+b \cdot\nabla -V$ on a Riemannian manif

Puneet Kumar, Dharminder Kumar, Narendra Kumar

In current era, the involvement of technologies like virtualization, consolidation and cloud computing, and adoption of free and open source software in designing and deploying e-governance that can reduce the total cost associated with and hence the financial burden abide by the state and central governments. The success of any e-governance project depends

G. V. Rudenko

At a horizontally homogeneous isothermal atmosphere approximation, we derive an ordinary six-order differential equation describing linear disturbances with consideration for heat conductivity and viscosity of medium. The wave problem may be solved analytically by representing the solution through generalized hypergeometric functions only at a nonviscous hea

Robert Muenzer, Martin Berger, Laura Fabbietti

As online trigger for events containing $Λ$ hyperons in p+p collisions at $\mathrm{3.1\,GeV}$ a silicon-based device has been designed and built. This system has been integrated close to the target region within the FOPI spectrometer at GSI and was also employed as a tracking device to improve the vertex reconstruction of secondary decays. The design of the

Vivian de la Incera

This paper considers various fermion pairings of interest for the QCD phases. The effects of an external magnetic field on the pairing mechanisms, on the realization of new condensates, and on the properties of the magnetized phases are all explored and discussed.

J. Niitsuma

We study integral expressions of electromagnetic multipole moments of arbitrary order in Cartesian coordinates. The volume and surface integrals of charge-induced and current-induced multipole moment tensors are formulated and the relationship between them is discussed. Full surface integral expressions for the multipole moment are also obtained. We further

Damien Jade Duff, Esra Erdem, Volkan Patoglu

We investigate different approaches to integrating object recognition and planning in a tabletop manipulation domain with the set of objects used in the 2012 RoboCup@Work competition. Results of our preliminary experiments show that, with some approaches, close integration of perception and planning improves the quality of plans, as well as the computation t

Sharath Chandra Guntuku, Pratik Narang, Chittaranjan Hota

Over the past decade, the Cyberspace has seen an increasing number of attacks coming from botnets using the Peer-to-Peer (P2P) architecture. Peer-to-Peer botnets use a decentralized Command & Control architecture. Moreover, a large number of such botnets already exist, and newer versions- which significantly differ from their parent bot- are also discovered

Cheng Lien Lang, Mong Lung Lang

We study the three term recurrence modulo m. In particular, we prove that Pell numbers modulo m is residue complete if and only m is 2, a power of 3, or a power of 5. Pell-Lucas numbers modulo m is residue complete if and only if m is a power of 3.

Y. Itoh, D. Goto, T. Machi

We successfully observed the frequency distribution of Cu nuclear spin-lattice relaxation time in the superconducting state of single crystals Bi2212, which we believe corresponds to a theoretical suggestion from the analysis of the energy gap distribution in STM/STS (Mori et al., Phys. Rev. Lett. 101 (2008) 247003).

Esra Erdem, Volkan Patoglu, Peter Schüller

We provide a systematic analysis of levels of integration between discrete high-level reasoning and continuous low-level reasoning to address hybrid planning problems in robotics. We identify four distinct strategies for such an integration: (i) low-level checks are done for all possible cases in advance and then this information is used during plan generati

Shane D'Mello

We prove an elementary method to classify, up to rigid isotopy, all nodal degree 4 real rational curves in $\mathbb{RP}^2$ that have only real double points. We show how to associate a chord diagram to a nodal real degree 4 planar rational curve and prove that such curves are defined up to rigid isotopy by their chord diagrams.

V I Kruglov, M J Collett

We present a full set of wave equations describing a dense Bose fluid, applicable both to non- ideal gases and to liquid 4He. The phonon spectrum in liquid 4He is found and the fraction of condensed particles is calculated at zero temperature for a wide range of densities. The theory also yields the ground-state energy for the quantum liquid 4He in agreement

P. Canal, D. Elvira, R. Hatcher, S. Y. Jun

This paper represents the vision of the members of the Fermilab Scientific Computing Division's Computational Physics Department (SCD-CPD) on the status and the evolution of various HEP software tools such as the Geant4 detector simulation toolkit, the Pythia and GENIE physics generators, and the ROOT data analysis framework. The goal of this paper is to

R. O. Gomes, V. Dexheimer, C. A. Z. Vasconcellos

We investigate the effects of strong magnetic fields on the properties of hyperon stars. The matter is described by a hadronic model with parametric coupling. The matter is considered to be at zero temperature, charge neutral, beta-equilibrated, containing the baryonic octet, electrons and muons. The charged particles have their orbital motions Landau-quanti

Yernat M. Assylbekov, Hanming Zhou

In this paper, we consider a compact Riemannian manifold with boundary, endowed with a magnetic potential $α$ and a potential $U$. For brevity, this type of systems are called $\MP$-systems. On simple $\MP$-systems, we consider both the boundary rigidity problem and scattering rigidity problem, see the introduction for details. We show that these two problem

Kazuharu Bamba, Chao-Qiang Geng, Ling-Wei Luo

Generation of large-scale magnetic fields in inflationary cosmology is studied in teleparallelism, where instead of the scalar curvature in general relativity, the torsion scalar describes the gravity theory. In particular, we investigate a coupling of the electromagnetic field to the torsion scalar during inflation, which leads to the breaking of conformal

Zhiyong Chen, Biao Wang, Bin Xia, Hui Liu

The various wireless networks have made the ambient radio frequency signals around the world. Wireless information and power transfer enables the devices to recycle energy from these ambient radio frequency signals and process information simultaneously. In this paper, we develop a wireless information and power transfer protocol in two-way amplify-and-forwa

Luca Aceto, Eugen-Ioan Goriac, Anna Ingolfsdottir

Meta SOS is a software framework designed to integrate the results from the meta-theory of structural operational semantics (SOS). These results include deriving semantic properties of language constructs just by syntactically analyzing their rule-based definition, as well as automatically deriving sound and ground-complete axiomatizations for languages, whe

P. J. L. Cuijpers

Modeling a sequence of design steps, or a sequence of parameter settings, yields a sequence of dynamical systems. In many cases, such a sequence is intended to approximate a certain limit case. However, formally defining that limit turns out to be subject to ambiguity. Depending on the interpretation of the sequence, i.e. depending on how the behaviors of th

Daniel Gebler, Eugen-Ioan Goriac, Mohammad Reza Mousavi

There exists a rich literature of rule formats guaranteeing different algebraic properties for formalisms with a Structural Operational Semantics. Moreover, there exist a few approaches for automatically deriving axiomatizations characterizing strong bisimilarity of processes. To our knowledge, this literature has never been extended to the setting with data

Shibashis Guha, Shankara Narayanan Krishna, Chinmay Narayan, S. Arun-Kumar

In this paper we present a unifying approach for deciding various bisimulations, simulation equivalences and preorders between two timed automata states. We propose a zone based method for deciding these relations in which we eliminate an explicit product construction of the region graphs or the zone graphs as in the classical methods. Our method is also gen

Daniel Gebler, Simone Tini

Probabilistic transition system specifications using the rule format ntmuft-ntmuxt provide structural operational semantics for Segala-type systems and guarantee that probabilistic bisimilarity is a congruence. Probabilistic bisimilarity is for many applications too sensitive to the exact probabilities of transitions. Approximate bisimulation provides a robu

Youssef Arbach, Kirstin Peters, Uwe Nestmann

Event Structures (ESs) are mainly concerned with the representation of causal relationships between events, usually accompanied by other event relations capturing conflicts and disabling. Among the most prominent variants of ESs are Prime ESs, Bundle ESs, Stable ESs, and Dual ESs, which differ in their causality models and event relations. Yet, some applicat

Iliano Cervesato, Jorge Luis Sacchini

The concurrent logical framework CLF is an extension of the logical framework LF designed to specify concurrent and distributed languages. While it can be used to define a variety of formalisms, reasoning about such languages within CLF has proved elusive. In this paper, we propose an extension of LF that allows us to express properties of CLF specifications

Chunhua Qi, Karin I. Oberg, David J. Wilner, Paola d'Alessio

Planets form in the disks around young stars. Their formation efficiency and composition are intimately linked to the protoplanetary disk locations of "snow lines" of abundant volatiles. We present chemical imaging of the CO snow line in the disk around TW Hya, an analog of the solar nebula, using high spatial and spectral resolution Atacama Large Mi

Farhad Soleimanian Gharehchopogh, Isa Maleki, Seyyed Reza Khaze

Nowadays swarm intelligence-based algorithms are being used widely to optimize the dynamic traveling salesman problem (DTSP). In this paper, we have used mixed method of Ant Colony Optimization (AOC)and gradient descent to optimize DTSP which differs with ACO algorithm in evaporation rate and innovative data. This approach prevents premature convergence and

Zhili Chen, Liusheng Huang, Lu Li, Wei Yang

Truthful spectrum auctions have been extensively studied in recent years. Truthfulness makes bidders bid their true valuations, simplifying greatly the analysis of auctions. However, revealing one's true valuation causes severe privacy disclosure to the auctioneer and other bidders. To make things worse, previous work on secure spectrum auctions does not

Farhad Soleimanian Gharehchopogh, Seyyed Reza Khaze

Blogs are the recent emerging media which relies on information technology and technological advance. Since the mass media in some less-developed and developing countries are in government service and their policies are developed based on governmental interests, so blogs are provided for ideas and exchanging opinions. In this paper, we highlighted performed

Amin Babazadeh Sangar, Seyyed Reza Khaze, Laya Ebrahimi

Anticipating the political behavior of people will be considerable help for election candidates to assess the possibility of their success and to be acknowledged about the public motivations to select them. In this paper, we provide a general schematic of the architecture of participation anticipating system in presidential election by using KNN, Classificat

Tomohiro Taniguchi, Hiroko Arai, Hitoshi Kubota, Hiroshi Imamura

The magnetization dynamics of spin torque oscillator (STO) consisting of a perpendicularly magnetized free layer and an in-plane magnetized pinned layer was studied by solving the Landau-Lifshitz-Gilbert equation. We derived the analytical formula of the relation between the current and the oscillation frequency of the STO by analyzing the energy balance bet

Jun Hu, Zhongci Shi

This paper is devoted to the $L^2$ norm error estimate of the Adini element for the biharmonic equation. Surprisingly, a lower bound is established which proves that the $ L^2$ norm convergence rate can not be higher than that in the energy norm. This proves the conjecture of [Lascaux and Lesaint, Some nonconforming finite elements for the plate bending prob

Alexei M. Frolov, Maria Belen Ruiz

The bound state spectrum of low-lying triplet states in the Be atom is investigated. In particular, we perform accurate computations of various bound triplet S, P, D, F, and G states in the four-electron Be atom. For the 23S(L=0) state in the Be atom we determine the hyperfine structure and a number of bound states properties by using results of highly accur

Koji Hashimoto, Takashi Oka

We analyze vacuum instability of strongly coupled gauge theories in a constant electric field using AdS/CFT correspondence. The model is the N=2 1-flavor supersymmetric large N_c QCD in the strong 't Hooft coupling limit. We calculate the Euler-Heisenberg effective Lagrangian L(E), which encodes the nonlinear response and the quantum decay rate of the va

Matthias Beck, Jessica Delgado, Joseph Gubeladze, Mateusz Michałek

In the hierarchy of structural sophistication for lattice polytopes, normal polytopes mark a point of origin; very ample and Koszul polytopes occupy bottom and top spots in this hierarchy, respectively. In this paper we explore a simple construction for lattice polytopes with a twofold aim. On the one hand, we derive an explicit series of very ample 3-dimens

Susanna Dann

The lower dimensional Busemann-Petty problem asks whether origin-symmetric convex bodies in R^n with smaller volume of all k-dimensional sections necessarily have smaller volume. The answer is negative for k>3. The problem is still open for k=2,3. We study this problem in the complex hyperbolic n-space and prove that the answer is affirmative only for sectio

A. B. Balantekin, H. Band, R. Betts, J. J. Cherwinka

Medium-baseline reactor neutrino oscillation experiments (MBRO) have been proposed to determine the neutrino mass hierarchy (MH) and to make precise measurements of the neutrino oscillation parameters. With sufficient statistics, better than ~3%/\sqrt{E} energy resolution and well understood energy non-linearity, MH can be determined by analyzing oscillation

Sergio Estrada, Pedro Antonio Guil Asensio, Furuzan Ozbek

Sufficient conditions for an ideal $\mathcal I$ in $R\Mod$ to be covering are proved. This allows to obtain an alternative proof of the existence of phantom covers of modules. Our approach is inspired by an extension of the standard deconstructibility techniques used in Approximation Theory.

Jisang Yoo

We investigate what happens when we try to work with continuing block codes (i.e. left or right continuing factor maps) between shift spaces that may not be shifts of finite type. For example, we demonstrate that continuing block codes on strictly sofic shifts do not behave as well as those on shifts of finite type; a continuing block code on a sofic shift n

Wajdi Dhifli, Mohamed Moussaoui, Rabie Saidi, Engelbert Mephu Nguifo

With the emergence of graph databases, the task of frequent subgraph discovery has been extensively addressed. Although the proposed approaches in the literature have made this task feasible, the number of discovered frequent subgraphs is still very high to be efficiently used in any further exploration. Feature selection for graph data is a way to reduce th

Joseph A. Ball, Mikael Kurula, Olof J. Staffans, Hans Zwart

We give a controllable energy-preserving and an observable co-energy-preserving de Branges-Rovnyak functional model realization of an arbitrary given operator Schur function defined on the complex right-half plane. We work the theory out fully in the right-half plane, without using results for the disk case, in order to expose the technical details of contin

Ronen Dar, Meir Feder, Antonio Mecozzi, Mark Shtaif

We study the properties of nonlinear interference noise (NLIN) in fiber-optic communications systems with large accumulated dispersion. Our focus is on settling the discrepancy between the results of the Gaussian noise (GN) model (according to which NLIN is additive Gaussian) and a recently published time-domain analysis, which attributes drastically differe

Oleg Kim, Almut Beige

Here we analyse cavity-mediated laser cooling for an experimental setup with an external trap which strongly confines the motion of a particle in the direction of the cavity axis. It is shown that the stationary state phonon number exhibits three sharp minima as a function of the atom-cavity detuning due to a direct atom-phonon-photon coupling term in the sy