total 99641took 0.14s

SqueezeJet: High-level Synthesis Accelerator Design for Deep Convolutional Neural NetworksMay 06 2018Deep convolutional neural networks have dominated the pattern recognition scene by providing much more accurate solutions in computer vision problems such as object recognition and object detection. Most of these solutions come at a huge computational ... More

Software-Defined FPGA Accelerator Design for Mobile Deep Learning ApplicationsFeb 08 2019Recently, the field of deep learning has received great attention by the scientific community and it is used to provide improved solutions to many computer vision problems. Convolutional neural networks (CNNs) have been successfully used to attack problems ... More

Expanding a robot's life: Low power object recognition via FPGA-based DCNN deploymentMar 23 2018FPGAs are commonly used to accelerate domain-specific algorithmic implementations, as they can achieve impressive performance boosts, are reprogrammable and exhibit minimal power consumption. In this work, the SqueezeNet DCNN is accelerated using an SoC ... More

A Framework of Transfer Learning in Object Detection for Embedded SystemsNov 12 2018Nov 24 2018Transfer learning is one of the subjects undergoing intense study in the area of machine learning. In object recognition and object detection there are known experiments for the transferability of parameters, but not for neural networks which are suitable ... More

Dimensional reduction as a tool for mesh refinement and tracking singularities of PDEsJun 20 2007We present a collection of algorithms which utilize dimensional reduction to perform mesh refinement and study possibly singular solutions of time-dependent partial differential equations. The algorithms are inspired by constructions used in statistical ... More

Phase transition approach to detecting singularities of PDEsDec 30 2008Jun 13 2009We present a mesh refinement algorithm for detecting singularities of time-dependent partial differential equations. The main idea behind the algorithm is to treat the occurrence of singularities of time-dependent partial differential equations as phase ... More

Conditional path sampling of stochastic differential equations by drift relaxationJun 12 2010Feb 10 2011We present an algorithm for the efficient sampling of conditional paths of stochastic differential equations (SDEs). While unconditional path sampling of SDEs is straightforward, albeit expensive for high dimensional systems of SDEs, conditional path ... More

On the isomorphism between the reduction algebra and the invariant differential operators on Lie groupsMar 22 2011Oct 29 2012Using techniques of deformation (bi)quantization we establish a non-canonical algebra isomorphism between the deformed reduction algebra and the invariant differential operators on G/H. Further results concerning other deformations of these two algebras ... More

Path sampling for particle filters with application to multi-target trackingSep 10 2010Feb 10 2011In recent work (arXiv:1006.3100v1), we have presented a novel approach for improving particle filters for multi-target tracking. The suggested approach was based on drift homotopy for stochastic differential equations. Drift homotopy was used to design ... More

Compressive sensing adaptation for polynomial chaos expansionsJan 06 2018Nov 27 2018Basis adaptation in Homogeneous Chaos spaces rely on a suitable rotation of the underlying Gaussian germ. Several rotations have been proposed in the literature resulting in adaptations with different convergence properties. In this paper we present a ... More

Proving Skipping Refinement with ACL2sSep 21 2015We describe three case studies illustrating the use of ACL2s to prove the correctness of optimized reactive systems using skipping refinement. Reasoning about reactive systems using refinement involves defining an abstract, high-level specification system ... More

Skipping RefinementFeb 10 2015We introduce skipping refinement, a new notion of correctness for reasoning about optimized reactive systems. Reasoning about reactive systems using refinement involves defining an abstract, high-level specification system and a concrete, low-level implementation ... More

Topics on modular Galois representations modulo prime powersDec 15 2016Jul 03 2017This article surveys modularity, level raising and level lowering questions for two-dimensional representations modulo prime powers of the absolute Galois group of the rational numbers. It contributes some new results and describes algorithms and a database ... More

Poisson Cohomology of Broken Lefschetz FibrationsMay 11 2018We compute the formal Poisson cohomology of a broken Lefschetz fibration by calculating it at fold singularities and singular points. Near a fold singularity the computation reduces to that for a point singularity in 3 dimensions. For the Poisson cohomology ... More

A photometric study of the neglected eclipsing binaries: V405 Cep, V948 Her, KR Mon and UZ SgeApr 10 2014CCD multi-band light curves of the neglected eclipsing binaries V405 Cep, V948 Her, KR Mon and UZ Sge were obtained and analysed using the Wilson-Devinney code. New geometric and absolute parameters were derived and used to determine their current evolutionary ... More

