• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 252
  • 52
  • 20
  • 14
  • 6
  • 6
  • 1
  • 1
  • 1
  • 1
  • Tagged with
  • 382
  • 165
  • 48
  • 45
  • 43
  • 40
  • 39
  • 34
  • 32
  • 27
  • 27
  • 26
  • 24
  • 23
  • 22
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
151

Abstraction temporelle et interprétation quantitative/qualitative de processus à dynamiques multiples. Application aux processus biologiques

Ayrolles, Laurent 22 January 1996 (has links) (PDF)
Une caractéristique des systèmes dynamiques complexes, qu'ils soient physiques ou naturels, est la présence de processus évoluant à différentes échelles de temps (dynamiques multiples) et de façon fortement non-linéaire. Nous nous plaçons dans le cas où l'évolution de chaque processus étudié est une série de mesures, ou bien est issue de la simulation de modèles numériques. Pour concevoir ou améliorer ces modèles en se basant sur l'échelle qui l'intéresse, l'utilisateur doit d'abord être capable de représenter l'évolution de chaque processus à plusieurs échelles, déterminées objectivement selon l'évolution elle-même. Ensuite, le choix d'une ou de plusieurs représentations doit être guidé par l'interprétation des caractéristiques dynamiques à chaque échelle de temps. Nous définissons une notion de granularité temporelle, exprimant le niveau de détail de la représentation. Ayant affaire à des processus biologiques dont la forme de l'évolution est plus informative pour l'utilisateur que les valeurs numériques précises, une représentation qualitative/quantitative est élaborée : une segmentation de l'évolution initiale en épisodes triangulaires (exprimant différentes formes de comportements locaux), puis l'abstraction successive de ces épisodes triangulaires en épisodes trapézoïdaux, conduisent à l'obtention de toutes les représentations possibles de l'évolution, et de toutes les échelles de temps associées. Le développement d'outils graphiques, symboliques et statistiques permet d'identifier et d'interpréter automatiquement les principales caractéristiques dynamiques du processus à n'importe quelle échelle de temps : équilibre, stabilité, périodicité, récurrence, comportements majoritaires, etc. Ces caractéristiques permettent de conseiller un choix d'échelles de temps et, par suite, de fréquences d'échantillonnage pertinentes. Une fonctionnalité suppl émentaire vise à identifier et à dissocier localement les composantes fréquentielles de l'évolution initiale. Des exemples d'interprétation sont donnés pour deux modèles biologiques. Les analyses sont confrontées à la connaissance experte d'un agronome pour la validation de la méthode. Ce travail a conduit à la conception du logiciel PARADISE (Process AbstRaction AnD Interpretation SystEm)
152

Model-checking pour les ambients des algèbres de processus aux données semi-structurées /

Talbot, Jean-Marc Tison, Sophie. January 2007 (has links)
Reproduction de : Habilitation à driger des recherches : Sciences mathématiques. Informatique : Lille 1 : 2005. / N° d'ordre (Lille 1) : 494. Titre provenant de la page de titre du document numérisé. Bibliogr. p. 87-95. Liste des publications.
153

L'icône autopoïétique : l'architecture de la renaissance culturelle à Toronto (1999-2010)

