December 2013 arXiv papers — page 78

C. Karoff

The energy in the solar acoustic spectrum is known to be correlated with flares, but it is not known if the same is true for stellar flares? In order to answer this question, we have analyzed 73 flares in 39 solar-like stars. These flares were identified in the 854 solar-like stars observed by the Kepler spacecraft that have stellar parameters measured with

Weiyu Xu, Jian-Feng Cai, Kumar Vijay Mishra, Myung Cho

Recent research in off-the-grid compressed sensing (CS) has demonstrated that, under certain conditions, one can successfully recover a spectrally sparse signal from a few time-domain samples even though the dictionary is continuous. In particular, atomic norm minimization was proposed in \cite{tang2012csotg} to recover $1$-dimensional spectrally sparse sign

Norbert Heuer, Michael Karkulik

For the non-conforming Crouzeix-Raviart boundary elements from [Heuer, Sayas: Crouzeix-Raviart boundary elements, Numer. Math. 112, 2009], we develop and analyze a posteriori error estimators based on the $h-h/2$ methodology. We discuss the optimal rate of convergence for uniform mesh refinement, and present a numerical experiment with singular data where ou

K Riisager

The beta-strength in beta-delayed particle decays has up to now been defined in a somewhat ad hoc manner that depends on the decay mechanism. A simple, consistent definition is presented that fulfils the beta strength sum rules. Special consideration is given to the modifications needed when employing R-matrix fits to data. As an example the 11Be(beta-p) dec

D. Gazda, J. Mareš, P. Navrátil, R. Roth

We report on a novel ab initio approach for nuclear few- and many-body systems with strangeness. Recently, we developed a relevant no-core shell model technique which we successfully applied in first calculations of lightest $Λ$ hypernuclei. The use of a translationally invariant finite harmonic oscillator basis allows us to employ large model spaces, compar

Shane Drury, Thomas Blum, Masashi Hayakawa, Taku Izubuchi

We report on a calculation of the effects of isospin breaking in Lattice QCD+QED. This involves using Chiral Perturbation Theory with Electromagnetic corrections to find the renormalized, non-degenerate, light quark masses. The calculations are carried out on QCD ensembles generated by the RBC and UKQCD collaborations using Domain Wall Fermions and the Iwasa

E. V. Ferapontov, P. Lorenzoni, A. Savoldi

First order Hamiltonian operators of differential-geometric type were introduced by Dubrovin and Novikov in 1983, and thoroughly investigated by Mokhov. In 2D, they are generated by a pair of compatible flat metrics $g$ and $\tilde g$ which satisfy a set of additional constraints coming from the skew-symmetry condition and the Jacobi identity. We demonstrate

Markus Strobl

Dark-field contrast imaging with grating interferometers has proven to hold huge potential for numerous applications with X-rays and with neutrons conveying biology and medicine as well as engineering and magnetism, respectively. However, a concept to extract quantitative information is still missing. Here a general theory as well as a measurement strategy i

Jérémie Guilhot, Cédric Lecouvey

Consider a simple Lie algebra $\mathfrak{g}$ and $\overline{\mathfrak{g}}% \subset \mathfrak{g}$ a Levi subalgebra. Two irreducible $\overline{% \mathfrak{g}}$-modules yield isomorphic inductions to $\mathfrak{g}$ when their highest weights coincide up to conjugation by an element of the Weyl group $W$ of $\mathfrak{g}$ which is also a Dynkin diagram automor

Vincent Démery, Vivien Lecomte, Alberto Rosso

We address the effect of disorder geometry on the critical force in disordered elastic systems. We focus on the model system of a long-range elastic line driven in a random landscape. In the collective pinning regime, we compute the critical force perturbatively. Not only our expression for the critical force confirms previous results on its scaling with res

C. Q. Zhou, Y. F. Zhang, L. Sheng, R. Shen

We propose a one-dimensional electron model with parameters modulated adiabatically in closed cycles, which can continuously pump spin to leads. By defining the spin-polarized Wannier functions, we show that the spin pump is protected by the spin Chern numbers, so that it is stable to perturbations violating the time-reversal symmetry and spin conservation.

Jennifer D. Warrender, Phillip Lord

Developing ontologies can be expensive, time-consuming, as well as difficult to develop and maintain. This is especially true for more expressive and/or larger ontologies. Some ontologies are, however, relatively repetitive, reusing design patterns; building these with both generic and bespoke patterns should reduce duplication and increase regularity which

Jin-San Cheng, Kai Jin