Updated analysis for the system V1464 AqlApr 10 2014New BVRI light curves of the system V1464 Aql (ellipsoidal variable with a delta Scuti component) were obtained. Using these observations and taking into account previous studies of the system, its light curve model was reproduced and the pulsation frequencies ... More

Scalar conservation laws with multiple rough fluxesJun 11 2014Jun 13 2014We study pathwise entropy solutions for scalar conservation laws with inhomogeneous fluxes and quasilinear multiplicative rough path dependence. This extends the previous work of Lions, Perthame and Souganidis who considered spatially independent and ... More

Stochastic non-isotropic degenerate parabolic-hyperbolic equationsNov 04 2016We introduce the notion of pathwise entropy solutions for a class of degenerate parabolic-hyperbolic equations with non-isotropic nonlinearity and fluxes with rough time dependence and prove their well-posedness. In the case of Brownian noise and periodic ... More

Geodesics in generalized Wallach spacesMar 14 2015We study geodesics in generalized Wallach spaces which are expressed as orbits of products of three exponential terms. These are homogeneous spaces $M=G/K$ whose isotropy representation decomposes into a direct sum of three submodules $\frak{m}=\frak{m}_1\oplus\frak{m}_2\oplus\frak{m}_3$, ... More

An analytical approach to atomic multichannel collisions in tight harmonic waveguidesFeb 12 2015We perform an analytical investigation in the framework of generalized $K$ matrix theory of the scattering problem in tight isotropic and harmonic waveguides allowing for several open scattering channels. The scattering behavior is explored for identical ... More

Time fluctuations in a population model of adaptive dynamicsJun 03 2013We study the dynamics of phenotypically structured populations in environments with fluctuations. In particular, using novel arguments from the theories of Hamilton-Jacobi equations with constraints and homogenization, we obtain results about the evolution ... More

On the number of Galois orbits of newformsMay 25 2018Counting the number of Galois orbits of newforms in $S_k(\Gamma_0(N))$ and giving some arithmetic sense to this number is an interesting open problem. The case $N=1$ corresponds to Maeda's conjecture (still an open problem) and the expected number of ... More

Foreground Removal using FastICA: A Showcase of LOFAR-EoRJan 10 2012May 24 2012We introduce a new implementation of the FastICA algorithm on simulated LOFAR EoR data with the aim of accurately removing the foregrounds and extracting the 21-cm reionization signal. We find that the method successfully removes the foregrounds with ... More

Software Defined Networking Supported by IEEE 802.1QMay 27 2014This paper gives an overview on how Software Defined Networking (SDN) principles can be applied to existing Ethernet merchant silicon considering the requirements modern networks face. We show that existing Layer 2 features specified by IEEE 802.1Q support ... More

A Domain Agnostic Normalization Layer for Unsupervised Adversarial Domain AdaptationSep 14 2018We propose a normalization layer for unsupervised domain adaption in semantic scene segmentation. Normalization layers are known to improve convergence and generalization and are part of many state-of-the-art fully-convolutional neural networks. We show ... More

Nonstandard Andreev-Bound-State Spectra in Majorana Devices and Chiral-Anomaly Phenomena in Synthetic DimensionsJan 03 2019We demonstrate how to design various nonstandard types of Andreev-bound-state (ABS) dispersions, via a composite construction relying on Majorana bound states (MBSs). Here, the MBSs appear at the interface of a Josephson junction consisting of two topological ... More

Newton-type Alternating Minimization Algorithm for Convex OptimizationMar 14 2018We propose NAMA (Newton-type Alternating Minimization Algorithm) for solving structured nonsmooth convex optimization problems where the sum of two functions is to be minimized, one being strongly convex and the other composed with a linear mapping. The ... More

Bound and scattering states in harmonic waveguides in the vicinity of free space Feshbach resonancesMar 08 2016The two-body bound and scattering properties in an one-dimensional harmonic waveguide close to free space magnetic Feshbach resonances are investigated based on the local frame transformation approach within a single partial wave approximation. An energy ... More

The third body in the eclipsing binary AV CMi: Hot Jupiter or brown dwarf?Dec 29 2011New transit light curves of the third body in the system AV CMi have been obtained. The eclipsing pair's light curves were re-analysed with the W-D code and new absolute elements were derived for the two components. Moreover the new light curves (together ... More

