Actualité

19/12/2011 16:19
-
Catalogue unique pour les sites Descartes et Monod

L'interrogation du catalogue via le portail Denis Diderot englobe maintenant les documents des deux sites, après intégration du catalogue « sciences » (51 000 références) dans le catalogue Diderot.

Vous gardez la possibilité de limiter votre recherche aux documents de la bibliothèque « sciences » en sélectionnant « ENSL - Sciences » dans le déroulant qui permet de choisir un périmètre de recherche.

Les services du portail sont maintenant étendus aux documents du site Monod :

- demande de communication d'ouvrages en magasin ;
- consultation de votre compte lecteur ;
- réservation de documents ;
- prolongation de vos prêts ;
- suggestions d'achat.

* plus de précisions à la rubrique « Services » du portail Denis Diderot.

Vous pouvez également :

- enregistrer vos recherches et être informés des nouveaux documents sur votre sujet ;
- marquer des documents (« Tags »).

Tous ces services nécessitent d'être identifié (avec vos login et mot de passe délivrés par le service informatique).

Ressources électroniques

L'intégration des ressources électroniques « sciences » dans le portail Denis Diderot est en cours.

Pour accéder aux revues électroniques « Sciences », nous vous invitons à cliquer sur le lien « Revues électroniques Sciences » (dans le cadre « Liens » en bas à droite de la page d'accueil.)

Pour rappel, ces revues sont actuellement consultables uniquement sur place.

Portail Denis Diderot : http://www.bibliotheque-diderot.org

> LISTE DES NOUVELLES ACQUISITIONS

Derniers dépôts dans PRUNEL

Structures et déterminants des collaborations au sein des programmes cadres de recherche et développement technologique de l'Union Européenne. : Une perspective réseau.

Les Programmes Cadres de Recherche et développement technologique (PCRDT) sont les principaux instruments dont dispose l'Union Européenne (UE) pour, d'une part favoriser la recherche et l'innovation sur le territoire européen et améliorer la compétitivité des firmes européennes, d'autre part faire émerger un Espace Européen de la Recherche (EER). Les collaborations formées entre les acteurs de la recherche et l'innovation, grâce aux projets financés par les PCRDT, forment des réseaux complexes. L'objectif de la thèse est de montrer de quelle manière l'analyse réseau constitue une perspective intéressante pour mieux appréhender les PCRDT et évaluer l'impact des politiques d'innovations de l'UE. Cette analyse permet à la fois d'examiner les propriétés de la structure des collaborations formées dans le cadre des PCRDT et de rendre comptedes déterminants des collaborations au sein de ces programmes. Les travaux menés dans la thèse portent sur deux domaines technologiques, issus de la thématique Information Society Technology (IST) du 6ème PCRDT et qui sont des domaines clés de l'innovation dans l'UE : les Télécommunications et l'Electronique-Microélectronique. Dans un premier temps, nous étudions les réseaux formés par les collaborations entre agents dans les deux domaines technologiques retenus ainsi que dans le réseau agrégé de ces deux domaines. Nous nous intéressons aux propriétés générales de ces réseaux et cherchonsà vérifier s'ils possèdent les propriétés des "small-world networks" reconnus dans la littérature comme des réseaux favorisant l'innovation. De plus, nous observons si ces réseaux évoluent de manière positive dans le temps. Après avoir étudié les réseaux de manière globale, nous nous intéressons aux agents qui composent le réseau en montrant notamment l'existence de "hubs". Dans le cadre de cette analyse, nous sélectionnons les indcateurs adéquats et si nécessaire mettons ne place de nouveaux indicateurs comme le degré renforcé. Nous menons ainsi une analyse à deux niveaux : au niveau macroéconomiqueet au niveau microéconomique. Enfin, nous construisons des réseaux agrégés au niveau des régions afin de ne pas étudier seulement les réseaux de collaborations au niveau des agents mais aussi au niveau des territoires. De cette manière, il est possible d'observer dans quelle mesure les PCRDT impulsent un développement harmonieux de l'innovation au sein de l'UE.Dans un second temps, nous nous concentrons sur les déterminants qui peuvent inciter deux agents à collaborer. Pour cela, nous nous intéressons plus particulièrement aux agents qui ont déjà une expérience dans les PCRDT. Parmi ces déterminants, on retrouve ceux de la littérature traditionnelle comme les moyens en R&D, la proximité géographique,. . . En outre, nous mettons également en exergue le rôle prépondérant joué par les réseaux de la période précédente dans les choix de collaboration et la constitution des réseaux présents. Nous étudions à la fois l'existence d'une collaboration entre deux agents mais aussi l'intensité de ces collaborations. Enfin, afin d'approfondir l'analyse menée dans le cadre de collaborations bilatérales, nous étudions la formation de triades en cherchant à montrer l'existence du phénomène de "triadic closure" tout en observant le rôle joué par les déterminants cités précédemment. Lien vers le documentMapping Tightly-Coupled Applications on Volatile Resources

Platforms that comprise volatile processors, such as desktop grids, have been traditionally used for executing independent-task applications. In this work we study the scheduling of tightly-coupled iterative master-worker applications onto volatile processors. The main challenge is that workers must be simultaneously available for the application to make progress. We consider two additional complications: one should take into account that workers can become temporarily reclaimed and, for data-intensive applications, one should account for the limited bandwidth between the master and the workers. In this context, our first contribution is a theoretical study of the scheduling problem in its off-line version, i.e., when processor availability is known in advance. Even in this case the problem is NP-hard. Our second contribution is an analytical approximation of the expectation of the time needed by a set of workers to complete a set of tasks and of the probability of success of this computation. This approximation relies on a Markovian assumption for the temporal availability of processors. Our third contribution is a set of heuristics, some of which use the above approximation to favor reliable processors in a sensible manner. We evaluate these heuristics in simulation. We identify some heuristics that significantly outperform their competitors and derive heuristic design guidelines. Lien vers le documentMémoire, oubli et imaginaires urbains, étude de deux hauts-lieux de la mémoire communiste à Berlin-Est : le Palais de la République et le Musée de la Stasi

Berlin est une ville qui suscite un nombre impressionnant d'images liées à l'histoire du 20eme siècle. Rares sont les villes qui condensent autant d'empreintes dans lesquelles on peut lire les grands événements qui marquèrent l'Europe et le monde. Sur les ruines du siècle passé, Berlin tente aujourd'hui de s'ériger en capitale allemande, un centre du pouvoir politique et économique, la ville reflet d'une démocratie allemande qui se veut modeste et exemplaire. La chute du Mur est un événement qui, pour ses contemporains, a sans conteste débouché sur une rupture d'intelligibilité. Si elle ouvre de facto de nouvelles perspectives à venir, cette rupture d'intelligibilité n'en préfigure pas moins un rapport radicalement nouveau au passé. En Allemagne réunifiée, et plus particulièrement à Berlin, un vaste travail de réévaluation des passés s'est amorcé, ayant pour objectif de combler de sens la nouvelle donne née de l'événement 1989. Le traitement des hauts-lieux du communisme, qui s'effectue de concert avec un vaste travail sur le passé de la RDA, répond à de multiples exigences qui se déclinent en termes politiques, identitaires et économiques. Il importe à la fois de comprendre comment la construction de récits officiels du passé communiste s'inscrit dans une dynamique globale de constitution et 'inscription de récits nationaux de la nouvelle Allemagne dans l'espace urbain de la capitale, et de porter une attention particulière à la réception de ces reconstructions du passé au sein des "publics" berlinois. Comment des références communes à la RDA se construisent-elles? Et comment, en retour, des récits alternatifs de la ville et de ses passés viennent-ils s'opposer aux interprétations, parfois homogénéisantes, que propose le" Nouveau Berlin"? Lien vers le documentWave Equation Numerical Resolution: a Comprehensive Mechanized Proof of a C Program

We formally prove correct a C program that implements a numerical scheme for the resolution of the one-dimensional acoustic wave equation. Such an implementation introduces errors at several levels: the numerical scheme introduces method errors, and floating-point computations lead to round-off errors. We annotate this C program to specify both method error and round-off error. We use Frama-C to generate theorems that guarantee the soundness of the code. We discharge these theorems using SMT solvers, Gappa, and Coq. This involves a large Coq development to prove the adequacy of the C program to the numerical scheme and to bound errors. To our knowledge, this is the first time such a numerical analysis program is fully machine-checked. Lien vers le documentTerrains de géographes, géographes de terrain. Communauté et imaginaire disciplinaires au miroir des pratiques de terrain des géographes français du XXe siècle

Cette thèse interroge les représentations que les géographes français du XXe siècle se font de leurs activités de recherche en explorant les multiples significations que recouvre pour eux le terrain, et notamment la place qu'il occupe dans les dispositifs heuristiques et dans l'imaginaire disciplinaire. Cette recherche entend appliquer à l'histoire de la géographie les approches et les méthodes de la sociologie des sciences. Tout au long de la période, le terrain constitue un ordre du discours dominant qui structure durablement les représentations et les pratiques : face aux lectures inspirées par la théorie des révolutions scientifiques, cette thèse met au contraire en lumière la stabilité des discours. La " crise de la géographie " qui désigne la période de doutes que traverse la discipline durant les années 1960 et 1970 apparaît alors davantage comme une mutation des discours et non comme un changement radical des pratiques. Ce changement de focale sur l'histoire de la discipline oblige donc à repenser les cadres avec lesquels l'écrire : le terrain - envisagé comme un " objet scientifique total " - constitue alors une entrée pertinente pour appréhender la géographie dans son ensemble, c'est-à-dire à la fois ses contenus, ses méthodes, ses finalités et ses acteurs. Lien vers le documentCombining Process Replication and Checkpointing for Resilience on Exascale Systems

Processor failures in post-petascale settings are common occurrences. The traditional fault-tolerance solution, checkpoint-rollback, severely limits parallel efficiency. One solution is to replicate application processes so that a processor failure does not necessarily imply an application failure. Process replication, combined with checkpoint-rollback, has been recently advocated by Ferreira et al. We first identify an incorrect analogy made in their work between process replication and the birthday problem, and derive correct values for the Mean Number of Failures To Interruption and Mean Time To Interruption for exponentially distributed failures. We then extend these results to arbitrary failure distributions, including closed-form solutions for Weibull distributions. Finally, we evaluate process replication using both synthetic and real-world failure traces. Our main findings are: (i) replication is less beneficial than claimed by Ferreira et al; (ii) although the choice of the checkpointing period can have a high impact on application execution in the no-replication case, with process replication this choice is no longer critical. Lien vers le document"L'animal thérapeute". : Socio-anthropologie de l'émergence du soin par le contact animalier

Depuis une quarantaine d'années la place des animaux est devenue problématique et a été re-problématisée dans les sociétés occidentales contemporaines. La montée de la prise en compte sociale des intérêts des animaux, de la bienveillance à leur égard, recompose les représentations << traditionnelles " et " modernes " du monde animal. A travers l'exemple du développement des pratiques de soin par le contact animalier (Zoothérapie, Thérapie Assistée par l'Animal, Médiation Animale ... ), j'analyse les mécanismes de revalorisation de la présence animale auprès des humains. Ces pratiques contribuent à l'avènement d'un nouveau régime de compagnonnage anthropozoologique, dans lequel la bienveillance vis,à-vis de l'animal occupe une grande place. L'hypothèse de ce travail est que la reconnaissance d'une valeur thérapeutique au contact avec l'animal permet de rendre cette bienveillance légitime et d'enrôler tout un réseau d'acteurs autorisant le développement à grande échelle de ce nouveau régime relationnel. Ainsi, j'ai suivi comment la conviction selon laquelle l'interaction avec l'animal améliore une relation de soin "classique", a pu naître, être diffusée, mise à l'épreuve du travail scientifique, et s'actualiser dans des pratiques concrètes. La première partie aborde la constitution d'un champ de savoir autonome autour des questions de l'interaction avec l'animal à but thérapeutique, à travers une analyse bibliographique. La deuxième partie traite des réseaux d'acteurs qui ont promu le soin par le contact animalier,son développement, sa professionnalisation et sa standardisation. Enfin, une troisième partie décrit plus particulièrement les pratiques, en situation, à travers l'analyse d'observations ethnographiques et d'entretiens. Lien vers le documentBudget Constrained Resource Allocation for Non-Deterministic Workflows on a IaaS Cloud

Many scientific applications are described through workflow structures. Due to the increasing level of parallelism offered by modern computing infrastructures, workflow applications now have to be composed not only of sequential programs, but also of parallel ones. Cloud platforms bring on-demand resource provisioning and pay-as-you-go payment charging. Then the execution of a workflow corresponds to a certain budget. The current work addresses the problem of resource allocation for non-deterministic workflows under budget constraints. We present a way of transforming the initial problem into sub-problems that have been studied before. We propose two new allocation algorithms that are capable of determining resource allocations under budget constraints and we present ways of using them to address the problem at hand. Lien vers le documentLe pouvoir au féminin dans la Castille médiévale : une deuxième voie ?

Comment définir le lien entre femme et pouvoir dans les anciens royaumes de Castille et Léon ? Y a-t-il un exercice spécifique du pouvoir par les femmes ? Les chroniques n'en offrent qu'une vision très lacunaire et la Chronica Adefonsi Imperatoris en est un exemple intéressant du fait même de l'a priori idéologique qui préside à sa composition. Je me suis donc intéressée au traitement particulier que cette chronique réserve au protagonisme féminin. Lien vers le documentChronica naiarensis: de la traición a la exaltación

Dans le texte de la Chronica naiarensis, trahisons et vengeances ressortent et concourent à l'élaboration d'une relation historique qui oppose bons et méchants. Cette contexture s'installe et dirige la narration tout au long des Livres I et II pour culminer au Livre III, où s'affrontent, en particulier, Ferdinand Ier de León et de Castille (1035/1037-1065) et Garsias III de Nájera (1035-1054), puis, Alphonse VI de León et de Castille (1065-1109) et ses frères. Dans une telle situation, nous verrons comment la structure textuelle choisie devient un instrument politique exemplaire. Lien vers le document

46, Allée d'Italie 69364 LYON Cedex 07 | Tél. : 04 72 72 81 84 | Fax : 04 72 72 81 82 | Courriel | Contact Webmaster