We improve the local generic position method for isolating the real roots of a zero-dimensional bivariate polynomial system with two polynomials and extend the method to general zero-dimensional polynomial systems. The method mainly involves resultant computation and real root isolation of univariate polynomial equations. The roots of the system have a linea

Alper Ortac, Martin Monperrus, Mira Mezini

Many business web-based applications do not offer applications programming interfaces (APIs) to enable other applications to access their data and functions in a programmatic manner. This makes their composition difficult (for instance to synchronize data between two applications). To address this challenge, this paper presents Abmash, an approach to facilit

Ji Yeon Seok, Bon-Chul Koo, Takashi Onaka

We present a comprehensive infrared study of supernova remnants (SNRs) in the Large Magellanic Cloud (LMC) using near- to mid-infrared images taken by Infrared Array Camera (IRAC; 3.6, 4.5, 5.8, and 8 μm) and Multiband Imaging Photometer (MIPS; 24 and 70 μm) onboard the Spitzer Space Telescope. Among the 47 bona fide LMC SNRs, 29 were detected in infrared, g

Samy Skander Bahoura

We give an inequality of type sup+Cinf in dimension 2.

O. Kupriianova, Ch. Lauter, J. -M. Muller

Conversion between binary and decimal floating-point representations is ubiquitous. Floating-point radix conversion means converting both the exponent and the mantissa. We develop an atomic operation for FP radix conversion with simple straight-line algorithm, suitable for hardware design. Exponent conversion is performed with a small multiplication and a lo

H. Czyż, S. Eidelman, G. V. Fedotovich, A. Korobov

The mini-proceedings of the 14th Meeting of the "Working Group on Rad. Corrections and MC Generators for Low Energies" held in Frascati on September 13, 2013, as a satellite meeting of the PHIPSI13 conference in Rome, are presented. These meetings, started in 2006, have as aim to bring together experimentalists and theorists working in the fields of

Vladimir N. Gladilin, Kai Ji, Michiel Wouters

We present a theoretical analysis of spatial correlations in a one-dimensional driven-dissipative non-equilibrium condensate. Starting from a stochastic generalized Gross-Pitaevskii equation, we derive a noisy Kuramoto-Sivashinsky equation for the phase dynamics. For sufficiently strong interactions, the coherence decays exponentially in close analogy to the

Geert H. Wortel, Joshua A. Dijksman, Martin van Hecke

We probe the rheology of weakly vibrated granular flows as function of flow rate, vibration strength and pressure by performing experiments in a vertically vibrated split-bottom shear cell. For slow flows, we establish the existence of a novel vibration dominated granular flow regime, where the driving stresses smoothly vanish as the driving rate is diminish

A. B. Arbuzov, T. V. Kopylova

Interaction of charged leptons with photons is considered for the case when one of the lepton legs is off the mass shell. The effect due to off-mass-shell shift in the anomalous magnetic moment is computed within one-loop approximation. Possible contributions of this effect in the muon $g-2$ measurements are discussed.

Caio V. Costa, Dmitri M. Gitman, Anatoly E. Shabad

We consider a simple nonlinear (quartic in the fields) gauge-invariant modification of classical electrodynamics, which possesses a regularizing ability sufficient to make the field energy of a point charge finite. The model is exactly solved in the class of static central-symmetric electric fields. Collation with quantum electrodynamics (QED) results in the

T. Nandi, K. Haris, Hala, Gurjeet Singh

We have measured the stopping powers and straggling of fast, highly ionized atoms passing through thin bilayer targets made up of metals and insulators. We were surprised to find that the energy losses as well as the straggling depend on the ordering of the target and have small but significantly different values on bilayer reversal. We ascribe this newly fo

Andrei Bogatyrev

For the evaluation and inversion of abelian integrals we show that the image of the Abel-Jacobi map of genus less than 5 hyperelliptic curve in its Jacobian is the intersection of shifted theta divisors with specified shifts. Therefore the image is a solution of a (slightly overdetermined) set of equations in the Jacobian.

Biswaranjan Behera, Qaiser Jahan

We provide a characterization of wavelets on local fields of positive characteristic based on results on affine and quasi affine frames. This result generalizes the characterization of wavelets on Euclidean spaces by means of two basic equations. We also give another characterization of wavelets. Further, all wavelets which are associated with a multiresolut

M. Gebran, R. Monier, F. Royer, A. Lobel

A programme to observe all A dwarfs in open clusters brighter than V=6.5 mag of various ages and in the field was initiated several years ago. In this work we present the current status of microturbulent velocity for A and F dwarfs. We have performed high resolution high signal-to-noise spectroscopy of stars well distributed in mass along the Main Sequence.