Cookie Synchronization: Everything You Always Wanted to Know But Were Afraid to AskMay 26 2018User data is the primary input of digital advertising, the fuel of free Internet as we know it. As a result, web entities invest a lot in elaborate tracking mechanisms to acquire more and more user data that can sell to data markets and advertisers. The ... More

Quizz: Targeted crowdsourcing with a billion (potential) usersJun 02 2015We describe Quizz, a gamified crowdsourcing system that simultaneously assesses the knowledge of users and acquires new knowledge from them. Quizz operates by asking users to complete short quizzes on specific topics; as a user answers the quiz questions, ... More

Stable fractional matchingsFeb 18 2019We study a generalization of the classical stable matching problem that allows for cardinal preferences (as opposed to ordinal) and fractional matchings (as opposed to integral). After observing that, in this cardinal setting, stable fractional matchings ... More

Parametric Landau damping of space charge modesSep 24 2016Landau damping is the mechanism of plasma and beam stabilization; it is caused by energy transfer from collective modes to incoherent motion of resonant particles. Normally this resonance requires the wave frequency in the particle frame to match the ... More

Cubic-Quintic Long-Range Interactions With Double Well PotentialsJul 28 2012Apr 24 2013In the present work, we examine the combined effects of cubic and quintic terms of the long range type in the dynamics of a double well potential. Employing a two-mode approximation, we systematically develop two cubic-quintic ordinary differential equations ... More

Stochastic homogenization of viscous superquadratic Hamilton-Jacobi equations in dynamic random environmentJun 21 2016We study the qualitative homogenization of second order viscous Hamilton-Jacobi equations in space-time stationary ergodic random environments. Assuming that the Hamiltonian is convex and superquadratic in the momentum variable (gradient) we establish ... More

A Simple and Efficient Algorithm for Nonlinear Model Predictive ControlSep 19 2017We present PANOC, a new algorithm for solving optimal control problems arising in nonlinear model predictive control (NMPC). A usual approach to this type of problems is sequential quadratic programming (SQP), which requires the solution of a quadratic ... More

Emergent/Composite axionsNov 14 2018Nov 15 2018Hidden theories coupled to the SM may provide emergent axions, that are composites/bound-states of the hidden fields. This is motivated by paradigms emerging from the AdS/CFT correspondence but it is a more general phenomenon. We explore the general setup ... More

Optimal fidelity multi-level Monte Carlo for quantification of uncertainty in simulations of cloud cavitation collapseMay 11 2017We quantify uncertainties in the location and magnitude of extreme pressure spots revealed from large scale multi-phase flow simulations of cloud cavitation collapse. We examine clouds containing 500 cavities and quantify uncertainties related to their ... More

A locally anisotropic geometrical model of space-time based on CMBRSep 07 2005Feb 17 2006We study a locally anisotropic model of General Relativity in the framework of a more general geometrical structure than the Riemannian one. In this model the observable anisotropy of the CMBR (WMAP) is represented by a tensor of anisotropy and it is ... More

Photometry and spectroscopy of the newly discovered eclipsing binary GSC 4589-2999Apr 10 2014New CCD light curves of the recently detected eclipsing variable GSC 4589-2999 were obtained and analysed using the Wilson-Deninney code. Spectroscopic observations of the system allowed the spectral classification of the components and the determination ... More

The \b{eta} Lyrae-Type Eclipsing Binary EG Cep: New BVRI Photometry and ModellingApr 10 2014New BVRI CCD observations of the semi-detached eclipsing binary EG Cep are presented. The observed light curves are analyzed with the Wilson-Devinney program and new geometrical and photometric elements are derived. These elements are used to compute ... More

Proximal Gradient Algorithms: Applications in Signal ProcessingMar 05 2018May 08 2018Advances in numerical optimization have supported breakthroughs in several areas of signal processing. This paper focuses on the recent enhanced variants of the proximal gradient numerical optimization algorithm, which combine quasi-Newton methods with ... More

Universality in disordered systems: The case of the three-dimensional random-bond Ising modelDec 01 2010We study the critical behavior of the $d=3$ Ising model with bond randomness through extensive Monte Carlo simulations and finite-size scaling techniques. Our results indicate that the critical behavior of the random-bond model is governed by the same ... More

