January 2017 arXiv papers — page 8

Antti Käenmäki, Markku Vilppolainen

It is well known that the open set condition and the positivity of the $t$-dimensional Hausdorff measure are equivalent on self-similar sets, where $t$ is the zero of the topological pressure. We prove an analogous result for a class of Moran constructions and we study different kinds of Moran constructions with this respect.

Antti Käenmäki, Ville Suomala

We study how measures with finite lower density are distributed around $(n-m)$-planes in small balls in $\mathbb{R}^n$. We also discuss relations between conical upper density theorems and porosity. Our results may be applied to a large collection of Hausdorff and packing type measures.

Antti Käenmäki

We study geometric rigidity of a class of fractals, which is slightly larger than the collection of self-conformal sets. Namely, using a new method, we shall prove that a set of this class is contained in a smooth submanifold or is totally spread out.

Esa Järvenpää, Maarit Järvenpää, Antti Käenmäki, Ville Suomala

In $\mathbb{R}^n$, we establish an asymptotically sharp upper bound for the upper Minkowski dimension of $k$-porous sets having holes of certain size near every point in $k$ orthogonal directions at all small scales. This bound tends to $n-k$ as $k$-porosity tends to its maximum value.

Zhan-Wei Liu, Jonathan M. M. Hall, Waseem Kamleh, Derek B. Leinweber

Drawing on experimental data for baryon resonances, Hamiltonian effective field theory (HEFT) is used to predict the positions of the finite-volume energy levels to be observed in lattice QCD simulations. We have studied the low-lying baryons $N^*(1535)$, $N^*(1440)$, and $Λ(1405)$. In the initial analysis, the phenomenological parameters of the Hamiltonian

L. C. N. Santos, C. C. Barros

A generalized version of the creation and annihilation operators is constructed and the factorization of the Schrödinger equation is investigated. It is shown that the generalized version of factorization operators yield a factorization for the twelve different separable coordinates for the Schrödinger equation.

Greig A. Cowan

These proceedings present the current status of measurements of the CP-violating phase $phi_s$ by the LHCb collaboration, reviewing the measurements in channels such as $B_s^0\to J/ψϕ$, $B_s^0\to J/ψπ^+π^-$ and $B_s^0 \to ψ(2S)ϕ$. The observation of the $B_s^0\toη_cϕ$ decay mode is presented for the first time, which can be used to measure $ϕ_s$ with larger

Antti Käenmäki

Under the assumption of a natural subadditive potential, the so called cylinder function, working on the symbol space we prove the existence of the ergodic invariant probability measure satisfying the equilibrium state. As an application we show that for typical self-affine sets there exists an ergodic invariant measure having the same Hausdorff dimension as

Antti Käenmäki, Ville Suomala

We study how the Hausdorff measure is distributed in nonsymmetric narrow cones in $\mathbb{R}^n$. As an application, we find an upper bound close to $n-k$ for the Hausdorff dimension of sets with large $k$-porosity. With $k$-porous sets we mean sets which have holes in $k$ different directions on every small scale.

Emil Ryberg, Christian Forssén, Lucas Platter

In this paper we study the renormalization of Halo effective field theory applied to the Helium-6 halo nucleus seen as an alpha-neutron-neutron three-body state. We include the 0+ dineutron channel together with both the 3/2- and 1/2- neutron-alpha channels into the field theory and study all of the six lowest-order three-body interactions that are present.

Antti Käenmäki

We consider the limit set of generalised iterated function systems. Under the assumption of a natural potential, the so called cylinder function, we prove the existence of the invariant probability measure satisfying the equilibrium state. We motivate this approach by showing that for typical self-affine sets there exists an ergodic invariant measure having

P. C. Beggio

We investigated the energy dependence of the parton-parton inelastic cross sections, parton- parton inelastic overlap functions and the Cq moments in proton interactions from 10 to 14000 GeV. The used approach is based on a phenomenological procedure where elastic and inelastic proton observables are described in a connected way by exploring the unitarity of

Antti Käenmäki

We consider infinite conformal iterated function systems on $\mathbb{R}^d$. We study the geometric structure of the limit set of such systems. Suppose this limit set intersects some $l$-dimensional $C^1$-submanifold with positive Hausdorff $t$-dimensional measure, where $0<l<d$ and $t$ is the Hausdorff dimension of the limit set. We then show that the closur

Shinji Ejiri, Ryo Iwami, Mizuki Shirogane, Naoki Wakabayashi

