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…
1. Introduction: Co-production and Carceral Spatiality; Dominique Moran and Anna Schliehe -- PART I: Mapping Beyond Carceral Identities -- 2. Entangled Identities Inside and Outside; Lorraine van Blerk -- 3. An Extended Social Relational Approach to Learning Disability Incarcerated; Caitlin Gormley -- 4. Towards a Feminist Carceral Geography? Of female Offenders and Prison Spaces; Anna Schliehe…
Invited Talks -- Is Formal Verification Bound to Remain a Junior Partner of Simulation? -- Verification Challenges in Configurable Processor Design with ASIP Meister -- Tutorial -- Towards the Pervasive Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit Design -- Formalization of the DE2 Language -- Game Solving Approaches -- Finding a…
Network Policy -- Configuration Model for Network Management -- On-Line Control of Service Level Agreements -- Revenue-Aware Resource Allocation in the Future Multi-Service IP Networks -- Network Security -- A Kerberos-Based Authentication Architecture for WLANS -- An Efficient Mechanism to Ensure Location Privacy in Telecom Service Applications -- Network Security Management: A Formal Evaluati…
ADC Characterisation Based on Sinewave Analysis -- ADC Applications, Architectures and Terminology -- Sinewave Test Setup -- Time-Domain Data Analysis -- Frequency-Domain Data Analysis -- Code Histogram Test -- Comparative Study of ADC Sinewave Test Methods -- Measurement of Additional Parameters -- Jitter Measurement -- Differential Gain and Phase Testing -- Step and Transient Response Measure…
The Changing Nature of Public Science -- The Technosciences between Markets, Social Worries and the Political: How to Imagine a Better Future? -- Comment from a Legal Perspective -- Responses of the Legal Order to the Loss of Trust in Science -- Democratizing Science: Expertise and Participation in Administrative Decision-Making -- Free Access to Research Findings and Its Limitations -- The Res…
Calculators in Mathematics Education: A Rapid Evolution of Tools, with Differential Effects -- A Cas as an Assistant to Reasoned Instrumentation -- Transposing Computer Tools from the Mathematical Sciences into Teaching -- The Influence of a Computer Algebra Environment on Teachers’ Practice -- Using Symbolic Calculators to Study Mathematics -- An Instrumental Approach to Mathematics Learning…
Introduction -- 1. A History of the Value accorded to Work -- 2. The Immense Expectations attached to Work -- 3. The Disappointment of Expectations as a Result of the Transformation of Work -- 4. The Meaning of Work through the Lens of Generational Difference -- 5. The Coexistence of Generations at Work.This book looks at the history of work and the meanings that are attached to it over time. T…