Le sport dans l'Espagne franquiste

Jusqu'à sa mort, en novembre 1975, le Général Franco fut, tel que le proclamaient ses pièces de monnaie, le « Caudillo d'Espagne par la grâce de Dieu » et, selon ses apologistes, il était responsable uniquement devant Dieu et l'Histoire. Bien que durant les dernières années de sa vie, sa participation directe dans les décisions politiques courantes fut assez réduite, il est pourtant certain qu'aucune décision importante ne pouvait être prise sans son consentement. Jusqu'au tout dernier moment, il conserva, grâce à la dénommée « Constitution franquiste », le pouvoir de nommer et de destituer les ministres, pouvoir qu'il utilisa toujours à sa guise. De telles prémisses conduisent à considérer logique l'utilisation du sport au service d'une idée politique. On assista alors à une tentative de mise sur pied du modèle de l'Allemagne nazie, mais il fallait tenir compte du fait que Franco n'avait jamais été disposé à construire un état totalitaire ayant un seul et unique parti, à l'image du modèle italien ou allemand. Après l'échec des puissances de l'Axe, Franco vit très clairement la nécessité d'abandonner le côté fasciste de son régime. Et, en ce qui concerne tout particulièrement le sport, Franco ne fut jamais disposé à dépenser la moindre somme d'argent dans ce domaine, comme l'avaient pourtant fait Hitler ou Mussolini.

Active barnase variants with completely random hydrophobic cores.

The central structural feature of natural proteins is a tightly packed and highly ordered hydrophobic core. If some measure of exquisite, native-like core packing is necessary for enzymatic function, this would constitute a significant obstacle to the development of novel enzymes, either by design or by natural or experimental evolution. To test the minimum requirements for a core to provide sufficient structural integrity for enzymatic activity, we have produced mutants of the ribonuclease barnase in which 12 of the 13 core residues have together been randomly replaced by hydrophobic alternatives. Using a sensitive biological screen, we find that a strikingly high proportion of these mutants (23%) retain enzymatic activity in vivo. Further substitution at the 13th core position shows that a similar proportion of completely random hydrophobic cores supports enzyme function. Of the active mutants produced, several have no wild-type core residues. These results imply that hydrophobicity is nearly a sufficient criterion for the construction of a functional core and, in conjunction with previous studies, that refinement of a crudely functional core entails more stringent sequence constraints than does the initial attainment of crude core function. Since attainment of crude function is the critical initial step in evolutionary innovation, the relatively scant requirements contributed by the hydrophobic core would greatly reduce the initial hurdle on the evolutionary pathway to novel enzymes. Similarly, experimental development of novel functional proteins might be simplified by limiting core design to mere specification of hydrophobicity and using iterative mutation-selection to optimize core structure.

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.

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.