• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 188
  • 46
  • 7
  • 2
  • Tagged with
  • 244
  • 68
  • 66
  • 47
  • 35
  • 33
  • 31
  • 27
  • 27
  • 27
  • 27
  • 26
  • 26
  • 25
  • 24
  • 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.
51

Utilisation du langage CASSANDRE pour la conception des machines microprogrammées

De Polignac, Karen 16 June 1973 (has links) (PDF)
.
52

Etude méthodologique de la conception assistée par ordinateur des systèmes logiques : CASSANDRE

Mermet, Jean 10 April 1973 (has links) (PDF)
.
53

Contribution à la conception assistée par calculateur des systèmes logiques

Deschizeaux, P. 12 November 1971 (has links) (PDF)
.
54

Sur les fonctions logiques permutantes

Pastel, Anne-Marie 29 October 1971 (has links) (PDF)
.
55

Contribution des structures algébriques ordonnées à la théorie des réseaux

Benzaken, Claude 04 March 1968 (has links) (PDF)
.
56

Etude d'une application de l'effet Hall à la réalisation d'éléments de circuits logiques

Vermot-Gaud, Jacques 28 January 1959 (has links) (PDF)
.
57

Projet éducatif et éducation à la citoyenneté dans six écoles de Montréal : analyse documentaire et entretiens avec des directeurs d'établissement

Gravel, Bernard January 2007 (has links)
Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal.
58

Les familles face au choix du collège : logiques d’action, régulation administrative et critique sociale / Families and the choice of secondary school : action logics, administrative regulation and social criticism

Adler, Yoann 15 November 2013 (has links)
Cette thèse s’inscrit dans un contexte de préoccupation internationale sur le choix de l’école par les familles et plus particulièrement, dans le contexte national français de réflexions nouvelles concernant la politique de la sectorisation : assouplissement de la carte scolaire de 2007 et depuis 2012, recherche d’une nouvelle forme de sectorisation stricte-ment applicable. En France, après deux décennies d’expériences d’assouplissement de la carte scolaire, effectuées par les gouvernements de droite comme de gauche, la mesure du 4 juin 2007 représente, même si la mesure en est finalement restée au stade de l’assouplissement, une liberté nouvelle dans l’esprit des familles sur laquelle il sera difficile de revenir. Le but de notre travail est donc double. Il s’agit d’abord de montrer, à travers l’épreuve que constitue le choix du collège pour les familles, les évolutions du rapport entre des usagers – les élèves et leurs parents - et leur service public d’éducation. Si la revendication du choix de l’école remonte au début des années 1980, lorsqu’un certain nombre de parents se sont rendu compte que tous les établissements scolaires ne se valaient pas, force est d’observer que les logiques à l’origine de cette dernière ont évolué. Si la logique marchande persiste, on note surtout l’émergence de nouvelles formes de la logique civique relatives aux droits des usagers : le droit à l’information, le droit à un établissement efficace, le bien-être de son enfant, sa sécurité etc. Nous cherchons à montrer qu’aux différents niveaux de régulation administrative – central, intermédiaire et local -, les acteurs de l’Education nationale tentent de répondre, comme les acteurs des collectivités territoriales, à ces nouvelles attentes des familles même si c’est parfois également dans le but de servir leurs propres intérêts : logiques électoralistes, éviter les défections d’un collège en peine d’attractivité etc. Le deuxième objectif de notre étude est d’identifier, dans un contexte d’assouplissement généralisé inédit, l’évolution des rapports de concurrence et de coopération entre les collèges d’un même territoire et les logiques des différents acteurs qui en sont à l’origine. Parmi les principaux résultats, nous avons pu observer que la mixité sociale et ethnique ainsi que les régulations locales et intermédiaires en matière d’offre de formation étaient des éléments prépondérants dans les rapports de concurrence et de coopérativité entre les établissements. / The present thesis, relevant of a broader concern about families' choice of school, more specifically tackles issues raisedby recent approaches on the sectorisation policies implemented in France: the 2007 relaxation of the school map and, mostly since 2012, the efforts to shape a new sectorisation model on a strict compliance basis. As the latest update of two decades of experiments with the relaxation of the school map carried out by both right-wing and left-wing governments, the Education Act of June, 4th 2007, though not venturing beyond the relaxation stage, has deeply impacted families' ways of thinking and availed them with a new sense of liberty which cannot be ignored nor brushed aside effortlessly. Consequently, the purpose of this study is twofold.First and foremost, we will consider how the relation between users – pupils and their parents – and public service education has been affected by the families' choice of secondary school – which all too often amounts to a trying experience. Demands for choice of school originated in the early 80's with a growing awareness on the parents' side that ed cational facilities were not on par, yet the logical determinants behind these demands have significantly shifted in focus. While a market-based logic remains a key factor, new forms of civic logic have surfaced which are mostly concerned with the rights of users, laying a strong emphasis on the right to information, the access to an efficient school, the well-being and safety of one's child, etc. On every level of administrative regulation, whether central, intermediate or local, the educational community as well as the local authorities have been trying to meet the families' new expectations, sometimes if only to serve special interests : garner electoral votes, contain defections from school institutions plagued by a lack of attractivity, etc. This is properly the core of our demonstration. The second – and far from secondary – purpose of our study is to delineate the evolution of the relations of competition and cooperation between secondary schools located in a same area, highlighting in the process the various actors' logics at work within this broader – and unprecedented – relaxed framework. In the course of this study, we have been able to assess, among various factors, how social and ethnic mixity, along with effective regulation of training provision on local and intermediate levels, play a preponderant and substantial part in the relations of competition and cooperation between school institutions.
59

