Efficient Distributed Computation Modulo a Shared Secret -- Multiparty Computation, an Introduction -- Foundations of Modern Cryptography -- Provable Security for Public Key Schemes -- Efficient and Secure Public-Key Cryptosystems.The aim of this text is to treat selected topics of the subject of contemporary cryptology, structured in five quite independent but related themes: - efficient distr…
Pattern Analysis -- System Modeling -- Signal Processing -- Image Processing -- Financial Analysis -- Erratum.This book and its sister volumes constitute the proceedings of the 2nd International Symposium on Neural Networks (ISNN 2005). ISNN 2005 was held in the beautiful mountain city Chongqing by the upper Yangtze River in southwestern China during May 30–June 1, 2005, as a sequel of ISNN 2…
Control Systems -- Robotic Systems -- Telecommunication Networks -- Incidence Detection -- Fault Diagnosis -- Power Systems -- Biomedical Applications -- Industrial Applications -- Other Applications.The three volume set LNCS 3496/3497/3498 constitutes the refereed proceedings of the Second International Symposium on Neural Networks, ISNN 2005, held in Chongqing, China in May/June 2005. The 483…
Theoretical Analysis -- Model Design -- Learning Methods -- Optimization Methods -- Kernel Methods -- Component Analysis.The three volume set LNCS 3496/3497/3498 constitutes the refereed proceedings of the Second International Symposium on Neural Networks, ISNN 2005, held in Chongqing, China in May/June 2005. The 483 revised papers presented were carefully reviewed and selected from 1.425 submi…
Invited Lectures -- Bioinformatics -- Networks -- String Algorithms -- Scheduling -- Complexity -- Steiner Trees -- Graph Drawing and Layout Design -- Quantum Computing -- Randomized Algorithms -- Geometry -- Codes -- Finance -- Facility Location -- Graph Theory -- Graph Algorithms -- Others.
On Regular and Logarithmic Solutions of Ordinary Linear Differential Systems -- Computing the Betti Numbers of Arrangements in Practice -- A MAPLE Symbolic-Numeric Program for Solving the 2D-Eigenvalue Problem by a Self-consistent Basis Method -- RelView – An OBDD-Based Computer Algebra System for Relations -- On the Use of Gröbner Bases for Computing the Structure of Finite Abelian Groups -…
Fundamentals -- I Elements -- Centrality Indices -- Algorithms for Centrality Indices -- Advanced Centrality Concepts -- II Groups -- Local Density -- Connectivity -- Clustering -- Role Assignments -- Blockmodels -- Network Statistics -- Network Comparison -- Network Models -- Spectral Analysis -- Robustness and Resilience.‘Network’ is a heavily overloaded term, so that ‘network analysisâ…
Invited Talks -- The Complexity of Querying External Memory and Streaming Data -- The Smoothed Analysis of Algorithms -- Path Coupling Using Stopping Times -- Circuits -- On the Incompressibility of Monotone DNFs -- Bounds on the Power of Constant-Depth Quantum Circuits -- Automata I -- Biautomatic Semigroups -- Deterministic Automata on Unranked Trees -- Complexity I -- Decidable Membership Pr…
Free-Form Surface Construction in a Commercial CAD/CAM System -- Polyhedral Gauss Maps and Curvature Characterisation of Triangle Meshes -- Manifold Embedding of Graphs Using the Heat Kernel -- Detection of Surface Creases in Range Data -- Efficient Linear System Solvers for Mesh Processing -- Smoothing of Time-Optimal Feedrates for Cartesian CNC Machines -- Plausible 3D Colour Surface Completi…
Invited Lectures -- Page Migration in Dynamic Networks -- Knot Theory, Jones Polynomial and Quantum Computing -- Interactive Algorithms 2005 -- Some Computational Issues in Membrane Computing -- The Generalization of Dirac’s Theorem for Hypergraphs -- On the Communication Complexity of Co-linearity Problems -- An Invitation to Play -- Papers -- The Complexity of Satisfiability Problems: Refin…