Search Results - BAFTA~

Open Mapping towards Sustainable Development Goals Voices of YouthMappers on Community Engaged Scholarship /

Table of Contents: “…Mapping for the Goals on Poverty, Hunger, Health, Education, Gender, Water, and Energy -- Chapter2. Open Data Addressing Challenges Associated with Informal Settlements in the Global South -- Chapter3. …”
Link to Metadata

GDPR and Biobanking Individual Rights, Public Interest and Research Regulation across Europe /

Table of Contents: “…Part I Setting the scene -- Introduction: Individual rights, the public interest and biobank research 4000 (8) -- Genetic data and privacy protection -- Part II GDPR and European responses -- Biobank governance and the impact of the GDPR on the regulation of biobank research -- Controller' and processor's responsibilities in biobank research under GDPR -- Individual rights in biobank research under GDPR -- Safeguards and derogations relating to processing for archiving purposes in the scientific purposes: Article 89 analysis for biobank research -- A Pan-European analysis of Article 89 implementation and national biobank research regulations -- EEA, Switzerland analysis of GDPR requirements and national biobank research regulations -- Part III National insights in biobank regulatory frameworks -- Selected 10-15 countries for reports: Germany -- Greece -- France -- Finland -- Sweden -- United Kingdom -- Part IV Conclusions -- Reflections on individualrights, the public interest and biobank research, ramifications and ways forward. .…”
Link to Metadata

A Prodigy of Universal Genius: Robert Leslie Ellis, 1817-1859

Table of Contents: “…Part 1. Chapters -- 1. From Bath to Cambridge: The Early Life and Education of Robert Leslie Ellis (Christopher Stray) -- 2. …”
Link to Metadata

Public Support for the Euro Essays on Labor Productivity, Monetary Economics, and Political Economy, Vol. 2 / by Roth, Felix

Table of Contents: “…Chapter 1: Public Support for the Euro and Trust in the ECB: The first two decades of the common currency -- Chapter 2: Revisiting Public Support for the Euro, 1999-2017: Accounting for the crisis and the recovery -- Chapter 3: Public Support for the Euro -- Chapter 4: Crisis and Public Support for the Euro, 1990-2014 -- Chapter 5: Political Economy of EMU: Rebuilding systemic trust in the Euro Area in times of crisis -- Chapter 6: Crisis and Citizens' Trust in the European Central Bank - Panel data evidence for the Euro Area, 1999-2012 -- Chapter 7: Crisis and Public Support for the Euro -- Chapter 8: The Eurozone Crisis and Citizens' Shattered Systemic Trust -- Chapter 9: The Enduring Popularity of the Euro throughout the Crisis -- Chapter 10: Has the financial crisis shattered citizens' trust in national and European governmental institutions? …”
Link to Metadata

Dynamics in Logistics Twenty-Five Years of Interdisciplinary Logistics Research in Bremen, Germany /

Table of Contents: “…Part I: Models and Methods for Planning in Logistics -- Autonomous Control of Logistics Processes - A Retrospective -- Explorable Uncertainty meets Decision-Making in Logistics -- Complex Networks in Manufacturing and Logistics: A Retrospect -- Recent Developments in Mathematical Traffic Models -- Part II: Digitalization and Logistics -- Intelligent Agents for Social and Learning Logistics Systems -- Semantic Interoperability for Logistics and Beyond -- Semantic Digital Twins for Retail Logistics -- A Demand-Response System for Sustainable Manufacturing Using Linked Data and Machine Learning -- The Influence of Cognitive Biases in Production Logistics -- Part III: Fields of Application in Logistics -- Automobile Logistics 4.0 - Advances through Digitalization -- 15 Years of Intelligent Container Research -- The Rise of Ultra Large Container Vessels: Implications for Seaport Systems and Environmental Considerations -- Modeling individualized sustainable last mile logistics -- Logistics Challenges along the New Silk Roads -- Observations and Perceptions on a Doctoral Research Seminar in Engineering and Logistics.…”
Link to Metadata

Age-Inclusive ICT Innovation for Service Delivery in South Africa A Developing Country Perspective /

Table of Contents: “…The story of developing ICTs to promote holistic service delivery to older persons: The we-DELIVER project -- 5. Data collection tools, analysis and application using ICTs -- 6. …”
Link to Metadata

