Search Results - Lhatu~

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /

Table of Contents: “…Logics, Decision Procedures, and Solvers -- Satisfiability Checking for Mission-Time LTL -- High-Level Abstractions for Simplifying Extended String Constraints in SMT -- Alternating Automata Modulo First Order Theories -- Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors -- CVC4SY: Smart and Fast Term Enumeration for Syntax-Guided Synthesis -- Incremental Determinization for Quantifier Elimination and Functional Synthesis -- Numerical Programs -- Loop Summarization with Rational Vector Addition Systems -- Invertibility Conditions for Floating-Point Formulas -- Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems -- Icing: Supporting Fast-math Style Optimizations in a Verified Compiler -- Sound Approximation of Programs with Elementary Functions -- Verification -- Formal verification of quantum algorithms using quantum Hoare logic -- SecCSL: Security Concurrent Separation Logic -- Reachability Analysis for AWS-based Networks -- Distributed Systems and Networks -- Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics -- Gradual Consistency Checking -- Checking Robustness Against Snapshot Isolation -- Efficient verification of network fault tolerance via counterexampleguided refinement -- On the Complexity of Checking Consistency for Replicated Data Types -- Communication-closed asynchronous protocols -- Verification and Invariants -- Interpolating Strong Induction -- Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers -- Inferring Inductive Invariants from Phase Structures -- Termination of Triangular Integer Loops is Decidable -- AliveInLean: A Verified LLVM Peephole Optimization Verifier -- Concurrency -- Automated Parameterized Verification of CRDTs -- What's wrong with on-the-y partial order reduction -- Integrating Formal Schedulability Analysis into a Verifed OS Kernel -- Rely-guarantee Reasoning about Concurrent Memory Management in Zephyr RTOS -- Violat: Generating Tests of Observational Refinement for Concurrent Objects. .…”
Link to Metadata

New Perspectives in Critical Data Studies The Ambivalences of Data Power /

Table of Contents: “…Critical Evaluation of the Possibilities of Developing Data Infrastructure Literacy from User Data Workshops to Public Service Media -- Part III Everyday Practices and Collective Action -- (Not) Safe to Use: Insecurities in Everyday Data Practices with Period-Tracking Apps -- Community Rankings and Affective Discipline: The Case of Fandometrics -- Affinity Spaces as an Analytical Lens for Attending to Temporality in Critical Data Studies: The Case of COVID-19-Related, Educational Twitter Communication -- "Party like it's December 31, 1983": Supporting Data Literacy at CryptoParties -- Researching Public Trust in Datafication: Reflections on the Deliberative Citizen Jury as Method -- Worker Perspectives on Designs for a Crowdwork Co-operative -- Counting, Debunking, Making, Witnessing, Shielding: What Critical Data Studies Can Learn from Data Activism During the Pandemic.…”
Link to Metadata

Human Factors in Privacy Research

Table of Contents: “…Forward -- About this book -- Acknowledgements -- Part I Theory -- Chapter 1 Data Collection Isn't Mostly Harmless: An Introduction to Privacy Theories and Basics -- Chapter 2 From the Privacy Calculus to Crossing the Rubicon: An Introduction to Theoretical Models of User Privacy Behavior -- Part II Methodology -- Chapter 3 Empirical Research Methods in Usable Privacy and Security -- Chapter 4 Towards Valid and Reliable Privacy Concern Scales: The Example of IUIPC-8 -- Chapter 5 Achieving Usable Security and Privacy through Human-Centered Design -- Chapter 6 What HCI Can Do for (Data Protection) Law - Beyond Design -- Chapter 7 Expert Opinions as a Method of Validating Ideas: Applied to Making GDPR Usable -- Part III Applicable Areas -- Chapter 8 Privacy Nudges and Informed Consent? …”
Link to Metadata

Agile Processes in Software Engineering and Extreme Programming 18th International Conference, XP 2017, Cologne, Germany, May 22-26, 2017, Proceedings /

