Search Results - "semantics"
Suggested Topics within your search.
Suggested Topics within your search.
- linguistics 281
- Semantics, discourse analysis, etc 166
- Grammar, syntax & morphology 84
- Semantics & pragmatics 81
- Artificial intelligence 67
- Computer science 55
- Language 51
- Historical & comparative linguistics 48
- Language: reference & general 47
- History of engineering & technology 46
- Communication studies 43
- Language teaching & learning (other than ELT) 38
- Technology: general issues 38
- Sociolinguistics 34
- Literature & literary studies 33
- Literature: history & criticism 32
- Software Engineering 31
- Research & information: general 30
- Philosophy of language 29
- Computational linguistics 27
- Computer networking & communications 27
- Artificial Intelligence 26
- Press & journalism 26
- Data mining 23
- Philosophy 23
- Translation & interpretation 23
- Machine learning 22
- Psychology 22
- Application software 19
- Computer and Information Systems Applications 19
-
1621
» Ruine d'estat « Sicherheit in den Debatten der französischen Religionskriege 1557-1589
Published 2020DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
1622
A grammar of Moloko
Published 2017DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
1623
-
1624
-
1625
-
1626
-
1627
-
1628
-
1629
-
1630
-
1631
-
1632
A grammar of Moloko
Published 2017OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
1633
-
1634
Nominal anchoring Specificity, definiteness and article systems across languages
Published 2020OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
1635
-
1636
Towards Interoperable Research Infrastructures for Environmental and Earth Sciences A Reference Model Guided Approach for Common Challenges /
Published 2020Table of Contents: “…Supporting cross-domain system-level environmental and earth science -- ICT infrastructure for environmental and earth sciences -- Common challenges and requirements -- ENVRI reference model -- Reference model guided engineering -- Semantic and knowledge engineering using ENVRI RM -- Data curation and preservation -- Data cataloguing -- Data identification and citation -- Data processing -- Virtual infrastructure optimization -- Data provenance -- Metadata, semantic linking -- Authentication, Authorization, and Accounting -- Virtual research environment -- Case study: e.g., data subscriptions using elastic Cloud service -- Case study: e.g., D4Science: a VRE solution for RI -- Case study: LifeWatch -- Sustainability -- Future challenges.…”
Link to Metadata
Electronic eBook -
1637
Dependable Embedded Systems
Published 2021Table of Contents: “…Introduction -- Design of efficient, dependable SoCs based on cross-layer-reliability approach with emphasis on wireless communication as application and DRAM memories -- CRAU: Compositional System-Level Reliability Analysis in the Presence of Uncertainties -- Semantics-aware Soft Error Handling for Embedded Systems using Compiler-OS Interaction -- ARES: Self-Adaptive Coarse-Grained Reconfigurable Architectures as Reliability Enhancers in Embedded Systems -- Cross-Layer Techniques for Dependable Software Execution on Embedded Systems -- Ambrosia: Cross-layer Modeling and Mitigation of Aging Effects in Embedded Systems -- Cross-Layer Dependability for Embedded Hardware/Software Systems -- Fault-Tolerant Computing with Heterogeneous Hardware/Software Hardening Modes -- Robust Computing for Machine Learning-Based Systems -- Hardening embedded system software -- LIFT: Lifting Device-Level Characteristics for Error Resilient System Level Design: A Crosslayer Approach -- VirTherm-3D: Communication Virtualization Enabling System Management for Dependable 3D MPSoCs -- OTERA: Online Test Strategies for Reliable Reconfigurable Architectures -- Variability-Aware Software: Recent Results and Contributions -- EM Lifetime Constrained Optimization for Multi-Segment Power Grid Networks -- Lightweight Software-Assisted Memory Error Correction -- Reliability-Driven Resource Management for Multi-Core Systems-on-Chip -- Monitor Circuits for Device-Circuit Interaction -- PERCIES: Providing Efficient Reliability in Critical Embedded Systems.…”
Link to Metadata
Electronic eBook -
1638
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 -
1639
-
1640