920 resultados para Curry-Howard


Relevância:

10.00% 10.00%

Publicador:

Resumo:

article

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Réalisé en cotutelle avec l'Université de Paris-Sud

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Réalisé en codirection avec Hélène Buzelin

Relevância:

10.00% 10.00%

Publicador:

Resumo:

La version intégrale de cette thèse est disponible uniquement pour consultation individuelle à la Bibliothèque de musique de l’Université de Montréal (www.bib.umontreal.ca/MU).

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Semantic deficits have been documented in the prodromal phase of Alzheimer’s disease, but it is unclear whether these deficits are associated with non-cognitive manifestations. For instance, recent evidence indicates that cognitive deficits in elders with amnestic mild cognitive impairment (aMCI) are modulated by concomitant depressive symptoms. The purposes of this study were to (i) investigate if semantic memory impairment in aMCI is modulated according to the presence (aMCI-D group) or absence (aMCI group) of depressive symptoms, and (ii) compare semantic memory performance of aMCI and aMCI-D groups to that of patients with late-life depression (LLD). Seventeen aMCI, 16 aMCI-D, 15 LLD, and 26 healthy control participants were administered a semantic questionnaire assessing famous person knowledge. Results showed that performance of aMCI-D patients was impaired compared to the control and LLD groups. However, in the aMCI group performance was comparable to that of all other groups. Overall, these findings suggest that semantic deficits in aMCI are somewhat associated with the presence of concomitant depressive symptoms. However, depression alone cannot account solely for the semantic deficits since LLD patients showed no semantic memory impairment in this study. Future studies should aim at clarifying the association between depression and semantic deficits in older adults meeting aMCI criteria.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Inspired by the epistemological approach of Gilles-Gaston Granger and the sociological approach of Howard Becker, this thesis focuses on Quebec’s téléroman as a mean of social knowledge. Based on the theoretical conception of entry into adult life elaborated by various researchers such as the French sociologist Olivier Galland, this research aims to assess the sociological value of the Quebec’s téléroman as a form of representation of this phenomenon. To achieve this goal, we describe the entry into adult life of four characters from the téléroman Yamaska : Geoffroy Carpentier, Olivier Brabant, Théo Carpentier and Ingrid Harrisson. By applying the theories proposed by the French sociologist Olivier Galland to these characters, our goal is to study and describe the adequacy, or inadequacy, of such a theory when applied to the experiences of young adults today broadcast in the chosen téléroman. Through the characters of Yamaska, the study aims to see how the theory fits, or not, to the television series, and investigates whether it provides additional knowledge about the phenomenon of entry into adult life. This will help us determine the type of knowledge broadcast through this TV fiction, and focus on the influence exerted on the content and the way it is broadcast by the téléroman’s structure.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Deux paradigmes se côtoient dans le traitement de la dépendance au Québec. Tout d’abord, il y a le paradigme de l’abstinence avec un modèle d’intervention souvent basé sur les Alcooliques Anonymes. Avec ce modèle, l’alcoolisme (ou la toxicomanie) est défini comme une maladie. En ce qui a trait à la réduction des méfaits, cette dernière vise la réduction des effets néfastes de l’usage de drogues plutôt que l’élimination de leur usage (Brisson, 1997). Nous nous sommes intéressés à une intervention inscrite dans ce paradigme soit le programme de substitution à la méthadone. Cette étude avait comme but de connaître les perceptions de personnes inscrites à ce programme, comprendre comment est vécu le rétablissement à travers la participation au programme et connaître les perceptions de ces personnes en ce qui a trait aux conséquences de la dépendance. Un cadre théorique s’inscrivant dans la perspective de l’interactionnisme symbolique a été choisi. Plus précisément, les processus de transformations normatives de Maria Caiata Zufferey, la théorie de l’étiquetage d’Howard Becker et le concept de stigmate d’Erving Goffman ont été retenus. Ensuite, dix entrevues semi-dirigées auprès d’hommes et de femmes majeures inscrites à un programme de substitution à la méthadone ont été réalisées. En ce qui a trait au chapitre portant sur les résultats, il a mis en lumière différents rapports à la méthadone vécus par les participants. Pour ce faire, trois figures construites à l’aide de l’analyse typologique ont été développées. Il ressort que pour certaines personnes, la méthadone fut décrite comme un substitut nécessaire, pour d’autres, elle correspondait à une aide dont ils veulent se débarrasser et pour une minorité, elle suscitait de l’ambivalence. En définitive, bien que la substitution demeure le traitement de choix pour la dépendance aux opioïdes, il est difficile de parler de sortie du monde de la drogue à l’aide de la méthadone puisque ce traitement apparaît comme étant presque aussi stigmatisé que la dépendance à l’héroïne (Lauzon, 2011). À première vue, la méthadone permet de prendre une distance avec le monde de la drogue (l’argent facile, les vols, la prostitution) et permet de se reconstruire une existence sur la base de repères stables, mais à bien considérer les choses, elle confine les personnes interrogées dans une situation d’ambivalence puisqu’elle les rattache à une identité de toxicomane. Mots-clés : dépendance, programme de substitution à la méthadone, perception, participant, réduction des méfaits, stigmatisation.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

