@article{Ballier2024,
title = {Whisper for L2 speech scoring},
author = {Nicolas Ballier, Taylor Arnold , Adrien Méli , Tori Thurston , Jean-Baptiste Yunès },
editor = {Springer},
doi = {10.1007/s10772-024-10141-5},
year  = {2024},
date = {2024-11-01},
urldate = {2024-11-01},
journal = {Int J Speech Technol},
abstract = {In this paper, we examine whether confidence scores produced by the C++ re-implementation of Whisper (Radford et al., in: International conference on machine learning, 2023) can be used to score L2 learners of English and classify them. We test whether the language prediction and its probability can be used to classify French learners of English using a specifically collected dataset for read speech and a graded corpus, the ANGLISH corpus (Tortel and Hirst, in: Proceedings of speech prosody 2010, 2010. https://doi.org/10.21437/SpeechProsody.2010-49). We show that probability scores associated with the Whisper subtokens can be used to classify learners into levels using the knn algorithm. We show the limitations of the language detection probability beyond an initial threshold where the native language L1 of the learner can actually be predicted by the speaker. We have also used the ISLE corpus (Menzel et al., in: Proceedings of LREC 2000: Language resources and evaluation conference, European Language Resources Association, 2000) to test the prediction of the levels of Italian and German learners of English (Atwell et al., in: ICAME Jurnal, 27:5–18, 2003). We show how language detection for Whisper’s multilingual larger models can be used to detect less advanced learners’ first language but cannot be used for learner level classification with advanced learners. Using a greedy alignment algorithm, we also discuss the confidence score assigned to Whisper output subtokens and how this may be used for speaker scoring, prediction of learner levels, and learner feedback. We show that low confidence scores and alternative transcriptions can be used as potential cues for learner pronunciation errors.},
keywords = {publication},
pubstate = {published},
tppubtype = {article}
}
@conference{ballier:2024,
title = {Probing Whisper Predictions for French, English and Persian Transcriptions},
author = {N. Ballier and L. Burin and B. Namdarzadeh and S Ng and R. Wright and J.-B. Yunès},
editor = {7th International Conference on Natural Language and Speech Processing, October 19-20, 2024, Trento, Italy},
year  = {2024},
date = {2024-10-19},
urldate = {2024-10-19},
booktitle = {ACL Anthology},
keywords = {ML, NMT, publication, tal},
pubstate = {published},
tppubtype = {conference}
}
@book{Mantaci2024,
title = {Basics of Programming and Algorithms, Principles and Applications},
author = {Roberto Mantaci and Jean-Baptiste Yunès},
isbn = {978-3-031-59800-5},
year  = {2024},
date = {2024-07-01},
urldate = {2024-07-01},
publisher = {Birkhaüser Verlag},
series = {Compact Textbooks in Mathematics Serie},
abstract = {This textbook offers an introduction to topics in algorithms and programming with python. It is originally intended for mathematical students not sufficiently aware about these computer science fields seeking a deeper understanding. It addresses fundamental questions on how to analyze the performance of an algorithm and equips readers with the skills to implement them using python.

The textbook is organized in two parts. Part I introduces Python Programming offering a solid foundation to python essentials. Topics covered include first steps in python programming, programs, functions and recursion, data structures. Part II shifts focus to Algorithms and covers topics such as algorithm performance, recursion, the sorting problem, trees as data structures, etc.

This book has its origins from several different courses given in the context of thematic schools to diverse audiences in different countries over the years. These countries include Cambodia, Kenya, and Madagascar.},
keywords = {livre, programmation, publication},
pubstate = {published},
tppubtype = {book}
}
@conference{ballier:2023-xx,
title = {Translating Dislocations or Parentheticals: Investigating the Role of Prosodic Boundaries for Spoken Language Translation from French into English},
author = {Nicolas Ballier and Behnoosh Namdarzadeh and Maria Zimina and Jean-Baptiste Yunès},
year  = {2023},
date = {2023-12-01},
urldate = {2023-12-01},
booktitle = {6th International Conference on Natural Language and Speech Processing (ICNLSP 2023), Mourad Abbas, Abed Alhakim Freihat, Dec 2023, Trento (Italy), Italy},
abstract = {This paper examines some of the effects of prosodic boundaries on ASR outputs and Spoken Language Translations into English for two competing French structures ("c'est" dislocation vs. "c'est" parentheticals). One native speaker of French read 104 test sentences that were then submitted to two systems. We compared the outputs of two toolkits, SYSTRAN Pure Neural Server (SPNS9) (Crego et al., 2016) and Whisper. For SPNS9, we compared the translation of the text file used for the reading with the translation of the transcription generated through Vocapia ASR. We also tested the transcription engine for speech recognition uploading an MP3 file and used the same procedure for AI Whisper's Web-scale Supervised Pretraining for Speech Recognition system (Radford et al., 2022). We reported WER for the transcription tasks and the BLEU scores for the different models. We evidenced the variability of the punctuation in the ASR outputs and discussed it in relation to the duration of the utterance. We discussed the effects of the prosodic boundaries. We described the status of the boundary in the speech-to-text systems, discussing the consequence for the neural machine translation of the rendering of the prosodic boundary by a comma, a full stop, or any other punctuation symbol. We used the reference transcript of the reading phase to compute the edit distance between the reference transcript and the ASR output. We also used textometric analyses with iTrameur (Fleury and Zimina, 2014) for insights into the errors that can be attributed to ASR or to Neural Machine translation.},
keywords = {ML, NMT, publication, tal},
pubstate = {published},
tppubtype = {conference}
}
@proceedings{Lopez2023,
title = {The MAKE-NMTViz System Description for the WMT23 Literary Task},
author = {Fabien Lopez and Gabriela González and Damien Hansen and Mariam Nakhlé and Behnoosh Namdarzadeh and Nicolas Ballier and Marco Dinarelli and Emmanuelle Esperança-Rodier and Sui He and Sadaf Mohseni and Caroline Rossi and Didier Schwab and Jun Yang and Jean-Baptiste Yunès and Lichao Zhu
},
year  = {2023},
date = {2023-01-01},
urldate = {2023-01-01},
abstract = {This paper describes the MAKE-NMT-Viz's submission to the WMT 2023 Literary task. As a primary submission, we fine-tune the mBART50 model using Train, Valid1, and Test1 as part of the GuoFeng corpus (Wang et al., 2023b).We followed similar training parameters to (Lee et al., 2022) when fine-tuning mBART50. For our contrastive1 submission, we used a context-aware NMT system based on the concatenation method (Lupo et al., 2022). The training was performed in two steps: (i) a traditional sentence-level transformer (Vaswani et al., 2017) was trained for 10 epochs using GeneralData, Test2, and Valid2; (ii) second, we fine-tuned such Transformer using documentlevel data, with 3-sentence concatenation as context, for 4 epochs using Train, Test1, and Valid1 data. We then compared the three translation outputs from an interdisciplinary perspective, investigating some of the effects of sentence-vs. document-based training. Computer scientists, translators and corpus linguists discussed the remaining linguistic issues for this discourse-level literary translation.},
keywords = {ML, publication, tal},
pubstate = {published},
tppubtype = {proceedings}
}
@inproceedings{Ballier2023,
title = {Using Whisper LLM for Automatic Phonetic Diagnosis of L2 Speech, a Case Study with French Learners of English},
author = {Nicolas Ballier and Adrien Méli and Maelle Amand and Jean-Baptiste Yunès
},
editor = {Mourad Abbas and Abed Alhakim Freihat},
url = {https://dblp.org/rec/conf/icnlsp/BallierMAY23.bib},
year  = {2023},
date = {2023-01-01},
urldate = {2023-01-01},
booktitle = {Proceedings of the 6th International Conference on Natural Language and Speech Processing (ICNLSP 2023), Virtual Event, 16-17 December  2023},
journal = {Proceedings of the 6th International Conference on Natural Language                   and Speech Processing {(ICNLSP} 2023), Virtual Event, 16-17 December                   2023},
pages = {282--292},
publisher = {Association for Computational Linguistics},
keywords = {ML, publication, tal},
pubstate = {published},
tppubtype = {inproceedings}
}
@inproceedings{nokey,
title = {Investigating Techniques for a Deeper Understanding of Neural Machine Translation (NMT) Systems through Data Filtering and Fine-tuning Strategies},
author = {Lichao Zhu and Maria Zimina and Maud Bénard and Behnoosh Namdar and Nicolas Ballier and Guillaume Wisniewski and Jean-Baptiste Yunès},
editor = {Philipp Koehn and Barry Haddon and Tom Kocmi and Christof Monz},
url = {https://aclanthology.org/2023.wmt-1.28},
year  = {2023},
date = {2023-01-01},
urldate = {2023-01-01},
booktitle = {Proceedings of the Eighth Conference on Machine Translation, WMT 2023, Singapore, December 6-7, 2023},
pages = {275--281},
keywords = {ML, NMT, publication},
pubstate = {published},
tppubtype = {inproceedings}
}
@inproceedings{Namdarzadeh2022,
title = {Toward a Test Set of Dislocations in Persian for Neural Machine Translation},
author = {Behnoosh Namdarzadeh and Nicolas Ballier and, Guillaume Wisniewski and Lichao Zhu and Jean-Baptiste Yunès},
year  = {2022},
date = {2022-12-18},
urldate = {2022-12-18},
booktitle = {The Third International Workshop on NLP Solutions for Under Resourced Languages (NSURL 2022)},
abstract = {This paper describes a test set designed to analyse the translation of dislocations from Persian, to be used for testing neural machine translation models. We first tested the accuracy of the two Universal dependency treebanks for Persian to automatically detect dislocations. Then we parsed the available Persian treebanks on GREW (Bonfante et al., 2018) to build a specific test set containing examples of dislocations. With available aligned data on OPUS (Tiedemann, 2016), we trained a model to translate from Persian into English on openNMT (Klein et al., 2017). We report the results of our translation test set by several toolkits (Google Translate, MBART-50 (Tang et al., 2020), Microsoft Bing and our in-house translation model) for the translation into English. We discuss why dislocations in Persian provide an interesting testbed for neural machine translation.},
keywords = {ML, NMT, publication, tal},
pubstate = {published},
tppubtype = {inproceedings}
}
@inproceedings{namdarzadeh2023,
title = {Toward a Test Set of Dislocations in Persian for Neural Machine Translation},
author = {Behnoosh Namdarzadeh and Nicolas Ballier and Guillaume Wisniewski and Lichao Zhu and Jean-Baptiste Yunès},
url = {https://hal.science/hal-03912609/file/ACL_Farsi_Persian__NSURNLP.pdf
https://hal.science/hal-03912609},
year  = {2022},
date = {2022-12-02},
urldate = {2022-12-02},
booktitle = {The Third International Workshop on NLP Solutions for Under Resourced Languages (NSURL 2022)},
address = {Trente, Italy},
abstract = {This paper describes a test set designed to analyse the translation of dislocations from Persian, to be used for testing neural machine translation models. We first tested the accuracy of the two Universal dependency treebanks for Persian to automatically detect dislocations. Then we parsed the available Persian treebanks on GREW (Bonfante et al., 2018) to build a specific test set containing examples of dislocations. With available aligned data on OPUS (Tiedemann, 2016), we trained a model to translate from Persian into English on openNMT (Klein et al., 2017). We report the results of our translation test set by several toolkits (Google Translate, MBART-50 (Tang et al., 2020), Microsoft Bing and our in-house translation model) for the translation into English. We discuss why dislocations in Persian provide an interesting testbed for neural machine translation.},
keywords = {ML, NMT, tal},
pubstate = {published},
tppubtype = {inproceedings}
}
@inproceedings{Wisniewski2022,
title = {La robustesse de la traduction neuronale : les systèmes de traduction automatique neuronale à l'épreuve de la reproductibilité de l'expérience},
author = {Guillaume Wisniewski and Lichao Zhu and Jean-Baptiste Yunès and Nicolas Ballier},
url = {https://hal.science/hal-03912352/file/main.pdf},
year  = {2022},
date = {2022-11-01},
urldate = {2022-11-01},
booktitle = {Journée d'étude '"Robustesse des systèmes de TAL"},
address = {Paris, France},
keywords = {ML, NMT, publication, tal},
pubstate = {published},
tppubtype = {inproceedings}
}
@inproceedings{Ballier2022,
title = {The SPECTRANS System Description for the WMT22 Biomedical Task},
author = {Nicolas Ballier,
Jean-Baptiste Yunès,
Guillaume Wisniewski,
Lichao Zhu,
Maria Zimina-Poirot},
url = {https://aclanthology.org/2022.wmt-1.82
https://aclanthology.org/2022.wmt-1.82.pdf},
year  = {2022},
date = {2022-01-01},
urldate = {2022-01-01},
booktitle = {Proceedings of the Seventh Conference on Machine Translation, {WMT}
                  2022, Abu Dhabi, United Arab Emirates (Hybrid), December 7-8, 2022},
pages = {895--900},
publisher = {Association for Computational Linguistics},
abstract = {This paper describes the SPECTRANS submission for the WMT 2022 biomedical shared task. We present the results of our experiments using the training corpora and the JoeyNMT (Kreutzer et al., 2019) and SYSTRAN Pure Neural Server/ Advanced Model Studio toolkits for the language directions English to French and French to English. We compare the pre- dictions of the different toolkits. We also use JoeyNMT to fine-tune the model with a selection of texts from WMT, Khresmoi and UFAL data sets. We report our results and assess the respective merits of the different translated texts.},
keywords = {ML, NMT, publication, tal},
pubstate = {published},
tppubtype = {inproceedings}
}
@inproceedings{Ballier2021,
title = {The SPECTRANS System Description for the WMT21 Terminology Task},
author = {N. Ballier and D. Cho and B. Faye and Z-Y. Ke and H. Martikainen and M. Pecman M. and G. Wisniewski and J-B. Yunès and L. Zhu and M. Zimina-Poirot},
url = {http://www.statmt.org/wmt21/pdf/2021.wmt-1.80.pdf},
year  = {2021},
date = {2021-11-11},
urldate = {2021-11-11},
booktitle = {Proceedings of the Sixth Conference on Machine Translation (WMT)},
pages = {818-825},
organization = {Association for Computational Linguistics},
abstract = {This paper discusses the WMT 2021 terminology shared task from a "meta" perspective. We present the results of our experiments using the terminology dataset and the OpenNMT (Klein et al., 2017) and JoeyNMT (Kreutzer et al., 2019) toolkits for the language direction English to French. Our experiment 1 compares the predictions of the two toolkits. Experiment 2 uses OpenNMT to fine-tune the model. We report our results for the task with the evaluation script but mostly discuss the linguistic properties of the terminology dataset provided for the task. We provide evidence of the importance of text genres across scores, having replicated the evaluation scripts.},
keywords = {ML, NMT, publication},
pubstate = {published},
tppubtype = {inproceedings}
}
@misc{nokey,
title = {IREEL - IDEEL Initiation interdisciplinaire au DEEp Learning},
author = {Jean-Baptiste Yunès, UFR d'Informatique and
Nicolas Ballier, UFR d'Études Anglophones Paris Diderot. and
Guillaume Wisniewski (UFR de linguistique)},
editor = {Université de Paris ANR-18-IDEX-0001 (vague 2)},
url = {https://yunes.informatique.univ-paris-diderot.fr/accueil/enseignement/ireel-relia/ireel-ideel-2021-2022/},
year  = {2021},
date = {2021-09-01},
urldate = {2021-09-01},
keywords = {projet},
pubstate = {published},
tppubtype = {misc}
}
@phdthesis{Krasnowski2021,
title = {Joint source-cryptographic-channel coding for real-time secure voice communications on voice channels},
author = {Jury de thèse de Piotr Krasnowski (Directeur Bruno Martin)},
year  = {2021},
date = {2021-05-27},
school = {Université Côte-d'Azur},
keywords = {jury},
pubstate = {published},
tppubtype = {phdthesis}
}
@misc{paptan,
title = {PAPTAN},
author = {Financement : AAP Plateforme U-Paris},
url = {https://www.clillac-arp.univ-paris-diderot.fr/projets/paptan},
year  = {2021},
date = {2021-01-01},
urldate = {2021-01-01},
keywords = {projet},
pubstate = {published},
tppubtype = {misc}
}
@misc{nokey,
title = {ComplexNeuroviz},
editor = {Financement : DiiP},
url = {https://www.clillac-arp.univ-paris-diderot.fr/projets/complexneuroviz},
year  = {2021},
date = {2021-01-01},
urldate = {2021-01-01},
keywords = {projet},
pubstate = {published},
tppubtype = {misc}
}
@inproceedings{jadt2020,
title = {Approche textométrique des phases d'entraînement en traduction automatique neuronale (TAN) : étude de cas avec Europarl et OpenNMT},
author = {Maria Zimina and Nicolas Ballier and Jean-Baptiste Yunès},
url = {https://jadt2020.sciencesconf.org/},
year  = {2020},
date = {2020-06-16},
booktitle = {JADT 2020 15èmes Journées Internationales d'Analyse statistique des Données Textuelles, Toulouse, France, Jun. 16-19.},
school = {JADT 2020 15èmes Journées Internationales d'Analyse statistique des Données Textuelles, Toulouse, France, Jun. 16-19.},
howpublished = {Accepted},
keywords = {NMT, publication},
pubstate = {published},
tppubtype = {inproceedings}
}
@inproceedings{Yunès2020,
title = {RELIA, un projet interdisciplinaire d'initiation à la recherche par le TAL},
author = {Nicolas Ballier
Jean-Baptiste Yunès},
url = {https://jep-taln2020.loria.fr
https://yunes.informatique.univ-paris-diderot.fr/accueil/enseignement/ireel-relia
https://videos.univ-lorraine.fr/index.php?act=view&id=9739
},
year  = {2020},
date = {2020-06-08},
organization = {JEP - TALN - RECITAL},
howpublished = {online due to COVID pandemic},
keywords = {ML, publication, tal},
pubstate = {published},
tppubtype = {inproceedings}
}
@inproceedings{reprolang2020,
title = {The learnability of the annotated input in NMT (Replicating Vanmassenhove et al. 2018 with OpenNMT)},
author = {Nicolas Ballier and Nabil Amari and Laure Mérat and Jean-Baptiste Yunès},
editor = {European Language Resources Association},
url = {https://www.clarin.eu/event/2020/reprolang-2020},
year  = {2020},
date = {2020-05-01},
booktitle = {Proceedings of the 12th Language Resources and Evaluation Conference},
pages = {5631–5640},
school = {REPROLANG 2020 — LREC 2020, Marseille, France, May 13-15},
abstract = {In this paper, we reproduce some of the experiments related to neural network training for Machine Translation as reported in (Vanmassenhove and Way, 2018). They annotated a sample from the EN-FR and EN-DE Europarl aligned corpora with syntactic and semantic annotations to train neural networks with the Nematus Neural Machine Translation (NMT) toolkit. Following the original publication, we obtained lower BLEU scores than the authors of the original paper, but on a more limited set of annotations. In the second half of the paper, we try to analyze the difference in the results obtained and suggest some methods to improve the results. We discuss the Byte Pair Encoding (BPE) used in the pre-processing phase and suggest feature ablation in relation to the granularity of syntactic and semantic annotations. The learnability of the annotated input is discussed in relation to existing resources for the target languages. We also discuss the feature representation likely to have been adopted for combining features.},
howpublished = {Accepted},
keywords = {NMT, publication},
pubstate = {published},
tppubtype = {inproceedings}
}
@misc{spectrans2020,
title = {SPEcialised Corpora and neural TRANSlation (SPECTRANS).},
author = {Nicolas Ballier (Porteur), CLILLAC-ARP, Université de Paris.
Mohamed Nadif (Co-porteur), LIPADE, Université de Paris.
Jean-Baptiste Yunès (Co-Porteur), IRIF, Université de Paris.},
editor = {IDEX 2020.},
url = {https://u-paris.fr/appel-emergence-en-recherche-2020/
https://u-paris.fr/wp-content/uploads/2020/03/Lauréats_AAPEmergence2020.pdf},
year  = {2020},
date = {2020-01-01},
howpublished = {Appel à Projet « Émergence en Recherche » 2020 de l'Université de Paris.},
keywords = {projet},
pubstate = {published},
tppubtype = {misc}
}
@misc{NeuroViz2020,
title = {Explorations et visualisations d’un système de traduction neuronale (NeuroViz)},
author = {Guillaume Wisniewski,​ Université de Paris (Porteur), LLF.
Nicolas Ballier, Université de Paris, CLILLAC-ARP.
Jean-Baptiste Yunès, Université de Paris, IRIF.},
editor = {DIM RFSI},
year  = {2020},
date = {2020-01-01},
abstract = {Ce projet se propose de mieux comprendre le fonctionnement des réseaux de neurones appliqués à des données linguistiques, en particulier pour la traduction neuronale. Associant quatre laboratoires franciliens, deux en informatique et deux en linguistique, ce projet ne se cantonnera pas à une comparaison quantitative de systèmes de traduction (p.ex. par des scores BLEU) mais a pour objectif d'analyser de manière qualitative les effets de structures linguistiques et des représentations neuronales sur la qualité des traductions prédites.},
keywords = {projet},
pubstate = {published},
tppubtype = {misc}
}
@misc{nokey,
title = {SPECTRANS},
editor = {Financement : AAP IDEX Émergence},
url = {https://www.clillac-arp.univ-paris-diderot.fr/projets/spectrans},
year  = {2020},
date = {2020-01-01},
keywords = {projet},
pubstate = {published},
tppubtype = {misc}
}
@misc{nokey,
title = {Neuroviz},
editor = {Financement : Région (DIM RFSI 2020 - Réseau Francilien des Sciences Informatique)},
url = {https://github.com/neuroviz/},
year  = {2020},
date = {2020-01-01},
keywords = {projet},
pubstate = {published},
tppubtype = {misc}
}
@book{Blaess2019,
title = {Développement système sous Linux: Ordonnancement multitâche, gestion mémoire, communications, programmation réseau},
author = {Christophe Blaess},
url = {https://www.amazon.fr/Développement-système-sous-Linux-Ordonnancement/dp/221267760X/ref=dp_ob_title_bk},
isbn = {978-2212677607},
year  = {2019},
date = {2019-10-03},
keywords = {os},
pubstate = {published},
tppubtype = {book}
}
@book{Silberschatz2019,
title = {Operating System Concepts},
author = { Abraham Silberschatz and Peter B. Galvin and Greg Gagne},
editor = {Wiley},
url = {https://www.wiley.com/en-fr/Silberschatz's+Operating+System+Concepts,+10th+Edition,+Global+Edition-p-9781119454083},
doi = {978-1-119-45408-3},
year  = {2019},
date = {2019-07-01},
edition = {10},
keywords = {os},
pubstate = {published},
tppubtype = {book}
}
@misc{bande2019,
title = {Apprendre par la bande.},
author = {Olivier Martin (porteur), CERLIS, Campus Descartes
Jean-Baptiste Yunès, UFR d'Informatique Paris Diderot.},
editor = {Idex 2019.},
url = {https://u-paris.fr/appel-initiatives-interdisciplinaires/},
year  = {2019},
date = {2019-01-01},
abstract = {Appel à Projet « Émergence en Recherche - Initiatives Interdisciplinaires » 2019—2020 de l'Université de Paris.
Informatique/Sociologie.},
keywords = {projet},
pubstate = {published},
tppubtype = {misc}
}
@misc{relia2019,
title = {IREEL - RELIA : Recherche En Licence Informatique et études Anglophones},
author = {Jean-Baptiste Yunès, UFR d'Informatique
Nicolas Ballier, UFR d'Études Anglophones Paris Diderot.},
editor = {Université de Paris ANR-18-IDEX-0001},
url = {https://u-paris.fr/appel-ireel-initiation-a-la-recherche-en-licence/
https://github.com/nballier/RELIA
https://yunes.informatique.univ-paris-diderot.fr/accueil/enseignement/ireel-relia/},
year  = {2019},
date = {2019-01-01},
urldate = {2019-01-01},
keywords = {projet},
pubstate = {published},
tppubtype = {misc}
}
@inproceedings{maignan2018generalized,
title = {Generalized FSSP on Two Triangular Tilings},
author = {Luidnel Maignan and Jean-Baptiste Yunès},
url = {https://ieeexplore.ieee.org/document/8590867
https://is-candar.org/candar18/},
doi = {10.1109/CANDARW.2018.00013},
year  = {2018},
date = {2018-11-27},
booktitle = {2018 Sixth International Symposium on Computing and Networking Workshops (CANDARW), Hida Takayama, Japan, November 27-30, 2018},
pages = {27--31},
organization = {IEEE},
abstract = {Maignan and Yunes have already investigated solutions to the generalized firing squad synchronization problem for square tilings with both Moore and Von Neumann neighborhoods, and then shown that the same concepts could be used to handle hexagonal tilings. The communication grids for these cellular space are all very regular in a precise formal sense: they are Cayley graphs. In this paper we investigate the triangular tiling because it is very related to the hexagonal one but is not a Cayley graph. We also consider another tiling of triangles obtained by dividing every square of a square tiling into four triangles. We show that the same concepts still apply, therefore showing that the previous solutions can be extended to a broader class of spaces included in what we may call Cayley Graphs on Groupoïd.},
keywords = {CA, publication},
pubstate = {published},
tppubtype = {inproceedings}
}
@techreport{marquer2018proving,
title = {Proving Formally a Field-Based FSSP Solution},
author = {Yoann Marquer and Luidnel Maignan and Jean-Baptiste Yunès},
url = {https://hal.archives-ouvertes.fr/hal-01739317},
year  = {2018},
date = {2018-09-11},
abstract = {In the research domain of cellular automata algorithmics, the firing squad synchronization problem is a famous problem that has been solved in many ways. However, very few of these solutions have a detailed formal proof suitable for proof assistant and for human understanding. The reason is that the correctness of those solutions is more easily seen from a high level point of view and from the way the solution has been constructed than from the actual formal description of the constructed solution. The field-based approach consists in giving a formal description of a new high-level and modular description and the reduction process down to the final low-level solution. The decomposition in modules are natural from a design point of view and is a precise counterpart of the previous informal high-level description. This research report aims to present an understandable proof of correctness of the high-level field-based solution suitable for an implementation in Coq.},
keywords = {CA, publication},
pubstate = {published},
tppubtype = {techreport}
}
@phdthesis{besson,
title = {Discrétisation automatique de machines à signaux en automates cellulaires.},
author = {Jury de Thèse de Tom Besson (Directeur Jérôme Durand-Lose)},
year  = {2018},
date = {2018-04-10},
school = {LIFO, Université d'Orléans},
abstract = {Dans le contexte du calcul géométrique abstrait, les machines à signaux ont été développées comme le pendant continu des automates cellulaires capturant les notions de particules, de signaux et de collisions. Une question importante est la génération automatique d’un automate cellulaire reproduisant la dynamique d’une machine à signaux donnée. D’une part, il existe des conversions ad hoc. D’autre part, ce n’est pas toujours possible car certaines machines à signaux présentent des comportements « continus ». Par conséquent, la discrétisation automatique de telles structures est souvent complexe et pas toujours possible. Cette thèse propose trois manières différentes de discrétiser automatiquement les machines à signaux en automates cellulaires, avec ou sans approximation possible. La première s’intéresse à une sous-catégorie de machines à signaux, qui présente des propriétés permettant d’assurer une discrétisation automatique exacte pour toute machine de ce type. La deuxième est utilisable sur toutes les machines mais ne peut assurer ni l’exactitude ni la correction du résultat. La troisième s’appuie sur une nouvelle expression de la dynamique d’une machine à signaux pour proposer une discrétisation. Cette expression porte le nom de modularité et est décrite avant d’être utilisée pour discrétiser.},
keywords = {jury},
pubstate = {published},
tppubtype = {phdthesis}
}
@inproceedings{maignan2016synchronizing,
title = {Synchronizing the squad with (almost) arbitrary cut ratio},
author = {Luidnel Maignan and Jean-Baptiste Yunès},
url = {http://is-candar.org/afca16
},
doi = {10.1109/CANDAR.2016.0048},
year  = {2016},
date = {2016-11-22},
booktitle = {2016 Fourth International Symposium on Computing and Networking (CANDAR), Hiroshima, Japan, November 22-25, 2016},
pages = {229--235},
organization = {IEEE},
abstract = {In this paper, we design a solution to the generalized firing squad problem where the splittings can be chosen to happen at any ratio greater than two thirds. This is in the same spirit as the (non-generalized) solutions of Mazoyer except that we do not use signal speeds but the concept of fields to achieve this goal. Signals and speeds do appear visually as an effect of the spatio-temporal structure of the cellular automaton. However, not being setup by design allows the solution to automatically extends to more generalized settings. Moreover, the conceptual design of the solution is separated from the state space optimization that is only handle afterward. The finiteness of state space is also sketched.},
keywords = {CA, publication},
pubstate = {published},
tppubtype = {inproceedings}
}
@inproceedings{maignan2016field,
title = {A field based solution of Mazoyer’s FSSP schema},
author = {Luidnel Maignan and Jean-Baptiste Yunès},
editor = {Samira El Yacoubi and Jaroslaw Wąs and Stefania Bandini},
doi = {10.1007/978-3-319-44365-2_13},
isbn = {978-3-319-44365-2},
year  = {2016},
date = {2016-09-05},
booktitle = {International Conference on Cellular Automata,  ACRI 2016. Fez, Morocco, September 5-8, 2016},
pages = {134--143},
organization = {Springer, Cham},
abstract = {Continuing our line of work on field based cellular automata programming we, here, focus our attention on an implementation of Mazoyer’s schema for cellular synchronization problem. Due to its very special nature among the numerous solutions to the problem, we emphasize the power of cellular fields to construct cellular programs: clear semantic construction, modularity, automatic synthesis of finite state machines.},
keywords = {CA, publication},
pubstate = {published},
tppubtype = {inproceedings}
}
@article{racoceanu2016towards,
title = {Towards efficient collaborative digital pathology: a pioneer initiative of the FlexMIm project},
author = {Daniel Racoceanu and David Ameisen and A Veillard and Ben B Cheikh and E Attieh and P Brezillon and Jean-Baptiste Yunès and J-M Temerson and L Toubiana and V Verger and others},
doi = {10.17629/www.diagnosticpathology.eu-2016-8:199},
issn = {2364-4893},
year  = {2016},
date = {2016-06-08},
journal = {Diagnostic Pathology},
volume = {1},
number = {8},
keywords = {digital diagnostic, publication},
pubstate = {published},
tppubtype = {article}
}
@article{mantaci2016efficient,
title = {An efficient algorithm for generating symmetric ice piles},
author = {Roberto Mantaci and Paolo Massazza and Jean-Baptiste Yunès},
doi = {10.1016/j.tcs.2015.10.024},
year  = {2016},
date = {2016-05-16},
journal = {Theoretical Computer Science},
volume = {629},
pages = {96--115},
publisher = {Elsevier},
keywords = {dynamical systems, publication},
pubstate = {published},
tppubtype = {article}
}
@article{maignan2016finitization,
title = {Finitization of Infinite Field-based Multi-general FSSP Solution.},
author = {Luidnel Maignan and Jean-Baptiste Yunès},
url = {https://www.oldcitypublishing.com/journals/jca-home/jca-issue-contents/jca-volume-12-number-1-2-2016/jca-12-1-2-p-121-139/},
issn = {1557-5997},
year  = {2016},
date = {2016-01-01},
journal = {Journal of Cellular Automata},
volume = {12},
abstract = {In a previous work we presented a general schema to solve the 1D Generalized Firing Squad Synchronization Problem. We used a semantic approach and designed it in a modular way using the concept of fields (open CA). The proposed solution is not directly a finite cellular automaton because it needs unbounded integers in distance fields, and an unbounded stack of fields due to the recursive nature of the algorithm. In this paper, we extend the solution to tackle the multi-general problem and show that this approach does effectively leads to a finite cellular automaton. For this, we exhibit a projection function from infinite to finite states and write a program that generates the associated finite transition table. We finally sketch some theoretical arguments for the validity of the construction.},
keywords = {CA, publication},
pubstate = {published},
tppubtype = {article}
}
@book{Pearson2016,
title = {Computer Systems: A Programmer's Perspective, 3rd Edition},
editor = {Pearson},
url = {https://www.pearson.com/us/higher-education/product/Bryant-Computer-Systems-A-Programmer-s-Perspective-3rd-Edition/9780134092669.html},
isbn = {9780134092669},
year  = {2016},
date = {2016-01-01},
keywords = {os},
pubstate = {published},
tppubtype = {book}
}
@book{Tanenbaum2007b,
title = {Modern Operating Systems, 4th Edition},
author = {Andrew S. Tanenbaum and Herbert Bos},
editor = {Pearson},
url = {https://www.pearson.com/us/higher-education/program/Tanenbaum-Modern-Operating-Systems-4th-Edition/PGM80736.html},
isbn = {9780133592184},
year  = {2015},
date = {2015-01-01},
keywords = {os},
pubstate = {published},
tppubtype = {book}
}
@article{ameisen2014towards,
title = {Towards better digital pathology workflows: programming libraries for high-speed sharpness assessment of Whole Slide Images},
author = {David Ameisen and Christophe Deroulers and Valérie Perrier and Fatiha Bouhidel and Maxime Battistella and Luc Legrès and Anne Janin and Philippe Bertheau and Jean-Baptiste Yunès},
doi = {10.1186/1746-1596-9-S1-S3},
year  = {2014},
date = {2014-12-19},
booktitle = {Diagnostic pathology},
journal = {The Diagnostic Digital Pathology},
volume = {9},
number = {1},
pages = {S3},
organization = {BioMed Central},
abstract = {BACKGROUND:
Since microscopic slides can now be automatically digitized and integrated in the clinical workflow, quality assessment of Whole Slide Images (WSI) has become a crucial issue. We present a no-reference quality assessment method that has been thoroughly tested since 2010 and is under implementation in multiple sites, both public university-hospitals and private entities. It is part of the FlexMIm R&D project which aims to improve the global workflow of digital pathology. For these uses, we have developed two programming libraries, in Java and Python, which can be integrated in various types of WSI acquisition systems, viewers and image analysis tools.
METHODS:
Development and testing have been carried out on a MacBook Pro i7 and on a bi-Xeon 2.7GHz server. Libraries implementing the blur assessment method have been developed in Java, Python, PHP5 and MySQL5. For web applications, JavaScript, Ajax, JSON and Sockets were also used, as well as the Google Maps API. Aperio SVS files were converted into the Google Maps format using VIPS and Openslide libraries.
RESULTS:
We designed the Java library as a Service Provider Interface (SPI), extendable by third parties. Analysis is computed in real-time (3 billion pixels per minute). Tests were made on 5000 single images, 200 NDPI WSI, 100 Aperio SVS WSI converted to the Google Maps format.
CONCLUSIONS:
Applications based on our method and libraries can be used upstream, as calibration and quality control tool for the WSI acquisition systems, or as tools to reacquire tiles while the WSI is being scanned. They can also be used downstream to reacquire the complete slides that are below the quality threshold for surgical pathology analysis. WSI may also be displayed in a smarter way by sending and displaying the regions of highest quality before other regions. Such quality assessment scores could be integrated as WSI's metadata shared in clinical, research or teaching contexts, for a more efficient medical informatics workflow.},
howpublished = {Selected articles from the 12th European Congress on Digital Pathology.},
keywords = {digital diagnostic, publication},
pubstate = {published},
tppubtype = {article}
}
@incollection{formenti2014advances,
title = {Advances on random sequence generation by uniform cellular automata},
author = {Enrico Formenti and Katsunobu Imai and Bruno Martin and Jean-Baptiste Yunès},
editor = {C. Calude C. and R. Freivalds R. and I. Kazuo},
doi = {10.1007/978-3-319-13350-8_5},
isbn = {978-3-319-13350-8},
year  = {2014},
date = {2014-12-10},
booktitle = {Computing with New Resources. Lecture Notes in Computer Science.},
volume = {8808},
pages = {56--70},
publisher = {Springer, Cham},
abstract = {The study of cellular automata rules suitable for cryptographic applications is under consideration. On one hand, cellular automata can be used to generate pseudo-random sequences as well as for the design of S-boxes in symmetric cryptography. On the other hand, Boolean functions with good properties like resiliency and non-linearity are usually obtained either by exhaustive search or by the use of genetic algorithms. We propose here to use some recent research in the classification of Boolean functions and to link it with the study of cellular automata rules. As a consequence of our technique, this also provides a mean to get Boolean functions with good cryptographic properties.},
keywords = {boolean, CA, publication, random},
pubstate = {published},
tppubtype = {incollection}
}
@inproceedings{ictcs2014,
title = {An Efficient Algorithm for Generating Symmetric Ice Piles},
author = {Roberto Mantaci and Paolo Massazza and Jean-Baptiste Yunès},
editor = {Stefano Bistarelli and Andrea Formisano},
url = {http://www.dmi.unipg.it/ictcs2014/},
issn = {1613-0073},
year  = {2014},
date = {2014-09-17},
booktitle = {15th Italian Conference on Theoretical Computer Science, Perugia, Italy, September 17-19, 2014},
pages = {15--170},
keywords = {combinatorics, dynamical systems, publication},
pubstate = {published},
tppubtype = {inproceedings}
}
@book{rifflet2014fondements,
title = {Fondements de la Programmation Concepts et Techniques},
author = {Jean-Marie Rifflet and Jean-Baptiste Yunès},
url = {https://www.editions-ellipses.fr/accueil/8629-fondements-de-la-programmation-concepts-et-techniques-9782340000148.html#description-scroll-tricks},
isbn = {9782340000148},
year  = {2014},
date = {2014-08-26},
publisher = {Ellipses},
abstract = {Cet ouvrage, à l’usage de tout informaticien, du programmeur à l’ingénieur, a pour but de fixer plus profondément un certain nombre de concepts de programmation. Ce livre n’est pas un manuel de programmation au sens traditionnel. On n’y trouvera pas l’habituelle litanie des arcanes syntaxiques de tel ou tel langage, d’abord parce qu’il ne se focalise pas sur un langage en particulier et ensuite parce qu’il ne se préoccupe pas de ces questions largement traitées par ailleurs. Son but est de cerner au travers d’exemples très nombreux, plus de 120 programmes documentés et décortiqués, quelques concepts essentiels de la programmation :
– les notions de variables, pointeurs, références, tableaux et structures qui prennent des formes variées et s’utilisent différemment selon les langages
– le concept de fonctions, appels de fonctions, transmissions de paramètres et renvois de valeurs
– la structure de pile et ses usages
– la récursion, ses différentes formes, ses avantages et inconvénients.
L’approche proposée est volontairement pragmatique, presque aucun formalisme n’est utilisé. Il s’agit d’écrire des programmes dans divers langages couramment utilisés (principalement Java, C, C++ mais pas seulement) illustrant des concepts, de les traduire vers une machine virtuelle simple permettant de comprendre comment ces constructions s’incarnent en machine et donc quels sont leurs impacts sur l’exécution des programmes : performance ou fiabilité par exemple. Par conséquent, le lecteur, qu’il soit débutant ou confirmé, sera par la suite capable de faire des choix bien éclairés et de mieux conduire sa conception de programmes.
Les codes sources des programmes peuvent être retrouvés sur Internet à partir des pages des auteurs.},
keywords = {ci2, livre, programmation, publication},
pubstate = {published},
tppubtype = {book}
}
@inproceedings{maignan2014generalized,
title = {Generalized FSSP on hexagonal tiling: Towards arbitrary regular spaces},
author = {Luidnel Maignan and Jean-Baptiste Yunè}s},
editor = {Teijiro Isokawa and Katsunobu Imai and Nobuyuki Matsui and Ferdinand Peper and Hiroshi Umeo},
doi = {10.1007/978-3-319-18812-6_7},
isbn = {978-3-319-18812-6},
year  = {2014},
date = {2014-07-07},
booktitle = {Cellular Automata and Discrete Complex Systems. AUTOMATA 2014. Himeji, Japan, July 7th-9th, 2014. LNCS 8996. },
pages = {83--96},
organization = {Springer, Cham},
abstract = {Here we present a solution to the generalized firing squad synchronization problem that works on some class of shapes in the hexagonal tiling of the plane. The solution is obtained from a previous solution which works on grids with either a von Neumann or a Moore neighborhood. Analyzing the construction of this previous solution, we were able to exhibit a parameter that leads us to abstract the solution. First, and for an arbitrary considered neighborhood, we focus our attention on a class of shapes built from this neighborhood, and determine the corresponding parameter value for them. Second, we apply our previous solution with the determined parameter value for the hexagonal neighborhood and show that, indeed, all the considered shapes on the hexagonal tiling synchronizes.},
keywords = {CA, publication},
pubstate = {published},
tppubtype = {inproceedings}
}
@online{ameisen2014automatic,
title = {Automatic image quality assessment in digital pathology: from idea to implementation.},
author = {David Ameisen and Christophe Deroulers and Valérie Perrier and Fatiha Bouhidel and Maxime Battistella and Luc Legrès and Anne Janin and Philippe Bertheau and Jean-Baptiste Yunès},
url = {http://iwbbio.ugr.es/2014/papers/IWBBIO_2014_paper_18.pdf},
year  = {2014},
date = {2014-04-07},
urldate = {2014-04-07},
booktitle = {IWBBIO 2014 (2nd International Work-Conference on Bioinformatics and Biomedical Engineering)},
pages = {148--157},
abstract = {At this time, the quality of a Whole Slide Image (WSI) is verified a posteriori by a technician or a pathologist. A WSI of insufficient quality needs to be scanned again. High-speed automatic quality assessment tools for WSI will therefore greatly improve laboratory workflow. We describe here a fast method to automatically assess WSI quality, with different tests such as blurri- ness, contrast, brightness and color, and to accept or discard them at the time of acquisition in less than a minute. Parameters are weighted by pertinence and a global score indicates whether the WSI is suitable for further use. This fast method, designed at first to improve laboratory workflow, is currently being implemented in a network of 27 French hospitals and public-private health in- stitutions in the Paris region. It may also be used as a calibration and quality control tool for WSI acquisition systems.},
keywords = {digital diagnostic, publication},
pubstate = {published},
tppubtype = {online}
}
@inproceedings{maignan2014experimental,
title = {Experimental finitization of infinite field-based generalized FSSP solution},
author = {Luidnel Maignan and Jean-Baptiste Yunès},
editor = {Jarosalw Wąs and Giorgos Sirakoulis and Stefania Bandini},
doi = {10.1007/978-3-319-11520-7_15},
isbn = {978-3-319-11520-7},
year  = {2014},
date = {2014-01-01},
booktitle = {International Conference on Cellular Automata, ACRI 2014: Cellular Automata, LNCS.},
volume = {8751},
pages = {136--145},
organization = {Springer, Cham},
abstract = {In a previous work (see [3]) we presented a general scheme to solve the 1D Generalized Firing Squad Synchronization Problem. We designed it in a modular way using the concept of fields (open CA). The solution was not designed as a finite cellular automaton because we needed unbounded integers as states for distance fields, and the recursive nature of the algorithm leaded to a unbounded number of fields. In this paper, we show as claimed, that this approach does lead to a finite cellular automaton. We exhibit a transformation function from infinite to finite states and write a program that generates the associated finite transition table while checking its validity and the conservation of the input-output behavior of the original cellular automaton.},
keywords = {CA, publication},
pubstate = {published},
tppubtype = {inproceedings}
}
@inproceedings{maignan2013moore,
title = {Moore and von Neumann neighborhood n-dimensional generalized firing squad solutions using fields},
author = {Luidnel Maignan and Jean-Baptiste Yunès},
doi = {10.1109/CANDAR.2013.98},
year  = {2013},
date = {2013-12-04},
booktitle = {2013 First International Symposium on Computing and Networking, Matsuyama, Japan, 2013},
pages = {552--558},
organization = {IEEE},
abstract = {We present a solution to the Firing Squad Synchronization Problem that works both in Von Neumann and Moore neighborhood and whatever is the dimension of the space. That solution is based on fields that provide a clean modular decomposition of such cellular automata problem.},
keywords = {CA, publication},
pubstate = {published},
tppubtype = {inproceedings}
}
@phdthesis{senot,
title = {Modèle géométrique de calcul : fractales et barrières de complexité},
author = {Rapporteur et Jury de thèse de Maxime Senot (Directeur Jérôme Durand-Lose)},
url = {https://tel.archives-ouvertes.fr/file/index/docid/870600/filename/these.pdf},
year  = {2013},
date = {2013-10-07},
school = {LIFO, Université d'Orléans},
keywords = {CA, jury},
pubstate = {published},
tppubtype = {phdthesis}
}
@inproceedings{ameisen2013stack,
title = {Stack or trash? Quality assessment of virtual slides},
author = {David Ameisen and Christophe Deroulers and Valérie Perrier and Jean-Baptiste Yunès and Fatiha Bouhidel and Maxime Battistella and Luc Legrès and Anne Janin and Philippe Bertheau},
doi = {10.1186/1746-1596-8-S1-S23},
year  = {2013},
date = {2013-09-30},
booktitle = {Diagnostic Pathology: Proceedings of the 11th European Congress on Telepathology and 5th International Congress on Virtual Microscopy},
volume = {8},
number = {1},
pages = {S23},
organization = {BioMed Central},
abstract = {Since microscopic slides can now be automatically digitized and integrated in the clinical workflow, quality assessment of these Whole Slide Images (WSI) has become a crucial issue. At this time, the quality of a WSI is verified a posteriori by a technician or by a pathologist. There is however a significant amount of WSI that are too insufficient in quality (blurred, bad colors, poor contrast.) to be used for diagnoses. These slides have then to be scanned again with delay thus slowing down the diagnostic workflow.

To address this problem, we chose to design a method of quality assessment followed by reacquisition, as opposed to a process of enhancement or restoration [1, 2]. Such process indeed too frequently results in the degradation of image quality, a key factor in medical diagnosis.

The quality of a flat image can be defined by several quantifiable parameters such as color, brightness, and contrast. One of the most important parameters, yet difficult to assess, is the focus sharpness (i.e. the level of focus blur) [3]).

Quality assessment of WSI is much more complex than that of flat images because of their intrinsic structure made of multiple magnification levels (pyramidal structure) and resolutions above the gigapixel. One study [4] has shown the possibility of comparing the tiles’ contrast and entropy in two WSI obtained with two different scanners digitizing the same slide. Another work [5] assessed the focus sharpness of the tiles of a WSI with the generation of a focus assessment map of the WSI at a given magnification level. However, both these methods still require a human eye to assess if the WSI must be accepted or discarded after the scan.

We describe here a fast method to automatically assess quality and to accept or discard WSI at the time of acquisition.},
keywords = {digital diagnostic, publication},
pubstate = {published},
tppubtype = {inproceedings}
}
@book{Stevens2013,
title = {Advanced Programming in the UNIX Environment, 3rd edition},
author = {W Richard Stevens and Stephen A. Rago},
editor = {Pearson},
url = {https://www.pearson.com/store/p/advanced-programming-in-the-unix-environment/P100000162136/9780321637734},
isbn = {9780321637734},
year  = {2013},
date = {2013-05-14},
keywords = {os},
pubstate = {published},
tppubtype = {book}
}
@phdthesis{ameisene,
title = {Intégration des lames virtuelles dans le dossier patient électronique},
author = {David Ameisen},
url = {http://www.theses.fr/2013PA077010#},
year  = {2013},
date = {2013-03-29},
school = {LIAFA, Université Paris Diderot},
abstract = {Les avancées technologiques dans le domaine de l'informatique médicale ainsi que l'augmentation systématique du volume d'information produit engendrent des questions de changement d'échelle et d'interopérabilité des nouveaux matériels, en particulier en imagerie, avec les systèmes d'information de santé. Il en résulte actuellement un manque de diversité d'images numériques sur lesquelles baser un avis médical ou en demander un second, sur place ou à distance. Nous avons ainsi conçu, développé et mis en production une plateforme web de mise en commun d'images médicales en rendant interopérable les systèmes d'acquisition et de restitution d'images normalisés et non normalisés avec les serveurs hospitaliers hébergeant les données patient. Cette plateforme donne accès à plus de 50000 documents multimédia tels que des rapports contenant du texte et des images, des images usuelles ou encore des images composées de plusieurs milliards de pixels : les lames virtuelles. Au cours de la réalisation de ces travaux, nous avons entrepris de formaliser l'appréciation visuelle de la qualité d'une image numérique et d'une lame virtuelle en élaborant des algorithmes proches de l'appréciation visuelle et plus rapide que les existants pour détecter le degré de flou présent dans les images numériques. Nous avons ensuiti développé des outils d'estimation en temps quasi-réel du flou comme premier indicateur pour l'analyse générale de la qualité des lames virtuelles pour les usages cliniques, pédagogiques et en recherche. Deux demandes de brevets, dont une en PCT, ainsi qu'une publication résultent de ces travaux, avec en perspective de nombreuses applications en imagerie généraliste et médicale.},
keywords = {digital diagnostic, direction},
pubstate = {published},
tppubtype = {phdthesis}
}
@phdthesis{prieur,
title = {La conjuration des égos. Réseaux, algorithmes, identités},
author = {Rapporteur et membre du jury d'Habilitation à Diriger des Recherches de Christophe Prieur},
year  = {2012},
date = {2012-11-30},
school = {LIAFA, Université Paris Diderot},
keywords = {jury},
pubstate = {published},
tppubtype = {phdthesis}
}
@inproceedings{ameisen2012prendre,
title = {À prendre ou à laisser? Une évaluation automatique de la qualité des lames virtuelles en temps quasi-réel},
author = {David Ameisen and Christophe Deroulers and Valérie Perrier and Jean-Baptiste Yunès and F Bouhidel and M Battistella and L Legrès and Anne Janin and Philippe Bertheau},
year  = {2012},
date = {2012-11-01},
booktitle = {Annales de Pathologie},
volume = {32},
number = {5},
pages = {S151--S152},
organization = {Elsevier Masson},
abstract = {Discussion.–Notre prototype pourra notamment être amélioré en augmentant la vitesse d’analyse grâce à une architecture en grappe de serveurs (cluster). Un algorithme d’apprentissage permettrait par ailleurs d’affiner les seuils en fonction des colorations et du type de système d’acquisition.
Conclusion.–Notre méthode peut être utilisée en amont comme un outil de calibration ou d’assurance qualité pour les systèmes d’acquisition de LV ou comme outil en temps réel pour numériser à nouveau les tuiles lors de la numérisation. Elle peut également être utilisée en aval pour détecter les lames de qualité insuffisante et permettre leur renumérisation avant analyse par le pathologiste. Ces scores pourraient être intégrés, en tant qu’indicateurs de qualité, aux métadonnées des LV partagées dans les contextes de recherche, d’enseignement ou clinique.},
keywords = {digital diagnostic, publication},
pubstate = {published},
tppubtype = {inproceedings}
}
@inbook{mazoyer2012computations,
title = {Computations on cellular automata},
author = {Jacques Mazoyer and Jean-Baptiste Yunès},
editor = {Grzegorz Rozenberg},
isbn = {978-3-540-92911-6},
year  = {2012},
date = {2012-08-01},
booktitle = {Handbook of Natural Computing},
pages = {159--188},
publisher = {Springer Berlin Heidelberg},
keywords = {CA, publication},
pubstate = {published},
tppubtype = {inbook}
}
@inproceedings{recursb,
title = {Recursivity in Field-based Programming: the Firing Squad Example.},
author = {Luidnel Maignan and Jean-Baptiste Yunès},
editor = {Jean-Louis Giavitto and Jacob Beal and Stefan Dulman and Antoine Spicher},
url = {https://hal.archives-ouvertes.fr/hal-01161006/document},
year  = {2012},
date = {2012-06-04},
booktitle = {Workshop on Spatial Computing International Conference on Autonomous Agents and MultiAgent Systems, June 4—8, 2012, Valencia, Spain},
pages = {39--44},
abstract = {In cellular automata, the well-known firing squad synchronization problems have many solutions usually provided as explicit transition tables, and explained in terms of idealized continuous signals and their collision. However, very few proofs exist despite of the large amount of work on these problems. In this presentation, we take the spatial computing point of view and provide a field-based description of a solution. On the cellular automata part, this provide a understandable and formal construction of a very general solution from which a proof seems to be derivable almost directly. On the spatial computing part, this provides an example of recursive field functional, with a kind of tail-recursivity leading to a strictly finite system.},
keywords = {CA},
pubstate = {published},
tppubtype = {inproceedings}
}
@inproceedings{Maignan2012,
title = {Recursivity in Field-based Programming: the Firing Squad Example.},
author = {Luidnel Maignan and Jean-Baptiste Yunès},
url = {https://hal.science/hal-02420182},
year  = {2012},
date = {2012-06-01},
urldate = {2012-06-01},
booktitle = {Workshop on Spatial Computing International Conference on Autonomous Agents and MultiAgent Systems},
address = {Valencia, Spain},
keywords = {CA, publication},
pubstate = {published},
tppubtype = {inproceedings}
}
@inproceedings{maignan2012spatio,
title = {A spatio-temporal algorithmic point of view on firing squad synchronisation problem},
author = {Luidnel Maignan and Jean-Baptiste Yunès},
editor = {Georgios Sirakoulis and Stefania Bandini},
doi = {10.1007/978-3-642-33350-7_11},
isbn = {978-3-642-33350-7},
year  = {2012},
date = {2012-01-01},
booktitle = {International Conference on Cellular Automata,  Cellular Automata. ACRI 2012, Santorini Island, Greece. Lecture Notes in Computer Science, LNCS.},
volume = {7495},
pages = {101--110},
organization = {Springer, Berlin, Heidelberg},
abstract = {Firing Squad Synchronization Problems are well known to be solvable by voluminous transition tables describing signals traveling and colliding. In this paper, we show that it is possible to solve it by expressing directly the fact that we want a recursive division of the space into two parts of equal size, and a notification when no further division is possible. Using fields – objects associating a value to every point in space and time – as primitive objects, the solution is designed algorithmically by a semantically-intuitive decomposition of the global evolution into simpler evolutions.

The system we obtain has several interesting characteristics : it is understandable, time-optimal, tackles many initial configurations, and allows a new interpretation of the traditional signals and collisions point of view. We will quickly sketch how we can obtain a finite state automaton by reduction of the system using the Lipschitz-continuity of involved fields, and a kind of tail-recursivity property of the dependencies.},
keywords = {CA, publication},
pubstate = {published},
tppubtype = {inproceedings}
}
@article{yunes2012grids,
title = {Grids and universal computations on one-dimensional cellular automata},
author = {Jean-Baptiste Yunès},
editor = {Yasubumi Sakakibara and Yongli Mi and Svozil and Dennunzio and Enrico Formenti and Ferdinand Peper and Hiroshi Umeo},
doi = {10.1007/s11047-012-9312-2},
year  = {2012},
date = {2012-01-01},
journal = {Natural Computing},
volume = {11},
number = {2},
pages = {303--309},
publisher = {Springer},
abstract = {This article shows how universal computations can be achieved on one-dimensional cellular automata. We are interested in intrinsic universality: we want a CA in which any other CA can be represented and simulated with no intermediate coding relevant to another computation model. We first abstract the space-time diagram in favor of the dependency graph. Then we show how such a dependency graph (via treillis automata) can be realized by what is called a grid, leading to a simple uniform simulation. Finally, we exhibit a very simple universal brick that can be used in grids to obtain an intrinsic universal CA.},
keywords = {CA, publication},
pubstate = {published},
tppubtype = {article}
}
@inproceedings{formenti20111,
title = {On 1-resilient, radius 2 elementary CA rules},
author = {Enrico Formenti and Katsunobu Imai and Bruno Martin and Jean-Baptiste Yunes},
editor = {Nazim Fatès and Eric Goles and Alejandro Maass and Ivan Rapaport
},
url = {https://hal.inria.fr/hal-00654706/document},
year  = {2011},
date = {2011-11-21},
booktitle = {AUTOMATA 2011, 17th International Workshop on Cellular Automata and Discrete Complex Systems, Nancy, France.},
journal = {AUTOMATA 2011},
pages = {41--54},
abstract = {The study of cellular automata rules suitable for cryptographic applications is under consideration. Cellular automata can be used to generate pseudo-random sequences as well as for the design of S-boxes in symmetric cryptography. Boolean functions with good properties like resiliency and non-linearity are usually obtained either by exhaustive search or by the use of genetic algorithms. We propose here to use some recent research in the classification of Boolean functions and to link the study of cellular automata rules to the study of such Boolean functions. We illustrate our approach with 5-variable Boolean functions.},
keywords = {boolean, CA, publication, random},
pubstate = {published},
tppubtype = {inproceedings}
}
@inproceedings{formenti2011boolean,
title = {Cellular automata, Boolean functions, Pseudo-random generators, Symmetric cryptography.},
author = {Enrico Formenti and Katsunobu Imai and Bruno Martin and Jean-Baptiste Yunès},
editor = {Nazim Fatès and Eric Goles and Alejandro Maass and Ivan Rappaport},
year  = {2011},
date = {2011-11-21},
booktitle = {AUTOMATA 11, 17th International Workshop on Cellular Automata and Discrete Complex Systems, November 21—23, 2011, Santiago, Chile.},
keywords = {boolean, CA, publication, random},
pubstate = {published},
tppubtype = {inproceedings}
}
@inbook{yunes2011premier,
title = {Le premier programme informatique de von Neumann},
author = {Jean-Baptiste Yunès},
isbn = {978-1-57586-622-2},
year  = {2011},
date = {2011-01-01},
booktitle = {Éléments pour une histoire de l'informatique.
Traduction d'œuvres choisies de Donald E. Knuth.
Traduction dirigée par Patrick Cégielski.},
pages = {56--75},
publisher = {Société Mathématique de France-CSLI Publications, Stanford, California},
keywords = {programmation, publication},
pubstate = {published},
tppubtype = {inbook}
}
@phdthesis{terrier,
title = {Reconnaissance de langages par automates cellulaires},
author = {Jury de l'Habilitation à Diriger des Recherches de Véronique Terrier},
url = {https://tel.archives-ouvertes.fr/tel-01070916/document},
year  = {2011},
date = {2011-01-01},
school = {GREYC, Université de Caen},
keywords = {jury},
pubstate = {published},
tppubtype = {phdthesis}
}
@phdthesis{maignan2016fieldb,
title = {Algorithmique distribuée pour la programmation des milieux de calcul},
author = {Jury de Thèse de Luidnel Maignan (Directeur Frédéric Gruau)},
year  = {2010},
date = {2010-12-01},
school = {LRI, Université Paris 11},
keywords = {CA, jury},
pubstate = {published},
tppubtype = {phdthesis}
}
@inproceedings{yunes2010achieving,
title = {Achieving universal computations on one-dimensional cellular automata (invited conference)},
author = {Jean-Baptiste Yunès},
editor = {Hiroshi Umeo and Stefania Bandini},
doi = {10.1007/978-3-642-15979-4_74},
isbn = {978-3-642-15979-4},
year  = {2010},
date = {2010-09-21},
booktitle = {Cellular Automata. ACRI 2010. Ascoli Piceno, Italy, Septembre 21-24, 2010. Lecture Notes in Computer Science, LNCS},
volume = {6350},
pages = {660--669},
organization = {Springer, Berlin, Heidelberg},
abstract = {We show how natural universal computations can be achieved on one-dimensional cellular automata. That model of computation is obviously Turing complete but how can we effectively program any given computation is far less known. In this paper we are interested in intrinsic universality; we want a CA in which any other CA can be represented and simulated with no intermediate coding relevant to another computation model. The first step is to abstract from the space-time diagram in favor of a more essential dependency graph. Then such dependency graph can be projected on grids. This work shows that grids put forward causality in place of space-time contingencies.},
keywords = {CA, publication},
pubstate = {published},
tppubtype = {inproceedings}
}
@inproceedings{nomura2010note,
title = {A Note on Synchronization Steps in Firing Squad Synchronization Problem},
author = {Akira Nomura and Jean-Baptiste Yunès and Hiroshi Umeo},
doi = {10.1109/CSO.2010.124},
isbn = {978-1-4244-6812-6},
year  = {2010},
date = {2010-05-28},
booktitle = {2010 Third International Joint Conference on Computational Science and Optimization, Huangshan, China.},
volume = {1},
pages = {300--301},
organization = {IEEE},
abstract = {The firing squad synchronization problem on cellular automata has been studied extensively for more than forty years, and a rich variety of synchronization algorithms have been proposed. In this paper, we propose two synchronization algorithms and their implementations, each having O(n^2) and O(2^n) synchronization steps for n cells, respectively.},
keywords = {CA, publication},
pubstate = {published},
tppubtype = {inproceedings}
}
@inproceedings{umeo2009small,
title = {Small non optimum time firing squad synchronization protocols for one-dimensional rings},
author = {Hiroshi Umeo and Jean-Baptiste Yunès and Naoki Kamikawa and Juntarou Kurashiki},
year  = {2009},
date = {2009-10-18},
booktitle = {International Symposium on Nonlinear Theory and its Applications (NOLTA'09). Sapporo, Japan, October 18—21, 2009.},
volume = {9},
pages = {479--482},
abstract = {The synchronization in cellular automata has been known as a firing squad synchronization problem since its development, in which it was originally pro- posed by J. Myhill in Moore [1964] to synchronize all or some parts of self-reproducing cellular automata. The firing squad synchronization problem has been studied extensively for more than 40 years [1-22]. In the present article, we propose two six-state firing squad synchronization full protocols for rings, which are the smallest ones known at present for rings. In addition, we present a family of 4-state partial protocols that can synchronize any one-dimensional rings of length n = 2^k for any positive integer k. The number four is the smallest one in the class of synchronization protocols proposed so far. We also study state change complexities for those protocols.},
keywords = {CA, publication},
pubstate = {published},
tppubtype = {inproceedings}
}
@inproceedings{umeo2009simple,
title = {A simple optimum-time firing squad synchronization algorithm for two-dimensional rectangle arrays},
author = {Hiroshi Umeo and Jean-Baptiste Yunès and Takuya Yamawaki},
doi = {10.1109/CSSim.2009.58},
year  = {2009},
date = {2009-09-07},
booktitle = {2009 International Conference on Computational Intelligence, Modelling and Simulation, Brno, Czech Republic, September 7—9, 2009.},
pages = {120--125},
organization = {IEEE},
abstract = {The firing squad synchronization problem on cellular automata has been studied extensively for more than forty years, and a rich variety of synchronization algorithms have been proposed for not only one-dimensional arrays but two-dimensional arrays. In the present paper, we propose a new and simpler optimum-time synchronization algorithm that can synchronize any rectangle array of size m × n with a general at one corner in m + n + max(m, n)-3 steps. An implementation for the algorithm in terms of local transition rules is also given.},
keywords = {CA, publication},
pubstate = {published},
tppubtype = {inproceedings}
}
@incollection{umeo2010two,
title = {A Two-Dimensional Optimum-Time Firing Squad Synchronization Algorithm and Its Implementation},
author = {Hiroshi Umeo and Jean-Baptiste Yunès and Takuya Yamawaki},
editor = {Ferdinand Peper and Hiroshi Umeo and N. Matsui and Teijiro Isokawa},
doi = {10.1007/978-4-431-53868-4},
year  = {2009},
date = {2009-09-01},
booktitle = {IWNC'09 — International Workshop on Natural Computing, Himeji, Japan, September 23—25, 2009, Proceedings in Information and Communications Technology.},
volume = {2},
number = {3},
pages = {342--351},
publisher = {Springer, Tokyo},
abstract = {The firing squad synchronization problem on cellular automata has been studied extensively for more than forty years, and a rich variety of synchronization algorithms have been proposed for not only one-dimensional arrays but two-dimensional arrays. In the present paper, we propose a new and simpler optimum-time synchronization algorithm that can synchronize any rectangle array of size m ×n with a general at one corner in m + n + max (m, n) − 3 steps. An implementation for the algorithm in terms of local transition rules is also given.},
keywords = {CA, publication},
pubstate = {published},
tppubtype = {incollection}
}
@article{umeo2009family,
title = {A family of smallest symmetrical four-state firing squad synchronization protocols for ring arrays},
author = {Hiroshi Umeo and Naoki Kamikawa and Jean-Baptiste Yunès},
doi = {10.1142/S0129626409000237},
year  = {2009},
date = {2009-01-01},
journal = {Parallel Processing Letters},
volume = {19},
number = {02},
pages = {299--313},
publisher = {World Scientific},
abstract = {An existence or non-existence of five-state firing squad synchronization protocol has been a longstanding and famous open problem for a long time. In this paper, we answer partially to this problem by proposing a family of smallest four-state firing squad synchronization protocols that can synchronize any one-dimensional ring cellular arrays of length n = 2k for any positive integer k. The number four is the smallest one in the class of synchronization protocols proposed so far.},
keywords = {CA, publication},
pubstate = {published},
tppubtype = {article}
}
@article{yun2009known,
title = {Known CA synchronizers made insensitive to the initial state of the initiator},
author = {Jean-Baptiste Yunès},
editor = {Henryk Fuks and Anna T. Lawniczak},
url = {https://www.oldcitypublishing.com/journals/jca-home/jca-issue-contents/jca-volume-4-number-2-2009/jca-4-2-p-147-158/},
year  = {2009},
date = {2009-01-01},
booktitle = {Special Issue. Automata 2007. 13th International Workshop on Cellular Automata.},
journal = {Journal of Cellular Automata},
volume = {4},
number = {2},
pages = {147--158},
abstract = {We show that a lot of CA synchronizers can be made insensitive to the initial state of the initiator by adding a few new transitions which were previously undefined and no new state.},
keywords = {CA, publication},
pubstate = {published},
tppubtype = {article}
}
@inproceedings{umeo20084,
title = {About 4-states solutions to the firing squad synchronization problem},
author = {Hiroshi Umeo and Jean-Baptiste Yunès and Naoki Kamikawa},
editor = {Hiroshi Umeo and Shin Morishita and Katsuhiro Nishinari and Toshihiko Komatsuzaki and Stefania Bandini},
doi = {10.1007/978-3-540-79992-4_14},
isbn = {978-3-540-79992-4},
year  = {2008},
date = {2008-09-23},
booktitle = {Cellular Automata, 8th International Conference on Cellular Automata for Research and Industry, ACRI 2008, Yokohama, Japan, September 23—26, 2008. Proceedings. Lecture Notes on Computer Science, LNCS},
volume = {5191},
pages = {108--113},
organization = {Springer, Berlin, Heidelberg},
abstract = {We present some elements of a new family of time-optimal solutions to a less restrictive firing squad synchronization problem. These solutions are all built on top of some elementary algebraic cellular automata. Thus, this gives a very new insight on the problem and a more general way of computing on cellular automata.},
keywords = {CA, publication},
pubstate = {published},
tppubtype = {inproceedings}
}
@article{yunes20084,
title = {A 4-states algebraic solution to linear cellular automata synchronization},
author = {Jean-Baptiste Yunès},
doi = {10.1016/j.ipl.2008.01.009},
year  = {2008},
date = {2008-07-16},
journal = {Information Processing Letters},
volume = {107},
number = {2},
pages = {71--75},
publisher = {Elsevier},
abstract = {In this paper, we aim to present a completely new solution to the firing squad synchronization problem based on Wolfram's rule 60. This solution solves the problem on an infinite number of lines but not all possible lines. The two remarkable properties are that the state complexity of it is the lowest possible, say 4 states and 32 transitions (we prove that no line of length 
 can be synchronized with only 3 states) and that the algorithm is no more based on geometric constructions but relies on some algebraic properties of the transition function. The solution is almost in minimal time: up to one unit of time.},
keywords = {CA, publication},
pubstate = {published},
tppubtype = {article}
}
@article{umeo2008family,
title = {A family of smallest symmetrical four-state firing squad synchronization protocols for one-dimensional ring cellular automata},
author = {Hiroshi Umeo and Naoki Kamikawa and Jean-Baptiste Yunès},
editor = {Andrew Adamatsky and Ramon Alonso-Sanz and Anna Lawniczak and Genaro Juarez Martinez and Kenichi Morita and Thomas Worsch },
isbn = {978-1-905986-16-5},
year  = {2008},
date = {2008-06-12},
booktitle = {Proceedings of AUTOMATA 2008. 14th International Workshop on Cellular Automata, Bristol, United Kingdom, September 2008. Theory and Applications of Cellular Automata.},
pages = {174--185},
publisher = {Luniver Press},
abstract = {An existence or non-existence of five-state firing squad synchronization protocol has been a longstanding and famous open problem for a long time. In this paper, we answer partially to this problem by proposing a family of smallest four-state firing squad synchronization protocols that can synchronize any one-dimensional ring cellular arrays of length n = 2^k for any positive integer k. The number four is the smallest one in the class of synchronization protocols proposed so far.},
keywords = {CA, publication},
pubstate = {published},
tppubtype = {article}
}
@book{bfca08,
title = {BFCA 2008. Proceedings of BFCA’08, Fourth international workshop on Boolean Functions : Cryptography and Applications. May 19—21, 2008. IBM, Copenhagen, Denmark.},
editor = {Olga Masnyk Hansen and Jean Francis Michon and Pierre Valarcher and Jean-Baptiste Yunès},
url = {https://yunes.informatique.univ-paris-diderot.fr/raw/bfca/bfca08/},
year  = {2008},
date = {2008-05-21},
keywords = {boolean, combinatorics, cryptography, proceedings, publication},
pubstate = {published},
tppubtype = {book}
}
@inproceedings{yunes2008goto,
title = {Goto's construction and Pascal's triangle: new insights into cellular automata synchronization},
author = {Jean-Baptiste Yunès},
url = {https://yunes.informatique.univ-paris-diderot.fr/raw/publications/jac08/Jac.html},
isbn = {978-5-94057-377-7},
year  = {2008},
date = {2008-05-01},
booktitle = {Proceedings of the first symposium on cellular automata, "Journées Automates Cellulaires", JAC 2008, Uzès, France, 2008},
pages = {195--203},
organization = {Издательство МЦНМО},
keywords = {CA, publication},
pubstate = {published},
tppubtype = {inproceedings}
}
@article{yunes2008intrinsically,
title = {An intrinsically non minimal-time Minsky-like 6-states solution to the firing squad synchronization problem},
author = {Jean-Baptiste Yunès},
doi = {10.1051/ita:2007051},
year  = {2008},
date = {2008-01-18},
journal = {RAIRO - Theoretical Informatics and Applications},
volume = {42},
number = {1},
pages = {55--68},
publisher = {EDP Sciences},
abstract = {Here is presented a 6-states non minimal-time solution which is intrinsically Minsky-like and solves the three following problems: unrestricted version on a line, with one initiator at each end of a line and the problem on a ring. We also give a complete proof of correctness of our solution, which was never done in a publication for Minsky's solutions.},
keywords = {CA, publication},
pubstate = {published},
tppubtype = {article}
}
@phdthesis{yunes2007automates,
title = {Automates Cellulaires; Fonctions Booléennes. Mémoire d'Habilitation à Diriger des Recherches},
author = {Jean-Baptiste Yunès},
url = {https://yunes.informatique.univ-paris-diderot.fr/raw/publicationsHDR.pdf},
year  = {2007},
date = {2007-12-12},
school = {Université Paris Diderot},
keywords = {boolean, CA, cryptography, programmation, publication},
pubstate = {published},
tppubtype = {phdthesis}
}
@inproceedings{yunes2007simpleb,
title = {Simple new algorithm which solve the FSSP: a 4n-steps 7-states solution},
author = {Jean-Baptiste Yunès},
doi = {10.1007/978-3-540-74593-8_27},
isbn = {978-3-540-74593-8},
year  = {2007},
date = {2007-09-10},
booktitle = {International Conference on Machines, Computations, and Universality. MCU 2007: Machines, Computations, and Universality. Université d'Orléans, France, September 10—13, 2007.},
pages = {316--324},
publisher = {Springer, Berlin, Heidelberg.},
abstract = {We present a new family of solutions to the firing squad synchronization problem. All these solutions are built with a few finite number of signals, which lead to simple implementations with 7 or 8 internal states. Using one of these schemes we are able to built a 7-states   4𝑛+O(log𝑛) -steps solution to the firing squad synchronization problem. These solutions not only solves the unrestricted problem (initiator at one of the two ends), but also the problem with initiators at both ends and the problem on a ring.},
keywords = {CA, publication},
pubstate = {published},
tppubtype = {inproceedings}
}
@inproceedings{yunes2007new,
title = {New extensions to some firing squad synchronization solutions},
author = {Jean-Baptiste Yunès},
year  = {2007},
date = {2007-08-27},
booktitle = {AUTOMATA 2007. 13th International Workshop on Cellular Automata, Fields Institute, Toronto, Canada, August 27—29, 2007. IFIP TC1 WG 1.5.},
keywords = {CA, publication},
pubstate = {published},
tppubtype = {inproceedings}
}
@inproceedings{yunes2007revisiting,
title = {Revisiting existing solutions to the firing squad synchronization problem},
author = {Jean-Baptiste Yunès},
year  = {2007},
date = {2007-07-02},
booktitle = {WSDC'07, Workshop on Symbolic Dynamic and Coding. Institut Gaspard Monge, Marne-la-Vallée, France, July 2—4, 2007.},
keywords = {CA, publication},
pubstate = {published},
tppubtype = {inproceedings}
}
@book{bfca07,
title = {BFCA 07. Proceedings of BFCA'07, Third international workshop on Boolean Functions : Cryptography and Applications. May 2—3, 2007. LIAFA, Université Paris Diderot, France.},
editor = {Jean-Francis Michon and Pierre Valarcher and Jean-Baptiste Yunès},
url = {https://yunes.informatique.univ-paris-diderot.fr/raw/bfca/bfca07/},
year  = {2007},
date = {2007-05-03},
keywords = {boolean, combinatorics, cryptography, proceedings, publication, random},
pubstate = {published},
tppubtype = {book}
}
@article{jis,
title = {Mahler's expansion and boolean functions},
author = {Jean-Francis Michon and Pierre Valarcher and Jean-Baptiste Yunès},
url = {https://cs.uwaterloo.ca/journals/JIS/VOL10/Michon/michon66.html},
year  = {2007},
date = {2007-03-28},
journal = {Journal of Integer Sequence},
volume = {10},
abstract = {The substitution of X by X^2 in binomial polynomials generates sequences of integers by Mahler's expansion. We give some properties of these integers and a combinatorial interpretation with covers by projection. We also give applications to the classification of boolean functions. This sequence arose from our previous research on classification and complexity of Binary Decision Diagrams (BDD) associated with boolean functions.},
keywords = {boolean, combinatorics},
pubstate = {published},
tppubtype = {article}
}
@book{Tanenbaum2007,
title = {Operating Systems Design and Implementation, 3rd Edition},
author = {Andrew S Tanenbaum and Albert S Woodhull},
editor = {Pearson},
url = {https://www.pearson.com/us/higher-education/program/Tanenbaum-Operating-Systems-Design-and-Implementation-3rd-Edition/PGM228096.html},
isbn = {9780131429871},
year  = {2007},
date = {2007-01-01},
keywords = {os},
pubstate = {published},
tppubtype = {book}
}
@book{bfca06,
title = {BFCA 06. Proceedings of BFCA’06, Second international workshop on Boolean Functions : Cryptography and Applications. March 13—15, 2006. LIFAR, Université Rouen, France.},
editor = { Jean Francis Michon and Pierre Valarcher and Jean-Baptiste Yunès},
url = {https://yunes.informatique.univ-paris-diderot.fr/raw/bfca/bfca06/},
isbn = {978-2-87775-422-4},
year  = {2006},
date = {2006-03-13},
publisher = { Presses Universitaires de Rouen et du Havre},
keywords = {boolean, combinatorics, cryptography, proceedings, publication, random},
pubstate = {published},
tppubtype = {book}
}
@article{yunes2006fault,
title = {Fault Tolerant Solutions to the Firing Squad Synchronization Problem in Linear Cellular Automata.},
author = {Jean-Baptiste Yunès},
url = {https://www.oldcitypublishing.com/journals/jca-home/jca-issue-contents/jca-volume-1-number-3-2006/jca-1-3-p-253-268/},
year  = {2006},
date = {2006-01-01},
journal = {J. Cellular Automata},
volume = {1},
number = {3},
pages = {253--268},
abstract = {We consider some specific instances of the firing squad synchronization problem in which some cells are possibly defectives. As Umeo [16] showed, minimal-time solutions exist in the case there are locally more working cells than defective ones. This paper explains how to set up different schemes to obtain a linear-time synchronization on defective lines in the case there are locally more defective cells than working ones (but globally not too much many ones).},
keywords = {CA, publication},
pubstate = {published},
tppubtype = {article}
}
@article{michon2005maximal,
title = {On maximal QROBDD's of Boolean functions},
author = {Jean-Francis Michon and Jean-Baptiste Yunès and Pierre Valarcher},
doi = {10.1051/ita:2005036},
year  = {2005},
date = {2005-01-01},
journal = {RAIRO - Theoretical Informatics and Applications},
volume = {39},
number = {4},
pages = {677--686},
publisher = {EDP Sciences},
abstract = {We investigate the structure of “worst-case” quasi reduced ordered decision diagrams and Boolean functions whose truth tables are associated to: we suggest different ways to count and enumerate them. We, then, introduce a notion of complexity which leads to the concept of “hard” Boolean functions as functions whose QROBDD are “worst-case” ones. So we exhibit the relation between hard functions and the Storage Access function (also known as Multiplexer).},
keywords = {boolean, combinatorics, publication},
pubstate = {published},
tppubtype = {article}
}
@book{yunes2005bfca,
title = {BFCA 05. Proceedings of BFCA’05, First international workshop on Boolean Functions : Cryptography and Applications. March 7—8, 2005. LIFAR, Université Rouen, France.},
author = {Jean-Baptiste Yunès and Pierre Valarcher and Jean-Francis Michon},
url = {https://yunes.informatique.univ-paris-diderot.fr/raw/bfca/bfca05/},
isbn = {2-87775-403-0},
year  = {2005},
date = {2005-01-01},
publisher = {Presses Universitaires de Rouen et du Havre},
keywords = {boolean, combinatorics, cryptography, proceedings, publication, random},
pubstate = {published},
tppubtype = {book}
}
@phdthesis{poulot,
title = {Méthodes et outils pour la production de systèmes d'exploitation : application à ChorusOS},
author = {Jury de thèse de Benoît Poulot-Cazajous (Directeur Jean-Marie Rifflet)},
year  = {2005},
date = {2005-01-01},
school = {LIAFA, Université Paris Diderot},
keywords = {jury},
pubstate = {published},
tppubtype = {phdthesis}
}
@incollection{michon2004hfe,
title = {HFE and BDDs: A practical attempt at cryptanalysis},
author = {Jean-Francis Michon and Pierre Valarcher and Jean-Baptiste Yunès},
editor = {K.Q. Feng and H. Niederreiter and C.P. Xing},
doi = {10.1007/978-3-0348-7865-4_16},
isbn = {978-3-7643-2429-5},
year  = {2004},
date = {2004-01-01},
booktitle = {Proceedings of CCC'03, Coding, Cryptography and Combinatorics. Progress in Computer Science and Applied Logic.},
pages = {237--246},
publisher = {Birkhäuser, Basel},
abstract = {HFE (Hidden Field Equations) is a public key cryptosystem using univariate polynomials over finite fields. It was proposed by J. Patarin in 1996. Well chosen parameters during the construction produce a system of quadratic multivariate polynomials over   𝔽2   as the public key. An enclosed trapdoor is used to decrypt messages. We propose a ciphertext-only attack which mainly consists in satisfying a boolean formula. Our algorithm is based on BDDs (Binary Decision Diagrams), introduced by Bryant in 1986, which allow to represent and manipulate, possibly efficiently, boolean functions. This paper is devoted to some experimental results we obtained while trying to solve the Patarin’s challenge. This approach was not successful, nevertheless it provided some interesting information about the security of HFE cryptosystem.},
keywords = {boolean, combinatorics, cryptography, publication, random},
pubstate = {published},
tppubtype = {incollection}
}
@article{yunes2004sequence,
title = {A100344, Sequence of Enumeration of QROBDD},
author = {Jean-Baptiste Yunès and Jean-Francis Michon and Pierre Valarcher},
url = {http://oeis.org/A100344},
year  = {2004},
date = {2004-01-01},
journal = {The Online Encyclopedia of Integer Sequences},
abstract = {Gives the i-th coefficient M(k,i) of the decomposition of the polynomials B(k,X^2) in the basis of all B(i,X), where B(i,X) is the i-th binomial polynomial: B(i,X) = X(X-1)...(X-i+1)/i! for any i > 0 and B(0,X) = 1 by definition.},
keywords = {boolean, combinatorics, publication},
pubstate = {published},
tppubtype = {article}
}
@book{yunes2003unix,
title = {Unix: Programmation et Communication},
author = {Jean-Marie Rifflet and Jean-Baptiste Yunès},
url = {https://www.dunod.com/sciences-techniques/unix-programmation-et-communication},
isbn = {978-2100079667},
year  = {2003},
date = {2003-08-21},
publisher = {Dunod},
abstract = {Prise en main. Le système de gestion de fichiers. Les processus. Les principales commandes du système. Les langages de commande. L'édition de textes. Les interfaces graphiques. Le langage C. Les outils de développement. Généralités sur l'interface avec le système. Les entrées-sorties. Terminaux, groupes et sessions. La gestion des processus. La gestion des signaux. La communication par tubes. IPC System V et IPC Posix. Les threads. Unix et réseaux. RPC. Sockets.},
keywords = {livre, os, programmation, publication},
pubstate = {published},
tppubtype = {book}
}
@techreport{michonand,
title = {Attaque du système HFE par BDD},
author = {Jean-Francis Michon and Jean-Baptiste Yunes and Pierre Valarcher},
url = {https://yunes.informatique.univ-paris-diderot.fr/raw/publications/HFE.pdf},
year  = {2002},
date = {2002-01-01},
keywords = {boolean, combinatorics, cryptography, publication},
pubstate = {published},
tppubtype = {techreport}
}
@phdthesis{haddad,
title = {Propriétés structurelles de certaines fonctions Booléeennes},
author = {Jury de thèse de Yaël Haddad (Directeur Christian Choffrut)},
url = {https://www.theses.fr/2002PA077242},
year  = {2002},
date = {2002-01-01},
school = {LIAFA, Université Paris Diderot},
keywords = {CA, jury},
pubstate = {published},
tppubtype = {phdthesis}
}
@inproceedings{yunes1999implementation,
title = {An Implementation of a Fault Tolerant Scheme of the FSSP},
author = {Jean-Baptiste Yunès},
year  = {1999},
date = {1999-01-01},
booktitle = {Automata 1999, IFIP WG1.5 Meeting, École Normale Supérieure de Lyon, Lyon, France.},
keywords = {CA, publication},
pubstate = {published},
tppubtype = {inproceedings}
}
@book{emacs,
title = {Introduction à GNU Emacs},
author = {Debra Cameron and Bill Rosenblatt and Jean-Baptiste Yunès (traducteur)},
url = {https://www.eyrolles.com/Informatique/Livre/introduction-a-gnu-emacs-9782841770151/},
isbn = {2-84177-015-X},
year  = {1997},
date = {1997-01-01},
publisher = {O'Reilly},
keywords = {programmation, publication, traduction},
pubstate = {published},
tppubtype = {book}
}
@book{McKusick1996,
title = {The Design and Implementation of the 4.4 BSD Operating System},
author = {Marshall Kirk McKusick and Keith Bostic and Michael J. Karels and John S. Quarterman},
editor = {Addison-Wesley},
url = {https://www.amazon.fr/Design-Implementation-4-4-Operating-System/dp/0201549794},
isbn = {978-0201549799},
year  = {1996},
date = {1996-04-30},
keywords = {os},
pubstate = {published},
tppubtype = {book}
}
@book{internet,
title = {Systèmes d’information sur Internet: Installation et mise en oeuvre},
author = {Cricket Liu and Jerry Peek and Russ Jones and Bryan Buus and Adrian Nye and Gauthier Groult (traducteur) and Jean-Baptiste Yunès (traducteur)},
isbn = {2-84177-013-3},
year  = {1996},
date = {1996-01-01},
publisher = {O'Reilly},
keywords = {programmation, publication, traduction},
pubstate = {published},
tppubtype = {book}
}
@inproceedings{yunes1995solutions,
title = {Solutions Tolérantes aux pannes pour le problème de la synchronisation d'une ligne de fusiliers.},
author = {Jean-Baptiste Yunès},
url = {https://yunes.informatique.univ-paris-diderot.fr/raw/publications/roanne.pdf},
year  = {1995},
date = {1995-01-01},
booktitle = {ASMICS Workshop, Roanne, France.},
keywords = {CA, publication},
pubstate = {published},
tppubtype = {inproceedings}
}
@inproceedings{yunes1995fault,
title = {Fault tolerant solutions to the firing squad synchronization problem},
author = {Jean-Baptiste Yunès},
editor = {Jozef Gruska and Hiroshi Umeo and Roland Vollmar},
url = {https://yunes.informatique.univ-paris-diderot.fr/raw/publications/dagstuhl.pdf},
year  = {1995},
date = {1995-01-01},
booktitle = {Dagstuhl Seminar Report. Automata 1995, Schloss Dagstuhl 9510, Dagstuhl, Germany.},
pages = {28},
organization = {Dagstuhl},
keywords = {CA, publication},
pubstate = {published},
tppubtype = {inproceedings}
}
@book{mcu95,
title = {MCU 95. Proceedings of MCU/UMC'95.},
editor = { Maurice Margenstern and Jean-Baptiste Yunès},
year  = {1995},
date = {1995-01-01},
keywords = {CA, proceedings, publication},
pubstate = {published},
tppubtype = {book}
}
@article{yunes1994seven,
title = {Seven-state solutions to the firing squad synchronization problem},
author = {Jean-Baptiste Yunès},
doi = {10.1016/0304-3975(94)90045-0},
year  = {1994},
date = {1994-01-01},
journal = {Theoretical Computer Science},
volume = {127},
number = {2},
pages = {313--332},
publisher = {Elsevier},
abstract = {We show that seven states are enough to implement Minsky-like solutions to the Firing Squad Synchronization Problem in a linear network of n finite state cellular automata with null transmission delay.},
keywords = {CA, publication},
pubstate = {published},
tppubtype = {article}
}
@phdthesis{yunes1993synchronisation,
title = {Synchronisation et automates cellulaires: la ligne de fusiliers},
author = {Jean-Baptiste Yunès},
url = {https://tel.archives-ouvertes.fr/tel-00139049},
year  = {1993},
date = {1993-01-01},
pages = {1--116},
school = {Université Paris 7},
abstract = {CETTE THESE CONCERNE UN TYPE PARTICULIER DE PARALLELISME: LES AUTOMATES CELLULAIRES. L'AUTEUR ETUDIE LE PROBLEME DE LA SYNCHRONISATION D'UNE LIGNE DE FUSILIERS, ET NOTAMMENT, LE PROBLEME OUVERT CONCERNANT L'EXISTENCE OU NON D'UN AUTOMATE SYNCHRONISANT DONT L'ENSEMBLE DES ETATS NE CONTIENDRAIT QUE CINQ ELEMENTS. DEUX APPROCHES SONT DECRITES: 1) UNE PREMIERE (DESCENDANTE ET CONSTRUCTIVE) MONTRE COMMENT, APRES AVOIR CONSTRUIT UN AUTOMATE AVEC TREIZE ETATS, IL EST POSSIBLE DE DIMINUER LA CARDINALITE DE L'ENSEMBLE PAR DES CODAGES SUCCESSIFS. LE PROCEDE DE MINSKY (DIVIDE-AND-CONQUER) EST LA BASE DE CES SOLUTIONS; 2) UNE DEUXIEME (ASCENDANTE ET ANALYTIQUE) ETUDIE CERTAINS COMPORTEMENTS OBSERVES DANS QUELQUES AUTOMATES N'AYANT QU'UN NOMBRE TRES REDUIT D'ETATS. IL EST POSSIBLE DE CONSTRUIRE DES AUTOMATES A DEUX ETATS QUI PASSENT PAR TOUTES LES CONFIGURATIONS POSSIBLES. LEUR ETUDE EST RAMENEE A CELLE DES AUTOMATES CYLINDRIQUES, PERMETTANT DE METTRE EN AVANT DES LIENS NON TRIVIAUX AVEC LA THEORIE DES NOMBRES. IL EST MONTRE COMMENT QUELQUES CALCULS SIMULENT LE COMPORTEMENT D'AUTOMATES TREILLIS EN PAVANT LE DIAGRAMME ESPACE-TEMPS PAR DES LOSANGES.},
keywords = {CA, publication},
pubstate = {published},
tppubtype = {phdthesis}
}