We calculate the energy gap (latent heat) and pressure gap between the hot and cold phases of the SU(3) gauge theory at the first order deconfining phase transition point. We perform simulations around the phase transition point with the lattice size in the temporal direction $N_t=6,$ 8 and 12 and extrapolate the results to the continuum limit. The energy de

Attila Fülöp, Mikael Mazur, Abel Lorences-Riesgo, Tobias A. Eriksson

Microresonator-based frequency combs are strong contenders as light sources for wavelength-division multiplexing (WDM). Recent demonstrations have shown the potential of microresonator combs for replacing tens of WDM lasers with a single laser-pumped device. These experiments relied on microresonators displaying anomalous dispersion. Devices operating in the

Adi Ditkowski, Sigal Gottlieb

The commonly used one step methods and linear multi-step methods all have a global error that is of the same order as the local truncation error (as defined in \cite{gustafsson1995time,quarteroni2010numerical,AllenIsaacson,IsaacsonKeller,Sewell}). In fact, this is true of the entire class of general linear methods. In practice, this means that the order of t

Alexander V. Evako

Generalized Fibonacci-like sequences appear in finite difference approximations of the Partial Differential Equations based upon replacing partial differential equations by finite difference equations. This paper studies properties of the generalized Fibonacci-like sequence F_(n+2)=A+BF_(n+1)+CF_n. It is shown that this sequence is periodic with the period T

Tetyuya Taikei, Kazuhito Takeuchi, Koretaka Yuge

Our recent study elucidate that information of density of states in configuration space (CDOS) for non-interacting system, characterized by spatial constraint on the system, plays essential role to determine thermodynamically equilibrium properties for interacting systems. Particularly for disordered states, variance of CDOS along all possible coordinations

Takashi Goda, Kosuke Suzuki, Takehito Yoshiki

We study quasi-Monte Carlo integration for twice differentiable functions defined over a triangle. We provide an explicit construction of infinite sequences of points including one by Basu and Owen (2015) as a special case, which achieves the integration error of order $N^{-1}(\log N)^3$ for any $N\geq 2$. Since a lower bound of order $N^{-1}$ on the integra

D. N. Lobo, K. R. Priolkar, A. Koide, S. Emura

We have carried out \textit{ab-initio} calculations of local structure of Mn and Ni in Mn$_{2}$Ni$_{1.5}$In$_{0.5}$ alloy with different site occupancies in order to understand the similarities in martensitic and magnetic properties of Mn$_{2}$Ni$_{1+x}$In$_{1-x}$ and Ni$_2$Mn$_{1+x}$In$_{1-x}$ alloys. Our results show that in Mn$_{2}$Ni$_{1+x}$In$_{1-x}$ al

Sergei Trofimchuk, Vitaly Volpert

The paper is devoted to a reaction-diffusion equation with delay arising in modelling the immune response. We prove the existence of travelling waves in the bistable case using the Leray-Schauder method. In difference with the previous works, we do not assume here quasi-monotonicity of the delayed reaction term.

Alexander Sakhnovich

Using simultaneously two operator identities, we consider the inversion of the convolution operators on a rectangular. The structure of the inverse operators and of some corresponding forms, which are important in signal processing, is derived.

B. G. Pusztai

In this paper, we construct global action-angle variables for a certain two-parameter family of hyperbolic van Diejen systems. Following Ruijsenaars&#39; ideas on the translation invariant models, the proposed action-angle variables come from a thorough analysis of the commutation relation obeyed by the Lax matrix, whereas the proof of their canonicity is ba

M. I. Grinchuk, I. S. Sergeev

We prove a lower bound $Ω\left(\frac{k+l}{k^2l^2}N^{2-\frac{k+l+2}{kl}}\right)$ on the maximal possible weight of a $(k,l)$-free (that is, free of all-ones $k\times l$ submatrices) Boolean circulant $N \times N$ matrix. The bound is close to the known bound for the class of all $(k,l)$-free matrices. As a consequence, we obtain new bounds for several complex

Pavel Tikhonov, Efrat Shimshoni

We derive an effective low-energy theory for a ferromagnetic $(2N+1)$-leg spin-$\frac{1}{2}$ ladder with strong $XXZ$ anisotropy $\left|J_{\parallel}^z\right|\ll \left|J_{\parallel}^{xy}\right|$, subject to a kink-like non-uniform magnetic field $B_z(X)$ which induces a domain wall (DW). Using Bosonization of the quantum spin operators, we show that the quan

