Search Results - COMDEX~

Object-Oriented Reengineering Patterns by Demeyer, Serge, Ducasse, Stéphane, Nierstrasz, Oscar

Table of Contents: “…-- Chapter 7: Migration Strategies -- Chapter 8: Detecting Duplicated Code -- Chapter 9: Redistribute Responsibilities -- Chapter 10: Transform Conditionals to Polymorphism…”
Access online version

Computational Thinking Education

Table of Contents: “…-- 3 MIT App Inventor: Objectives, Design, and Development -- Part II Student Competency and Assessment -- 4 Measuring Secondary School Students' Competence in Computational Thinking in ICILS 2018: Challenges, Concepts and Potential Implications for School Systems around the World -- 5 Computational Thinking Processes and their Congruence with Problem-Solving and Information-Processing -- 6 Combining Assessment Tools for a Comprehensive Evaluation of Computational Thinking Interventions -- 7 Introducing and Assessing Computational Thinking in the Secondary Science Classroom -- 8 Components and Methods of Evaluating Computational Thinking for Fostering Creative Problem-Solvers in Senior Primary School Education -- Part III Computational Thinking and Programming Education in K-12 -- 9 Learning Composite and Prime Numbers through Developing an App: An Example of Computational Thinking Development through Primary Mathematics Learning -- 10 Teaching Computational Thinking using Mathematics Gamification in Computer Science Game Tournaments -- 11 Mathematics Learning: Perceptions towards the Design of a Website based on a Fun Computational Thinking-based Knowledge Management Framework -- Part IV Computational Thinking in K-12 STEM Education and Non-formal Learning -- 12 Defining and Assessing Students' Computational Thinking in a Learning by Modeling Environment -- 13 Roles, Collaboration, and the Development of Computational Thinking in a Robotics Learning Environment -- 14 Video Games: A Potential Vehicle for Teaching Computational Thinking -- 15 Transforming the Quality of Workforce in the Textile and Apparel Industry through Computational Thinking Education -- Part V Teacher and Mentor Development in K-12 Education -- 16 Teaching Computational Thinking with Electronic Textiles: Modeling Iterative Practices and Supporting Personal Projects in Exploring Computer Science -- 17 A Study of Readiness of Implementing Computational Thinking in Compulsory Education in Taiwan -- 18 Self-development through Service-oriented Stress-Adaptation-Growth (SOSAG) Process in the Engagement of Computational Thinking Co-teaching Education -- Part VI Computational Thinking in Educational Policy and Implementation -- 19 Educational Policy and Implementation of Computational Thinking and Programming: Case Study of Singapore -- 20 Teaching-Learning of Computational Thinking in K-12 Schools in India.…”
Link to Metadata

Teaching Crowds Learning and Social Media by Dron, Jon, Anderson, Terry

Table of Contents: “…Chapter 1: On the Nature and Value of Social Software for Learning -- Chapter 2: Social Learning Theories -- Chapter 3: A Typology of Social Forms for Learning -- Chapter 4: Learning in Groups -- Chapter 5: Learning in Networks -- Chapter 6: Learning in Sets -- Chapter 7: Learning with Collectives -- Chapter 8: Stories From the Field -- Chapter 9: Issues and Challenges in Educational Uses of Social Software -- Chapter 10: The Shape of Things and of Things to Come…”
Access online version

Audacious Education Purposes How Governments Transform the Goals of Education Systems /

Table of Contents: “…Curriculum and Teacher Education Reforms in Finland That Support the Development of Competences for the 21st Century (Jari Lavonen) -- Chapter 4. …”
Link to Metadata

Life Skills Education for Youth Critical Perspectives /

Table of Contents: “…Career skills as Education for Sustainable Development (ESD) competencies: Bridging the personal and the political -- 8. …”
Link to Metadata

Recent Advances in Industrial and Applied Mathematics

Table of Contents: “…Weideman, Dynamics of Complex Singularities of Nonlinear PDEs: Analysis and Computation.…”
Link to Metadata

Contracting and Safety Exploring Outsourcing Practices in High-Hazard Industries /

Table of Contents: “…Contracting and Safety: Lessons From Observing an Outsourcing Process 'in the Making' -- 2. Organisational Complexity and Subcontracting Management: Confronting Lessons From Accidents and From Normal Operation Safety Assessment -- 3. …”
Link to Metadata

