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

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

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

- Applying original and existing theoretical results, we propose a platform-independent multi-threaded function library that provides data structures to generate, differentiate and render both the ordinary basis and the non-negative normalized B-basis of an arbitrary extended Chebyshev (EC) space that comprises the constants and can be identified with the solution space of a user-defined constant-coefficient homogeneous linear differential equation. Using the obtained non-negative normalized B-bases, our library can also generate, (partially) differentiate, modify and visualize a large family of so-called B-curves and tensor product B-surfaces. Moreover, the library also implements methods that can be used to perform general order elevation, to subdivide B-curves and B-surfaces by means of general de Casteljau-like B-algorithms, and to generate general basis transformations for the control point based exact description of arbitrary integral curves and surfaces that are described in traditional parametric form by means of the ordinary bases of the underlying EC spaces. Independently of the algebraic, exponential, trigonometric or mixed type of the applied EC space, the proposed library is numerically stable and efficient up to a reasonable dimension number and may be useful for academics and engineers in the fields of Approximation Theory, Computer Aided Geometric Design, Computer Graphics, Isogeometric and Numerical Analysis.
- This paper generalizes the parallel selected inversion algorithm called PSelInv to sparse non- symmetric matrices. We assume a general sparse matrix A has been decomposed as PAQ = LU on a distributed memory parallel machine, where L, U are lower and upper triangular matrices, and P, Q are permutation matrices, respectively. The PSelInv method computes selected elements of A-1. The selection is confined by the sparsity pattern of the matrix AT . Our algorithm does not assume any symmetry properties of A, and our parallel implementation is memory efficient, in the sense that the computed elements of A-T overwrites the sparse matrix L+U in situ. PSelInv involves a large number of collective data communication activities within different processor groups of various sizes. In order to minimize idle time and improve load balancing, tree-based asynchronous communication is used to coordinate all such collective communication. Numerical results demonstrate that PSelInv can scale efficiently to 6,400 cores for a variety of matrices.

A formally verified proof of the Central Limit Theorem

Zoltán Zimborás May 28 2014 04:42 UTC