Rebecca Conaway, Felix Gotti, Jesse Horton, Christopher O&#39;Neill

A numerical monoid is an additive submonoid of the non-negative integers. Given a numerical monoid $S$, consider the family of &#34;shifted&#34; monoids $M_n$ obtained by adding $n$ to each generator of $S$. In this paper, we examine minimal relations among the generators of $M_n$ when $n$ is sufficiently large, culminating in a description that is periodic

Maxime Ferreira Da Costa, Wei Dai

The line spectral estimation problem consists in recovering the frequencies of a complex valued time signal that is assumed to be sparse in the spectral domain from its discrete observations. Unlike the gridding required by the classical compressed sensing framework, line spectral estimation reconstructs signals whose spectral supports lie continuously in th

F. Giuli, xFitter Developers&#39; team, :, V. Bertone

Achieving the highest precision for theoretical predictions at the LHC requires the calculation of hard-scattering cross-sections that include perturbative QCD corrections up to (N)NNLO and electroweak (EW) corrections up to NLO. Parton distribution functions (PDFs) need to be provided with matching accuracy, which in the case of QED effects involves introdu

A. Marcos-Caballero, E. Martínez-González, P. Vielva

In the present work, we study the largest structures of the CMB temperature measured by Planck in terms of the most prominent peaks on the sky, which, in particular, are located in the southern galactic hemisphere. Besides these large-scale features, the well-known Cold Spot anomaly is included in the analysis. All these peaks would contribute significantly

Alejandro Schulman, Ai Kitoh, Pablo Stoliar, Isao H. Inoue

Controlling the insulator-to-2D-metal transition is a promising key to overcome the scaling problem that silicon-based electronic devices will face in the near future. In this context, we examine the channel formation of SrTiO3-based solid-gated field-effect devices in which a 2D metal phase coexists with a semiconductor phase. A non-monotonic voltage-gain t

A. Marcos-Caballero, E. Martínez-González, P. Vielva

We study the Planck CMB temperature at different scales through its derivatives up to second order, which allows one to characterize the local shape and isotropy of the field. The problem of having an incomplete sky in the calculation and statistical characterization of the derivatives is addressed in the paper. The analysis confirms the existence of a low v

Rafael Company, Vera Egorova, Lucas Jódar, Fazlollah Soleymani

The matter of the stability for multi-asset American option pricing problems is a present remaining challenge. In this paper a general transformation of variables allows to remove cross derivative terms reducing the stencil of the proposed numerical scheme and underlying computational cost. Solution of a such problem is constructed by starting with a semi-di

A. Kerbizi, X. Artru, Z. Belghobsi, F. Bradamante

We propose a Monte Carlo code for the simulation of the fragmentation process of polarized quarks into pseudoscalar mesons. Such process is generated recursively once the flavour, the energy and the spin density matrix of the initial quark are specified, performing a cascade of splittings of the type $q\rightarrow h+q&#39;$, where $q, q&#39;$ indicate quarks

Diljit Singh

For any simple digraph $D$ we offer a new proof for the intersection number of its middle digraph, $M(D)$; while doing so we also solve for the intersection number when $D$ has loops. In addition, a new transformation, the union of $D$ and its subdivision digraph, is introduced and its intersection number calculated in full generality. For the total digraph,

Muhammad Murtaza, Imran Javaid, Muhammad Fazil

In this paper, we investigate the problem of covering the vertices of a graph associated to a finite vector space as introduced by Das \cite{Das}, such that we can uniquely identify any vertex by examining the vertices that cover it. We use locating-dominating sets and identifying codes, which are closely related concepts for this purpose. These sets consist

Dietmar Klemm, Alessio Marrani, Nicolò Petri, Marco Rabbiosi

Freudenthal duality in N=2, D=4 ungauged supergravity is generated by an anti-involutive operator that acts on the electromagnetic fluxes, and results to be a symmetry of the Bekenstein-Hawking entropy. We show that, with a suitable extension, this duality can be generalized to the abelian gauged case as well, even in presence of hypermultiplets. By defining

Mohammad Aliannejadi, Masoud Kiaeeha, Shahram Khadivi, Saeed Shiry Ghidary

We experiment graph-based Semi-Supervised Learning (SSL) of Conditional Random Fields (CRF) for the application of Spoken Language Understanding (SLU) on unaligned data. The aligned labels for examples are obtained using IBM Model. We adapt a baseline semi-supervised CRF by defining new feature set and altering the label propagation algorithm. Our results de

