[Perms] Re: mise à jour du .bib

Bonjour, Désolé, mon mail précédent n'était pas clair / explicite : * il s'agit de mettre à jour le .bib (oubliez le fichier que j'ai attaché par erreur...) * la liste des entrées dont le rang n'est pas renseigné n'est pas lisible (merci Uli et Marc de me l'avoir signalé) ; ci-dessous une extraction plus lisible. Même remarque : priorité aux articles de 2012 ou postérieurs. Merci 😉, Théo id type lrdeteam title grosicki.04.icc paper-conference artificial intelligence A novel method to fight the non line of sight error in AOA measurements for mobile location dehak.06.nist paper-conference artificial intelligence LRDE system description perrot.06.nist paper-conference artificial intelligence ENST-IRCGN system description dehak.08.nist paper-conference artificial intelligence The LRDE systems for the 2008 NIST speaker recognition evaluation dehak.08.odysseya paper-conference artificial intelligence Kernel combination for SVM speaker verification dehak.08.odysseyb paper-conference artificial intelligence Comparison between factor analysis and GMM support vector machines for speaker verification dehak.09.interspeechb paper-conference artificial intelligence Cepstral and long-term features for emotion recognition dehak.10.nist paper-conference artificial intelligence LRDE Speaker Recognition System for NIST-SRE 2010 dehak.10.odyssey2 paper-conference artificial intelligence Unsupervised Speaker Adaptation based on the Cosine Similarity for Text-Independent Speaker Verification borgstrom.12.nistsre paper-conference artificial intelligence MITLL 2012 speaker recognition evaluation system description dehak.16.nistsre paper-conference artificial intelligence The MIT Lincoln Laboratory 2016 speaker recognition system clouard.99.tr report automata and applications Une bibliothèque et un environnement de programmation d’opérateurs de traitement d’images duret.00.gcse paper-conference automata and applications Olena: A component-based platform for image processing, mixing generic, generative and OO programming fabre.00.vsmm paper-conference automata and applications Urbi et Orbi: Unusual design and implementation choices for distributed virtual environments verna.00.vsmm paper-conference automata and applications Action recognition: How intelligent virtual environments can ease human-machine interaction duret.01.ae paper-conference automata and applications Expression templates in Ada 95 duret.01.coots paper-conference automata and applications Generic design patterns in C++ verna.01.sci paper-conference automata and applications Virtual reality and tele-operation: A common framework carlier.02.itrs paper-conference automata and applications Polar type inference with intersection types and \omega burrus.03.mpool paper-conference automata and applications A static C++ object-oriented programming (SCOOP) paradigm mixing benefits of traditional OOP and generic programming regisgianas.03.poosc paper-conference automata and applications On orthogonal specialization in C++: Dealing with efficiency and algebraic abstraction in Vaucanson lombardy.04.tcs article-journal automata and applications Introducing Vaucanson vaucanson.04.techrep report automata and applications Proposal: An XML representation for automata duflot.04.avocs paper-conference automata and applications Probabilistic model checking of the CSMA/CD, protocol using PRISM and APMC demaille.05.iticse paper-conference automata and applications Making compiler construction projects relevant to core curriculums david.05.sud automata and applications C/C++ disambiguation using attribute grammars gournet.05.sud automata and applications Implementing attributes in SDF pouillard.05.sud automata and applications ESDF: A proposal for a more flexible SDF handling guirado.05.pdmc paper-conference automata and applications Distribution, approximation and probabilistic model checking lassaigne.05.wollic paper-conference automata and applications Probabilistic verification and approximation verna.06.imecs paper-conference automata and applications How to make lisp go faster than C demaille.06.rivf paper-conference automata and applications Probabilistic verification of sensor networks verna.06.ijcs article-journal automata and applications How to make lisp go faster than C demaille.06.isola paper-conference automata and applications Modeling of sensor networks using XRM cadilhac.06.avocs paper-conference automata and applications Evaluating complex MAC protocols for sensor networks with APMC david.06.iccp paper-conference automata and applications Attribute grammars for modular disambiguation herault.06.qest paper-conference automata and applications APMC 3.0: Approximate verification of discrete and continuous time Markov chains borghi.06.crossroads article-journal automata and applications C-Transformers — A framework to write C program transformations verna.06.practex article-journal automata and applications LaTeX curricula vitae with the CurVe class denise.06.rt paper-conference automata and applications Uniform random sampling of traces in very large models verna.06.ecoop paper-conference automata and applications Beating C in scientific computing applications hamez.07.pohll paper-conference automata and applications libDMC: A library to operate efficient distributed model checking le-quoc.07.rivf paper-conference automata and applications Stochastic routing in large grid-shaped quantum networks verna.07.imecs paper-conference automata and applications CLOS solutions to binary methods demaille.08.iticse paper-conference automata and applications A set of tools to teach compiler construction hamez.08.atpn paper-conference automata and applications Hierarchical set decision diagrams and automatic saturation le-quoc.08.ispec paper-conference automata and applications Towards the world-wide quantum network verna.08.jucs article-journal automata and applications Binary methods programming: The CLOS perspective (extended version) demaille.08.kex automata and applications Compiler construction as an effective application to teach object-oriented programming verna.08.lncs paper-conference automata and applications Report on the 5th workshop ELW at ECOOP 2008 verna.09.accu paper-conference automata and applications Revisiting the visitor: The just do it pattern verna.09.ilc paper-conference automata and applications CLOS efficiency: instantiation demaille.08.fsmnlp paper-conference automata and applications An XML format proposal for the description of weighted automata, transducers, and regular expressions hamez.09.fi article-journal automata and applications Building efficient model checkers using hierarchical set decision diagrams and automatic saturation verna.10.jucs article-journal automata and applications Revisiting the visitor: The just do it pattern duret.11.arxiv report automata and applications Combining explicit and symbolic approaches for better on-the-fly LTL model checking bensalem.12.topnoc article-journal automata and applications Model checking using generalized testing automata chedeau.12.tr report automata and applications JSPP: Morphing C++ into JavaScript verna.12.dsl chapter automata and applications Extensible languages: Blurring the distinction between DSLs and GPLs duflot.13.book chapter automata and applications Practical application of probabilistic model checking to communication protocols verna.13.tug-1 paper-conference automata and applications The incredible tale of the author who didn’t want to do the publisher’s job verna.13.tug-2 paper-conference automata and applications TiCL: The prototype (Star TeX: The next generation, season 2) verna.15.cop paper-conference automata and applications Context-oriented image processing newton.16.rte.report report automata and applications Efficient dynamic type checking of heterogeneous sequences newton.16.dag.report report automata and applications Finding maximal common joins in a DAG newton.16.monad.report report automata and applications Monads in Common Lisp duret.16.atva2 paper-conference automata and applications Spot 2.0 — a framework for LTL and \omega-automata manipulation menouer.17.pdp paper-conference automata and applications Parallel satisfiability solver based on hybrid partitioning method demaille.17.sacs article-journal automata and applications Derived-term automata of multitape expressions with composition newton.17.dtd.report report automata and applications Analysis of algorithms calculating the maximal disjoint decomposition of a set boldo.18.arith paper-conference automata and applications A formally-proved algorithm to compute the correct average of decimal floating-point numbers barnat.18.hpcr chapter automata and applications Parallel model checking algorithms for linear-time temporal logic verna.18.programming article-journal automata and applications Lisp, jazz, aikido newton.18.meta paper-conference automata and applications Recognizing heterogeneous sequences by rational type expression demaille.08.ldta paper-conference automata and applications Semantics driven disambiguation: A comparison of different approaches fabre.00.egve paper-conference image processing and pattern recognition An asynchronous architecture to manage communication, display, and user interaction in distributed virtual environments fabre.00.vw paper-conference image processing and pattern recognition A framework to dynamically manage distributed virtual environments geraud.00.europlop paper-conference image processing and pattern recognition Generic programming redesign of patterns geraud.01.icisp paper-conference image processing and pattern recognition Segmentation d’images en couleur par classification morphologique non supervisée angelidis.01.wscg paper-conference image processing and pattern recognition Visualization issues in virtual environments: From computer graphics techniques to intentional visualization geraud.01.ai paper-conference image processing and pattern recognition Applying generic programming to image processing darbon.01.ei paper-conference image processing and pattern recognition Error correcting code performance for watermark protection geraud.03.ibpria paper-conference image processing and pattern recognition Segmentation of curvilinear objects using a watershed-based curve adjacency graph geraud.03.icisp paper-conference image processing and pattern recognition Segmentation d’objets curvilignes à l’aide des champs de markov sur un graphe d’adjacence de courbes issu de l’algorithme de la ligne de partage des eaux geraud.03.nsip paper-conference image processing and pattern recognition Fast road network extraction in satellite images using mathematical morphology and MRF bloch.03.ai article-journal image processing and pattern recognition Representation and fusion of heterogeneous fuzzy information in the 3D space for model-based structural recognition—application to 3D brain imaging maes.03.dpcool paper-conference image processing and pattern recognition Program templates: Expression templates applied to program evaluation geraud.03.grec paper-conference image processing and pattern recognition Document type recognition using evidence theory darbon.04.ecoopphd paper-conference image processing and pattern recognition Generic algorithmic blocks dedicated to image processing maes.04.mpool paper-conference image processing and pattern recognition Metagene, a C++ meta-program generation tool lefebvre.04.tr report image processing and pattern recognition Unified texture management for arbitrary meshes geraud.04.jasp article-journal image processing and pattern recognition Fast road network extraction in satellite images using mathematical morphology and Markov random fields darbon.04.tr report image processing and pattern recognition Exact optimization of discrete constrained total variation minimization problems geraud.04.iccvg paper-conference image processing and pattern recognition Fast color image segmentation based on levellings in feature space darbon.05.ibpria paper-conference image processing and pattern recognition A fast and exact algorithm for total variation minimization darbon.05.tr report image processing and pattern recognition A fast and exact algorithm for total variation minimization darbon.05.isvc paper-conference image processing and pattern recognition A vectorial self-dual morphological filter based on total variation minimization baillard.05.adass paper-conference image processing and pattern recognition Project EFIGI: Automatic classification of galaxies levillain.05.olenaposter image processing and pattern recognition Olena Project poster levillain.05.tigerposter image processing and pattern recognition Tiger Project poster darbon.05.ispa paper-conference image processing and pattern recognition Total variation minimization with L^1 data fidelity as a contrast invariant filter darbon.06.siam paper-conference image processing and pattern recognition Fast and exact discrete image restoration based on total variation and on its extensions to levelable potentials darbon.06.jmivb article-journal image processing and pattern recognition Image restoration with discrete constrained Total Variation—part II: Levelable functions, convex priors and non-convex case lesage.06.isvc paper-conference image processing and pattern recognition An efficient algorithm for connected attribute thinnings and thickenings chekroun.06.iciar paper-conference image processing and pattern recognition On a polynomial vector field model for shape representation darbon.06.iccp paper-conference image processing and pattern recognition Approximate probabilistic model checking for programs darbon.06.tr report image processing and pattern recognition A note on nice-levelable MRFs for SAR image denoising with contrast preservation fouquier.07.gbr paper-conference image processing and pattern recognition Local reasoning in fuzzy attribute graphs for optimizing sequential segmentation ricou.07.eceg paper-conference image processing and pattern recognition 10 years of confrontation between French Internet users and their successive governments darbon.07.mirage paper-conference image processing and pattern recognition A note on the discrete binary Mumford-Shah model darbon.07.ei paper-conference image processing and pattern recognition The use of levelable regularization functions for MRF restoration of SAR images ricou.07.adass paper-conference image processing and pattern recognition Web services at TERAPIX hemon.08.sagt paper-conference image processing and pattern recognition Approximate Nash equilibria for multi-player games geraud.08.mpool paper-conference image processing and pattern recognition Semantics-driven genericity: A sequel to the static C++ object-oriented programming paradigm (SCOOP 2) ricou.08.eceg paper-conference image processing and pattern recognition A survey of French local e-democracy geraud.10.livre chapter image processing and pattern recognition Morphologie et algorithmes geraud.10.book chapter image processing and pattern recognition Algorithms for mathematical morphology fabrizio.12.spic article-journal image processing and pattern recognition Motion compensation based on tangent distance prediction for video compression levillain.12.wadgmm-lncs paper-conference image processing and pattern recognition Writing reusable digital topology algorithms in a generic image processing framework boutry.14.geodis image processing and pattern recognition Une généralisation du <i>bien-composé</i> à la dimension n carlinet.14.geodis image processing and pattern recognition Traitement d’images multivariées avec l’arbre des formes levillain.14.ciarp paper-conference image processing and pattern recognition Practical genericity: Writing image processing algorithms both reusable and efficient morel.16.embc paper-conference image processing and pattern recognition A challenging issue: Detection of white matter hyperintensities in neonatal brain MRI drumetz.17.lva-ica paper-conference image processing and pattern recognition Estimating the number of endmembers to use in spectral unmixing of hyperspectral data with collaborative sparsity chazalon.17.icdar-ost paper-conference image processing and pattern recognition SmartDoc 2017 video capture: Mobile document acquisition in video mode drapeau.17.grec paper-conference image processing and pattern recognition Extraction of ancient map contents using trees of connected components tochon.17.chapter chapter image processing and pattern recognition Advances in utilization of hierarchical representations in remote sensing data analysis puybareau.18.fish image processing and pattern recognition High throughput automated detection of axial malformations in fish embryo puybareau.19.cbm article-journal image processing and pattern recognition High throughput automated detection of axial malformations in Medaka embryo boutry.18.is article-journal image processing and pattern recognition Weakly well-composed cell complexes over nD pictures carlinet.19.csi paper-conference image processing and pattern recognition Intervertebral disc segmentation using mathematical morphology—A CNN-free approach or.22.transparence book image processing and pattern recognition Données, transparence et démocratie geraud.99.cimaf paper-conference image processing and pattern recognition Atlas-guided recognition of cerebral structures in MRI using fusion of fuzzy structural information puybareau.23.cnrs chapter image processing and pattern recognition Informatique mathématique. Un photographie en 2023 christian.21.cs article-journal security and systems A blockchain-based certificate revocation management and status verification system maldonado-ruiz.21.ifip paper-conference security and systems An innovative and decentralized identity framework based on blockchain technology grelot.21.cesar paper-conference security and systems Automation of binary analysis: From open source collection to threat intelligence raymon.21.urai paper-conference security and systems VizNN: Visual data augmentation with convolutional neural networks for cybersecurity investigation rida.21.cn paper-conference security and systems Evaluation of anomaly detection for cybersecurity using inductive node embedding with convolutional graph neural networks espie.21.eurocon paper-conference security and systems Debug packages in OpenBSD rida.22.raccisc chapter security and systems Anomaly detection on static and dynamic graphs using graph convolutional neural networks abourida.2022.gcnn chapter security and systems Anomaly detection on static and dynamic graphs using graph convolutional neural networks mandel.22.aghm paper-conference security and systems GenIDA, une base de données participative internationale permettant de mieux connaître l’histoire naturelle et les comorbidités des formes génétiques de troubles neurodéveloppementaux maldonado-ruiz.22.ieee article-journal security and systems Current trends in blockchain implementations on the paradigm of public key infrastructure: A survey ghannad.2022.antminer paper-conference security and systems One-class ant-miner: Selection of majority class rules for binary rule-based classification maldonadoruiz.2022.blockchain article-journal security and systems Current trends in blockchain implementations on the paradigm of public key infrastructure: A survey orhand.2022.alcs paper-conference security and systems Accurate and interpretable representations of environments with anticipatory learning classifier systems hammi.21.ieee article-journal security and systems Blockchain-based solution for detecting and preventing fake check scams burger.2022.genida_fr article-journal security and systems GenIDA: An international participatory database to gain knowledge on health issues related to genetic forms of neurodevelopmental disorders leonteva.2022.hybrid paper-conference security and systems A hybrid optimization tool for active magnetic regenerator beserra.23.cisti paper-conference security and systems Could the topology of virtual processors affect the performance of a BSD-family OS running in a VM? ris.23.cisti paper-conference security and systems A systemic mapping of methods and tools for performance analysis of data streaming with containerized microservices architecture hervot.2023.eiah paper-conference security and systems L’identification des projets de logiciel libre accessibles aux nouveaux contributeurs parrend.2023.gimopen article-journal security and systems GenIDA, a participatory patient registry for genetic forms of intellectual disability provides detailed caregiver reported information on 237 individuals with Koolen-de Vries syndrome michel.2023.rjcia paper-conference security and systems Metrics for community dynamics applied to unsupervised attacks detection jaber.23.cce security and systems Towards attack detection in traffic data based on spectral graph analysis (best student presentation) beserra.23.compas paper-conference security and systems On the historical evolution of the performance versus cost ratio of raspberry pi computers minier.23.jmc paper-conference security and systems Automatic boomerang attacks search on rijndael delobel.23.indocrypt paper-conference security and systems A CP-based automatic tool for instantiating truncated differential characteristics jaber.23.rjcia paper-conference security and systems Structural and spectral analysis of dynamic graphs for attack detection meddouri.2023.gast book Actes de l’atelier gestion et analyse des données spatiales et temporelles lejmi.2023.sfci paper-conference Refinement of a ligand activity and representation of topological phamacophores in a colored network lejmi.2023.cups paper-conference Clustering en chémoinformatique pour le raffinement de l’activité des molécules ________________________________ De : Thierry Geraud &lt;thierry.geraud(a)epita.fr&gt; Envoyé : mercredi 6 décembre 2023 10:38 À : perms(a)ml.lre.epita.fr &lt;perms(a)ml.lre.epita.fr&gt; Objet : mise à jour du .bib Bonjour, Des erreurs à corriger rapidement svp, en fin de mail. Priorités aux articles à partir de 2012. Merci d'avance, Bonne journée, Théo * il manque le champ "lrdeteam" dans ces entrées : [cid:a5d1f0e8-b81f-4064-9104-dcf92ed72efb] * il manque le champ "month" dans ces entrées : [cid:4971bfb5-148c-4915-98c8-011b53c63207] * ces entrées n'ont pas de type précis (article, inproceedings, etc.) : [cid:2e657714-4b02-467a-afc4-8f59ec0d8995] * ces entrées n'ont pas d'entrée "lrderank" : [cid:9cbd010c-85c2-452e-bb45-600fdadd8925]