Cette thèse étudie le rôle des brevets essentiels pour la coordination de l'innovation dans les standards des Nouvelles Technologies d'Information et de Communication (NTIC). Les firmes actives dans la standardisation ont réagi au défi de la marée de brevets essentiels en créant des mécanismes innovateurs de coordination, et notamment des consortia informels de standardisation et des pools de brevets. La thèse met en lumière le mécanisme d'appropriation original que représentent les brevets essentiels. Ce mécanisme peut cependant générer des incitations à recourir à des stratégies opportunistes. Les pools de brevets peuvent exacerber ces incitations, mais induisent également une augmentation du nombre de brevets déposés autour des standards technologiques. Les consortia informels ont un effet positif sur le nombre de brevets liés aux standards si les incitations à innover sont insuffisantes. L'effet des consortia est plus faible, voire négatif, si les incitations à innover sont excessives. Les brevets essentiels influencent le progrès technologique des standards, notamment en donnant lieu à un progrès plus continu, consistant dans de nombreuses mises à jour et évitant les remplacements de standards.

Nous présentons un ensemble de méthodes pour la vérification et la commande de systèmes continus et hybrides, basées sur l'utilisation de trajectoires individuelles. Dans une première partie, nous précisons la classe des systèmes considérés et leurs propriétés. Nous partons de systèmes continus régis par des équations différentielles ordinaires auxquels nous ajoutons des entrées et des événements discrets, constituant ainsi une classe de systèmes dynamiques hybrides. La seconde partie est consacrée à la vérification de ces systèmes basée sur le calcul d'atteignabilité. Nous étudions comment un nombre fini de trajectoires peut couvrir l'ensemble infini des états atteignables du système. Nous montrons qu'en utilisant une analyse de la sensibilité aux conditions initiales, une sur-approximation de l'ensemble atteignable peut être obtenue. Nous en déduisons un algorithme qui, par une sélection hiérarchique des trajectoires, trouve rapidement un comportement mauvais ou prouve qu'il n'en existe aucun. La troisième partie concerne la commande optimale et se base sur des techniques de programmation dynamique approchée. Un coût est défini pour chaque trajectoire, et la commande minimisant ce coût se déduit d'une fonction valeur définie sur l'espace d'état et que nous représentons en utilisant un approximateur de fonction . Nous utilisons l'expérience fournie par des trajectoires tests pour améliorer cette approximation. Enfin, nous utilisons les résultats de la deuxième partie pour sélectionner ces trajectoires en cohérence avec les propriétés de généralisation locales de l'approximateur de fonction et en restreignant l'exploration de l'espace d'état pour limiter les calculs.

Les modèles dynamiques de l'intéraction virus/système immunitaire basés sur des systèmes d'équations différentielles ordinaires sans solution ont considérablement amélioré la connaissance de certains virus comme le VIH et le VHC. <br />En raison des difficultés statistiques et numériques d'estimation des paramètres de ces modèles, les premiers résultats dans la littérature ont été obtenus en faisant des estimations patient par patient sur des modèles simplifiés et linéarisés. Toutefois, ceux-ci ne permettent pas de considérer la dynamique de l'infection dans son ensemble. C'est pourquoi certains auteurs ont proposé récemment des approches Bayésiennes d'estimation des paramètres sur des modèles non-simplifiés. En outre, celles-ci sont proposées dans un cadre de population, où l'information issue des variabilité inter-patients est prise en compte.<br />Dans cette thèse, nous proposons une voie alternative à ces travaux, en développant une approche fréquentiste pour l'estimation des paramètres. La complexité de ces modèles rendant les logiciels existants non-adéquats, nous développons une méthode originale d'estimation des paramètres, qui utilise la structure particulière de ces modèles. Nous montrons la robustesse de cette approche et l'appliquons aux données de l'essai ANRS ALBI 070, en intégrant le problème méthodologique des données virologiques censurées. Nous fournissons notamment une estimation $in~vivo$ de l'effet différentiel d'efficacité de deux stratégies de traitements et illustrons de ce fait l'intérêt de cette approche pour définir un critère alternatif d'analyse des essais cliniques. Enfin, nous proposons une méthode d'étude de l'identifiabilité des modèles dynamiques du VIH. Nous montrons ainsi l'impact qu'auraient de nouvelles quantifications pour améliorer l'identifiabilité de ces modèles et, corollairement, nous discutons les limites de l'utilisation de ces modèles au vu des données habituellement disponibles.

La thèse porte sur les effets d'anisotropie induits par croissance d'interface rugueuse en solidification directionnelle. Ceux-ci se manifestent notamment par des directions de croissance variables des structures et des phénomènes morphologiques associés importants : dissymétrie, long cortège de branchements, instabilités. Cette étude est menée dans un premier temps sur des structures homogènes avant d'être étendue à des situations inhomogènes. Lorsque la vitesse de croissance augmente, la direction de croissance des dendrites s'oriente depuis une direction macroscopique donnée par le gradient thermique jusqu'à une direction microscopique fixée par les symétries cristallines. Leur étude expérimentale exhaustive a fourni ici un grand nombre de données dont le traitement a révélé une symétrie interne. Celle-ci conduit à la sélection d'une loi d'orientation fonction du nombre de Péclet et de l'écart entre les directions fixes macroscopique et microscopique du problème. Une nouvelle définition de la taille caractéristique des structures a cependant permis d'exprimer l'orientation relative des dendrites en fonction du seul nombre de Péclet par une courbe devenue indépendante de l'angle entre les deux directions fixes. La nouvelle loi ainsi obtenue est universelle car elle est indépendante de l'intensité du gradient thermique, des caractéristiques d'anisotropie et même de la nature de l'alliage solidifié. Enfin, l'application locale aux fronts inhomogènes des résultats obtenus sur les fronts homogènes permettent de comprendre la dynamique propre engendrée par des variations de taille de structures, d'orientation et d'intensité du gradient thermique.

Les réseaux mobiles ad hoc sont par nature instables et imprévisibles. De ces caractéristiques découle la difficulté à concevoir et analyser des algorithmes distribués garantissant certaines propriétés. C'est sur ce point que porte la contribution majeure de cette thèse. Pour amorcer cette étude, nous avons étudié quelques problèmes fondamentaux de l'algorithmique distribuée dans ce type d'environnement. Du fait de la nature de ces réseaux, nous avons considéré des modèles de calculs locaux, où chaque étape ne fait collaborer que des n\oe uds directement voisins. Nous avons notamment proposé un nouveau cadre d'analyse, combinant réétiquetages de graphes dynamiques et graphes évolutifs (modèle combinatoire pour les réseaux dynamiques). Notre approche permet de caractériser les conditions de succès ou d'échec d'un algorithme en fonction de la dynamique du réseau, autrement dit, en fonction de conditions nécessaires et/ou suffisantes sur les graphes évolutifs correspondants. Nous avons également étudié la synchronisation sous-jacente aux calculs, ainsi que la manière dont une application réelle peut reposer sur un algorithme de réétiquetage. Un certain nombre de logiciels ont également été réalisés autour de ces travaux, notamment un simulateur de réétiquetage de graphes dynamiques et un vérificateur de propriétés sur les graphes évolutifs.

Dans la péninsule du Cap Bon, située au Nord Est de la Tunisie, le boisement des dunes de Menzel<br />Belgacem constitue l'une des premières tentatives de reconstitution de la forêt sous le protectorat<br />français. Depuis 1930, les sables connaissent une stabilisation progressive et, aujourd'hui, la<br />nouvelle forêt a pris le dessus sur les accumulations dunaires. La forêt de Dar Chichou, de plus de<br />6000 ha d'un seul tenant, représente un remarquable exemple de forêt dunaire méditerranéenne.<br />L'étude entreprise cherche avant tout à réaliser un bilan des interventions menées par les services<br />forestiers depuis le début du XXème siècle. L'approche adoptée repose sur l'utilisation de données<br />issues de télédétection, confrontées à des relevés de terrain, pour la réalisation d'une carte des unités<br />paysagères.<br />La région Nord du Cap Bon, où l'empreinte du domaine littoral est omniprésente, se caractérise par<br />une évolution très rapide du milieu naturel et par d'importantes transformations paysagères. Les<br />aménagements en cours sont nombreux et les attentes de la société y sont très pressantes et souvent<br />contradictoires. Ainsi notre étude tentera de participer à l'analyse des changements qui ont affecté<br />les caractéristiques paysagères de la région. La comparaison de données géoréférencées multidates<br />permet de suivre l'évolution de l'espace rural dans le nord du Cap Bon depuis les années 1900. Elle<br />montre une modification sensible des paysages qui s'illustre, en particulier, par la mise en forêt<br />progressive de l'importante écharpe dunaire de Dar Chichou.<br />Nous tenterons de démontrer l'intérêt d'une telle méthodologie pour parvenir à la proposition de<br />nouveaux modes de gestion capables d'intégrer les diverses fonctions du milieu forestier.

Dans la péninsule du Cap Bon, située au Nord Est de la Tunisie, le boisement des dunes de Menzel<br />Belgacem constitue l'une des premières tentatives de reconstitution de la forêt sous le protectorat<br />français. Depuis 1930, les sables connaissent une stabilisation progressive et, aujourd'hui, la<br />nouvelle forêt a pris le dessus sur les accumulations dunaires. La forêt de Dar Chichou, de plus de<br />6000 ha d'un seul tenant, représente un remarquable exemple de forêt dunaire méditerranéenne.<br />L'étude entreprise cherche avant tout à réaliser un bilan des interventions menées par les services<br />forestiers depuis le début du XXème siècle. L'approche adoptée repose sur l'utilisation de données<br />issues de télédétection, confrontées à des relevés de terrain, pour la réalisation d'une carte des unités<br />paysagères.<br />La région Nord du Cap Bon, où l'empreinte du domaine littoral est omniprésente, se caractérise par<br />une évolution très rapide du milieu naturel et par d'importantes transformations paysagères. Les<br />aménagements en cours sont nombreux et les attentes de la société y sont très pressantes et souvent<br />contradictoires. Ainsi notre étude tentera de participer à l'analyse des changements qui ont affecté<br />les caractéristiques paysagères de la région. La comparaison de données géoréférencées multidates<br />permet de suivre l'évolution de l'espace rural dans le nord du Cap Bon depuis les années 1900. Elle<br />montre une modification sensible des paysages qui s'illustre, en particulier, par la mise en forêt<br />progressive de l'importante écharpe dunaire de Dar Chichou.<br />Nous tenterons de démontrer l'intérêt d'une telle méthodologie pour parvenir à la proposition de<br />nouveaux modes de gestion capables d'intégrer les diverses fonctions du milieu forestier.

La ville est un habitat ‘neuf', dynamique et encore peu étudié, le plus souvent sous l'angle des communautés d'espèces et peu sous celui des populations. Souvent traité comme une matrice hostile au vivant, cet habitat est pourtant propice à la colonisation et au maintien d'espèces comme la pie bavarde. Ce travail traite des causes et des conséquences de la colonisation et de l'établissement récents de la pie en France dans les paysages urbanisés. Elle part d'une question locale sur le contrôle des populations dans les parcs urbains (Département de la Seine-Saint-Denis) car la pie est un prédateur de passereaux au nid et ses forts effectifs en ville inquiètent. Mais si globalement les effectifs de pies sont en croissance en ville, ils seraient aussi en déclin à la campagne. Les 2 objectifs de cette thèse ont donc été de comprendre ce contraste d'évolution des populations entre ville et campagne et d'évaluer l'impact de la pie sur la conservation des autres espèces d'oiseaux.<br />Nous montrons l'influence de l'habitat le long d'un gradient urbain sur le fonctionnement spatial et la démographie des populations de pies. La croissance des effectifs en ville implique une meilleure fécondité et la disparition locale des populations à la campagne serait due à une baisse de la survie des populations. A la campagne, nos résultats tendent à prouver les effets négatifs du piégeage. Nous montrons aussi les effets de la qualité de l'habitat notamment au travers de la nourriture apportée par l'homme en ville. En revanche, la corneille noire, une espèce en croissance et le principal compétiteur et prédateur de la pie, n'aurait pas impact sur la dynamique d'évolution des pies en France.<br />Quelles implications pour la gestion des populations de cette espèce considérée comme ‘nuisible' ? Quelles sont les conséquences de l'expansion rapide de la pie dans les parcs urbains sur l'avifaune native ? Testé par un retrait expérimental de pies, nous ne montrons pas d'impact de ce prédateur sur les populations et les communautés d'oiseaux. A l'avenir, si le contrôle des populations de pies était nécessaire, nous présentons les meilleures stratégies de piégeage afin de permettre un contrôle local des effectifs sans compromettre la conservation de cette espèce en France.

Nous proposons dans ces travaux une étude des marches aléatoires dans l'algorithmique distribuée pour les réseaux dynamiques. Nous montrons dans un premier temps que les marches aléatoires sont un outil viable pour la conception d'algorithmes distribués. Ces <br />algorithmes reposent principalement sur les trois propriétés fondamentales des marches aléatoires (Percussion, Couverture, Rencontre). Nous fournissons une méthode qui évalue <br />le temps ́ecoulé avant que ces trois propriétés soient vérifiées. Cela nous permet d'évaluer de la complexité de nos algorithmes. Dans un second temps, nous proposons l'utilisation d'un jeton circulant aléatoirement sous forme de mot circulant afin de collecter sur ce jeton des informations topologiques. Ces informations permettent la construction et la maintenance d'une structure couvrante du réseau de communication. Ensuite, nous <br />avons utilisé cette structure pour concevoir un algorithme de circulation de jeton tolérant aux pannes pour les environnements dynamiques. Cet algorithme a la particularité d'être complètement décentralisé. Nous proposons dans un dernier temps d'adapter notre circulation de jeton pour proposer une solution au problème d'allocation de ressources dans les réseaux ad-hoc.

Dans cette thèse, nous résolvons le problème de reconstruire simultanément une représentation de la géométrie du monde, de la trajectoire de l'observateur, et de la trajectoire des objets mobiles, à l'aide de la vision. Nous divisons le problème en trois étapes : D'abord, nous donnons une solution au problème de la cartographie et localisation simultanées pour la vision monoculaire qui fonctionne dans les situations les moins bien conditionnées géométriquement. Ensuite, nous incorporons l'observabilité 3D instantanée en dupliquant le matériel de vision avec traitement monoculaire. Ceci élimine les inconvénients inhérents aux systèmes stéréo classiques. Nous ajoutons enfin la détection et suivi des objets mobiles proches en nous servant de cette observabilité 3D. Nous choisissons une représentation éparse et ponctuelle du monde et ses objets. La charge calculatoire des algorithmes de perception est allégée en focalisant activement l'attention aux régions de l'image avec plus d'intérêt.