total 108983took 0.13s

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

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

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

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

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

On Boosting Semantic Street Scene Segmentation with Weak SupervisionMar 08 2019Training convolutional networks for semantic segmentation requires per-pixel ground truth labels, which are very time consuming and hence costly to obtain. Therefore, in this work, we research and develop a hierarchical deep network architecture and the ... More

Equivariant K-theory and Resolution I: Abelian actionsJul 22 2018The smooth action of a compact Lie group on a compact manifold can be resolved to an iterated space, as made explicit by Pierre Albin and the second author. On the resolution the lifted action has fixed isotropy type, in an iterated sense, with connecting ... More

Atiyah classes and dg-Lie algebroids for matched pairsJan 23 2016Sep 21 2017For 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

On the heat kernel of a class of fourth order operators in two dimensions: sharp Gaussian estimates and short time asymptoticsDec 08 2017Jul 03 2018We consider a class of fourth order uniformly elliptic operators in planar Euclidean domains and study the associated heat kernel. For operators with $L^{\infty}$ coefficients we obtain Gaussian estimates with best constants, while for operators with ... More

A drift homotopy Monte Carlo approach to particle filtering for multi-target trackingJun 15 2010Feb 10 2011We present a novel approach for improving particle filters for multi-target tracking. The suggested approach is based on drift homotopy for stochastic differential equations. Drift homotopy is used to design a Markov Chain Monte Carlo step which is appended ... More

Rare mutations limit of a steady state dispersion trait modelMay 13 2015Feb 25 2016The evolution of dispersal is a classical question in evolutionary ecology, which has been widely studied with several mathematical models. The main question is to define the fittest dispersal rate for a population in a bounded domain, and, more recently, ... 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

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

Single Network Panoptic Segmentation for Street Scene UnderstandingFeb 07 2019In this work, we propose a single deep neural network for panoptic segmentation, for which the goal is to provide each individual pixel of an input image with a class label, as in semantic segmentation, as well as a unique identifier for specific objects ... More

A New Randomized Block-Coordinate Primal-Dual Proximal Algorithm for Distributed OptimizationJun 09 2017Nov 30 2018This paper proposes TriPD, a new primal-dual algorithm for minimizing the sum of a Lipschitz-differentiable convex function and two possibly nonsmooth convex functions, one of which is composed with a linear mapping. We devise a randomized block-coordinate ... More

Forward-backward envelope for the sum of two nonconvex functions: Further properties and nonmonotone line-search algorithmsJun 20 2016May 23 2017We propose ZeroFPR, a nonmonotone linesearch algorithm for minimizing the sum of two nonconvex functions, one of which is smooth and the other possibly nonsmooth. ZeroFPR is the first algorithm that, despite being fit for fully nonconvex problems and ... More

Safe Learning-Based Control of Stochastic Jump Linear Systems: a Distributionally Robust ApproachMar 24 2019We consider the problem of designing control laws for stochastic jump linear systems where the disturbances are drawn randomly from a finite sample space according to an unknown distribution, which is estimated from a finite sample of i.i.d. observations. ... More

Risk-averse risk-constrained optimal controlMar 15 2019Multistage risk-averse optimal control problems with nested conditional risk mappings are gaining popularity in various application domains. Risk-averse formulations interpolate between the classical expectation-based stochastic and minimax optimal control. ... 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

Variance reduction for particle filters of systems with time-scale separationMay 16 2007Jun 04 2008We present a particle filter construction for a system that exhibits time-scale separation. The separation of time-scales allows two simplifications that we exploit: i) The use of the averaging principle for the dimensional reduction of the system needed ... More

Bottom of spectra and amenability of coveringsMar 20 2018For a Riemannian covering $\pi\colon M_1\to M_0$, the bottoms of the spectra of $M_0$ and $M_1$ coincide if the covering is amenable. The converse implication does not always hold. Assuming completeness and a lower bound on the Ricci curvature, we obtain ... More

A gradient flow of isometric $\mathrm{G}_2$ structuresApr 22 2019We study a flow of $G_2$ structures which induce the same Riemannian metric which is the negative gradient flow of an energy functional. We prove Shi-type estimates for the torsion tensor along the flow. We show that at a finite-time singularity the torsion ... More

Distributed Computation of Top-$k$ Degrees in Hidden Bipartite GraphsApr 09 2019Hidden graphs are flexible abstractions that are composed of a set of known vertices (nodes), whereas the set of edges are not known in advance. To uncover the set of edges, multiple edge probing queries must be executed by evaluating a function $f(u,v)$ ... 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

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

Can social microblogging be used to forecast intraday exchange rates?Oct 20 2013The Efficient Market Hypothesis (EMH) is widely accepted to hold true under certain assumptions. One of its implications is that the prediction of stock prices at least in the short run cannot outperform the random walk model. Yet, recently many studies ... 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

Phase Transitions and Relaxation Processes in Macromolecular Systems: The Case of Bottle-brush PolymersOct 22 2009As an example for the interplay of structure, dynamics, and phase behavior of macromolecular systems, this article focuses on the problem of bottle-brush polymers with either rigid or flexible backbones. On a polymer with chain length $N_b$, side-chains ... More