Victor Przyjalkowski

Toric Landau--Ginzburg models of Givental&#39;s type for Fano complete intersections are known to have Calabi--Yau compactifications. We give an alternative proof of this fact. As an output of our proof we get a description of fibers over infinity for compactified toric Landau--Ginzburg models.

Antonella De Pasquale, Kazuya Yuasa, Vittorio Giovannetti

We study the efficiency of estimation procedures where the temperature of an external bath is indirectly recovered by monitoring the transformations induced on a probing system that is put in thermal contact with the bath. In particular we compare the performances of sequential measurement schemes where the probe is initialized only once and measured repeate

Anshu Shukla, Shilpa Chaturvedi, Yogesh Simmhan

The Internet of Things (IoT) is an emerging technology paradigm where millions of sensors and actuators help monitor and manage, physical, environmental and human systems in real-time. The inherent closedloop responsiveness and decision making of IoT applications make them ideal candidates for using low latency and scalable stream processing platforms. Distr

David Bannach, Martin Jänicke, Vitor F. Rey, Sven Tomforde

Traditional activity recognition systems work on the basis of training, taking a fixed set of sensors into account. In this article, we focus on the question how pattern recognition can leverage new information sources without any, or with minimal user input. Thus, we present an approach for opportunistic activity recognition, where ubiquitous sensors lead t

A. Tikan, C. Billet, G. El, A. Tovbis

We present experimental evidence of the universal emergence of the Peregrine soliton predicted in the semi-classical (zero-dispersion) limit of the focusing nonlinear Schrödinger equation [Comm. Pure Appl. Math. {\bf 66}, 678 (2012)]. Experiments studying higher-order soliton propagation in optical fiber use an optical sampling oscilloscope and frequency-res

I. Nagy, M. L. Glasser

An inversion method is formulated for extracting entanglement-related information on two-particle interactions in a one-dimensional system from measurable one-particle position- and momentum-distribution functions. The method is based on a shell-like expansion of these norm-1 measured quantities in terms of product states taken from a parametric orthonormal

L. Majumdar, P. Gratier, I. Andron, V. Wakelam

Cyclic-C3HD (c-C3HD) is a singly deuterated isotopologue of c-C3H2, which is one of the most abundant and widespread molecules in our Galaxy. We observed IRAS 16293-2422 in the 3 mm band with a single frequency setup using the EMIR heterodyne 3 mm receiver of the IRAM 30m telescope. We observed seven lines of c-C3HD and three lines of c-C3H2. Observed abunda

Peter Georg, Daniel Richtmann, Tilo Wettig

On many parallel machines, the time LQCD applications spent in communication is a significant contribution to the total wall-clock time, especially in the strong-scaling limit. We present a novel high-performance communication library that can be used as a de facto drop-in replacement for MPI in existing software. Its lightweight nature that avoids some of t

Xi Chen, Karalee Jarvis, Sean Sullivan, Yutao Li

The strong spin-spin exchange interaction in some low-dimensional magnetic materials can give rise to a high group velocity and thermal conductivity contribution from magnons. One example is the incommensurate layered compounds (Sr,Ca,La)14Cu24O41. The effects of grain boundaries and defects on quasi-one-dimensional magnon transport in these compounds are no

Pieter Leyman, San Tu Pham, Patrick De Causmaecker

In this research, we discuss the intermittent traveling salesman problem (ITSP), which extends the traditional traveling salesman problem (TSP) by imposing temperature restrictions on each node. These additional constraints limit the maximum allowable visit time per node, and result in multiple visits for each node which cannot be serviced in a single visit.

Chris Holmes, Stephen Walker

Bayesian approaches to data analysis and machine learning are widespread and popular as they provide intuitive yet rigorous axioms for learning from data; see Bernardo and Smith (2004) and Bishop (2006). However, this rigour comes with a caveat that the Bayesian model is a precise reflection of Nature. There has been a recent trend to address potential model

Andreas H. Hamel, Andreas Loehne

A new solution concept for two-player zero-sum matrix games with multi-dimensional payoff is introduced. It is based on extensions of vector orders in K-dimensional spaces to order relations in their power sets, so-called set relations, and strictly motivated by the interpretation of the payoff as multi-dimensional loss for one and gain for the other player.

Diego Valsesia, Enrico Magli