Microphase separation in linear multiblock copolymers under poor solvent conditionsNov 22 2010Molecular dynamics simulations are used to study the phase behavior of linear multiblock copolymers with two types of monomers, A and B, where the length of the polymer blocks $N_{A}$ and $N_{B}$ ($N_{A}=N_{B}=N$), the number of the blocks $n_{A}$ and ... More

Phase behaviour of two-component bottle-brush polymers with flexible backbones under poor solvent conditionsApr 16 2014The phase behaviour of two-component bottle-brush polymers with fully flexible backbones under poor solvent conditions is studied via molecular-dynamics simulations, using a coarse-grained bead-spring model and side chains of up to $N=40$ effective monomers. ... More

Efficient Bayesian experimentation using an expected information gain lower boundMay 30 2015Mar 10 2016Experimental design is crucial for inference where limitations in the data collection procedure are present due to cost or other restrictions. Optimal experimental designs determine parameters that in some appropriate sense make the data the most informative ... More

Temporal Saliency Adaptation in Egocentric VideosAug 28 2018Sep 04 2018This work adapts a deep neural model for image saliency prediction to the temporal domain of egocentric video. We compute the saliency map for each video frame, firstly with an off-the-shelf model trained from static images, secondly by adding a a convolutional ... More

A study for the static properties of symmetric linear multiblock copolymers under poor solvent conditionsMar 01 2012We use a standard bead-spring model and molecular dynamics simulations to study the static properties of symmetric linear multiblock copolymer chains and their blocks under poor solvent conditions in a dilute solution from the regime close to theta conditions, ... More

Molecular dynamics simulations of single-component bottle-brush polymers with a flexible backbone under poor solvent conditionsJun 04 2013Conformations of a single-component bottle-brush polymer with a fully flexible backbone under poor solvent conditions are studied by molecular-dynamics simulations, using a coarse-grained bead-spring model with side chains of up to N=40 effective monomers. ... More

The Road From Classical to Quantum Codes: A Hashing Bound Approaching Design ProcedureMar 09 2015Powerful Quantum Error Correction Codes (QECCs) are required for stabilizing and protecting fragile qubits against the undesirable effects of quantum decoherence. Similar to classical codes, hashing bound approaching QECCs may be designed by exploiting ... More

A Surprise in the Amplitude/Wilson Loop DualityApr 16 2010Apr 29 2010One of the many remarkable features of MHV scattering amplitudes is their conjectured equality to lightlike polygon Wilson loops, which apparently holds at all orders in perturbation theory as well as non-perturbatively. This duality is usually expressed ... More

Risk-Averse Model Predictive Operation Control of Islanded MicrogridsSep 17 2018In this paper we present a risk-averse model predictive control (MPC) scheme for the operation of islanded microgrids with very high share of renewable energy sources. The proposed scheme mitigates the effect of errors in the determination of the probability ... More

Bounding the inefficiency of outcomes in generalized second price auctionsJan 31 2012Apr 25 2014The Generalized Second Price (GSP) auction is the primary auction used for monetizing the use of the Internet. It is well-known that truthtelling is not a dominant strategy in this auction and that inefficient equilibria can arise. In this paper we study ... More

