Sparse Recovery With Multiple Data Streams: A Sequential Adaptive
Testing Approach
July 22, 2017
| |
Statistics
Methodology
Multistage design has been used in a wide range of scientific fields. By
allocating sensing resources adaptively, one can effectively eliminate null
locations and localize signals with a smaller study budget. We formulate a
decision-theoret...
Ideal hyperbolic polyhedra and discrete uniformization
July 21, 2017
|
Mathematics
Metric Geometry
Geometric Topology
Metric Geometry
Geometric Topology
We provide a constructive, variational proof of Rivin's realization theorem
for ideal hyperbolic polyhedra with prescribed intrinsic metric, which is
equivalent to a discrete uniformization theorem for spheres. The same
variational method i...
A C++ reasoner for the description logic
DLD4,× (Extended Version)
July 21, 2017
| |
Computer Science
Logic in Computer Science
We present an ongoing implementation of a KE-tableau based reasoner for a
decidable fragment of stratified elementary set theory expressing the
description logic DL⟨4LQSR,×⟩(D) (shortly
$...
Augmented Lagrangian Functions for Cone Constrained Optimization: the
Existence of Global Saddle Points and Exact Penalty Property
July 18, 2017
Mathematics
Optimization and Control
In the article we present a general theory of augmented Lagrangian functions
for cone constrained optimization problems that allows one to study almost all
known augmented Lagrangians for cone constrained programs within a unified
framework...
A chronology of continued square roots and other continued compositions,
through the year 2016
July 17, 2017
Mathematics
History and Overview
Classical Analysis and ODEs
An infinite continued composition is an expression of the form
\begin{equation*} \lim_{n\to\infty}t_0\circ t_1 \circ t_2 \circ \cdots \circ
t_n(c)\;, \end{equation*} where the ti are maps from a set D to itself,
the initial value c i...
An extension of the Erd\H{o}s-Tur\'{a}n additive base conjecture via
generalized circles of partition
July 16, 2017
Mathematics
Number Theory
This paper is an extension program of the notion of circle of partition
developed in our first paper \cite{CoP}. As an application we prove the
Erd\H{o}s-Tur\'{a}n additive base conjecture....
A technique for solving the polygon inclusion problems
July 13, 2017
| |
Computer Science
Computational Geometry
We propose a technique called Rotate-and-Kill for solving the polygon
inclusion and circumscribing problems. By applying this technique, we obtain
O(n) time algorithms for computing (1) the maximum area triangle in a given
n-sided conve...
Cas d'existence de solutions d'EDP
July 10, 2017
|
Mathematics
Analysis of PDEs
Analysis of PDEs
We give some examples of the existence of solutions of geometric PDEs (Yamabe
equation, Prescribed Scalar Curvature Equation, Gaussian curvature). We also
give some remarks on second order PDE and Green functions and on the maximum
principl...
Phonon and electronic properties of semiconducting silicon nitride
bilayers
July 10, 2017
| | | | |
Physics
Materials Science
The two-dimensional (2D) IV-V semiconductors have attracted much attention
due to their fascinating electronic and optical properties. In this work, we
predicted three phases of silicon nitrides, denoted α-Si2N2,
β-Si...
Ramsey expansions of metrically homogeneous graphs
July 9, 2017
| | | | | |
Mathematics
Computer Science
Combinatorics
Discrete Mathematics
Logic
We investigate Ramsey expansions, the coherent extension property for partial
isometries (EPPA), and the existence of a stationary independence relation for
all classes of metrically homogeneous graphs from Cherlin's catalogue. We show
that...