Search Results - Koerd~
Suggested Topics within your search.
Suggested Topics within your search.
- linguistics 87
- Research & information: general 83
- History of engineering & technology 74
- Technology: general issues 67
- Education 66
- History 65
- Politics & government 57
- Humanities 53
- Medicine 53
- Biology, life sciences 42
- Language teaching & learning (other than ELT) 41
- Biography & True Stories 34
- Boarding schools -- Juvenile fiction 34
- Language: reference & general 34
- Asian history 27
- Press & journalism 26
- International relations 25
- European history 23
- Literature & literary studies 23
- Regional studies 22
- Society & culture: general 22
- Psychology 21
- Corporate governance 20
- Language 20
- Rhetoric 20
- Economics 19
- Philosophy 19
- Social sciences 19
- Sociology 19
- Artificial intelligence 18
-
10121
-
10122
-
10123
-
10124
-
10125
-
10126
-
10127
-
10128
-
10129
-
10130
-
10131
Writing Unleashed Content and Structure
Published 2020Table of Contents: “…THE STARTING POINT -- CONTENT AND STRUCTURE -- STRATEGIES AND MODES -- GENRES -- THE WRITING PROCESS -- RESEARCH UNIT -- NERD UNIT…”
Access online version
Electronic eBook -
10132
Essential Speech and Language Technology for Dutch Results by the STEVIN-programme /
Published 2013Table of Contents: “…J.Odijk -- 13.The Construction of a 500-million-word Reference Corpus of Contemporary Written Dutch. …”
Link to Metadata
Electronic eBook -
10133
Promoting Social Dialogue in European Organizations Human Resources Management and Constructive Conflict Management /
Published 2015Table of Contents: “…Chapter 1: Employee Representatives in European Organizations; Martin Euwema, Ana García, Lourdes Munduate, Patricia Elgoibar and Erica Pender -- Chapter 2: Belgium: Management Perceptions of Social Dialogue at the Company Level in Belgium; Valeria Pulignano and Nadja Doerflinger -- Chapter 3: Denmark: Employee Representatives in Denmark. …”
Link to Metadata
Electronic eBook -
10134
Naming the Unnameable An Approach to Poetry for New Generations
Published 2018Table of Contents: “…Reviewer's Notes -- Reviewer's Notes -- Preface for Instructors -- Introduction: Our Natural Right to Play -- Chapter One: Getting Started: The Nine Muses -- Chapter Two: Welcome, Reader: Reading Poetry -- Chapter Three: Images -- Chapter Four: Voice -- Chapter Five: Architecture -- Chapter Six: Acoustics -- Chapter Seven: Experimenting with Forms -- Chapter Eight: Revision -- Chapter Nine: Publication -- Chapter Ten: Reading Your Poems to an Audience -- Key Terms -- Concrete Word List -- Abstract Word List -- Recommended Accompanying Resources -- Works Cited…”
Access online version
Electronic eBook -
10135
-
10136
Sanctorius Sanctorius and the Origins of Health Measurement
Published 2023Table of Contents: “…Sanctorius Sanctorius-Between Koper and Venice -- Chapter 2. Sanctorius's Galenism -- Chapter 3. …”
Link to Metadata
Electronic eBook -
10137
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: “…Tool Demos -- EVA: a Tool for the Compositional Verification of AUTOSAR Models -- WASIM: A Word-level Abstract Symbolic Simulation Framework for Hardware Formal Verification -- Multiparty Session Typing in Java, Deductively -- PyLTA: A Verification Tool for Parameterized Distributed Algorithms -- FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format -- Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit -- Combinatorial Optimization/Theorem Proving -- New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization -- Verified reductions for optimization -- Specifying and Verifying Higher-order Rust Iterators -- Extending a High-Performance Prover to Higher-Order Logic -- Tools (Regular Papers) -- The WhyRel Prototype for Relational Verification of Pointer Programs -- Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Converter -- CoPTIC: Constraint Programming Translated Into C -- Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability -- Synthesis -- Computing Adequately Permissive Assumptions for Synthesis -- Verification-guided Programmatic Controller Synthesis -- Taming Large Bounds in Synthesis from Bounded-Liveness Specifications -- Lockstep Composition for Unbalanced Loops -- Synthesis of Distributed Agreement-Based Systems with Effciently Decidable Verification -- LTL Reactive Synthesis with a Few Hints -- Timed Automata Verification and Synthesis via Finite Automata Learning -- Graphs/Probabilistic Systems -- A Truly Symbolic Linear-Time Algorithm for SCC Decomposition -- Transforming quantified Boolean formulas using biclique covers -- Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration -- Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants -- Runtime Monitoring/Program Analysis -- Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote -- Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis -- Explainable Online Monitoring of Metric Temporal Logic -- 12th Competition on Software Verification - SV-COMP 2023 -- Competition on Software Verification and Witness Validation: SV-COMP 2023 -- Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation (Competition Contribution) -- 2LS: Arrays and Loop Unwinding (Competition Contribution) -- Bubaak: Runtime Monitoring of Program Verifiers (Competition Contribution) -- EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs (Competition Contribution) -- Goblint: Autotuning Thread-Modular Abstract Interpretation (Competition Contribution) -- Java Ranger: Supporting String and Array Operations (Competition Contribution) -- Korn-Software Verification with Horn Clauses (Competition Contribution) -- Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution) -- PIChecker: A POR and Interpolation based Verifierfor Concurrent Programs (Competition Contribution) -- Ultimate Automizer and the CommuHash Normal Form (Competition Contribution) -- Ultimate Taipan and Race Detection in Ultimate (Competition Contribution) -- VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution) -- VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution). .…”
Link to Metadata
Electronic eBook -
10138
The World of the Seafarer Qualitative Accounts of Working in the Global Shipping Industry /
Published 2021Link to Metadata
Electronic eBook -
10139
Improving Oncology Worldwide Education, Clinical Research and Global Cancer Care /
Published 2022Table of Contents: “…Part 1: Improving Education -- Blended-learning for oncologists and their colleagues -- Establishing a continuing education program based on the ESMO/ASCO recommendations for a global curriculum in Egypt -- Launching the first board-certification program in radiation oncology in Iraq - obstacles and outcomes -- Improving the WHO Classification of Tumours books by an evidence-based approach - a new online/blended learning training program -- Part 2: Improving Clinical Research -- Getting started in research - What registries can do for you -- Asking existing data the right questions - data mining as a research option in low- and middle-income countries -- Evidence-based treatment decisions - Systematic reviews and meta-analaysis in GI oncology -- Establishing and running a research laboratory in Iraq in real life -- Challenges in scientific communications of a pharmaceutical company -- Molecular and cellular analyses of breast cancers in real life -- The use of information technology to advance patient care - Creating, providing and maintaining online resources -- Organization of clinical trials at the Blokhin cancer center in Moscow -- Challenges in establishing the Center for Clinical Trials at Ulm University -- Part 3: Improving Patient Care.…”
Link to Metadata
Electronic eBook -
10140
Migration, Education and Employment Pathways to Successful Integration /
Published 2024Link to Metadata
Electronic eBook