Role for cell-to-cell communication in stem cell specification toward pancreatic progenitors: relevance to the design of novel therapies for diabetes.

Thesis (Ph.D.)--University of Washington, 2016-08

& she was like "O_O" : Animation of reported speech on Twitter

This study relates discourse-pragmatic aspects of the use of the quotatives say, be like, be all, and go to the question of the supposed or actual spoken-likeness of written computer-mediated communication (CMC). 1,800 tokens of reported speech, collected from Twitter, were analyzed in a “constructed dialogue” framework (Tannen, 2007). The results show that users of Twitter employ various CMC devices to animate and modally enrich reported speech, especially in speech reports with be like, be all, and go. They perform a style of communication that is reminiscent of conversational speech, even while having qualities that seem to belong uniquely to CMC.

Conception et application d'une grille d'analyse visant à évaluer le style d'animation

Cet essai a pour objectif de découvrir le style d'animation effectué par des animateurs de groupes de parents d'adolescents. De plus, nous voulons observer ce qui peut différer et être semblable d'un animateur à l'autre. Par le fait même, il nous sera possible de vérifier quel est l'impact du style d'animation sur les participants d'un groupe. Afin d'atteindre cet objectif, nous avons enregistré sur bandes vidéoscopiques chacune des six séances de trois groupes. Pour évaluer et comparer les animateurs, nous avons élaboré une grille d'analyse permettant de coder chacune des interventions de ceux-ci. L'élaboration d'une telle grille a bien sûr exigé une revue littéraire autant sur le phénomène de la dynamique de groupe que sur les grilles d'analyse déjà existantes utilisées dans ce domaine. Il est également nécessaire de suivre une méthodologie rigoureuse afin de s'assurer de la validité de la grille. L'application de cette grille devrait nous permettre d'obtenir un portrait du style de chacun des animateurs et de leurs interactions avec les participants ainsi que sur la dynamique de groupe. Finalement, après avoir appliqué cette grille et recueilli les données utiles aux fins de cette étude, nous évaluerons la dite grille et ferons les recommandations appropriées afin de permettre à d'autres intervenants de l'utiliser au besoin.

Étude descriptive des impacts des facteurs de coopération sur une pratique professionnelle de type coopératif en animation de stages

L'approche coopérative ayant été définie comme celle favorisant la concertation des partenaires dans la poursuite de cibles communes, la reconnaissance mutuelle du champ de compétence par rapport aux objectifs poursuivis ainsi qu'un équilibre du pouvoir, chacun exerçant une influence sur son partenaire, selon son champ de compétence, nous sommes appelé à nous poser plusieurs questions auxquelles il serait utile de répondre au cours de cette recherche. 1. Quels sont les différents modèles en relation d'aide qui ont marqué et influencé les différents intervenants en relation d'aide, plus particulièrement les animateurs et les animatrices de stages au B.E.P.P.? 2. Quelles sont les caractéristiques et les particularités du modèle de relation d'aide coopérative ainsi que les facteurs de coopération qui y sont rattachés? 3. Quelles sont les principales composantes de la pratique professionnelle en animation de stages et en quoi privilégient-elles dans leur fonctionnement les valeurs rattachées à la coopération? 4. La présence des facteurs de coopération dans la pratique professionnelle de l'animateur et de l'animatrice de stages engendre-t-elle un niveau de satisfaction élevé chez les stagiaires vivant une relation coopérative avec leur animateur ou animatrice de stages? 5. Subséquemment, ces dits facteurs de coopération introduits dans la pratique professionnelle de l'animateur et de l'animatrice de stages favorisent-ils l'atteinte des objectifs de formation du stagiaire? 6. Quels sont les facteurs de coopération les plus perceptibles et les plus définis dans une pratique professionnelle de type coopératif en animation de stages et pouvant engendrer la satisfaction des stagiaires et faciliter l'atteinte de leurs objectifs de formation?

Le développement de compétences réflexives chez des étudiantes en techniques d'éducation en services de garde à travers une démarche de micro-animation

