Search Results - Koerd~

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

Table of Contents: “…Concurrent and Distributed Systems -- Checking Deadlock-Freedom of Parametric Component-Based Systems -- The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability -- Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude -- Multi-Core On-The-Fly Saturation -- Monitoring and Runtime Verification -- Specification and Efficient Monitoring Beyond STL -- VyPR2: A Framework for Runtime Verification of Python Web Services -- Constraint-based Monitoring of Hyperproperties -- Hybrid and Stochastic Systems -- Tail Probabilities for Runtimes of Randomized Programs: Martingale Synthesis for Higher Moments -- Computing the Expected Execution Time of Probabilistic Workflow Nets -- Shepherding Hordes of Markov Chains -- Optimal Time-Bounded Reachability Analysis for Concurrent Systems -- Synthesis -- Minimal-Time Synthesis for Parametric Timed Automata -- Environmentally-friendly GR(1) Synthesis -- StocHy: automated verification and synthesis of stochastic processes -- Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach -- Symbolic Verification -- iRank: a variable order metric for DEDS subject to linear invariants -- Binary Decision Diagrams with Edge-Specified Reductions -- Effective Entailment Checking for Separation Logic with Inductive Definitions -- Safety and Fault-Tolerant Systems -- Digital Bifurcation Analysis of TCP Dynamics -- Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking -- Measuring Masking Fault-Tolerance -- PhASAR: An Inter-Procedural Static Analysis Framework for C/C++.…”
Link to Metadata

Technical, Economic and Societal Effects of Manufacturing 4.0 Automation, Adaption and Manufacturing in Finland and Beyond /

Table of Contents: “…-- Chapter 11: Modeling the Societal Division of Added Value Created Through Manufacturing 4.0 -- Chapter 12: Coping with Technological Change - Regional Preparedness in Face of Technical Change -- Chapter 13: Closing Words - Quo Vadis Manufacturing 4.0?. .…”
Link to Metadata

Words, Objects and Events in Economics The Making of Economic Theory /

Table of Contents: “…Introduction -- Chapter 1. Made with Words. Intentionality and the Objects of Economics (Péter Róna) -- Chapter 2. …”
Link to Metadata

Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Table of Contents: “…Constructing a universe for the setoid model -- Nominal Equational Problems -- Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy -- Fixpoint Theory - Upside Down -- "Most of"' leads to undecidability: Failure of adding frequencies to LTL -- Combining Semilattices and Semimodules -- One-way Resynchronizability of Word Transducers -- Fair Refinement for Asynchronous Session Types -- Running Time Analysis of Broadcast Consensus Protocols -- Leafy automata for higher-order concurrency -- Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic -- Generalized Bounded Linear Logic and its Categorical Semantics -- Focused Proof-search in the Logic of Bunched Implications -- Interpolation and Amalgamation for Arrays with MaxDi -- Adjoint Reactive GUI Programming -- On the Expressiveness of Büchi Arithmetic -- Parametricity for Primitive Nested Types -- The Spirit of Node Replication -- Nondeterministic and co-Nondeterministic Implies Deterministic, for Data Languages -- CertifyingInexpressibility -- A General Semantic Construction of Dependent Re nement Type Systems, Categorically -- Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP -- Nondeterministic Syntactic Complexity -- A String Diagrammatic Axiomatisation of Finite-State Automata -- Work-sensitive Dynamic Complexity of Formal Languages -- Learning Pomset Automata -- The Structure of Sum-Over-Paths, its Consequences, and Completeness for Clifford -- A Quantified Coalgebraic van Benthem Theorem.…”
Link to Metadata

Cultural Change in Post-Migrant Societies Re-Imagining Communities Through Arts and Cultural Activities /

Table of Contents: “…An insight from Cologne carnival, related antiracist networks and recent cultural politics -- Chapter 7. Words matter. Museums remove offensive terms in the Netherlands: changing representations of 'self' and 'others' -- Chapter 8. …”
Link to Metadata

