Search Results - WQBA~
Suggested Topics within your search.
Suggested Topics within your search.
- Research & information: general 61
- Biology, life sciences 41
- Slovenia 35
- History of the Americas 21
- Humanities 21
- Technology: general issues 21
- Artificial intelligence 20
- Prehistoric archaeology 20
- Education 19
- Medicine 17
- History of engineering & technology 16
- Application software 14
- Computer and Information Systems Applications 14
- Computer networks 14
- Software Engineering 14
- Archaeology 13
- Literature: history & criticism 13
- Artificial Intelligence 12
- Business innovation 12
- Computer science 11
- Literary studies: general 11
- Neurosciences 11
- Computer Science 10
- Expert systems / knowledge-based systems 10
- Social & cultural anthropology, ethnography 10
- Software engineering 10
- Sustainability 10
- Biography & True Stories 9
- Computers, Special purpose 9
- Pharmacology 9
-
13821
-
13822
-
13823
-
13824
-
13825
-
13826
-
13827
-
13828
-
13829
-
13830
Around the initial and permanent teacher training
Published 2006Connect to this object online.
Book -
13831
Train the trainers. Reflections on teacher training
Published 2006Connect to this object online.
Book -
13832
-
13833
-
13834
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /
Published 2021Table of Contents: “…-- Checking Data-Race Freedom of GPU Kernels, Compositionally -- GenMC: A Model Checker for Weak Memory Models -- Hybrid and Cyber-Physical Systems -- Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming -- An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate Generation -- HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL -- Computing Bottom SCCs Symbolically Using Transition Guided Reduction -- Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems -- IMITATOR 3: Synthesis of timing parameters beyond decidability -- Formally Verified Switching Logic for Recoverability of Aircraft Controller -- SceneChecker: Boosting Scenario Verification using Symmetry Abstractions -- Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness -- Fast zone-based algorithms for reachability in pushdown timed automata -- Security -- Verified Cryptographic Code for Everybody -- Not All Bugs Are Created Equal, But Robust Reachability Can Tell The Difference -- A Temporal Logic for Asynchronous Hyperproperties -- Product Programs in the Wild: Retrofitting Program Verifiers to Check Information Flow Security -- Constraint-based Relational Verification -- Pre-Deployment Security Assessment for Cloud Services through Semantic Reasoning -- Synthesis -- Synthesis with Asymptotic Resource Bounds -- Program Sketching by Automatically Generating Mocks from Tests -- Counterexample-Guided Partial Bounding for Recursive Function Synthesis -- PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs -- Adapting Behaviors via Reactive Synthesis -- Causality-based Game Solving.…”
Link to Metadata
Electronic eBook -
13835
Chinese Rhetoric and Writing An Introduction for Language Teachers
Published 2012Table of Contents: “…Front Matter -- Introduction -- 1 Rhetoric in Ancient China -- 2 The Literary Background And Rhetorical Styles -- 3 The Rules of Writing in Medieval China and Europe -- 4 The Ba Gu Wen -- 5 Shuyuan and Chinese Writing Training and Practice -- 6 Principles of Sequencing and Rhetorical Organisation: Words, Sentences and Complex Clauses -- 7 Principles of Sequencing and Rhetorical Organisation: Discourse and Text -- 8 The End of Empire and External Influences -- 9 Party Politics, the Cultural Revolution and Charter 08 -- 10 A Review of Contemporary Chinese University Writing (Course) Books -- Conclusion -- Works Cited -- Notes…”
Access online version
Electronic eBook -
13836
Hujambo! A Standards-Based Approach to Introductory Kiswahili
Published 2022Table of Contents: “…Somo la kwanza -- Kwa uwanja wa ndege -- Kukutana na familia wenyeji -- Majirani -- Hamjambo wanafunzi? …”
Access online version
Electronic eBook -
13837
News Networks in Early Modern Europe
Published 2016“…5d4b42ba-e57a-4c96-9347-ebe32463673d…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
13838
De eerste moslimse vorstendommen op Java
Published 1974“…45783a99-1261-4882-ab70-1a4ba1d22820…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
13839
Conceptos clave de la gestión cultural Enfoques desde Latinoamérica Volumen I
Published 2018“…b1bea1c2-cc6a-4934-b727-ba9040daaeb3…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter