Special

All public logs

Combined display of all available logs of LRDE. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

Logs
(newest | oldest) View (newer 50 | ) (20 | 50 | 100 | 250 | 500)
  • 11:17, 29 July 2023 Bot talk contribs created page Publications/boutry.23.jmiv.2 (Created page with "{{Publication | published = true | date = 2023-01-01 | authors = Nicolas Boutry | title = Introducing PC n-Manifolds and P-well-composedness in Partially Ordered Sets | journa...")
  • 11:00, 5 June 2023 Bot talk contribs created page Publications/boutry.23.jmiv (Created page with "{{Publication | published = true | date = 2023-01-01 | authors = Gilles Bertrand, Nicolas Boutry, Laurent Najman | title = Discrete Morse Functions and Watersheds | journal =...")
  • 18: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))
  • 06:30, 4 April 2023 Bot talk contribs created page Publications/tschora.23.ida (Created page with "{{Publication | published = true | date = 2023-04-10 | authors = Léonard Tschora, Erwan Pierre, Marc Plantevit, Céline Robardet | editors = Bruno Crémilleux, Sibylle Hess,...")
  • 16:15, 3 April 2023 Bot talk contribs created page Publications/Xu.23.iceccs (Created page with "{{Publication | published = true | date = 2023-04-03 | authors = Hao Xu, Souheib Baarir, Tewfik Ziadi, Siham EssodaiguiYves Bossu, Lom Messan Hillah | title = An Experience Re...")
  • 16:15, 3 April 2023 Bot talk contribs created page Publications/Xu.23.sac (Created page with "{{Publication | published = true | date = 2023-04-03 | authors = Hao Xu, Souheib Baarir, Tewfik Ziadi, Siham EssodaiguiYves Bossu, Lom Messan Hillah | title = Optimization of...")
  • 09:20, 3 April 2023 Bot talk contribs created page Publications/chen.23.phd (Created page with "{{Publication | published = true | date = 2023-03-22 | authors = Yizi Chen | title = Modern vectorization and alignement of historical maps: An application to Paris atlas (178...")
  • 17:49, 10 March 2023 Bot talk contribs created page Publications/kheireddine.22.apsec (Created page with "{{Publication | published = true | date = 2022-12-09 | authors = Anissa Kheireddine, Étienne Renault, Souheib Baarir | title = Tuning SAT Solvers for LTL Model Checking | boo...")
  • 15:45, 5 March 2023 Bot talk contribs created page Publications/fahrenberg.23.alguniv (Created page with "{{Publication | published = true | date = 2023-03-05 | authors = Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemiański | title = Catoids and Modal Convolutio...")
  • 15:12, 5 March 2023 Bot talk contribs created page Publications/fahrenberg.23.pn (Created page with "{{Publication | published = true | date = 2023-03-05 | authors = Uli Fahrenberg, Krzysztof Ziemiański | title = A Myhill-Nerode Theorem for Higher-Dimensional Automata | seri...")
  • 22:26, 16 December 2022 Bot talk contribs created page Publications/mazini.22.exp (Created page with "{{Publication | published = false | date = 2022-12-15 | authors = Caroline Mazini-Rodrigues, Nicolas Boutry, Laurent Najman | title = Gradients Intégrés Renforcés | booktit...")
  • 14: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))
  • 14:32, 16 December 2022 Bot talk contribs created page Publications/boutry.21.jmiv (Created page with "{{Publication | published = true | date = 2021-11-09 | authors = Nicolas Boutry, Rocio Gonzalez-Diaz, Laurent Najman, Thierry Géraud | title = Continuous Well-Composedness im...")
  • 11: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))
  • 11:52, 15 December 2022 Bot talk contribs created page Publications/kheireddine.22.constraints (Created page with "{{Publication | published = true | date = 2022-12-09 | authors = Anissa Kheireddine, Étienne Renault, Souheib Baarrir | title = Towards Better Heuristics for Solving Bounded...")
  • 09: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))
  • 14:57, 14 December 2022 Bot talk contribs created page Publications/beaudoin.22.jmse (Created page with "{{Publication | published = true | date = 2022-01-01 | authors = Laurent Beaudoin, Loïca Avanthey, Corentin Bunel, Charles Villard | title = Automatically Guided Selection of...")
  • 14:57, 14 December 2022 Bot talk contribs created page Publications/beaudoin.22.eit (Created page with "{{Publication | published = true | date = 2022-01-01 | authors = Laurent Beaudoin, Loïca Avanthey | title = How to help digital-native students to successfully take control o...")
  • 22: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))
  • 22: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))
  • 22:23, 12 December 2022 Bot talk contribs created page Publications/saouli.23.vmcai (Created page with "{{Publication | published = true | date = 2022-12-08 | authors = S Saouli, S Baarir, C Dutheillet, J Devriendt | title = CosySEL: Improving SAT Solving Using Local Symmetries...")
  • 22:23, 12 December 2022 Bot talk contribs created page Publications/rida.22.raccisc (Created page with "{{Publication | published = true | date = 2022-01-01 | authors = A Abou Rida, R Amhaz, P Parrend | title = Anomaly Detection on Static and Dynamic Graphs using Graph Convoluti...")
  • 22:23, 12 December 2022 Bot talk contribs created page Publications/rida.21.cn (Created page with "{{Publication | published = true | date = 2021-10-01 | authors = A Abou Rida, P Parrend, R Amhaz | title = Evaluation of Anomaly Detection for Cybersecurity Using Inductive No...")
  • 22:23, 12 December 2022 Bot talk contribs created page Publications/raymon.21.urai (Created page with "{{Publication | published = true | date = 2021-10-01 | authors = A Raymond, B Brument, P Parrend | title = VizNN: Visual Data Augmentation with Convolutional Neural Networks f...")
  • 22:22, 12 December 2022 Bot talk contribs created page Publications/mandel.22.aghm (Created page with "{{Publication | published = true | date = 2022-02-01 | authors = J-L Mandel, P Burger, A Strehle, F Colin, T Mazzucotelli, N Collot, S Baer, B Durand, A Piton, R Coutelle, E S...")
  • 22:22, 12 December 2022 Bot talk contribs created page Publications/maldonado-ruiz.22.ieee (Created page with "{{Publication | published = true | date = 2022-01-01 | authors = Daniel Maldonado-Ruiz, Jenny Torres, El MadhounNour, Mohamad Badra | journal = IEEE Access | title = Current T...")
  • 22:22, 12 December 2022 Bot talk contribs created page Publications/maldonado-ruiz.21.ifip (Created page with "{{Publication | published = true | date = 2021-04-01 | authors = Daniel Maldonado-Ruiz, Jenny Torres, El MadhounNour, Mohamad Badra | booktitle = 2021 11th IFIP International...")
  • 22:22, 12 December 2022 Bot talk contribs created page Publications/hammi.21.ieee (Created page with "{{Publication | published = true | date = 2021-01-01 | authors = Badis Hammi, Sherali Zeadally, Yves Christian Elloh Adja, Manlio Del Giudice, Jamel Nebhen | journal = IEEE Tr...")
  • 22:22, 12 December 2022 Bot talk contribs created page Publications/guillaume.22.egc (Created page with "{{Publication | published = true | date = 2022-01-01 | authors = Pierre Guillaume, Corentin Duchene, Reda Dehak | title = Hate Speech and Toxic Comment Detection using Transfo...")
  • 22:22, 12 December 2022 Bot talk contribs created page Publications/grelot.21.cesar (Created page with "{{Publication | published = true | date = 2021-01-01 | title = Automation of Binary Analysis: From Open Source Collection to Threat Intelligence | authors = Frederic Grelot, S...")
  • 22:22, 12 December 2022 Bot talk contribs created page Publications/espie.21.eurocon (Created page with "{{Publication | published = true | date = 2021-01-01 | authors = Marc Espie | booktitle = EuroBSDCon 2021 | title = Debug Packages in OpenBSD | None = https://www.openbsd.org/...")
  • 22:22, 12 December 2022 Bot talk contribs created page Publications/el-madhoune.21.csnet (Created page with "{{Publication | published = true | date = 2021-10-01 | authors = Darine Al-Mohtar, Amani Ramzi Daou, Nour El Madhoun, Rachad Maallawi | booktitle = 2021 5th Cyber Security in...")
  • 22:22, 12 December 2022 Bot talk contribs created page Publications/el-madhoun.22.aina (Created page with "{{Publication | published = true | date = 2022-01-01 | authors = Nour El Madhoun, Emmanuel Bertin, Mohamad Badra, Guy Pujolle | booktitle = The 36th International Conference o...")
  • 22:22, 12 December 2022 Bot talk contribs created page Publications/dziadek.23.fm (Created page with "{{Publication | published = true | date = 2022-12-08 | authors = Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber-Caissier | title = Energy Problems in Finite and Timed Automa...")
  • 22:21, 12 December 2022 Bot talk contribs created page Publications/christian.21.cs (Created page with "{{Publication | published = true | date = 2021-01-01 | title = A blockchain-based certificate revocation management and status verification system | journal = Computers & Secu...")
  • 22:21, 12 December 2022 Bot talk contribs created page Publications/avanthey.22.rs (Created page with "{{Publication | published = true | date = 2022-01-01 | authors = Loïca Avanthey, Laurent Beaudoin | title = How to Boost Close-Range Remote Sensing Courses Using a Serious Ga...")
  • 16:44, 9 December 2022 Bot talk contribs created page Publications/lepage.22.interspeech (Created page with "{{Publication | published = true | date = 2022-08-28 | title = Label-Efficient Self-Supervised Speaker Verification With Information Maximization and Contrastive Learning | au...")
  • 16:29, 9 December 2022 Bot talk contribs created page Publications/renault.22.sttt (Created page with "{{Publication | published = true | date = 2022-12-09 | authors = Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud | title = Go2Pins: a framework for the...")
  • 16:28, 9 December 2022 Bot talk contribs created page Publications/kheireddine.22.apsec (Created page with "{{Publication | published = true | date = 2022-12-09 | authors = Anissa Kheireddine, Étienne Renault, Souheib Baarrir | title = Tuning SAT solvers for LTL Model Checking | bo...")
  • 16:28, 9 December 2022 Bot talk contribs created page Publications/kheireddine.22.constraints (Created page with "{{Publication | published = true | date = 2022-12-09 | authors = Anissa Kheireddine, Étienne Renault, Souheib Baarrir | title = Towards Better Heuristics for Solving Bounded...")
  • 14: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))
  • 14:53, 9 December 2022 Bot talk contribs created page Publications/bouarour.22.ieeebigdata (Created page with "{{Publication | published = true | date = 2022-12-12 | authors = Nassim Bouarour, Idir Benouaret, Sihem Amer-Yahia | booktitle = 2022 IEEE International Conference on Big Data...")
  • 14:34, 9 December 2022 Bot talk contribs created page Publications/guillaume.22.dl4nlp (Created page with "{{Publication | published = true | date = 2022-01-12 | authors = Pierre Guillaume, Corentin Duchene, Réda Dehak | title = Hate Speech and Toxic Comment Detection using Transf...")
  • 14:15, 9 December 2022 Bot talk contribs created page Publications/bouarour.2022.ieeebigdata (Created page with "{{Publication | published = true | date = 2022-12-12 | authors = Nassim Bouarour, Idir Benouaret, Sihem Amer-Yahia | booktitle = 2022 IEEE International Conference on Big Data...")
  • 12:02, 9 December 2022 Bot talk contribs created page Publications/kamal.22.xkdd (Created page with "{{Publication | published = true | date = 2022-09-12 | authors = Ataollah Kamal, Elouan Vincent, Marc Plantevit, Céline Robardet | booktitle = ECML PKDD International Worksho...")
  • 12:02, 9 December 2022 Bot talk contribs created page Publications/iferroudjene.22.dami (Created page with "{{Publication | published = true | date = 2022-12-10 | authors = Mouloud Iferroudjene, Corentin Lonjarret, Céline Robardet, Marc Plantevit, Martin Atzmueller | title = Method...")
  • 12:02, 9 December 2022 Bot talk contribs created page Publications/diop.22.ieeebigdata (Created page with "{{Publication | published = true | date = 2022-12-12 | authors = Lamine Diop, Cheikh Talibouya Diop, Arnaud Giacometti, Dominique Li, Arnaud Soulet | booktitle = 2022 IEEE Int...")
  • 21: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))
  • 21: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))
  • 21:59, 8 December 2022 Bot talk contribs created page Publications/vallade.22.setta (Created page with "{{Publication | published = true | date = 2022-12-08 | authors = V Vallade, S Nejati, J Sopena, V Ganesh, S Baarir | title = Diversifying a parallel SAT solver with Bayesian M...")
(newest | oldest) View (newer 50 | ) (20 | 50 | 100 | 250 | 500)