completeness

There are 0 repository under completeness topic.

baro77 / ZKbasicsCS
Zero-Knowledge Proofs "for (not too much :wink: ) dummies"
argument completeness nizk proof proof-of-knowledge prover simulator soundness verifier zero-knowledge zkp fiat-shamir
119
ohsome-quality-api
GIScience / ohsome-quality-api
Data quality estimations for OpenStreetMap
data-quality openstreetmap reports indicators ohsome heigit osm-data openstreetmap-data osm accuracy completeness
Language:Python 33
weiquanmao / PCE
Accuracy and Completeness Estimate Tool for Point Cloud.
point-cloud accuracy completeness evaluation
Language:C++ 17
gitcordier / FunctionalAnalysis
Solutions to some exercises from Walter Rudin's Functional Analysis
functional-analysis walter-rudin tex xelatex topology convex convex-hull completeness distributions measures vector-spaces banach-space mathematics metric-spaces linear-functions hyperplan compactness number-theory exercises-solutions
Language:TeX 11
KiJeong-Lim / DschingisKhan
He Reiter, Ho Reiter, He Reiter, Immer weiter!
coq completeness propositional-logic soundness proof
Language:Coq 9
europ / VUTBR-FIT-TIN
VUTBR - FIT: TIN 2018/2019
vut vutbr fit tin computer-science formal-languages regular context-free recursive recursively-enumerable decidability reduction complexity finite-state-machine pushdown-automaton turing-machine finite-state-automaton completeness
Language:TeX 5
niconm89 / BUSCO2Tree
This pipeline helps to build a phylogenetic tree using the BUSCO results over a group of species/genomes/proteomes/transcriptomes.
bioinformatics busco genomics phylogenomics phylogenomics-pipeline python species-tree completeness
Language:Python 2
nlwmode / functional-completeness
functional completeness
completeness logic
Language:C++ 1
Kecar2 / Examen_Big_Data_Analisis_Clustering_Tweets
Big_Data_Analisis_Clustering_Tweets
numpy completeness f1-score homogeneity kmeans latent-dirichlet-allocation lsi nmf-decomposition silhouette-score spacy
Language:Jupyter Notebook 0
kevinmveen / fupcompleteness
A function to easily calculate follow-up completeness in observational studies and trials
completeness follow-up
Language:R 0
nitrece / algorithm-design
An Algorithm is a sequence of steps to solve a problem.
semester course algorithm design complexity np completeness greedy method divide conquer approrimation randomized amortized analysis
VincenzoArceri / clam
CLAM static analyzer for μDyn
abstract-interpretation static-analysis string-analysis abstract-domain completeness
Language:Java