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.
CRC stands for a Cyclic Redundancy Check, a method to verify the integrity of information, and detect errors in storage and communication.
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.
Questions about the construction and analysis of protocols and algorithms for secure computation and communication (including authentication, integrity, and privacy aspects).
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…
For questions about the usage and manipulation of Directed Acyclic Graphs (DAG).
the analytic study of ways in which information is efficiently and effectively stored to and retrieved from computer systems.
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.
Questions about ways of storing data so that it can be used advantageously by algorithms.
A question in some formal system with a yes-or-no answer.
Didactic tools and methods particularly suitable for Computer Science education
Questions that address the challenges of storing data in digital form such that they remain accessible in the future.