L’objectif principal de cette recherche est de comprendre la signification de l’accumulation d’objets pour la personne présentant des comportements de hoarding. Dans une perspective constructiviste, nous utilisons la construction empirique de la théorie afin d’analyser 8 entrevues. Les théories d’Erving Goffman et d’Howard Becker sur la stigmatisation et la culture d’exclusion nous permettent de comprendre et d’analyser la construction des liens sociaux chez les personnes présentant des comportements de hoarding. De même, l’application de l’approche d’Elkaïm à cette problématique nous permet de comprendre un des principaux défis de l’intervention auprès de cette population, la double contrainte. L’analyse nous permet de distinguer 3 profils de hoarder. Ce travail s’inscrit sous un paradigme encore jamais utilisé pour comprendre la problématique du hoarding et propose une compréhension propre au travail social, différente du modèle médical qui prédomine actuellement dans l’intervention et la littérature scientifique.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Les westerns de l’âge d’or étasunien (1948-1962) mettent en scène un "gender trouble" en créant des personnages de femmes et d’hommes qui empruntent les uns et les autres aux caractéristiques genrées associées par la société nord-américaine et occidentale en général aux genres binaires du féminin et du masculin. Ce trouble genré se développe entre autres par la volonté de trois hommes de recréer la cellule familiale nucléaire conventionnelle dans "Red River" (1948) de Howard Hawks, par le rapport de peur et d’oppression du groupe social sur les individus dans "High Noon" (1952) de Fred Zinnemann et "Johnny Guitar" (1954) de Nicholas Ray, ainsi que par la rencontre opposant l’homme de l’Est et l’homme de l’Ouest dont les idéologies et les valeurs divergent dans "The Man Who Shot Liberty Valance" (1962) de John Ford.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Les restructurations et les mutations de plus en plus nombreuses dans les entreprises font évoluer la trajectoire de carrière des employés vers un cheminement moins linéaire et amènent une multiplication des changements de rôle (Delobbe & Vandenberghe, 2000). Les organisations doivent de plus en plus se soucier de l’intégration de ces nouveaux employés afin de leur transmettre les éléments fondamentaux du fonctionnement et de la culture qu’elles privilégient. Par contre, la plupart des recherches sur la socialisation organisationnelle portent sur les « meilleures pratiques », et les résultats qui en découlent sont mixtes. Cette étude comparative cherche à déterminer si et sur quelles variables les nouveaux employés socialisés par leur entreprise diffèrent des nouveaux employés « non socialisés ». Premièrement, cette étude vise à comparer ces deux groupes sur 1) les résultantes proximales (la maîtrise du contenu de la socialisation organisationnelle et la clarté de rôle) et 2) les résultantes distales (l’engagement organisationnel affectif, la satisfaction au travail et l’intention de quitter) du processus de socialisation organisationnelle, ainsi que sur 3) les caractéristiques des réseaux sociaux d’information, en contrôlant pour la proactivité. Dans un second temps, cette étude a pour objectif d’explorer si le processus de socialisation organisationnelle (les relations entre les variables) diffère entre les nouveaux employés socialisés ou non. Cinquante-trois nouveaux employés (moins d’un an d’ancienneté) d’une grande entreprise québécoise ont participé à cette étude. L’entreprise a un programme de socialisation en place, mais son exécution est laissée à la discrétion de chaque département, créant deux catégories de nouveaux employés : ceux qui ont été socialisés par leur département, et ceux qui n’ont pas été socialisés (« non socialisés »). Les participants ont été sondés sur les stratégies proactives, les résultantes proximales et distales et les caractéristiques des réseaux sociaux d’information. Pour le premier objectif, les résultats indiquent que les nouveaux employés socialisés maîtrisent mieux le contenu de la socialisation organisationnelle que les nouveaux employés non socialisés. En ce qui a trait au deuxième objectif, des différences dans le processus de socialisation organisationnelle ont été trouvées. Pour les nouveaux employés « non socialisés », la recherche proactive d’informations et la recherche de rétroaction sont liées à certaines caractéristiques des réseaux sociaux, alors que le cadrage positif est lié à la satisfaction au travail et à l’intention de quitter, et que la clarté de rôle est liée uniquement à la satisfaction au travail. Les nouveaux employés socialisés, quant à eux, démontrent des liens entre la maîtrise du contenu de la socialisation organisationnelle et chacune des résultantes distales (l’engagement organisationnel affectif, la satisfaction au travail et l’intention de quitter). Globalement, l’intégration des nouveaux employés non socialisés serait plutôt influencée par leurs stratégies proactives, tandis que celle des nouveaux employés non socialisés serait facilitée par leur maîtrise du contenu de la socialisation organisationnelle. De façon générale, cette étude comparative offre un aperçu intéressant des nouveaux employés rarement trouvé dans les recherches portant sur les « meilleures pratiques » de la socialisation organisationnelle. Des recommandations pour la recherche et la pratique en suivent.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

