Search Results - Højre~

Agile Processes in Software Engineering and Extreme Programming - Workshops XP 2021 Workshops, Virtual Event, June 14-18, 2021, Revised Selected Papers /

Table of Contents: “…3rd international workshop on Agile Transformation -- Agile Transformation at Scale: A Tertiary Study -- Institutional Logics in Large-Scale Agile Software Development Transformations -- 9th International Workshop on Large-Scale Agile Development -- Innovation in Large-scale agile - Benefits and Challenges of Hackathons when Hacking from Home -- Impacts of COVID-19 Pandemic for Software Development in Nordic Companies - Agility Helps to Respond -- The EFIS framework for leveraging agile organizations within large enterprises -- Managing Dependencies in Large-Scale Agile -- First International Workshop on Agile Sustainability -- How Collective Intelligence Can Gear Agility with Sustainability -- 4th International Workshop on Software-intensive Businesses -- SaaS Pricing Practices Typology: A Case Study -- Is your Software Ecosystem in Danger? …”
Link to Metadata

Tourism and Conservation-based Development in the Periphery Lessons from Patagonia for a Rapidly Changing World /

Table of Contents: “…Remediating shifting baseline syndrome in the UNESCO Cape Horn Biosphere Reserve via the Field Environmental Philosophy Cycle -- 19. …”
Link to Metadata

Computation and the Humanities Towards an Oral History of Digital Humanities / by Nyhan, Julianne, Flinn, Andrew

Table of Contents: “…--  'Individuation is There in all the Different Strata:' an Oral History Conversation between John Burrows, Hugh Craig and Willard McCarty -- 'It was a Time When the University was Still Taking Account of the Meaning of universitas scientiarum': an Oral History Conversation between Wilhelm Ott and Julianne Nyhan -- 'hic Rhodus, hic salta': An Oral History Interview Between Tito Orlandi and Julianne Nyhan -- 'They Took a Chance': An Oral History Conversation between Susan Hockey and Julianne Nyhan --  'And Here We go Back Again to the Influence of Algorithmic Thinking': An Oral History conversation between Judy Malloy and Julianne Nyhan -- 'I Would Think of Myself as Sitting Inside the Computer, Moving Things Around in Order to Accomplish the Goal of my Programming': An Oral History Conversation Between Mary Dee Harris and Julianne Nyhan -- 'I Was Absolutely Convinced That There Had to be a Better Way': An Oral History Conversation Between John Nitti and Julianne Nyhan -- 'It's a Little Mind-Boggling Actually': An Oral History Conversation between Helen Agüera and Julianne Nyhan --  'I Heard About the Arrival of the Computer': An Oral History Conversation Between Hans Rutimann and Julianne Nyhan --  'Langezeit habe ich der Universitaet nachgetrauert': An Oral History Conversation between Michael Sperberg-McQueen and Julianne Nyhan.…”
Link to Metadata

Principles of Management

Table of Contents: “…Chapter 1: Introduction to Principles of Management -- 1.1 Introduction to Principles of Management -- 1.2 Case in Point: Doing Good as a Core Business Strategy -- 1.3 Who Are Managers? -- 1.4 Leadership, Entrepreneurship, and Strategy -- 1.5 Planning, Organizing, Leading, and Controlling -- 1.6 Economic, Social, and Environmental Performance -- 1.7 Performance of Individuals and Groups -- 1.8 Your Principles of Management Survivor's Guide -- Chapter 2: Personality, Attitudes, and Work Behaviors -- 2.1 Chapter Introduction -- 2.2 Case in Point: SAS Institute Invests in Employees -- 2.3 Personality and Values -- 2.4 Perception -- 2.5 Work Attitudes -- 2.6 The Interactionist Perspective: The Role of Fit -- 2.7 Work Behaviors -- 2.8 Developing Your Positive Attitude Skills -- Chapter 3: History, Globalization, and Values-Based Leadership -- 3.1 History, Globalization, and Values-Based Leadership -- 3.2 Case in Point: Hanna Andersson Corporation Changes for Good -- 3.3 Ancient History: Management Through the 1990s -- 3.4 Contemporary Principles of Management -- 3.5 Global Trends -- 3.6 Globalization and Principles of Management -- 3.7 Developing Your Values-Based Leadership Skills -- Chapter 4: Developing Mission, Vision, and Values -- 4.1 Developing Mission, Vision, and Values -- 4.2 Case in Point: Xerox Motivates Employees for Success -- 4.3 The Roles of Mission, Vision, and Values -- 4.4 Mission and Vision in the P-O-L-C Framework -- 4.5 Creativity and Passion -- 4.6 Stakeholders -- 4.7 Crafting Mission and Vision Statements -- 4.8 Developing Your Personal Mission and Vision -- Chapter 5: Strategizing -- 5.1 Strategizing -- 5.2 Case in Point: Unnamed Publisher Transforms Textbook Industry -- 5.3 Strategic Management in the P-O-L-C Framew…”
Access online version

