Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Research talks;Computer Science
I will describe a recent framework for robust shape reconstruction based on optimal transportation between measures, where the input measurements are seen as distribution of masses. In addition to robustness to defect-laden point sets (hampered with noise and outliers), this approach can reconstruct smooth closed shapes as well as piecewise smooth shapes with boundaries.
68Rxx ; 65D17 ; 65D18
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 329 p.
ISBN 978-3-540-61064-9
Lecture notes in computer science , 1059
Localisation : Collection 1er étage
algèbre # arborescence # automate fini # calcul informatique # calcul lambda # graphe # informatique théorique # mathématique discrète # renormalisation # réécriture de programme # structure des données # technique de programmation # transformation de programme
68N05 ; 68N17 ; 68Nxx ; 68P05 ; 68Rxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 219 p.
ISBN 978-3-540-55553-7
Lecture notes in computer science , 0601
Localisation : Collection 1er étage
analyse d'algorithme # analyse numérique # calcul # calcul par dispositif abstrait # codage # complexité # in génierie de logiciel # informatique théorique # langage de programmation # langage formel # logique # logique mathématique # manipulation algébrique # mathématique discrète # réseau d'ordinateur # signification des programmes # structure de mémoire # système # théorie de l'information
68-06 ; 68Q40 ; 68Q45 ; 68Qxx ; 68Rxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 260 p.
ISBN 978-3-540-10576-3
Lecture notes in computer science , 0104
Localisation : Collection 1er étage
informatique théorique
68-02 ; 68Pxx ; 68Rxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 545p.
ISBN 978-3-540-58241-0
Lecture notes in artificial intelligence , 0827
Localisation : Colloque 1er étage (BONN)
ISTL # METATEM concurrent # axiomatisation de U et S # calcul d'événement abductif # combinaison de technique de spécification temporelle # complétude par platitude # déduction automatisée # ensemble d'intercalation # granularité du temps # graphe # interprétation d'adverbe # langage de questionnement de base de donnée temporelle # logique d'intervalle futur du premier ordre # logique d'intervalle graphique # logique de croyance temporelle # logique de processus en temps réel # logique de transaction # logique temporelle des objets # mise à jour de base de données # ordre partiel # pointeur de référence # preuve d'équivalence globale # procédure de décision # programmation en logique modale # raisonnement modulaire # raisonnement temporel # raisonneur # représentation de connaissance # réseau de Pétri avec temps # système de planification temporelle # tableau de logique temporelle # temps de branchement # temps entier # vérification de modèle
ISTL # METATEM concurrent # axiomatisation de U et S # calcul d'événement abductif # combinaison de technique de spécification temporelle # complétude par platitude # déduction automatisée # ensemble d'intercalation # granularité du temps # graphe # interprétation d'adverbe # langage de questionnement de base de donnée temporelle # logique d'intervalle futur du premier ordre # logique d'intervalle graphique # logique de croyance temporelle # ...
68-06 ; 68Pxx ; 68Qxx ; 68Rxx ; 68Txx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 298 p.
ISBN 978-0-521-65376-3
London mathematical society lecture note series , 0267
Localisation : Collection 1er étage
analyse combinatoire # cryptographie # espace projectif # graphe régulier aléatoire # reseaux # théorie des graphes # théorème de Milna
05-06 ; 05Bxx ; 05C40 ; 05Cxx ; 68Rxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 628 p.
ISBN 978-3-540-64230-5
Lecture notes in computer science , 1373
Localisation : Collection 1er étage
algèbre linéaire numérique # analyse numérique # automate # automate cellulaire # encryptape de données # graphe de l'informatique # géométrie de l'informatique # informatique théorique # intelligence artificielle # langage des automates # mathématique discrète # mathématique du calcul informatique # modélisation d'objet # structure des données # système d'exploitation # technique de programmation
68Pxx ; 68Q45 ; 68Q68 ; 68Qxx ; 68Rxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 618 p.
ISBN 978-3-540-55210-9
Lecture notes in computer science , 0577
Localisation : Collection 1er étage
acquisition # algorithme géométrique # algorithme parallèle # algèbre # analyse numérique # apprentissage # calcul informatique # calcul numérique # complexité des structures # complexité et communication # cryptographie # géométrie de l'informatique # hiérarchie # informatique graphique # informatique théorique # langage de spécification PLUSS # logique # mathématique discrète # moto # méthodologie du calcul informatique # réseau # réécriture # système distribué # système informatique # sémantique # transformation géométrique
acquisition # algorithme géométrique # algorithme parallèle # algèbre # analyse numérique # apprentissage # calcul informatique # calcul numérique # complexité des structures # complexité et communication # cryptographie # géométrie de l'informatique # hiérarchie # informatique graphique # informatique théorique # langage de spécification PLUSS # logique # mathématique discrète # moto # méthodologie du calcul informatique # réseau # réécriture # ...
68M10 ; 68Mxx ; 68Q25 ; 68Qxx ; 68Rxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 494 p.
ISBN 978-3-540-18834-6
Lecture notes in computer science , 0294
Localisation : Collection 1er étage
architecture des processeurs # calcul # communication réseau # engineering logiciel # environnement de programmation # géométrie de l
68M10 ; 68Mxx ; 68N05 ; 68Nxx ; 68Qxx ; 68Rxx ; 68U05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Localisation : Colloque 1er étage (MARS)
calcul # calcul géométrique # informatique théorique # machine # machine aléatoire # nombre réel # programme numérique # solution arithmétique
11-02 ; 12-02 ; 65-XX ; 68Q05 ; 68Qxx ; 68Rxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 723 p.
ISBN 978-3-540-55564-3
Lecture notes in computer science , 0600
Localisation : Collection 1er étage
calcul par des dispositifs abstraits # implémenta tion de système informatique # informatique théorique # langage formel # loc igiel # logique de programmes # logique mathématique # mathématique de l'informatique # mathématique discrète # opération sur réseau # projet REX # signification des programmes # système concurrent # temps réel
68-06 ; 68Q05 ; 68Q10 ; 68Qxx ; 68Rxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Theoretical computer science , 0175
Localisation : Colloque 1er étage (LYON)
algorithme # algorithme parallèle # application # architecture # encodage # fonction booléenne # graphe # informatique théorique # problème d'interval # reconnaissance # structure et représentation de treillis # treillis booléens
68Q10 ; 68Q20 ; 68Q30 ; 68R10 ; 68Rxx ; 68T10
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Localisation : Colloque 1er étage (MARS)
analyse des données # analyse numérique # combinatoire # intelligence artificielle # représentation de l'incertain # traitement symptomatique de l'information
65-06 ; 65U05 ; 68R05 ; 68Rxx ; 68Txx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Mathématiques et informatique
Localisation : Colloque 1er étage (PARI)
automate # décidabilité # logique # mathématique discrète # mathématiques et informatique # matroïde # opérateur # réécriture des systèmes
68N05 ; 68Q42 ; 68Q68 ; 68Qxx ; 68Rxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xi; 340 p.
ISBN 978-3-7643-6430-4
Trends in mathematics
Localisation : Colloque 1er étage (VERS)
informatique # arbre # algorithme # combinatoire # générateur de nombres aléatoires # optimisation # évaluation de la performance
68W05 ; 00B25 ; 68-06 ; 68Rxx ; 68Q25
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xiii; 557 p.
ISBN 978-3-7643-6933-0
Trends in mathematics
Localisation : Colloque 1er étage (VERS)
informatique # arbre # algorithme # combinatoire # générateur de nombres aléatoires # optimisation # évaluation de la performance
68M20 ; 68Q25 ; 68P30 ; 68Rxx ; 68W20 ; 90B15 ; 00B25 ; 05-06 ; 68-06
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
