Search Results - GaWC~
Suggested Topics within your search.
Suggested Topics within your search.
- International law 130
- Research & information: general 102
- Media studies 101
- History of engineering & technology 98
- Technology: general issues 96
- Dance & other performing arts 78
- Medicine 65
- History 64
- Theatre studies 64
- Biology, life sciences 58
- Humanities 53
- Law 51
- Computer games / online games: strategy guides 49
- Dance 49
- Education 48
- Computer science 43
- Political structure & processes 39
- Jurisprudence & general issues 37
- Philosophy 36
- International economic & trade law 35
- Politics & government 33
- Artificial intelligence 29
- Neurosciences 28
- Popular culture 27
- Psychology 27
- Comedies 26
- Games 26
- Human rights 26
- Social & cultural anthropology, ethnography 26
- Economics 24
-
6041
The Pilgrim's Guide to the Workplace
Published 2022Table of Contents: “…Part 1 - The road less travelled -- Chapter 1 - Iguanas, isolation, and ideas -- Chapter 2 - About this book -- Chapter 3 Spoiler alert -- Chapter 4 A note on COVID-19 -- Part 2 The making of a pilgrimage -- Chapter 5 Anatomy of a pilgrimage -- Chapter 6 No pain, no gain -- Chapter 7 My two rules -- Chapter 8 The Herzog enigma -- Chapter 9 The idea -- Chapter 10 Why, and for which charity? …”
Link to Metadata
Electronic eBook -
6042
Education for a Digital World Advice, Guidelines and Effective Practice from Around Globe
Published 2008Table of Contents: “…Chapter AbstractsIntroductionPart 1: The Impact of Instructional Technologies -- 1 Emerging Technologies in E-learning -- 2 Virtual Design Studios: Solving Learning Problems in Developing Countries -- 3 Challenges Confronted and Lessons (Un)Learned: Linking Students from the University of Ghana and Kwantlen University College -- 4 Addressing Diversity in Design of Online Courses -- 5 Mobile Learning in Developing Countries: Present Realities and Future Possibilities -- 6 The Impact of Technology on Education -- Part 2: Preparing Online Courses -- 7 Learning Management Systems -- 8 Exploring Open Source for Educators: We're Not in Kansas Anymore – Entering OS -- 9 Quality Assurance by Design -- 10 General Principles of Instructional Design -- 11 Accessibility and Universal Design -- 12 Articulation and Transfer of Online Courses -- 13 Planning Your Online Course -- 14 Assessment and Evaluation -- Part 3: Implementing Technology -- 15 Understanding Copyright: Knowing Your Rights and Knowing When You're Right -- 16 ‘Open Licences' of Copyright for Authors, Educators, and Librarians -- 17 E-learning Standards -- 18 Leadership and E-learning: Change Processes for Implementing Educational Technologies -- 19 Building Communities of Practice -- Part 4: E-learning in Action -- 20 Instructional Strategies -- 21 Media Selection -- 22 Computer-Based Resources for Learning -- 23 Computer-Based Games for Learning -- 24 Evaluating and Improving Your Online Teaching Effectiveness -- Part 5: Engagement and Communication -- 25 Tools for Online Engagement and Communication -- 26 Techno Expression -- 27 Social Media for Adult Online Learners and Educators -- 28 Online Collaboration: An Overview -- 29 Identity in Online Education -- 30 Supporting E-learning through Communities of Practice -- 31 Looking Forward: Stories of Practice -- Contributors…”
Access online version
Electronic eBook -
6043
La hora del cuento en español
Published 2023Table of Contents: “…Licensing Info -- Accessibility statement -- Agradecimientos/Acknowledgements -- Reconocimientot de tierras/Land Acknowledgement -- Prefacio/Preface -- Primera parte -- El perrito quiere jugar -- El perrito quiere jugar -- El patito tonto -- La reina de la granja -- El pollo morado -- Vista panorámica -- Un mono en la granja -- El zorro malo en la granja del Señor Jorge -- El cuento del hombre cerdo -- El cuento del hombre cerdo -- El lobo mentiroso -- El granjero enfermo -- El cumpleaños de la gata -- El poder del “NO” -- El perro inteligente -- La gallina pata -- La gran fiesta -- Part One -- The Puppy Wants to Play -- A Day in the Life of Farmer Gustavo -- The Silly Duckling -- The Queen of the Farm -- The Purple Chicken -- Panoramic View -- A Monkey on the Farm -- The Bad Fox on Mr. …”
Access online version
Electronic eBook -
6044
-
6045
Designing Data Spaces The Ecosystem Approach to Competitive Advantage /
Published 2022Table of Contents: “…International Data Spaces in a Nutshell -- 4. Role of Gaia-X in the European Data Space Ecosystem -- 5. …”
Link to Metadata
Electronic eBook -
6046
Business Transitions: A Path to Sustainability The CapSEM Model /
Published 2023Table of Contents: “…Part I Sustainability: challenges and opportunities -- Chapter 1: Business Challenges in the Transition to Sustainability -- Chapter 2: The CapSEM Model -- Chapter 3: Sustainable Development Goals and CapSEM -- Part II The Toolbox: Methodologies and Theories -- Chapter 4: Input-output Analysis and Cleaner Production -- Chapter 5: Looking Beyond the Factory Gates -- Chapter 6: Communicating Product Life Cycle Performance through Labels and Declarations -- Chapter 7 : Environmental Management Systems -- Chapter 8: Analytical frameworks, indicators and performance evaluation -- Chapter 9: Reporting Schemes -- Chapter 10: Business Models for Sustainability -- Chapter 11: Closing the loop: Industrial Ecology, Circular Economy and Material Flow Analysis -- Chapter 12: Systems Engineering. …”
Link to Metadata
Electronic eBook -
6047
Understanding The Everyday Digital Lives of Children and Young People
Published 2024Table of Contents: “…ICT Use and Children's Self-reported Life Satisfaction -- 10. 'Of Gaming and Other Demons': Defining Children and Young People's Meaningful Leisure Activities in the Digital Era -- 11. …”
Link to Metadata
Electronic eBook -
6048
NL ARMS Netherlands Annual Review of Military Studies 2020 Deterrence in the 21st Century-Insights from Theory and Practice /
Published 2021Table of Contents: “…Nuclear Deterrence in the Algorithmic Age: Game Theory Revisited -- Chapter 24. What's on the Human Mind? …”
Link to Metadata
Electronic eBook -
6049
ePortfolio Performance Support Systems Constructing, Presenting, and Assessing Portfolios
Published 2013Table of Contents: “…Balancing Learning and Assessment: A Study of Virginia Tech's Use of ePortfolios, Marc Zaldivar, Teggin Summers, and C. Edward Watson…”
Access online version
Electronic eBook -
6050
National Reflections on the Netherlands Didactics of Mathematics Teaching and Learning in the Context of Realistic Mathematics Education /
Published 2020Table of Contents: “…Integration of mathematics and didactics in primary school teacher education in the Netherlands; Wil Oonk, Ronald Keijzer, Marc van Zanten -- 9. Secondary school mathematics teacher education in the Netherlands; Joke Daemen, Ton Konings, Theo van den Bogaart -- 10. …”
Link to Metadata
Electronic eBook -
6051
Concepts, Frames and Cascades in Semantics, Cognition and Ontology
Published 2021Table of Contents: “…Extremes are typical - A game theoretical derivation (Robert van Rooij) -- Chapter 17. …”
Link to Metadata
Electronic eBook -
6052
Molecular Beams in Physics and Chemistry From Otto Stern's Pioneering Exploits to Present-Day Feats /
Published 2021Table of Contents: “…On Otto Stern, Max Born and other physicists in the 1920s (Arne Schirrmacher) -- Otto Sackur, Otto Stern, and the Beginning of the Quantum Theory of Gases (Massimiliano Badino) -- From Stern's beam experiments to modern biomolecular NMR spectroscopy (Christian Griesinger) -- Quantum or classical perception: The Imaging Theorem and the Ensemble Picture (John Briggs) -- Reduction of the atomic wave function in the Stern-Gerlach magnetic field (Michael Devereux) -- Precision experiments for the revised SI - and the future of time (Joachim Ullrich) -- Precision Physics in Penning Traps Using the Continuous Stern-Gerlach-Effect (Klaus Blaum) -- Frankfurt Physicists (Michael Eckert) -- Our Patrimony from Otto Stern and My Memories of Otto Frisch (Dan Kleppner) -- Ultracold Chemical reactions with molecules in slow motion (Kang-Kuen Ni) -- Choreographing Quantum Spin Dynamics with Light (Monika Schleier-Smith) -- Stern's relation to Gerlach (Horst Schmidt-Böcking) -- Manipulation and control of molecular beams (Gerard Meijer) -- Quantum effects in cold and controlled molecular dynamics (Christiane Koch) -- Otto Stern and Wave-Particle Duality (Peter Toennies) -- Macromolecular Matter Wave Interferometry and Talbot-Lau Deflectometry (Markus Arndt) -- Rotating rotationless: nonadiabatic alignment of the helium dimer and trimer (Maksim Kunitski) -- Grating Diffraction of Molecular Beams: Present Day Implementations of Otto Stern's Concept (Wieland Schöllkopf) -- Interaction effects in ultra cold atom systems (Dörte Blume) -- Laser cooling and magneto-optical trapping of molecules (Mike Tarbutt) -- Microdroplet Chemistry (Dick Zare) -- TBA (Manfred Faubel) -- From Liquid Rays to Gas Rays: The Non-Maxwellian Evaporation of Helium from Water Microjets (Gil Nathanson) -- Laser-induced rotation and alignment of molecules in helium nanodroplets (Henrik Stapelfeldt) -- Far-from-equilibrium dynamics of molecules in helium nanodroplets (Mikhail Lemeshko).…”
Link to Metadata
Electronic eBook -
6053
The New Common How the COVID-19 Pandemic is Transforming Society /
Published 2021Table of Contents: “…The Dawn of a New Common -- Covidspiracy: Old Wine in New Barrels? …”
Link to Metadata
Electronic eBook -
6054
Schools and Society During the COVID-19 Pandemic How Education Systems Changed and the Road Ahead /
Published 2024Table of Contents: “…What Japan's education has lost and gained after almost succeeding in preventing the spread of infection and guaranteeing academic achievement？…”
Link to Metadata
Electronic eBook -
6055
Ethics in Law Enforcement
Published 2015Table of Contents: “…Chapter 1: Ethical Behaviour -- 1.1 The Importance of Ethical Behaviour -- 1.2 Ethics and the Pursuit of a Law Enforcement Career -- 1.3 As Employees in Law Enforcement Agencies -- Chapter 2: Ethical Systems -- 2.1 Major Ethical Systems -- 2.2 Utilitarian Ethics -- 2.3 Deontology -- 2.4 Virtue Ethics -- 2.5 Ethics of Care -- 2.6 Egoism -- 2.7 Religion or Divine Command Theory -- 2.8 Natural Law -- 2.9 Social Contract Theory -- 2.10 Rawls' Theory of Justice -- 2.11 Moral Relativism -- Chapter 3: Ethical Dilemmas and the Process of Effective Resolution -- 3.1 Ethical Dilemmas -- 3.2 Values -- 3.3 Solving Ethical Dilemmas -- Chapter 4: Key Ethical Issues within Law Enforcement -- 4.1 Ethical Issues -- 4.2 The Ethics of Power and Authority -- 4.3 The Milgram Experiment -- 4.4 Person, Gender, and Cultural Differences in Conformity -- 4.5 Ethical Issues during an Investigation -- 4.6 Gratuities -- Chapter 5: Accountability and Investigation -- 5.1 Autonomy and Accountability -- 5.2 British Columbia's Police Act -- 5.3 The Royal Canadian Mounted Police Act -- 5.4 Investigation Models -- 5.5 Independent Investigations Office -- Chapter 6: Policing -- 6.1 Noble Cause Corruption -- 6.2 Policing Public Demonstrations and Crowd Control -- 6.3 Sex Offender Notification Laws -- 6.4 Ethics of Private Policing -- Chapter 7: Discretion, Supervision, and Leadership -- 7.1 The Ethics Surrounding Discretion -- 7.2 Discretion and Supervision -- 7.3 Selective Enforcement -- 7.4 Loyalty -- 7.5 Ethical Leadership -- 7.6 Transactional and Transformational Leadership -- Chapter 8: The Culture of Law Enforcement -- 8.1 Police Subculture -- 8.2 Socialization of Police -- 8.3 Skepticism and Cynicism -- 8.4 Moral Culpability versus Legal Culpability…”
Access online version
Electronic eBook -
6056
-
6057
-
6058
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...
Published 2021Table 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
Electronic eBook -
6059
Perspectives on Public Policy in Societal-Environmental Crises What the Future Needs from History /
Published 2022Table of Contents: “…What stories should historians be telling at the dawn of the Anthropocene? -- 3. The Anthropocene contract. …”
Link to Metadata
Electronic eBook -
6060
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...
Published 2023Table 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
Electronic eBook