Criminal Procedure Undergraduate Edition Author by Smith, Christopher E., Trachtenberg, Ben, Alexander, Anne

Table of Contents: “…Fourth Amendment: What Is a Search? More Specifics -- VII. Fourth Amendment: Probable Cause and Reasonable Suspicion -- VIII. …”
Access online version

Piacere! Elementary Italian at The University of Iowa by Gemmani, Lucia, Lottini, Irene, Sartini-Rideout, Claudia

Table of Contents: “…Introduction -- Acknowledgements -- Part I: Saluti e prezentazioni -- Part II: Oggetti e cose -- Part III: Caratteristiche -- Part IV: Azioni -- Part V: La famiglia -- Part VI: Attività e passatempi -- Part VII: Giorni e ore -- Part VIII: Luoghi -- Part IX: Viaggi -- Part X: La cucina -- Part XI: Attività quotidiane -- Part XII: I giochi e gli sport -- Part XIII: La moda -- Part XIV: La mia storia e il mio futuro -- Part XV: Il lavoro e le spese -- Part XVI: "Uno, nessuno e centomila" -- Part XVII: Cercare casa -- Part XIX: La storia e le arti -- Part XX: Le mie idee e i miei programmi -- Part XXI: Le emozioni -- Appendix…”
Access online version

Social and Economic Vulnerability of Roma People Key Factors for the Success and Continuity of Schooling Levels /

Table of Contents: “…Roma Population in the Spanish Education System: Identifying Explanatory Frameworks and Research Gaps (Francisco Javier Ullán de la Rosa and Hugo García Andreu) -- Chapter 14. "I felt I arrived home": The minority trajectory of mobility for first-in-family Hungarian Roma graduates (Judit Durst and Ábel Bereményi) -- Index.…”
Link to Metadata

Technologies and Applications for Big Data Value

