January 2019 arXiv papers — page 86
Showing 8,501–8,600 of 11,641 papers
P. Pravec, P. Fatka, D. Vokrouhlický, P. Scheirich
We studied 93 asteroid pairs. We estimated times elapsed since separation of pair members that are between 7*10^3 and a few 10^6 yr. We derived the rotation periods for all the primaries and a sample of secondaries. We derived the absolute magnitude differences of the asteroid pairs that provide their mass ratios. We refined their WISE geometric albedos and
A Customized System to Assess Foot Plantar Pressure: A Case Study on Calloused and Normal Feet
eess.SPA. M. A. I. Rathnayaka, W. N. D. Perera, H. P. Savindu, K. C. M. Madarasingha
Foot plantar pressure monitoring is an important tool for biomechanical assessment of posture, foot complications due to callus formation and wounds and for sports applications. The pronounced cost associated with commercial plantar pressure monitoring systems and inflexibility of custom analyzing data in such systems prompted the development of a versatile
Rommy Hartono, Wahyudi Hasbi, Isma Choiriyah, Rakhmad Yatim
APRS technology is still exists and still developing among amateur radio. However, in Indonesia there are still not many people who use and utilize APRS. The high price of APRS modem and difficulties of getting APRS modems is one of the factors affecting the public interest in APRS. In Indonesia, no one has developed APRS modem, so that our paper will be dis
A mixed model approach to drought prediction using artificial neural networks: Case of an operational drought monitoring environment
stat.APChrisgone Adede, Robert Oboko, Peter Wagacha, Clement Atzberger
Droughts, with their increasing frequency of occurrence, continue to negatively affect livelihoods and elements at risk. For example, the 2011 in drought in east Africa has caused massive losses document to have cost the Kenyan economy over $12bn. With the foregoing, the demand for ex-ante drought monitoring systems is ever-increasing. The study uses 10 prec
Investigating Thermal Cooling Mechanisms of Human Body Under Exposure to Electromagnetic Radiation
physics.med-phHuan Huan Zhang, Ying Liu, Xiaoyan Y. Z. Xiong, Guang Ming Shi
Thermal cooling mechanisms of human exposed to electromagnetic (EM) radiation are studied in detail. The electromagnetic and thermal co-simulation method is utilized to calculate the electromagnetic and temperature distributions. Moreover, Pennes' bioheat equation is solved to understand different thermal cooling mechanisms including blood flow, convecti
Veli Shakhmurov, Rishad Shahmurov
In this paper, the integral initial value problems for Boussinesq type equations are studied. The equation include the general differential operators. The existence, uniqueness and regularity properties of solution of these problems are obtained. By choosing differential operators including in the equation, the regularity properties of the Cauchy problem for
M. I. Belishev, S. A. Simonov
Let $Ω$ be a metric space, $A^t$ denote the metric neighborhood of the set $A\subsetΩ$ of the radius $t$; ${\mathfrak O}$ be the lattice of open sets in $Ω$ with the partial order $\subseteq$ and the order convergence. The lattice of $\mathfrak O$-valued functions of $t\in(0,\infty)$ with the point-wise partial order and convergence contains the family ${I\m
Arthur Baragar
In an earlier work, we proposed a generalization for the Apollonian packing in arbitrary dimensions and showed that the resulting object in four, five, and six dimensions have properties consistent with the Apollonian circle and sphere packings in two and three dimensions. In this work, we investigate the generalization in seven and eight dimensions and show
Ujjal Debnath
In the present work, we have discussed the four dimensional spherically symmetric steller system in the framework of modified $f(T)$ gravity theory with electro-magnetic field. The field equations have been written for two cases, either $T'=0$ or $f_{TT}=0$. Next we have discussed the charged gravastar model which has three regions: interior region, shel
M. Sharif, Aisha Siddiqa
We discuss the collapsing and expanding solutions of anisotropic charged cylinder in the context of $f(R,T)$ theory ($R$ represents the Ricci scalar and $T$ denotes the trace of energy-momentum tensor). For this purpose, we take an auxiliary solution of Einstein-Maxwell field equations and evaluate expansion scalar whose negative values lead to collapse and
Some relations between the Riemann zeta function and the generalized Bernoulli polynomials of level $m$
math.CAYamilet Quintana, Héctor Torres-Guzmán
The main purpose of this paper is to show some relations between the Riemann zeta function and the generalized Bernoulli polynomials of level $m$. Our approach is based on the use of Fourier expansions for the periodic generalized Bernoulli functions of level $m$, as well as quadrature formulae of Euler-Maclaurin type. Some illustrative examples involving su
Allan P. Fordy, Anton Galajinsky
The Eisenhart lift is a variant of geometrization of classical mechanics with $d$ degrees of freedom in which the equations of motion are embedded into the geodesic equations of a Brinkmann-type metric defined on $(d+2)$-dimensional spacetime of Lorentzian signature. In this work, the Eisenhart lift of $2$-dimensional mechanics on curved background is studie
Bent Flyvbjerg, Alexander Budzier
This report was commissioned by the Commission of Inquiry Respecting the Muskrat Falls Project to provide the national and international context in which the Muskrat Falls Project took place. The Commission asked for the report to cover three specific topics of questions: (1) What is the national and international context of the Muskrat Falls Project with re
M. Alotiby, I Greguric, T. Kibedi, I Greguric
Auger electrons emitted after nuclear decay have potential application in targeted cancer therapy. For this purpose it is important to know the Auger electron yield per nuclear decay. In this work we measure the ratio of the number of conversion electrons (emitted as part of the nuclear decay process) and the number of Auger electrons (emitted as part of the
Seth Lloyd, Reevu Maity
Quantum computation and quantum control operate by building unitary transformations out of sequences of elementary quantum logic operations or applications of control fields. This paper puts upper bounds on the minimum time required to implement a desired unitary transformation on a d-dimensional Hilbert space when applying sequences of Hamiltonian transform
Jorge Pérez, Javier Marinković, Pablo Barceló
Alternatives to recurrent neural networks, in particular, architectures based on attention or convolutions, have been gaining momentum for processing input sequences. In spite of their relevance, the computational properties of these alternatives have not yet been fully explored. We study the computational power of two of the most paradigmatic architectures
André C. R. Martins
In this paper, a model for a spatial network evolution based on a Metropolis simulation is presented. The model uses an energy function that depends both on the distance between the nodes and the stated preferences. The agents influence their network neighbors opinions using the CODA model. That means each agent has a preference between two options based on
Anomalous blue-shift of terahertz whispering-gallery modes via dielectric and metallic tuning
physics.opticsDominik Walter Vogt, Angus Harvey Jones, Harald G. L. Schwefel, Rainer Leonhardt
The vast majority of resonant systems show a red-shift for the resonance frequency when a perturbation, e.g. losses, are introduced to the system. In contrast, here we report for the first time the experimental demonstration of both red- and anomalous blue-shifting of whispering-gallery modes (WGMs) using dielectric and metallic substrates. The maximum blue-
Contour forward flux sampling: Sampling rare events along multiple collective variables
cond-mat.stat-mechRyan S. DeFever, Sapna Sarupria
Many rare event transitions involve multiple collective variables (CVs) and the most appropriate combination of CVs is generally unknown a priori. We thus introduce a new method, contour forward flux sampling (cFFS), to study rare events with multiple CVs simultaneously. cFFS places nonlinear interfaces on-the-fly from the collective progress of the simulati
Vitor Balestro, Horst Martini, Ralph Teixeira
A gauge $γ$ in a vector space $X$ is a distance function given by the Minkowski functional associated to a convex body $K$ containing the origin in its interior. Thus, the outcoming concept of gauge spaces $(X, γ)$ extends that of finite dimensional real Banach spaces by simply neglecting the symmetry axiom (a viewpoint that Minkowski already had in mind). I
How Can We Make GAN Perform Better in Single Medical Image Super-Resolution? A Lesion Focused Multi-Scale Approach
eess.IVJin Zhu, Guang Yang, Pietro Lio
Single image super-resolution (SISR) is of great importance as a low-level computer vision task. The fast development of Generative Adversarial Network (GAN) based deep learning architectures realises an efficient and effective SISR to boost the spatial resolution of natural images captured by digital cameras. However, the SISR for medical images is still a
Abdelhak Djouadi, John Ellis, Andrey Popov, Jérémie Quevillon
Many extensions of the Standard Model contain (pseudo)scalar bosons with masses in the TeV range. At hadron colliders, such particles would predominantly be produced in gluon fusion and would decay into top quark pair final sates, a signal that interferes with the large QCD background $gg \to t\bar t$. This phenomenon is of interest for searches for by the L
Ali Razavi, Aäron van den Oord, Ben Poole, Oriol Vinyals
Due to the phenomenon of "posterior collapse," current latent variable generative models pose a challenging design choice that either weakens the capacity of the decoder or requires augmenting the objective so it does not only maximize the likelihood of the data. In this paper, we propose an alternative that utilizes the most powerful generative mode
Towards platform-independent specification and verification of the standard trigonometry functions
cs.LONikolay V. Shilov, Boris L. Faifel, Svetlana O. Shilova, Aleksey V. Promsky
Research project "Platform-independent approach to formal specification and verification of standard mathematical functions" is aimed onto a development of an incremental combined approach to the specification and verification of the standard mathematical functions like sqrt, cos, sin, etc. Platform-independence means that we attempt to design a rela
Lior M. Burko, Gaurav Khanna
The effective shock wave singularity at the outgoing leg of the inner horizon of a linearly perturbed fast spinning black hole is studied numerically for either scalar field, or vacuum, gravitational perturbations. We demonstrate the occurrence of the Marolf-Ori singularity, including changes of order unity in the scalar field $ϕ$ for the scalar field model,
Leggett-Garg tests of macrorealism: checks for non-invasiveness and generalizations to higher-order correlators
quant-phJ. J. Halliwell
In the tests for macrorealism proposed by Leggett and Garg, the temporal correlation functions of a dichotomic variable Q must be measured in a non-invasive way to rule out alternative classical explanations of Leggett-Garg inequality violations. Ideal negative measurements, in which a null result is argued to be a non-invasive determination of the system
Application of Multivariate Adaptive Regression Splines (MARSplines) for Predicting Hansen Solubility Parameters Based on 1D and 2D Molecular Descriptors Computed from SMILES String
physics.chem-phMaciej Przybyłek, Tomasz Jeliński, Piotr Cysewski
A new method of Hansen solubility parameters (HSPs) prediction was developed by combining the multivariate adaptive regression splines (MARSplines) methodology with a simple multivariable regression involving 1D and 2D PaDEL molecular descriptors. In order to adopt the MARSplines approach to QSPR/QSAR problems, several optimization procedures were proposed a
J. E. Horvath
The departure of all measured pulsar braking indexes from the "canonical" dipole value 3 has been attributed to several causes in the past. Careful monitoring of the Crab pulsar has revealed permanent changes in the spin-down rate which are most likely the accumulation of small jumps in the angle $α$ between the magnetic and spin axis. Recently, a la
Dasari Mallesham, Christina Vlachou, Shruti Sanadhya, Pranjal Sahu
Mobile video traffic is dominant in cellular and enterprise wireless networks. With the advent of diverse applications, network administrators face the challenge to provide high QoE in the face of diverse wireless conditions and application contents. Yet, state-of-the-art networks lack analytics for QoE, as this requires support from the application or user
Loredana Lanzani, Elias M. Stein
We survey recent work and announce new results concerning two singular integral operators whose kernels are holomorphic functions of the output variable, specifically the Cauchy-Leray integral and the Cauchy-Szeg\H o projection associated to various classes of bounded domains in $\mathbb C^n$ with $n\geq 2$.
Alexander Aycock
We show that an apparently overlooked result of Euler from \cite{E421} is essentially equivalent to the general multiplication formula for the $Γ$-function that was proven by Gauss in \cite{Ga28}.
Jonas Irgens Kylling, Glen Matthew Wilson
We prove strong convergence results for the motivic Adams spectral sequence of the sphere spectrum over fields with finite virtual cohomological dimension at the prime 2, and over arbitrary fields at odd primes. We show that the motivic Adams spectral sequence is not strongly convergent over number fields. As applications we give bounds on the exponents of t
Characterizing and evaluating adversarial examples for Offline Handwritten Signature Verification
cs.CVLuiz G. Hafemann, Robert Sabourin, Luiz S. Oliveira
The phenomenon of Adversarial Examples is attracting increasing interest from the Machine Learning community, due to its significant impact to the security of Machine Learning systems. Adversarial examples are similar (from a perceptual notion of similarity) to samples from the data distribution, that "fool" a machine learning classifier. For compute
Dolière Francis Somé
Browser extensions are third party programs, tightly integrated to browsers, where they execute with elevated privileges in order to provide users with additional functionalities. Unlike web applications, extensions are not subject to the Same Origin Policy (SOP) and therefore can read and write user data on any web application. They also have access to sens
Damping and softening of transverse acoustic phonons in colossal magnetoresistive La$_{0.7}$Ca$_{0.3}$MnO$_3$ and La$_{0.7}$Sr$_{0.3}$MnO$_3$
cond-mat.str-elJoel S. Helton, Yang Zhao, Dmitry A. Shulyatev, Jeffrey W. Lynn
Neutron spectroscopy is used to probe transverse acoustic phonons near the (2, 2, 0) Bragg position in colossal magnetoresistive La0.7Ca0.3MnO3 and La0.7Sr0.3MnO3. Upon warming to temperatures near Tc = 257 K the phonon peaks in La0.7Ca0.3MnO3 soften and damp significantly with the phonon half width at half maximum approaching 2.5 meV for phonons at a reduce
Thermal transport at a nanoparticle-water interface: A molecular dynamics and continuum modeling study
cond-mat.mtrl-sciAli Rajabpour, Roham Seif, Saeed Arabha, Mohammad Mahdi Heyhat
Heat transfer between a silver nanoparticle and surrounding water has been studied using molecular dynamics (MD) simulations. The thermal conductance (Kapitza conductance) at the interface between a nanoparticle and surrounding water has been calculated using four different approaches: transient with/without temperature gradient (internal thermal resistance)
László Lempert
We define and study complex structures and generalizations on spaces consisting of geodesics or harmonic maps that are compatible with the symmetries of these spaces. The main results are about existence and uniqueness of such structures.
A Framework for Analyzing Fog-Cloud Computing Cooperation Applied to Information Processing of UAVs
cs.ROMilena F. Pinto, André L. M. Marcato, Aurélio G. Melo, Leonardo M. Honório
Unmanned aerial vehicles (UAVs) are a relatively new technology. Their application can often involve complex and unseen problems. For instance, they can work in a cooperative-based environment under the supervision of a ground station to speed up critical decision-making processes. However, the amount of information exchanged among the aircraft and ground st
Brigitte Pientka, Andreas Abel, Francisco Ferreira, David Thibodeau
We describe a Martin-Löf style dependent type theory, called Cocon, that allows us to mix the intensional function space that is used to represent higher-order abstract syntax (HOAS) trees with the extensional function space that describes (recursive) computations. We mediate between HOAS representations and computations using contextual modal types. Our typ
Michael Dikshtein, Anelia Somekh-Baruch, Shlomo Shamai
The problem of channel coding over the Gaussian multiple-input multiple-output (MIMO) broadcast channel (BC) with additive independent Gaussian states is considered. The states are known in a noncausal manner to the encoder, and it wishes to minimize the amount of information that the receivers can learn from the channel outputs about the state sequence. The
Fueling Peter's Mill: Mikhail Lomonosov's Educational Training in Russia and Germany, 1731-1741
physics.hist-phRobert P. Crease, Vladimir Shiltsev
This article, the second in a series about the Russian scientist Mikhail Lomonosov (1711-1765), traces his education from his arrival in Moscow in 1731 to study at the Slavo-Greco-Latin Academy, through his admission to the St. Petersburg Academy of Sciences in 1736, to his trip abroad to complete his educational studies from 1736 to 1741. Lomonosov's st
David Amar, Lior Zilpa
Blockchains have recently gained popularity thanks to their ability to record "digital truth". They are designed to keep persistence, security, and avoid attacks which is useful for many applications. However, they are still problematic in their energy consumption, governance, and scalability Current solutions either require vast computing power via
Huizhen Yu
We consider average-cost Markov decision processes (MDPs) with Borel state and action spaces and universally measurable policies. For the nonnegative cost model and an unbounded cost model, we introduce a set of conditions under which we prove the average cost optimality inequality (ACOI) via the vanishing discount factor approach. Unlike most existing resul
Risto Atanasov, Adam Gregory, Luke Guatelli, Andrew Penland
A finite $p$-group $G$ is called \textit{powerful} if either $p$ is odd and $[G,G]\subseteq G^p$ or $p=2$ and $[G,G]\subseteq G^4$. A {\em{cover}} for a group is a collection of subgroups whose union is equal to the entire group. We will discuss covers of $p$-groups by powerful $p$-subgroups. The size of the smallest cover of a $p$-group by powerful $p$-subg
Max Bannach, Till Tantau
Color coding is an algorithmic technique used in parameterized complexity theory to detect "small" structures inside graphs. The idea is to derandomize algorithms that first randomly color a graph and then search for an easily-detectable, small color pattern. We transfer color coding to the world of descriptive complexity theory by characterizing --
ALFAA: Active Learning Fingerprint Based Anti-Aliasing for Correcting Developer Identity Errors in Version Control Data
cs.SESadika Amreen, Audris Mockus, Chris Bogart, Yuxia Zhang
Graphs of developer networks are important for software engineering research and practice. For these graphs to realistically represent the networks, accurate developer identities are imperative. We aim to identify developer identity errors from open source software repositories in VCS, investigate the nature of these errors, design corrective algorithms, and
Measurements of inclusive and differential fiducial cross-sections of $t\bar{t}γ$ production in leptonic final states at $\sqrt{s}$ = 13 TeV
hep-exMaría Moreno Llácer
The latest results of the ATLAS experiment for the production of a top-quark pair in association with a photon using proton-proton collision data from the LHC at a centre-of-mass energy of 13 TeV are summarised here. This includes inclusive and differential cross-sections measurements performed in single-lepton and dilepton final states in a fiducial volume
New classes of chiral topological nodes with non-contractible surface Fermi arcs in CoSi
cond-mat.mtrl-sciZ. -C. Rao, H. Li, T. -T. Zhang, S. -J. Tian
In condensed matter systems, chiral topological nodes are robust band crossing points in momentum space that carry nonzero Chern numbers. The chirality is manifested by the presence of surface Fermi arcs connecting the projections of nodes with opposite Chern numbers. In addition to the well-known Weyl nodes, theorists have proposed several other types of ch
When does privatization spur entrepreneurial performance? The moderating effect of institutional quality in an emerging market
econ.GNChristopher Boudreaux
We explore how institutional quality moderates the effectiveness of privatization on entrepreneurs sales performance. To do this, we blend agency theory and entrepreneurial cognition theory with insights from institutional economics to develop a model of emerging market venture performance. Using data from the World Banks Enterprise Survey of entrepreneurs i
J. Bortfeldt, F. Brunbauer, C. David, D. Desforge
The experimental requirements in near future accelerators (e.g. High Luminosity-LHC) has stimulated intense interest in development of detectors with high precision timing capabilities. With this as a goal, a new detection concept called PICOSEC, which is based to a "two-stage" MicroMegas detector coupled to a Cherenkov radiator equipped with a photo
Cheng-Yang Fu, Mykhailo Shvets, Alexander C. Berg
Recently two-stage detectors have surged ahead of single-shot detectors in the accuracy-vs-speed trade-off. Nevertheless single-shot detectors are immensely popular in embedded vision applications. This paper brings single-shot detectors up to the same level as current two-stage techniques. We do this by improving training for the state-of-the-art single-sho
Trevor I. Smith, Suzanne W. Brahmia, Alexis Olsho, Andrew Boudreaux
In an effort to improve the quality of citizen engagement in workplace, politics, and other domains in which quantitative reasoning plays an important role, Quantitative Literacy (QL) has become the focus of considerable research and development efforts in mathematics education. QL is characterized by sophisticated reasoning with elementary mathematics. In t
Vydas Čekanavičius, Palaniappan Vellaisamy
The ratio $P(S_n=x)/P(Z_n=x)$ is investigated for three cases: (a) when $S_n$ is a sum of 1-dependent non-negative integer-valued random variables (rvs), satisfying some moment conditions, and $Z_n$ is Poisson rv; (b) when $S_n$ is a statistic of 2-runs and $Z_n$ is negative binomial rv; and (c) when $S_n$ is statistic of $N(1,1)$-events and $Z_n$ is a binom
Tokiro Numasawa, Daisuke Yoshida
We investigate the global spacetime structure of torus de Sitter universe, which is exact de Sitter space with torus identification based on the flat chart. We show that past incomplete null geodesics in torus de Sitter universe are locally extendible. Then we give an extension of torus de Sitter universe so that at least one of the past incomplete null geod
Corneliu Malciu, Leonardo Mazza, Christophe Mora
In topological insulator edges, the duality between the Zeeman field orientation and the proximitized superconducting phase has been recently exploited to predict a magneto-Josephson effect with a 4$π$ periodicity. We revisit this latter Josephson effect in the light of this duality and show that the same 4$π$ quantum anomaly occurs when bridging two spinles
The Effect of General Relativistic Precession on Tidal Disruption Events from Eccentric Nuclear Disks
astro-ph.HEHeather N. Wernke, Ann-Marie Madigan
An eccentric nuclear disk consists of stars moving on apsidally-aligned orbits around a central black hole. The secular gravitational torques that dynamically stabilize these disks can also produce tidal disruption events (TDEs) at very high rates in Newtonian gravity. General relativity, however, is known to quench secular torques via rapid apsidal precessi
Edward F. Schlafly, Aaron M. Meisner, Gregory M. Green
We present the unWISE Catalog, containing the positions and fluxes of roughly two billion objects observed by the Wide-field Infrared Survey Explorer (WISE) over the full sky. The unWISE Catalog has two advantages over the existing WISE catalog (AllWISE): first, it is based on significantly deeper imaging, and second, it features improved modeling of crowded
Exploratory analysis of high-resolution power interruption data reveals spatial and temporal heterogeneity in electric grid reliability
physics.soc-phLaurel N. Dunn, Michael D. Sohn, Kristina Hamachi Lacommare, Joseph H. Eto
Modern grid monitoring equipment enables utilities to collect detailed records of power interruptions. These data are aggregated to compute publicly reported metrics describing high-level characteristics of grid performance. The current work explores the depth of insights that can be gained from public data, and the implications of losing visibility into het
H. P. Savindu, K. A. Iroshan, C. D. Panangala, W. L. D. W. P. Perera
Visually impaired people are neglected from many modern communication and interaction procedures. Assistive technologies such as text-to-speech and braille displays are the most commonly used means of connecting such visually impaired people with mobile phones and other smart devices. Both these solutions face usability issues, thus this study focused on dev
Modified Jaccard Index Analysis and Adaptive Feature Selection for Location Fingerprinting with Limited Computational Complexity
stat.APCaifa Zhou, Andreas Wieser
We propose an approach for fingerprinting-based positioning which reduces the data requirements and computational complexity of the online positioning stage. It is based on a segmentation of the entire region of interest into subregions, identification of candidate subregions during the online-stage, and position estimation using a preselected subset of rele
Thanh Thi Nguyen, Ngoc Duy Nguyen, Fernando Bello, Saeid Nahavandi
Surgeons normally need surgical scissors and tissue grippers to cut through a deformable surgical tissue. The cutting accuracy depends on the skills to manipulate these two tools. Such skills are part of basic surgical skills training as in the Fundamentals of Laparoscopic Surgery. The gripper is used to pinch a point on the surgical sheet and pull the tissu
High Throughput Computation of Reference Ranges of Biventricular Cardiac Function on the UK Biobank Population Cohort
eess.IVRahman Attar, Marco Pereanez, Ali Gooya, Xenia Alba
The exploitation of large-scale population data has the potential to improve healthcare by discovering and understanding patterns and trends within this data. To enable high throughput analysis of cardiac imaging data automatically, a pipeline should comprise quality monitoring of the input images, segmentation of the cardiac structures, assessment of the se
Laboratory photo-chemistry of covalently bonded fluorene clusters: observation of an interesting PAH bowl-forming mechanism
astro-ph.IMWeiwei Zhang, Yubing Si, Junfeng Zhen, Tao Chen
The fullerene C$_{60}$, one of the largest molecules identified in the interstellar medium (ISM), has been proposed to form top-down through the photo-chemical processing of large (more than 60 C-atoms) polycyclic aromatic hydrocarbon (PAH) molecules. In this article, we focus on the opposite process, investigating the possibility that fullerenes form from s
Jie Lin, Yao Ma, Liangyun Chen
The concept of derivation for Lie-Yamaguti algebras is generalized in this paper. A quasi-derivation of an LY-algebra is embedded as derivation in a larger LY-algebra. The relationship between quasi-derivations and robustness of Lie-Yamaguti algebras has been studied.
Mostafa Sherif Derbala Aly Hussein, Elbio Dagotto, Adriana Moreo
Using Monte Carlo techniques, we study a three-orbital CuO$_2$ spin-fermion model for copper-based high critical temperature superconductors that captures the charge-transfer properties of these compounds. Our studies reveal the presence of spin order in the parent compound and, more importantly, stripe spin and charge order under hole doping. Due to the $p$
Compactification of the space of Hamiltonian stationary Lagrangian submanifolds with bounded total extrinsic curvature and volume
math.DGJingyi Chen, Micah Warren
For a sequence of immersed connected closed Hamiltonian stationary Lagrangian submaniolds in $\mathbb{C}^{n}$ with uniform bounds on their volumes and the total extrinsic curvatures, we prove that a subsequence converges either to a point or to a Hamiltonian stationary Lagrangian $n$-varifold locally uniformly in $C^{k}$ for any nonnegative integer $k$ away
Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems
eess.SYFedor Shmarov, Sadegh Soudjani, Nicola Paoletti, Ezio Bartocci
We present a new method for the automated synthesis of digital controllers with formal safety guarantees for systems with nonlinear dynamics, noisy output measurements, and stochastic disturbances. Our method derives digital controllers such that the corresponding closed-loop system, modeled as a sampled-data stochastic control system, satisfies a safety spe
Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf
We mechanize, in the proof assistant Isabelle, a proof of the axiom-scheme of Separation in generic extensions of models of set theory by using the fundamental theorems of forcing. We also formalize the satisfaction of the axioms of Extensionality, Foundation, Union, and Powerset. The axiom of Infinity is likewise treated, under additional assumptions on the
Surrogate-assisted reliability-based design optimization: a survey and a new general framework
stat.MEM. Moustapha, B. Sudret
Reliability-based design optimization (RBDO) is an active field of research with an ever increasing number of contributions. Numerous methods have been proposed for the solution of RBDO, a complex problem that combines optimization and reliability analysis. Classical approaches are based on approximation methods and have been classified in review papers. In
Daniel Johnston, Puck Rombach
For a fixed graph $F$, we would like to determine the maximum number of edges in a properly edge-colored graph on $n$ vertices which does not contain a rainbow copy of $F$, that is, a copy of $F$ all of whose edges receive a different color. This maximum, denoted by $ex^*(n, F)$, is the rainbow Turán number of $F$. We show that $ex^*(n,P_k)\geq \frac{k}{2}n
Sclera Force Control in Robot-assisted Eye Surgery: Adaptive Force Control vs. Auditory Feedback
cs.ROAli Ebrahimi, Changyan He, Niravkumar Patel, Marin Kobilarov
Surgeon hand tremor limits human capability during microsurgical procedures such as those that treat the eye. In contrast, elimination of hand tremor through the introduction of microsurgical robots diminishes the surgeon's tactile perception of useful and familiar tool-to-sclera forces. While the large mass and inertia of eye surgical robot prevents sur
Christian Herrmann
The Finiteness Problem is shown to be unsolvable for any sufficiently large class of modular lattices.
Luis Cruz, Rui Abreu
Software engineers make use of design patterns for reasons that range from performance to code comprehensibility. Several design patterns capturing the body of knowledge of best practices have been proposed in the past, namely creational, structural and behavioral patterns. However, with the advent of mobile devices, it becomes a necessity a catalog of desig
Kashif Ahmad, Konstantin Pogorelov, Michael Riegler, Olga Ostroukhova
This paper addresses the problem of floods classification and floods aftermath detection utilizing both social media and satellite imagery. Automatic detection of disasters such as floods is still a very challenging task. The focus lies on identifying passable routes or roads during floods. Two novel solutions are presented, which were developed for two corr
G. Bordiga, L. Cabras, A. Piccolroaz, D. Bigoni
The quest for wave channeling and manipulation has driven a strong research effort on topological and architected materials, capable of propagating localized electromagnetical or mechanical signals. With reference to an elastic structural grid, which elements can sustain both axial and flexural deformations, it is shown that material interfaces can be create
Adrien Coffinet, Christophe Lovis, Xavier Dumusque, Francesco Pepe
(abridged) Even if the HARPS spectrograph has been operational for more than 15 years and it provides among the most precise Doppler measurements, improvements are still possible. One known problem, for instance, is the non-fully regular block-stitching of the CCDs, which introduces, in some cases, one-year period parasitic signals in the measured radial vel
Gender Differences in Injury Severity Risk of Single-Vehicle Crashes in Virginia: A Nested Logit Analysis of Heterogeneity
stat.APMd Rauful Islam, Kaveh Bakhsh Kelarestaghi, Alireza Ermagun, Snehanshu Banerjee
This paper explores gender differences in injury severity risk using a comprehensive crash dataset including the driver, vehicle, environment, and roadway characteristics. For the purpose of this study, only single vehicle crashes that occurred in the Commonwealth of Virginia, collected in a five year period from 2011 to 2015, were used. This study contribut
Mike Lockwood, Mat Owens, Allan Macneil
Parker spiral theory predicts the heliospheric magnetic field (HMF) will have components of opposite polarity radially toward the Sun and tangentially antiparallel to the solar rotation (i.e. in GSE coordinates, with Bx/By<0). This theory explains the average orientation of the HMF very well but does not predict orthogardenhose (OGH) flux with BX/BY>0 that i
Alexandru Dominic Git, Balázs Matuz, Fabian Steiner
This work investigates protograph-based LDPC codes for the AWGN channel with OOK modulation. A non-uniform distribution of the OOK modulation symbols is considered to improve the power efficiency especially for low SNRs. To this end, a specific transmitter architecture based on time sharing is proposed that allows probabilistic shaping of (some) OOK modulati
Méabh Hyland, Alan Fitzsimmons, Colin Snodgrass
We present an analysis of long-slit cometary spectroscopy using the dual-arm ISIS spectrograph on the 4.2 m WHT. Eleven comets were observed over two nights in 2016 March and we detected the OH (0-0) emission band at 3085 Å in the spectra of five of these comets. Emission bands of the species NH, CN, C$_{3}$, C$_{2}$, NH$_{2}$ and [OI] were also detected. We
Qi Xie, Minghao Zhou, Qian Zhao, Deyu Meng
Hyperspectral imaging can help better understand the characteristics of different materials, compared with traditional image systems. However, only high-resolution multispectral (HrMS) and low-resolution hyperspectral (LrHS) images can generally be captured at video rate in practice. In this paper, we propose a model-based deep learning approach for merging
Matthias Droth
Topological quantum computing with non-abelian anyons in a network of one-dimensional chains relies on braiding operations. In real devices, a noisy environment may compromise these braiding operations. In order to assess the failure acquired during braiding with noisy parameters, I define three quality measures. To keep the results as general as possible, I
Timo Adam, Roland Langrock, Christian H. Weiß
Hidden Markov models are versatile tools for modeling sequential observations, where it is assumed that a hidden state process selects which of finitely many distributions generates any given observation. Specifically for time series of counts, the Poisson family often provides a natural choice for the state-dependent distributions, though more flexible dist
Sung Hoon Lim, Chen Feng, Adriano Pastore, Bobak Nazer
Consider a receiver in a multi-user network that wishes to decode several messages. Simultaneous joint typicality decoding is one of the most powerful techniques for determining the fundamental limits at which reliable decoding is possible. This technique has historically been used in conjunction with random i.i.d. codebooks to establish achievable rate regi
A. Mannheim, J. A. W. van Dommelen, M. G. D. Geers
In nuclear fusion reactors, tungsten will be exposed to high neutron loads at high temper atures (>900 C). The evolution and degradation of the mechanical properties under these conditions is uncertain and therefore constitutes a major risk. Here, the microstructural evolution of tungsten under combined heat and neutron loads is studied, using a multi-scale
Luiz F. Bittencourt, Alfredo Goldman, Edmundo R. M. Madeira, Nelson L. S. da Fonseca
Scheduling is essentially a decision-making process that enables resource sharing among a number of activities by determining their execution order on the set of available resources. The emergence of distributed systems brought new challenges on scheduling in computer systems, including clusters, grids, and more recently clouds. On the other hand, the pletho
Jian Shi, Jiahui Yu, Anna Liu, Yuedong Wang
Density estimation plays a fundamental role in many areas of statistics and machine learning. Parametric, nonparametric and semiparametric density estimation methods have been proposed in the literature. Semiparametric density models are flexible in incorporating domain knowledge and uncertainty regarding the shape of the density function. Existing literatur
Alexander Mang, Moritz Weber
Within the framework of unitary easy quantum groups, we study an analogue of Brauer's Schur-Weyl approach to the representation theory of the orthogonal group. We consider concrete combinatorial categories whose morphisms are formed by partitions of finite sets into disjoint subsets of cardinality two; the points of these sets are colored black or white.
Soft interactions modify the diffusive dynamics of polymer-grafted nanoparticles in solutions of free polymer
cond-mat.softRyan Poling-Skutvik, Ali H. Slim, Suresh Narayanan, Jacinta C. Conrad
We examine the dynamics of silica particles grafted with high molecular weight polystyrene suspended in semidilute solutions of chemically similar linear polymer using x-ray photon correlation spectroscopy. The particle dynamics decouple from the bulk viscosity despite their large hydrodynamic size and instead experience an effective viscosity that depends o
Hyo-Sang Shin, Teng Li, Pau Segui-Gasco
This paper addresses the task allocation problem for multi-robot systems. The main issue with the task allocation problem is inherent complexity that makes finding an optimal solution within a reasonable time almost impossible. To hand the issue, this paper develops a task allocation algorithm that can be decentralised by leveraging the submodularity concept
A new perspective for the magnetic corrections to $π$-$π$ Scattering Lengths in the Linear Sigma Model
hep-phM. Loewe, L. Monje, E. Muñoz, A. Raya
In this article, a new perspective for obtaining the magnetic evolution of $π-π$ scattering lengths in the frame of the linear sigma model is presented. When computing the relevant one-loop diagrams that contribute to these parameters, the sum over Landau levels --emerging from the expansion of the Schwinger propagator-- is handled in a novel way that could
T. Roudier, J. M. Malherbe, R. F. Stein, Z. Frank
Trees of fragmenting granules (TFG) and associated flows are suspected to playa major role in the formation of the network in the quiet Sun. We investigate the counterparts, in terms of dynamics, of surface structures detectable by high resolution observations in deeper layers up to 15 Mm, which are only available from numerical simulations. The first aim is
V. Dexheimer, L. T. T. Soethe, J. Roark, R. O. Gomes
In this paper we review the most common descriptions for the first order phase transition to deconfined quark matter in the core of neutron stars. We also present a new description of these phase transitions in the core of proto-neutron stars, in which more constraints are enforced so as to include trapped neutrinos. Finally, we calculate the emission of gra
Alexander I. Golikov, Igor E. Kaporin
An inexact Newton type method for numerical minimization of convex piecewise quadratic functions is considered and its convergence is analyzed. Earlier, a similar method was successfully applied to optimizaton problems arising in numerical grid generation. The method can be applied for computing a minimum norm nonnegative solution of underdetermined system o
Surface Hopping Dynamics Including Intersystem Crossing using the Algebraic Diagrammatic Construction Method
physics.chem-phSebastian Mai, Felix Plasser, Mathias Pabst, Frank Neese
We report an implementation for employing the algebraic diagrammatic construction to second order [ADC(2)] ab initio electronic structure level of theory in nonadiabatic dynamics simulations in the framework of the SHARC (surface hopping including arbitrary couplings) dynamics method. The implementation is intended to enable computationally efficient, reliab
Florian Gensheimer, Tobias Dietz, Kira Kraft, Stefan Ruzika
The Alternating Direction Method of Multipliers has recently been adapted for Linear Programming Decoding of Low-Density Parity-Check codes. The computation of the projection onto the parity polytope is the core of this algorithm and usually involves a sorting operation, which is the main effort of the projection. In this paper, we present an algorithm with
On a conjecture about the comparability of parallel systems with respect to convex transform order
math.PRIdir Arab, Milto Hadjikyriakou, Paulo Eduardo Oliveira
In this paper we prove that two heterogeneous parallel systems with independent exponentially distributed components are comparable via the star transform order while the comparison via the convex transform fails. The latter conclusion provides a partial answer to a problem that remained open for a decade.
Johannes Tiedau, Tim J. Bartley, Georg Harder, Adriana E. Lita
Spontaneous parametric down-conversion (SPDC) is the most widely-used method to generate higher-order Fock states ($n\geq 2$). Yet, a consistent performance analysis from fundamental principles is missing. Here we address this problem by introducing a framework for state fidelity and generation probability under the consideration of losses and multimode emis
Nanometer-precision non-local deformation reconstruction using nanodiamond orientation sensing
cond-mat.mes-hallKangwei Xia, Chu-Feng Liu, Weng-Hang Leong, Man-Hin Kwok
Information of material deformation upon loading is critical to evaluate mechanical properties of materials in general, and key to understand fundamental mechano-stimuli induced response of live systems in particular. Conventionally, such information is obtained at macroscopic scale about averaged properties, which misses the important details of deformation
Toni L. Heugel, Matteo Biondi, Oded Zilberberg, R. Chitra
We study a dissipative Kerr-resonator subject to both single- and two-photon detuned drives. Beyond a critical detuning threshold, the Kerr resonator exhibits a semiclassical first-order dissipative phase transition between two different steady-states, that are characterized by a $π$ phase switch of the cavity field. This transition is shown to persist deep