The Horse : its treatment in health and disease with a complete guide to breeding, training and management /

Mode of access: Internet.

Das illustrirte Mississippithal : dargestellt in 80 nach der Natur aufgenommenen Ansichten vom Wasserfalle zu St. Anthony an bis zum Golf von Mexico (eine Entfernung von ungefähr 2300 englischen Meilen) /

Cf. Sabin 40807.

The horse; its treatment in health and disease with a complete guide to breeding, training and management,

Vol. 1-3; 4-6; 7-9 paged continuously.

Historical dramas /

The fool's revenge.--Jeanne Darc.--Twixt axe and crown.--Lady Clancarty.--Arkwright wife.--Anne Boleyn.--Plot and passion.

Formalising behaviour trees with CSP

Behaviour Trees is a novel approach for requirements engineering. It advocates a graphical tree notation that is easy to use and to understand. Individual requirements axe modelled as single trees which later on are integrated into a model of the system as a whole. We develop a formal semantics for a subset of Behaviour Trees using CSP. This work, on one hand, provides tool support for Behaviour Trees. On the other hand, it builds a front-end to a subset of the CSP notation and gives CSP users a new modelling strategy which is well suited to the challenges of requirements engineering.

Expansion-based algorithms for finding single pair shortest path on surface

Finding single pair shortest paths on surface is a fundamental problem in various domains, like Geographic Information Systems (GIS) 3D applications, robotic path planning system, and surface nearest neighbor query in spatial database, etc. Currently, to solve the problem, existing algorithms must traverse the entire polyhedral surface. With the rapid advance in areas like Global Positioning System (CPS), Computer Aided Design (CAD) systems and laser range scanner, surface models axe becoming more and more complex. It is not uncommon that a surface model contains millions of polygons. The single pair shortest path problem is getting harder and harder to solve. Based on the observation that the single pair shortest path is in the locality, we propose in this paper efficient methods by excluding part of the surface model without considering them in the search process. Three novel expansion-based algorithms are proposed, namely, Naive algorithm, Rectangle-based Algorithm and Ellipse-based Algorithm. Each algorithm uses a two-step approach to find the shortest path. (1) compute an initial local path. (2) use the value of this initial path to select a search region, in which the global shortest path exists. The search process terminates once the global optimum criteria are satisfied. By reducing the searching region, the performance is improved dramatically in most cases.

Interfacing ASM with the MDG tool

In this paper we describe an approach to interface Abstract State Machines (ASM) with Multiway Decision Graphs (MDG) to enable tool support for the formal verification of ASM descriptions. ASM is a specification method for software and hardware providing a powerful means of modeling various kinds of systems. MDGs are decision diagrams based on abstract representation of data and axe used primarily for modeling hardware systems. The notions of ASM and MDG axe hence closely related to each other, making it appealing to link these two concepts. The proposed interface between ASM and MDG uses two steps: first, the ASM model is transformed into a flat, simple transition system as an intermediate model. Second, this intermediate model is transformed into the syntax of the input language of the MDG tool, MDG-HDL. We have successfully applied this transformation scheme on a case study, the Island Tunnel Controller, where we automatically generated the corresponding MDG-HDL models from ASM specifications.

La québécité comme élément fondateur d'une pensée musicale électroacoustique

Le projet de recherche-création proposé survole la québécité à travers un pan majeur de l’étude des Amériques : le territoire. L’adoption du territoire québécois, de son espace, et de sa densité – effectué à la fois sous un axe méridional (le Saint-Laurent) et septentrional (le Nord) –, s’effectue dans mon corpus acousmatique à travers l’utilisation de concepts théoriques établis par plusieurs figures québécoises et internationales. La description des sources d'inspiration du cycle d’œuvres acousmatique proposé, étant principalement issues de sphères extramusicales — la démarche de divers artistes et chercheurs québécois ayant contribué à l’émergence poétique de mon corpus tels que Pierre Perrault, René Derouin, Daniel Chartier, et Louis-Edmond Hamelin — y tient une place importante. La portion musicale est effectuée de façon analytique à l’aide de deux méthodes propres au genre électroacoustique – analyse typologique de Pierre Schaeffer, et fonctionnelle de Stéphane Roy –, qui, à travers l’œuvre de certains compositeurs de musiques électroniques internationaux permettent de souligner la pluralité des conceptions territoriales et le réseau sémantique universel sous-jacent, laissant place à une lecture plus large de cette thématique. La méthodologie proposée permet donc à la fois de cerner l’universel – modèles naturels, références psychoacoustiques –, le local – utilisation de poèmes québécois, référents animaux ou anecdotiques précis tels que des cris d’oiseaux et des prises sonores du Saint-Laurent –, et la relation dichotomique entre la nature et la culture dans mon corpus, afin qu’émerge un discours musical cohérent basé sur le territoire québécois.

L'évaluation des allégations d’agression sexuelle chez les enfants

Rapport de stage présenté à la Faculté des sciences de criminologie en vue de l'obtention du grade de Maître ès sciences (M.Sc.) en sciences en criminologie option cheminement avec stage en intervention

Doing Research with Vulnerable Populations: The Case of Intravenous Drug Users

Article

Cortisol salivaire chez des mères adolescentes et leur nourrisson : exploration de quelques corrélats psychopathologiques et comportementaux

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Études des différences sexuelles dans les systèmes cérébraux régulateurs de la réponse de stress et des émotions chez le rat

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

La mesure alternative d’hostilité dans les relations de rivalité interacteur.

Le présent travail explore le phénomène de la rivalité interétatique1 et les mesures de son intensité. Chacune des définitions existantes de la rivalité fait la lumière sur l’une de ses caractéristiques. La rivalité durable met l’accent sur la compétition militarisée, la rivalité stratégique accorde une importance particulière à la perception de l’ennemi, tandis que la rivalité interétatique est axée sur les questions autour desquelles la compétition se déroule. Ces visions différentes du phénomène de la rivalité laissent leur empreinte sur son opérationnalisation et sur le choix des paramètres visant à le capter. Nous réunissons ces trois interprétations dans une seule définition de rivalité interacteur, en proposant une nouvelle classification des actions hostiles, ainsi que la mesure alternative d’hostilité fondée sur la fréquence de ces dernières. Les quatre études de cas suivantes nous ont permis d’atteindre ces objectifs : les relations de rivalité entre l’Afghanistan et le Pakistan, entre l’Arménie et l’Azerbaïdjan, entre le Bélize et le Guatemala, ainsi qu’entre la Somalie et l’Éthiopie.

L’évaluation des allégations d’agression sexuelle chez les enfants

Rapport de stage présenté à la Faculté des sciences de criminologie en vue de l'obtention du grade de Maître ès sciences (M.Sc.) en sciences en criminologie option cheminement avec stage en intervention

Doing Research with Vulnerable Populations: The Case of Intravenous Drug Users

Article