Data Assimilation Fundamentals A Unified Formulation of the State and Parameter Estimation Problem / by Evensen, Geir, Vossepoel, Femke C., van Leeuwen, Peter Jan

Table of Contents: “…Introduction -- Part I Mathematical Formulation: Problem formulation -- Maximum a posteriori solution -- Strong-constraint 4DVar -- Weak constraint 4DVar -- Kalman filters and 3DVar -- Randomized-maximum-likelihood sampling -- Low-rank ensemble methods -- Fully nonlinear data assimilation -- Localization and inflation -- Methods' summary -- Part II Examples and Applications: A Kalman filter with the Roessler model -- Linear EnKF update -- EnKF for an advection equation -- EnKF with the Lorenz equations -- 3Dvar and SC-4DVar for the Lorenz 63 model -- Representer method with an Ekman-flow model -- Comparison of methods on a scalar model -- Particle filter for seismic-cycle estimation -- Particle flow for a quasi-geostrophic model -- EnRML for history matching petroleum models -- ESMDA with a SARS-COV-2 pandemic model -- Final summary -- References -- Index. .…”
Link to Metadata

Principles of Security and Trust 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessalonik...

Table of Contents: “…Probabilistic Bounds on Information Leakage -- Secure Information Release in Timed Automata -- Compositional Non-Interference for Concurrent Programs via Separation and Framing -- The Meaning of Memory Safety -- Leakage, Information Flow, and Protocols -- Formal Verification of Integrity Preserving Countermeasures Against Cache Storage -- Leakage and Protocol Composition in a Game-theoretic Perspective -- Equivalence Properties by Typing in Cryptographic Branching Protocols -- Design, Formal Specification and Analysis of Multi-Factor Authentication Solutions with a Single Sign-On Experience -- Smart Contracts and Privacy -- SoK: Unraveling Bitcoin Smart Contracts -- A Semantic Framework for the Security Analysis of Ethereum Smart Contracts -- Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts -- UniTraX: Protecting Data Privacy with Discoverable Biases -- Firewalls and Attack-Defense Trees -- Transcompiling Firewalls -- On Quantitative Analysis of Attack-Defense Trees with Repeated Labels.…”
Link to Metadata

Resilienz Leben - Räume - Technik /

Table of Contents: “…Teil I - Leben: Resilienz der Biosphäre -- Auf dem Weg zu resilienten Pflegesettings: Soziotechnische Faktoren digitaler Transformationsprozesse -- Open Public Data, Medienkompetenz und die Resilienz der Gemeinschaft vor Ort -- Kommunale Resilienz als Innovationsmotor und Garant künftiger Daseinsvorsorge -- Teil II - Räume: Die Resilienz von Unternehmen und Wirtschaft in Zeiten externer Schocks -- Regional verortet. …”
Link to Metadata

University Physics by Sanny, Jeff, Ling, Samuel

Table of Contents: “…Waves and Acoustics -- Chapter 15: Oscillations -- Chapter 16: Waves -- Chapter 17: Sound -- Appendix A: UnitsAppendix B: Conversion FactorsAppendix C: Fundamental ConstantsAppendix D: Astronomical DataAppendix E: Mathematical FormulasAppendix F: ChemistryAppendix G: The Greek AlphabetIndex…”
Access online version

x86-64 Assembly Language Programming with Ubuntu by Jorgensen, Ed

Table of Contents: “…1.0 Introduction -- 2.0 Architecture Overview -- 3.0 Data Representation -- 4.0 Program Format -- 5.0 Tool Chain -- 6.0 DDD Debugger -- 7.0 Instruction Set Overview -- 8.0 Addressing Modes -- 9.0 Process Stack -- 10.0 Program Development -- 11.0 Macros -- 12.0 Functions -- 13.0 System Services -- 14.0 Multiple Source Files -- 15.0 Stack Buffer Overflow -- 16.0 Command Line Arguments -- 17.0 Input/Output Buffering -- 18.0 Floating-Point instructions -- 19.0 Parallel Processing -- 20.0 Interrupts -- 21.0 Appendix A - ASCII Table -- 22.0 Appendix B - Instruction Set Summary -- 23.0 Appendix C - System Services -- 24.0 Appendix D - Quiz Question Answers…”
Access online version