Jaroslav Nesetril, Patrice Ossona De Mendez

Limits of graphs were initiated recently in the two extreme contexts of dense and bounded degree graphs. This led to elegant limiting structures called graphons and graphings. These approach have been unified and generalized by authors in a more general setting using a combination of analytic tools and model theory to FO-limits (and X-limits) and to the noti

Badruddin, O. P. M. Aslam, M. Singh

We analyze solar, geomagnetic and cosmic ray flux data along with rainfall and temperature data for almost five solar cycles. We provide evidence of significant influence of solar variability on climate. Specifically, we demonstrate association between lower (higher) rainfall and higher (lower) temperatures with increasing (decreasing) solar activity and dec

Walter Boscheri, Dinshaw S. Balsara, Michael Dumbser

In this paper we use the genuinely multidimensional HLL Riemann solvers recently developed by Balsara et al. to construct a new class of computationally efficient high order Lagrangian ADER-WENO one-step ALE finite volume schemes on unstructured triangular meshes. A nonlinear WENO reconstruction operator allows the algorithm to achieve high order of accuracy

Marcel Reginatto

I consider the formulation of hybrid cosmological models that consists of a classical gravitational field interacting with a quantized massive scalar field in the formalism of ensembles on configuration space. This is a viable approach that provides an alternative to semiclassical gravity. I discuss a particular, highly nonclassical solution in two approxima

A. Arcones, J. Bliss

Neutrino-driven winds that follow core collapse supernovae were thought to be the site where half of the heavy elements are produced by the r-process. Although recent hydrodynamic simulations show that the conditions in the wind are not enough for the r-process, lighter heavy elements like Sr, Y, and Zr can be produced. However, it is still not clear whether

Maria Kandyla, Christos Chatzimanolis-Moustakas, Elias P. Koumoulos, Constantinos Charitidis

We present results on the development of nanocomposite NiO:Au thin-film hydrogen sensors, which are able to detect hydrogen concentrations as low as 2 ppm in air, operating at low temperatures in the range 125-150C. Thin NiO films were sputter-deposited on oxidized silicon substrates. The structural, morphological, and nanomechanical properties of the films

Vincenzo Marra, Luca Spada

Using the general notions of finitely presentable and finitely generated object introduced by Gabriel and Ulmer in 1971, we prove that, in any (locally small) category, two sequences of finitely presentable objects and morphisms (or two sequences of finitely generated objects and monomorphisms) have isomorphic colimits (=direct limits) if, and only if, they

J. Xiang, Z. P. Li, J. M. Yao, W. H. Long

Low-lying nuclear states of Sm isotopes are studied in the framework of a collective Hamiltonian based on covariant energy density functional theory. Pairing correlation are treated by both BCS and Bogoliubov methods. It is found that the pairing correlations deduced from relativistic Hartree-Bogoliubov (RHB) calculations are generally stronger than those by

Marcel Reginatto

It is shown that the geometry of quantum theory can be derived from geometrical structure that may be considered more fundamental. The basic elements of this reconstruction of quantum theory are the natural metric on the space of probabilities (information geometry), the description of dynamics using a Hamiltonian formalism (symplectic geometry), and require

A. Ayachi, W. Ben Chouikha, S. Jaziri, R. Bennaceur

We analyze theoretically the decoherence of two interacting electrons in a double self-assembled quantum dot due to a random telegraph noise. For this purpose we have examined the pure dephasing rate by evaluating the decoherence factor. This latter has been shown to be different from that calculated within the Gaussian approximation in the strong coupling r

Rodrigo S. Targino, Gareth W. Peters, Georgy Sofronov, Pavel V. Shevchenko

In this paper we study a class of insurance products where the policy holder has the option to insure $k$ of its annual Operational Risk losses in a horizon of $T$ years. This involves a choice of $k$ out of $T$ years in which to apply the insurance policy coverage by making claims against losses in the given year. The insurance product structure presented c

Valentin Vengerovsky

We study eigenvalue distribution of the adjacency matrix $A^{(N,p, α)}$ of weighted random bipartite graphs $Γ= Γ_{N,p}$. We assume that the graphs have $N$ vertices, the ratio of parts is $\fracα{1-α}$ and the average number of edges attached to one vertex is $α\cdot p$ or $(1-α)\cdot p$. To each edge of the graph $e_{ij}$ we assign a weight given by a rand

Hiroshi Isozaki, Yaroslav Kurylev, Matti Lassas

