Search Results - 篮球~

Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III /

Table of Contents: “…TOOLympics 2019: An Overview of Competitions in Formal Methods -- Confluence Competion 2019 -- International Competition on Runtime Verification (CRV) -- The Model Checking Contest (2019) -- The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models -- The Rewrite Engines Competitions: A RECtrospective -- RERS 2019: Combining Synthesis with Real-World Models -- SL-COMP: Competition of Solvers for Separation Logic -- Automatic Verification of C and Java Programs: SV-COMP 2019 -- The Termination and Complexity Competition -- Competition on Software Testing (Test-Comp) -- VerifyThis - Verification Competition with a Human Factor -- SV-COMP 2019 -- CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker (Competition Contribution) -- Extending DIVINE with Symbolic Verification using SMT (Competition Contribution) -- ESBMC v6.0: Verifying C Programs using k-Induction and Invariant Inference (Competition Contribution) -- JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution) -- JayHorn: A Java Model Checker (Competition Contribution) -- Java Pathfinder at SV-COMP 2019 -- Pinaka: Symbolic Execution meets Incremental Solving (Competition Contribution) -- PeSCo: Predicting Sequential Combinations of Verifiers (Competition Contribution) -- Symbolic Pathfinder for SV-COMP -- VeriFuzz: Program Aware Fuzzing -- VIAP 1.1 (Competition Contribution).…”
Link to Metadata

Purpose-driven Organizations Management Ideas for a Better World /

Table of Contents: “…Part I. Understanding Purpose-driven Organizations -- 1. …”
Link to Metadata

Climate-Smart Food by Reay, Dave

Table of Contents: “…Chapter 1 Introduction -- Breakfast -- Chapter 2 Orange Juice -- Chapter 3 Wheat Bread -- Chapter 4 Tea -- Chapter 5 Milk -- Break time -- Chapter 6 Chocolate -- Chapter 7 Bananas -- Chapter 8 Coffee -- Lunch -- Chapter 9 Chicken -- Chapter 10 Rice -- Chapter 11 Maize -- Dinner -- Chapter 12 Potatoes -- Chapter 13 Cod -- Chapter 14 Champagne -- Chapter 15 Conclusion. .…”
Link to Metadata

Theoretical and Practical Advances in Computer-based Educational Measurement

Table of Contents: “…Feasibility and Value of Using a GoPro Camera and iPad to Study Teacher-Student Assessment Feedback Interactions; Fabienne van der Kleij, Joy Cumming, Lenore Adie -- 19. …”
Link to Metadata

The Future of Election Administration Cases and Conversations /

Table of Contents: “…1. Introduction -- Part I Reflections on History and Links to Reform -- 2. …”
Link to Metadata

Supercomputing Frontiers 5th Asian Conference, SCFA 2019, Singapore, March 11-14, 2019, Proceedings /

Table of Contents: “…Practical Resource Usage Prediction Method for Large Memory Jobs in HPC clusters -- A Crystal/Clear Pipeline for Applied Image Processing -- A Cache-Based Data Movement Infrastructure for On-Demand Scientific Cloud Computing -- PHINEAS: an Embedded Heterogeneous Parallel Platform -- MH-QEMU: Memory-State-Aware Fault Injection Platform -- Performance Evaluation and Analysis of Linear Algebra Kernels in the prototype Tianhe-3 Cluster.…”
Link to Metadata

Placing the Public in Public Health in Post-War Britain, 1948-2012 by Mold, Alex, Clark, Peder, Millward, Gareth, Payling, Daisy

Table of Contents: “…1 Introduction -- 2 The Public and Public Health -- 3 Imagining Publics -- 4 Speaking Back -- 5 Changing Publicness -- 6 Conclusion.…”
Link to Metadata

Surgical Ophthalmic Oncology A Collaborative Open Access Reference /

Table of Contents: “…Ocular Pathology -- 15. Ocular Pathology -- VIII. Appendices -- Appendix 1: American Joint Committee on Cancer (AJCC) 8th Edition Cancer Staging -- Appendix 2: College of American Pathologist (CAP) Guidelines for Patients with Retinoblastoma -- Appendix 3: College of American Pathologist (CAP) Guidelines for Patients with Uveal Melanoma -- Index.…”
Link to Metadata

Geographies of Schooling

Table of Contents: “…-Chapter 10. A Multilevel View of Small Schools: Changing Systems in Baden-Württemberg and Vorarlberg -- Chapter 11. …”
Link to Metadata

Agile Processes in Software Engineering and Extreme Programming 20th International Conference, XP 2019, Montréal, QC, Canada, May 21-25, 2019, Proceedings /

Table of Contents: “…A Case Study in a Large Financial Corporation -- Agility Beyond IT -- Corporate-level Communities at Ericsson: Parallel Organizational Structure for Fostering Alignment for Autonomy -- ScalingAgile beyond Organizational Boundaries: Coordination Challenges in Software Ecosystems -- Enterprise agility: A Balancing Act. …”
Link to Metadata

Vermin, Victims and Disease British Debates over Bovine Tuberculosis and Badgers / by Cassidy, Angela

Table of Contents: “…Part One: CONTEXTS -- 1 Of Badgers, Bovines and Bacteria -- 2 How the Badger Became Tuberculous -- Part Two: REFRAMING BOVINE TB (c.1960-1995) -- 3 Changing Veterinary Knowledge -- 4 Pest Control and Ecology -- 5 Protecting the Badger? …”
Link to Metadata