Elementary New Testament Greek by Ewald, Owen

Table of Contents: “…Chapter 1: Alphabet, words, and names; Nominal Sentences -- Chapter 2: Verbs and basic clauses; Contract Verbs; the Definite Article ("the"; Negation -- Chapter 3: Cases and Gender -- Chapter 4: Prepositions -- Chapter 5: Adjectives; Predicate and Attributive positions -- Chapter 6: Verb tenses -- Chapter 7: Verb moods (including Participles) -- Chapter 8: Other patterns of nouns and verbs, including Middle-Only verbs -- Chapter 9: Pronouns and conjunctions -- Chapter 10: Complex Sentences -- Chapter 11: Special verbs -- Chapter 12: Third declension (consonant stems), Part 1 -- Chapter 13: Third declension, Part 2 -- Chapter 14: Participles, concluded -- Chapter 15: Verb Voices: Active, Middle, and Passive -- Chapter 16: Perfect (Stative) Aspect -- Chapter 17: Subjunctive Mood -- Chapter 18: Other Verb Uses -- Chapter 19: Extra Verbs, Athematic and Contract Verbs -- Chapter 20: Final pieces -- Appendix A: Note to Instructors -- Appendix B: The Fifteen Tenses of English and Their Latin and Greek Equivalents -- Appendix C: Second and Root Aorists -- Appendix D: Principal Parts of Verbs -- Appendix E: all the forms of "be" -- Appendix F: Vocabulary English-Greek (whole course) -- Appendix G: Vocabulary Greek-English (whole course) -- Appendix H: All the Verb Forms -- Appendix I: Conspectus of Noun Endings…”
Access online version

Transactional Drafting Introduction to Contract Drafting and Transactional Practice by Fernandez, Ben L.

Table of Contents: “…Avoiding Potentially Ambiguous Words and Phrases -- 4. Organizing a Contract's Beginning Sections -- 5. …”
Access online version

Autonomic and endocrine accompaniments of quantitative-qualitative blood pressure clusters in patients of Truskavets' spa by Nataliya Kozyavkina, Nataliya Voronych-Semchenko, Yuliya Vovchyna, Walery Zukow, Igor Popovych

Connect to this object online.

Nutrition Science and Everyday Application by Callahan, Alice, Leonard, Heather, Powell, Tamberly

Table of Contents: “…Introduction -- About the Authors -- Acknowledgements -- Updates Made to OER -- Unit 1 - Designing A Healthy Diet -- Unit 2 - Nutrition Science and Information Literacy -- Unit 3 - Molecules of Life: Photosynthesis, Digestion, and Metabolism -- Unit 4- Carbohydrates -- Unit 5 - Lipids -- Unit 6 - Protein -- Unit 7- Body Weight and Health -- Unit 8 - Vitamins and Minerals Part 1 -- Unit 9 - Vitamins and Minerals Part 2 -- Unit 10 - Nutrition throughout the Lifespan -- Glossary…”
Access online version

Improving Interagency Collaboration, Innovation and Learning in Criminal Justice Systems Supporting Offender Rehabilitation /

Table of Contents: “…Implications For Practice, Siv Elin Nord Sæbjørnsen, Sarah Hean, Kristin Røvik, Bjørn Kjetil Larsen And Atle Ødegård -- 16. …”
Link to Metadata

Mobilitäts- und Transportrecht in Europa Bestandsaufnahme und Zukunftsperspektiven /

Table of Contents: “…Der Fall der Verordnung 169/2009 (Erik Staebe) -- Teil 2: Wirtschaft, Technik und Verkehrspolitik: Der Brennerkorridor - eine europäische Dimension für Mobilität und Nachhaltigkeit (Konrad Bergmeister) -- NEAT in der Schweiz - Versprechungen gehalten? …”
Link to Metadata

Mastering Strategic Management by Edwards, Janice, Ketchen, Dave, Short, Jeremy

Table of Contents: “…Chapter 1 -- Mastering Strategy: Art and Science -- Defining Strategic Management and Strategy -- Intended, Emergent, and Realized Strategies -- The History of Strategic Management -- Understanding the Strategic Management Process -- Conclusion -- Chapter 2 -- Leading Strategically -- Vision, Mission, and Goals -- Assessing Organizational Performance -- The CEO as Celebrity -- Entrepreneurial Orientation -- Conclusion -- Chapter 3 -- Evaluating the External Environment -- The Relationship between an Organization and Its Environment -- Evaluating the General Environment -- Evaluating the Industry -- Mapping Strategic Groups -- Conclusion -- Chapter 4 -- Managing Firm Resources -- Resource-Based Theory -- Intellectual Property -- Value Chain -- Beyond Resource-Based Theory: Other Views on Firm Performance -- SWOT Analysis -- Conclusion -- Chapter 5 -- Selecting Business-Level Strategies -- Understanding Business-Level Strategy through “Generic Strategies” -- Cost Leadership -- Differentiation -- Focused Cost Leadership and Focused Differentiation -- Best-Cost Strategy -- Stuck in the Middle -- Conclusion -- Chapter 6 -- Supporting the Business-Level Strategy: Competitive and Cooperative Moves -- Making Competitive Moves -- Responding to Competitors' Moves -- Making Cooperative Moves -- Conclusion -- Chapter 7 -- Competing in International Markets -- Advantages and Disadvantages of Competing in International Markets -- Drivers of Success and Failure When -- Competing in International Markets -- Types of International Strategies -- Options for Competing in International Markets -- Conclusion -- Chapter 8 -- Selecting Corporate-Level Strategies -- Concentration Strategies -- Vertical Integration Strategies -- Diversification Strategies -- Strategies for Getting Smaller -- Portfolio Planning and Corporate-Level Strategy -- Conclusion -- Chapter 9 -- Executing Strategy through Organizational Design -- The Basic Building Blocks of Organizational Structure -- Creating an Organizational Structure -- Creating Organizational Control Systems -- Legal Forms of Business -- Conclusion -- Chapter 10 -- Leading an Ethical Organization: Corporate Governance, Corporate Ethics, and Social Responsibility -- Boards of Directors -- Corporate Ethics and Social Responsibility -- Understanding Thought Patterns: A Key to Corporate Leadership? …”
Access online version

Introduction to Political Science Research Methods by Franco, Josh, Lee, Charlotte, Vue, Kau

Table of Contents: “…Preface -- About the Authors -- History of this OER -- Table of Tables -- Table of Figures -- Chapter 1- Introduction -- Chapter 2- History and Development of the Empirical Study of Politics -- Chapter 3- The Scientific Method -- Chapter 4- Theories, Hypotheses, Variables, and Units -- Chapter 5- Conceptualization, Operationalization, Measurement -- Chapter 6- Elements of Research Design -- Chapter 7- Qualitative Methods -- Chapter 8- Quantitative Research Methods and Means of Analysis -- Chapter 9- Research Ethics -- Chapter 10- Conclusion -- Appendices -- References -- Index…”
Access online version

Swiss Energy Governance Political, Economic and Legal Challenges and Opportunities in the Energy Transition /

Table of Contents: “…Schmidt and Sebastian Sewerin, The Design of the Swiss Feed-In Tariff -- Part II: Actors Driving the Energy Transition: Martin Föhse, Decentralisation of Energy Generation, Centralisation of Energy Lawmaking -- Raphael Klein and Matthias Finger, The Long-Term Impact of the Electorate on the Swiss Electricity Market Transition -- Peter Hettich, Governing Decentral Energy Systems -- Markus Schreiber, Governance of Energy Innovations -- Mary Jean Bürer, Matthieu de Lapparent, Massimiliano Capezzali and Mauro Carpita, Governance Drivers and Barriers for Business Model Transformation in the Energy Sector -- Andreas Abegg and Phil Baumann, Electricity Utility Companies Entering Private Sector Markets -- Part III: Understanding the Pressure Points of Policy and Acceptance Risks: Adrian Rinscheid and Linards Udris, Referendum Campaigns in Swiss Energy Policy -- Lena Schaffer and Alessio Levis, Public Discourses on (Sectoral) Energy Policy in Switzerland -- Anna Ebers Broughel and Rolf Wüstenhagen, The Influence of Policy Risk on Swiss Wind Power Investment -- Mert Duygan, Aya Kachi, Fintan Oeri, Thiago D. Oliveira and Adrian Rinscheid, Energy Policymaking in Switzerland -- Part IV: Concluding Remarks: Aya Kachi and Peter Hettich, Conclusions and Policy Implications.…”
Link to Metadata

Companion to European Heritage Revivals

Table of Contents: “…Europe and the Frankish Heritage in One of its Heartlands: Alsace; Linde Egberts -- Chapter 3: Battlefield of Histories: Competition over Authenticity and Heritage in an Urban Region in Eastern Netherlands; Linde Egberts -- PART II: REVIVAL TOOLS -- Chapter 4: Strategies for a Heritage Revival in the Digital Age; Jasper Visser -- Chapter 5: Using Games to Mediate History; Connie Veugen -- Chapter 6: "This is Clearly Bullshit": Some Views about History on Television; Mijke Pol -- Chapter 7: Lost Cities, Exotic Travel and Digging up the World: Historical Feature Films as a Means of Enhancing Appreciation of our Archaeological Heritage; Nina Schucker and Jan van Helt -- Chapter 8: When the Past Comes to Life: Historical Reenactment; Peter van der Plaetsen -- Chapter 9: Visualisation of Place and Landscape; Joske Houtkamp, Arnoud de Boer and Henk Kramer -- Chapter 10: From Preservation to Managing Change: Using Spatial Development as a Heritage Revival Tool; Felix van Veldhoven -- Chapter 11: Europe is a Journey: The European Cultural Route as an Instrument for Heritage Revival; Minke Walda -- PART III: CONCEPTS -- Chapter 12: Conceptual Fuel for Reviving the Past: Creating a Heritage Revival in Today's Europe; Linde Egberts.…”
Link to Metadata

Human Rights in Child Protection Implications for Professional Practice and Policy /

Table of Contents: “…Emergency Placements - human rights limits and lessons; Elisabeth Gording-Stang -- Chapter 9. Rights-based practice and marginalised children in child protection work; Bente Kojan and Graham Clifford -- Chapter 10. …”
Link to Metadata

Education Inspectorate and mediation and arbitration by Jesús Viñas i Cirera

Connect to this object online.

National Reflections on the Netherlands Didactics of Mathematics Teaching and Learning in the Context of Realistic Mathematics Education /

Table of Contents: “…A socio-constructivist elaboration of Realistic Mathematics Education; Koeno Gravemeijer -- 13. Eighteenth century land surveying as a context for learning similar triangles and measurement; Iris van Gulik-Gulikers, Jenneke Krüger, Jan van Maanen -- 14. …”
Link to Metadata

The European Higher Education Area Between Critical Reflections and Future Policies /

Table of Contents: “…Balanced Mobility Across the Board - a Sensible Objective? Irina Ferencz -- 4. …”
Link to Metadata

IMAGENS NA MÍDIA DAS ENFERMEIRAS DA FEB ENQUANTO AGENTES POLÍTICOS DA ALIANÇA GOVERNO VARGAS, EXÉRCITO BRASILEIRO E IGREJA CATÓLICA by Gertrudes Lopes, Margarida Maria Rocha Bernades, Tania Cristina Franco Santos

Connect to this object online.