We consider an inverse problem associated with $n$-dimensional asymptotically hyperbolic orbifolds $(n \geq 2)$ having a finite number of cusps and regular ends. By observing solutions of the Helmholtz equation at the cusp, we introduce a generalized $S$-matrix, and then show that it determines the manifolds with its Riemannian metric and the orbifold struct

Tamás Gábor Tornyi, Andreas Görgen, Magne Guttormsen, Ann-Cecilie Larsen

An array of Parallel Plate Avalanche Counters (PPAC) for the detection of heavy ions has been developed. The new device, NIFF (Nuclear Instrument for Fission Fragments), consists of four individual detectors and covers $60\%$ of 2$π$. It was designed to be used in conjunction with the SiRi array of $ΔE-E$ silicon telescopes for light charged particles and fi

Hadis Amini, Clement Pellegrini, Pierre Rouchon

The fidelity between the state of a continuously observed quantum system and the state of its associated quantum filter, is shown to be always a submartingale. The observed system is assumed to be governed by a continuous-time Stochastic Master Equation (SME), driven simultaneously by Wiener and Poisson processes and that takes into account incompleteness an

Claude Bourrely

In the Bourrely-Soffer-Wu model (BSW) we introduce for the pomeron a new opaqueness in impact parameter space in terms of different quark contributions described by a Fermi-Dirac distribution. In order to check the validity of this assumption we consider $p~p$, $\bar p~p$, and $π^{\pm}~p$ elastic scattering. We emphasize the role of the gluon above the diffr

Seyedmohammad A. Mousavi, Eric Plum, Jinhui Shi, Nikolay I. Zheludev

The future fibre optic communications network will rely on photons as carriers of information, which may be stored in intensity, polarization or phase of light. However, processing of such optical information usually relies on electronics. Aiming to avoid the conversion between optical and electronic signals, modulation of light with light based on optical n

Arnim Bleier

Recent advances have made it feasible to apply the stochastic variational paradigm to a collapsed representation of latent Dirichlet allocation (LDA). While the stochastic variational paradigm has successfully been applied to an uncollapsed representation of the hierarchical Dirichlet process (HDP), no attempts to apply this type of inference in a collapsed

Franz Peter Zantis

The traditional method to generate pulses in the range of some nanoseconds with high amplitudes, is the using of the avalanche-effect of transistors. However the problem with this method is the poor possibility for parameterizing. That was the trigger to look for a different way: under using of modern electronic components, a pulse generator, which is parame

Gabriele Giacomini, Alvise Bagolini, Marco Bomben, Maurizio Boscardin

In view of the LHC upgrade for the High Luminosity Phase (HL-LHC), the ATLAS experiment is planning to replace the Inner Detector with an all-Silicon system. The n-on-p technology represents a valid solution for the modules of most of the layers, given the significant radiation hardness of this option and the reduced cost. There is also the demand to reduce

Felix Joos

