Calendrier de Évènements
L lun
M mar
M mer
J jeu
V ven
S sam
D dim
0 évènement,
1 évènement,
Séminaire Algorithmique : « Data-driven design of logic-based models of biological processes », Samuel Pastva (Masaryk Univ. Brno, Tchéquie)
Séminaire Algorithmique : « Data-driven design of logic-based models of biological processes », Samuel Pastva (Masaryk Univ. Brno, Tchéquie)
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)
0 évènement,
1 évènement,
Séminaire Image : Comment faciliter l’interaction avec de grandes quantités de données? par Gary Perelman
Séminaire Image : Comment faciliter l’interaction avec de grandes quantités de données? par Gary Perelman
Nous aurons le plaisir d'écouter Gary Perelman, MCF CDD au GREYC. Il donnera un séminaire IMAGE le jeudi 29 janvier 2026 à 14h en salle de séminaire F-200. Titre : "Comment faciliter l'interaction avec de grandes quantités de données?" Résumé : L’interaction avec de grandes quantités de données est aujourd’hui omniprésente dans de nombreux domaines, … Continue reading Séminaire Image : Comment faciliter l’interaction avec de grandes quantités de données? par Gary Perelman
0 évènement,
0 évènement,
0 évènement,
0 évènement,
0 évènement,
0 évènement,
0 évènement,
0 évènement,
0 évènement,
0 évènement,
0 évènement,
1 évènement,
Séminaire Algorithmique : « Rejection-free framework of Zero-Knowledge Proof », Antoine Douteau (GREYC, Caen)
Séminaire Algorithmique : « Rejection-free framework of Zero-Knowledge Proof », Antoine Douteau (GREYC, Caen)
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)