opr 6916
hal. 279-282
Disertai CD
Language Issues -- ULF-Ware – An Open Framework for Integrated Tools for ITU-T Languages -- An Access Control Language for Dynamic Systems – Model-Driven Development and Verification -- Non-deterministic Constructs in OCL – What Does any() Mean -- Engineering Issues -- Integrating RT-CORBA in SDL -- Component Development: MDA Based Transformation from eODL to CIDL -- Service Discovery and…
Digital Library Models and Architectures -- Requirements Gathering and Modeling of Domain-Specific Digital Libraries with the 5S Framework: An Archaeological Case Study with ETANA -- On the Effective Manipulation of Digital Objects: A Prototype-Based Instantiation Approach -- LibraRing: An Architecture for Distributed Digital Libraries Based on DHTs -- Multimedia and Hypermedia Digital Librarie…
Sturm’s 1836 Oscillation Results Evolution of the Theory -- Sturm Oscillation and Comparison Theorems -- Charles Sturm and the Development of Sturm-Liouville Theory in the Years 1900 to 1950 -- Spectral Theory of Sturm-Liouville Operators Approximation by Regular Problems -- Spectral Theory of Sturm-Liouville Operators on Infinite Intervals: A Review of Recent Developments -- Asymptotic Metho…
Surveys -- An Introduction to Lattice Chiral Fermions -- Computing f(A)b for Matrix Functions f -- Computational Methods for the Fermion Determinant and the Link Between Overlap and Domain Wall Fermions -- Monte Carlo Simulations of Lattice QCD -- Lattice QCD -- Determinant and Order Statistics -- Monte Carlo Overrelaxation for SU(N) Gauge Theories -- Improved Staggered Fermions -- Perturbative…
Multi-modal Robot Interfaces -- Perception, Interpretation and Interaction -- Learning, Programming and Instructing -- Co-existence: Physical Interaction and Coordinated Motion -- Safety and Dependability -- Architecture -- Systems and Applications."Advances in Human-Robot Interaction" provides a unique collection of recent research in human-robot interaction. It covers the basic important rese…
Stochastic Methods in Statistical Physics -- Coarse-Graining Techniques for (Random) Kac Models -- Euclidean Gibbs Measures of Quantum Crystals: Existence, Uniqueness and a Priori Estimates -- Some Jump Processes in Quantum Field Theory -- Gibbs Measures on Brownian Paths: Theory and Applications -- Spectral Theory for Nonstationary Random Potentials -- A Survey of Rigorous Results on Random Sc…