Search - Rapports LIP6 Access content directly

Filter your results

156 Results
Image document

Channel synthesis revisited

Béatrice Bérard , Olivier Carton
[Research Report] lip6.2013.001, LIP6. 2013
Reports hal-02545987v1
Image document

Méthode de Plans Sécants Régularisée pour l'Optimisation Non convexe : Annexe à l'article dans JMLR

Trinh Minh Tri Do , Thierry Artières
[Rapport de recherche] lip6.2012.001, LIP6. 2012
Reports hal-02545985v1
Image document

A learning packet-based autonomic network architecture

Zeinab Movahedi , Rami Langar , Guy Pujolle
[Research Report] lip6.2011.002, LIP6. 2011
Reports hal-02545982v1
Image document

Quantifying Opacity

Béatrice Bérard , John Mullins , Mathieu Sassolas
[Research Report] lip6.2011.001, LIP6. 2011
Reports hal-02545978v1
Image document

The worst case analysis of the Garey-Johnson algorithm

Claire Hanen , Yakov Zinder
[Research Report] lip6.2008.002, LIP6. 2008
Reports hal-02545977v1
Image document

Fusion de données spatiales (3D) et temporelles (2D+t) pour la reconstruction de scènes 3D+t : deux approches

Wafa Rekik , Dominique Béréziat , Séverine Dubuisson
[Rapport de recherche] lip6.2008.001, LIP6. 2008
Reports hal-02545972v1
Image document

A Survey of Survivability in Mobile Ad Hoc Networks

Michèle Nogueira Lima , Aldri Luiz dos Santos , Guy Pujolle
[Research Report] lip6.2007.001, LIP6. 2007
Reports hal-02545698v1
Image document

Emptiness Check of Powerset Büchi Automata using Inclusion Tests

Souheib Baarir , Alexandre Duret-Lutz
[Technical Report] lip6.2006.003, LIP6. 2006
Reports hal-02545696v1
Image document

Dynamical strategies using Discrete Stochastic Arithmetic for approximation methods

Fabienne Jezequel
[Research Report] lip6.2006.001, LIP6. 2006
Reports hal-02545690v1
Image document

Une nouvelle extension de ML avec des traits orientés objets de FOCAL

Stéphane Fechter
[Rapport de recherche] lip6.2005.011, LIP6. 2005
Reports hal-02545687v1
Image document

Méthode de réplication basée sur les plans pour la tolérance aux pannes des systèmes multi-agents

Alessandro Luna Almeida , Samir Aknine , Jean-Pierre Briot , Jacques Malenfant
[Rapport de recherche] lip6.2005.010, LIP6. 2005
Reports hal-02545686v1
Image document

Multi-Item capacitated lot-Sizing problem with setup times and shortage costs : Polyhedral results.

Nabil Absi , Safia Kedad-Sidhoum
[Research Report] lip6.2005.009, LIP6. 2005
Reports hal-02545684v1
Image document

Data Decision Diagrams for ProMeLa Systems Analysis

Vincent Beaudenon , Emmanuelle Encrenaz , Sami Taktak
[Research Report] lip6.2005.008, LIP6. 2005
Reports hal-02545683v1
Image document

Brevia and Demonstrations Presentations

Anind Dey , Boicho Kokinov , David Leake , Roy Turner , Patrick Brézillon
Anind DEY; Boicho KOKINOV; David LEAKE; Roy TURNER; Patrick BRÉZILLON. 5th International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT-05), Jul 2005, Paris, France. lip6.2005.007, LIP6, 2005
Proceedings hal-02549803v1
Image document

Proceedings of the Doctoral Consortium (CONTEXT-05)

Chiara Ghidini , Bich-Liên Doan , Patrick Brézillon
Chiara GHIDINI; Bich-Liên DOAN; Patrick BRÉZILLON. 1er Consortium d'Étudiants associé avec la 5ème Conférence Internationale et Interdisciplinaire sur la Modélisation et l'Utilisation du Contexte (CONTEXT-05), Jul 2005, Paris, France. lip6.2005.006, LIP6, 2005
Proceedings hal-02549779v1
Image document

Minimizing Places Storage Capacities of a Weighted Event Graph.

Olivier Marchetti , Alix Munier-Kordon
[Research Report] lip6.2005.005, LIP6. 2005
Reports hal-02545681v1
Image document

CTL-property transformations along an incremental design process

Cécile Braunstein , Emmanuelle Encrenaz
[Research Report] lip6.2005.003, LIP6. 2005
Reports hal-02545676v1
Image document

A Sufficient Condition for the Liveness of Weighted Event Graphs

Olivier Marchetti , Alix Munier-Kordon
[Research Report] lip6.2005.004, LIP6. 2005
Reports hal-02545677v1
Image document

A new tools for computing Galois Groups and Galois Ideals

Sebastien Orange , Guénaël Renault , Annick Valibouze
[Research Report] lip6.2006.002, LIP6. 2005
Reports hal-02545692v1
Image document

Corps de décomposition de groupe de Galois PSL(2,7)

Annick Valibouze
[Rapport de recherche] lip6.2005.001, LIP6. 2005
Reports hal-02545672v1
Image document

A dynamic programming algorithm for minimizing the total duplication cost in scheduling an outtree with communication delays

Claire Hanen , Dalila Tayachi
[Research Report] lip6.2004.008, LIP6. 2004
Reports hal-02545670v1
Image document

Ordonnancements périodiques pour contraintes de précédence linéaires

Claire Hanen , Alix Munier-Kordon
[Rapport de recherche] lip6.2004.007, LIP6. 2004
Reports hal-02545669v1
Image document

BBFoc

Stéphane Fechter , Olivier Boite
[Rapport de recherche] lip6.2004.002, LIP6. 2004
Reports hal-02545666v1
Image document

Towards a formal definition of the Foc language

Stéphane Fechter , Catherine Dubois
[Research Report] lip6.2004.001, LIP6. 2004
Reports hal-02545623v1
Image document

Introduction of Mobility for Distributed Numerical Simulation Frameworks : a Formal Study

Grégory Haïk
[Research Report] lip6.2003.008, LIP6. 2004
Reports hal-02545665v1
Image document

A full formalisation of the Bell and La Padula security model

Emmanuel Gureghian , Thérèse Hardin , Mathieu Jaume
[Research Report] lip6.2003.006, LIP6. 2003
Reports hal-02545660v1
Image document

Dynamical control of converging sequences using Discrete Stochastic Arithmetic

Fabienne Jézéquel
[Research Report] lip6.2003.012, LIP6. 2003
Reports hal-02545506v1
Image document

CALCULEMUS-2003 - 11th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, September 10-12 2003, Roma, Italy

Thérèse Hardin , Renaud Rioboo
Thérèse Hardin; Renaud Rioboo. CALCULEMUS-2003 - 11th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Sep 2003, Rome, Italy. lip6.2003.010, LIP6; Aracne Editrici, 2003
Proceedings hal-02549766v1
Image document

Calcul efficace de corps de décomposition

Sébastien Orange , Guénaël Renault , Annick Valibouze
[Rapport de recherche] lip6.2003.005, LIP6. 2003
Reports hal-02545653v1
Image document

Corps de décomposition d'un polynôme réductible

Sébastien Orange , Guénaël Renault , Annick Valibouze
[Rapport de recherche] lip6.2003.004, LIP6. 2003
Reports hal-02545651v1