Table of Contents: “…Improving Agile Processes -- Reflection in Agile Retrospectives -- What influences the speed of prototyping? An empirical investigation of twenty software startups -- Key Challenges in Agile Requirements Engineering -- A Multiple Case Study on Selecting a Technique for User-Interaction Data Collecting -- Comparing Requirements Decomposition within the Scrum, Scrum with Kanban, XP, and Banana Development Processes -- Effects of Technical Debt Awareness: A classroom study -- Agile in Organizations -- Don't Forget to Breathe: A Controlled Trial of Mindfulness Practices in Agile Project Teams -- Enhancing Agile Team Collaboration through the use of Large Digital Multi-touch Cardwalls -- Knowledge Sharing in a Large Agile Organisation: A Survey Study -- Teaching Agile Methods to Software Engineering Professionals: 10 Years, 1000 Release Plans -- Are Software Startups Applying Agile? …”
Link to Metadata

Indigenous Pathways, Transitions and Participation in Higher Education From Policy to Practice /

Table of Contents: “…Introduction -- Chapter 1 Indigenous pathways and transitions into Higher Education: An Introduction -- Policy and Policy Issues -- Chapter 2 Understanding the nexus between equity and Indigenous higher education policy agendas in Australia -- Chapter 3 What do we know about community engagement in Indigenous education contexts and how might this impact on pathways into higher education? …”
Link to Metadata

The Centrality of Style by Duncan, Mike, M. Vanguri, Star

Table of Contents: “…Paul's Grammar School and Today's Stylistic Classroom, Tom Pace -- The Research Paper As Stylistic Exercise, Mike Duncan -- Part Two: Applying Style -- Introduction to Part Two: Applying Style, Mike Duncan & Star Medzerian Vanguri -- Style in Academic Writing, Nora Bacon -- Tracking Interpersonal Style: The Use of Functional Language Analysis in College Writing Instruction, Zak Lancaster -- Multimodal Style and the Evolution of Digital Writing Pedagogy, Moe Folk -- Voice, Transformed: The Potentialities of Style Pedagogy in the Teaching of Creative Nonfiction, Crystal Fodrey -- Fighting Styles: The Pedagogical Implications of Applying Contemporary Rhetorical Theory to the Persuasive Prose of Mary Wollstonecraft and Mary Hays, Luke Redington -- Style and the Professional Writing Curriculum: Teaching Stylistic Fluency through Science Writing, Jonathan Buehl -- Toward a Pedagogy of Psychic Distance, Erik Ellis -- What Scoring Rubrics Teach Students (and Teachers) about Style, Star Medzerian Vanguri…”
Access online version

The Meaning of Love by Garlikov, Richard

Table of Contents: “…Dedication and AcknowledgementsDisclaimerA Note Concerning GrammarIntroduction -- Chapter 1 Personal Versus Professional Relationships -- Chapter 2 Love, Some Popular Views -- Chapter 3 The Three Important Aspects of Relationships -- Chapter 4 The Emotional Aspect— Feelings -- Chapter 5 The Satisfaction Aspect -- Chapter 6 The Goodness and Badness (Ethical) Aspect -- Chapter 7 Independence of the Three Aspects of Relationships -- Chapter 8 The Meaning of Love -- Chapter 9 Infatuation, Friendship, and Love -- Chapter 10 Love at First Sight -- Chapter 11 Importance of Various (Kinds of) Satisfactions -- Chapter 12 Sex and Love -- Chapter 13 A Kiss Is Just a Kiss — The Impossibility of Sexual Communication -- Chapter 14 Being Loved For Yourself -- Chapter 15 Loving More Than One Person At the Same Time -- Chapter 16 Commitment and Loving More Than One Person -- Chapter 17 Rejection and Acceptance -- Chapter 18 Care and Concern -- Chapter 19 Love and Marriage -- Chapter 20 The Future of a Relationship -- Chapter 21 Love and Change and Rational Prediction -- Chapter 22 Jealousy -- Chapter 23 Independence and Sharing -- Chapter 24 “Meaningful” Relationships -- Chapter 25 Introduction to Ethics -- Chapter 26 Ethics — Seeking to Discover What the Highest Principles of Behavior and the Things of Greatest Value Are -- Chapter 27 Modification of the Analysis of Love -- Chapter 28 Good “For” and Good “To” -- Chapter 29 Ethical Principles and Spontaneity -- Chapter 30 Ethics and Sex -- Chapter 31 Sex and Intimacy -- Chapter 32 Relationships After Sex -- Chapter 33 Problems of the Inexperienced -- Chapter 34 On Being Used -- Chapter 35 The Causes of Feelings -- Chapter 36 Some Other Writers on Love -- Chapter 37 Some Personal Comments and Notions of a More Intuitive Nature -- GlossaryReferences…”
Access online version

