Skip to main content

Tags

A tag is a keyword or label that categorizes your question with other, similar questions. Using the right tags makes it easier for others to find and answer your question.

Theoretical questions about Artificial Intelligence
66 questions
practical questions about doing research in theoretical computer science
65 questions
Questions about deterministic finite automata
63 questions
Coq is an interactive theorem prover.
62 questions
Questions in database theory
61 questions
61 questions
Descriptive complexity classifies problems based on how hard it is to express the problem in some logical formalism.
58 questions
58 questions
57 questions
VC-dimension (after Vapnik and Chervonenkis) is a measure of the power of a set of shapes (ranges) to realize subsets of points. VC-dimension is a vital analysis tool in the fields of machine learning…
57 questions
Questions about analysis of proofs in theories
57 questions
Add X as a hypothesis, where X is not known to be either true or false.
56 questions
Concurrency is the study of systems that operate simultaneously. For example given a set of elevators and a pool of people who want to go to various floors. An example of a concurrent system would be …
56 questions
55 questions
Probabilistically checkable proofs
54 questions
The travelling salesman problem (TSP) is an NP-hard problem in combinatorial optimization studied in operations research and theoretical computer science. Given a list of cities and their pairwise dis…
54 questions
Formal methods are stringent mathematical techniques to model systems to verify their properties to guarantee reliability.
54 questions
Questions about set theory
50 questions
Theoretical questions in Neural and Evolutionary Computing
50 questions
A heuristic is a procedure that can apply generically to many problems (for example gradient descent, alternating optimization, simulated annealing) but will typically not have formal guarantees assoc…
50 questions
1 2 3
4
5
16