Éthier, Guillaume 04 1900 (has links) (PDF)
Le point de départ de cette recherche est une réflexion sur la notion « d'architecture iconique ». Au cours des années 2000 est apparu, dans de nombreuses villes occidentales, un type de stratégie de régénération urbaine basé sur l'expérience de Bilbao en Espagne. Selon ce modèle, il suffit d'ériger un édifice culturel spectaculaire pour engendrer des transformations dans l'évolution d'une ville. Dans la littérature sur la question, on qualifie ainsi « d'iconique » cette architecture qui, par définition, se confond et se substitue, par sa singularité, à l'image de marque de la ville. Si cette architecture réalisée par des architectes de prestige (qualifiés de starchitectes) se veut d'abord stratégique, on se bute à un problème plus complexe lorsqu'on tente de déterminer le message connoté qu'elle véhicule. Les icônes demeurent en effet profondément énigmatiques sur le plan symbolique parce qu'elles mettent en scène des formes abstraites et sculpturales. Un fait singulier semble cependant émerger à leur étude : tous les édifices iconiques présentent une rupture importante avec leur contexte d'implantation. Nous sommes ainsi amenés à les ressaisir comme des objets dont la logique culturelle consiste à se distinguer de leur milieu (forme iconique) pour ensuite rétroagir sur lui de manière à le transformer (fonction iconique). Paradoxalement, comme nous en faisons la démonstration, le rapport « autopoïétique » de l'icône relativement à son contexte la place en rapport de dépendance avec celui-ci. Ainsi, la mise en récit de ces édifices décontextualisés nous montre qu'en réalité, leur « distinction » est tributaire d'un discours où le contexte duquel ils cherchent à s'extraire occupe une place prépondérante. C'est à partir de ce cadre d'analyse que nous allons reconsidérer quatre édifices construits à Toronto au cours des années 2000 dans une période qu'il est convenu d'appeler la Renaissance culturelle torontoise. Véritable point de mire et inspiration de cette étude, le cas torontois nous permet d'aborder la question de l'architecture iconique dans un cadre qui offre à l'analyse plusieurs édifices construits simultanément. En dernière instance, cette thèse tente de replacer l'architecture iconique dans la lignée d'une discussion sur le monument et cherche, par le fait même, à considérer ce type de représentation architecturale à l'aune de la crise de représentation propre à la postmodernité. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Effet Bilbao, architecture iconique, Toronto, Renaissance culturelle torontoise, style Toronto, effet Toronto, ville créative, régénération urbaine par la culture, OCAD, AGO, ROM, Four Seasons Centre, Will Alsop, Daniel Libeskind, Frank Gehry, Jack Diamond, autopoïèse, théorie systémique autoréférentielle, architecture spectaculaire, icône, transformation identitaire des villes, starchitecture, architecture stratégique.
154

La perversion féminine : la femme existe?

Derouiche, Kaouther 25 November 2013 (has links) (PDF)
Ce travail porte sur d'une part l'interrogation sur l'existence de la perversion féminine, rarissime voire inexistante d'après les écrits fondamentaux de la psychanalyse, et de l'autre part sur l'exploration de la dynamique propre au montage pervers au féminin. Si la femme qui se situe du côté de l'amour a amené Lacan a énoncé la maxime célèbre, celle de la femme n'existe pas, puisqu'elle n'est " pas toute " et que la femme ne s'écrit que barrée, la femme perverse se révèlera être l'envers de la femme. De ce fait, la femme perverse prône l'existence de la femme et sa possible écriture. Le montage pervers de la femme perverse bafoue la loi de la différence des sexes en aboutissant à une falsification outrancière des formules de la sexuation. Ainsi, il s'agit d'une perversion féminine comme imposture. En effet, l'imposture perverse de la femme perverse se déploie à travers l'identité factice que la femme perverse se fabrique afin de contrer l'autre femme, celle qui n'existe pas. D'emblée, la prévalence imaginaire chez la femme perverse est le mécanisme qui permet à la perverse d'avoir la foi dans la possession d'un phallus, d'une part largement supérieur à celui de l'homme, puisqu'il n'est pas borné par la détumescence et d'autre part, la relevant au rang de l'exception, puisqu'elle est la seule femme à le détenir. La mise en scène perverse, dont l'ancrage est imaginaire, opère dans les filets signifiant du symbolique. En effet, le symbolique, scène de la loi de la différence des sexes, se trouve bafoué et souillé. Ainsi, c'est ce savoir autre, sorte de " sur-savoir ", prôné par la femme perverse qui divise l'autre, -témoin sidéré-, et perdure son illusion, sa foi, dans l'avoir du phallus. Toutefois, derrière cette armure d'invincible se révèle une angoisse à la teinte mélancolique, connectée à l'insignifiance du sexe féminin. Ainsi, c'est ce non-lieu de la femme auquel la femme perverse par imposture et simulacre s'invente un lieu, qui constitue l'angoisse de laquelle la femme perverse se prémunit.
155

Le témoignage public des femmes vivant avec le VIH/sida au sein du projet VIHsibilité : analyse féministe et interactionniste d'une forme d'intervention sociale