OER A Field Guide for Academic Librarians by Wesolek, Andrew, Lashley, Jonathan, Langley, Anne

Table of Contents: “…Section 1: The Case for OER -- Stakes and Stakeholders: Open Educational Resources - Framing the Issues -- What Does the Research Say About OER? -- Section 2: The Pedagogical Implications of OER -- From Textbook Affordability to Transformative Pedagogy: Growing an OER Community -- Creating Opportunities in Open Education: An Exploration of the Intersections of Information Literacy and Scholarly Communication -- Experiential Learning and Open Education: Partnering with Students to Evaluate OER Accessibility -- Course Material Decisions and Factors: Unpacking the Opaque Box -- An Open Athenaeum: Creating an Institutional Home for Open Pedagogy -- Section 3: OER Advocacy, Partnerships, Sustainability, and Student Engagement -- Open Partnerships: Identifying and Recruiting Allies for Open Educational Resources Initiatives -- Getting to Know You: How We Turned Community Knowledge into Open Advocacy -- Advancing Access for First-Generation College Students: OER Advocacy at UT San Antonio -- Student-Driven OER: Championing the Student Voice in Campus-Wide Efforts -- From Conversation to Cultural Change: Strategies for Connecting with Students and Faculty to Promote OER Adoption -- Making the Connections: The Role of Professional Development in Advocating for OER -- Advocacy in OER: A Statewide Strategy for Building a Sustainable Library Effort -- Interinstitutional Collaborations to Forge Intracampus Connections: A Case Study from the Duke Endowment Libraries -- Section 4: Library-Supported Adoption and Creation Programs -- Seeking Alternatives to High-Cost Textbooks: Six Years of The Open Education Initiative at the University of Massachusetts Amherst -- From Start-Up to Adolescence: University of Oklahoma's OER Efforts -- A Grassroots Approach to OER Adoption: The University of Saskatchewan Experience -- Bringing OER to the Liberal Arts: An Innovative Grant Program -- Transforming Publishing with a Little Help From Our Friends: Supporting an Open Textbook Pilot Project with Friends of the Libraries Grant Funding -- Closing Reflections…”
Access online version

Technical Writing for Technicians by Fleming, Will

Table of Contents: “…I. WEEK 1 -- What is Technical Writing/Technical Communication? …”
Access online version

La ville et le rail au Japon by Natacha Aveline

DOAB: download the publication
DOAB: description of the publication

Archives et nations dans l'Europe du XIXe siècle by Bruno Delmas

DOAB: download the publication
DOAB: description of the publication

Sociologie et valeurs : Quatorze penseurs québécois du XXe by Jean-Philippe Warren

DOAB: download the publication
DOAB: description of the publication

La Tunisie mosaïque by Jacques Alexandropoulos

DOAB: download the publication
DOAB: description of the publication

The European Landing Obligation Reducing Discards in Complex, Multi-Species and Multi-Jurisdictional Fisheries /

Table of Contents: “…Onboard and vessel layout modifications -- 17. What to do with unwanted catches: valorisation options and selection strategies -- Part V. …”
Link to Metadata

Writing Manuals for the Masses The Rise of the Literary Advice Industry from Quill to Keyboard /