We prove that $\frac{7}{4}α(G)+β(G)\geq n(G)$ and $α(G)+\frac{3}{2}β(G)\geq n(G)$ for every triangle-free graph $G$ with maximum degree at most $4$, where $α(G)$ is the independence number and $β(G)$ is the matching number of $G$, respectively. These results are sharp for a graph on $13$ vertices. Furthermore we show $χ(G)\leq \frac{7}{4}ω(G)$ for $\{3K_1,K_

Jonas Morgenweg, Itan Barmes, Kjeld S. E. Eikema

Optical frequency combs based on mode-locked lasers have revolutionised the field of metrology and precision spectroscopy by providing precisely calibrated optical frequencies and coherent pulse trains. Amplification of the pulsed output from these lasers is very desirable, as nonlinear processes can then be employed to cover a much wider range of transition

L. Feher

An alternative derivation of the known action-angle map of the standard open Toda lattice is presented based on its identification as the natural map between two gauge slices in the relevant symplectic reduction of the cotangent bundle of $GL(n,{\mathbb R})$. This then permits to interpret Ruijsenaars' action-angle duality for the Toda system in the same

Junyuan Wang, Lin Dai

A great deal of efforts have been made on the performance evaluation of distributed antenna systems (DASs). Most of them assume a regular base-station (BS) antenna layout where the number of BS antennas is usually small. With the growing interest in cellular systems with large antenna arrays at BSs, it becomes increasingly important for us to study how the B

Fatemeh Shahsanaei, Alireza Daneshkhah

In this paper, we study the estimation of $R=P [Y < X ]$, also so-called the stress-strength model, when both $X$ and $Y$ are two independent random variables with the generalized linear failure rate distributions, under different assumptions about their parameters. We address the maximum likelihood estimator (MLE) of $R$ and the associated asymptotic confid

L. Feher, T. J. Kluck

The reduction of the quasi-Hamiltonian double of ${\mathrm{SU}}(n)$ that has been shown to underlie Ruijsenaars&#39; compactified trigonometric $n$-body system is studied in its natural generality. The constraints contain a parameter $y$, restricted in previous works to $0<y < π/n$ because Ruijsenaars&#39; original compactification relies on an equivalent co

Werner Nagel, Eike Biehler

For a class of cell division processes, generating tessellations of the Euclidean space $\mathbb{R}^d$, spatial consistency is investigated. This addresses the problem whether the distribution of these tessellations, restricted to a bounded set $V$, depends on the choice of a larger region $W\supset V$ where the construction of the cell division process is p

B. Moussallam

A representation of the amplitude $γ^*(q^2)\toγππ$ is proposed which combines large $N_c$ chiral resonance Lagrangian modelling with general unitarity and analyticity properties. The amplitude is constrained from $γγ$ scattering results and $e^+ e^- \toγπ^0π^0$ measurements by the CMD-2 and SND collaborations. As an application, the contribution of the $ππ+γ

Sylvie Roelly, Wioletta Ruszel

We consider infinite-dimensional diffusions where the interaction between the coordinates has a finite extent both in space and time. In particular, it is not supposed to be smooth or Markov. The initial state of the system is Gibbs, given by a strong summable interaction. If the strongness of this initial interaction is lower than a suitable level, and if t

Guitang Lan, Mao Sheng, Kang Zuo

Let $k$ be a perfect field of odd characteristic and $X$ a smooth algebraic variety over $k$ which is $W_2$-liftable. We show that the exponent twisiting of the classical Cartier descent gives an equivalence of categories between the category of nilpotent Higgs sheaves of exponent $\leq p-1$ over $X/k$ and the category of nilpotent flat sheaves of exponent $

Wanlu Deng, Zhi Geng, Hongzhe Li

Multivariate time series (MTS) data such as time course gene expression data in genomics are often collected to study the dynamic nature of the systems. These data provide important information about the causal dependency among a set of random variables. In this paper, we introduce a computationally efficient algorithm to learn directed acyclic graphs (DAGs)

Hossein Ghasemalizadeh, Mohammadreza Razzazi

A set of points and a positive integer $m$ are given and our goal is to cover the maximum number of these point with $m$ disks. We devise the first output sensitive algorithm for this problem. We introduce a parameter $ρ$ as the maximum number of points that one disk can cover. In this paper first we solve the problem for $m=2$ in $O({nρ} + {ρ^3}\log ρ))$ ti

G. Fiorentino, B. Lanzoni, E. Dalessandro, F. R. Ferraro

We used high-spatial resolution images acquired with the WFC3 on board HST to probe the population of variable blue straggler stars in the central region of the poorly studied Galactic globular cluster NGC 6541. The time sampling of the acquired multi wavelength (F390W, F555W and F814W) data allowed us to discover three WUma stars and nine SX Phoenicis. Peri

Peter Kirschenhofer, Jörg M. Thuswaldner

Let $d\ge 1$ be an integer and ${\bf r}=(r_0,\dots,r_{d-1}) \in \mathbf{R}^d$. The {\em shift radix system} $τ_\mathbf{r}: \mathbb{Z}^d \to \mathbb{Z}^d$ is defined by $$ τ_{\bf r}({\bf z})=(z_1,\dots,z_{d-1},-\lfloor {\bf r} {\bf z}\rfloor)^t \qquad ({\bf z}=(z_0,\dots,z_{d-1})^t). $$ $τ_\mathbf{r}$ has the {\em finiteness property} if each ${\bf z} \in \ma

Viatcheslav Sharyy

The latest measurements of the asymmetry in the angular distributions of the $t\bar{t}$ events are reviewed. The measurements of the forward-backward asymmetry $A_{FB}$ in the $p\bar{p}$ 1.98 TeV collision at the Tevatron show some tension with the standard model calculation, while results of the measurements of the charge asymmetry $A_C$ in $pp$ collisions

Konstantin Belov

We present a technique to measure chemical composition and particle cross-section of ultra-high energy cosmic rays using radio data. We relate the geometry of the radio footprint on the ground to the depth of the extensive air shower maximum. We suggest to use the spectral information of the radio signal to improve the shower maximum reconstruction by minimu

D. Impiombato, S. Giarrusso, T. Mineo, G. Agnetta

