6 Dec
2023
6 Dec
'23
3:14 p.m.
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 <thierry.geraud(a)epita.fr>
Envoyé : mercredi 6 décembre 2023 10:38
À : perms(a)ml.lre.epita.fr <perms(a)ml.lre.epita.fr>
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]
______________________
Perms mailing list -- perms(a)ml.lre.epita.fr
https://lists.lrde.epita.fr/postorius/lists/perms.ml.lre.epita.fr//
______________________
Perms.strasbourg mailing list -- perms.strasbourg(a)ml.lre.epita.fr
https://lists.lrde.epita.fr/postorius/lists/perms.strasbourg.ml.lre.epita.f…