Table of Contents: “…Technologies and Applications for Big Data Value -- Part I: Technologies and Methods -- Trade-Offs and Challenges of Serverless Data Analytics -- Big Data and AI Pipeline Framework: Technology Analysis from a Benchmarking Perspective -- An Elastic Software Architecture for Extreme-Scale Big Data Analytics -- Privacy-Preserving Technologies for Trusted Data Spaces -- Leveraging Data-Driven Infrastructure Management to Facilitate AIOps for Big Data Applications and Operations -- Leveraging High-Performance Computing and Cloud Computing with Unified Big-DataWorkflows: The LEXIS Project -- Part II: Processes and Applications -- The DeepHealth Toolkit: A Key European Free and Open-Source Software for Deep Learning and Computer Vision Ready to Exploit Heterogeneous HPC and Cloud Architectures -- Applying AI to Manage Acute and Chronic Clinical Condition -- 3D Human Big Data Exchange Between the Healthcare and Garment Sectors -- Using a Legal Knowledge Graph for Multilingual Compliance Services in Labor Law, Contract Management, and Geothermal Energy -- Big Data Analytics in the Banking Sector: Guidelines and Lessons Learned from the CaixaBank Case -- Data-Driven Artificial Intelligence and Predictive Analytics for the Maintenance of Industrial Machinery with Hybrid and Cognitive Digital Twins -- Big Data Analytics in the Manufacturing Sector: Guidelines and Lessons Learned Through the Centro Ricerche FIAT (CRF) Case -- Next-Generation Big Data-Driven Factory 4.0 Operations and Optimization: The Boost 4.0 Experience -- Big Data-Driven Industry 4.0 Service Engineering Large-Scale Trials: The Boost 4.0 Experience -- Model-Based Engineering and Semantic Interoperability for Trusted Digital Twins Big Data Connection Across the Product Lifecycle -- A Data SciencePipeline for Big Linked Earth Observation Data -- Towards Cognitive Ports of the Futures -- Distributed Big Data Analytics in a Smart City -- Processing Big Data in Motion: Core Components and System Architectures with Applications to the Maritime Domain -- Knowledge Modeling and Incident Analysis for Special Cargo.…”
Link to Metadata

No Truth Without Beauty God, the Qur'an, and Women's Rights / by El-Ali, Leena

Table of Contents: “…Witnesses: A Woman's Testimony Is Worth the Same as a Man's, Except in Two Cases Where It May Count for More or Less -- AT A GLANCE: Some Inconvenient Truths -- Part V Carnal Matters -- 19. …”
Link to Metadata

Using Social Theory in Higher Education

Table of Contents: “…Chapter 1 Other people's ideas: An introduction to using social theory in higher education -- Chapter 2 Sit Down, be Humble: The influence of the Work of Linda Tuhiwai Smith on our research -- Chapter 3 The decolonial imperative - text and context: a response to Amani Bell and Gulwanyang Moran -- Chapter 4 After Belonging: Aileen Moreton-Robinson's 'I Still Call Australia Home' -- Chapter 5 In belonging: a response to Timothy Laurie -- Chapter 6 Deploying Rose and Abi-Rached to 'make sense' of the rise of the 'brain sciences' in the field of violence against women -- Chapter 7 What do we talk about when we talk about neuro? …”
Link to Metadata

Schools and Society During the COVID-19 Pandemic How Education Systems Changed and the Road Ahead /

