Posts classified under: Séminaire Algo

Modern cell biology generates a treasure trove of experimental data, allowing us to measure many biochemical processes in individual cells with single-molecule resolution. However, applying this data to generate explainable predictions is often challenging due to the high number of entities, interactions, and environmental factors in question. Systems biology utilizes logic-based explainable models (e.g., Boolean … Continue reading Séminaire Algorithmique : « Data-driven design of logic-based models of biological processes », Samuel Pastva (Masaryk Univ. Brno, Tchéquie)

Les frameworks de preuves “Engager-et-prouver” sont une généralisation des protocoles à divulgation nulle de connaissances. Ils permettent, en plus de prouver la connaissance d’un élément secret à un tiers, de prouver certaines propriétés et relations. Par exemple, qu’un vecteur est de petite norme ou encore qu’il est solution d’une relation quadratique publique. Un de ces … Continue reading Séminaire Algorithmique : « Rejection-free framework of Zero-Knowledge Proof », Antoine Douteau (GREYC, Caen)

Résumé à venir.