ASTRI (Astrofisica con Specchi a Tecnologia Replicante Italiana), is a flagship project of the Italian Ministry of Education, University and Research whose main goal is the design and construction of an end-to-end prototype of the Small Size of Telescopes of the Cherenkov Telescope Array. The prototype, named ASTRI SST-2M, will adopt a wide field dual mirror

Bahadur Singh, Hsin Lin, R. Prasad, A. Bansil

We discuss possible topological phase transitions in Ge-based thin films of Ge(Bi$_x$Sb$_{1-x}$)$_2$Te$_4$ as a function of layer thickness and Bi concentration $x$ using the first principles density functional theory framework. The bulk material is a topological insulator at $x$ = 1.0 with a single Dirac cone surface state at the surface Brillouin zone cent

Zhaofeng Liu, Ying Chen, Yi-Bo Yang, Shao-Jing Dong

We present renormalization constants of overlap quark bilinear operators on 2+1-flavor domain wall fermion configurations. Both overlap and domain wall fermions have chiral symmetry on the lattice. The scale independent renormalization constant for the local axial vector current is computed using a Ward Identity. The renormalization constants for the scalar,

E. A. Kuznetsov, T. Passot, V. P. Ruban, P. L. Sulem

Based on Grad-Shafranov-like equations, a gyrotropic plasma where the pressures in the static regime are only functions of the amplitude of the local magnetic field is shown to be amenable to a variational principle with a free energy density given by the parallel tension. This approach is used to demonstrate that small- amplitude static holes constructed sl

Marc Fossorier

In this paper, we present an iterative construction of a polar code and develop properties of the dual of a polar code. Based on this approach, belief propagation of a polar code can be presented in the context of low-density parity check codes.

Oleg Evnin

In this contribution to the proceedings of the Conference on Modern Physics of Compact Stars and Relativistic Gravity in Yerevan, Armenia (September 18-21, 2013), I review recent work attempting to give a fundamental definition to string evolution in a dynamical, fully compact universe, and present a sketch of how the resulting formalism can be used for addr

Hervé Gaussier, Harish Seshadri

We give a necessary complex geometric condition for a bounded smooth convex domain in Cn, endowed with the Kobayashi distance, to be Gromov hyperbolic. More precisely, we prove that if a smooth bounded convex domain contains an analytic disk in its boundary, then the domain is not Gromov hyperbolic for the Kobayashi distance. We also provide examples of boun

K. Terao, Y. Taniguchi, M. Kajisawa, Y. Shioya

In order to understand nature of building blocks of galaxies in the early universe, we investigate &#34;genuine irregular galaxies (GIGs)&#34; in the nearby universe. Here, GIGs are defined as isolated galaxies without regular structures (spheroid, bulge, disk, bar, spiral arm, and nucleus). Using the results of two excellent studies on galaxy morphology bas

Louis-Hadrien Robert

In the first part, we introduce a notion a degree of edge-colorings of bicubic plane graphs and proves some local formula of the graded number of colorings. In the second part, we give a new proof of a result of Fisk saying that any two edge-3-colorings of a planar bicubic graph are Kempe equivalent. Additionaly we show that the degree of colorings behaves w

Wang Jing, Huang Jian-Long, He Yuan, Zhang Xiao-Qi

A 162.5 MHz, 2.1 MeV Radio Frequency Quadruples (RFQ) structure is being designed for the Injector Scheme II of China Accelerator Driver System (CADS) driver linac. The RFQ will operate at continuous wave (CW) mode as required. For the CW normal conducting machine, the heat management will be one of the most important issues, since the temperature fluctuatio

Tomás Martínez-Ruiz, Félix García, Mario Piattini, Jürgen Münch

Software process models need to be variant-rich, in the sense that they should be systematically customizable to specific project goals and project environments. It is currently very difficult to model Variant-Rich Process (VRP) because variability mechanisms are largely missing in modern process modeling languages. Variability mechanisms from other domains,

Benjamin Rossman