Solar Lab Notebook (SLN): An Ultra-Portable Web-Based System for Heliophysics and High-Security LabsOct 17 2014Jun 19 2015This paper introduces the Solar Lab Notebook (SLN), an electronic lab notebook for improving the process of recording and sharing solar related digital information in an organized manner. SLN is a pure web-based application (available online: http://umbra.nascom.nasa.gov/sln) ... More

Self-assembly of DNA-functionalized colloidsMar 18 2015Jun 16 2015Colloidal particles grafted with single-stranded DNA (ssDNA) chains can self-assemble into a number of different crystalline structures, where hybridization of the ssDNA chains creates links between colloids stabilizing their structure. Depending on the ... More

Interfacial adsorption in 2D pure and random-bond Potts modelsOct 26 2016We study using Monte Carlo simulations the finite-size scaling behavior of the interfacial adsorption of the two-dimensional square-lattice $q$-states Potts model. We consider the pure and random-bond versions of the Potts model for $q = 3,4,5,8$ and ... More

Topological superconductivity in Rashba semiconductors without a Zeeman fieldSep 18 2014Jul 08 2015In this manuscript I present new hybrid devices based on multi-wire/channel Rashba semiconductors, which harbor Majorana fermions (MFs) without a Zeeman field. In contrast, magnetic fluxes, supercurrents or electric fields can be employed, yielding an ... More

Mori-Zwanzig reduced models for uncertainty quantification II: Initial condition uncertaintyDec 27 2012In a recent preprint (arXiv:1211.4285v1) we addressed the problem of constructing reduced models for time-dependent systems described by differential equations which involve uncertain parameters. In the current work, we focus on the construction of reduced ... More

Renormalized reduced models for singular PDEsJun 08 2011Nov 18 2011We present a novel way of constructing reduced models for systems of ordinary differential equations. The reduced models we construct depend on coefficients which measure the importance of the different terms appearing in the model and need to be estimated. ... More

Classification of engineered topological superconductorsMay 01 2013Sep 21 2013I perform a complete classification of 2d, quasi-1d and 1d topological superconductors which originate from the suitable combination of inhomogeneous Rashba spin-orbit coupling, magnetism and superconductivity. My analysis reveals alternative types of ... More

Stochastic global optimization as a filtering problemDec 21 2009We present a reformulation of stochastic global optimization as a filtering problem. The motivation behind this reformulation comes from the fact that for many optimization problems we cannot evaluate exactly the objective function to be optimized. Similarly, ... More

A note on the topology of irreducible ${\rm SO}(3)$-manifoldsAug 25 2015We give necessary and sufficient topological conditions for the existence of an irreducible ${\rm SO}(3)$-structure on a $5$-manifold. Using these conditions we provide some new examples of $5$-manifolds with an irreducible ${\rm SO}(3)$-structure.

MENSADB: A Thorough Structural Analysis of Membrane Protein DimersFeb 06 2019Membrane Proteins (MPs) account for around 15-39% of the human proteome and assume a critical role in a vast set of cellular and physiological mechanisms, including molecular transport, nutrient uptake, toxin and waste product clearance, respiration, ... More

Mori-Zwanzig reduced models for uncertainty quantification I: Parametric uncertaintyNov 19 2012In many time-dependent problems of practical interest the parameters entering the equations describing the evolution of the various quantities exhibit uncertainty. One way to address the problem of how this uncertainty impacts the solution is to expand ... More

Numerical computation of solutions of the critical nonlinear Schrodinger equation after the singularityOct 11 2010We present numerical results for the solution of the 1D critical nonlinear Schrodinger with periodic boundary conditions and initial data that give rise to a finite time singularity. We construct, through the Mori-Zwanzig formalism, a reduced model which ... More

Coverings preserving the bottom of the spectrumNov 19 2018We prove that if a Riemannian covering preserves the bottom of the spectrum of a Schr\"{o}dinger operator, which belongs to the discrete spectrum of the operator on the base manifold, then the covering is amenable.

Measurements of jet-related observables at the LHCSep 07 2015During the first years of the LHC operation a large amount of jet data was recorded by the ATLAS and CMS experiments. In this review several measurements of jet-related observables are presented, such as multi-jet rates and cross sections, ratios of jet ... More

label.switching: An R Package for Dealing with the Label Switching Problem in MCMC OutputsMar 08 2015Label switching is a well-known and fundamental problem in Bayesian estimation of mixture or hidden Markov models. In case that the prior distribution of the model parameters is the same for all states, then both the likelihood and posterior distribution ... More

Solving the two envelopes problem with the Intermediate Amount StrategyFeb 16 2015This paper introduces a strategy in the two envelopes problem that utilizes the prior beliefs of two players about the amount of money that their envelopes can contain. This strategy gives them more information about the decision of switching they have ... More

Real-time jam-session support systemJan 27 2012We propose a method for the problem of real time chord accompaniment of improvised music. Our implementation can learn an underlying structure of the musical performance and predict next chord. The system uses Hidden Markov Model to find the most probable ... More

Variations on the Two Envelopes ProblemNov 06 2014There are many papers written on the Two Envelopes Problem that usually study some of its variations. In this paper we will study and compare the most significant variations of the problem. We will see the correct decisions for each player and we will ... More

The size of the singular set of a Type I Ricci flowOct 02 2015In a singular Type I Ricci flow, we consider a stratification of the set where there is curvature blow-up, according to the number of the Euclidean factors split by the tangent flows. We then show that the strata are characterized roughly in terms of ... More

The size of the singular set of a Type I Ricci flowOct 02 2015Nov 04 2016In a singular Type I Ricci flow, we consider a stratification of the set where there is curvature blow-up, according to the number of the Euclidean factors split by the tangent flows. We then show that the strata are characterized roughly in terms of ... More

Stochastic Optimal Prediction for the Kuramoto-Sivashinsky EquationJul 10 2003We examine the problem of predicting the evolution of solutions of the Kuramoto-Sivashinsky equation when initial data are missing. We use the optimal prediction method to construct equations for the reduced system. The resulting equations for the resolved ... More

A maximum likelihood algorithm for the estimation and renormalization of exponential densitiesSep 14 2004We present an algorithm based on maximum likelihood for the estimation and renormalization (marginalization) of exponential densities. The moment-matching problem resulting from the maximization of the likelihood is solved as an optimization problem using ... More

On the spectrum of differential operators under Riemannian coveringsMar 08 2018For a Riemannian covering $p \colon M_{2} \to M_{1}$, we compare the spectrum of an essentially self-adjoint differential operator $D_{1}$ on a bundle $E_{1} \to M_{1}$ with the spectrum of its lift $D_{2}$ on $p^{*}E_{1} \to M_{2}$. We prove that if ... More

Simulation of an ensemble of $N_f=2+1+1$ twisted mass clover-improved fermions at physical quark massesDec 27 2017We present a general strategy aimed at generating $N_f=2+1+1$ configurations with quarks at their physical mass using maximally twisted mass fermions to ensure automatic $O(a)$ improvement, in the presence of a clover term tuned to reduce the charged ... More

Quantum algorithms for electronic structure calculations: particle/hole Hamiltonian and optimized wavefunction expansionsMay 11 2018In this work we investigate methods to improve the efficiency and scalability of quantum algorithms for quantum chemistry applications. We propose a transformation of the electronic structure Hamiltonian in the second quantization framework into the particle-hole ... More

Red supergiant stars in the Large Magellanic Cloud. II. Infrared properties and mid-infrared variabilityMay 08 2018The characteristics of IR properties and MIR variability of RSGs in the LMC are analyzed based on 12 bands of NIR to MIR co-added data from 2MASS, Spitzer and WISE, and $\sim$6.6 years of MIR time-series data collected by the ALLWISE and NEOWISE-R projects. ... More

Realistic Simulations of the Galactic Polarized Foreground: Consequences for 21-cm Reionization Detection ExperimentsJul 23 2010Jun 10 2015Experiments designed to measure the redshifted 21~cm line from the Epoch of Reionization (EoR) are challenged by strong astrophysical foreground contamination, ionospheric distortions, complex instrumental response and other different types of noise (e.g. ... More

A comparative study of two stochastic mode reduction methodsSep 01 2005We present a comparative study of two methods for the reduction of the dimensionality of a system of ordinary differential equations that exhibits time-scale separation. Both methods lead to a reduced system of stochastic differential equations. The novel ... More

Higher order Mori-Zwanzig models for the Euler equationsJul 05 2006In a recent paper \cite{CHSS06}, an infinitely long memory model (the t-model) for the Euler equations was presented and analyzed. The model can be derived by keeping the zeroth order term in a Taylor expansion of the memory integrand in the Mori-Zwanzig ... More

A possible generalization of Maeda's conjectureMay 15 2012We report on observations we made on computational data that suggest a generalization of Maeda's conjecture regarding the number of Galois orbits of newforms of level $N = 1$, to higher levels. They also suggest a possible formula for this number in many ... More

A level raising result for modular Galois representations modulo prime powersMar 29 2012In this work we provide a level raising theorem for $\mod \lambda^n$ modular Galois representations. It allows one to see such a Galois representation that is modular of level $N$, weight 2 and trivial Nebentypus as one that is modular of level $Np$, ... More

Model reduction and mesh refinementFeb 26 2014In recent work we have presented a novel algorithm for mesh refinement which utilizes a reduced model. In particular, the reduced model is used to monitor the transfer of activity (e.g. mass, energy) from larger to smaller scales. When the activity transfer ... More

Novel deep learning methods for track reconstructionOct 14 2018For the past year, the HEP.TrkX project has been investigating machine learning solutions to LHC particle track reconstruction problems. A variety of models were studied that drew inspiration from computer vision applications and operated on an image-like ... More

Equation-Free Multiscale Computation: enabling microscopic simulators to perform system-level tasksSep 10 2002We present and discuss a framework for computer-aided multiscale analysis, which enables models at a "fine" (microscopic/stochastic) level of description to perform modeling tasks at a "coarse" (macroscopic, systems) level. These macroscopic modeling ... More

Effective-mass model of surface scattering in locally oxidized Si nanowiresFeb 02 2010We present a simple model to describe the lowest-subbands surface scattering in locally oxidized silicon nanowires grown in the [110] direction. To this end, we employ an atomistically scaled effective mass model projected from a three-dimensional effective ... More

The Composition of Wage Differentials between Migrants and NativesJun 07 2013Oct 20 2013We consider the role of unobservables, such as differences in search frictions, reservation wages, and productivities for the explanation of wage differentials between migrants and natives. We disentangle these by estimating an empirical general equilibrium ... More

Active Adversaries from an Information-Theoretic Perspective: Data Modification AttacksApr 25 2014We investigate the problem of reliable communication in the presence of active adversaries that can tamper with the transmitted data. We consider a legitimate transmitter-receiver pair connected over multiple communication paths (routes). We propose two ... More

Routing Directions: Keeping it Fast and SimpleSep 17 2013The problem of providing meaningful routing directions over road networks is of great importance. In many real-life cases, the fastest route may not be the ideal choice for providing directions in written, spoken text, or for an unfamiliar neighborhood, ... More

Ricci flow from spaces with isolated conical singularitiesOct 31 2016Let $(M,g_0)$ be a compact $n$-dimensional Riemannian manifold with a finite number of singular points, where the metric is asymptotic to a non-negatively curved cone over $(\mathbb{S}^{n-1},g)$. We show that there exists a smooth Ricci flow starting ... More

Partial Quantifier EliminationJul 17 2014We consider the problem of Partial Quantifier Elimination (PQE). Given formula exists(X)[F(X,Y) & G(X,Y)], where F, G are in conjunctive normal form, the PQE problem is to find a formula F*(Y) such that F* & exists(X)[G] is logically equivalent to exists(X)[F ... More

W- algebras and Duflo IsomorphismOct 29 2012Jul 27 2016We prove that when Kontsevich's deformation quantization is applied on weight homogeneous Poisson structures, the operators in the $\ast-$ product formula are weight homogeneous. We then consider the linear Poisson case $X=\mathfrak{g}^\ast$ for a semi ... More

Atiyah classes and dg-Lie algebroids for matched pairsJan 23 2016Apr 01 2016For every Lie pair $(L,A)$ of algebroids we construct a dg-manifold structure on the $\mathbb{Z}$-graded manifold $\mathcal{M}=L[1]\oplus L/A$ such that the inclusion $\iota: A[1] \to \mathcal{M}$ and the projection $p:\mathcal{M}\to L[1]$ are morphisms ... More

Training of Convolutional Networks on Multiple Heterogeneous Datasets for Street Scene Semantic SegmentationMar 15 2018Jul 08 2018We propose a convolutional network with hierarchical classifiers for per-pixel semantic segmentation, which is able to be trained on multiple, heterogeneous datasets and exploit their semantic hierarchy. Our network is the first to be simultaneously trained ... More

The Role of Vertex Consistency in Sampling-based Algorithms for Optimal Motion PlanningApr 29 2012Motion planning problems have been studied by both the robotics and the controls research communities for a long time, and many algorithms have been developed for their solution. Among them, incremental sampling-based motion planning algorithms, such ... More

Incremental Sampling-based Motion Planners Using Policy Iteration MethodsSep 19 2016Recent progress in randomized motion planners has led to the development of a new class of sampling-based algorithms that provide asymptotic optimality guarantees, notably the RRT* and the PRM* algorithms. Careful analysis reveals that the so-called "rewiring" ... More

Nowhere differentiable functions of analytic type on products of fintely connected planar domainsAug 29 2016Using Laurent decomposition and Mergelyan's theorem combined with Baire's category theorem, we prove generic nowhere differentiability on the distinguished boundary of functions of analytic type on products of planar domains bounded by finitely many disjoint ... More

BayesBinMix: an R Package for Model Based Clustering of Multivariate Binary DataSep 22 2016The BayesBinMix package offers a Bayesian framework for clustering binary data with or without missing values by fitting mixtures of multivariate Bernoulli distributions with an unknown number of components. It allows the joint estimation of the number ... More