Table of Contents: “…Chapter 1. From Loss to Hope. Paradoxical educational effects of the COVID-19 pandemic (Fernando M. …”
Link to Metadata

Integrating Immigrants in Europe Research-Policy Dialogues /

Table of Contents: “…1: Research-policy dialogues on migrant integration in Europe: A conceptual framework and key questions: Peter Scholten, Han Entzinger and Rinus Penninx -- PART I - FORMS AND FUNCTIONS OF RESEARCH-POLICY DIALOGUES: 2: Cultures of knowledge use in policymaking: The functions of research in German and UK immigration policy: Christina Boswell -- 3: Migration statistics in Europe: A core component of governance and population research: Albert Kraler, David Reichel and Han Entzinger -- 4: The coproduction of national models of integration: A view from France and the Netherlands: Christophe Bertossi, Jan Willem Duyvendak and Peter Scholten -- 5: Consultative commissions and the rethinking of integration policies in the Netherlands and Germany: The Blok Commission and the Süssmuth Commission compared: Jan Schneider and Peter Scholten -- 6: European cities in search of knowledge for their integration policies. …”
Link to Metadata

Powering a Learning Society During an Age of Disruption

Table of Contents: “…-- Chapter 22: Where Do We Go from Here? Conclusions and Future Pathways for Learning Societies.…”
Link to Metadata

Copy(write) Intellectual Property in the Writing Classroom

Table of Contents: “…Part I: The Law, the Landscape -- The Fair Use Battle for Scholarly Works, Jeffrey Galin -- Plagiarism and Promiscuity, Authors and Plagiarisms, Russel Wiebe -- Authoring Academic Agency: Charting the Tensions between Work-for-hire University Copyright Policies,Timothy R. Amidon -- Soul Remedy: Turnitin and the Visual Design of End User License Agreements, Barclay Barrios -- Images, the Commonplace Book, and Digital Self-Fashioning, Bob Whipple -- Intellectual Properties in Multimodal 21st-Century Composition Classrooms, Tharon W. …”
Access online version

Connecting Mathematics and Mathematics Education Collected Papers on Mathematics Education as a Design Science / by Wittmann, Erich Christian

Table of Contents: “…Teaching Units as the Integrating Core of Mathematics Education. Educational Studies in Mathematics 15 (1984), 25-36 -- 2. …”
Link to Metadata

The Global Lives of German Migrants Consequences of International Migration Across the Life Course /

Table of Contents: “…Setting up Probability-Based Online Panelsof Migrants with a Push-to-Web Approach: Lessons Learned from the German Emigration and Remigration Panel Study (GERPS) -- Chapter 17. Is There More Than the Answer to the Question? Device Use and Completion Time as Indicators for Selectivity Bias and Response Convenience in Online Surveys.…”
Link to Metadata

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

Table of Contents: “…Verification Techniques (not SMT) -- Directed Reachability for Infinite-State Systems -- Bridging Arrays and ADTs in Recursive Proofs -- A Two-Phase Approach for Conditional Floating-Point Verification -- Symbolic Coloured SCC Decomposition -- Case Studies -- Local Search with a SAT Oracle for Combinatorial Optimization -- Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities -- Proof Generation/Validation -- Certifying Proofs in the First-Order Theory of Rewriting -- Syntax-Guided Quantifier Instantiation -- Making Theory Reasoning Simpler -- Deductive Stability Proofs for Ordinary Differential Equations -- Tool Papers -- An SMT-Based Approach for Verifying Binarized Neural Networks -- cake lpr: Verified Propagation Redundancy Checking in CakeML -- Deductive Veri cation of Floating-Point Java Programs in KeY -- Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types -- SyReNN: A Tool for Analyzing Deep Neural Networks -- MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers -- dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts -- Tool Demo Papers -- HLola: a Very Functional Tool for Extensible Stream Runtime Verification -- AMulet 2.0 for Verifying Multiplier Circuits -- RTLola on Board: Testing Real Driving Emissions on your Phone -- Replicating Restart with Prolonged Retrials: An Experimental Report -- A Web Interface for Petri Nets with Transits and Petri Games -- Momba: JANI Meets Python -- SV-Comp Tool Competition Papers -- Software Veri cation: 10th Comparative Evaluation (SV-COMP 2021) -- CPALockator: Thread-Modular Approach with Projections (Competition Contribution) -- Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution) -- Gazer-Theta: LLVM-based Veri er Portfolio with BMC/CEGAR (Competition Contribution) -- Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints (Competition Contribution) -- Towards String Support in JayHorn (Competition Contribution) -- JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution) -- Symbiotic 8: Beyond Symbolic Execution (Competition Contribution) -- VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution).…”
Link to Metadata

Migration, Displacement, and Higher Education Now What? /

Table of Contents: “…Climate Change, Human Displacement, and STEM Education: Toward a More Transdisciplinary and Inclusive Culture of Science -- 19. …”
Link to Metadata

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

