Search Results - iWoz~

Divorce in Europe New Insights in Trends, Causes and Consequences of Relation Break-ups /

Table of Contents: “…Exploring Divorce in Later Life, Social Isolation, and Loneliness -- Chapter 8. Do Divorced Elderly in Russia get Help From Their Children ? …”
Link to Metadata

The Pilgrim's Guide to the Workplace by Chevez, Agustin

Table of Contents: “…Part 1 - The road less travelled -- Chapter 1 - Iguanas, isolation, and ideas -- Chapter 2 - About this book -- Chapter 3 Spoiler alert -- Chapter 4 A note on COVID-19 -- Part 2 The making of a pilgrimage -- Chapter 5 Anatomy of a pilgrimage -- Chapter 6 No pain, no gain -- Chapter 7 My two rules -- Chapter 8 The Herzog enigma -- Chapter 9 The idea -- Chapter 10 Why, and for which charity? …”
Link to Metadata

Melting Hadrons, Boiling Quarks - From Hagedorn Temperature to Ultra-Relativistic Heavy-Ion Collisions at CERN With a Tribute to Rolf Hagedorn /

Table of Contents: “…Part I Reminiscences: Rolf Hagedorn and Relativistic Heavy Ion Research.-- Part II The Hagedorn Temperature -- Part III Melting Hadrons, Boiling Quarks Heavy Ion Path to Quark-Gluon Plasma -- Acronyms.…”
Link to Metadata

Towards User-Centric Transport in Europe 3 Making Digital Mobility Inclusive and Accessible /

Table of Contents: “…Urban mobility transition driven by new digital technologies -- Digital shared mobility services: operationalizing the Capabilities Approach to appraise inclusivity -- Non-digital travellers - Five personas to understand their drivers and needs -- Leaving no one behind: involving end-users in creating inclusive digital mobility -- A User-Centred approach to user interface languages and icons: co-evaluation and co-creation of accessible digital mobility services -- Framing the digital mobility gap: a starting point in the design of inclusive mobility eco-systems -- Integrating inclusive digital mobility solutions into German transport systems.…”
Link to Metadata

Statistics for Research Students by Fein, Erich C, Gilmour, John, Machin, Tayna, Hendry, Liam

Table of Contents: “…Chapter Three- Comparing Two Group Means -- IV. Chapter Four - Comparing Associations Between Two Variables -- V. …”
Access online version

Security in Computer and Information Sciences Second International Symposium, EuroCybersec 2021, Nice, France, October 25-26, 2021, Revised Selected Papers /

Table of Contents: “…AI and Quality of Service Driven Attack Detection, Mitigation and Energy Optimization: A Review of Some EU Project Results -- Application of a Human-Centric Approach in Security by Design for IoT Architecture Development -- An Empirical Evaluation of the Usefulness of Word Embedding Techniques in Deep Learning-based Vulnerability Prediction -- Correlation-based Anomaly Detection for the CAN Bus -- Botnet Attack Detection with Incremental Online Learning -- Optimizing Energy Usage for an Electric Drone -- T-RAID: TEE-based Remote Attestation for IoT Devices -- Secure Authentication for everyone! …”
Link to Metadata

A Visual Atlas for Soil Micromorphologists by Verrecchia, Eric P., Trombino, Luca

Table of Contents: “…Imprints of pedogenesis -- Chapter 48. Iron- and manganese-bearing nodules -- Chapter 49. …”
Link to Metadata

Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,...

Table of Contents: “…-- Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus -- Types and Effects -- Failure is Not an Option: An Exceptional Type Theory -- Let Arguments Go First -- Behavioural equivalence via modalities for algebraic effects -- Explicit Effect Subtyping -- Concurrency -- A separation logic for a promising semantics -- Logical Reasoning for Disjoint Permissions -- Deadlock-Free Monitors -- Fragment Abstraction for Concurrent Shape Analysis -- Security -- Reasoning About a Machine with Local Capabilities - Provably Safe Stack and ReturnPointer Management -- Modular Product Programs -- Program Verification -- A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program Verification -- Verified Learning Without Regret -- Program Verification by Coinduction -- Velisarios: Byzantine Fault Tolerant Protocols Powered by Coq -- Program Analysis and Automated Verification -- Evaluating Design Tradeoffs in Numeric Static Analysis for Java -- An Abstract Interpretation Framework for Input Data Usage -- Higher-Order Program Verification via HFL Model Checking -- Quantitative Analysis of Smart Contracts -- Session Types and Concurrency -- Session-Typed Concurrent Contracts -- A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems -- On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings -- Concurrent Kleene Algebra: Free Model and Completeness -- Concurrency and Distribution -- Correctness of a Concurrent Object Collector for Actor Languages -- Paxos Consensus, Deconstructed and Abstracted -- On Parallel Snapshot Isolation and Release/Acquire Consistency -- Eventual Consistency for CRDTs -- Compiler Verification -- A Verified Compiler from Isabelle/HOL to CakeML -- Compositional Verification of Compiler Optimisations on Relaxed Memory.…”
Link to Metadata