Des précisions méritent d’être apportées au début de ce rapport pour éclairer certains choix que nous avons faits dans notre démarche de rédaction ainsi que le contexte dans lequel se sont effectués nos travaux. D’abord, nous avons pris deux décisions en ce qui concerne la féminisation du texte. Premièrement, nous avons opté pour l’utilisation des termes génériques dans la définition du cadre conceptuel. Par ailleurs, nous avons utilisé le féminin pour parler des enseignantes et des sujets impliqués dans la recherche pour représenter fidèlement la réalité. Nous avons par la suite décidé d’utiliser le féminin dans toutes les autres parties du rapport. D’autre part, tous les prénoms des sujets et des enfants impliqués dans la recherche ont été remplacés par des pseudonymes pour conserver leur anonymat. Nous avons aussi choisi de présenter les extraits issus de nos données de recherche tels quels, pour qu’ils soient le plus fidèles possibles. Par contre, nous nous sommes permis de corriger les erreurs d’orthographe par respect pour la langue française. De plus, pour éviter d’alourdir la lecture du cinquième chapitre, nous mentionnons les références des extraits qui appuient nos affirmations sans en rapporter le texte. De même, il nous est arrivé de faire ce choix à quelques reprises dans le sixième chapitre, lorsque les extraits nous paraissaient trop longs ou que la reproduction fidèle des verbalisations aurait rendu la lecture fastidieuse. La rédaction du rapport est le fruit d’un travail d’équipe soutenu. Par contre, pour des raisons d’efficacité, nous avons partagé l’analyse des données. De ce fait, certaines parties du rapport, notamment dans les chapitres cinq et six ont été rédigées individuellement. Aussi, des styles d’écriture différents peuvent être observés dans ces deux chapitres car nous avons tenu à les respecter. Par contre, chacune des chercheures a soumis ses textes à l’équipe qui les a critiqués et bonifiés. Finalement, il faut mentionner que le présent document est issu d’une double démarche : celle d’une équipe de travail subventionnée dans le cadre du Programme d’aide à la recherche sur l’enseignement et l’apprentissage du Ministère de l’éducation du Québec, et celle d’étudiantes dans le Programme de maîtrise en sciences de l’éducation donné par l’Université de Sherbrooke. Ainsi nous avons pu bénéficier de plus d’un support : support financier, support institutionnel et support méthodologique. À notre avis, la recette est bonne.

JCML: A specification language for the runtime verification of Java Card programs

COSTA, Umberto Souza; MOREIRA, Anamaria Martins; MUSICANTE, Matin A.; SOUZA NETO, Plácido A. JCML: A specification language for the runtime verification of Java Card programs. Science of Computer Programming. [S.l]: [s.n], 2010.

Specification and Runtime Verification of Java Card Programs

COSTA, Umberto Souza da; MOREIRA, Anamaria Martins; MUSICANTE, Martin A. Specification and Runtime Verification of Java Card Programs. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2009.

Neuronal Assembly Detection and Cell Membership Specification by Principal Component Analysis

LOPES-DOS-SANTOS, V. , CONDE-OCAZIONEZ, S. ; NICOLELIS, M. A. L. , RIBEIRO, S. T. , TORT, A. B. L. . Neuronal assembly detection and cell membership specification by principal component analysis. Plos One, v. 6, p. e20996, 2011.

Reuse and integration of specification logics: the hybridisation perspective

Hybridisation is a systematic process along which the characteristic features of hybrid logic, both at the syntactic and the semantic levels, are developed on top of an arbitrary logic framed as an institution. It also captures the construction of first-order encodings of such hybridised institutions into theories in first-order logic. The method was originally developed to build suitable logics for the specification of reconfigurable software systems on top of whatever logic is used to describe local requirements of each system’s configuration. Hybridisation has, however, a broader scope, providing a fresh example of yet another development in combining and reusing logics driven by a problem from Computer Science. This paper offers an overview of this method, proposes some new extensions, namely the introduction of full quantification leading to the specification of dynamic modalities, and exemplifies its potential through a didactical application. It is discussed how hybridisation can be successfully used in a formal specification course in which students progress from equational to hybrid specifications in a uniform setting, integrating paradigms, combining data and behaviour, and dealing appropriately with systems evolution and reconfiguration.

A functional specification and validation model for networks on chip in the ACL2 logic

International audience

Specification of a smart meter/actuator description mechanism & development of a mobile application

Home Automation holds the potential of realizing cost savings for end users while reducing the carbon footprint of domestic energy consumption. Yet, adoption is still very low. High cost of vendor-supplied home automation systems is a major prohibiting factor. Open source systems such as FHEM, Domoticz, OpenHAB etc. are a cheaper alternative and can drive the adoption of home automation. Moreover, they have the advantage of not being limited to a single vendor or communication technology which gives end users flexibility in the choice of devices to include in their installation. However, interaction with devices having diverse communication technologies can be inconvenient for users thus limiting the utility they derive from it. For application developers, creating applications which interact with the several technologies in the home automation systems is not a consistent process. Hence, there is the need for a common description mechanism that makes interaction smooth for end users and which enables application developers to make home automation applications in a consistent and uniform way. This thesis proposes such a description mechanism within the context of an open source home automation system – FHEM, together with a system concept for its application. A mobile application was developed as a proof of concept of the proposed description mechanism and the results of the implementation are reflected upon.

A Coopetition Space for Complex Product Specification

Part 3: Product-Service Systems

Testing the link specification in binary choice models. A semiparametric approach.

Doutoramento em Matemática.