In the present work, Indigenous polymer coated Tin Free Steel cans were analyzed fortheir suitability for thermal processing and storage of fish and fish products following standard methods. The raw materials used for the development of ready to eat thermally processed fish products were found to be of fresh condition. The values for various biochemical and microbiological parameters of the raw materials were well within the limits. Based on the analysis of commercial sterility, instrumental colour, texture, WB-shear force and sensory parameters, squid masala processed to F0 value of 8 min with a total process time of 38.5 min and cook value of 92 min was chosen as the optimum for squid masala in tin free steel cans while shrimp curry processed to F0 7 min with total process time of 44.0 min and cook value of 91.1 min was found to be ideal and was selected for storage study. Squid masala and shrimp curry thermally processed in indigenous polymer coated TFS cans were found to be acceptable even after one year of storage at room temperaturebased on the analysis of various sensory and biochemical parameters. Analysis of the Commission Internationale d’ Eclirage L*, a* and b* color values showed that the duration of exposure to heat treatment influenced the color parameters: the lightness (L*) and yellowness (b*)decreased, and the redness (a*) significantly increased with the increase in processing time or reduction in processing temperature.Instrumental analysis of texture showed that hardness-1 & 2 decreased with reduction in retort temperature while cohesiveness value did not show any appreciable change with decrease in temperature of processing. Other texture profile parameters like gumminess, springiness and chewiness decreased significantly with increase of processing time. W-B shear force values of mackerel meat processed at 130 °C were significantly higher than those processed at 121.1 and 115 °C. HTST processing of mackerel in brine helped in reducing the process time and improving the quality.The study also indicated that indigenous polymer coated TFS cans with easy openends can be a viable alternative to the conventional tin and aluminium cans. The industry can utilize these cans for processing ready to eat fish and shell fish products for both domestic and export markets. This will help in reviving the canning industry in India.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This study is the first of its kind in India, where in smoked and thermal processed products have been developed using locally available wood as the source of wood smoke and flavoring and a shelf life of one year has been achieved. Retortable pouches of three layers, both imported and indigenous were found suitable to store thermal processed products. Heat penetration rate is quicker in retort pouches due to their thin profile in comparison to cans and hence the total process time is lesser. The nutritional and sensory attributes of the pouch products are better retained during processing. Hence these products are more acceptable than canned products. lndian vegetarian food products and fish curry products are available in the ready to eat form in the markets. Smoked and thermal processed products have not gained an entry to the market and hence this study will pave an opening for such products. Currently trade in tuna products from India is meager compared to the global trade. ln India proper utilization of tuna resources is yet to be achieved due to the lack of infrastructure for handling and knowledge of value addition. The raw material cost is also less due to the poor quality of the fish when landed. Hence, the availability of such products will help in the trade of tuna products, improving the quality of raw material landing and ultimately realizing a better value to the fishermen and processors.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Traditionally, we've focussed on the question of how to make a system easy to code the first time, or perhaps on how to ease the system's continued evolution. But if we look at life cycle costs, then we must conclude that the important question is how to make a system easy to operate. To do this we need to make it easy for the operators to see what's going on and to then manipulate the system so that it does what it is supposed to. This is a radically different criterion for success. What makes a computer system visible and controllable? This is a difficult question, but it's clear that today's modern operating systems with nearly 50 million source lines of code are neither. Strikingly, the MIT Lisp Machine and its commercial successors provided almost the same functionality as today's mainstream sytsems, but with only 1 Million lines of code. This paper is a retrospective examination of the features of the Lisp Machine hardware and software system. Our key claim is that by building the Object Abstraction into the lowest tiers of the system, great synergy and clarity were obtained. It is our hope that this is a lesson that can impact tomorrow's designs. We also speculate on how the spirit of the Lisp Machine could be extended to include a comprehensive access control model and how new layers of abstraction could further enrich this model.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

