Search Results - QVC~

Cultural Representations of Gender Vulnerability and Resistance A Mediterranean Approach to the Anglosphere /

Table of Contents: “…Detection, Violence And The TV Series: Atkinson's Jackson Brodie In The BBC -- 8. …”
Link to Metadata

European Union Support for Colombia's Peace Process Civil Society, Human Rights and Territorial Peace /

Table of Contents: “…The European Union's contribution to the implementation of theethnic approach within the Colombian Peace Agreement (2016-2021) (Alba Linares, University of the Basque Country), etc.…”
Link to Metadata

The Cold War in the Classroom International Perspectives on Textbooks and Memory Practices /

Table of Contents: “…Reconciling opposing discourses: Narrating and teaching the Cold War in an East-German classroom; Eva Fischer -- PART III. Memory Practices in the Classroom -- Chapter 16. …”
Link to Metadata

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

Table of Contents: “…Automata and Timed Systems -- Symbolic Register Automata -- Abstraction Refinement Algorithms for Timed Automata -- Fast Algorithms for Handling Diagonal Constraints in Timed Automata -- Safety and co-safety comparator automata for discounted-sum inclusion -- Clock Bound Repair for Timed Systems -- Verifying Asynchronous Interactions via Communicating Session Automata -- Security and Hyperproperties -- Verifying Hyperliveness -- Quantitative Mitigation of Timing Side Channels -- Property Directed Self Composition -- Security-Aware Synthesis Using Delayed-Action Games -- Automated Hypersafety Verification -- Automated Synthesis of Secure Platform Mappings -- Synthesis -- Synthesizing Approximate Implementations for Unrealizable Specifications -- Quantified Invariants via Syntax-Guided Synthesis -- Efficient Synthesis with Probabilistic Constraints -- Membership-based Synthesis of Linear Hybrid Automata -- Overfitting in Synthesis: Theory and Practice -- Proving Unrealizability for Syntax-Guided Synthesis -- Model Checking -- BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings -- When Human Intuition Fails: Using Formal Methods to Find an Error in the "Proof" of a Multi-Agent Protocol -- Extending NUXMV with Timed Transition Systems and Timed Temporal Properties -- Cerberus-BMC: a Principled Reference Semantics and Exploration Tool for Concurrent and Sequential C -- Cyber-physical Systems and Machine Learning -- Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification -- StreamLAB: Stream-based Monitoring of Cyber-Physical Systems -- VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems -- The Marabou Framework for Verification and Analysis of Deep Neural Networks -- Probabilistic Systems, Runtime Techniques -- Probabilistic Bisimulation for Parameterized Systems -- Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks -- PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games -- Symbolic Monitoring against Specifications Parametric in Time and Data -- STAMINA: STochastic Approximate Model-checker for INfinite-state Analysis -- Dynamical, Hybrid, and Reactive Systems -- Local and Compositional Reasoning For Optimized Reactive Systems -- Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach -- Flexible Computational Pipelines for Robust Abstraction-based Control Synthesis -- Temporal Stream Logic: Synthesis beyond the Bools -- Run-Time Optimization for Learned Controllers through Quantitative Games -- Taming Delays in Dynamical Systems: Unbounded Verification of Delay Differential Equations.…”
Link to Metadata

Calculus by Strang, Gilbert

Table of Contents: “…Polar Coordinates -- 1.5. Area and Arc Length in Polar Coordinates -- 1.6. Conic Sections -- 2. …”
Access online version

Nb3Sn Accelerator Magnets Designs, Technologies and Performance /

Table of Contents: “…Introduction -- Chapter 1. SC magnets in particle accelerators (D. Schoerling) -- Chapter 2. …”
Link to Metadata

Opportunities and Challenges for New and Peripheral Political Science Communities A Consolidated Discipline? /

Table of Contents: “…Institutionalization of Political Science in small states, Eva Marín Hlynsdóttir, Irmina Matonyte -- Chapter 6 From Scientific Communism to Political Science: Development of the Profession in the Post-Soviet States, Dangis Gudelis, Irmina Matonyte, Serghei Sprincean, Tatsiana Chulitskaya -- Chapter 7 On the Way to Relevance: At the crossroads of recognition and performance, Gabriella Ilonszki, Davor Boban, Dangis Gudelis -- Chapter 8 Adjusting of New Countries into Existing (Old) Institutional Frameworks, Erkki Berndston -- Chapter 9 Conclusion: Political Science Between Opportunities and Challenges, Christophe Roux.…”
Link to Metadata

