Suggested Topics within your search.
Suggested Topics within your search.
- linguistics 306
- Grammar, syntax & morphology 209
- Historical & comparative linguistics 75
- Humanities 50
- Language 48
- Language and languages 48
- Semantics & pragmatics 41
- Semantics, discourse analysis, etc 29
- Language teaching & learning (other than ELT) 28
- Translation & interpretation 28
- Usage & grammar guides 25
- Computational linguistics 21
- Slovenian 20
- Sociolinguistics 20
- Literature & literary studies 18
- Communication studies 17
- English language -- Grammar 16
- Grammar & vocabulary 16
- Psycholinguistics 16
- Rhetoric 16
- Philosophy of language 15
- Lexicography 14
- Literature: history & criticism 14
- Language: history & general works 13
- Education 12
- Educational strategies & policy 12
- Language: reference & general 12
- Academic achievement 11
- Dictionaries 11
- Literary studies: classical, early & medieval 10
-
1401
-
1402
-
1403
-
1404
-
1405
-
1406
-
1407
-
1408
-
1409
-
1410
-
1411
-
1412
-
1413
-
1414
-
1415
-
1416
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: “…Game Theory -- A Game for Linear-time - Branching-time Spectroscopy -- On Satisficing in Quantitative Games -- Quasipolynomial Computation of Nested Fixpoints -- SMT Verification -- A Flexible Proof Format for SAT Solver-Elaborator Communication -- Generating Extended Resolution Proofs with a BDD-Based SAT Solver -- Bounded Model Checking for Hyperproperties -- Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays -- SAT Solving with GPU Accelerated Inprocessing -- FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions -- Probabilities -- Finding Provably Optimal Markov Chains -- Inductive Synthesis for Probabilistic Programs Reaches New Horizons -- Analysis of Markov Jump Processes under Terminal Constraints -- Multi-objective Optimization of Long-run Average and Total Rewards -- Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes -- Probabilistic and Systematic Coverage of Consecutive Test-Method Pairs for Detecting Order-DependentFlaky Tests -- Timed Systems -- Timed Automata Relaxation for Reachability -- Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata -- Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring -- Neural Networks -- Synthesizing Context-free Grammars from Recurrent Neural Networks -- Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models -- Improving Neural Network Verification through Spurious Region Guided Refinement -- Analysis of Network Communication Resilient Capacity-Aware Routing -- Network Traffic Classification by Program Synthesis. .…”
Link to Metadata
Electronic eBook -
1417
-
1418
-
1419
-
1420