Fran├žais Anglais
Accueil Annuaire Plan du site
Accueil > Evenements > Séminaires
Séminaire d'équipe(s) Graphs, ALgorithms and Combinatorics
A concurrent lock-free algorithm for computing a finite semigroup
James Mitchell

12 January 2018, 14:30
Salle/Bat : 445/PCRI-N
Contact :

Activités de recherche : Combinatorics

Résumé :
In this talk I will present a concurrent lock-free version of the Froidure-Pin Algorithm for computing a finite semigroup. This algorithm computes a subsemigroup S generated by some given elements of a finite semigroup of a certain type, such as transformations, partial permutations, square matrices over a semiring, bipartitions, and partitioned binary relations. Similar to the original Froidure-Pin Algorithm, this algorithm produces the left and right Cayley graphs of S, and a confluent terminating presentation defining S. This algorithm is implemented in the C++ library libsemigroups: https://james-d-mitchell.github.io/libsemigroups/

Pour en savoir plus :
Séminaires
Refining Transitive and Pseudo-Transitive Relation
Web data management
Monday 24 January 2022 - 13:00
Salle : 455 - PCRI-N
Shuai Wang .............................................

Discovering Causal Rules in Knowledge Graphs using
Integration of Data and Knowledge
Monday 10 January 2022 - 15:00
Salle : 455 - PCRI-N
Lucas Simonne .............................................

Meta-Learning for Few-Shot Link Prediction in Know
Integration of Data and Knowledge
Monday 13 December 2021 - 13:00
Salle : 455 - PCRI-N
Taha Halal .............................................

Knowledge Graph Refinement based on Triplet BERT-N
Web data management
Monday 29 November 2021 - 13:00
Salle : 455 - PCRI-N
Armita Khajeh Nassiri .............................................

A Hyper-graph Approach for Computing EL+-Ontology
Automated Reasoning
Monday 15 November 2021 - 13:00
Salle : 445 - PCRI-N
Hui Yang .............................................