Integration Processes and Policies in Europe Contexts, Levels and Actors /

Table of Contents: “…Sending country policies: Eva Østergaard-Nielsen -- 10. Migration and development framework and its links to integration: Russell King & Michael Collyer -- 11. …”
Link to Metadata

Selected Abstracts of the 9th International Workshop on Neonatology; Cagliari (Italy); October 23-26, 2013 by -

Connect to this object online.

3D Recording and Interpretation for Maritime Archaeology

Table of Contents: “…Calibration of Camera Systems for Underwater Photogrammetry -- Presenting Photogrammetric 3D Recording Essays in the Submerged Harbour Infrastructure of the Ancient and Medieval Harbour of Kyllene/Glarentza -- Using Digital Visualisation of Archival Sources to Enhance Archaeological Interpretation of the 'Life History' of Ships -- Presenting Computer Vision Photogrammetry (CVP) for Maritime Archaeology Research and Public Outreach -- High-Resolution Sub-Seabed Survey and Visualisation -- From Integration to Explanation: Moving from 3 to 4 Dimensions -- 3D Scanning and Mapping of the City of Adelaide -- Recent 3D Survey Work in Egypt -- Innomar's Parametric Sub-Bottom Profiler (SBP) Survey of Sub-Seabed Viking Fortifications in the Baltic -- Early Results of the High-Resolution Imaging of HMAS Sydney and HSK Kormoran -- Underwater Archaeology using Riegl Bathymetric Lidars -- The 17th/18th Century Drumbeg Shipwreck in Scotland -- James Matthews Trial Sub-Bottom Profile Survey -- Image-Based 3D Underwater Recording and Ocularcentrism -- 3D Photogrammetry for an by the Public -- Integration of Topographical and Bathymetrical Surveys in High-Resolution Textured 3D Prints.…”
Link to Metadata

New Mechanism Explanation, Emergence and Reduction /

Table of Contents: “…Causing and composing evolution: lessons from evo-devo mechanisms (Cristina Villegas) -- Chapter 5. …”
Link to Metadata

Self-directed multimodal learning in higher education by Olivier, Jako

Table of Contents: “…Chapter 1Self-directed multimodal learning within a context of transformative open education -- Chapter 2The affordances of the Community of Inquiry framework for self-directed blended learning in South African research -- Chapter 3Adaptive learning technology to enhance self-directed learning -- Chapter 4A systematic literature review to probe design guidelines for a self-directed blended learning environment -- Chapter 5Diffractive pathways in self-directed multimodal learning: experiences from Botswana and South Africa -- Chapter 6Implementing cooperative learning elements in Google Docs to optimise the online social presence in a self-directed environment -- Chapter 7Situated and culturally appropriate self-directed multimodal learning -- Chapter 8Scaffolding teachers’ critical reflection in a South African distance learning programme through a design-based study -- Chapter 9Optimising the Community of Inquiry principles of online self-directed learning environments -- Chapter 10Blending and cooperating in the computer literacy classroom: An opportunity to develop self-directed learning skills…”
Access online version

Forms of List-Making: Epistemic, Literary, and Visual Enumeration

Table of Contents: “…Don't Trust the List: The Politics of Enumeration and Capitalist Discourse in the Novel; Eva von Contzen -- 7. More than a Canon: Lists of Contents in British Poetry Anthologies; Stefanie Lethbridge -- 8. …”
Link to Metadata

The Digital Playbook A Practitioner's Guide to Smart, Connected Products and Solutions with AIoT /

Table of Contents: “…Predictive Maintenance for Hydraulic Components -- 34. BaseABC: Addressing the AIoT Long Tail in I4.0 -- Appendix.…”
Link to Metadata

Capturing the Senses Digital Methods for Sensory Archaeologies /