Predictive coding is attractive for compression of hyperspecral images onboard of spacecrafts in light of the excellent rate-distortion performance and low complexity of recent schemes. In this letter we propose a rate control algorithm and integrate it in a lossy extension to the CCSDS-123 lossless compression recommendation. The proposed rate algorithm ove

Diego Valsesia, Enrico Magli

We use some of the largest order statistics of the random projections of a reference signal to construct a binary embedding that is adapted to signals correlated with such signal. The embedding is characterized from the analytical standpoint and shown to provide improved performance on tasks such as classification in a reduced-dimensionality space.

Paola Marigo, Leo Girardi, Alessandro Bressan, Philip Rosenfield

We introduce a new generation of PARSEC-COLIBRI stellar isochrones that include a detailed treatment of the thermally-pulsing asymptotic giant branch (TP-AGB) phase, and covering a wide range of initial metallicities (0.0001<Zi<0.06). Compared to previous releases, the main novelties and improvements are: use of new TP-AGB tracks and related atmosphere model

Toshihiko Sasaki, Masato Koashi

The round-robin differential phase shift (RRDPS) quantum key distribution (QKD) protocol is a unique quantum key distribution protocol whose security has not been understood through an information-disturbance trade-off relation, and a sufficient amount of privacy amplification was given independently of signal disturbance. Here, we discuss the security of th

Darryn Bryant, Sarada Herke, Barbara Maenhaut, Bridget Webb

The natural infinite analogue of a (finite) Hamilton cycle is a two-way-infinite Hamilton path (connected spanning 2-valent subgraph). Although it is known that every connected $2k$-valent infinite circulant graph has a two-way-infinite Hamilton path, there exist many such graphs that do not have a decomposition into $k$ edge-disjoint two-way-infinite Hamilt

M. Kern, J. Jeske, D. M. W. Lau, A. D. Greentree

The cooling of solids by optical means only using anti-Stokes emission has a long history of research and achievements. Such cooling methods have many advantages ranging from no-moving parts or fluids through to operation in vacuum and may have applications to cryosurgery. However achieving large optical cryocooling powers has been difficult to achieve excep

Xianzu Lin

In this paper we give a generalization of the main results in \cite{ab,ab1} about $b$-ary expansions of algebraic numbers. As a byproduct we get a large class of new transcendence criteria. One of our corollaries implies that $b$-ary expansions of linearly independent irrational algebraic numbers are quite independent. Motivated by this result, we propose a

Jiayi Liu, Changpeng Chen, Lu Han, Ziqing Zhu

We investigate the transport properties of pristine zigzag-edged borophene nanoribbons (ZBNRs) of different widths, using the fist-principles calculations. We choose ZBNRs with widths of 5 and 6 as odd and even widths. The differences of the quantum transport properties are found, where even-N BNRs and odd-N BNRs have different current-voltage relationships.

Boris Brimkov, Caleb C. Fast, Illya V. Hicks

Zero forcing is an iterative graph coloring process where at each discrete time step, a colored vertex with a single uncolored neighbor forces that neighbor to become colored. The zero forcing number of a graph is the cardinality of the smallest set of initially colored vertices which forces the entire graph to eventually become colored. Connected forcing is

Katsuya Tono, Akiko Takeda, Jun-ya Gotoh

We address the minimization of a smooth objective function under an $\ell_0$-constraint and simple convex constraints. When the problem has no constraints except the $\ell_0$-constraint, some efficient algorithms are available; for example, Proximal DC (Difference of Convex functions) Algorithm (PDCA) repeatedly evaluates closed-form solutions of convex subp

Gergely Gábor Barnaföldi, Gábor Bíró, Miklos Gyulassy, Szilveszter Miklós Haranozó

First calculated results with the new HIJING++ are presented for identified hadron production in high-energy heavy ion collisions. The recently developed HIJING++ version is based on the latest version of PYTHIA8 and contains all the nuclear effects has been included in the HIJING2.552, which will be improved by a new version of the shadowing parametrization

Mehdi Fatehi Nia, Fatemeh Rezaei

In this paper, for iterated function systems, we define the classic concept of the dynamical systems: topological conjugacy of diffeomorphisms. We generalize the Hartman-Grobman theorem for one dimensional iterated function systems on R. Also, we introduce the basic concept of structural stability for an iterated function system and so we investigate the nec

Takafumi Nakano, Tadashi Wadayama