Professions and Proficiency

Table of Contents: “…The Changing Fortunes of the Architect Profession in Post-War Britain: Complexity, Technological Change, and the (Re)construction of Knowledge -- Chapter 7. …”
Link to Metadata

Dynamics of Long-Life Assets From Technology Adaptation to Upgrading the Business Model /

Table of Contents: “…PART I: Introduction and Setting the scene -- Dynamics of Long-Life Assets: The Editors' Intro -- The Challenge -- The Use-it-Wisely (UIW) Approach -- PART II: Tools and Methods -- Innovation Management with an Emphasis on Co-Creation -- Complexity Management and System Dynamics Thinking -- Managing the Life Cycle to Reduce Environmental Impacts -- Virtual Reality and 3D Imaging to Support Collaborative Decision Making for Adaptation of Long-llife Assets -- Operator-oriented Product and Production Process Design for Manufacturing, Maintenance and Upgrading -- Fostering a Community of Practice for Industrial Processes -- Extending the System Model -- PART III: From Theory to Practice -- Collaborative Management of inspection Results in Power Plant Turbines -- Rock crusher Upgrade Business from a PLM Perspective -- Space Systems Development -- Adaptation of High-Variant Automotive Production System Using a Collaborative Approach -- Supporting the Small-to-Medium Vessel Industry -- Sustainable Furniture that Grows with End-users -- Comparing Industrial Cluster Cases to Define Upgrade Business Models for a Circular Economy.   .…”
Link to Metadata

Trauma-Informed School Practices Building Expertise To Transform Schools by Berardi, Anna A., Morton, Brenda M.

Table of Contents: “…Section I: Foundational Principles of Trauma-Informed School Practices -- Chapter 1: The State of Public Schools -- Chapter 2: Optimum Development and Academic Readiness -- Chapter 3: When Stress and Trauma Overwhelm Coping Resources -- Chapter 4: Trauma and Classroom Impact -- Chapter 5: Trauma-Informed Response Best Practices -- Chapter 6: The Trauma-Informed School Practices Tri-Phasic Model -- Section II: Implementing Trauma-Informed School Practices -- Chapter 7: Planning for Transition to Trauma-Informed School Practices: District, School, and Educator Considerations -- Chapter 8: Implementing Trauma-Informed School Practices in the Classroom -- Chapter 9: Responding to Behavioral Disruptions Using Trauma-Informed School Practices: Principles and Practices -- Section III: Sustaining Trauma-Informed School Practices -- Chapter 10: Orienting and Supporting Parents as TISP Co-Facilitators -- Chapter 11: Applying Trauma-Informed School Practices to Educator Competencies -- Chapter 12: Nurturing Effective and Sustainable Trauma-Informed School Practices…”
Access online version

Guide to Ancient Near Eastern Art

Table of Contents: “…Visiting Babylon today -- 14. Law Code Stele of King Hammurabi -- 15. Law Code Stele of King Hammurabi -- 16. …”
Access online version

Pharo by Example 5.0 by Ducasse, Stéphane, Zagidulin, Dmitri, Hess, Nicolai, Chloupis, Dimitris

Table of Contents: “…1 Preface -- 2 A quick tour of Pharo -- 3 A first application -- 4 Syntax in a nutshell -- 5 Understanding message syntax -- 6 The Pharo object model -- 7 Some of the key tools of the Pharo environment -- 8 Sharing code and source control -- 9 S Unit -- 10 Basic classes -- 11 Collections -- 12 Streams -- 13 Morphic -- 14 Seaside by example -- 15 Classes and metaclasses -- 16 Reflection -- 17 Regular expressions in Pharo…”
Access online version

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /

Table of Contents: “…Complexity and Termination -- Learning Probabilistic Termination Proofs -- Ghost Signals: Verifying Termination of Busy Waiting -- Reflections on Termination of Linear Loops -- Decision Tree Learning in CEGIS-Based Termination Analysis -- ATLAS: Automated Amortised Complexity Analysis of Self-Adjusting Data Structures -- Decision Procedures and Solvers -- Theory Exploration Powered by Deductive Synthesis -- CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver -- Porous Invariants -- JavaSMT 3: Interacting with SMT Solvers in Java -- Efficient SMT-based Analysis of Failure Propagation -- ToolX : Better Delta Debugging for the SMT-LIBv2 Language and Friends -- Learning Union of Integer Hypercubes with Queries (with applications to monadic decomposition) -- Interpolation and Model Checking for Nonlinear Arithmetic -- An SMT Solver for Regular Expressions and Linear Arithmetic over String Length -- Counting Minimal Unsatisfiable Subsets -- Sound Verification Procedures for Temporal Properties of Infinite-State Systems -- Hardware and Model Checking -- Progress in Certifying Hardware Model Checking Results -- Model-Checking Structured Context-Free Languages -- Model Checking ! …”
Link to Metadata