Table of Contents: “…Dunn) -- Exploring Fragmented data: environments, people and the senses in Virtual Reality (C. Sciuto and A. Foka).-Combining 3D visibility analysis and virtual acoustics analysis for the architectural study of ancient theatres (C. …”
Link to Metadata

Fundamental Approaches to Software Engineering 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Table of Contents: “…A Study on Model's Similarities for Defect and Code Smells -- Competition Contributions -- Software Testing: 5th Comparative Evaluation: Test-Comp 2023 -- FuSeBMC IA: Interval Analysis and Methods for Test-Case Generation.…”
Link to Metadata

Contested Childhoods: Growing up in Migrancy Migration, Governance, Identities /

Table of Contents: “…Engebrigtsen -- 6: When Policy Meets Practice: A Study of Ethnic Community-Based Organisations for Children and Youth: Marianne Take and Guro Odegard -- 7: Identity Development among Youth of Vietnamese Descent in the Czech Republic: Andrea Svobodova and Eva Janska -- 8: Mixed Parentage: Negotiating Identity in Denmark: Helene Bang Appel and Rashmi Singla -- 9: "I Think of Myself as Norwegian, although I Feel that I am from Another Country." …”
Link to Metadata

Compositionality and Concepts in Linguistics and Psychology

Table of Contents: “…Spalding, and Matthew Kostelecky -- Conceptual vs. Referential Affordance in Concept Composition by Louise McNally and Gemma Boleda -- How does the left Anterior Temporal Lobe Contribute to Conceptual Combination? …”
Link to Metadata

Hybrid Investigative Journalism

Table of Contents: “…Part I -- Chapter 1 Hybrid Investigative Journalism During Times of Crisis, Maria Konow-Lund, Michelle Park and Saba Bebawi -- Part II -- Chapter 2 Making Investigative Journalism in a Hybrid Manner, Maria Konow-Lund and Michelle Park -- Chapter 3 Bristol Cable - A Local Hybrid Organisation, Maria Konow-Lund -- Chapter 4 The Bureau Local - A Hybrid Network for Local Collaborative Investigative Journalism, Michelle Park and Maria Konow-Lund -- Chapter 5 The Korea Center for Investigative Journalism - A Hybrid Nonprofit Funding Model, Michelle Park and Maria Konow-Lund -- Chapter 6 A Hybrid Investigative Ecology, Maria Konow-Lund and Michelle Park -- Part III -- Chapter 7 Global Investigative Collaboration, Maria Konow-Lund and Saba Bebawi -- Chapter 8 How a COVID-19 Live Tracker Led to Innovation in Investigative Journalism, Maria Konow-Lund and Jenny Wiik -- Chapter 9 How COVID-19 Affected the Practice of Investigative Journalism in Norway and China, Maria Konow-Lund, Lin Pan and Eva-Karin Olsson Gardell -- Chapter 10 Toward a Hybrid Future for Investigative Journalism, Maria Konow-Lund, Michelle Park, Saba Bebawi.…”
Link to Metadata

Active Calculus Multivariable by Schlicker, Steve, Austin, David, Boelkins, Matthew

Table of Contents: “…Preface9 Multivariable and Vector Functions -- 9.1 Functions of Several Variables and Three Dimensional Space -- 9.2 Vectors -- 9.3 The Dot Product -- 9.4 The Cross Product -- 9.5 Lines and Planes in Space -- 9.6 Vector-Valued Functions -- 9.7 Derivatives and Integrals of Vector-Valued Functions9.8 Arc Length and Curvature -- 10 Derivatives of Multivariable Functions -- 10.1 Limits -- 10.2 First-Order Partial Derivatives -- 10.3 Second-Order Partial Derivatives -- 10.4 Linearization: Tangent Planes and Differentials -- 10.5 The Chain Rule -- 10.6 Directional Derivatives and the Gradient -- 10.7 Optimization -- 10.8 Constrained Optimization:Lagrange Multipliers -- 11 Multiple Integrals -- 11.1 Double Riemann Sums and Double Integrals over Rectangles -- 11.2 Iterated Integrals -- 11.3 Double Integrals over General Regions -- 11.4 Applications of Double Integrals -- 11.5 Double Integrals in Polar Coordinates -- 11.6 Surfaces Defined Parametrically and Surface Area -- 11.7 Triple Integrals -- 11.8 Triple Integrals in Cylindrical and Spherical Coordinates -- 11.9 Change of Variables…”
Access online version