Home
Browse
By stamp (LINA's teams)
By researchteam
List by year
List by document type
By authors in a lab
Document list
List by subject
Last articles
Search
Services
Create web page
Export a publication list
LINA website
841 articles – 1540 references
[version française]
.:.
Browse
>
List by year
> 2007 .:.
241 documents ordered by :
Date
Title
first author name
document type
Submit date
1
-
2
-
3
-
4
-
5
-
6
-
7
...
Evolution Structurelle dans les Architectures Logicielles à base de Composants
Sadou N.
Université de Nantes Ecole centrale de nantes - ECN (18/12/2007), Mourad Chabane Oussalah (Dir.) [tel-00488005 - version 1]
Integrating heterogeneous knowledges for understanding biological behaviors: a probabilistic approach
Bourdon J., Eveillard D., Gabillard S., Merle T.
[hal-00199362 - version 1] (2007-12-18)
Résolution par satisfaction de contraintes appliquée à l'aide à la décision en conception architecturale
Chenouard R.
Arts et Métiers ParisTech (2007-12-17), Patrick Sébastian (Dir.) [tel-00486662 - version 1]
Scorpio : une Approche d'Adaptation Structurelle de Composants Logiciels - Application aux Environnements Ubiquitaires
Bastide G.
Université de Nantes Ecole centrale de nantes - ECN (12/12/2007), Mourad Chabane Oussalah (Dir.) [tel-00488132 - version 1]
On the approximation of linear AE-solution sets
Goldsztejn A., Chabert G.
Dans
Proceedings of 12th GAMM - IMACS International Symposion on Scientific Computing, Computer Arithmetic and Validated Numerics
-
12th GAMM - IMACS International Symposion on Scientific Computing, Computer Arithmetic and Validated Numerics
, Allemagne (2006) [hal-00481284 - version 1]
Rigorous Inner Approximation of the Range of Functions
Goldsztejn A., Hayes W.
Dans
Proceedings of 12th GAMM - IMACS International Symposion on Scientific Computing, Computer Arithmetic and Validated Numerics
-
12th GAMM - IMACS International Symposion on Scientific Computing, Computer Arithmetic and Validated Numerics
, Allemagne (2006) [hal-00481215 - version 1]
Interval Extensions of Multivalued Inverse Functions
Goualard F.
[hal-00288457 - version 1] (17/06/2008)
Évolution dynamique des systèmes d'exploitation, une approche par la programmation par aspects
Loriant N.
Université de Nantes (07/12/2007), Gilles Muller (Dir.) [tel-00502124 - version 1]
Un modèle pour caractériser des participants autonomes dans un processus de médiation
Quiané-Ruiz J.-A., Lamarre P., Valduriez P.
[hal-00193941 - version 1] (05/12/2007)
Résolution par satisfation de contraintes appliquée à l'aide à la décision en conception architecturale
Chenouard R.
Ecole nationale supérieure d'arts et métiers - ENSAM (01/12/2007), Patrick Sebastian (Dir.) [tel-00482208 - version 1]