Vocational Teacher Education in Central Asia Developing Skills and Facilitating Success /

Table of Contents: “…Preface,Uwe Munzert -- Greeting for the GIZ publication as part of the regional programme "Professional Education and Training in Central Asia", Volker -- About the contributors -- Part I -- Introduction -- 1 Recent technological challenges in (vocational) education, Thomas Köhler, Jens Drummer -- Part II Project based learning -- 1 Project based learning, Christian Stehling, Uwe Munzert -- 2 Strengthening the Innovative Potential of Project-Based Learning for TVET, Navbahor Sharipova, Matthias Wesseler -- 3 Project-Based Learning to Develop Creative Abilities in Students, Asylbek Isabekov, Gulzat Sadyrova -- Part III Specific didactics of laboratory work -- 1 Laboratory work in education of food technology professionals, Maksudakhon Abdullayeva -- 2 The Theoretical-Practical Cake, Linking theory and practice in food industry education, Horlacher, Franz -- 3 Potential of the task-based learning for the sustainable development of food technology, Manuela Niethammer -- Part IV Media and new technologies in TVET -- 1 The project title: The Virtual Laboratory and Quality of Education, Lafiz Boboev, Zokirhodzha Soliyev, Firuz Asrorkulov -- 2 Application of Modern Educational Technologies for Managing Project Activities of Master of Education, Rimma Masyrova, Victoria Savelieva, Janat Bisenbaeva, Bakhyt Atymtaeva -- 3 The significance of the Media Didactics Course for Masters of Vocational Education, Mamatair Joldoshov, Ainura Bekbolsunova -- 4 The significance of using business simulations in training of bachelors and masters, Mamatair Joldoshov, Jypargul Sayakbaeva -- 5 The use of new teaching and learning technologies for professional qualifications development in the system of the initial and secondary vocational education, Masuma Bashirova, Alymkan Sattarova -- Part V Evaluation and development of competencies -- 1 Technical training of teachers of vocational education in higher educational institutions, Svetlana Udartseva, Tatyana Ikonnikova, Tamara Udartseva, Tatyana Chausova, Gulfarida Samashova -- 2 Approaches of Engineering Pedagogy to improve the quality of teaching in engineering education, Steffen Kersten -- Competency-based exams in professional education, Ekaterina Golubina, Alexander Löser -- 4 Learning Performance in Vocational Secondary Schools: Testing academic achievement in electrical engineering, Metwaly Mabed and Thomas Köhler -- 5 Quality management for projects and workshops, Jens Drummer -- Part VI Research methods in TVET -- 1 The significance of scientific research in the professional development of students, Mukhabbat Ikrami -- 2 Preparing of Masters of Vocational Education for Conducting Research Activities, Gafurjon Hakimov, Kalybek Dykanaliev -- 3 Research Training for Doctoral Candidates in the Field of Education and Technology, Thomas Köhler -- Annex.…”
Link to Metadata

Supercomputing Frontiers 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings /

Table of Contents: “…HHVSF: A Framework to Accelerate Drug-based High-throughput Virtual Screening on High-Performance Computers -- HBasechainDB -- A Scalable Blockchain Framework on Hadoop Ecosystem -- DETOUR: A Large-Scale Non-Blocking Optical Data Center Fabric -- Querying Large Scientific Data Sets with Adaptable IO System ADIOS -- On the Performance of Spark on HPC Systems: Towards a Complete Picture -- Experiences of Converging Big Data Analytics Frameworks with High Performance Computing Systems -- MACC : An OpenACC Transpiler for Automatic Multi-GPU Use -- Acceleration of Wind Simulation using Locally Mesh-Refined Lattice Boltzmann Method on GPU-Rich supercomputers -- Architecture of an FPGA-Based Heterogeneous System for Code-Search Problems -- TINS: A Task-Based Dynamic Helper Core Strategy for In Situ Analytics -- Machine Learning Predictions for Underestimation of Job Runtime on HPC System -- A Power Management Framework with Simple DSL for Automatic Power-Performance Optimization on Power-Constrained HPCSystems -- Scalable Data Management of the Uintah Simulation Framework for Next-Generation Engineering Problems with Radiation -- High performance LOBPCG method for solving multiple eigenvalues of Hubbard model: Efficiency of communication avoiding Neumann expansion preconditioner -- Application of a preconditioned Chebyshev basis communication-avoiding conjugate gradient method to a multiphase thermal-hydraulic CFD code -- Optimization of Hierarchical matrix computation on GPU.…”
Link to Metadata

Prevention and Treatment of Atherosclerosis Improving State-of-the-Art Management and Search for Novel Targets /

Table of Contents: “…Diet, Life Style, Smoking -- Blood Pressure Lowering -- Glycemic Control in Diabetes -- LDL-Cholesterol Lowering -- Antithrombotic Therapy (Platelet Inhibition, Anti-coagulation) -- Triglyceride Rich Lipoproteins -- HDL -- Lipoprotein(a) -- Obesity, Non-alcoholic Fatty Liver Disease, and Metabolic Syndrome -- Nutraceuticals / Functional Food -- Adipose Tissue (WAT, BAT) -- Microbiota and Cardiometabolic Disease -- SMCs, Matrix -- Immune Modulation -- NETs and Neutrophils -- Genomic Strategies Towards Identification of Novel Therapeutic Targets -- Non Coding RNAs -- Metabolomics, Lipidomics -- Epigenomics.…”
Link to Metadata

Methods of Teaching Early Literacy by Gurjar, Nandita, Meacham, Sohyun, Beecher, Constance

Table of Contents: “…Phonics: Breaking the Code to Words -- Chapter 5. Supporting Literacy Learning in the Early Childhood Classroom -- Chapter 6. …”
Access online version

Informatics in Schools. Beyond Bits and Bytes: Nurturing Informatics Intelligence in Education 16th International Conference on Informatics in Schools: Situation, Evolution, and Pe...

Table of Contents: “…Education and Awareness for Artificial Intelligence -- What is AI-PACK? Outline of AI competencies for teaching with DPACK -- Implementing a Portable Learning Lab on Artificial Intelligence: It's AI in a Box! …”
Link to Metadata

Marine Anthropogenic Litter

Table of Contents: “…Foreword -- Preface -- Part 1 A brief history of marine litter research -- Part 2 Abiotic aspects of marine litter pollution -- Global distribution, composition and abundance of marine litter -- Persistence of plastic litter in the oceans -- Part 3 Biological implications of marine litter -- Deleterious effects of litter on marine life -- The complex mixture, fate and toxicity of chemicals associated with plastic debris in the marine environment -- Marine litter as habitat and dispersal vector -- Part 4 Micro plastics -- Micro plastics in the marine environment: sources, consequences and solutions -- Methodology used for the detection and identification of micro plastics - a critical appraisal -- Sources and pathways of micro plastics to habitats -- Micro plastics in the marine environment: distribution, interactions and effects -- Modeling the role of micro plastics in bioaccumulation of organic chemicals to marine aquatic organisms. …”
Link to Metadata

Writing Spaces Readings on Writing Vol. II by Lowe, Charlie, Zemliansky, Pavel

Table of Contents: “…(Rhetorically Speaking) -- The Complexity of Simplicity: Invention Potentials for Writing Students -- Writing “Eyeball To Eyeball”: Building A Successful Collaboration -- On the Other Hand: The Role of Antithetical Writing in First Year Composition Courses -- Introduction to Primary Research: Observations, Surveys, and Interviews -- Putting Ethnographic Writing in Context -- Walk, Talk, Cook, Eat: A Guide to Using Sources -- Reading Games: Strategies for Reading Scholarly Sources -- Googlepedia: Turning Information Behaviors into Research Skills -- Annoying Ways People Use Sources -- Everything Changes, or Why MLA Isn't (Always) Right -- Storytelling, Narration, and the “Who I Am” Story -- The Sixth Paragraph: A Re-Vision of the Essay -- Why Blog? …”
Access online version