Logiques du Délire : Savoir et Méconnaissance dans la clinique de la Psychose / Delirious logic : Knowledge and Misconstrue for clinical psychosis

Mezhrahid, Julie 14 December 2013 (has links)
L'entreprise de cette recherche doctorale s'articule autour de trois axes de réflexion. Elle a, pour un temps, consisté en la redécouverte freudienne d'une intelligence de la notion de méconnaissance. Dans l’exploration des procédés fondateurs de la psyché et des mécanismes associés, cette méconnaissance apparaît en filigrane tout au long de l'oeuvre du maître de la psychanalyse et sa consistante à la fois structurelle et processuelle est supposée. La visite de l'enseignement de l'héritage de la psychiatrie classique ainsi que l'examen lacanien ont permis, par la suite, le développement du concept de méconnaissance. Il est défini à travers les empreintes corrélatives des mécanismes de reconnaissance et de l'identification, ceci afin de modéliser quatre actes psychiques fondant des méconnaissances singulières selon la prégnance de leur ancrage dans les champs de l'imaginaire et du symbolique. Le délire est alors appréhendé tel un savoir, « Ça-voir » authentique, dont l'efficience de la liaison avec une image signifiante dévoile les qualités de son expression. Un déploiement de nouvelles perspectives théoriques a été un dernier pas, avancées faisant valoir l'existence de logiques délirantes chez des patients en fonction de la particularité d’un discours psychotique, schizophrénique ou paraphrénique. L'argumentation psychopathologique a été engagée dans une intention d'ouvertures thérapeutiques sur la clinique des psychoses. / All research and works during all these years are gathered in this document based on three main phases. The first phase was to rediscosver Freud’s theory about smart concept of “méconnaissance” meaning "misconstrue" or "misrecognize”. As we have explored the foundations of the psyché and all related mechanisms, this misconstrue appears within all Freud’s work long where both structural and processual components have been evaluated. Following the heritage of classical psychiatry school, and deepening lacanien’s theories and teachings, the second step has allowed to develop and detail the “méconnaissance” concept. According to Lacan’s lessons, identification and acknowledgement are the two key drivers of this concept. To build on them, it is possible to modelize four psychic acts founded on particular “méconnaissance” depending on the close links to the fields of imaginary and symbol. So, delusion could be viewed as a kind of knowledge, a true “ça-voir”, closely connected to a significant image. Last but not least, the third phase dealt with new theoritical perspectives based on the existence of delirious logic for patients according to their specific psychosis, schizophrenia and paraphrenia talkings. Psychopathological arguments were binded in order to identify new open therapeutic areas for clinical psychosis.
60

Reasoning on the response of logical signaling networks with answer set programming / Raisonner sur la réponse de réseaux de signalisation à l'aide de programmation par ensembles-réponses

Videla, Santiago 07 July 2014 (has links)
Décrypter le fonctionnement des réseaux biologiques est une des missions centrales de la biologie des systèmes. En particulier, les réseaux de transduction du signal sont essentiels pour la compréhension de la réponse cellulaire à des perturbations externes ou internes. Pour faire face à la complexité de ces réseaux, des modélisations aussi bien numériques que formelles sont nécessaires. Nous proposons un cadre de modélisation formelle, dans le cadre de réseaux logiques, afin d'obtenir des prédictions robustes sur le comportement et le contrôle des voies de signalisation. Nous modélisons la réponse des réseaux logiques de signalisation par du raisonnement automatique à l'aide de Programmation par Ensembles-Réponses (Answer Set Programming, ASP). ASP fournit un langage déclaratif pour la modélisation de divers problèmes de représentation des connaissances et de raisonnement. Des solveurs permettent plusieurs modes de raisonnement pour étudier la multitude d'ensembles réponses. En s'appuyant sur la richesse du langage de modélisation et ses capacités de résolution très efficaces, nous utilisons ASP pour modéliser et résoudre trois problèmes dans le contexte des réseaux logiques de signalisation: apprentissage de réseaux booléens, calculs de plan d'expériences, et l'identification des contrôleurs. Globalement, la contribution de cette thèse est de trois ordres. Premièrement, nous introduisons un cadre formel pour la caractérisation et le raisonnement sur la réponse des réseaux logiques de signalisation. Deuxièmement, nous contribuons à une liste croissante d'applications réussies d'ASP en biologie des systèmes. Troisièmement, nous présentons un logiciel fournissant un pipeline complet de raisonnement automatisé sur la réponse des réseaux logiques de signalisation. / Deciphering the functioning of biological networks is one of the central tasks in systems biology. In particular, signal transduction networks are crucial for the understanding of the cellular response to external and internal perturbations. Importantly, in order to cope with the complexity of these networks, mathematical and computational modeling is required. We propose a computational modeling framework in order to achieve more robust discoveries in the context of logical signaling networks. More precisely, we focus on modeling the response of logical signaling networks by means of automated reasoning using Answer Set Programming (ASP). ASP provides a declarative language for modeling various knowledge representation and reasoning problems. Moreover, available ASP solvers provide several reasoning modes for assessing the multitude of answer sets. Therefore, leveraging its rich modeling language and its highly efficient solving capacities, we use ASP to address three challenging problems in the context of logical signaling networks: learning of (Boolean) logical networks, experimental design, and identification of intervention strategies. Overall, the contribution of this thesis is three-fold. Firstly, we introduce a mathematical framework for characterizing and reasoning on the response of logical signaling networks. Secondly, we contribute to a growing list of successful applications of ASP in systems biology. Thirdly, we present a software providing a complete pipeline for automated reasoning on the response of logical signaling networks.

Page generated in 0.0531 seconds