2,368 research outputs found
Optimal Depth, Very Small Size Circuits for Symmetrical Functions in AC0
AbstractIt is well known which symmetric Boolean functions can be computed by constant depth, polynomial size, unbounded fan-in circuits, i.e., which are contained in the complexity class AC0. This result is sharpened. Symmetric Boolean functions in AC0 can be computed by unbounded fan-in circuits with the following properties. If the optimal depth of AC0-circuits is d, the depth is at most d + 2, the number of wires is almost linear, namely n logO(1)n, and the number of gates is subpolynomial (but superpolylogarithmic), namely 2O(logδn) for some δ < 1
Product recognition in store shelves as a sub-graph isomorphism problem
The arrangement of products in store shelves is carefully planned to maximize
sales and keep customers happy. However, verifying compliance of real shelves
to the ideal layout is a costly task routinely performed by the store
personnel. In this paper, we propose a computer vision pipeline to recognize
products on shelves and verify compliance to the planned layout. We deploy
local invariant features together with a novel formulation of the product
recognition problem as a sub-graph isomorphism between the items appearing in
the given image and the ideal layout. This allows for auto-localizing the given
image within the aisle or store and improving recognition dramatically.Comment: Slightly extended version of the paper accepted at ICIAP 2017. More
information @project_page -->
http://vision.disi.unibo.it/index.php?option=com_content&view=article&id=111&catid=7
Molecular Data are Transforming Hypotheses on the Origin and Diversification of Eukaryotes
The explosion of molecular data has transformed hypotheses on both the origin of eukaryotes and the structure of the eukaryotic tree of life. Early ideas about the evolution of eukaryotes arose through analyses of morphology by light microscopy and, later, electron microscopy. Though such studies have proven powerful at resolving more recent events, theories on origins and diversification of eukaryotic life have been substantially revised in light of analyses of molecular data including gene and, increasingly, whole-genome sequences. By combining these approaches, progress has been made in elucidating the origin and diversification of eukaryotes. Yet many aspects of the evolution of eukaryotic life remain to be illuminated
QuickXsort: Efficient Sorting with n log n - 1.399n +o(n) Comparisons on Average
In this paper we generalize the idea of QuickHeapsort leading to the notion
of QuickXsort. Given some external sorting algorithm X, QuickXsort yields an
internal sorting algorithm if X satisfies certain natural conditions.
With QuickWeakHeapsort and QuickMergesort we present two examples for the
QuickXsort-construction. Both are efficient algorithms that incur approximately
n log n - 1.26n +o(n) comparisons on the average. A worst case of n log n +
O(n) comparisons can be achieved without significantly affecting the average
case.
Furthermore, we describe an implementation of MergeInsertion for small n.
Taking MergeInsertion as a base case for QuickMergesort, we establish a
worst-case efficient sorting algorithm calling for n log n - 1.3999n + o(n)
comparisons on average. QuickMergesort with constant size base cases shows the
best performance on practical inputs: when sorting integers it is slower by
only 15% to STL-Introsort
Formation of new microdistricts area within the sanitary protection zone of the Tomsk underground water intake
Specific features of eddy current analysis with ANSYS® for fast plasma current decay event in W7-X
Verifying proofs in constant depth
In this paper we initiate the study of proof systems where verification of proofs proceeds by NC circuits. We investigate the question which languages admit proof systems in this very restricted model. Formulated alternatively, we ask which languages can be enumerated by NC functions. Our results show that the answer to this problem is not determined by the complexity of the language. On the one hand, we construct NC proof systems for a variety of languages ranging from regular to NP-complete. On the other hand, we show by combinatorial methods that even easy regular languages such as Exact-OR do not admit NC proof systems. We also present a general construction of proof systems for regular languages with strongly connected NFA's
Collective oscillations driven by correlation in the nonlinear optical regime
We present an analytical and numerical study of the coherent exciton
polarization including exciton-exciton correlation. The time evolution after
excitation with ultrashort optical pulses can be divided into a slowly varying
polarization component and novel ultrafast collective modes. The frequency and
damping of the collective modes are determined by the high-frequency properties
of the retarded two-exciton correlation function, which includes Coulomb
effects beyond the mean-field approximation. The overall time evolution depends
on the low-frequency spectral behavior. The collective mode, well separated
from the slower coherent density evolution, manifests itself in the coherent
emission of a resonantly excited excitonic system, as demonstrated numerically.Comment: 4 pages, 4 figures, accepted for publication in Physical Review
Letter
Intercomparison of Hantzsch and fiber-laser-induced-fluorescence formaldehyde measurements
Two gas-phase formaldehyde (HCHO) measurement techniques, a modified commercial wet-chemical instrument based on Hantzsch fluorimetry and a custom-built instrument based on fiber laser-induced fluorescence (FILIF), were deployed at the atmospheric simulation chamber SAPHIR (Simulation of Atmospheric PHotochemistry In a large Reaction Chamber) to compare the instruments' performances under a range of conditions. Thermolysis of para-HCHO and ozonolysis of 1-butene were used as HCHO sources, allowing for calculations of theoretical HCHO mixing ratios. Calculated HCHO mixing ratios are compared to measurements, and the two measurements are also compared. Experiments were repeated under dry and humid conditions (RH 60%) to investigate the possibility of a water artifact in the FILIF measurements. The ozonolysis of 1-butene also allowed for the investigation of an ozone artifact seen in some Hantzsch measurements in previous intercomparisons. Results show that under all conditions the two techniques are well correlated (R2 ≥ 0.997), and linear regression statistics show measurements agree with within stated uncertainty (15% FILIF + 5% Hantzsch). No water or ozone artifacts are identified. While a slight curvature is observed in some Hantzsch vs. FILIF regressions, the potential for variable instrument sensitivity cannot be attributed to a single instrument at this time. Measurements at low concentrations highlight the need for a secondary method for testing the purity of air used in instrument zeroing and the need for further FILIF White cell outgassing experiments
- …