Introduction to Programming using Fortran 95/2003/2008 by Jorgensen, Ed

Table of Contents: “…1 Introduction -- 2 Computer Organization -- 3 Getting Started -- 4 Fortran 95/2003/2008 - Basic Elements -- 5 Expressions -- 6 Simple Input and Output -- 7 Program Development -- 8 Selection Statements -- 9 Looping -- 10 Formatted Input/Output -- 11 Characters and Strings -- 12 File Operations -- 13 Single Dimension Arrays -- 14 Multidimensional Arrays -- 15 Subprograms -- 16 Derived Data Types -- 17 Modules -- 18 Recursion -- 19 Character String / Numeric Conversions -- 20 System Services -- 21 Appendix A - ASCII Table -- 22 Appendix B - Start-Up Instructions -- 23 Appendix C - Random Number Generation -- 24 Appendix D - Instrinsic Functions -- 25 Appendix E - Visualization with GNUplot -- 26 Appendix F - Quiz Question Answers -- 27 Appendix G - Fortran 95/2003/2008 Keywords…”
Access online version

Smart Technologies for Precision Assembly 9th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2020, Virtual Event, December 14-15, 2020, Revised Selected Papers /

Table of Contents: “…Keynote Paper -- Augmented Reality in Assembly Systems: State of the Art and Future Perspectives -- Assembly Design and Planning -- Application of a Standardized Design Procedure in the Development of Automated Micro-Assembly Processes -- Towards the Automated Coverlay Assembly in FPCB Manufacturing: Concept and Preliminary Tests -- Resource Interface Matchmaking as a Part of Automatic Capacity Matchmaking -- Investigation on the Convergence of the Genetic Algorithm of an Aerodynamic Feeding System due to the Enlargement of the Solution Space -- Assembly Operations -- Indirect System Condition Monitoring using Online Bayesian Changepoint Direction -- Strategies for Dealing with Problems in Robotised Unscrewing Operations -- Improving Automated Insertion Task in Robotics by Reducing Registration Error -- Assembly Cells and Systems -- Development of a Sensitive Winding Application Based on a Serial Robot and Integrated Torque Sensors -- High-Load Titanium Drilling using anAccurate Robotic Machining System -- Application of Advanced Simulation Methods for the Tolerance Analysis of Mechanical Assemblies -- Development of a Low-Cost, High Accuracy, Flexible Panel Indexing Cell with Modular, Elastic Architecture -- Context-Aware Plug and Produce for Robotic Aerospace Assembly -- Data Capture and Visualisation on a Shoestring: Demonstrating the Digital Manufacturing on a Shoestring Project -- Digital Innovation Hubs for Enhancing the Technology Transfer and Digital Transformation of the European Manufacturing Industry -- Plenoptic Inspection System for Automatic Quality Control of MEMS and Microsystems -- Human Centred Assembly -- Automated Information Supply of Worker Guidance Systems in Smart Assembly Environment -- Towards Human and Robot Collaborative Ergonomic Handling of Long Parts with a Loose Grip -- Human and Workcell Event Recognition and its Application Areas in Industrial Assembly -- Cognitive Acceptance to Support Maintenance and Assembly Tasks: Results on Technology Acceptance of a Head-Mounted Device -- Usability Study of Learning-Based Pose Estimation of Industrial Objects from Synthetic Depth Data -- Assistance Methods in Assembly -- Assistance Needs in Production Environments: A Contextual Exploration of Workers' Experiences and Work Practices -- Attention Analysis for Assistance in Assembly Processes -- Live Video Assistance Systems for Assembly Processes -- Orchestration and Situation Awareness in an Assistance System for Assembly Task -- Safety as Bad Cop of Physical Assistance Systems? …”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…Concurrent and Distributed Systems -- Computing the concurrency threshold of sound free-choice workflow nets -- Fine-Grained Complexity of Safety Verification -- Parameterized verification of synchronization in constrained reconfigurable broadcast networks -- EMME: a formal tool for the ECMAScript Memory Model Evaluation -- SAT and SMT II -- What a Difference a Variable Makes -- Abstraction Refinement for Emptiness Checking of Alternating Data Automata -- Revisiting Enumerative Instantiation -- An Non-linear Arithmetic Procedure for Control-Command Software Verification -- Security and Reactive Systems -- Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection -- Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts -- RVHyper: A Runtime Verification Tool for Temporal Hyperproperties -- The Refinement Calculus of Reactive Systems Toolset -- Static and Dynamic Program Analysis -- TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation -- Optimal Dynamic Partial Order Reduction with Observers -- Structurally Defined Conditional Data-flow Static Analysis -- Geometric Nontermination Arguments -- Hybrid and Stochastic Systems -- Efficient dynamic error reduction for hybrid systems reachability analysis -- AMT2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic -- Multi-Cost Bounded Reachability in MDPs -- A Statistical Model Checker for Nondeterminism and Rare Events -- Temporal logic and mu-calculus -- Permutation Games for the Weakly Aconjunctive mu-Calculus -- Symmetry Reduction for the Local Mu-Calculus -- Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models -- 7th Competition on Software Verification (SV-COMP) -- 2LS: Memory Safety and Non-Termination (Competition contribution) -- Yogar-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement (Competition Contribution) -- CPA-BAM-Slicing: Block-Abstraction Memorization and Slicing with Region-BasedDependency Analysis (Competition Contribution) -- InterpChecker: Reducing State Space via Interpolations (Competition Contribution) -- Map2Check using LLVM and KLEE (Competition Contribution) -- Symbiotic 5: Boosted Instrumentation (Competition Contribution) -- Ultimate Automizer and the Search for Perfect Interpolants (Competition Contribution) -- Ultimate Taipan with Dynamic Block Encoding (Competition Contribution) -- VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution).…”
Link to Metadata