The Spec UI framework by Fabry, Johan, Ducasse, Stephane

Table of Contents: “…Illustrations1 Introduction2 First Contact With Examples -- 2.1 A customer satisfaction UI -- 2.2 Fun with Lists -- 2.3 Conclusion -- 3 Reusing and composing elements -- 3.1 First requirements -- 3.2 Creating a basic UI to be reused as a widget -- 3.3 Combining two basic widgets into a reusable UI -- 3.4 Managing three widgets and their interactions -- 3.5 Changing the layout of a reused widget -- 3.6 Considerations about a public configuration API -- 3.7 Conclusion -- 4 The fundamentals of Spec -- 4.1 User interface building: a composition -- 4.2 The initializeWidgets method -- 4.3 Defining UI Layouts -- 4.4 The initializePresenter method -- 4.5 Conclusion -- 5 Layout Construction -- 5.1 About layouts -- 5.2 Row and column layouts -- 5.3 Combining rows and columns -- 5.4 Setting row and column size -- 5.5 Layouts without rows or columns -- 5.6 Conclusion -- 6 Managing windows -- 6.1 Opening a window or a dialog box -- 6.2 Modal windows and the closing of windows -- 6.3 Window size and decoration -- 6.4 The final details: title, icon and about text -- 6.5 Conclusion -- 7 Advanced Widgets -- 7.1 TextModel -- 7.2 RadioButtonModel -- 7.3 TabModel -- 7.4 Toolbars and Pop-up Menus -- 7.5 Conclusion -- 8 Dynamic Spec -- 8.1 Dynamically changing an already opened UI -- 8.2 Dynamically populating a UI with widgets -- 8.3 Hacking together a UI in the Playground -- 8.4 Conclusion -- 9 Tips and Tricks -- 9.1 Integrating the different UI frameworks -- 9.2 Lists, trees and tables -- 9.3 Using the underlying widget library -- 9.4 Testing the functionality of a Spec UI…”
Access online version

The Cloud-to-Thing Continuum Opportunities and Challenges in Cloud, Fog and Edge Computing /

Table of Contents: “…Optimising availability in IoT -- Chapter 5 - End to End Security and Identity Management Across the Cloud-to-Things Continuum -- Chapter 6 - Trust and Data Privacy in the Internet of Things -- Chapter 7 - Monitoring and Visualizing the Internet of Things -- Chapter 8 - Capturing the Business Value of IOT.…”
Link to Metadata

Self-Assembled Molecules - New Kind of Protein Ligands Supramolecular Ligands /

Table of Contents: “…Supramolecular Protein Ligands - Unexplored Teritory Of Potential Pharmacological Activity -- Supramolecular Congo Red As Specific Ligand Of Antibodies Engaged In Immune Complex -- Protein Conditioning For Binding Congo Red And Other Supramolecular Ligands -- Metal Ions Introduced To Proteins By Supramolecular Ligands -- Possible Mechanism Of Amyloidogenesis Of V Domains -- Supramolecular Structures As Carrier Systems Enabling The Use Of Metal Ions In Antibacterial Therapy -- Congo Red Interactions With Single-Walled Carbon Nanotubes.…”
Link to Metadata

Yoga Minds, Writing Bodies Contemplative Writing Pedagogy by Wenger, Christy

Table of Contents: “…Introduction: From the Sticky Mat to the Classroom: Toward Contemplative Writing Pedagogy -- Chapter One: The Writing Yogi: Lessons for Embodied Change -- Interchapter One: Using "Body Blogs" to Embody the Writer's Imagination -- Chapter Two: Personal Presence, Embodied Empiricism and Resonance in Contemplative Writing -- Interchapter Two: Habits of Yoga Minds and Writing Bodies -- Chapter Three: Situating Feelings in Contemplative Writing Pedagogy -- Interchapter Three: The Writer's Breath -- Conclusion: Namaste…”
Access online version

Inter-group Relations and Migrant Integration in European Cities Changing Neighbourhoods /

Table of Contents: “…Introduction: Ferruccio Pastore and Irene Ponzo -- 'They've Got Their Wine Bars - We've Got Our Pubs': Housing, Diversity and Community in Two South London Neighbourhoods: Ole Jensen and Ben Gidley -- Rise and Resolution of Ethnic Conflicts in Nuremberg Neighbourhoods: Claudia Köhler -- Comfortably Invisible. …”
Link to Metadata

Malayalam A University Course and Reference Grammar . by Moag, Rodney F.

Table of Contents: “…Lesson one -- Lesson two -- Lesson three -- Lesson four -- Lesson five -- Lesson six -- Lesson seven -- Lesson eight -- Lesson nine -- Lesson ten -- Lesson eleven -- Lesson twelve -- Lesson thirteen -- Lesson fourteen -- Lesson fifteen -- Lesson sixteen -- Lesson seventeen -- Lesson eighteen -- Lesson nineteen -- Lesson twenty -- Lesson twenty one -- Lesson twenty two -- Lesson twenty three -- Lesson twenty four -- Lesson twenty five…”
Access online version

