Skip to content

August 2018 arXiv papers — page 26

Showing 2,501–2,600 of 10,858 papers

  1. Alexey Burov

    At strong space charge, transverse modes of the bunch core may effectively couple with those of the halo, leading to instabilities well below the core-only transverse mode-coupling threshold.

  2. Xiaolin Zheng, Mengying Zhu, Qibing Li, Chaochao Chen

    Artificial intelligence (AI) is the core technology of technological revolution and industrial transformation. As one of the new intelligent needs in the AI 2.0 era, financial intelligence has elicited much attention from the academia and industry. In our current dynamic capital market, financial intelligence demonstrates a fast and accurate machine learning

  3. Philipp Kindermann, Fabrizio Montecchiani, Lena Schlipf, André Schulz

    We show that the 1-planar slope number of 3-connected cubic 1-planar graphs is at most 4 when edges are drawn as polygonal curves with at most 1 bend each. This bound is obtained by drawings whose vertex and crossing resolution is at least $π/4$. On the other hand, if the embedding is fixed, then there is a 3-connected cubic 1-planar graph that needs 3 slope

  4. M. N. Najafi, M. Rahimi

    Some features of random networks with excitable nodes that are embeddable in the Euclidean space are not describable in terms of the conventional integrate and fire model (IFM) alone, and some further details should be involved. In the present paper we consider the effect of the retardation, i.e. the time that is needed for a signal to traverse between two a

  5. Emmanouil Antonios Platanios, Mrinmaya Sachan, Graham Neubig, Tom Mitchell

    We propose a simple modification to existing neural machine translation (NMT) models that enables using a single universal model to translate between multiple languages while allowing for language specific parameterization, and that can also be used for domain adaptation. Our approach requires no changes to the model architecture of a standard NMT system, bu

  6. Hedibert F. Lopes, Nicholas G. Polson

    Bayesian hypothesis testing is re-examined from the perspective of an a priori assessment of the test statistic distribution under the alternative. By assessing the distribution of an observable test statistic, rather than prior parameter values, we provide a practical default Bayes factor which is straightforward to interpret. To illustrate our methodology,

  7. Nathan P. Lourie, Peter A. R. Ade, Francisco E. Angile, Peter C. Ashton

    The Next Generation Balloon-borne Large Aperture Submillimeter Telescope (BLAST-TNG) is a submillimeter mapping experiment planned for a 28 day long-duration balloon (LDB) flight from McMurdo Station, Antarctica during the 2018-2019 season. BLAST-TNG will detect submillimeter polarized interstellar dust emission, tracing magnetic fields in galactic molecular

  8. Austin D. Griffith, Robert S. Hoy

    We identify the maximally dense lattice packings of tangent-disk trimers with fixed bond angles ($θ= θ_0$) and contrast them to both their nonmaximally-dense-but-strictly-jammed lattice packings as well as the disordered jammed states they form for a range of compression protocols. While only $θ_0 = 0,\ 60^\circ,\ \rm{and}\ 120^\circ$ trimers can form the tr

  9. Aaron Berger, Danielle Wang

    For an abelian group $G$ and an integer $t > 0$, the \emph{modified Erdös--Ginzburg--Ziv constant} $s_t'(G)$ is the smallest integer $\ell$ such that any zero-sum sequence of length at least $\ell$ with elements in $G$ contains a zero-sum subsequence (not necessarily consecutive) of length $t$. We compute $s_t'(G)$ for $G = \mathbb Z/n\mathbb Z$ and

  10. Hai Wang, Hoifung Poon

    Deep learning has emerged as a versatile tool for a wide range of NLP tasks, due to its superior capacity in representation learning. But its applicability is limited by the reliance on annotated examples, which are difficult to produce at scale. Indirect supervision has emerged as a promising direction to address this bottleneck, either by introducing label

  11. August Johansson, Benjamin Kehlet, Mats G. Larson, Anders Logg

    We present a new framework for expressing finite element methods on multiple intersecting meshes: multimesh finite element methods. The framework enables the use of separate meshes to discretize parts of a computational domain that are naturally separate; such as the components of an engine, the domains of a multiphysics problem, or solid bodies interacting

  12. Salar Fattahi, Somayeh Sojoudi

    In this paper, we study the system identification problem for sparse linear time-invariant systems. We propose a sparsity promoting block-regularized estimator to identify the dynamics of the system with only a limited number of input-state data samples. We characterize the properties of this estimator under high-dimensional scaling, where the growth rate of

  13. Rupert Way, François Lafond, Fabrizio Lillo, Valentyn Panchenko

    We consider how to optimally allocate investments in a portfolio of competing technologies using the standard mean-variance framework of portfolio theory. We assume that technologies follow the empirically observed relationship known as Wright's law, also called a "learning curve" or "experience curve", which postulates that costs drop as

  14. Yuri Dimitrov, Venelin Todorov, Radan Miryanov

    In the present paper we use the expansion formula of the polylogarithm function to construct approximations of the Caputo derivative which are related to the midpoint approximation of the integral in the definition of the Caputo derivative. The asymptotic expansion formula of the Riemann sum approximation of the beta function and the first terms of the expan

  15. Zhisong Zhang, Rui Wang, Masao Utiyama, Eiichiro Sumita

    In Neural Machine Translation (NMT), the decoder can capture the features of the entire prediction history with neural connections and representations. This means that partial hypotheses with different prefixes will be regarded differently no matter how similar they are. However, this might be inefficient since some partial hypotheses can contain only local

  16. Danielle Wang

    Let $\mathcal I_n$ and $\mathcal J_n$ denote the set of involutions and fixed-point free involutions of $\{1, \dots, n\}$, respectively, and let $\text{des}(π)$ denote the number of descents of the permutation $π$. We prove a conjecture of Guo and Zeng which states that $I_n(t) := \sum_{π\in \mathcal I_n} t^{\text{des}(π)}$ is $γ$-positive for $n \ge 1$ and

  17. Sergei Alexandrov, Boris Pioline

    By enforcing invariance under S-duality in type IIB string theory compactified on a Calabi-Yau threefold, we derive modular properties of the generating function of BPS degeneracies of D4-D2-D0 black holes in type IIA string theory compactified on the same space. Mathematically, these BPS degeneracies are the generalized Donaldson-Thomas invariants counting

  18. András Frank, Kazuo Murota

    We continue to consider the discrete decreasing minimization problem on an integral base-polyhedron treated in Part I. The problem is to find a lexicographically minimal integral vector in an integral base-polyhedron, where the components of a vector are arranged in a decreasing order. This study can be regarded as a discrete counter-part of the work by Fuji

  19. Fei Dai, Kento Masuda, Joshua N. Winn

    The {\it Kepler} mission revealed a population of compact multiple-planet systems with orbital periods shorter than a year, and occasionally even shorter than a day. By analyzing a sample of 102 {\it Kepler} and {\it K2} multi-planet systems, we measure the minimum difference $ΔI$ between the orbital inclinations, as a function of the orbital distance of the

  20. Ripon Patgiri

    The Big Data is the most popular paradigm nowadays and it has almost no untouched area. For instance, science, engineering, economics, business, social science, and government. The Big Data are used to boost up the organization performance using massive amount of dataset. The Data are assets of the organization, and these data gives revenue to the organizati

  21. J. Sperling, I. A. Walmsley

    The quasiprobability representation of quantum states addresses two main concerns, the identification of nonclassical features and the decomposition of the density operator. While the former aspect is a main focus of current research, the latter decomposition property has been studied less frequently. In this contribution, we introduce a method for the gener

  22. Emre Demirkaya, Yingying Fan, Lan Gao, Jinchi Lv

    The weighted nearest neighbors (WNN) estimator has been popularly used as a flexible and easy-to-implement nonparametric tool for mean regression estimation. The bagging technique is an elegant way to form WNN estimators with weights automatically generated to the nearest neighbors; we name the resulting estimator as the distributional nearest neighbors (DNN

  23. Misha Rudnev, George Shakan, Ilya Shkredov

    Let $F$ be a field and a finite $A\subset F$ be sufficiently small in terms of the characteristic $p$ of $F$ if $p>0$. We strengthen the "threshold" sum-product inequality $$|AA|^3 |A\pm A|^2 \gg |A|^6\,,\;\;\;\;\mbox{hence} \;\; \;\;|AA|+|A+A|\gg |A|^{1+\frac{1}{5}},$$ due to Roche-Newton, Rudnev and Shkredov, to $$|AA|^5 |A\pm A|^4 \gg |A|^{11-o(1)

  24. Brice Huang

    We show a $n^2 \cdot 2^{n/2}$ upper bound on the number of $(132,213)$ avoiding cyclic permutations. This is the first nontrivial upper bound on the number of such permutations. We also construct an algorithm to determine whether a $(132,213)$ avoiding permutation is cyclic that references only the permutation's layer lengths.

  25. Smitha Milli, John Miller, Anca D. Dragan, Moritz Hardt

    Consequential decision-making typically incentivizes individuals to behave strategically, tailoring their behavior to the specifics of the decision rule. A long line of work has therefore sought to counteract strategic behavior by designing more conservative decision boundaries in an effort to increase robustness to the effects of strategic covariate shift.

  26. Daniel Rosen, Jun Zhang

    In this paper we study submanifolds of contact manifolds. The main submanifolds we are interested in are contact coisotropic submanifolds. Based on a correspondence between symplectic and contact coisotropic submanifolds, we can show contact coisotropic submanifolds admit a $C^0$-rigidity, similar to Humilière-Leclercq-Seyfaddini's coisotropic rigidity o

  27. Yu Feng Su, Sumana Bhattacharya, Seung Jae Lee, Chang Hoon Lee

    This study provides a new interpretation of 3D particle geometry that unravels the 'interrelation' of the four geometry parameters, i.e., morphology M, surface area A, volume V, and size L, for which a new formula, M = A/V$\times$L/6, is introduced to translate the 3D particle morphology as a function of surface area, volume, and size. The A/V$\times

  28. Anatoliy Vasylenko

    We analyse the properties of the X-ray emission from Seyfert 2 NGC 7172 which are based on the 32 ks observational data from NuSTAR in 2014. This source showed a constant Compton-thin obscuration $N_{H}\approx 8\cdot 10^{22} cm^{-2}$, which is similar to that observed by XMM-Newton, Suzaku, ASCA and BeppoSAX over past 30 years. We revealed the presence of a

  29. Pedro Labrana, Hobby Cossio

    In this work we study an alternative scheme for an Emergent Universe scenario in the context of a Jordan-Brans-Dicke theory, where the universe is initially in a truly static state supported by a scalar field located in a false vacuum. The model presents a classically stable past eternal static state which is broken when, by quantum tunneling, the scalar fie

  30. D. L. Gonçalves, T. Nasybullov

    For $g\geq1$ denote by $F_{2g}=\langle x_1, y_1,\dots,x_g,y_g\rangle$ the free group on $2g$ generators and by $B_g=[x_1,y_1]\dots[x_g,y_g]$. For $l,c\geq 1$ and elements $w_1,\dots,w_l\in F_{2g}$ we study orientable quadratic equations of the form $[u_1,v_1]\dots[u_h,v_h]=(B_g^{w_1})^c(B_g^{w_2})^c\dots(B_g^{w_l})^c$ with unknowns $u_1,v_1,\dots,u_h,v_h$ an

  31. Bui Xuan Hai, Huynh Viet Khanh

    The study of the existence of free groups in skew linear groups have been begun since the last decades of the 20-th century. The starting point is the theorem of Tits (1972), now often is referred as Tits' Alternative, stating that every finitely generated subgroup of the general linear group $\GL_n(F)$ over a field $F$ either contains a non-cyclic free

  32. Bui Xuan Hai, Vu Mai Trang, Mai Hoang Bien

    Let $D$ be a division ring with center $F$ and $K$ a division subring of $D$. In this paper, we show that a non-central normal subgroup $N$ of the multiplicative group $D^*$ is left algebraic over $K$ if and only if so is $D$ provided $F$ is uncountable and contained in $K$. Also, if $K$ is a field and the $n$-th derived subgroup $D^{(n)}$ of $D^{*}$ is left

  33. Wensheng Tang

    Many practical problems can be described by second-order system $\ddot{q}=-M\nabla U(q)$, in which people give special emphasis to some invariants with explicit physical meaning, such as energy, momentum, angular momentum, etc. However, conventional numerical integrators for such systems will fail to preserve any of these quantities which may lead to qualita

  34. Martin Klazar

    For enumerative problems, i.e. computable functions f from N to Z, we define the notion of an effective (or closed) formula. It is an algorithm computing f(n) in the number of steps that is polynomial in the combined size of the input n and the output f(n), both written in binary notation. We discuss many examples of enumerative problems for which such close

  35. I. L. Buchbinder, E. A. Ivanov, B. S. Merzlikin, K. V. Stepanyantz

    We study the gauge dependence of the one-loop effective action for the abelian $6D$, ${\cal N}=(1,0)$ supersymmetric gauge theory formulated in harmonic superspace. We introduce the superfield $ξ$-gauge, construct the corresponding gauge superfield propagator, and calculate the one-loop two-and three-point Green functions with two external hypermultiplet leg

  36. Anirudha Poria

    In this paper, we introduce the concept of semi-continuous $g$-frames in Hilbert spaces. We first construct an example of semi-continuous $g$-frames using the Fourier transform of the Heisenberg group and study the structure of such frames. Then, as an application we provide some fundamental identities and inequalities for semi-continuous $g$-frames. Finally

  37. Fabio Corradi, Monica Musio

    In causal inference, and specifically in the \textit{Causes of Effects} problem, one is interested in how to use statistical evidence to understand causation in an individual case, and so how to assess the so-called {\em probability of causation} (PC). The answer relies on the potential responses, which can incorporate information about what would have happe

  38. Zhong Zhou, Matthias Sperber, Alex Waibel

    Paraphrases, the rewordings of the same semantic meaning, are useful for improving generalization and translation. However, prior works only explore paraphrases at the word or phrase level, not at the sentence or corpus level. Unlike previous works that only explore paraphrases at the word or phrase level, we use different translations of the whole training

  39. Bruno Martelli

    We classify all the exceptional Dehn surgeries on the minimally twisted chain links with six and seven components.

  40. Yueyue Wang, Liang Zhao, Zhijian Song, Manning Wang

    Accurate segmentation of organ at risk (OAR) play a critical role in the treatment planning of image guided radiation treatment of head and neck cancer. This segmentation task is challenging for both human and automatic algorithms because of the relatively large number of OARs to be segmented, the large variability of the size and morphology across different

  41. Kazutoshi Sasahara

    Food preferences not only originate from a person's dietary habits, but also reflect personal values and consumer awareness. This study addresses `food identity' or the relationship between food preferences and personal attributes based on the concept of `food left-wing' (e.g., vegetarians) and `food right-wing' (e.g., fast-food lovers) by an

  42. Alexander Strohmaier, Steve Zelditch

    We give a relativistic generalization of the Gutzwiller-Duistermaat-Guillemin trace formula for the wave group of a compact Riemannian manifold to globally hyperbolic stationary space-times with compact Cauchy hypersurfaces. We introduce several (essentially equivalent) notions of trace of self-adjoint operators on the null-space $\ker \Box$ of the wave oper

  43. Rajmohan C, Pranay Lohia, Himanshu Gupta, Siddhartha Brahma

    In this paper, we investigate how we can leverage Spark platform for efficiently processing provenance queries on large volumes of workflow provenance data. We focus on processing provenance queries at attribute-value level which is the finest granularity available. We propose a novel weakly connected component based framework which is carefully engineered t

  44. Iddo Eliazar, Ralf Metzler, Shlomi Reuveni

    The Max-Min and Min-Max of matrices arise prevalently in science and engineering. However, in many real-world situations the computation of the Max-Min and Min-Max is challenging as matrices are large and full information about their entries is lacking. Here we take a statistical-physics approach and establish limit-laws -- akin to the Central Limit Theorem

  45. Ilya Gekhtman, Samuel J. Taylor, Giulio Tiozzo

    We prove a central limit theorem for the length of closed geodesics in any compact orientable hyperbolic surface. In the special case of a hyperbolic pair of pants, this settles a conjecture of Chas-Li-Maskit.

  46. Johannes Jaerisch, Hiroki Sumi

    We consider the random iteration of finitely many expanding $\mathcal{C}^{1+ε}$ diffeomorphisms on the real line without a common fixed point. We derive the spectral gap property of the associated transition operator acting on Hölder spaces. As an application we introduce generalised Takagi functions on the real line and we perform a complete multifractal an

  47. Yi-Jun Chang, Manuela Fischer, Mohsen Ghaffari, Jara Uitto

    We present new randomized algorithms that improve the complexity of the classic $(Δ+1)$-coloring problem, and its generalization $(Δ+1)$-list-coloring, in three well-studied models of distributed, parallel, and centralized computation: Distributed Congested Clique: We present an $O(1)$-round randomized algorithm for $(Δ+1)$-list coloring in the congested cli

  48. Rosalba Garcia-Millan, Johannes Pausch, Benjamin Walter, Gunnar Pruessner

    Branching processes are widely used to model phenomena from networks to neuronal avalanching. In a large class of continuous-time branching processes, we study the temporal scaling of the moments of the instant population size, the survival probability, expected avalanche duration, the so-called avalanche shape, the $n$-point correlation function and the pro

  49. Gabor Lugosi, Abbas Mehrabian

    We study multiplayer stochastic multi-armed bandit problems in which the players cannot communicate and if two or more players pull the same arm, a collision occurs and the involved players receive zero reward. We consider two feedback models: a model in which the players can observe whether a collision has occurred and a more difficult setup when no collisi

  50. Robert J. Bettles, Teodora Ilieva, Hannes Busche, Paul Huillery

    We present a theoretical and experimental analysis of transient optical properties of a dense cold atomic gas. After the rapid extinction of a weak coherent driving field (mean photon number $\sim 1.5$), a transient `flash' is observed. Surprisingly the decay of the `flash' is faster than the decay of the fastest superradiant mode of the system. We s

  51. Ammar Gilani, Maryam Amirmazlaghani

    Feature selection methods are widely used in order to solve the 'curse of dimensionality' problem. Many proposed feature selection frameworks, treat all data points equally; neglecting their different representation power and importance. In this paper, we propose an unsupervised hypergraph feature selection method via a novel point-weighting framewor

  52. N. C. Combe

    We consider a new stratification of the space of configurations of $n$ marked points on the complex plane. Recall that this space can be differently interpreted as the space $^{\rm D}{\rm Pol}_{n}$ of degree $n>1$ complex, monic polynomials with distinct roots, the sum of which is 0. A stratum $A_σ$ is the set of polynomials having $P^{-1}(\mathbb{R}\cup\ima

  53. Radu Tudor Ionescu, Andrei M. Butnaru

    Recently, string kernels have obtained state-of-the-art results in various text classification tasks such as Arabic dialect identification or native language identification. In this paper, we apply two simple yet effective transductive learning approaches to further improve the results of string kernels. The first approach is based on interpreting the pairwi

  54. Christophe Charlier, Jonatan Lenells

    We consider the higher order asymptotics for the mKdV equation in the Painlevé sector. We first show that the solution admits a uniform expansion to all orders in powers of $t^{-1/3}$ with coefficients that are smooth functions of $x(3t)^{-1/3}$. We then consider the special case when the reflection coefficient vanishes at the origin. In this case, the leadi

  55. Lucas Kuhring, Zsolt István, Alessandro Sorniotti, Marko Vukolić

    Permissioned blockchains promise secure decentralized data management in business-to-business use-cases. In contrast to Bitcoin and similar public blockchains which rely on Proof-of-Work for consensus and are deployed on thousands of geo-distributed nodes, business-to-business use-cases (such as supply chain management and banking) require significantly fewe

  56. S. Alekhin, J. Bluemlein, S. -O. Moch

    We consider some trends, achievements and a series of remaining problems in the precision determination of parton distribution functions. For the description of the scaling violations of the deep-inelastic scattering data, forming the key ingredients to all PDF fits, a solid theoretical framework is of importance. It is provided by the fixed flavor number sc

  57. Antonio Lasanta, Francisco Vega Reyes, Antonio Prados, Andrés Santos

    Control of cooling and heating processes is essential in many industrial and biological processes. In fact, the time evolution of an observable quantity may differ according to the previous history of the system. For example, a system that is being subject to cooling and then, at a given time $t_{w}$ for which the instantaneous temperature is $T(t_w)=T_{\mat

  58. J. A. Rosabal

    In this work, based on the worldline path integral representation of the vacuum energy in spacetime with a Lorentzian metric, we provide a new but complementary interpretation of the Unruh effect. We perform the quantization of the massless free scalar field in Rindler space specifying initial and final conditions. After quantization, the final outcome for t

  59. Kuldeep Singh Charak, Manish Kumar, Anil Singh

    In this paper we investigate the primeness of a class of entire functions and discuss the dynamics of a periodic member f of this class with respect to a transcendental entire function g that permutes with f. In particular we show that the Julia sets of f and g are identical.

  60. Christophe Berthod

    Scanning tunneling experiments on single crystals of superconducting FeTe$_{0.55}$Se$_{0.45}$ have recently provided evidence for discrete energy levels inside vortices. Although predicted long ago, such levels are seldom resolved due to extrinsic (temperature, instrumentation) and intrinsic (quasiparticle scattering) limitations. We study a microscopic mult

  61. Matthew J. Lake, Bernard Carr

    In three spatial dimensions, the Compton wavelength $(R_C \propto M^{-1}$) and Schwarzschild radius $(R_S \propto M$) are dual under the transformation $M \rightarrow M_{P}^2/M$, where $M_{P}$ is the Planck mass. This suggests that there could be a fundamental link -- termed the Black Hole Uncertainty Principle or Compton-Schwarzschild correspondence -- betw

  62. Marc Levine, Arpon Raksit

    The apparatus of motivic stable homotopy theory provides a notion of Euler characteristic for smooth projective varieties, valued in the Grothendieck-Witt ring of the base field. Previous work of the first author and recent work of Déglise-Jin-Khan establishes a "Gauß-Bonnet formula" relating this Euler characteristic to pushforwards of Euler classes

  63. Arindam Lala, Dibakar Roychowdhury

    In this paper, based on the notion of SYK/AdS duality we explore the effects of Yang-Baxter (YB) deformations on the SYK spectrum at strong coupling. In the first part of our analysis, we explore the consequences of YB deformations through the Kaluza-Klein (KK) reduction on $ (AdS_2)_η\times (S^1)/Z_2 $. It turns out that the YB effects (on the SYK spectrum)

  64. John McCormac, Ronald Clark, Michael Bloesch, Andrew J. Davison

    We propose an online object-level SLAM system which builds a persistent and accurate 3D graph map of arbitrary reconstructed objects. As an RGB-D camera browses a cluttered indoor scene, Mask-RCNN instance segmentations are used to initialise compact per-object Truncated Signed Distance Function (TSDF) reconstructions with object size-dependent resolutions a

  65. Olivier Bodini, Antoine Genitrini, Mehdi Naima

    In biology, a phylogenetic tree is a tool to represent the evolutionary relationship between species. Unfortunately, the classical Schröder tree model is not adapted to take into account the chronology between the branching nodes. In particular, it does not answer the question: how many different phylogenetic stories lead to the creation of n species and wha

  66. W. M. Bednorz, Rafał M. Łochowski, R. Martynek

    For a general càdlàg Lévy process on a separable Banach space $V$ we estimate values of $\inf_{Y\in{\cal A}_X} \mathbb{E}\left\{ ψ\left( \Vert X - Y \Vert_\infty\right) + \mathrm{TV}(Y[0,T]) \right\}$, where ${\cal A}_X$ is the family of processes on $V$ adapted to the natural filtration of $X$, $ψ$ has polynomial growth and TV$(Y[0,T])$ denotes the total va

  67. Alessandro Morando, Paola Trebeschi, Tao Wang

    We show the short-time existence and nonlinear stability of vortex sheets for the nonisentropic compressible Euler equations in two spatial dimensions, based on the weakly linear stability result of Morando--Trebeschi (2008) [20]. The missing normal derivatives are compensated through the equations of the linearized vorticity and entropy when deriving higher

  68. Michael Christ, Marina Iliopoulou

    A version of the Riesz-Sobolev convolution inequality is formulated and proved for arbitrary compact connected Abelian groups. Maximizers are characterized and a quantitative stability theorem is proved, under natural hypotheses. A corresponding stability theorem for sets whose sumset has nearly minimal measure is also proved, sharpening recent results of ot

  69. Chih-Chuan Su, Chi-Sheng Li, Tzu-Cheng Wang, Syu-You Guan

    Dirac nodal line semimetals represent a new state of quantum matters in which the electronic bands touch to form a closed loop with linear dispersion. Here, we report a combined study on ZrSiS by density functional theory calculation, scanning tunneling microscope (STM) and magneto-transport measurements. Our STM measurements reveal the spectroscopic signatu

  70. Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan

    C language is one of the most popular languages for software systems. In order to verify safety, reliability and security properties of such systems written in C, a tool UMC4M for runtime verification at code level based on Modeling, Simulation and Verification Language (MSVL) and its compiler MC is employed. To do so, a C program $P$ has to be translated to

  71. M. P. B. Gallaugher, C. Biernacki, P. D. McNicholas

    In recent years, data dimensionality has increasingly become a concern, leading to many parameter and dimension reduction techniques being proposed in the literature. A parameter-wise co-clustering model, for data modelled via continuous random variables, is presented. The proposed model, although allowing more flexibility, still maintains the very high degr

  72. A. Skopenkov

    We present a short exposition of the following results by S. Parsa. Let $L$ be a graph such that the join $L*\{1,2,3\}$ (i.e. the union of three cones over $L$ along their common bases) piecewise linearly (PL) embeds into $\mathbb R^4$. Then $L$ admits a PL embedding into $\mathbb R^3$ such that any two disjoint cycles have zero linking number. There is $C$

  73. Takehiro Yonehara, Takahito Nakajima

    We propose a method using reduced size of Hilbert space to describe an electron dynamics in molecule and aggregate based on our previous theoretical scheme [ T. Yonehara and T. Nakajima, J. Chem. Phys. \textbf{147}, 074110 (2017) ]. The real-time time-dependent density functional theory is combined with newly introduced projected group diabatic Fock matrix.

  74. Qian Wu, Emiko Hiyama, Hyun-Chul Kim, Ulugbek Yakhshiev

    We investigate the mass spectra of ordinary heavy mesons, based on a nonrelativistic potential approach. The heavy-light quark potential contains the Coulomb-type potential arising from one-gluon exchange, the confining potential, and the instanton-induced nonperturbative local heavy-light quark potential. All parameters are theoretically constrained and fix

  75. J. L. Cheng, J. E. Sipe, S. W. Wu, Chunlei Guo

    The existence of large nonlinear optical coefficients is one of the preconditions for using nonlinear optical materials in nonlinear optical devices. For a crystal, such large coefficients can be achieved by matching photon energies with resonant energies between different bands, and so the details of the crystal band structure play an important role. Here w

  76. Aron Laszka, Waseem Abbas, Yevgeniy Vorobeychik, Xenofon Koutsoukos

    In recent years, state-of-the-art traffic-control devices have evolved from standalone hardware to networked smart devices. Smart traffic control enables operators to decrease traffic congestion and environmental impact by acquiring real-time traffic data and changing traffic signals from fixed to adaptive schedules. However, these capabilities have inadvert

  77. Jingbo Jiang, Diego Legrand, Robert Severn, Risto Miikkulainen

    Multivariate testing has recently emerged as a promising technique in web interface design. In contrast to the standard A/B testing, multivariate approach aims at evaluating a large number of values in a few key variables systematically. The Taguchi method is a practical implementation of this idea, focusing on orthogonal combinations of values. This paper e

  78. Wei-Tao Wu, Nadine Aubry, James F. Antaki, Mehrdad Massoudi

    Motivated by the complex rheological behaviors observed in small/micro scale blood vessels, such as the Fahraeus effect, plasma-skimming, shear-thinning, etc., we develop a non-linear suspension model for blood. The viscosity is assumed to depend on the volume fraction (hematocrit) and the shear rate. The migration of the red blood cells (RBCs) is studied us

  79. Liang He, Xianhong Chen, Can Xu, Jia Liu

    Most current state-of-the-art text-independent speaker verification systems take probabilistic linear discriminant analysis (PLDA) as their backend classifiers. The parameters of PLDA are often estimated by maximizing the objective function, which focuses on increasing the value of log-likelihood function, but ignoring the distinction between speakers. In or

  80. Luis Pedro García-Pintos, Diego Tielas, Adolfo del Campo

    Spontaneous symmetry breaking (SSB) is responsible for structure formation in scenarios ranging from condensed matter to cosmology. SSB is broadly understood in terms of perturbations to the Hamiltonian governing the dynamics or to the state of the system. We study SSB due to quantum monitoring of a system via continuous quantum measurements. The acquisition

  81. Jun-Han Lin, Bo-Jun Huang, H. H. Cheng, Guo-En Chang

    Mid-infrared silicon photonics has recently emerged as a new technology for a wide range of applications such as optical communication, lidar, and bio-sensing. One key component enabling this technology is the mid-infrared optical modulator used for encoding optical signals. Here, we present a GeSn electro-absorption modulator that can operate in the mid-inf

  82. Kateryna Slovak, Serhiy Semerikov, Yu. V. Tryus

    The formation and development of the human person is most influenced by the environment in which it lives, studies, works. Therefore, the problem of the creation of such a high-tech information and communication educational and scientific environment, in which the student is on a daily basis during the whole period of study at univeristy, which should meet t

  83. C. V. Hampton, M. Lugaro, P. Papakonstantinou, P. G. Isar

    Female role models reduce the impact on women of stereotype threat, i.e., of being at risk of conforming to a negative stereotype about one's social, gender, or racial group. This can lead women scientists to underperform or to leave their scientific career because of negative stereotypes such as, not being as talented or as interested in science as men.

  84. Ram Krishna Pandey, Nabagata Saha, Samarjit Karmakar, A G Ramakrishnan

    With the recent advancement in the deep learning technologies such as CNNs and GANs, there is significant improvement in the quality of the images reconstructed by deep learning based super-resolution (SR) techniques. In this work, we propose a robust loss function based on the preservation of edges obtained by the Canny operator. This loss function, when co

  85. Pankaj Raj Roy, Guillaume-Alexandre Bilodeau

    In this paper, we focus on the development of a method that detects abnormal trajectories of road users at traffic intersections. The main difficulty with this is the fact that there are very few abnormal data and the normal ones are insufficient for the training of any kinds of machine learning model. To tackle these problems, we proposed the solution of us

  86. B. Ravindra

    Dust storms are common in arid zones on the earth and others planets such as Mars. The impact of dust storms on solar radiation has significant implications for solar power plants and autonomous vehicles powered by solar panels. This paper deals with the analysis of solar radiation and power output of a rooftop photovoltaic plant during a dust storm and prop

  87. Christian de Ronde, César Massri

    In this paper we we will argue against the orthodox definition of quantum entanglement which has been implicitly grounded on several widespread (metaphysical) presuppositions which have no relation whatsoever to the formalism of QM. We will show how these presuppositions have been introduced through a naive interpretation of the quantum mathematical structur

  88. Jaydip Sen, Moonkun Lee, Sunghyeon Lee, Yeongbok Choe

    The term "Internet of Things" (IoT) refers to an ecosystem of interconnected physical objects and devices that are accessible through the Internet and can communicate with each other. The main strength of the IoT vision is the high impact it has created and will continue to do so on several aspects of the everyday life and behavior of its potential u

  89. Tianshui Chen, Riquan Chen, Lin Nie, Xiaonan Luo

    This paper focuses on semantic task planning, i.e., predicting a sequence of actions toward accomplishing a specific task under a certain scene, which is a new problem in computer vision research. The primary challenges are how to model task-specific knowledge and how to integrate this knowledge into the learning procedure. In this work, we propose training

  90. Ramy Amer

    The frequency spectrum is an essential resource for wireless communication. Special sections of the spectrum are used for military purposes, governments sell some frequency bands to broadcasting and mobile communications companies for commercial use, others such as ISM (Industrial, Science and Medical) bands are available for the public free of charge. As th

  91. Mark Sabini, Gili Rusak

    The challenging task of image outpainting (extrapolation) has received comparatively little attention in relation to its cousin, image inpainting (completion). Accordingly, we present a deep learning approach based on Iizuka et al. for adversarially training a network to hallucinate past image boundaries. We use a three-phase training schedule to stably trai

  92. Alceu Bissoto, Fábio Perez, Vinícius Ribeiro, Michel Fornaciali

    This extended abstract describes the participation of RECOD Titans in parts 1 to 3 of the ISIC Challenge 2018 "Skin Lesion Analysis Towards Melanoma Detection" (MICCAI 2018). Although our team has a long experience with melanoma classification and moderate experience with lesion segmentation, the ISIC Challenge 2018 was the very first time we worked

  93. Yunpeng Zhao

    In social network analysis, the observed data is usually some social behavior, such as the formation of groups, rather than an explicit network structure. Zhao and Weko (2017) propose a model-based approach called the hub model to infer implicit networks from grouped observations. The hub model assumes independence between groups, which sometimes is not vali

  94. P. Padmanabhan, F. Sekiguchi, R. B. Versteeg, E. Slivina

    GaV$_4$S$_8$ is a multiferroic semiconductor hosting magnetic cycloid (Cyc) and Néel-type skyrmion lattice (SkL) phases with a broad region of thermal and magnetic stability. Here, we use time-resolved magneto-optical Kerr spectroscopy and micro-magnetic simulations to demonstrate the coherent generation of collective spin excitations in the Cyc and SkL phas

  95. Siyuan Qi, Yixin Zhu, Siyuan Huang, Chenfanfu Jiang

    We present a human-centric method to sample and synthesize 3D room layouts and 2D images thereof, to obtain large-scale 2D/3D image data with perfect per-pixel ground truth. An attributed spatial And-Or graph (S-AOG) is proposed to represent indoor scenes. The S-AOG is a probabilistic grammar model, in which the terminal nodes are object entities. Human cont

  96. Gaby Launay, E. Mignot, N. Riviere, R. Perkins

    An emerging long obstacle placed in a boundary layer developing under a free-surface generates a complex horseshoe vortex (HSV) system, which is composed of a set of vortices exhibiting a rich variety of dynamics. The present experimental study examines such flow structure and characterizes precisely, using PIV measurements, the evolution of the HSV geometri

  97. Y. Alex Kolchinski, Christopher Potts

    We explore two methods for representing authors in the context of textual sarcasm detection: a Bayesian approach that directly represents authors' propensities to be sarcastic, and a dense embedding approach that can learn interactions between the author and the text. Using the SARC dataset of Reddit comments, we show that augmenting a bidirectional RNN

  98. Anouar Bahrouni

    The paper considers the Schrodinger-Maxwell system with supercritical nonlinearitie. We prove the existence of at least one non-trivial weak solution. This result is already known for the subcritical case. In this paper, we extend it to the supercritical values of p as well. We use a new variational principle to prove our result.

  99. Mathilde Colombeau

    We study numerically the standard one pressure model of two fluid flows with energy equations. This system is not solved in time derivative. It has been transformed into an equivalent system solved in time derivative. We show that the scheme in this paper applies to both solved and nonsolved systems and gives same results. One usually adds a nonphysical term

  100. A. B. Drovosekov, A. O. Savitsky, D. I. Kholin, N. M. Kreines

    Static and dynamic magnetic properties of a ferrimagnetic [Fe(35A)/Gd(50A)]x12 superlattice were investigated in a wide 4-300 K temperature range using magneto-optical Kerr effect (MOKE) and ferromagnetic resonance (FMR) techniques. The multilayer structure was sputtered on a transparent glass substrate which made it possible to perform MOKE measurements on