Table of Contents: “…-A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems -- Model Checking -- Bounded Model Checking for Asynchronous Hyperproperties -- Model Checking Linear Dynamical Systems under Floating-point Rounding -- Efficient Loop Conditions for Bounded Model Checking Hyperproperties -- Reconciling Preemption Bounding with DPOR -- Optimal Stateless Model Checking for Causal Consistency -- Symbolic Model Checking for TLA+ Made Faster -- AutoHyper: Explicit-State Model Checking for HyperLTL -- Machine Learning/Neural Networks -- Feature Necessity & Relevancy in ML Classifier Explanations -- Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks -- OccRob: Effcient SMT-Based Occlusion Robustness Verification of Deep Neural Networks -- Neural Network-Guided Synthesis of Recursive List Functions -- Automata -- Modular Mix-and-Match Complementation of Buechi automata -- Validating Streaming JSON Documents With Learned VPAs -- Antichains Algorithms for the Inclusion Problem Between ω -VPL -- Stack-Aware Hyperproperties -- Proofs -- Propositional Proof Skeletons -- Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers -- Carcara: An effcient proof checker and elaborator for SMT proofs in the Alethe format -- Constraint Solving/Blockchain -- The Packing Chromatic Number of the Infinite Square Grid is 15 -- Active Learning for SAT Solver Benchmarking -- ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving -- Inferring Needless Write Memory Accesses on Ethereum Bytecode -- Markov Chains/Stochastic Control -- A Practitioner's Guide to MDP Model Checking Algorithms -- Correct Approximation of Stationary Distributions -- Robust Almost-Sure Reachability in Multi-Environment MDPs -- Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning -- Verification -- A Formal CHERI-C Semantics for Verification -- Automated Verification for Real-Time Systems via Implicit Clocks and an Extended Antimirov Algorithm -- Parameterized Verification under TSO with Data Types -- Verifying Learning-Based Robotic Navigation Systems: A Case Study -- Make flows small again: revisiting the flow framework -- ALASCA: Reasoning in Quantified Linear Arithmetic -- A Matrix-Based Approach to Parity Games -- A GPU Tree Database for Many-Core Explicit State Space Exploration.…”
Link to Metadata

Managing Elevated Risk Global Liquidity, Capital Flows, and Macroprudential Policy-An Asian Perspective / by Azis, Iwan J., Shin, Hyun Song

Table of Contents: “…Contents -- Foreword -- Chapter 1: Introduction and Overview -- Chapter 2: The Three Phases of Global Liquidity -- 2.1: Conceptual and Measurement Issues -- 2.2: First Phase of Global Liquidity -- 2.2.1: Round-trip Bank Flows to the US -- 2.2.2: Banking Sector Flows to the Rest of the World -- 2.2.3: Exchange Rates and Leverage -- 2.3: Second Phase of Global Liquidity -- 2.4: The Case of Emerging Asia -- 2.5: Third Phase and Onward -- 2.6: References -- Chapter 3: Early Warning Indicators for Financial Vulnerabilities -- 3.1: Principles for Selection of Early Warning Indicators -- 3.2: Core and Noncore Liabilities -- 3.3: References -- Chapter 4: Emerging Asia's Noncore Liabilities and Policy Effectiveness -- 4.1: Bank-led Flows, Noncore Liabilities, and Credit Growth -- 4.2: Reassessing Monetary Policy -- 4.3: Appendix -- 4.4: References -- Chapter 5: Capital Flows and Income Distribution -- 5.1: National Policy Remains Key -- 5.2: How Capital Flows Affect Income Inequality -- 5.3: Prioritization for a Multi-Objective Goal -- 5.4: Appendix -- 5.5: References -- Chapter 6: Policy Implications -- 6.1 Tailoring Policies to Vulnerabilities -- 6.2 Macroprudential Tools -- 6.2.1 Bank Capital-Oriented Tools -- 6.2.1.1 Capital Requirements that Adjust Over the Cycle -- 6.2.1.2 Forward-Looking Provisioning -- 6.2.1.3: Leverage caps -- 6.2.1.4: Loan-To-Value and Debt-Service-To-Income Caps -- 6.2.1.5: Loan-to-Deposit caps -- 6.2.1.6: Levy on Noncore Liabilities -- 6.2.1.7: Unremunerated Reserve Requirements -- 6.2.2: Relative Merits of URR versus Levies/Taxes -- 6.2.3: Relationship with other Stabilization Policies -- 6.3: Financial Integration and Institutional Design -- 6.4: Policy Choices -- 6.5: References.…”
Link to Metadata