IEA International Computer and Information Literacy Study 2018 Assessment Framework by Fraillon, Julian, Ainley, John, Schulz, Wolfram, Duckworth, Daniel, Friedman, Tim

Table of Contents: “…Foreword -- 1. Introduction -- 2. Computer and information literacy framework -- 3. …”
Link to Metadata

Creating Healthy and Sustainable Buildings An Assessment of Health Risk Factors / by Dovjak, Mateja, Kukec, Andreja

Table of Contents: “…Chapter 1. Introduction -- Chapter 2. Health outcomes related to built environment -- Chapter 3. …”
Link to Metadata

Architecture and the Novel under the Italian Fascist Regime by Billiani, Francesca, Pennacchietti, Laura

Table of Contents: “…1. National Novel and New Architecture -- 2. The Regime and the Creation of an 'Arte di Stato' -- 3. …”
Link to Metadata

Meaning-Making for Living The Emergence of the Presentational Self in Children's Everyday Dialogues / by Komatsu, Koji

Table of Contents: “…Chapter 1. Who Can Know My Self? A New Look Into Psychological Inquiries Into the Self -- Chapter 2. …”
Link to Metadata

Planning for Ecosystem Services in Cities by Geneletti, Davide, Cortinovis, Chiara, Zardo, Linda, Esmail, Blal Adem

Table of Contents: “…Chapter1. Introduction -- Chapter2. A review of ecosystem services in urban plans -- Chapter3. …”
Link to Metadata

Collaborative Curriculum Design for Sustainable Innovation and Teacher Learning

Link to Metadata

The Brownian Motion A Rigorous but Gentle Introduction for Economists / by Löffler, Andreas, Kruschwitz, Lutz

Link to Metadata

International Reflections on the Netherlands Didactics of Mathematics Visions on and Experiences with Realistic Mathematics Education /

Table of Contents: “…Seen through other eyes - Opening up new vistas in Realistic Mathematics Education through visions and experiences from other countries -- From tinkering to practice - The role of teachers in the application of Realistic Mathematics Education principles in the United States -- Searching for alternatives for New Math in Belgian primary schools - Influence of the Dutch model of Realistic Mathematics Education -- The impact of Hans Freudenthal and the Freudenthal Institute on the project Mathe 2000 -- Reflections on Realistic Mathematics Education from a South African perspective -- Learning to look at the world through mathematical spectacles - A personal tribute to Realistic Mathematics Education -- Graphing linear equations - A comparison of the opportunity-to-learn in textbooks using the Singapore and the Dutch approaches to teaching equations -- Low achievers in mathematics - Ideas from the Netherlands for developing a competence-oriented view -- From the bottom up - Reinventing RealisticMathematics Education in Southern Argentina -- Realistic Mathematics Education in the Chinese context - Some personal reflections -- The enrichment of Belgian secondary school mathematics with elements of the Dutch model of Realistic Mathematics Education since the 1980s -- Echoes and influences of Realistic Mathematics Education in Portugal -- Supporting mathematical learning processes by means of mathematics conferences and mathematics language tools -- Reinventing Realistic Mathematics Education at Berkeley - Emergence and development of a course for pre-service teachers -- Korean mathematics education meets Dutch didactics -- The influence of Realistic Mathematics Education outside the Netherlands - The case of Puerto Rico -- The impact of Dutch mathematics education on Danish mathematics education -- Two decades of Realistic Mathematics Education in Indonesia -- Intervening with Realistic Mathematics Education in England and the Cayman Islands - The challenge of clashing educational ideologies.…”
Link to Metadata

Conceptualizing Environmental Citizenship for 21st Century Education

Table of Contents: “…Hadjichambis -- Economic dimensions of Environmental Citizenship; Vladislav Kaputa, Katharina Lapin, Florian Leregger, Haris Gekic -- Societal Issues and Environmental Citizenship; Ivan Šulc, Sofia Morgado, Zorana Đorđević, Slaven Gašparović, Vesela Radović, Dilyana Keranova -- PART II: Environmental Citizenship as psychological construct -- Knowledge and Environmental Citizenship; Smederevac-Lalic, M., Finger, D., Kovách, I., Lenhardt, M., Petrovic, J., Djikanovic, V., Conti, D., Boeve-de Pauw, J. -- Values, Beliefs and Environmental Citizenship; Audra Balunde, Mykolas Simas Poškus, Lina Jovarauskait, Ariel Sarid, Georgios Farangitakis, Marie-Christine Knippels, Andreas Hadjichambis, Demetra Paraskeva-Hadjichambi -- Attitudes and Environmental Citizenship; Nicole Bauer, Boldizsár Megyesi, Rares Halbac, Cristina Zamfir -- PART III: Environmental Citizenship in the context of Environmental Education and Education for Sustainability -- Education for Environmental Citizenship & Responsible Environmental Behaviour; Daphne Goldman, Ralph Hansmann, Jan Čincera, Vesela Radović, Audronė Telešienė, Aistė Balžekienė, Jan Vávra -- Environmental Citizenship & Youth Activism; Pedro Reis -- Environmental Citizenship and Education for Sustainability; Gema Parra, Ralph Hansmann, Andreas Ch. …”
Link to Metadata