June 2019 arXiv papers — page 44
Showing 4,301–4,400 of 12,804 papers
Deep-Learning-Based Aerial Image Classification for Emergency Response Applications Using Unmanned Aerial Vehicles
cs.CVChristos Kyrkou, Theocharis Theocharides
Unmanned Aerial Vehicles (UAVs), equipped with camera sensors can facilitate enhanced situational awareness for many emergency response and disaster management applications since they are capable of operating in remote and difficult to access areas. In addition, by utilizing an embedded platform and deep learning UAVs can autonomously monitor a disaster stri
Jin-mo Choi
In this paper, we will describe a network architecture that demonstrates high performance on various sizes of datasets. To do this, we will perform an architecture search by dividing the fully connected layer into three levels in the existing network architecture. The first step is to learn existing CNN layer and existing fully connected layer for 1 epoch. T
Coexistence of Eu-antiferromagnetism and pressure-induced superconductivity in EuFe2As2 single crystal
cond-mat.supr-conW. T. Jin, Y. Xiao, S. Nandi, S. Price
By performing high-pressure single-crystal neutron diffraction measurements, the evolution of structure and magnetic ordering in EuFe2As2 under hydrostatic pressure were investigated. Both the tetragonal-toorthorhombic structural transition and the Fe spin-density-wave (SDW) transition are gradually suppressed and become decoupled with increasing pressure. T
Enhancement of penetration field in vortex nanocrystals due to Andreev bound states
cond-mat.supr-conM. I. Dolz, N. R. Cejas Bolecek, J. Puig, H. Pastoriza
We study the penetration field $H_{\rm P}$ for vortex nanocrystals nucleated in micron-sized samples with edges aligned along the nodal and anti-nodal directions of the d-wave superconducting parameter of Bi$_2$Sr$_2$CaCu$_2$O$_{8 - δ}$. Here we present evidence that the $H_{\rm P}$ for nanocrystals nucleated in samples with edges parallel to the nodal direc
Boris Adamczewski, Reem Yassawi
Christol's theorem characterises algebraic power series over finite fields in terms of finite automata. In a recent article, Bridy develops a new proof of Christol's theorem by Speyer, to obtain a tight quantitative version, that is, to bound the size of the corresponding automaton in terms of the height and degree of the power series, as well as the
On quasi-reversibility solutions to the Cauchy problem for the Laplace equation: regularity and error estimates
math.APLaurent Bourgeois, Lucas Chesnel
We are interested in the classical ill-posed Cauchy problem for the Laplace equation. One method to approximate the solution associated with compatible data consists in considering a family of regularized well-posed problems depending on a small parameter $\varepsilon>0$. In this context, in order to prove convergence of finite elements methods, it is necess
Classification of crystalline insulators without symmetry indicators: atomic and fragile topological phases in twofold rotation symmetric systems
cond-mat.mes-hallSander H. Kooi, Guido van Miert, Carmine Ortix
Topological crystalline phases in electronic structures can be generally classified using the spatial symmetry characters of the valence bands and mapping them onto appropriate symmetry indicators. These mappings have been recently applied to identify thousands of topological electronic materials. There can exist, however, topological crystalline non-trivial
Deepak Uniyal, Ankit Rai
People might not be close-at-hand but they still are - by virtue of the social network. The social network has transformed lives in many ways. People can express their views, opinions and life experiences on various platforms be it Twitter, Facebook or any other medium there is. Such events constitute of reviewing a product or service, conveying views on pol
Substrate mediated nitridation of niobium into superconducting Nb2N thin films for phase slip study
cond-mat.supr-conBikash Gajar, Sachin Yadav, Deepika Sawle, Kamlesh K. Maurya
Here we report a novel nitridation technique for transforming niobium into hexagonal Nb2N which appears to be superconducting below 1K. The nitridation is achieved by high temperature annealing of Nb films grown on Si3N4/Si (100) substrate under high vacuum. The structural characterization directs the formation of a majority Nb2N phase while the morphology s
Jephian C. -H. Lin, Polona Oblak, Helena Šmigoc
We introduce the set $\mathcal{G}^{\rm SSP}$ of all simple graphs $G$ with the property that each symmetric matrix corresponding to a graph $G \in \mathcal{G}^{\rm SSP}$ has the strong spectral property. We find several families of graphs in $\mathcal{G}^{\rm SSP}$ and, in particular, characterise the trees in $\mathcal{G}^{\rm SSP}$.
Maximilian Schleich, Dan Olteanu, Mahmoud Abo Khamis, Hung Q. Ngo
This paper introduces LMFAO (Layered Multiple Functional Aggregate Optimization), an in-memory optimization and execution engine for batches of aggregates over the input database. The primary motivation for this work stems from the observation that for a variety of analytics over databases, their data-intensive tasks can be decomposed into group-by aggregate
Jason Bell, Dragos Ghioca, Matthew Satriano
We prove a uniform version of the Dynamical Mordell-Lang Conjecture for étale maps; also, we obtain a gap result for the growth rate of heights of points in an orbit along an arbitrary endomorphism of a quasiprojective variety defined over a number field. More precisely, for our first result, we assume $X$ is a quasi-projective variety defined over a field $
Experiencing Extreme Height for The First Time: The Influence of Height, Self-Judgment of Fear and a Moving Structural Beam on the Heart Rate and Postural Sway During the Quiet Stance
cs.HCMahmoud Habibnezhad, Jay Puckett, Mohammad Sadra Fardhosseini, Houtan Jebelli
Falling from elevated surfaces is the main cause of death and injury at construction sites. Based on the Bureau of Labor Statistics (BLS) reports, an average of nearly three workers per day suffer fatal injuries from falling. Studies show that postural instability is the foremost cause of this disproportional falling rate. To study what affects the postural
Maxim Nefedov, Vladimir Saleev
The Helicity Structure Functions in the Drell-Yan process are discussed in a framework of Parton Reggeization Approach, which includes the transverse momentum of initial-state partons in a way compatible with QED gauge-invariance. Relationships with conventional Transverse Momentum Dependent Parton Model formalism are clarified.
New perspectives on the BOSS small-scale lensing discrepancy for the Planck $Λ$CDM Cosmology
astro-ph.COJohannes U. Lange, Xiaohu Yang, Hong Guo, Wentao Luo
We investigate the abundance, small-scale clustering and galaxy-galaxy lensing signal of galaxies in the Baryon Oscillation Spectroscopic Survey (BOSS). To this end, we present new measurements of the redshift and stellar mass dependence of the lensing properties of the galaxy sample. We analyse to what extent models assuming the Planck18 cosmology fit to th
Cormac O'Raifeartaigh
This article presents a brief review of some historical and philosophical aspects of Einstein's 1917 paper 'Cosmological Considerations in the General Theory of Relativity', a landmark work that denoted the starting point of modern theoretical cosmology. Our presentation includes a discussion of Einstein's early views of issues such as the re
Rob Burns, Jen McKenzie
We use partitions to provide some formulae for counting s-collisions and other events in various forms of the Birthday Problem.
A Mixed VR and Physical Framework to Evaluate Impacts of Virtual Legs and Elevated Narrow Working Space on Construction Workers Gait Pattern
cs.HCMahmoud Habibnezhad, Jay Puckett, Mohammad Sadra Fardhosseini, Lucky Agung Pratama
It is difficult to conduct training and evaluate workers' postural performance by using the actual job site environment due to safety concerns. Virtual reality (VR) provides an alternative to create immersive working environments without significant safety concerns. Working on elevated surfaces is a dangerous scenario, which may lead to gait and postural
Gajendra Pratap Singh, Madhuri Jha
Immunology is the emerging research area which deals with the study of the immune system in any living organism. It is modelled through various computational and mathematical models to deal with the problem facing while to boost the immune system of an organism or to fight with the infectious disease at the very initial stage. Such models are very important
Maria Deijfen, Timo Hirscher
A version of the Schelling model on $\mathbb{Z}$ is defined, where two types of agents are allocated on the sites. An agent prefers to be surrounded by other agents of its own type, and may choose to move if this is not the case. It then sends a request to an agent of opposite type chosen according to some given moving distribution and, if the move is benefi
Johannes Wachs, János Kertész
Competing firms can increase profits by setting prices collectively, imposing significant costs on consumers. Such groups of firms are known as cartels and because this behavior is illegal, their operations are secretive and difficult to detect. Cartels feel a significant internal obstacle: members feel short-run incentives to cheat. Here we present a networ
Tom Everitt, Ramana Kumar, Victoria Krakovna, Shane Legg
Proposals for safe AGI systems are typically made at the level of frameworks, specifying how the components of the proposed system should be trained and interact with each other. In this paper, we model and compare the most promising AGI safety frameworks using causal influence diagrams. The diagrams show the optimization objective and causal assumptions of
Guan Wang, Jianming Hu, Zhiheng Li, Li Li
In this paper, we study how to learn an appropriate lane changing strategy for autonomous vehicles by using deep reinforcement learning. We show that the reward of the system should consider the overall traffic efficiency instead of the travel efficiency of an individual vehicle. In summary, cooperation leads to a more harmonic and efficient traffic system r
Georg Hoffmann, Jens Herfort, Manfred Ramsteiner
We demonstrate first measurements of successful spin generation in crystalline Co$_2$FeSi/MgO/GaAs hybrid structures grown by molecular-beam epitaxy (MBE), with different MgO interlayer thicknesses. Using non-local spin valve and non-local Hanle measurement configurations, we determine spin lifetimes of ${τ\approx 100}$~ns and spin diffusion lengths of ${λ\a
Elliot M. Lynch, Gordon I. Ogilvie
We develop a fully nonlinear approximation to the short-wavelength limit of eccentric waves in astrophysical discs, based on the averaged Lagrangian method of Whitham (1965). In this limit there is a separation of scales between the rapidly varying eccentric wave and the background disc. Despite having small eccentricities, such rapidly varying waves can be
Haoyu Zhao, Wei Chen
In this paper, we study the stochastic version of the one-sided full information bandit problem, where we have $K$ arms $[K] = \{1, 2, \ldots, K\}$, and playing arm $i$ would gain reward from an unknown distribution for arm $i$ while obtaining reward feedback for all arms $j \ge i$. One-sided full information bandit can model the online repeated second-price
Alon Brutzkus, Amit Daniely, Eran Malach
In recent years, there are many attempts to understand popular heuristics. An example of such a heuristic algorithm is the ID3 algorithm for learning decision trees. This algorithm is commonly used in practice, but there are very few theoretical works studying its behavior. In this paper, we analyze the ID3 algorithm, when the target function is a $k$-Junta,
X-ray extinction from interstellar dust: Prospects of observing carbon, sulfur and other trace elements
astro-ph.GAE. Costantini, S. T. Zeegers, D. Rogantini, C. P. de Vries
We present a study on the prospects of observing carbon, sulfur, and other lower abundance elements (namely Al, Ca, Ti and Ni) present in the interstellar medium using future X-ray instruments. We focus in particular on the detection and characterization of interstellar dust along the lines of sight. We compare the simulated data with different sets of dust
Charles T. Marx, Richard Lanas Phillips, Sorelle A. Friedler, Carlos Scheidegger
Motivated by the need to audit complex and black box models, there has been extensive research on quantifying how data features influence model predictions. Feature influence can be direct (a direct influence on model outcomes) and indirect (model outcomes are influenced via proxy features). Feature influence can also be expressed in aggregate over the train
Tingwu Wang, Jimmy Ba
Model-based reinforcement learning (MBRL) with model-predictive control or online planning has shown great potential for locomotion control tasks in terms of both sample efficiency and asymptotic performance. Despite their initial successes, the existing planning methods search from candidate sequences randomly generated in the action space, which is ineffic
Fabian Hornung
In this article, we construct a global martingale solution to a general nonlinear Schrödinger equation with linear multiplicative noise in the Stratonovich form. Our framework includes many examples of spatial domains like $\mathbb{R}^d$, non-compact Riemannian manifolds, and unbounded domains in $\mathbb{R}^d$ with different boundary conditions. The initial
Investment Ranking Challenge: Identifying the best performing stocks based on their semi-annual returns
q-fin.STShanka Subhra Mondal, Sharada Prasanna Mohanty, Benjamin Harlander, Mehmet Koseoglu
In the IEEE Investment ranking challenge 2018, participants were asked to build a model which would identify the best performing stocks based on their returns over a forward six months window. Anonymized financial predictors and semi-annual returns were provided for a group of anonymized stocks from 1996 to 2017, which were divided into 42 non-overlapping si
Pegah Torkaman, Farhad H. Jafarpour
In this paper we study activity fluctuations in an asymmetric death-branching process in one-dimension. The model, which is a variant of the asymmetric Glauber model, has already been studied in [12]. It is known that in the low-activity region i.e. below the typical activity in the steady-state, the dynamical free energy of the system can be calculated exac
J. V. Bennett
The Belle II experiment at the SuperKEKB energy-asymmetric $e^+e^-$ collider is a substantial upgrade of the B factory facility at KEK in Tsukuba, Japan. It aims to record a factor of 50 times more data than its predecessor. The experiment completed a commissioning run in 2018, and began full operation in early 2019. Belle II is uniquely capable of studying
Flexible here-and-now decisions for two-stage multi-objective optimization: Method and application to energy system design selection
math.OCDinah Elena Hollermann, Marc Goerigk, Dörthe Franzisca Hoffrogge, Maike Hennen
The synthesis of energy systems is a two-stage optimization problem where design decisions have to be implemented here-and-now (first stage), while for the operation of installed components, we can wait-and-see (second stage). To identify a sustainable design, we need to account for both economical and environmental criteria leading to multi-objective optimi
Jeong Choi, Jongpil Lee, Jiyoung Park, Juhan Nam
Music classification and tagging is conducted through categorical supervised learning with a fixed set of labels. In principle, this cannot make predictions on unseen labels. Zero-shot learning is an approach to solve the problem by using side information about the semantic labels. We recently investigated this concept of zero-shot learning in music classifi
Pierrette Cassou-Noguès, Daniel Daigle
This article is a survey of two subjects: the first part is devoted to field generators in two variables, and the second to birational endomorphisms of the affine plane. Each one of these subjects originated in Abhyankar's seminar in Purdue University in the 1970s. Note that the part on field generators is more than a survey, since it contains a consider
Daniele G. Spampinato, Diego Fabregat-Traver, Markus Püschel, Paolo Bientinesi
Numerical software in computational science and engineering often relies on highly-optimized building blocks from libraries such as BLAS and LAPACK, and while such libraries provide portable performance for a wide range of computing architectures, they still present limitations in terms of flexibility. We advocate a domain-specific program generator capable
Millimeter-wave Monitoring of Active Galactic Nuclei with the Africa Millimetre Telescope
astro-ph.IMMichael Backes, Markus Böttcher, Heino Falcke
Active Galactic Nuclei are the dominant sources of gamma rays outside our Galaxy and also candidates for being the source of ultra-high energy cosmic rays. In addition to being emitters of broad-band non-thermal radiation throughout the electromagnetic spectrum, their emission is highly variable on timescales from years to minutes. Hence, high-cadence monito
Ari Laptev, Andrei Velicu
We obtain inequalities for the Riesz means for the discrete spectrum of a class of self-adjoint compact integral operators. Such bounds imply some inequalities for the counting function of the Dirichlet boundary problem for the Laplace operator. The paper is an extension of the results previously obtained in [5].
Dinesh Kumar, Kamila Kowalska, Enrico Maria Sessolo
The recent measurement of $R_K$ at LHCb continues to support the hint of violation of lepton flavor universality. We perform a global fit for new physics in semileptonic $b\to s$ transitions using all the relevant data with a Bayesian analysis technique. We include new measurements of $R_K$ at LHCb and new determinations of $R_{K^*}$ and $R_{K^{*+}}$ at Bell
Christian Otto, Matthias Springstein, Avishek Anand, Ralph Ewerth
Two modalities are often used to convey information in a complementary and beneficial manner, e.g., in online news, videos, educational resources, or scientific publications. The automatic understanding of semantic correlations between text and associated images as well as their interplay has a great potential for enhanced multimodal web search and recommend
Optomechanical response with nanometer resolution in the self-mixing signal of a terahertz quantum cascade laser
physics.opticsAndrea Ottomaniello, James Keeley, Pierluigi Rubino, Lianhe Li
The effectiveness of self-mixing interferometry has been demonstrated across the electromagnetic spectrum, from visible to microwave frequencies, in a plethora of sensing applications, ranging from distance measurement to material analysis, microscopy and coherent imaging. Owing to their intrinsic stability to optical feedback, quantum cascade lasers (QCLs)
The dichotomy of distributed and centralized control: METRO-HAUL, when control planes collide for 5G networks
eess.SPD. King, A. Farrel, Emiko Nishida-King, R. Casellas
Automating the provisioning of 5G services, deployed over a heterogeneous infrastructure (in terms of domains, technologies, and management platforms), remains a complex task, yet driven by the constant need to provide end-to-end connections at network slices at reducing costs and service deployment time. At the same time, such services are increasingly conc
Ngoc-Quan Pham, Jan Niehues, Thanh-Le Ha, Alex Waibel
An important concern in training multilingual neural machine translation (NMT) is to translate between language pairs unseen during training, i.e zero-shot translation. Improving this ability kills two birds with one stone by providing an alternative to pivot translation which also allows us to better understand how the model captures information between lan
Crossover from two-dimensional to three-dimensional superconducting states in bismuth-based cuprate superconductor
cond-mat.supr-conJing Guo, Yazhou Zhou, Cheng Huang, Shu Cai
To decipher the mechanism of high temperature superconductivity, it is important to know how the superconducting pairing emerges from the unusual normal states of cuprate superconductors, including pseudogap, anomalous Fermi liquid and strange metal (SM). A long-standing issue under debate is how the superconducting pairing is formed and condensed in the SM
Ignacio Úbeda, Jose M. Saavedra, Stéphane Nicolas, Caroline Petitjean
Pattern spotting consists of searching in a collection of historical document images for occurrences of a graphical object using an image query. Contrary to object detection, no prior information nor predefined class is given about the query so training a model of the object is not feasible. In this paper, a convolutional neural network approach is proposed
Nicholas Vincent, Isaac Johnson, Patrick Sheehan, Brent Hecht
Search engines are some of the most popular and profitable intelligent technologies in existence. Recent research, however, has suggested that search engines may be surprisingly dependent on user-created content like Wikipedia articles to address user information needs. In this paper, we perform a rigorous audit of the extent to which Google leverages Wikipe
Probabilistic Tile Visibility-Based Server-Side Rate Adaptation for Adaptive 360-Degree Video Streaming
cs.MMJunni Zou, Chenglin Li, Chengming Liu, Qin Yang
In this paper, we study the server-side rate adaptation problem for streaming tile-based adaptive 360-degree videos to multiple users who are competing for transmission resources at the network bottleneck. Specifically, we develop a convolutional neural network (CNN)-based viewpoint prediction model to capture the nonlinear relationship between the future an
Nassopoulos Georges, Serrano-Alvarado Patricia, Molli Pascal, Desmontils Emmanuel
The Triple Pattern Fragment (TPF) approach is de-facto a new way to publish Linked Data at low cost and with high server availability. However, data providers hosting TPF servers are not able to analyze the SPARQL queries they execute because they only receive and evaluate queries with one triple pattern. In this paper, we propose LIFT: an algorithm to extra
S. Emre Tuna
Synchronization is studied in an array of identical linear oscillators of arbitrary order, coupled through a dynamic network comprising dissipative connectors (e.g., dampers) and restorative connectors (e.g., springs). The coupling network is allowed to contain interior nodes, i.e., those that are not directly connected to an oscillator. It is shown that the
Evgeny Avakov, Georgii Magaril-Il'yaev
The concept of a local infimum for an optimal control problem is introduced. This definition extends that of an optimal process. For a~local infimum we prove an existence theorem and derive necessary conditions that resemble some family of "maximum principles". Examples are given to demostrate the meaningfulness of the necessary conditions obtained i
Kaveri Anuranjana, Vijjini Anvesh Rao, Radhika Mamidi
Hindi question answering systems suffer from a lack of data. To address the same, this paper presents an approach towards automatic question generation. We present a rule-based system for question generation in Hindi by formalizing question transformation methods based on karaka-dependency theory. We use a Hindi dependency parser to mark the karaka roles and
An ALMA multi-line survey of the interstellar medium of the redshift 7.5 quasar host galaxy J1342+0928
astro-ph.GAMladen Novak, Eduardo Banados, Roberto Decarli, Fabian Walter
We use ALMA observations of the host galaxy of the quasar ULAS-J1342+0928 at z=7.54 to study the dust continuum and far infrared lines emitted from its interstellar medium. The Rayleigh-Jeans tail of the dust continuum is well sampled with eight different spectral setups, and from a modified black body fit we obtain an emissivity coefficient of beta=1.85+-0.
Michal Zamkovsky
The rare decays $\mathrm{K}^+\to π^+ ν\barν$ and $\mathrm{K_L}\to π^0 ν\barν$ are extremely attractive processes to study flavor physics because they are both exceptionally clean from a theoretical point of view. These modes are measured by the experiments NA62 at CERN in Switzerland and KOTO at J-PARC in Japan, respectively. The latest results from these ex
Effects of spin-orbit coupling on the neutron spin resonance in iron-based superconductors
cond-mat.supr-conDaniel D. Scherer, Brian M. Andersen
The so-called neutron spin resonance consists of a prominent enhancement of the magnetic response at a particular energy and momentum transfer upon entering the superconducting state of unconventional superconductors. In the case of iron-based superconductors, the neutron resonance has been extensively studied experimentally, and a peculiar spin-space anisot
Strong band kinks in magic-thickness Yb films arising from interfacial electron-phonon coupling
cond-mat.mes-hallYi Wu, Yuan Fang, Shuyi Zhou, Peng Li
Interfacial electron-phonon coupling in ultrathin films has attracted much interest; it can give rise to novel effects and phenomena, including enhanced superconductivity. Here we report an observation of strong kinks in the energy dispersions of quantum well states in ultrathin Yb films grown on graphite. These kinks, arising from interfacial electron-phono
Jingwei Song, Liang Zhao, Shoudong Huang, Gamini Dissanayake
In this paper, we study the back-end of simultaneous localization and mapping (SLAM) problem in deforming environment, where robot localizes itself and tracks multiple non-rigid soft surface using its onboard sensor measurements. An elaborate analysis is conducted on conventional deformation modelling method, Embedded Deformation (ED) graph. We demonstrate a
Transition to the case of "resolved gauge" in the Lagrange-Poincaré equations for a mechanical system with symmetry on the total space of a principal fiber bundle whose base is the bundle space of the associated bundle
math-phS. N. Storchak
This note is a continuation of our earlier articles arXiv:1612.08897 and arXiv:1709.09030, where using the dependent coordinates the local Lagrange-Poincaré equations were obtained for a mechanical system with symmetry describing the motion of two interacting scalar particles on a special Riemannian manifold (the product of the total space of the principal f
Mohammad Sababheh, Hamid Reza Moradi
In this article, we present some new general forms of numerical radius inequalities for Hilbert space operators. The significance of these inequalities follow from the way they extend and refine some known results in this field. Among other inequalities, it is shown that if $A$ is a bounded linear operator on a complex Hilbert space, then \[{{w}^{2}}\left( A
Wei Huang, Youcheng Sun, Xiaowei Huang, James Sharp
Recurrent neural networks (RNNs) have been widely applied to various sequential tasks such as text processing, video recognition, and molecular property prediction. We introduce the first coverage-guided testing tool, coined testRNN, for the verification and validation of a major class of RNNs, long short-term memory networks (LSTMs). The tool implements a g
Ville Vestman, Kong Aik Lee, Tomi H. Kinnunen, Takafumi Koshinaka
Speaker embeddings are continuous-value vector representations that allow easy comparison between voices of speakers with simple geometric operations. Among others, i-vector and x-vector have emerged as the mainstream methods for speaker embedding. In this paper, we illustrate the use of modern computation platform to harness the benefit of GPU acceleration
Tanweer Alam
The Tactile Internet (TI) is an emerging technology next to the Internet of Things (IoT). It is a revolution to develop the smart cities, communities and cultures in the future. This technology will allow the real-time interaction between human and machines as well as machine-to-machine with the 1ms challenge to achieve in round trip latency. The term TI is
D. Magurno, C. Sneden, G. Bono, V. F. Braga
We present a detailed spectroscopic analysis of RR Lyrae (RRL) variables in the globular cluster NGC 5139 (omega Cen). We collected optical (4580-5330 A), high resolution (R = 34,000), high signal-to-noise ratio (200) spectra for 113 RRLs with the multi-fiber spectrograph M2FS at the Magellan/Clay Telescope at Las Campanas Observatory. We also analysed high
Yutaka Nagashima
"Theorem proving is similar to the game of Go. So, we can probably improve our provers using deep learning, like DeepMind built the super-human computer Go program, AlphaGo." Such optimism has been observed among participants of AITP2017. But is theorem proving really similar to Go? In this paper, we first identify the similarities and differences be
Ana Nunes, Patrícia FN Faísca
A small fraction of all protein structures characterized so far are entangled. The challenge of understanding the properties of these knotted proteins, and the why and the how of their natural folding process, has been taken up in the past decade with different approaches, such as structural characterization, in vitro experiments, and simulations of protein
Fuchen Long, Qi Cai, Zhaofan Qiu, Zhijian Hou
This notebook paper presents an overview and comparative analysis of our system designed for activity detection in extended videos (ActEV-PC) in ActivityNet Challenge 2019. Specifically, we exploit person/vehicle detections in spatial level and action localization in temporal level for action detection in surveillance videos. The mechanism of different tubel
Dual-control based approach to batch process operation under uncertainty based on optimality-conditions parameterization
eess.SYRadoslav Paulen, Miroslav Fikar
This paper presents a scheme for dual robust control of batch processes under parametric uncertainty. The dual-control paradigm arises in the context of adaptive control. A trade-off should be decided between the control actions that (robustly) optimize the plant performance and between those that excite the plant such that unknown plant model parameters can
Sean Quinn, Aaron Reid, Mihalis Mathioudakis, Christopher Nelson
Active region NOAA 12673 was extremely volatile in 2017 September, producing many solar flares, including the largest of solar cycle 24, an X9.3 flare of 06 September 2017. It has been reported that this flare produced a number of sunquakes along the flare ribbon (Sharykin & Kosovichev 2018; Zhao & Chen 2018). We have used co-temporal and co-spatial Heliosei
Ricardo Ortiz, Roberto Álvarez Boto, Noel García-Martínez, Juan Carlos Sancho-García
A variety of planar π-conjugated hydrocarbons such as heptauthrene, Clar's goblet and, recently synthesized, triangulene have two electrons occupying two degenerate molecular orbitals. The resulting spin of the interacting ground state is often correctly anticipated as S = 1, extending the application of Hund's rules to these systems, but this is not
Christian Eder, Tommy Hofmann
In this paper we present a new efficient variant to compute strong Gröbner basis over quotients of principal ideal domains. We show an easy lifting process which allows us to reduce one computation over the quotient $R/nR$ to two computations over $R/aR$ and $R/bR$ where $n = ab$ with coprime $a, b$. Possibly using available factorization algorithms we may t
Roy Abel, Yoram Louzoun
Graph convolution networks (GCN) have emerged as the leading method to classify node classes in networks, and have reached the highest accuracy in multiple node classification tasks. In the absence of available tagged samples, active learning methods have been developed to obtain the highest accuracy using the minimal number of queries to an oracle. The curr
Qiaoling Zhang, Lei Zheng, Minquan Cheng, Qingchun Chen
Coded caching scheme provides us an effective framework to realize additional coded multicasting gain by exploiting coding into multiple transmitted signals. The goal of coded caching design is to jointly optimize the placement and delivery scheme so as to minimize the amount of transmitted coded signals. However, few research efforts consider multiple-round
James Nelson, Stefano Sanvito
The magnetic properties of a material are determined by a subtle balance between the various interactions at play, a fact that makes the design of new magnets a daunting task. High-throughput electronic structure theory may help to explore the vast chemical space available and offers a design tool to the experimental synthesis. This method efficiently predic
Robert J. Berman
We establish sharp deviation inequalities for the linear statistics of the 2D Coulomb gas. These imply sub-Gaussian inequalities, where the variance is given by the Dirichlet norm. The proofs use complex geometry and potential theory on Riemann surfaces and apply more generally to beta-ensembles, which also include integer Quantum Hall states on Riemann surf
Analyzing and Storing Network Intrusion Detection Data using Bayesian Coresets: A Preliminary Study in Offline and Streaming Settings
cs.LGFabio Massimo Zennaro
In this paper we offer a preliminary study of the application of Bayesian coresets to network security data. Network intrusion detection is a field that could take advantage of Bayesian machine learning in modelling uncertainty and managing streaming data; however, the large size of the data sets often hinders the use of Bayesian learning methods based on MC
Rough Subducting Seafloor Reduces Interseismic Coupling and Mega-Earthquake Occurrence: Insights From Analogue Models
physics.geo-phElenora Van Rijsingen, Francesca Funiciello, Fabio Corbi, Serge Lallemand
The roughness of the subduction interface is thought to influence seismogenic behavior in subduction zones, but a detailed understanding of how such roughness affects the state of stress along the subduction megathrust is still debated. Here, we use seismotectonic analogue models to investigate the effect of subduction interface roughness on seismicity in su
Anis Matoussi, Arij Manai, Rym Salhi
In this paper, we prove the existence and uniqueness of the solution of a coupled Mean-Field Forward-Backward SDE system with Jumps. Then, we give an application in the field of storage problem in smart grids, studied in [4] in the case where the production of electricity is not predictable due, for example, to the changes in meteorological forecasts.
Francis Bach
We consider deterministic Markov decision processes (MDPs) and apply max-plus algebra tools to approximate the value iteration algorithm by a smaller-dimensional iteration based on a representation on dictionaries of value functions. The setup naturally leads to novel theoretical results which are simply formulated due to the max-plus algebra structure. For
Guangyuan Li, Stefano Palomba, C. Martijn de Sterke
Plasmonic waveguides are an essential element of nanoscale coherent sources, including nanolasers and four-wave mixing (FWM) devices. Here we report how the design of the plasmonic waveguide needs to be guided by the ultimate application. This contrasts with traditional approaches in which the waveguide is considered in isolation. We find that hybrid plasmon
Christian Rohrbeck, Jonathan A Tawn
To address the need for efficient inference for a range of hydrological extreme value problems, spatial pooling of information is the standard approach for marginal tail estimation. We propose the first extreme value spatial clustering methods which account for both the similarity of the marginal tails and the spatial dependence structure of the data to dete
Saurabh Tiwari, Emina Smajlovic, Amina Krekic, Jagadish Suryadevara
This paper presents a SysML-based approach to enhance functional and software development process within an industrial context. The recent changes in technology such as electromobility and increased automation in heavy construction machinery lead to increased complexity for embedded software. Hence there emerges a need for new development methodologies to ad
Crystal structure and the magnetic properties of the 5d transition metal oxide AOsO4 (A = K, Rb, Cs)
cond-mat.str-elJun-ichi Yamaura, Zenji Hiroi
We synthesized the 5d1-transition metal oxides AOsO4 (A = K, Rb, Cs) by solid-state reaction, and performed structure determination and magnetic and heat capacity measurements. It was found that they crystallize in a scheelite (A = K and Rb) or a quasi-scheelite structure (A = Cs) comprising of distorted diamond lattices of septivalent Os (d1) ions tetrahedr
Stephanie Nivoche
The Nagata Conjecture is one of the most intriguing open problems in the area of curves in the plane. It is easily stated. Namely, it predicts that the smallest degree d of a plane curve passing through r $\ge$ 10 general points in the projective plane P 2 with multiplicities at least l at every point, satisfies the inequality d > $\sqrt$ r $\times$ l. This
Rapid Stabilization of Droplets by Particles in Microfluidics: Role of Droplet Formation
cond-mat.softLaura Andreina Chacon Orellana, Jean-Christophe Baret
Droplet-based microfluidics has emerged as a powerful technology for the miniaturization and automation of biochemical assays. The replacement of surfactants by nanoparticles as interfacial stabilizers has gained increasing interest. However, the stabilization mechanism of droplets by nanoparticles in microchannels is poorly understood, drastically hindering
Denitsa Staicova, Michail Stoilov
We consider the cosmological application of a (variant of) relatively newly proposed model \cite{1609.06915} unifying inflation, dark energy, dark matter, and the Higgs mechanism. The model was originally defined using additional non-Riemannian measures but it can be reformulated into effective quintessential model unifying inflation, dark energy and dark ma
Roghayeh Hafezieh, Pablo Spiga
Let $G$ be a finite group. The bipartite divisor graph for the set of irreducible complex character degrees is the undirected graph with vertex set consisting of the prime numbers dividing some character degree and of the non-identity character degrees, where a prime number $p$ is declared to be adjacent to a character degree $m$ if and only if $p$ divides $
Jong Wook Kim, Juan Pablo Bello
Automatic music transcription is considered to be one of the hardest problems in music information retrieval, yet recent deep learning approaches have achieved substantial improvements on transcription performance. These approaches commonly employ supervised learning models that predict various time-frequency representations, by minimizing element-wise losse
Canchen Li
Data mining is about obtaining new knowledge from existing datasets. However, the data in the existing datasets can be scattered, noisy, and even incomplete. Although lots of effort is spent on developing or fine-tuning data mining models to make them more robust to the noise of the input data, their qualities still strongly depend on the quality of it. The
A. G. Mal'shukov
A nonstationary anomalous Hall current is calculated for a voltage biased Josephson junction, which is composed of two s-wave superconducting contacts deposited on the top of a three dimensional topological insulator (TI). A homogeneous Zeeman field was assumed at the surface of TI. The problem has been considered within the ballistic approximation and on th
Jerone T. A. Andrews, Thomas Tanay, Lewis D. Griffin
Facial verification systems are vulnerable to poisoning attacks that make use of multiple-identity images (MIIs)---face images stored in a database that resemble multiple persons, such that novel images of any of the constituent persons are verified as matching the identity of the MII. Research on this mode of attack has focused on defence by detection, with
Rico Zacher
In this paper we give a survey of results on various analytical aspects of time fractional diffusion equations. We describe the approach via abstract Volterra equations and collect results on strong solutions in the $L_p$ sense. We further discuss the concept of weak solutions for equations with rough coefficients and give an account of recent developments t
Indro Spinelli, Simone Scardapane, Michele Scarpiniti, Aurelio Uncini
Recently, data augmentation in the semi-supervised regime, where unlabeled data vastly outnumbers labeled data, has received a considerable attention. In this paper, we describe an efficient technique for this task, exploiting a recent framework we proposed for missing data imputation called graph imputation neural network (GINN). The key idea is to leverage
A Segmentation-Oriented Inter-Class Transfer Method: Application to Retinal Vessel Segmentation
eess.IVChengzhi Shi, Jihong Liu, Dali Chen
Retinal vessel segmentation, as a principal nonintrusive diagnose method for ophthalmology diseases or diabetics, suffers from data scarcity due to requiring pixel-wise labels. In this paper, we proposed a convenient patch-based two-stage transfer method. First, based on the information bottleneck theory, we insert one dimensionality-reduced layer for task-s
Optimal Decision Making Model of Battery Energy Storage-Assisted Electric Vehicle Charging Station Considering Incentive Demand Response
eess.SYBishal Upadhaya, Donghan Feng, Yun Zhou, Qiang Gui
Considering large scale implementation of electric vehicles (EVs), public EV charging stations are served as fuel tanks for EVs to meet the need of longer travelling distance and overcome the shortage of private charging piles. The allocation of local battery energy storage (BES) can enhance the flexibility of the EV charging station. This paper proposes an
Zhuang Yang, Zengping Chen, Cheng Wang
StochAstic Recursive grAdient algoritHm (SARAH), originally proposed for convex optimization and also proven to be effective for general nonconvex optimization, has received great attention due to its simple recursive framework for updating stochastic gradient estimates. The performance of SARAH significantly depends on the choice of step size sequence. Howe
Abdul Rahman Dabbour, Esra Erdem, Volkan Patoglu
For planning rearrangements of objects in a clutter, it is required to know the goal configuration of the objects. However, in real life scenarios, this information is not available most of the time. We introduce a novel method that computes a collision-free placement of objects on a cluttered surface, while minimizing the total number and amount of displace
Zehong Lin, Yuan Liu
This paper studies joint uplink (UL) and downlink (DL) resource allocation in user-centric orthogonal frequency division multiple access (OFDMA) cloud radio access network (CRAN), where the users select the distributed remote radio heads (RRHs) to cooperatively serve their UL and DL transmissions over different subcarriers (SCs). The goal of this paper is to
Nil Kamal Hazra, Neeraj Misra
Relative ageing describes how a system ages with respect to another one. The ageing faster orders are the ones which compare the relative ageings of two systems. Here, we study ageing faster orders in the hazard and the reversed hazard rates. We provide some sufficient conditions for proving that one coherent system dominates another system with respect to a
Zhichao Wang
Given a compact Riemannian manifold with boundary, we prove that the limit of a sequence of embedded, almost properly embedded free boundary minimal hypersurfaces, with uniform area and Morse index upper bound, always inherits a non-trivial Jacobi field. To approach this, we prove a one-sided Harnack inequality for minimal graphs on balls with many holes.