On the path to AI Law's prophecies and the conceptual foundations of the machine learning age / by Grant, Thomas D., Wischik, Damon J.

Table of Contents: “…Prologue: Starting with logic -- CHAPTER 1: Two Revolutions -- CHAPTER 2: Getting past logic -- CHAPTER 3: Experience and data as input -- CHAPTER 4: Finding patterns as the path from input to output -- CHAPTER 5: Output as prophecy -- CHAPTER 6: Explanations of machine learning -- CHAPTER 7: Juries and other reliable predictors -- CHAPTER 8: Poisonous datasets, poisonous trees -- CHAPTER 9: From Holmes to AlphaGo -- CHAPTER 10:Conclusion -- EPILOGUE: Lessons in two directions.…”
Link to Metadata

Collaborative Statistics by Illowsky, Barbara, Dean, Susan

Table of Contents: “…1 Sampling and Data -- 2 Descriptive Statistics -- 3 Probability Topics -- 4 Discrete Random Variables -- 5 Continuous Random Variables -- 6 The Normal Distribution -- 7 The Central Limit Theorem -- 8 Confidence Intervals -- 9 Hypothesis Testing: Single Mean and Single Proportion -- 10 Hypothesis Testing: Two Means, Paired Data, Two Proportions -- 11 The Chi-Square Distribution -- 12 Linear Regression and Correlation -- 13 F Distribution and ANOVA -- 14 Appendix -- 15 Tables…”
Access online version

Silicon Valley Cybersecurity Conference Third Conference, SVCC 2022, Virtual Event, August 17-19, 2022, Revised Selected Papers /

Table of Contents: “…Malware Analysis -- Robustness of Image-Based Malware Analysis -- Word Embeddings for Fake Malware Generation -- Twitter bots detection with Benford's Law and Machine Learning -- Blockchain and Smart Contracts -- A Blockchain-based Retribution Mechanism for Collaborative Intrusion Detection -- Smart Contracts in the Cloud -- A Blockchain-based Tamper-resistant Logging Framework -- Remote Device Assessment -- Impact of Location Spoofing Attacks on Performance Prediction in Mobile Networks -- Deep IoT Monitoring: Filtering IoT Traffic Using Deep Learning.…”
Link to Metadata

Blockchain and Crypto Currency Building a High Quality Marketplace for Crypto Data /

Table of Contents: “…Preface -- Chapter 1 Creation of Blockchain and a New Ecosystem -- Chapter 2 Market Quality Approach to IoT Data on Blockchain Big Data -- Chapter 3 Industrial Applications of Blockchain to IoT Data -- Chapter 4 Theory of Money: From Ancient Japanese Copper Coins to Virtual Currencies -- Chapter 5 Ethereum, Smart Contracts, DApps -- Chapter 6 DEX: A Dapp for the Decentralized Marketplace -- Chapter 7 Blockchain Business and its Regulation -- Chapter 8 Bitcoin and Blockchain Technology.-.…”
Link to Metadata

Natural Resources Biometrics by Kiernan, Diane

Table of Contents: “…Chapter 1: Descriptive Statistics and the Normal Distribution -- Chapter 2: Sampling Distributions and Confidence Intervals -- Chapter 3: Hypothesis Testing -- Chapter 4: Inferences about the Differences of Two Populations -- Chapter 5: One-way Analysis of Variance -- Chapter 6: Two-way Analysis of Variance -- Chapter 7: Correlation and Simple Linear Regression -- Chapter 8: Multiple Linear Regression -- Chapter 9: Modeling Growth, Yield, and Site Index -- Chapter 10: Quantitative Measures of Diversity, Site Similarity, and Habitat Suitability…”
Access online version

Haptics: Science, Technology, Applications 12th International Conference, EuroHaptics 2020, Leiden, The Netherlands, September 6-9, 2020, Proceedings /

Table of Contents: “…Normal Vibration Modes for Ultrasonic Surface Haptic Devices -- Midair Tactile Reproduction of Real Objects -- LinkRing: A Wearable Haptic Display for Delivering Multi-contact and Multi-modal Stimuliat the Finger Pads -- ElectroAR: Distributed Electro-tactile Stimulation for Tactile Transfer -- Haptic Applications -- Identification Rate of Simple and Complex Tactile Alerts in MUM-T Setup -- Attention-based Robot Learning of Haptic Interaction -- Motion Guidance using Translational Force and Torque Feedback by Induced Pulling Illusion -- Perceptually Compressive Communication of Interactive Telehaptic Signal -- Sound Image Icon with Aerial Haptic Feedback -- Stiffness Discrimination by Two Fingers with Stochastic Resonance -- Interest Arousal by Haptic Feedback During a Storytelling for Kindergarten Children -- Investigating the influence of haptic feedback in rover navigation with communication delay -- Shared haptic perception for human-robot collaboration -- Two-Point Haptic Pattern Recognition with the Inverse Filter Method -- Adaptive Fuzzy Sliding Mode Controller Design for a New Hand Rehabilitation Robot.…”
Link to Metadata