Deletion log

Below is a list of the most recent deletions.

• 19:08, 7 April 2023 Bot talk contribs deleted page Publications/guillaume.22.dl4nlp (content was: "{{Publication | published = true | date = 2022-01-12 | authors = Pierre Guillaume, Corentin Duchene, Réda Dehak | title = Hate Speech and Toxic Comment Detection using Transformers | booktitle = Workshop EGC 2022 DL for NLP | abstract = Hate speech and toxic comment detection on social media has proven to be an essential issue for content moderation. This paper displays a comparison betw...", and the only contributor was "Bot" (talk))
• 15:33, 16 December 2022 Bot talk contribs deleted page Publications/boutry.22.jmiv (content was: "{{Publication | published = true | date = 2021-11-09 | authors = Nicolas Boutry, Rocio Gonzalez-Diaz, Laurent Najman, Thierry Géraud | title = Continuous Well-Composedness implies Digital Well-Composedness in n-D | journal = Journal of Mathematical Imaging and Vision | volume = 64 | number = 2 | pages = 131 to 150 | lrdeprojects = Olena | abstract = In this paper, we prove that when a <m...", and the only contributor was "Bot" (talk))
• 12:53, 15 December 2022 Bot talk contribs deleted page Publications/kheireddine.22.apsec (content was: "{{Publication | published = true | date = 2022-12-09 | authors = Anissa Kheireddine, Étienne Renault, Souheib Baarrir | title = Tuning SAT Solvers for LTL Model Checking | booktitle = Proceedings of the 29th Asia-Pacific Software Engineering Conference (APSEC'22) | editors = ??? | series = ??? | pages = ??? | volume = ??? | publisher = ??? | abstract = Bounded model checking (BMC) aims...", and the only contributor was "Bot" (talk))
• 10:31, 15 December 2022 Bot talk contribs deleted page Publications/kheireddine.22.constraints (content was: "{{Publication | published = true | date = 2022-12-09 | authors = Anissa Kheireddine, Étienne Renault, Souheib Baarrir | title = Towards Better Heuristics for Solving Bounded Model Checking Problems | journal = Constraints | editors = Mark Wallace | series = Leibniz International Proceedings in Informatics (LIPIcs) | pages = ??? | volume = ??? | publisher = Schloss Dagstuhl – Leibniz-Ze...", and the only contributor was "Bot" (talk))
• 23:23, 12 December 2022 Bot talk contribs deleted page Publications/saouli.22.vmcai (content was: "{{Publication | published = true | date = 2022-12-08 | authors = S Saouli, S Baarir, C Dutheillet, J Devriendt | title = CosySEL: Improving SAT Solving Using Local Symmetries | booktitle = 24th International Conference on Verification, Model Checking, and Abstract Interpretation | address = Boston, USA | lrdenewsdate = 2022-12-08 | lrdeprojects = AA | abstract = Many satisfiability proble...", and the only contributor was "Bot" (talk))
• 23:23, 12 December 2022 Bot talk contribs deleted page Publications/dziadek.22.fm (content was: "{{Publication | published = true | date = 2022-12-08 | authors = Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber-Caissier | title = Energy Problems in Finite and Timed Automata with Büchi Conditions | series = Lecture Notes in Computer Science | publisher = Springer | booktitle = FM | lrdeprojects = AA, Spot | abstract = We show how to efficiently solve energy Büchi problems in finite...", and the only contributor was "Bot" (talk))
• 15:55, 9 December 2022 Bot talk contribs deleted page Publications/bouarour.2022.ieeebigdata (content was: "{{Publication | published = true | date = 2022-12-12 | authors = Nassim Bouarour, Idir Benouaret, Sihem Amer-Yahia | booktitle = 2022 IEEE International Conference on Big Data (Big Data) | title = Learning Diversity Attributes in Multi-Session Recommendations | address = Osaka, Japan | abstract = Diversity in recommendation has been studied extensively. It has been shown that maximizing d...", and the only contributor was "Bot" (talk))
• 22:59, 8 December 2022 Bot talk contribs deleted page Publications/sbaarir.23.vmcai (content was: "{{Publication | published = true | date = 2023-01-01 | authors = S Saouli, S Baarir, C Dutheillet, J Devriendt | title = CosySEL: Improving SAT Solving Using Local Symmetries | booktitle = 24th International Conference on Verification, Model Checking, and Abstract Interpretation | address = Boston, USA | abstract = Many satisfiability problems exhibit symmetry properties. Thus, the develo...", and the only contributor was "Bot" (talk))
• 22:59, 8 December 2022 Bot talk contribs deleted page Publications/sbaarir.22.setta (content was: "{{Publication | published = true | date = 2022-10-01 | authors = V Vallade, S.Nejati, J.Sopena, V Ganesh, S Baarir | title = Diversifying a parallel SAT solver with Bayesian Moment Matching | booktitle = Symposium on Dependable Software Engineering Theories, Tools and Applications | address = Beijing, China | abstract = In this paper, we present a Bayesian Moment Matching (BMM) in-proce...", and the only contributor was "Bot" (talk))
• 15:00, 8 December 2022 Bot talk contribs deleted page Publications/dziadek.23.fm (content was: "{{Publication | published = true | date = 2022-12-08 | authors = Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber-Caissier | title = Energy Problems in Finite and Timed Automata with Büchi Conditions | series = Lecture Notes in Computer Science | publisher = Springer | booktitle = FM | lrdeprojects = AA, Spot | abstract = We show how to efficiently solve energy Büchi problems in finite...", and the only contributor was "Bot" (talk))
• 12:52, 8 December 2022 Bot talk contribs deleted page Publications/Mehta.22.melba (content was: "{{Publication | published = true | date = 2022-01-09 | authors = Raghav Mehta, Angelos Filos, Ujjwal Baid, Chiharu Sako, Richard McKinley, Michael Rebsamen, Katrin Dätwyler, Raphael Meier, Piotr Radojewski, Gowtham Krishnan Murugesan, Sahil Nalawade, Chandan Ganesh, Ben Wagner, Fang F Yu, Baowei Fei, Ananth J Madhuranthakam, Joseph A Maldjian, Laura Daza, GómezCatalina, Pablo Arbeláez...", and the only contributor was "Bot" (talk))
• 17:18, 1 December 2022 Clément Démoulins talk contribs deleted page NewsEntry () (content was: "{{News |title=Guillaume Tochon from LRE invited speaker at GT-GDMM |subtitle=Guillaume Tochon gave a plenary talk at the annual seminar of the Discrete Geometry and Mathematical Morphology Research Group, on the topic of learning mathematical morphology operations with morphological neural networks. He presented the latest results obtained at LRE with RDI students (from [https...", and the only contributor was "Daniela" (talk))
• 16:50, 1 December 2022 Clément Démoulins talk contribs deleted page NewsEntry (2022/11/22)5 (content was: "{{News |title=Guillaume Tochon from LRE invited speaker at GT-GDMM |subtitle=Guillaume Tochon gave a plenary talk at the annual seminar of the [https://gdmm2022.sciencesconf.org Discrete Geometry and Mathematical Morphology Research Group], on the topic of learning mathematical morphology operations with morphological neural networks. He presented the latest results obtained a...", and the only contributor was "Daniela" (talk))
• 16:50, 1 December 2022 Clément Démoulins talk contribs deleted page NewsEntry (2022/11/22)4 (content was: "{{News |title=Guillaume Tochon from LRE invited speaker at GT-GDMM |subtitle=He gave a plenary talk at the annual seminar of the [https://gdmm2022.sciencesconf.org Discrete Geometry and Mathematical Morphology Research Group], on the topic of learning mathematical morphology operations with morphological neural networks. He presented the latest results obtained at LRE with RDI...", and the only contributor was "Daniela" (talk))
• 16:50, 1 December 2022 Clément Démoulins talk contribs deleted page NewsEntry (2022/11/22)3 (content was: "{{News |title=Guillaume Tochon from LRE invited speaker at GT-GDMM |subtitle=Guillaume Tochon gave a plenary talk at the annual seminar of the [https://gdmm2022.sciencesconf.org Discrete Geometry and Mathematical Morphology Research Group], on the topic of learning mathematical morphology operations with morphological neural networks. He presented the latest results obtained a...", and the only contributor was "Daniela" (talk))
• 16:50, 1 December 2022 Clément Démoulins talk contribs deleted page NewsEntry (2022/11/22)2 (content was: "{{News |title=Guillaume Tochon from LRE invited speaker at GT-GDMM |subtitle=Guillaume Tochon gave a plenary talk at the annual seminar of the [https://gdmm2022.sciencesconf.org Discrete Geometry and Mathematical Morphology Research Group], on the topic of learning mathematical morphology operations with morphological neural networks. He presented the latest results obtained a...", and the only contributor was "Daniela" (talk))
• 11:52, 21 November 2022 Bot talk contribs deleted page Publications/boutry.22.melba (content was: "{{Publication | published = true | date = 2022-01-09 | authors = Nicolas Boutry, Élodie Puybareau, Guillaume Tochon, Joseph Chazalon | title = QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results | journal = Journal of Machine Learning for Biomedical Imaging (MELBA) | volume = 26 | pages = 1 t...", and the only contributor was "Bot" (talk))
• 15:26, 1 November 2022 Bot talk contribs deleted page Publications/fahrenberg.22.actacyb (content was: "{{Publication | published = true | date = 2022-01-31 | title = Domain Semirings United | volume = 25 | None = https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/4219 | abstract = Domain operations on semirings have been axiomatised in two different ways: by a map from an additively idempotent semiring into a boolean subalgebra of the semiring bounded by the additive and multi...", and the only contributor was "Bot" (talk))
• 16:34, 30 June 2022 Bot talk contribs deleted page Publications/DBLP:journals/iandc/FahrenbergJSZ22 (content was: "{{Publication | published = true | date = 2022-06-30 | authors = Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski | title = Posets With Interfaces as a Model for Concurrency | journal = Information and Computation | volume = 285 | number = B | pages = 104914 | None = https://doi.org/10.1016/j.ic.2022.104914 | timestamp = Tue, 28 Jun 2022 21:08:18 +0200 | biburl = htt...", and the only contributor was "Bot" (talk))
• 07:55, 6 January 2022 Bot talk contribs deleted page Publications/boutry.21.jmiv (content was: "{{Publication | published = true | date = 2021-11-09 | authors = Nicolas Boutry, Rocio Gonzalez-Diaz, Laurent Najman, Thierry Géraud | title = Continuous Well-Composedness implies Digital Well-Composedness in n-D | journal = Journal of Mathematical Imaging and Vision | volume = | number = | pages = | lrdeprojects = Olena | abstract = In this paper, we prove that when a <math>n</math>-...", and the only contributor was "Bot" (talk))