Table of Contents: “…"Your Successful Man of Letters is Your Successful Tradesman": Fiction and the Marketplace in the British Author's Guides of the Late Nineteenth and Early Twentieth Centuries, Paul Vlitos -- 5. …”
Link to Metadata

Multiscale Biomechanics and Tribology of Inorganic and Organic Systems In memory of Professor Sergey Psakhie /

Table of Contents: “…In Memory of Professor Sergey Grigorievich Psakhie -- Biomechanical and Tribological Aspects of Orthopaedic Implants -- A New Method for Seismically Safe Managing of Seismotectonic Deformations in Fault Zones -- Particle-Based Approach for Simulation of Nonlinear Material Behavior in Contact Zones -- A Tool for Studying the Mechanical Behavior of the Bone-Endoprosthesis System Based on Multi-scale Simulation -- Abstract Methods on Mesoscopic Scales of Friction -- Study of Dynamics of Block-Media in the Framework of Minimalistic Numerical Models -- Material Transfer by Friction Stir Processing -- Nanomaterials Interaction with Cell Membranes: Computer Simulation Studies -- Application of Crumpled Aluminum Hydroxide Nanostructures for Cancer Treatment -- Influence of Lattice Curvature and Nanoscale Mesoscopic Structural States on the Wear Resistance and Fatigue Life of Austenitic Steel -- Autowave Mechanics of Plastic Flow -- Three-Component Wear-Resistant PEEK-Based Composites Filled with PTFE and MoS2: Composition Optimization, Structure Homogenization, and Self-Lubricating Effect -- Regularities of Structural Rearrangements in Single- and Bicrystals Near the Contact Zone -- Fault Sliding Modes - Governing, Evolution and Transformation -- Multilayer Modelling of Lubricated Contacts: A New Approach Based on a Potential Field Description -- Microstructure-Based Computational Analysis of Deformation and Fracture in Composite and Coated Materials Across Multiple Spatial Scales -- Formation of a Nanostructured Hardened Surface Layer on the TiC-(Ni-Cr) Metal-Ceramic Alloy by Pulsed Electron-Beam Irradiation -- Adhesion of a Thin Soft Matter Layer: The Role of Surface Tension -- Adhesion Hysteresis Due to Chemical Heterogeneity -- Theoretical Study of Physico-Mechanical Response of Permeable Fluid-Saturated Materials under Complex Loading Based on the Hybrid Cellular Automaton Method -- Transfer of a Biological Fluid Through a Porous Wall of a Capillary -- Failure Mechanisms of Alloys with a Bimodal Graine Size Distribution -- Self-Reproduction Cycles of Living Matter and Energetics of Human Activity -- Seeing what Lies in Front of Your Eyes: Understanding and Insight in Teaching and Research.…”
Link to Metadata

Entertainment-Education Behind the Scenes Case Studies for Theory and Practice /

Table of Contents: “…When Life Gives You Lemons: What to Do When Something Goes Wrong in Your Carefully Planned Research and How to Avoid Disasters in the First Place -- 14. …”
Link to Metadata

Lived Nation as the History of Experiences and Emotions in Finland, 1800-2000

Table of Contents: “…National Belonging through Signed and Spoken Languages: The Case of Finland-Swedish Deaf People in the Late-Nineteenth and Early-Twentieth Centuries- Hanna Lindberg -- 10. …”
Link to Metadata

Reimagining Science Education in the Anthropocene

Table of Contents: “…Learning from Flint: How Matter Imposes Itself in the Anthropocene and What That Means for Education -- 16. Resurrecting Science Education by Re-Inserting Women, Nature, and Complexity -- 17. …”
Link to Metadata

Designing Data Spaces The Ecosystem Approach to Competitive Advantage /

Table of Contents: “…Legal Aspects of IDS: Data Sovereignty-What Does It Imply? -- 6. Tokenomics: Decentralized Incentivization in the Context of Data Spaces -- Part II: Data Space Technologies -- 7. …”
Link to Metadata