1,048 research outputs found

    Patagons et Polynésiens. Premières estampes du Pacifique : un nouveau régime de l’image imprimée

    Get PDF
    Symbolisant un nouveau type d’exploration, les relations officielles des voyages autour du monde des années 1770-1780 comprennent un grand nombre de gravures illustrant la rencontre avec les indigènes inconnus des « Mers du Sud ». Le plus souvent gravées d’après les dessins des savants et artistes à bord, les représentations des Patagons, réduits à leur taille réelle par une rhétorique de la mesure, et celles des Polynésiens, magnifiés par le canon néoclassique, montrent de manière exemplaire combien les savoirs anthropologiques, pour être opérants, dépendent des techniques et médias de reproduction.Symbolizing a new type of exploration, official accounts of voyages around the world in the 1770s and 1780s include many prints illustrating encounters with indigenous people of the South Seas. Engraved mostly based on drawings made by on-board scientists and artists, depictions of Patagonians (reduced to their actual size by a rhetoric of accuracy) and Polynesians (magnified by a neoclassical canon) illustrate how anthropological knowledge hinges on graphical means and techniques

    Call-by-Value Lambda-calculus and LJQ

    Get PDF
    Accepté pour publication dans J. Logic Comput. ; 24 pagesLJQ is a focused sequent calculus for intuitionistic logic, with a simple restriction on the first premiss of the usual left introduction rule for implication. In a previous paper we discussed its history (going back to about 1950, or beyond) and presented its basic theory and some applications; here we discuss in detail its relation to call-by-value reduction in lambda calculus, establishing a connection between LJQ and the CBV calculus Lambda_C of Moggi. In particular, we present an equational correspondence between these two calculi forming a bijection between the two sets of normal terms, and allowing reductions in each to be simulated by reductions in the other

    Réussir, mais à quelles conditions? Terminer des études universitaires : les conditions de réussite et le rôle du collégial

    Get PDF
    Affiche présentée dans le cadre du colloque de l'ARC «Favoriser l’accès et le partage par la création d’un observatoire» lors du 86e Congrès de l'Acfas à l' Université du Québec à Chicoutimi (UQAC), les 7 et 8 mai 2018.Trois professeurs du collège Laflèche ont réalisé une recherche en 2016-2017 afin d’étudier les conditions de réussite éducative. Ils ont rencontré des étudiants sur le point de terminer leurs études de premier cycle à l’université. Au-delà d’une réussite scolaire construite sur des données objectives (réussite des cours, diplomation), l’objectif était d’aborder la réussite éducative en s’intéressant au discours et aux interprétations des étudiants. De même, le rôle du collégial dans cette réussite était examiné. Une démarche d’analyse qualitative a été entreprise, et 43 étudiants de l’Université du Québec à Trois-Rivières ont été rencontrés. Des groupes de discussion ainsi qu’une enquête par questionnaire ont conduit à établir qu’il existe une vision méritocratique des études, axée davantage sur les qualités et les capacités personnelles. Quant au rôle du collégial, aucun consensus ne se dégage des témoignages des étudiants, mais il semble que le rôle orientant et préparatoire à l’université soit central dans la motivation à poursuivre. Enfin, la recherche dresse un portrait des relations entre l’école et les autres agents de socialisation (famille, amis, travail) au cœur de la réussite éducative. Cette recherche aborde le rôle de l’école (et du collégial) en fonction de sa triple responsabilité : instruire, socialiser et qualifier. Elle offre des pistes de réflexion aux collèges désireux de mieux comprendre la réussite scolaire et la réussite éducative

    Augmented Reality for Cryoablation Procedures

    Get PDF
    International audienceCryotherapy is a rapidly growing minimally invasive technique for the treatment of different kinds of tumors, such as breast cancer, renal and prostate cancer. Several hollow needles are percutaneously inserted in the target area under image guidance and a gas (usually argon) is then decompressed inside the needles. Based on the Thompson-Joule principle, the temperature drops drown and a ball of ice crystals forms around the tip of each needle. Radiologists rely on the geometry of this iceball (273K), visible on computer tomographic (CT) or magnetic resonance (MR) images, to assess the status of the ablation. However, cellular death only occurs when the temperature falls below 233K. The complexity of the procedure therefore resides in planning the optimal number, position and orientation of the needles required to treat the tumor, while avoiding any damage to the surrounding healthy tissues.This planning is currently done qualitatively, based on experience, and can take several hours, with a result that is often different from the expected one. To solve this important limitation of cryotherapy, a few planning systems have been proposed in the literature. Currently, commercial systems are nearly non existent, and emerging tools are limited to a visualization of the isotherms obtained for each needle in ideal conditions (usually in a gel). They do not account for any influence of the soft tissue properties, the presence of blood vessels, or the combined effect of multiple needles. As a consequence, large safety margins over 5mm are defined.To address this challenge, our method extracts information from medical images (CT or MR) and allows to assess different strategies with an augmented visualization of the resulting iceball and the associated isotherms

    Terminer des études universitaires : les conditions de la réussite et le rôle du collégial

    Get PDF
    La présente recherche a été subventionnée par le ministère de l’Éducation et de l’Enseignement supérieur dans le cadre du Programme de recherche et d’expérimentation pédagogique (PREP) de l’Association des collèges privées du Québec (ACPQ)

    Eye blink characterization from frontal EEG electrodes using source separation and pattern recognition algorithms

    Get PDF
    Due to its major safety applications, including safe driving, mental fatigue estimation is a rapidly growing research topic in the engineering field. Most current mental fatigue monitoring systems analyze brain activity through electroencephalography (EEG). Yet eye blink analysis can also be added to help characterize fatigue states. It usually requires the use of additional devices, such as EOG electrodes, uncomfortable to wear, or more expensive eye trackers. However, in this article, a method is proposed to evaluate eye blink parameters using frontal EEG electrodes only. EEG signals, which are generally corrupted by ocular artifacts, are decomposed into sources by means of a source separation algorithm. Sources are then automatically classified into ocular or non-ocular sources using temporal, spatial and frequency features. The selected ocular source is back propagated in the signal space and used to localize blinks by means of an adaptive threshold, and then to characterize detected blinks. The method, validated on 11 different subjects, does not require any prior tuning when applied to a new subject, which makes it subject-independent. The vertical EOG signal was recorded during an experiment lasting 90 min in which the participants’ mental fatigue increased. The blinks extracted from this signal were compared to those extracted using frontal EEG electrodes. Very good performances were obtained with a true detection rate of 89% and a false alarm rate of 3%. The correlation between the blink parameters extracted from both recording modalities was 0.81 in average

    Approche innovante dans le cours de méthodologie des sciences humaines : impact sur l'engagement

    Get PDF
    "La présente recherche a été subventionnée par le Ministère de l'éducation, du loisir et du sport dans le cadre du Programme de recherche et d'expérimentation pédagogique de l'Association des collèges privés du Québec (ACPQ)."Également disponible en format papier.Bibliogr

    Discussion sur les critères de hiérarchisation des occupations privilégiées en région Centre – Val-de-Loire (fin du 1er Moyen Âge)

    Get PDF
    International audienceLe Projet Collectif de Recherche « Habitat rural du Moyen Âge en région Centre-Val de Loire » a recensé un peu plus de 200 occupations rurales des VIe-XVe s. étudiés lors des opérations archéologiques de ces 15 dernières années. Entre les établissements ruraux dits « classiques » et les sites aux caractéristiques urbaines, castrales ou défensives évidentes, se place une poignée de sites de la seconde moitié du haut Moyen Âge (IXe-Xe s.) présentant une combinaison de caractères inhabituels sur le plan structurel (cadre de vie, construction) et/ou matériel (consommation, utilisation/fonction).L’examen de ces critères pour sept de ces sites est une occasion pour tenter de questionner globalement cette catégorie de site et vérifier sa pertinence
    corecore