This paper studies the zero error capacity of the Nearest Neighbor Error (NNE) channels with a multilevel alphabet. In the NNE channels, a transmitted symbol is a $d$-tuple of elements in $\{0,1,2,\dots, n-1 \}$. It is assumed that only one element error to a nearest neighbor element in a transmitted symbol can occur. The NNE channels can be considered as a

Ying-Chih Chiang, Frank Otto

Free energy perturbation (FEP) is frequently used to evaluate the free energy change of a biological process, e.g. the drug binding free energy or the ligand solvation free energy. Due to the sampling inefficiency, FEP is often employed together with computationally expensive enhanced sampling methods. Here we show that this sampling inefficiency, which stem

A. Mahdikhani, P. Sahandi, N. Shirmohammadi

Our goal is to determine when the trivial extensions of commutative rings by modules are Cohen-Macaulay in the sense of Hamilton and Marley. For this purpose, we provide a generalization of the concept of Cohen-Macaulayness of rings to modules.

Hongbo Li, Zhang Li, Yang Li

Tensor expression simplification is an &#34;ancient&#34; topic in computer algebra, a representative of which is the canonicalization of Riemann tensor polynomials. Practically fast algorithms exist for monoterm canonicalization, but not for multiterm canonicalization. Targeting the multiterm difficulty, in this paper we establish the extension theory of gra

Thomas Zheng, Jeff Shaw, Sergey Kozlov

Software documentation is an essential but labor intensive task that often requires a dedicated team of developers to ensure coverage and accuracy. Good documentation will help shorten the development cycle and improve the overall team efficiency as well as maintainability. In today&#39;s crowd-driven development environment, good documentation can go a long

Eugene Curtin, Suho Oh

Keller proposed a combinatorial conjecture on construction of an n-by-infinite matrix, which comes from showing the existence of many orbits of different sizes in certain linear group actions. He proved it for the case n=4, and we show that conjecture is true in the general case. We also propose a combinatorial game version of the conjecture which even furth

Umberto Toniolo, Brendan C. Mulkerin, Chris J. Vale, Xia-Ji Liu

We theoretically explore the crossover from three dimensions (3D) to two (2D) in a strongly interacting atomic Fermi superfluid through confining the transverse spatial dimension. Using the gaussian pair fluctuation theory, we determine the zero-temperature equation of state and Landau critical velocity as functions of the spatial extent of the transverse di

Arslan Munir, Prasanna Kansakar, Samee U. Khan

We propose a novel integrated fog cloud IoT (IFCIoT) architectural paradigm that promises increased performance, energy efficiency, reduced latency, quicker response time, scalability, and better localized accuracy for future IoT applications. The fog nodes (e.g., edge servers, smart routers, base stations) receive computation offloading requests and sensed

Wuhua Hu, Ping Wang, Hoay Beng Gooi

This paper presents an approach to assess the economics of customer-sited energy storage systems (ESSs) which are owned and operated by a customer. The ESSs can participate in frequency regulation and spinning reserve markets, and are used to help the customer consume available renewable energy and reduce electricity bill. A rolling-horizon approach is devel

Frank Hilken, Martin Gogolla

The Unified Modeling Language (UML) is a widely used general purpose modeling language. Together with the Object Constraint Language (OCL), formal models can be described by defining the structure and behavior with UML and additional OCL constraints. In the development process for formal models, it is important to make sure that these models are (a) correct,

Lilian Burdy, David Déharbe, Étienne Prun

The application of automatic theorem provers to discharge proof obligations is necessary to apply formal methods in an efficient manner. Tools supporting formal methods, such as Atelier~B, generate proof obligations fully automatically. Consequently, such proof obligations are often cluttered with information that is irrelevant to establish their validity. W

Stefan Mitsch, André Platzer

Hybrid systems verification is quite important for developing correct controllers for physical systems, but is also challenging. Verification engineers, thus, need to be empowered with ways of guiding hybrid systems verification while receiving as much help from automation as possible. Due to undecidability, verification tools need sufficient means for inter

Gioacchino Mauro, Harold Thimbleby, Andrea Domenici, Cinzia Bernardeschi

We are concerned with systems, particularly safety-critical systems, that involve interaction between users and devices, such as the user interface of medical devices. We therefore developed a MISRA C code generator for formal models expressed in the PVSio-web prototyping toolkit. PVSio-web allows developers to rapidly generate realistic interactive prototyp

Gurvan Le Guernic, Benoit Combemale, José A. Galindo