Manseau-Young, Marie-Eve 02 1900 (has links) (PDF)
La présente recherche s'inscrit dans le cadre du projet de recherche-action VIHsibilité, dont le but est d'étudier l'environnement social et médiatique dans lequel les femmes et les hommes vivant avec le VIH témoignent publiquement de leur expérience de la séropositivité, afin de comprendre les retombées que ces représentations ont dans la vie des personnes séropositives et les façons dont ces récits transforment le discours social sur le VIH/sida. Nous avons circonscrit une partie du problème à l'étude afin d'explorer les enjeux individuels et collectifs qui sont spécifiques au témoignage public des femmes vivant avec le VIH (FVVIH). Au niveau individuel, le rejet social et la stigmatisation compliquent le dévoilement de la séropositivité. Le caractère déviant attribué à l'identité séropositive entraine souvent un sentiment de honte ainsi que la peur des préjugés et de la discrimination sociale chez les FVVIH. De plus, elles sont nombreuses à être préoccupées par les conséquences possibles de leur témoignage sur leurs proches et leurs enfants. Au plan collectif, on constate qu'une compréhension partielle et erronée du VIH/sida et de la réalité des FVVIH persiste encore aujourd'hui. La moins grande visibilité des femmes séropositives et la place occupée par les hommes gais dans la réponse communautaire au VIH/sida ont construit un portrait stéréotypé de l'épidémie. Ce mémoire vise à connaitre les conditions dans lesquelles les FVVIH témoignent, leurs motivations à témoigner ainsi que leurs perceptions des retombées possibles de cette révélation. Les dimensions théoriques qui sous-tendent notre analyse sont l'interactionnisme symbolique qui permet de comprendre le témoignage comme un processus dynamique et conjoint de construction de sens et d'action, et les analyses féministes qui permettent de cibler les spécificités genrées du témoignage. Pour procéder à la collecte et à l'analyse des résultats, nous avons privilégié une méthode qualitative de type exploratoire fondée sur une approche compréhensive. Nous avons procédé à la réalisation de sept (7) entretiens semi-dirigés auprès de femmes qui ont témoigné publiquement de leur séropositivité au Québec. Il ressort des résultats que le témoignage public apporte plusieurs bénéfices aux FVVIH, tels qu'un sentiment de libération, l'acceptation de la maladie et l'ouverture. Au niveau de la communauté des femmes séropositives, il permet la re-signification de l'identité souillée, l'élargissement de la participation citoyenne et l'empowerment des FVVIH. L'analyse démontre aussi que le témoignage révèle une expérience genrée de la maladie qui permet de transformer l'image de la population séropositive, de consolider la communauté des FVVIH, d'éduquer la population et de transformer le discours sur la maladie. Finalement, nous formulons des recommandations à l'intention des organismes communautaires et du travail social afin d'améliorer l'accompagnement des FVVIH qui témoignent publiquement. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : femmes, VIH/sida, témoignage, travail social, intervention sociale, VIHsibilité.
156

"Je monstre un singe acoustré en damoiselle" : représentations et identités simiesques dans les polémiques religieuses en France (1542-1584)

Lafleur, Benoît 05 1900 (has links) (PDF)
La recherche sur le symbolisme animalier en Occident est un objet d'histoire à part entière que recouvre désormais le domaine pluridisciplinaire de la zoohistoire. Des études spécialisées montrent que diverses sources textuelles et iconographiques regorgent de nombreuses représentations simiesques, malgré le fait que cet animal soit peu présent physiquement sur le sol européen. Néanmoins, toutes les analyses de sources culturelles convergent en témoignant de manière très cohérente sur les multiples caractéristiques que l'homme occidental prête intrinsèquement à cet animal, mais dans un rapport diamétralement opposé à notre perception contemporaine de la figure simiesque, amusante et sympathique. En effet, de l'Antiquité jusqu'au milieu du XXe siècle, les représentations simiesques ont systématiquement une connotation péjorative. Ce mémoire de maîtrise porte sur la construction du mythe simiesque, sur sa présence symbolique itérative dans la culture et son utilisation dans la société. Une incursion dans le cadre spatio-temporel de la France au XVIe siècle, et en particulier dans un rapport historiographique étroit avec les guerres de Religion, s'avère être un terrain d'étude propice pour circonscrire de manière précise les concepts de représentation et d'identité en les appliquant aux échanges de la polémique religieuse entre les protestants et les catholiques. Durant cette période, la représentation simiesque sert d'arme symbolique et identitaire pour les polémistes religieux. Le but recherché est de discréditer l'autre en le représentant sous les traits animalisés du singe, qui endosse une multiplicité de rôles, allant de la figure d'inversion comique et carnavalesque du théâtre populaire à la figure diabolique et hérétique d'un théâtre infernal de la désolation. Les analyses démontrent une évolution diachronique dans l'utilisation de la représentation simiesque en France et qui suit sensiblement le même mouvement que celui des tensions politiques et sociales. En comparant les représentations conceptuelles du « singe religieux » produites par les polémistes des deux camps et sur un court demi-siècle, nous isolons un indicateur probant de l'histoire culturelle qui nous permet de mesurer et de suivre, avec d'autres manifestations symboliques connexes, l'évolution des changements socioculturels en cours dans l'histoire de la France. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Histoire culturelle, France, Renaissance, Guerres de Religion, Zoohistoire, Symbolisme animalier, Singe, Animalisation, Polémique religieuse, Tradition, Mythes, Représentation, Identité.
157