The Deterministic and Stochastic Shallow Lake ProblemDec 12 2017We study the welfare function of the deterministic and stochastic shallow lake problem. We show that the welfare function is the viscosity solution of the associated Bellman equation, we establish several properties including its asymptotic behaviour ... 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

On the Langevin equation with variable frictionMay 15 2017We study two asymptotic problems for the Langevin equation with variable friction coefficient. The first is the small mass asymptotic behavior, known as the Smoluchowski-Kramers approximation, of the Langevin equation with strictly positive variable friction. ... 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

Automorphisms of the Generalized Fermat curvesSep 10 2014Dec 23 2014Let $K$ be an algebraically closed field of characteristic $p \geq 0$. A generalized Fermat curve of type $(k,n)$, where $k,n \geq 2$ are integers (for $p \neq 0$ we also assume that $k$ is relatively prime to $p$), is a non-singular irreducible projective ... 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

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

Faster algorithms for 1-mappability of a sequenceMay 11 2017In the k-mappability problem, we are given a string x of length n and integers m and k, and we are asked to count, for each length-m factor y of x, the number of other factors of length m of x that are at Hamming distance at most k from y. We focus here ... 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

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

LD-SDS: Towards an Expressive Spoken Dialogue System based on Linked-DataOct 09 2017In this work we discuss the related challenges and describe an approach towards the fusion of state-of-the-art technologies from the Spoken Dialogue Systems (SDS) and the Semantic Web and Information Retrieval domains. We envision a dialogue system named ... More

A Survey of Crowdsourcing in Medical Image AnalysisFeb 25 2019Rapid advances in image processing capabilities have been seen across many domains, fostered by the application of machine learning algorithms to "big-data". However, within the realm of medical image analysis, advances have been curtailed, in part, due ... 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

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.

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

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

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

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

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

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

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

A new ergodic proof of a theorem of W. VeechMar 06 2017Our goal in the present paper is to give a new ergodic proof of a well-known Veech's result, build upon our previous works.

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

Universal partial sums of Taylor series as functions of the centre of expansionOct 09 2017V. Nestoridis conjectured that if $\Omega$ is a simply connected subset of $\mathbb{C}$ that does not contain $0$ and $S(\Omega)$ is the set of all functions $f\in \mathcal{H}(\Omega)$ with the property that the set $\left\{T_N(f)(z)\coloneqq\sum_{n=0}^N\dfrac{f^{(n)}(z)}{n!} ... 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

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

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

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

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

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

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 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

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

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

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

Truth in Web Mining: Measuring the Profitability and Cost of Cryptominers as a Web Monetization ModelJun 06 2018The recent advances of web-based cryptomining libraries along with the whopping market value of cryptocoins have convinced an increasing number of publishers to switch to web mining as a source of monetization for their websites. The conditions could ... 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

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

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

Poetry in Motion: Asteroseismology of Delta Scuti Stars in Binaries using Kepler DataJun 28 2016The results of our six year systematic observational survey on candidate eclipsing binaries with a delta Sct component are briefly presented. A new catalogue for this kind of systems as well as the properties of their delta Sct members are also presented. ... More

The Light-Time Effect in the Eclipsing Binaries GK Cep and VY CetApr 10 2014New times of minima of the eclipsing binaries GK Cep and VY Cet, obtained at the Observatory of the University of Athens, have been used together with all reliable timings found in the literature in order to study the period variation and search for the ... More

A classification of Thurston geometries without compact quotientsMar 07 2014We classify pairs $(M,G)$ where $M$ is a $3$--dimensional simply connected smooth manifold and $G$ a Lie group acting on $M$ transitively, effectively with compact isotropy group.

Graph unique-maximum and conflict-free coloringsDec 15 2009We investigate the relationship between two kinds of vertex colorings of graphs: unique-maximum colorings and conflict-free colorings. In a unique-maximum coloring, the colors are ordered, and in every path of the graph the maximum color appears only ... More

Checking Satisfiability by Dependency SequentsJul 20 2012We introduce a new algorithm for checking satisfiability based on a calculus of Dependency sequents (D-sequents). Given a CNF formula F(X), a D-sequent is a record stating that under a partial assignment a set of variables of X is redundant in formula ... More

Bug Hunting By Computing Range ReductionAug 29 2014Oct 11 2014We describe a method of model checking called Computing Range Reduction (CRR). The CRR method is based on derivation of clauses that reduce the set of traces of reachable states in such a way that at least one counterexample remains (if any). These clauses ... More

Removal of Quantifiers by Elimination of Boundary PointsApr 08 2012Jun 05 2012We consider the problem of elimination of existential quantifiers from a Boolean CNF formula. Our approach is based on the following observation. One can get rid of dependency on a set of variables of a quantified CNF formula F by adding resolvent clauses ... More

On the speed of convergence in the strong density theoremMay 25 2018Jun 20 2018For a compact set $K\subset \mathbb{R}^m$, we have two indexes given under simple parameters of the set $K$ (these parameters go back to Besicovitch and Taylor in the late 50's). In the present paper we prove that with the exception of a single extreme ... 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