- arXiv.org
- Biological Physics
- History and Philosophy of Physics
- Applied Physics
- General Physics
- Fluid Dynamics
- Optics
- Physics and Society
- Data Analysis, Statistics and Probability
- Popular Physics
- Plasma Physics
- Atomic and Molecular Clusters
- Atomic Physics
- Space Physics
- Medical Physics
- Physics Education
- Computational Physics
- Chemical Physics
- Classical Physics
- Atmospheric and Oceanic Physics
- Instrumentation and Detectors
- Accelerator Physics
- Geophysics

- Information Theory
- Analysis of PDEs
- Statistics Theory
- Number Theory
- History and Overview
- General Mathematics
- Mathematical Physics
- Probability
- Operator Algebras
- Representation Theory
- Complex Variables
- Combinatorics
- Group Theory
- Algebraic Geometry
- Symplectic Geometry
- Numerical Analysis
- Dynamical Systems
- Logic
- General Topology
- Optimization and Control
- Geometric Topology
- Differential Geometry
- Quantum Algebra
- Metric Geometry
- Classical Analysis and ODEs
- Algebraic Topology
- Spectral Theory
- Functional Analysis
- Category Theory
- Rings and Algebras
- Commutative Algebra
- K-Theory and Homology

- General Literature
- Information Theory
- Neural and Evolutionary Computing
- Hardware Architecture
- Mathematical Software
- Symbolic Computation
- Computer Vision and Pattern Recognition
- Learning
- Sound
- Operating Systems
- Information Retrieval
- Programming Languages
- Software Engineering
- Databases
- Multiagent Systems
- Formal Languages and Automata Theory
- Social and Information Networks
- Cryptography and Security
- Artificial Intelligence
- Systems and Control
- Human-Computer Interaction
- Other Computer Science
- Computational Complexity
- Distributed, Parallel, and Cluster Computing
- Discrete Mathematics
- Numerical Analysis
- Computer Science and Game Theory
- Emerging Technologies
- Robotics
- Computation and Language
- Computational Engineering, Finance, and Science
- Computers and Society
- Networking and Internet Architecture
- Data Structures and Algorithms
- Logic in Computer Science
- Computational Geometry
- Multimedia
- Digital Libraries
- Performance
- Graphics

- Spectral clustering is one of the most popular graph clustering algorithms, which achieves the best performance for many scientific and engineering applications. However, existing implementations in commonly used software platforms such as Matlab and Python do not scale well for many of the emerging Big Data applications. In this paper, we present a fast implementation of the spectral clustering algorithm on a CPU-GPU heterogeneous platform. Our implementation takes advantage of the computational power of the multi-core CPU and the massive multithreading and SIMD capabilities of GPUs. Given the input as data points in high dimensional space, we propose a parallel scheme to build a sparse similarity graph represented in a standard sparse representation format. Then we compute the smallest $k$ eigenvectors of the Laplacian matrix by utilizing the reverse communication interfaces of ARPACK software and cuSPARSE library, where $k$ is typically very large. Moreover, we implement a very fast parallelized $k$-means algorithm on GPUs. Our implementation is shown to be significantly faster compared to the best known Matlab and Python implementations for each step. In addition, our algorithm scales to problems with a very large number of clusters.
- Floating point error is a drawback of embedded systems implementation that is difficult to avoid. Computing rigorous upper bounds of roundoff errors is absolutely necessary for the validation of critical software. This problem of computing rigorous upper bounds is even more challenging when addressing non-linear programs. In this paper, we propose and compare two new algorithms based on Bernstein expansions and sparse Krivine-Stengle representations, adapted from the field of the global optimization, to compute upper bounds of roundoff errors for programs implementing polynomial and rational functions. We also provide the convergence rate of these two algorithms. We release two related software package FPBern and FPKriSten, and compare them with the state-of-the-art tools. We show that these two methods achieve competitive performance, while providing accurate upper bounds by comparison with the other tools.

A formally verified proof of the Central Limit Theorem

Zoltán Zimborás May 28 2014 04:42 UTC- Supported by Silverpond.