L’esprit des institutions : le problème de la médiation institutionnelle dans la théorie critique contemporaine

Martin, Eric 10 January 2013 (has links)
Hegel réinscrit l’idée d’autonomie kantienne au sein d’une totalité organisée par des médiations qui constituent le sujet et lui livrent un contenu normatif venant mettre en forme sa pratique et lui assigner sa signification et sa place au sein du processus de reproduction de la société. La philosophie substitue à la morale abstraite une éthicité concrète (Sittlichkeit) objectivée au sein de médiation institutionnelle (l’esprit objectif). Cette conception incarnée de la moralité, exprimée par Hegel dans la Philosophie du droit sera l’objet d’une critique sévère par le marxisme au nom de l’émancipation de la puissance instituante de la société civile et des sujets, si bien que bon nombre d’interprètes contemporains de Marx le présentent comme un individualiste, un naturaliste et un économiciste. La théorie critique contemporaine, chez Axel Honneth, s’est-elle aussi repliée sur une conception naturaliste et intersubjectiviste de la théorie de la reconnaissance, puisée chez le jeune Hegel, où l’amour, l’amitié et la reconnaissance réciproque sont présentés comme des préalables à l’établissement d’une relation de communication, et servent de modèle pour penser l’ensemble du lien social. À l’encontre de ces approches, notamment à l’aide des travaux de Vincent Descombes et du sociologue québécois Michel Freitag, je cherche à revaloriser l’institutionnalisme hégélien et son concept d’esprit objectif. J’illustre aussi, avec Moishe Postone, comment toute théorie critique contemporaine doit, si elle espère réellement développer une critique des sociétés capitalistes avancées, pouvoir retrouver en Marx un penseur de la totalité et des médiations aliénées ou fétichisées (la forme-valeur) et articuler à la critique de la médiation des rapports sociaux par le travail abstrait une revalorisation de des médiations symboliques et politico-institutionnelles, de l’esprit objectif, en tant que seule la transcendance d’une dimension de sens objectivée peut suppléer à la régulation des rapports sociaux par la forme aliénée propre à la valeur abstraite. La revalorisation du concept d’esprit objectif hégélien, c’est-à-dire du pôle d’objectivité normative instituée, m’apparaît l’une des conditions sine qua non pour réorienter la théorie critique vers la dialectique qui, seule, lui évitera les écueils de l’intersubjectivisme, du dualisme et du nominalisme.
158

Natural deduction; a proof-theoretical study.

Prawitz, Dag. January 1900 (has links)
Akademisk avhandling--Stockholm. Universitet. / Bibliography: p. [106]-109.
159

L’art à Chypre de 1974 à 2014 : de l’espace fractionné au lieu symbolique / Art in Cyprus from 1974 to 2014 : from a divided space to a symbolic place

