Year of publication
Type of media
Source
Subject
- ‹ All subjects
- Electrical engineering (4,985)
- Computer Science (4,076)
- Educational Science (1,144)
- Mathematics (742)
- Physics (125)
- Other subjects (35)
- Linguistics (23)
- Economics (23)
- Engineering (23)
- Mechanical engineering, energy technology (11)
- Traffic engineering (5)
- Architecture (4)
- Chemical and environmental engineering (2)
- Civil engineering (1)
- Mining (1)
- Material science (1)
- Medical technology (1)
Type of material
Synonyms were used for: Theory
Search without synonyms: keywords:(Theory of Computation)
Used synonyms:
- theorie
- theories
-
Digital Currencies as Types (Invited Talk)
Free accessDataCite | 2021|Keywords: Theory of computation → Linear logic, Theory of computation → Type theory, Theory of computation → Semantics and reasoning -
Authenticated Data Structures as Functors in Isabelle/HOL
Free accessDataCite | 2020|Keywords: Theory of computation → Cryptographic primitives, Theory of computation → Higher order logic, Theory of computation → Logic and verification -
Certifying the Weighted Path Order (Invited Talk)
Free accessDataCite | 2020|Keywords: Theory of computation → Equational logic and rewriting, Theory of computation → Logic and verification -
Closed-Loop Stability Analysis and Controller Design
Springer Verlag | 2021|Keywords: Theory of Computation -
Non-radiative Wireless Power Transmission: Theory and Applications
Springer Verlag | 2016|Keywords: Theory of Computation -
On Prover-Efficient Public-Coin Emulation of Interactive Proofs
Free accessDataCite | 2021|Keywords: Theory of computation → Interactive proof systems, Theory of computation → Computational complexity and cryptography -
Wireless sensor network for AI-based flood disaster detection
Springer Verlag | 2022|Keywords: Operations Research/Decision Theory, Theory of Computation -
Non-Separable Multi-Dimensional Network Flows for Visual Computing
Free accessDataCite | 2023|Keywords: Theory of computation, Theory and algorithms for application domains, CCS Concepts: Theory of computation -> Design and analysis of algorithms; Theory and algorithms for application domains, Design and analysis of algorithms -
Student-t Process Prior Variational Autoencoder for Anomaly Detection in Time Series
Springer Verlag | 2024|Keywords: Theory of Computation -
Interactive Wireless Charging for Energy Balance
Springer Verlag | 2016|Keywords: Theory of Computation -
A Taxonomy and Evaluation Framework for Memristive Logic
Springer Verlag | 2019|Keywords: Theory of Computation -
Memristor Cellular Automata and Memristor Discrete-Time Cellular Neural Networks
Springer Verlag | 2019|Keywords: Theory of Computation -
Three-Dimensional Crossbar Arrays of Self-rectifying Si/SiO2/Si Memristors
Springer Verlag | 2019|Keywords: Theory of Computation -
On the Termination of Flooding
Free accessDataCite | 2020|Keywords: Theory of computation → Distributed algorithms, Theory of computation → Graph algorithms analysis, Graph theory, Mathematics of computing → Graph algorithms
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.