En la Enfermedad Coronaria (EC) existen factores genéticos, socioculturales, medioambientales y raciales adicionales a los factores de riesgo cardiovascular mayores que podrían influir en su presentación. Se desconoce el impacto de la raza en la severidad de la enfermedad coronaria en los pacientes extranjeros que son enviados a nuestro Servicio. Objetivos: Comparar la severidad de la EC multivaso en una población de pacientes de las Antillas y Nacionales, pareados por la escala Framingham. Metodología: Realizamos un estudio de corte transversal, comparando pacientes colombianos contra pacientes provenientes de las Antillas holandesas con similares factores de riesgo según escala de Framingham, catalogándolos por grupos de riesgo bajo, intermedio, alto y muy alto. Todos con EC severa multivaso documentada por angiografía coronaria desde enero del 2009 hasta Junio de 2011. Se excluyeron pacientes con antecedentes de intervención percutánea o quirúrgica previa. Resultados: Ingresaron 115 pacientes internacionales y 115 pacientes nacionales. La relación hombres/mujeres 3:1. La proporción de grupos de riesgo fue de bajo riesgo 2.5%, intermedio 15%, alto 19.3%, y muy alto 63.4%. El Syntax Score en pacientes nacionales fue 14.3+/-7.4 y en internacionales 22.2+/-10.5 p: 0.002. Conclusiones: En pacientes provenientes de las Antillas Holandesas, valorados en nuestra institución, se observó una mayor severidad de la enfermedad coronaria comparada con una población nacional con factores de riesgo similares. Estos hallazgos sugieren la influencia de la raza y factores genéticos en la severidad y extensión de la EC

Relevância:

10.00% 10.00%

Publicador:

Resumo:

These were slides developed as part of our work with the JISC Community Engagement Team and CETIS to introduce people to different forms of system modelling, including scenarios and personas, soft systems methods, UML (Use cases, activity diagrams and sequence diagrams), BMPN and EA modelling with Archimate.