Suggested Topics within your search.
Suggested Topics within your search.
- linguistics 317
- Grammar, syntax & morphology 209
- Historical & comparative linguistics 63
- Language 58
- Semantics & pragmatics 40
- Language teaching & learning (other than ELT) 39
- Language: reference & general 38
- Semantics, discourse analysis, etc 28
- Press & journalism 26
- Translation & interpretation 26
- Phonetics, phonology 20
- Computational linguistics 19
- Biography: general 16
- Literature & literary studies 16
- Sociolinguistics 16
- Communication studies 15
- Philosophy of language 14
- Literature: history & criticism 13
- Psycholinguistics 13
- Lexicography 11
- Architecture 10
- Educational strategies & policy 10
- Humanities 10
- Language and languages 10
- Mathematics & science 10
- Literary studies: classical, early & medieval 9
- Psychology 9
- Regional studies 9
- Computing & information technology 8
- Dialect, slang & jargon 8
-
601
-
602
Persuasive Language in Cicero A close reading and commentary
Published 2013DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
603
-
604
The size of things I Structure building (Volume 12)
Published 2021DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
605
-
606
Current Issues in Linguistic Theory
Published 1977DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
607
Syntaktischer Atlas der deutschen Schweiz (SADS) - Band 1 Einleitung und Kommentare
Published 2022DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
608
Syntaktischer Atlas der deutschen Schweiz (SADS) - Band 2 Karten
Published 2022DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
609
-
610
Functional Structure(s), Form and Interpretation
Published 2003OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
611
-
612
-
613
A Grammar of the Kabardian Language
Published 1992OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
614
-
615
-
616
Errors in paraphrasing and strategies in overcoming them / Yoke Len Loh
Published 2013Link Metadata
Book -
617
-
618
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I /
Published 2019Table of Contents: “…Automata and Timed Systems -- Symbolic Register Automata -- Abstraction Refinement Algorithms for Timed Automata -- Fast Algorithms for Handling Diagonal Constraints in Timed Automata -- Safety and co-safety comparator automata for discounted-sum inclusion -- Clock Bound Repair for Timed Systems -- Verifying Asynchronous Interactions via Communicating Session Automata -- Security and Hyperproperties -- Verifying Hyperliveness -- Quantitative Mitigation of Timing Side Channels -- Property Directed Self Composition -- Security-Aware Synthesis Using Delayed-Action Games -- Automated Hypersafety Verification -- Automated Synthesis of Secure Platform Mappings -- Synthesis -- Synthesizing Approximate Implementations for Unrealizable Specifications -- Quantified Invariants via Syntax-Guided Synthesis -- Efficient Synthesis with Probabilistic Constraints -- Membership-based Synthesis of Linear Hybrid Automata -- Overfitting in Synthesis: Theory and Practice -- Proving Unrealizability for Syntax-Guided Synthesis -- Model Checking -- BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings -- When Human Intuition Fails: Using Formal Methods to Find an Error in the "Proof" of a Multi-Agent Protocol -- Extending NUXMV with Timed Transition Systems and Timed Temporal Properties -- Cerberus-BMC: a Principled Reference Semantics and Exploration Tool for Concurrent and Sequential C -- Cyber-physical Systems and Machine Learning -- Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification -- StreamLAB: Stream-based Monitoring of Cyber-Physical Systems -- VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems -- The Marabou Framework for Verification and Analysis of Deep Neural Networks -- Probabilistic Systems, Runtime Techniques -- Probabilistic Bisimulation for Parameterized Systems -- Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks -- PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games -- Symbolic Monitoring against Specifications Parametric in Time and Data -- STAMINA: STochastic Approximate Model-checker for INfinite-state Analysis -- Dynamical, Hybrid, and Reactive Systems -- Local and Compositional Reasoning For Optimized Reactive Systems -- Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach -- Flexible Computational Pipelines for Robust Abstraction-based Control Synthesis -- Temporal Stream Logic: Synthesis beyond the Bools -- Run-Time Optimization for Learned Controllers through Quantitative Games -- Taming Delays in Dynamical Systems: Unbounded Verification of Delay Differential Equations.…”
Link to Metadata
Electronic eBook -
619
-
620