Dans cette thèse, on présente un cadre qui associe la spécification algèbrique de types à l'algèbre de programme. La principale caractéristique de cette approche est fournie par les opérateurs génériques définissables par les utilisateurs qui donnent une grande puissance d'expression aux règles d'équivalence. En particulier, la structure de certains types est contenue implicitement dans des opérateurs génériques comme l'homomorphisme et l'homomorphisme «inverse». Les applications de cette algèbre de programmes typés incluent la preuve de programmes sans induction explicite, et les méthodes de transformation de programmes comme le «folding-unfolding»

Cette étude s'inscrit dans le cadre d'un contrat établi entre le laboratoire Circuits et Systèmes et la SNCF. Ce contrat a pour objectif la conception et la validation d'un système de sécurité fer-rivière à base de microprocesseurs

Présentation de deux expériences d'utilisation du langage Prolog comme langage de spécification et comme langage de réalisation, dans un contexte de production de logiciels pour l'enseignement. Conception et réalisation d'un environnement de production de logiciels pour l'enseignement de la programmation : le système Tangram

.

Onze approches pour structurer, écrire, controler des applications reparties à activites parallèles. Présentation des d-modules. Description d'un langage. Exemple: écriture d'un petit systeme.

.

Des épisodes de précipitations intenses se produisent fréquemment sur les Alpes durant la saison automnale, occasionnant régulièrement de nombreux dégâts matériels et humains.<br />L'amélioration de leur prévision est un enjeu majeur de la météorologie opérationnelle actuelle.<br />En 1999, le programme MAP (Mesoscale Alpine Programme) a été mis en place afin de recueillir une base de données importante décrivant plusieurs de ces épisodes.<br />Certains de ces épisodes ont été simulés à l'aide du modèle non-hydrostatique Meso-NH.<br />L'attention est d'abord portée sur la sensibilité de la prévision d'un épisode fortement convectif au schéma microphysique utilisé, ainsi qu'aux conditions initiales. Ensuite l'étude est élargie à deux autres évènements et il est mis en évidence des comportements microphysiques différents en fonction des caractéristiques du flux incident.

Les problèmes de gestion optimale de l'information sont omniprésents sur les marchés financiers (délit d'initié, problèmes de défaut, etc). Leurs études nécessitent une conception stratégique des interactions entre agents : les ordres placés par un agent informé influencent les cours futurs des actifs par l'information qu'ils véhiculent. Cette possibilité d'influencer les cours n'est pas envisagée par la théorie classique de la finance. Le cadre naturel de l'étude des interactions stratégiques est la théorie des jeux. Cette thèse a précisément pour objet de développer une théorie financière basée sur la théorie des jeux. Nous prendrons comme base l'article de De Meyer et Moussa Saley , "On the origin of Brownian Motion in finance". Cet article modélise les interactions entre deux teneurs de marché asymétriquement informés sur le futur d'un actif risqué par un jeu répété à somme nulle à information incomplète. Cette étude montre en particulier que le mouvement Brownien, souvent utilisé en finance pour décrire la dynamique des prix, a une origine partiellement stratégique : il est introduit par les acteurs informés afin de tirer un bénéfice maximal de leur information privée. Cette thèse traite de diverses extensions de ce modèle concernant l'influence de la grille des prix, l'asymétrie bilatérale d'information, le processus de diffusion de l'information.

La politique urbaine a pour objet d‟agir sur la gestion des villes afin d‟améliorer le bien-être des résidants. En Angleterre, l‟Etat est intervenu dès le XVIIème siècle afin de soulager les mauvaises conditions de vie des plus pauvres en agissant sur l‟hygiène et le logement. Puis la ville s‟agrandissant, les désordres liés au surpeuplement se sont multipliés, spécialement dans les zones les plus dépourvues des centres-villes. C‟est à Londres que ceux-ci ont été les plus criants et les besoins de solutions les plus urgents. Ainsi, pour permettre une gestion plus efficace des délits urbains, la gouvernance de la capitale britannique a été réformée. C‟est ce à quoi se sont attelés les Travaillistes dès leur arrivée au pouvoir en 1997, et ils ont en même temps donné une nouvelle impulsion à la politique en direction des villes en favorisant les aspects sociaux, environnementaux de la rénovation urbaine, tout en comptant sur l‟investissement des communautés. Et l‟adoption de la politique dite de la Troisième Voie fut un pas essentiel en ce qu‟elle ne rejetait plus le secteur privé mais l‟acceptait, au contraire, comme partenaire privilégié. Islington, l‟un des boroughs les plus petits de Londres, a la particularité de jouxter une des zones les plus prospères du monde : la City de Londres. Cependant, il présente des caractéristiques sociales communes aux zones les plus pauvres du pays. Les programmes qui y ont été lancés ont pris en compte cette spécificité. L‟analyse de ces projets nous permet de passer en revue la politique de rénovation telle qu‟elle a été voulue par les Travaillistes de 1997 à 2010, d‟essayer d‟en tirer des bilans et de tenter de pointer les défis auxquels les villes vont être confrontées.

Notre travail interroge les relations entre l'action culturelle et l'hôpital psychiatrique au sein du programme " Culture à l'hôpital ". Ce dernier s'inscrit dans la politique culturelle menée en direction des " publics empêchés ". Porteur d'enjeux multiples, tant du côté des ministères, des directions hospitalières, du personnel que des artistes, ce programme interroge, bouscule l'institution hospitalière et peut parfois être source de conflits. Son étude permet de mettre en évidence l'originalité d'un dispositif particulier : l'atelier culturel. Prenant en compte la logique de projet dans laquelle l'atelier s'intègre, nous interrogeons les effets que ce dispositif peut avoir sur l'institution hospitalière et ses acteurs.Notre étude s'est déroulée sur trois terrains (hôpital du Vinatier, Fondation Bon Sauveur d'Alby et hôpital de Montfavet). Nous avons mobilisé différents corpus : des entretiens, des conventions ainsi que des documents internes aux établissements hospitaliers (projets d'établissement, projets de service, documents de travail d'artistes).Les principaux résultats de la recherche concernent deux axes, l'un relatif au champ hospitalier, l'autre à celui de la médiation culturelle. L'atelier culturel est un nouveau dispositif communicationnel au sein de l'hôpital, il est l'élément tiers dans l'acte de médiation. L'objet artistique y est moins finalité que support de la relation dans la triade patients-soignants-artistes. Le sens donné à l'intervention artistique est redéfinit, le partage d'une expérience esthétique importe plus que la réalisation de l'oeuvre.Pour les personnes hospitalisées, l'atelier culturel représente un en-dehors dans le temps d'hospitalisation, un nouvel espace d'expression bénéfique tant sur le plan social qu'identitaire. L'atelier culturel permet de contrebalancer la rigidité du cadre institutionnel. Les rapports entre participants (patients, soignants) se voient " redistribués " le temps de l'atelier. Une fois ce dernier terminé, les retombées de ce dispositif perdurent au travers d'une modification des représentations sociales sur la maladie mentale, l'institution psychiatrique et ses acteurs. On assiste également à une réappropriation de l'expérience vécue par le personnel. Pour ces professionnels du soin, ce qui s'est déroulé en atelier peut être repris au sein des services, dans la perspective d'améliorer la prise en charge globale des patients. Par la même, il s'agit d'une quête de légitimité tant sur le plan identitaire que professionnel