|
|<
<< Page précédente
1
2
3
4
5
6
7
8
Page suivante >>
>|
|
documents par page
|
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
Tri :
auteur
Date de référencement
Editeur
Titre
|
Unfolding based verification of concurrent infinite-state systems
Date de publication :
20090619 |
Auteur(s) :
Tran, the Quang, Bordeaux 1, Walukiewicz, Igor |
Origine de la fiche :
STAR : dépôt légal des thèses électroniques françaises
Nous proposons une technique de dépliage pour vérifier les systèmes concurrents infinis bien structurés. Certaines propriétés d'intérêt comme la bornitude, la couverture et la terminaison sont décidables grâce à la bonne structure de ces systèmes. D'autre part, le dépliage réduit efficacement l'explosion combinatoire en exploitant l'ordre partiel entre les événements des systèmes concurrents. Nous...
Référencé le :
06-11-2009
|
|
Unexpected correlates of stereotypic behaviour in domestic horses
Date de publication :
2009 |
Auteur(s) :
Benhajali, H., Richard-Yris, M.-A., Ezzaouia, M., Charfi, F., Jego, P., Hausberger, M., EthoS, UMR 6552, CNRS, Université de Rennes 1 |
Origine de la fiche :
Université de Rennes 1
Référencé le :
08-11-2010
|
|
Une méthodologie de diagnostic de la performance d'une chaîne logistique
Date de publication :
20090710 |
Auteur(s) :
VALLA, Anthony, BOTTA-GENOULAZ, Valérie |
Editeur(s) :
INSA de Lyon |
Origine de la fiche :
INSA de Lyon - DOC'INSA - CITHER
Le pilotage des chaînes logistiques a pris ces dernières années une importance grandissante dans la recherche de la performance des entreprises. L'analyse de tels systèmes étendus, des différents types de flux qui le compose et de leur coordination ont fait l'objet de nombreuses approches de modélisation du Génie Industriel. Cependant aucune des principales approches ne paraît adaptée pour une mod...
Référencé le :
10-07-2009
|
|
Une architecture logicielle et un langage métier pour la sécurité à base de politiques dans les systèmes distribués
Date de publication :
20090110 |
Auteur(s) :
Hamdi, Hedi, Bordeaux 1, Mosbah, Mohamed, Bouhoula, Adel |
Origine de la fiche :
STAR : dépôt légal des thèses électroniques françaises
Les systèmes distribués supportent l'exécution d'un grand nombre d'applications pouvant avoir des contraintes d'exécution différentes. La sécurité pour ces systèmes possède une influence déterminante sur les performances et la qualité de service de ces applications. Le recours à la sécurité à base de politiques pour sécuriser ces systèmes est particulièrement attrayant. Toutefois, cette approche i...
Référencé le :
06-11-2009
|
|
Une analyse de l'intégration organisationnelle et informationnelle. Application aux systèmes d'information de type ERP
Date de publication :
20090423 |
Auteur(s) :
MILLET, Pierre-Alain, BOTTA-GENOULAZ, Valérie |
Editeur(s) :
INSA de Lyon |
Origine de la fiche :
INSA de Lyon - DOC'INSA - CITHER
Les systèmes d'information (S.I.) d'entreprise se construisent à partir de progiciels configurés, intégrés et déployés dans des organisations en mouvement. Les enjeux d'efficacité des projets, d'efficience des usages, de performances opérationnelles, d'alignement aux stratégies d'entreprise sont connus. Ils fondent la problématique de l'intégration organisationnelle et informationnelle, avec la gé...
Référencé le :
23-04-2009
|
|
Two approaches to the study of detached flows
Date de publication :
20090424 |
Auteur(s) :
Ottino, Gabriele, Bordeaux 1, Politecnico di Torino, Zannetti, Luca, Iollo, Angelo |
Origine de la fiche :
STAR : dépôt légal des thèses électroniques françaises
On étudie des phénomènes de séparation d'écoulement avec deux approches différentes. Dans la première partie, on considère des écoulements 2D, instationnaires, incompressibles et non visqueux. Un modèle analytique-numérique, basé sur la jonction d'une transformation conforme et d'une méthode aux tourbillons ponctuels, est construit pour définir l'écoulement potentiel dans un domaine doublement con...
Référencé le :
06-11-2009
|
|
Transport de fluides miscibles à propriétés physiques variables en cellule Hele-Shaw.Comparaisons entre simulations numériques et mesures par LIF
Date de publication :
20090701 |
Auteur(s) :
Mainhagu, Jon, INPL, Buès, Michel, Oltean, Constantin |
Origine de la fiche :
STAR : dépôt légal des thèses électroniques françaises
L'étude décrite dans cette thèse porte sur l'injection ponctuelle d'une solution saline au sein d'une cellule dite de Hele-Shaw, afin de caractériser le comportement dispersif d'un polluant en milieu poreux. L'approche expérimentale employée est basée sur l'implémentation originale d'un dispositif de Fluorescence Induite par Laser (LIF) dans la cellule. La mise en place d'un protocole de mesure ef...
Référencé le :
15-12-2009
|
|
Transport de colloïdes en milieu poreux : étude expérimentale
Date de publication :
20090709 |
Auteur(s) :
Canseco, Vladimir, Bordeaux 1, Bertin, Henri, Omari, Abdelaziz |
Origine de la fiche :
STAR : dépôt légal des thèses électroniques françaises
La thèse traite du transport de particules colloïdales en milieu poreux. L'influence des propriétés physico-chimiques et hydrodynamiques sur le dépôt et détachement de particules de latex a été étudiée en réalisant des expériences durant lesquelles des grandeurs macroscopiques (concentration dans les effluents, réduction de perméabilité) et microscopiques (variation de porosité par atténuation gam...
Référencé le :
06-11-2009
|
|
Transmission d'images sur les réseaux de capteurs sans fil sous la contrainte de l'énergie
Date de publication :
20090623 |
Auteur(s) :
Duran Faundez, Cristian Rodrigo, Nancy 1, Lepage, Francis, Lecuire, Vincent |
Origine de la fiche :
STAR : dépôt légal des thèses électroniques françaises
Parmi les nombreuses applications potentielles des réseaux de capteurs sans fil, celles utilisant des capteurs d'image sont appréciables pour tout ce qui concerne la détection, la reconnaissance et la localisation d'objets par la vision. Des capteurs de petite taille, peu gourmands en énergie et dotés d'une caméra existent déjà au stade de prototype, mais des algorithmes de traitement et de compre...
Référencé le :
06-11-2009
|
|
Transformations physiques, transformations psychiques ? Analyse psychopathologique de patientes obèses avant et après une chirurgie gastrique
Date de publication :
20090306 |
Auteur(s) :
Machaux, Deborah, Paris 10, Cupa, Dominique |
Origine de la fiche :
STAR : dépôt légal des thèses électroniques françaises
L’obésité, qui ne peut-être réduite qu’à un seul modèle de compréhension, est une maladie qui met en cause le bien-être physique, psychologique et social de l’individu. La prévalence et la gravité de l’obésité augmentent chaque année : équilibre alimentaire, activité physique, médicaments, et depuis quelques années chirurgie gastrique sont donc les différentes stratégies médicales proposées aux pe...
Référencé le :
06-11-2009
|
|
|
|<
<< Page précédente
1
2
3
4
5
6
7
8
Page suivante >>
>|
|
documents par page
|