Many project-specific languages, including in particular filtering languages, are defined using non-formal specifications written in natural languages. This leads to ambiguities and errors in the specification of those languages. This paper reports on an industrial experiment on using a tool-supported language specification framework (K) for the formal speci

Andrew Healy, Rosemary Monahan, James F. Power

The Why3 IDE and verification system facilitates the use of a wide range of Satisfiability Modulo Theories (SMT) solvers through a driver-based architecture. We present Where4: a portfolio-based approach to discharge Why3 proof obligations. We use data analysis and machine learning techniques on static metrics derived from program source code. Our approach b

Camille Fayollas, Célia Martinie, Philippe Palanque, Paolo Masci

Critical human-machine interfaces are present in many systems including avionics systems and medical devices. Use error is a concern in these systems both in terms of hardware panels and input devices, and the software that drives the interfaces. Guaranteeing safe usability, in terms of buttons, knobs and displays is now a key element in the overall safety o

V. A. Vaishampayan, M. F. Bollauf

We consider the problem of distributed computation of the nearest lattice point for a two dimensional lattice. An interactive model of communication is considered. We address the problem of reconfiguring a specific rectangular partition, a nearest plane, or Babai, partition, into the Voronoi partition. Expressions are derived for the error probability as a f

Christopher E. Pueblo, Minhua Sun, Kenneth F. Kelton

The dynamical behavior of liquids is frequently characterized by the fragility, which can be defined from the temperature dependence of the shear viscosity, η. For a strong liquid, the activation energy for η changes little with cooling towards the glass transition temperature, Tg. The change is much greater in fragile liquids, with the activation energy bec

Zhiyuan Huang, Ding Zhao, Henry Lam, David J. LeBlanc

Evaluation and testing are critical for the development of Automated Vehicles (AVs). Currently, companies test AVs on public roads, which is very time-consuming and inefficient. We proposed the Accelerated Evaluation concept which uses a modified statistics of the surrounding vehicles and the Importance Sampling theory to reduce the evaluation time by severa

Daniele Di Pietro, Jerome Droniou

In this work we prove optimal $W^{s,p}$-approximation estimates (with $p\in[1,+\infty]$) for elliptic projectors on local polynomial spaces. The proof hinges on the classical Dupont--Scott approximation theory together with two novel abstract lemmas: An approximation result for bounded projectors, and an $L^p$-boundedness result for $L^2$-orthogonal projecto

Henrik Garde

Detecting inhomogeneities in the electrical conductivity is a special case of the inverse problem in electrical impedance tomography, that leads to fast direct reconstruction methods. One such method can, under reasonable assumptions, exactly characterize the inhomogeneities based on monotonicity properties of either the Neumann-to-Dirichlet map (non-linear)

Christophe Besse, Guillaume Dujardin, Ingrid Lacroix-Violet

This article deals with the numerical integration in time of nonlinear Schrödinger equations. The main application is the numerical simulation of rotating Bose-Einstein condensates. The authors perform a change of unknown so that the rotation term disappears and they obtain as a result a nonautonomous nonlinear Schrödinger equation. They consider exponential

F. Carvalho, A. V. Giannini, V. P. Goncalves, F. S. Navarra

We study $D$ - meson production at forward rapidities taking into account the non - linear effects in the QCD dynamics and the intrinsic charm component of the proton wave function. The total cross section, the rapidity distributions and the Feynman - $x$ distributions are calculated for $p p$ collisions at different center of mass energies. Our results show

Andrey M. Stejko, Gustavo Guerrero, Alexander G. Kosovichev, Piotr K. Smolarkiewicz

Various models of solar sub-surface stratification are tested in the global EULAG-MHD solver to simulate diverse regimes of near-surface convective transport. Sub- and superadiabacity are altered at the surface of the model ($ r > 0.95~R_{\odot}$) to either suppress or enhance convective flow speeds in an effort to investigate the impact of the near-surface

Michael F. Bietenholz, Norbert Bartel

We present a new 5-GHz global-VLBI image of supernova 1986J, observed in 2014 at $t=31.6$ yr after the explosion, and compare it to previous images to show the evolution of the supernova. Our new image has a dynamic range of ~100 and a background rms noise level of 5.9 $μ$Jy beam$^{-1}$. There is no significant linear polarization, with the image peak being

J. F. E. Croft, C. Makrides, M. Li, A. Petrov

A fundamental question in the study of chemical reactions is how reactions proceed at a collision energy close to absolute zero. This question is no longer hypothetical: quantum degenerate gases of atoms and molecules can now be created at temperatures lower than a few tens of nanoKelvin. In this work we consider the benchmark ultracold reaction between, the