Asimenou, Monika 05 February 2015 (has links)
En 1974, l’île de Chypre s’est vue contrainte à la partition suite à une intervention militaire turque. Plus d’un tiers du territoire chypriote est encore occupé – en 2014 – par l’armée turque tandis qu’une ligne de démarcation, dite zone morte, protégée par les Casques bleus des Nations Unies, sépare les habitants de l’île entre d’un côté – au sud – les chypriotes grecs et de l’autre – au nord – les chypriotes turcs et les colons turcs.Le lieu symbolique que crée l’art à Chypre – ce territoire balafré – reproduit-il la dualité territoriale et les conséquences de la partition de l’île ? Objets de cette recherche sont les notions d’espace, de mémoire et d’histoire telles qu’elles apparaissent à travers le prisme artistique. Dans la perspective de l’histoire de l’art, cette thèse propose ainsi une analyse d’œuvres d’artistes chypriotes à travers les relations que ceux-ci entretiennent avec l’espace fractionné – le sud, le nord et la zone morte – et telles que ces relations sont révélées par les œuvres.Les créations artistiques évoquées traitent de la particularité de cet espace qui ici constitue très souvent le point de départ de la création de l’œuvre : des souvenirs du lieu perdu situé de l’autre côté de la ligne, de l’expérience de l’espace présent et de l’appropriation – concrète et métaphorique – de la zone morte. Elles mettent également en évidence la nostalgie tout en engendrant de nouvelles cartographies et en ouvrant – en vue d’une réconciliation – le champ des possibles. Chaque œuvre transgresse à sa manière – artistique, poétique et esthétique – la frontière. C’est ainsi que cet espace fractionné est susceptible de devenir « habitable ». / In 1974 the island of Cyprus was forcibly divided by a Turkish military intervention. Over a third of Cyprus' territory is still, in 2014, under occupation by the Turkish army. A demarcation line, known as the dead zone, manned by United Nations peacekeepers, separates the inhabitants of the island between on one side, the Greek Cypriots in the South, and on the other side, the Turkish Cypriots together with settlers from Turkey, in the North.Does this symbolic place that art creates, this scarred territory, reproduce the territorial duality and the consequences of the division of Cyprus? The object of this research is the notions of space, memory and history as they appear through the artistic view. From the perspective of the history of art, this thesis presents an analysis of the works of Cypriot artists through the relationships they maintain with the fragmented space – the South, the North and the dead zone – as these are revealed through the works of art.The artistic creations in question deal with the particularity of this fragmented space that often constitutes the starting point of the creation of the work of art : the memories of the lost place situated on the other side of the line, the experience of the present space and the appropriation, real and metaphorical, of the dead zone. They demonstrate the nostalgia by creating new cartographies and by opening, with a view to reconciliation, the field of possibilities. Each work of art transcends in its way –artistic, poetic and aesthetic – the border. It is in this way that this fragmented space is likely to become “habitable”.
160

Vérification symbolique de modèles à l'aide de systèmes de ré-écriture dédiés / Symbolic model-checking based on rewriting systems

Nguyên, Duy-Tùng 21 October 2010 (has links)
Cette thèse propose un nouveau type de systèmes de ré-écriture, appelé les systèmes de réécriture fonctionnels. Nous montrons que notre modèle a la puissance d'expression des systèmes de ré-écriture et qu'il est bien adapté à l'étude de propriétés de sûreté et de propriétés de logique temporelle de modèles.Nous avons mis en évidence une sous classe de systèmes fonctionnels, les élémentaires et les élémentaires à droite, préservant la puissance d'expression des systèmes fonctionnels et des techniques d'accélération des calculs aboutissant à un outil de vérification symbolique efficace.Dans la partie expérimentale, nous avons comparé notre outil, d'une part avec des outils de ré-écriture tels que Timbuk, Maude et TOM, d'autre part avec des outils de vérification tels que SPIN, NuSMV, SMART, HSDD. Nos benchmarks démontrent l'efficacité des systèmes fonctionnels élémentaires pour la vérification de modèles. / This PhD thesis proposes the theoretical foundations of a new formal tool for symbolic verification of finite models. Some approaches reduce the problem of system verification to the reachability problem in term rewriting systems (TRSs).In our approach, states are encoded by terms in a BDD-like manner and the transition relation is represented by a new rewriting relation so called Functional Term Rewriting Systems (FTRSs).First, we show that FTRSs are as expressive as TRSs. Then, we focus on a subclass of FTRSs, so called Elementary Functional Term Rewriting Systems (EFTRSs), and we show that EFTRSs preserve the FTRSs expressiveness. The main advantage of EFTRSs is that they are well adapted for acceleration techniques usually used in saturation algorithms on BDD-like data structures.Our experiments show that for well-known protocols (e.g. Tree Arbiter, Percolate, Round RobinMutex protocols,... ) our tool is not only better than other rewriting tools such as Timbuk, Maude or TOM, but also competitive with other model-checkers such as SPIN, NuSMV or SMART. Moreover, it can also be applied to model-checking invariant properties which are a particular subclass of linear temporal logic formula (LTL).

Page generated in 0.0284 seconds