We give the first super-polynomial separation in the power of bounded-depth boolean formulas vs. circuits. Specifically, we consider the problem Distance $k(n)$ Connectivity, which asks whether two specified nodes in a graph of size $n$ are connected by a path of length at most $k(n)$. This problem is solvable (by the recursive doubling technique) on {\bf ci

Benedek Izsó, Ábel Hegedüs, Gábor Bergmann, Ákos Horváth

The paper presents a solution for the Petri-Net to Statecharts case study of the Transformation Tool Contest 2013, using EMF-IncQuery and Xtend for implementing the model transformation.

Sudipta Tung, Abhishek Mishra, Sutirth Dey

Over the last two decades, several methods have been proposed for stabilizing the dynamics of biological populations. However, these methods have typically been evaluated using different population dynamics models and in the context of very different concepts of stability, which makes it difficult to compare their relative efficiencies. Moreover, since the d

K. Lano, S. Kolahdouz-Rahimi, K. Maroukian

This paper provides a solution to the Petri-Nets to statecharts case using UML-RSDS. We show how a highly declarative solution which is confluent and invertible can be given using this approach.

Tassilo Horn

FunnyQT is a model querying and model transformation library for the functional Lisp-dialect Clojure providing a rich and efficient querying and transformation API. This paper describes the FunnyQT solution to the TTC 2013 Petri-Nets to Statcharts Transformation Case. This solution has won the best overall solution award and the best efficiency award for thi

Wietse Smid, Arend Rensink

This paper describes the GROOVE solution to the &#34;Class Diagram Restructuring&#34; case study of the Tool Transformation Contest 2013. We show that the visual rule formalism enables the required restructuring to be formulated in a very concise manner. Moreover, the GROOVE functionality for state space exploration allows checking confluence. Performance-wi

Tassilo Horn

FunnyQT is a model querying and model transformation library for the functional Lisp-dialect Clojure providing a rich and efficient querying and transformation API. This paper describes the FunnyQT solution to the TTC 2013 Class Diagram Restructuring Transformation Case. This solution and the GROOVE solution share the best overall solution award for this cas

Anthony Anjorin, Marius Lauder

After 20 years of Triple Graph Grammars (TGGs) and numerous actively maintained implementations, there is now a need for challenging examples and success stories to show that TGGs can be used for real-world bidirectional model transformations. Our primary goal in recent years has been to increase the expressiveness of TGGs by providing a set of pragmatic fea

Tassilo Horn

FunnyQT is a model querying and model transformation library for the functional Lisp-dialect Clojure providing a rich and efficient querying and transformation API. This paper describes the FunnyQT solution to the TTC 2013 Flowgraphs Transformation Case. It solves all four tasks, and it has won the best efficiency award for this case.

Jesús Sánchez Cuadrado

This paper presents a solution for the Flow Graphs case of the Transformation Tool Contest 2013, using the Eclectic model transformation tool. The solution makes use of several languages of Eclectic, showing how it is possible to combine them to address a non-trivial transformation problem in a concise and modulary way.

Ji Li, Jianlu Zhang

In this paper, we study the optimal transportation for generalized Lagrangian $L=L(x, u,t)$, and consider the cost function as following: $$c(x, y)=\inf_{\substack{x(0)=x\\x(1)=y\\u\in\mathcal{U}}}\int_0^1L(x(s), u(x(s),s), s)ds.$$ Where $\mathcal{U}$ is a control set, and $x$ satisfies the following ordinary equation: $$\dot{x}(s)=f(x(s),u(x(s),s)).$$ We pr

Georg Hinkel, Thomas Goldschmidt, Lucia Happe

Software systems are getting more and more complex. Model-driven engineering (MDE) offers ways to handle such increased complexity by lifting development to a higher level of abstraction. A key part in MDE are transformations that transform any given model into another. These transformations are used to generate all kinds of software artifacts from models. H

Valerio Cosentino, Massimo Tisi, Fabian Büttner

This paper presents a solution to the Flowgraphs case study for the Transformation Tool Contest 2013 (TTC 2013). Starting from Java source code, we execute a chain of model transformations to derive a simplified model of the program, its control flow graph and its data flow graph. Finally we develop a model transformation that validates the program flow by c

Pieter Van Gorp, Louis M. Rose

This paper describes a case study for the sixth Transformation Tool Contest. The case is based on a mapping from Petri-Nets to statecharts (i.e., from flat process models to hierarchical ones). The case description separates a simple mapping phase from a phase that involves the step by step destruction Petri-Net elements and the corresponding construction of

Tassilo Horn

This case for the Transformation Tool Contest 2013 is about evaluating the scope and usability of transformation languages and tools for a set of four tasks requiring very different capabilities. One task deals with typical model-to-model transformation problem, there&#39;s a model-to-text problem, there are two in-place transformation problems, and finally

Bernard McBryan

What is the average density of a black hole, assuming its spin can prevent it from collapsing into a singularity? For stellar black holes, the average density is incredibly dense and has over a trillion G force and tidal force that will rip almost anything apart at the black hole boundary. Surprisingly, the average density decreases dramatically for massive

Andrew Lorent

For $A\in M^{2\times 2}$ let $S(A)=\sqrt{A^T A}$, i.e. the symmetric part of the polar decomposition of $A$. We consider the relation between two quasiregular mappings whose symmetric part of gradient are close. Our main result is the following. Suppose $v,u\in W^{1,2}(B_1(0):\mathbb{R}^2)$ are $Q$-quasiregular mappings with $\int_{B_1(0)} \det(Du)^{-p} dz\l

Jifeng Liu, Joel N. Bregman, Yu Bai, Stephen Justham

There are two proposed explanations for ultraluminous X-ray sources (ULXs) with luminosities in excess of $10^{39}$ erg s$^{-1}$. They could be intermediate-mass black holes (more than 100-1,000, solar masses, $M_\odot$) radiating at sub-maximal (sub-Eddington) rates, as in Galactic black-hole X-ray binaries but with larger, cooler accretion disks. Alternati

K. G. Nagananda, Shalinee Kishore

The electrical structure of the power grid is utilized to address the phasor measurement unit (PMU) placement problem. First, we derive the connectivity matrix of the network using the resistance distance metric and employ it in the linear program formulation to obtain the optimal number of PMUs, for complete network observability without zero injection meas

Ali Shojaie, Alexandra Jauhiainen, Michael Kallitsis, George Michailidis

Reconstructing transcriptional regulatory networks is an important task in functional genomics. Data obtained from experiments that perturb genes by knockouts or RNA interference contain useful information for addressing this reconstruction problem. However, such data can be limited in size and/or are expensive to acquire. On the other hand, observational da

Shuhong Yang, Jun Zhang

For the first time, we statistically study the properties of ephemeral regions (ERs) and quantitatively determine their parameters at the emergence stage based on a sample of 2988 ERs observed by the \emph{Solar Dynamics Observatory}. During the emergence process, there are three kinds of kinematic performances, i.e., separation of dipolar patches, shift of

Hangguan Shan, Zhifeng Ni, Weihua Zhuang, Aiping Huang

To address network congestion stemmed from traffic generated by advanced user equipments, in [1] we propose a novel network resource allocation strategy, time-frequency resource conversion (TFRC), via exploiting user behavior, a specific kind of context information. Considering an LTE-type cellular network, a call admission control policy called double-thres

Jing Jiang, Xinhao Wang, Ran Chao, Yukun Ren

Portable low-cost sensors and sensing systems for the identification and quantitative measurement of bacteria in field water are critical in preventing drinking water from being contaminated by bacteria. In this article, we reported the design, fabrication and testing of a low-cost, miniaturized and sensitive bacteria sensor based on electrical impedance spe

Jin Guo, Tongsuo Wu

In this paper, we show for a monomial ideal $I$ of $K[x_1,x_2,\ldots,x_n]$ that the integral closure $\ol{I}$ is a monomial ideal of Borel type (Borel-fixed, strongly stable, lexsegment, or universal lexsegment respectively), if $I$ has the same property. We also show that the $k^{th}$ symbolic power $I^{(k)}$ of $I$ preserves the properties of Borel type, B

Jin Guo, Tongsuo Wu

A square-free monomial ideal $I$ is called an {\it $f$-ideal}, if both $δ_{\mathcal{F}}(I)$ and $δ_{\mathcal{N}}(I)$ have the same $f$-vector, where $δ_{\mathcal{F}}(I)$ ($δ_{\mathcal{N}}(I)$, respectively) is the facet (Stanley-Reisner, respectively) complex related to $I$. In this paper, we introduce the concepts of perfect set containing $k$ and perfect s

Jin Guo, Tongsuo Wu, Qiong Liu

A square-free monomial ideal $I$ is called an {\it $f$-ideal}, if both $δ_{\mathcal{F}}(I)$ and $δ_{\mathcal{N}}(I)$ have the same $f$-vector, where $δ_{\mathcal{F}}(I)$ ($δ_{\mathcal{N}}(I)$, respectively) is the facet (Stanley-Reisner, respectively) complex related to $I$. In this paper, we introduce and study perfect subsets of $2^{[n]}$ and use them to c

Jin Guo, Tongsuo Wu, Houyi Yu

For a monomial ideal $I$, let $G(I)$ be its minimal set of monomial generators. If there is a total order on $G(I)$ such that the corresponding Lyubeznik resolution of $I$ is a minimal free resolution of $I$, then $I$ is called a Lyubeznik ideal. In this paper, we characterize the Lyubeznik ideals, and we discover some classes of Lyubeznik ideals.