Search Results - "The Objective"
Suggested Topics within your search.
Suggested Topics within your search.
- History of engineering & technology 211
- Technology: general issues 199
- Research & information: general 144
- History 132
- Archaeology 115
- Society & social sciences 112
- Literature: history & criticism 108
- Sociology 104
- linguistics 98
- Humanities 97
- Education 91
- Philosophy 90
- Media studies 83
- Politics & government 81
- European history 78
- Social & cultural anthropology, ethnography 78
- Literature & literary studies 69
- Medicine 69
- Computer science 68
- Physics 65
- Social & cultural history 60
- Anthropology 58
- Museology & heritage studies 56
- Biology, life sciences 55
- Artificial intelligence 51
- History of art / art & design styles 50
- Literary studies: general 50
- Psychology 49
- The arts: general issues 49
- Law 47
-
2621
-
2622
-
2623
-
2624
-
2625
-
2626
-
2627
-
2628
-
2629
-
2630
-
2631
Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2019Table of Contents: “…FASE Invited Talk -- Software Assurance in an Uncertain World -- Software Verification -- Tool Support for Correctness-by-Construction -- Automatic Modeling for Opaque Code in JavaScript Static Analysis -- SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language -- A Hybrid Dynamic Logic for Event/Data-based Systems -- Model-driven Development and Model Transformation -- Pyro: Generating Domain-Specific Collaborative Online Modeling Environments -- Efficient Model Synchronization by Automatically Constructed Repair Processes -- Offline Delta-driven Model Transformation with Dependency Injection -- A Logic-Based Incremental Approach to Graph Repair -- Software Verification -- DeepFault: Fault Localization For Deep Neural Networks -- Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL -- Formal Verification of Safety and Security Related Timing Constraints for A Cooperative Automotive System -- Checking Observational Purity Of Procedures -- Software Evolution & Requirements Engineering -- Structural and Nominal Cross-Language Clone Detection -- SL2SF: Refactoring Simulink to Stateflow -- Metric Temporal Graph Logic over Typed Attributed Graphs -- KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs -- Business Process Privacy Analysis in PLEAK -- Specification, Design, and Implementation of Particular Classes of Systems -- CLTestCheck: Measuring Test Effectiveness for GPU Kernels -- Implementing SOS with Active Objects: A Case Study of a Multicore Memory System -- Optimal and Automated Deployment for Microservices -- A Data Flow Model with Frequency Arithmetic -- Software Testing -- CoVeriTest: Cooperative Verifier-Based Testing -- Pardis: Priority Aware Test Case Reduction -- Automatically Identifying Sufficient Object Builders from Module APIs.…”
Link to Metadata
Electronic eBook -
2632
Communication, Affect, & Learning in the Classroom
Published 2020Table of Contents: “…Chapter 1 Teaching as a Communication Process -- Chapter 2 Communicating with Instructional Objectives -- Chapter 3 Instructional Communication Strategies -- Chapter 4 Communication, Affect, and Student Needs -- Chapter 5 Learning Styles -- Chapter 6 Classroom Anxieties and Fears -- Chapter 7 Communication and Student Self-Concept -- Chapter 8 Instructional Assessment: Feedback, Grading, and Affect -- Chapter 9 Traditional and Mastery Learning Systems -- Chapter 10 Student Misbehavior and Classroom Management -- Chapter 11 Teacher Misbehaviors and Communication -- Chapter 12 Teacher Self-Concept and Communication -- Chapter 13 Increasing Classroom Affect Through Teacher Communication Style -- Chapter 14 Teacher Temperament in the Classroom -- Chapter 15 Teacher Communication: Performance and Burnout…”
Access online version
Electronic eBook -
2633
-
2634
-
2635
-
2636
-
2637
-
2638
-
2639
-
2640