Market Engineering Insights from Two Decades of Research on Markets and Information /

Table of Contents: “…Insights from Research in Information Systems -- How at the Institute of Information Systems and Marketing One Thing Leads to Another and Eventually Results in a Low-Trade Theorem -- On the Potency of Online User Representation: Insights from the Sharing Economy -- Legal Tech and Lawtech: Towards a Framework for Technological Trends in the Legal Services Industry -- The Socialoid: A Computational Model of a City -- Data Analytics for Smart Decision-Making and Resilient Systems -- Academic Poem for Christof.…”
Link to Metadata

Making Humanitarian Crises Emotions and Images in History /

Table of Contents: “…Projecting Guilt and Shame in Wartime: How British State and Philanthropy Lectured on the Benefits of Retraining Schemes for Disabled Veteran Workers, 1914-1919; Jason Bate -- Chapter 4. The Touch of the Image: Affect and Materiality in Photojournalism of the Spanish Civil War; Jo Labanyi -- Chapter 5. …”
Link to Metadata

Safety in the Digital Age Sociotechnical Perspectives on Algorithms and Machine Learning /

Table of Contents: “…Key Dimensions of Algorithmic Management, Machine Learning and Big Data in Differing Large Sociotechnical Systems, with Implications for Systemwide Safety Management -- 4. …”
Link to Metadata

Quantifying Climate Risk and Building Resilience in the UK

Table of Contents: “…-- Chapter 9 Improved understanding and characterisation of climate hazards in the UK -- Chapter 10 Future changes in indicators of climate hazard and resource in the UK -- Chapter 11 What has been learnedabout converting climate hazard data to climate risks information? -- Afterword.…”
Link to Metadata

The Essence of Software Engineering

Table of Contents: “…: The Role of Empirical Methods in Answering the Question -- 5 Only the Architecture You Need -- 6 Variability in standard software products Introducing software product line engineering to the insurance industry -- 7 Using Design Thinking for Requirements Engineering in the Context of Digitalization and Digital Transformation - a Motivation and an Experience Report -- 8 Towards Deviceless Edge Computing: Challenges, Design Aspects & Models for Serverless paradigm at the Edge -- 9 Data-driven decisions and actions in today's software development -- 10 Software Architecture: Past, Present, Future -- 11 Software Product Lines -- 12 Enabling Flexible and Robust Business Process Automation for the Agile Enterprise -- 13 Achievements, Failures, and the Future ofModel-based Software Engineering.…”
Link to Metadata

Internal Migration, Urbanization and Poverty in Asia: Dynamics and Interrelationships

Table of Contents: “…Internal migration and poverty: A lesson based on panel data analysis from Indonesia -- 6. Poverty and inequality in urban India with special reference to West Bengal: An empirical study -- 7. …”
Link to Metadata