Johannes Reich

Several synergistic trends, subsumed under the phrase &#34;Internet of things (IoT)&#34; massively drive the increasing importance of networking applications. In the past, the exponential growth of the Internet was mainly due to semantically agnostic transport protocols. In the future it is to be expected that, because of the increasing autonomy of technical

Serena Fazzini, Luca Barbiero, Arianna Montorsi

We apply the bosonization technique to derive the phase diagram of a balanced unit density two-component dipolar Fermi gas in a one dimensional lattice geometry. The considered interaction processes are of the usual contact and dipolar long-range density-density type together with peculiar correlated hopping terms which can be generated dynamically. Rigorous

Ian Melbourne, Dalia Terhesiu

We obtain results on mixing for a large class of (not necessarily Markov) infinite measure semiflows and flows. Erickson proved, amongst other things, a strong renewal theorem in the corresponding i.i.d. setting. Using operator renewal theory, we extend Erickson&#39;s methods to the deterministic (i.e. non-i.i.d.) continuous time setting and obtain results o

Joost van Amersfoort, Anitha Kannan, Marc&#39;Aurelio Ranzato, Arthur Szlam

In this work we propose a simple unsupervised approach for next frame prediction in video. Instead of directly predicting the pixels in a frame given past frames, we predict the transformations needed for generating the next frame in a sequence, given the transformations of the past frames. This leads to sharper results, while using a smaller prediction mode

Alexandre V. Tishchenko, Alexey A. Shcherbakov

Implementing the modal method in the electromagnetic grating diffraction problem delivered by the curvilinear coordinate transformation yields a general analytical solution to the 1D grating diffraction problem in a form of a T-matrix. Simultaneously it is shown that the validity of the Rayleigh expansion is defined by the validity of the modal expansion in

Dongxi Ye

In this note, we establish $Γ_{1}(N)$-analogues for the monster denominator formula.

Haiqiang Niu, Emma Reeves, Peter Gerstoft

Source localization in ocean acoustics is posed as a machine learning problem in which data-driven methods learn source ranges directly from observed acoustic data. The pressure received by a vertical linear array is preprocessed by constructing a normalized sample covariance matrix (SCM) and used as the input. Three machine learning methods (feed-forward ne

Andrea Coser, Cristiano De Nobili, Erik Tonni

We construct a contour function for the entanglement entropies in generic harmonic lattices. In one spatial dimension, numerical analysis are performed by considering harmonic chains with either periodic or Dirichlet boundary conditions. In the massless regime and for some configurations where the subsystem is a single interval, the numerical results for the

Ahmad Issa

In this note, we complete the classification of quasi-alternating Montesinos links. We show that the quasi-alternating Montesinos links are precisely those identified independently by Qazaqzeh-Chbili-Qublan and Champanerkar-Ording. A consequence of our proof is that a Montesinos link $L$ is quasi-alternating if and only if its double branched cover is an L-s

Vincent Cohen-Addad, Chris Schwiegelshohn

We study the classic $k$-median and $k$-means clustering objectives in the beyond-worst-case scenario. We consider three well-studied notions of structured data that aim at characterizing real-world inputs: Distribution Stability (introduced by Awasthi, Blum, and Sheffet, FOCS 2010), Spectral Separability (introduced by Kumar and Kannan, FOCS 2010), Perturba

John Gertz

Regulations governing METI are weak or non-existent. Post-detection SETI protocols are non-binding and too general. Vastly increased SETI capabilities, Chinese involvement in the field, and an intensified effort by METI-ists to initiate radio transmissions to the stars are among reasons cited for urgency in addressing the question of appropriate regulations.

Iddo Bentov, Alex Mizrahi, Meni Rosenfeld

We consider a prediction market in which all aspects are controlled by market forces, in particular the correct outcomes of events are decided by the market itself rather than by trusted arbiters. This kind of a decentralized prediction market can sustain betting on events whose outcome may remain unresolved for a long or even unlimited time period, and can

Yousef Vahabzadeh, Nima Chamanara, Christophe Caloz

We propose an FDTD scheme based on Generalized Sheet Transition Conditions (GSTCs) for the simulation of polychromatic, nonlinear and space-time varying metasurfaces. This scheme consists in placing the metasurface at virtual nodal plane introduced between regular nodes of the staggered Yee grid and inserting fields determined by GSTCs in this plane in the s