algorithmics < algorithms < algorithmsfor

Facettes : Author.f AffPays.f AffOrg.f AffRegion.f AffVille.f

List of bibliographic references

Number of relevant bibliographic references: 284.
[0-20] [0 - 20][0 - 50][20-40]

Ident.	Authors (with country if any)	Title
000005 (2013)	Denis Jouvet [France] ; Dominique Fohr [France]	Analysis and Combination of Forward and Backward Based Decoders for Improved Speech Transcription
000014 (1982)	J. C. Simon [France]	Complexity of Algorithms and Pattern Recognition
000024 (1987)	Olivier Monga ; Brigitte Wrobela	Segmentation d’images : vers une méthodologie
000029 (2012)	Leonardo Vanneschi [Italie, Portugal] ; Giancarlo Mauri [Italie]	A study on learning robustness using asynchronous 1D cellular automata rules
000066 (2002)	Robert Giegerich [Allemagne] ; Carsten Meyer [Allemagne]	Algebraic Dynamic Programming
000087 (2002)	Cohen ; Fraigniaud ; Mitjana	Polynomial-Time Algorithms for Minimum-Time Broadcast in Trees
000096 (2010)	Jean-Charles Lamirel [France] ; Zied Boulila ; Maha Ghribi ; Pascal Cuxac	A New Incremental Growing Neural Gas Algorithm Based on Clusters Labeling Maximization: Application to Clustering of Heterogeneous Textual Data
000100 (1998)	Carlos Castro [France]	COLETTE, prototyping CSP solvers using a rule-based language
000107 (2010)	Sylvain Chevillard [France] ; Mioara Jolde [France] ; Christoph Lauter [France]	Sollya: An Environment for the Development of Numerical Codes
000139 (2005)	Abdessamad Imine [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Michaël Rusinowitch [France]	Towards Synchronizing Linear Collaborative Objects with Operational Transformation
000180 (2007)	Jens Gustedt [France] ; Stéphane Vialle [France] ; Amelia De Vivo [Italie]	The parXXL Environment: Scalable Fine Grained Development for Large Coarse Grained Platforms
000206 (1987)	D. E. Rydeheard [Royaume-Uni] ; J. G. Stell [Royaume-Uni]	Foundations of equational deduction: A categorical treatment of equational proofs and unification algorithms
000215 (2009)	Jean-Luc Beuchat [Japon] ; Jérémie Detrey [France] ; Nicolas Estibals [France] ; Eiji Okamoto [Japon] ; Francisco Rodríguez-Henríquez [Mexique]	Hardware Accelerator for the Tate Pairing in Characteristic Three Based on Karatsuba-Ofman Multipliers
000244 (2010)	Dominique Méry [France] ; Neeraj Kumar Singh [France]	Real-Time Animation for Formal Specification
000256 (2011)	Jérôme Azé [France] ; Thomas Bourquard [France] ; Sylvie Hamel [Canada] ; Anne Poupon [France] ; David W. Ritchie [France]	Using Kendall- τ Meta-Bagging to Improve Protein-Protein Docking Predictions
000292 (2011)	Tianxiang Lu [Allemagne, France] ; Stephan Merz [France] ; Christoph Weidenbach [Allemagne]	Towards Verification of the Pastry Protocol Using TLA +
000329 (2007)	Mathilde Arnaud [France] ; Véronique Cortier [France] ; Stéphanie Delaune [France]	Combining Algorithms for Deciding Knowledge in Security Protocols
000372 (2004)	Phong Q. Nguyen [France] ; Damien Stehlé [France]	Low-Dimensional Lattice Basis Reduction Revisited
000427 (2007)	Guillaume Hanrot [France] ; Damien Stehlé [France]	Improved Analysis of Kannan’s Shortest Lattice Vector Algorithm
000490 (1984)	Philippe Le Chenadec [France]	Canonical Forms in Finitely Presented Algebras
000508 (2003)	Marie-Hélène Abel [France] ; Dominique Lenne [France] ; Claude Moulin [France] ; Ahcène Benayache [France]	Gestion des ressources pédagogiques d’une e-formation

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Curation

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/AbsEn.i -k "algorithms" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/AbsEn.i  \
                -Sk "algorithms" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Curation/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Istex
   |étape=   Curation
   |type=    indexItem
   |index=    AbsEn.i
   |clé=    algorithms
}}

---

This area was generated with Dilib version V0.6.33. Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022