Veuillez choisir le dossier dans lequel vous souhaitez ajouter ce contenu :
Filtrer les résultats
Communication
Les cours d'introduction à la programmation génèrent de lourdes tâches de correction. Corriger un programme demande de vérifier de nombreux éléments : bon fonctionnement, structure et organisation, respect des règles de style et de documentation, etc. Dans cet exposé, nous décrivons un système d'aide à la correction qui permet d'automatiser la remise des programmes et la vérification de leur bon fonctionnement. Ce système permet aussi, avant la remise finale, de donner du feedback aux étudiants sur le fonctionnement de leur programme. Notre système d'aide à la correction, développé en Java, permet d'analyser des programmes eux aussi écrits en Java. Le …
Communication
Cette proposition de communication émane des actions entreprises par le Collectif de recherche sur les Initiatives de Développement Économique et Social de l’Université du Québec à Chicoutimi (Collectif IDÉES-UQAC). Depuis sa création, l’organisme a établi plusieurs partenariats avec des institutions et des groupes communautaires du Saguenay–Lac-Saint-Jean. Ces nombreux contacts ont entre autres conduit à l’élaboration de projets conjoints avec le Fonds d’Entraide Communautaire (FEC). Cette entreprise d’économie sociale, associée à l’émergence et à la survie de diverses micro-entreprises sur le territoire du Saguenay, a pour mission de contribuer au développement local par la réinsertion socioprofessionnelle d’individus ayant souffert de pauvreté …
Colloque
Les langages fonctionnels indulgents -- non-stricts mais non-paresseux -- sont particulièrement intéressants pour la programmation parallèle implicite. Dans cet exposé, nous allons présenter la sémantique d'un tel langage à l'aide d'une algèbre de processus (pi-calcul). Dans un premier temps, ce qu'est un langage fonctionnel indulgent sera brièvement présenté. À l'aide de quelques exemples, nous verrons pourquoi un tel langage facilite l'écriture de programmes implicitement parallèles. Cette première partie sera suivie d'une brève introduction du pi-calcul, notation introduite par R. Milner pour la description de processus concurrents et mobiles. Une sémantique formelle d'un noyau de langage fonctionnel indulgent (kpH) sera ensuite …
Colloque
Dans la seconde moitié du XVIIe siècle, alors que l’œuvre missionnaire est en plein essor en Nouvelle-France, le père Nicolas se révèle un jésuite pour qui la passion de l’écrit et les goûts pour l’observation scientifique portent ombrage au zèle apostolique. Faisant rarement allusion à la vie de ses confrères en pays de mission, Louis Nicolas préfère témoigner des instruments de leur survie, des moyens archaïques dont disposent les nations autochtones qu’il côtoie. Nous décrirons l’esprit encyclopédique qui anime ce chercheur sensible aux manifestations d’art indien, auteur du Codex canadiensis (fin du XVIIe), de l’Histoire naturelle des Indes occidentales (c.1680) …
Colloque
Plusieurs centaines d'isolats bactériens ont été évalués pour leur activité bactérilytique envers Micrococcus luteus en incorporant des cellules ou des parois de Micrococcus dans le milieu nutritif gélosé. Un Bacillus a ainsi été sélectionné par l'importance de sa zone de lyse. Une banque génomique de cette souche a été construite dans le vecteur pTZ18R. De cette banque, plus de 800 colonies ont été analysées pour leur activité lytique envers Micrococcus par l'électrophorèse des extraits de cellules autolysées. Une activité lytique a été détectée correspondant à l'activité lytique de 27 kDa. Le retour à la lecture du cadre ouvert a permis …
Colloque
À l'aide d'une distillation sous pression réduite, et en présence d'un décomplexant, soit l'hydrochlorure d'hydroxylamine, les cyanures sont libérés sous la forme d'acide cyanhydrique et absorbés dans une solution alcaline. Dans cette solution alcaline, le CN est dosé par chromatographie anionique sans suppression en utilisant un détecteur électrochimique. Comme éluant, on emploie une solution de carbonate de sodium dans l'eau et dans l'alcool isopropylique. Cet éluant contient aussi l'éthylène-diamine. Le thiocyanate et le thiosulfate sont dosés dans l'échantillon par chromatographie anionique avec suppression à fibre et détection conductimétrique. L'éluant est une solution de carbonate de sodium contenant comme modificateur d'absorption …
Colloque
La séquence méta-sédimentaire de la Galette comporte des gneiss quartzeux à grenat sillimanite et cordiérite, des gneiss quartzo-feldspathiques et des métasiltites très purs. Il y a en outre des niveaux mafiques subordonnants (amphibolites) qui peuvent être soit des métabasaltes ou des métagabbros (sills). Le métamorphisme atteint le faciès amphibolite supérieur à granulite. La séquence qui constitue une enclave à l'intérieur d'une masse charnockitique enveloppe l'extrémité nord du massif d'anorthosite de St-Urbain. Quatre déformations ductiles D1, D2, D3 et D4 (au moins) et des déformations cassantes affectent la séquence de la Galette. Les déformations ductiles sont responsables des structures suivantes: pour …
