Parafree Groups -- The Finitary Andrews-Curtis Conjecture -- Cuts in Kähler Groups -- Algebraic Mapping-Class Groups of Orientable Surfaces with Boundaries -- Solved and Unsolved Problems Around One Group -- Cubature Formulas, Geometrical Designs, Reproducing Kernels, and Markov Operators -- Survey on Classifying Spaces for Families of Subgroups -- Are Unitarizable Groups Amenable? -- Probabil…
Invited Talks -- Minisymposium: Domain Decomposition Methods for Wave Propagation in Unbounded Media -- Minisymposium: Parallel Finite Element Software -- Minisymposium: Collaborating Subdomains for Multi-Scale Multi-Physics Modelling -- Minisymposium: Recent Developments for Schwarz Methods -- Minisymposium: Trefftz-Methods -- Minisymposium: Domain Decomposition on Nonmatching Grids -- Minisym…
Mobile Resource Guarantees for Smart Devices -- History-Based Access Control and Secure Information Flow -- The Spec# Programming System: An Overview -- Mastering Test Generation from Smart Card Software Formal Models -- A Mechanism for Secure, Fine-Grained Dynamic Provisioning of Applications on Small Devices -- ESC/Java2: Uniting ESC/Java and JML -- A Type System for Checking Applet Isolation…
CSCW Techniques and Methods -- Vega Information Grid for Collaborative Computing -- Physical Object Icons Buttons Gesture (PIBG): A New Interaction Paradigm with Pen -- A Novel Method of QoS Based Resource Management and Trust Based Task Scheduling -- Learning to Plan the Collaborative Design Process -- Groupware System Design and the Context Concept -- Grid Authorization Management Oriented to…
Mathematical Methods -- Passive Scalar Diffusion as a Damped Wave -- Extremalizing Vector Fields as Guides Toward Understanding Properties of Turbulence -- Low-Wavenumber Forcing and Turbulent Energy Dissipation -- New Potential Symmetries for a Generalised Inhomogeneus Nonlinear Diffusion Equation -- DNS and New Scaling Laws of ZPG Turbulent Boundary Layer Flow -- Linear Instability of a Slowl…
hal. GI.1 - GI.28 hal. GI.1-GI.28 rak 22