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.

× 20
CRC stands for a Cyclic Redundancy Check, a method to verify the integrity of information, and detect errors in storage and communication.
× 2
Questions on crossing numbers of graphs. A crossing number of a graph is the lowest number of edge crossings of a plane drawing of the graph in question.
× 188
Questions about the construction and analysis of protocols and algorithms for secure computation and communication (including authentication, integrity, and privacy aspects).
× 6
a version of homotopy type theory in which univalence is not just an axiom but a theorem, hence, since this is constructive, has “computational content”. Cubical type theory mod…
× 62
For questions about the usage and manipulation of Directed Acyclic Graphs (DAG).
× 198
the analytic study of ways in which information is efficiently and effectively stored to and retrieved from computer systems.
× 126
Using the techniques of artificial intelligence and machine learning to extract patterns from large data sets and transforming those data into a useful, organized form for future processing.
× 44
Questions asking for real-life or benchmarking data sets.
× 1467
Questions about ways of storing data so that it can be used advantageously by algorithms.
× 361
A question in some formal system with a yes-or-no answer.
× 84
An overlapping feature of type theory and type systems.
× 3
× 28
to express the problem in some logical formalism.
× 12
× 22
Didactic tools and methods particularly suitable for Computer Science education
× 5
Questions that address the challenges of storing data in digital form such that they remain accessible in the future.