Academic literature on the topic 'Bibliothèque algorithme'

Background: Small renal masses are increasingly being discoveredincidentally on imaging performed for another reason. Thestandard of care for these masses involves excision by open orlaparoscopic techniques. Recently, ablative techniques such asradiofrequency ablation (RFA) and cryoablation have taken a moreprominent role in the treatment algorithm for these masses. Wesought to evaluate the efficacy and safety of radiofrequency ablationin the treatment of renal tumours.Methods: We conducted a review of the literature. There was nolanguage restriction. We obtained studies from the followingsources: the Cochrane Library, PubMed, EMBASE, LILACS andCurrent Controlled Trials.Results: We identified no clinical trials in the literature. Thus wedescribed the results from case series and retrospective studieswith a reasonable sample size (number of reported patients in eachstudy > 65). Most patients undergoing RFA had T1a disease witha mean tumour size of about 3 cm. Radiofrequency ablation wasusually performed percutaneously with image guidance. Reportedfollow-up was short and ranged from 1 to 30 months. Most seriesused radiographic response as a surrogate for cancer control. Therates of local recurrence of the tumour were as high as 13.0%(average 8.5%) and were slightly higher than those associated withcryoablation and partial nephrectomy. Complications includedhemorrhage, ureteral strictures and loss of a renal unit.Conclusion: Our review demonstrates that RFA is a suitable andpromising therapy in patients with small renal tumours who areconsidered to be poor candidates for more involved surgery.However, clinical trials with long-term data are needed to establishthe oncological efficacy.Contexte : De petites masses rénales sont de plus en plus souventdécouvertes de façon fortuite lors d’épreuves d’imagerie commandéespour une autre raison. Les soins standard pour ces massesincluent une excision par chirurgie ouverte ou par laparoscopie.Dernièrement, des techniques comme l’ablation par radiofréquence(ARF) et la cryoablation ont pris plus d’importance dans l’algorithmede traitement. Nous examinons l’efficacité et l’innocuité del’ablation par radiofréquence dans le traitement des tumeurs rénales.Méthodologie : Une revue de la littérature a été effectuée, sansrestriction de langue. Des articles ont été obtenus des sources suivantes: la Bibliothèque Cochrane, PUBMED, EMBASE, LILACS etCurrent Controlled Trials.Résultats : Comme aucun essai clinique n’a pu être cerné dans cesbases de données, nous décrivons les résultats d’études de cas etd’analyses rétrospectives avec populations de taille raisonnable(nombre de patients pour chaque étude > 65). La vaste majoritédes patients ayant subi une ARF présentaient une tumeur T1a detaille moyenne d’environ 3 cm. L’ARF était habituellement effectuéepar voie percutanée et guidée par imagerie. Le suivi était court,allant de 1 à 30 mois. La plupart des études sérielles avaient recoursà la réponse radiographique comme paramètre de substitutionde la maîtrise du cancer. Les taux de récidive locale de la tumeuratteignaient 13.0 % (moyenne 8.5%), et étaient en général légèrementplus élevés que les taux notés avec la cryoablation et lanéphrectomie partielle. Les complications signalées étaient les suivantes: hémorragie, sténose urétérale et perte d’une unité rénale.Conclusion : Le présent article montre que l’ARF est une techniqueconvenable et prometteuse chez les patients porteurs depetites tumeurs rénales considérés comme de mauvais candidatspour une intervention plus lourde. Cependant, il est impératifd’effectuer des essais cliniques à long terme afin d’établir dans unavenir rapproché l’efficacité oncologique de cette technique.

Cette recherche examine les problèmes causés par les articles initiaux dans les catalogues. Les enregistrements problématiques observés sont ceux dont le titre commence par un mot considéré erronément comme un article. Plusieurs algorithmes tronquent des requêtes les mots correspondant aux articles d’une liste d’exclusion, même si le mot initial n’est pas un article. Un certain nombre de documents demeurent donc introuvables. This research examines problems caused by initial articles in library catalogues. The problematic records observed are those whose title starts with a word erroneously considered as an article. Many algorithms truncate queries by removing words corresponding to the articles from a stop list, even if the initial word is not an article. Consequently, a certain number of documents remain untraceable.

Ce mémoire est composé de cinq chapitres et traite du développement d'un générateur automatique de programmes de simulation de procédés électromécaniques (Gaspe). Dans le premier chapitre, nous présentons un ensemble de logiciels de simulation utilises en France dans le domaine de l'électronique de puissance. La méthodologie de modélisation et de simulation des ensembles convertisseur-machine-commande et le générateur Gaspe qui en a résulté sont développés au sein du laboratoire Green. Nous les présentons dans le deuxième chapitre. Le développement du produit Gaspe en tant qu'outil de simulation fait l'objet du troisième chapitre. Le quatrième chapitre traite de l'application de Gaspe à la simulation numérique d'une machine asynchrone alimentée par un onduleur a mli. Enfin, le cinquième chapitre est consacré à la structuration de la bibliothèque de modules Gaspe

Au cours de la dernière décennie, le développement des activités internationales relatives aux bibliothèques numériques a été en constante augmentation. Fondée sur le succès des programmes américains sur les bibliothèques numériques (Digital Library Initiative-1 et 2 et National Science Digital Library Program), de nombreux projets nationaux et internationaux de recherche sur les bibliothèques numériques ont été activement mis au point par les bibliothèques nationales, publiques et universitaires ou les différentes institutions de recherche. Parmi les projets les plus récents, le « European Initiative » réunit actuellement un grand nombre d’instituts de recherche, des musées, des institutions culturelles et des archives nationaux européens pour la conception et la mise en place de la bibliothèque européenne Europeana. Ces projets ont donné naissance à des bibliothèques numériques, des systèmes de collaboration et d’enseignement à distance avec de très grands volumes de données. Face à de telles quantités de données, l’utilisateur a besoin d’un moyen lui permettant de chercher les données facilement et d’une présentation personnalisée des données retournées. Dans le cadre de cette thèse, nous proposons un moyen permettant à l’utilisateur de personnaliser ses requêtes (requêtes avec préférences), des algorithmes performants pour l’évaluation des requêtes avec préférences sur des bases de données volumineuses et des résultats expérimentaux les validant. Nous présentons également un prototype de bibliothèque numérique à taxonomie centrale incorporant un service de recherche avec préférences et un service de notification des abonnés lors des événements qui les intéressent, tels que l’insertion, la modification ou la suppression d’un document, suivant leur profil
During the last decade, the development of large digital libraries has seen a steadily rising activity. Based on the success of the U. S. Programs on Digital Libraries (Digital Library Initiative-1 and 2 and National Science Digital Library Program), many national and international research projects have been financed by national libraries, public archives or various academic and research institutions. Among the recent projects, the "European Initiative" currently brings together a large number of research institutes, museums, cultural institutions and European national archives for the design and implementation of the European Digital Library Europeana. These projects have given rise to a number of digital libraries, collaborative systems, and e-learning environments storing very large volumes of data. Faced with such large amounts of data, users need support in two ways, among others: (a) an easy to use query facility for searching the data and (b) a personalized presentation of the data returned. The work presented in this thesis is in the area of digital libraries and has three major contributions: (a) supports users of digital libraries to customize their queries (preferences queries), (b) proposes efficient algorithms for evaluating preferences queries on large databases and (c) presents experimental results validating the performance of the proposed algorithms. Moreover, a prototype implementation of a digital library has been conducted, based on a central taxonomy and offering the following personalization services to its users: (a) querying with preferences and (b) a profile-based notification service alerting users when events of interest to them (such as insertion, modification or deletion of a document) occur in the library

Ces dernières années, les bibliothèques numériques et les systèmes de collaboration et enseignement à distance, dans le cadre desquels se situe cette thèse, ont connu un véritable engouement. Le volume des données que ces systèmes mettent à la disposition de leurs utilisateurs est en constante augmentation et les mises à jours de ces données sont de plus en plus fréquentes. Les utilisateurs se retrouvent obligés d'interroger ces systèmes régulièrement avec les mêmes requêtes afin de rester informés des mises à jours des données qui peuvent les intéresser. Ces interrogations répétées présentent plusieurs inconvénients pour les utilisateurs et pour le système. Pour les éviter, il est de plus en plus courant d'offrir aux utilisateurs un service de notification qui leur permet de créer des souscriptions représentant leurs requêtes favorites et qui les informe dés qu'une nouvelle information pouvant les intéresser est disponible. Dans des contextes très dynamiques comme ceux que nous considérons, l'efficacité de ce genre de services peut être altérée si son exécution se fait de façon naïve vérifiant toutes les souscriptions enregistrées par les utilisateurs à chaque nouvelle information disponible. Dans le cadre de cette thèse, nous proposons des algorithmes performants pour l'optimisation des services de notification, et les résultats expérimentaux les validant dans 2 cadres différents : 1/ Une bibliothèque numérique où les souscriptions sont basées sur une taxonomie unique est prédéfinie. 2/ Un système de travail collaboratif et d'enseignement à distance proposé dans le cadre du projet européen KPlab, où les souscriptions sont basées sur des ontologies différentes, et évolutives
Digital Libraries and e-learning systems are becoming more and more widely spread and the volume of information they manage is increasing very rapidly. Thus, these systems users, whose the number is growing at a tremendous rate, need to query these systems more and more frequently to find information of interest, which may lead to multiple inconvenient. The notification services are proposed to help avoiding these inconvenients. They consist in notifying a user of new information deemed as relevant to his preferences. The notification process which consists in matching new information with user preferences has to be as efficient as possible. This thesis addresses the problem of efficiently supporting the notification process, and makes contributions in two contexts : 1/ A digital library based on a unique predefined taxonomy 2/ A collaborative e-learning system based on different evolutive ontologies

L'algèbre linéaire numérique a connu depuis quelques décennies des développements intensifs autant au niveau mathématique qu'informatique qui ont permis d'aboutir à de véritable standard logiciel comme BLAS ou LAPACK. Dans le cadre du calcul exact ou formel, la situation n'est pas aussi avancée, en particulier à cause de la diversité des problématiques et de la jeunesse des progrès théoriques. Cette thèse s'inscrit dans une tendance récente qui vise à fédérer des codes performants provenant de bibliothèques spécialisées au sein d'une unique plateforme de calcul. En particulier, l'émergence de bibliothèques robustes et portables comme GMP ou NTL pour le calcul exact s'avére être un réel atout pour le développement d'applications en algèbre linéaire exacte. Dans cette thèse, nous étudions la faisabilité et la pertinence de la réutilisation de codes spécialisés pour développer une bibliothèque d'algèbre linéaire exacte performante, à savoir la bibliothèque LinBox. Nous nous appuyons sur les mécanismes C++ de programmation générique (classes abtraites, classes templates) pour fournir une abstraction des composantes mathématiques et ainsi permettre le plugin de composants externes. Notre objectif est alors de concevoir et de valider des boîtes à outils génériques haut niveau dans LinBox pour l'implantation d'algorithmes en algèbre linéaire exacte. En particulier, nous proposons des routines de calcul hybride "exact/numérique" pour des matrices denses sur un corps finis permettant d'approcher les performances obtenues par des bibliothèques numériques comme LAPACK. À un plus haut niveau, ces routines nous permettent de valider la réutilisation de codes spécifiques sur un problème classique du calcul formel: la résolution de systèmes linéaires diophantiens. La bibliothèque LinBox est disponible à www. Linalg. Org
For a few decades, numerical linear algebra has seen intensive developments in both mathematical and computer science theory which have led to genuine standard software like BLAS or LAPACK. In computer algebra the situation has not advanced as much, in particular because of the diversity of the problems and because of much of the theoretical progress have been done recently. This thesis falls into a recent class of work which aims at uniforming high-performance codes from many specialized libraries into a single platform of computation. In particular, the emergence of robust and portable libraries like GMP or NTL for exact computation has turned out to be a real asset for the development of applications in exact linear algebra. In this thesis, we study the feasibility and the relevance of the re-use of specialized codes to develop a high performance exact linear algebra library, namely the LinBox library. We use the generic programming mechanisms of C++ (abstract class, template class) to provide an abstraction of the mathematical objects and thus to allow the plugin of external components. Our objective is then to design and validate, in LinBox, high level generic toolboxes for the implementation of algorithms in exact linear algebra. In particular, we propose "exact/numeric" hybrid computation routines for dense matrices over finite fields which nearly match with the performance obtained by numerical libraries like LAPACK. On a higher level, we reuse these hybrid routines to solve very efficiently a classical problem of computer algebra: solving diophantine linear systems. Hence, this allowed us to validate the principle of code reuse in LinBox library and more generally in computer algebra. The LinBox library is available at www. Linalg. Org

Ce travail présente quelques contributions en arithmétique des ordinateurs pour le matériel et le logiciel. L'arithmétique des ordinateurs est la branche de l'informatique qui traite des représentations des nombres, des algorithmes pour effectuer les calculs de base en machine, la validation de la qualité des calculs, l'analyse de l'efficacité des calculs et des outils d'aide à la conception de systèmes de calcul arithmétique. Nos travaux comportent des liens avec les domaines de la conception de circuits intégrés numériques, de l'architecture des machines et du développement logiciel de bibliothèques de calcul. Les principaux domaines d'application de nos travaux sont: le calcul numérique dans les systèmes embarqués, la cryptographie et la sécurité numérique, le traitement numérique du signal et des images et de façon plus limitée les dispositifs numériques de contrôle-commande en automatique. Le mémoire résume les travaux de recherche effectués, seul et en collaboration, depuis octobre 1997. Ces travaux portent sur: l'arithmétique en ligne, des architectures reconfigurables, des méthodes d'évaluation de fonctions à base de tables, la division pour circuits asynchrones, des opérateurs arithmétiques spécifiques pour FPGA, des variantes de la multiplication comme la multiplication par des constantes ou tronquée, des bibliothèques flottantes pour processeurs entiers, la division par des constantes, l'évaluation de fonctions par approximation polynomiale, des opérateurs arithmétiques pour la basse consommation d'énergie, la modélisation et l'évaluation de la consommation d'opérateurs arithmétiques, des opérateurs arithmétiques pour la cryptographie (corps finis et sécurisation contre des attaques physiques), la génération de diviseurs matériels, la bibliothèque logicielle PACE pour la cryptographie, la consommation d'énergie dans les processeurs graphiques, la maîtrise des erreurs d'arrondi dans les outils de CAO, la génération de nombres vraiment aléatoires et l'arithmétique par estimation.

De nombreux travaux sont consacrés à la performance des simulations numériques, or il est important de tenir compte aussi de l'impact des erreurs d'arrondi sur les résultats produits. Ces erreurs d'arrondi peuvent être estimées grâce à l'Arithmétique Stochastique Discrète (ASD), implantée dans la bibliothèque CADNA. Les algorithmes compensés permettent d'améliorer la précision des résultats, sans changer le type numérique utilisé. Ils ont été conçus pour être généralement exécutés en arrondi au plus près. Nous avons établi des bornes d'erreur pour ces algorithmes en arrondi dirigé et montré qu'ils peuvent être utilisés avec succès avec le mode d'arrondi aléatoire de l'ASD. Nous avons aussi étudié l’impact d’une précision cible des résultats sur les types numériques des différentes variables. Nous avons développé l'outil PROMISE qui effectue automatiquement ces modifications de types tout en validant les résultats grâce à l’ASD. L'outil PROMISE a ainsi fourni de nouvelles configurations de types mêlant simple et double précision dans divers programmes numériques et en particulier dans le code MICADO développé à EDF. Nous avons montré comment estimer avec l'ASD les erreurs d'arrondi générées en quadruple précision. Nous avons proposé une version de CADNA qui intègre la quadruple précision et qui nous a permis notamment de valider le calcul de racines multiples de polynômes. Enfin nous avons utilisé cette nouvelle version de CADNA dans l'outil PROMISE afin qu'il puisse fournir des configurations à trois types (simple, double et quadruple précision)
Many studies are devoted to performance of numerical simulations. However it is also important to take into account the impact of rounding errors on the results produced. These rounding errors can be estimated with Discrete Stochastic Arithmetic (DSA), implemented in the CADNA library. Compensated algorithms improve the accuracy of results, without changing the numerical types used. They have been designed to be generally executed with rounding to nearest. We have established error bounds for these algorithms with directed rounding and shown that they can be used successfully with the random rounding mode of DSA. We have also studied the impact of a target precision of the results on the numerical types of the different variables. We have developed the PROMISE tool which automatically performs these type changes while validating the results thanks to DSA. The PROMISE tool has thus provided new configurations of types combining single and double precision in various programs and in particular in the MICADO code developed at EDF. We have shown how to estimate with DSA rounding errors generated in quadruple precision. We have proposed a version of CADNA that integrates quadruple precision and that allowed us in particular to validate the computation of multiple roots of polynomials. Finally we have used this new version of CADNA in the PROMISE tool so that it can provide configurations with three types (single, double and quadruple precision)

L’arithmétique virgule flottante est une approximation de l’arithmétique réelle dans laquelle chaque opération peut introduire une erreur. La norme IEEE 754 requiert que les opérations élémentaires soient aussi précises que possible, mais au cours d’un calcul, les erreurs d’arrondi s’accumulent et peuvent conduire à des résultats totalement faussés. Cela arrive avec une expression aussi simple que ab + cd, pour laquelle l’algorithme naïf retourne parfois un résultat aberrant, avec une erreur relative largement supérieure à 1. Il est donc important d’analyser les algorithmes utilisés pour contrôler l’erreur commise. Je m’intéresse à l’analyse de briques élémentaires du calcul en cherchant des bornes fines sur l’erreur relative. Pour des algorithmes suffisamment précis, en arithmétique de base β et de précision p, on arrive en général à prouver une borne sur l'erreur de la forme α·u + o(u²) où α > 0 et u = 1/2·β1-p est l'unité d'arrondi. Comme indication de la finesse d'une telle borne, on peut fournir des exemples numériques pour les précisions standards qui approchent cette borne, ou bien un exemple paramétré par la précision qui génère une erreur de la forme α·u + o(u²), prouvant ainsi l'optimalité asymptotique de la borne. J’ai travaillé sur la formalisation d’une arithmétique à virgule flottante symbolique, sur des nombres paramétrés par la précision, et à son implantation dans le logiciel de calcul formel Maple. J’ai aussi obtenu une borne d'erreur très fine pour un algorithme d’inversion complexe en arithmétique flottante. Ce résultat suggère le calcul d'une division décrit par la formule x/y = (1/y)·x, par opposition à x/y = (x·y)/|y|². Quel que soit l'algorithme utilisé pour effectuer la multiplication, nous avons une borne d'erreur plus petite pour les algorithmes décrits par la première formule. Ces travaux sont réalisés avec mes directeurs de thèse, en collaboration avec Claude-Pierre Jeannerod (CR Inria dans AriC, au LIP)
Floating-point arithmetic is an approximation of real arithmetic in which each operation may introduce a rounding error. The IEEE 754 standard requires elementary operations to be as accurate as possible. However, through a computation, rounding errors may accumulate and lead to totally wrong results. It happens for example with an expression as simple as ab + cd for which the naive algorithm sometimes returns a result with a relative error larger than 1. Thus, it is important to analyze algorithms in floating-point arithmetic to understand as thoroughly as possible the generated error. In this thesis, we are interested in the analysis of small building blocks of numerical computing, for which we look for sharp error bounds on the relative error. For this kind of building blocks, in base and precision p, we often successfully prove error bounds of the form α·u + o(u²) where α > 0 and u = 1/2·β1-p is the unit roundoff. To characterize the sharpness of such a bound, one can provide numerical examples for the standard precisions that are close to the bound, or examples that are parametrized by the precision and generate an error of the same form α·u + o(u²), thus proving the asymptotic optimality of the bound. However, the paper and pencil checking of such parametrized examples is a tedious and error-prone task. We worked on the formalization of a symbolicfloating-point arithmetic, over numbers that are parametrized by the precision, and implemented it as a library in the Maple computer algebra system. We also worked on the error analysis of the basic operations for complex numbers in floating-point arithmetic. We proved a very sharp error bound for an algorithm for the inversion of a complex number in floating-point arithmetic. This result suggests that the computation of a complex division according to x/y = (1/y)·x may be preferred, instead of the more classical formula x/y = (x·y)/|y|². Indeed, for any complex multiplication algorithm, the error bound is smaller with the algorithms described by the “inverse and multiply” approach.This is a joint work with my PhD advisors, with the collaboration of Claude-Pierre Jeannerod (CR Inria in AriC, at LIP)

La méthode de mise au point des circuits intégrés VLSI est basée sur l'utilisation de techniques améliorant la testabilité, comme le chemin de test (LSSD). Différentes approches structurées (approches descendante, ascendante, recherche binaire) sont étudiées à travers un circuit complexe, le papillon FFT. Les problèmes spécifiques de la mise au point sont analysés et des solutions sont proposées. La réalisation d'un outil de mise au point est présentée. Il est composé d'un système permettant l'échantillonnage et la génération de vecteurs de test et d'un ensemble d'interfaces logicielles et matérielles assurant la liaison avec la chaîne de conception assistée par ordinateur et un banc de test sous pointes.

Ce travail concerne l'utilisation du parallélisme pour la résolution de certains problèmes de mécanique des fluides. La technique de décomposition de domaine a été appliquée pour résoudre en parallèle des problèmes basés aussi bien sur des schémas explicites qu'implicites. Elle a montré pour ce dernier cas la nécessité d'introduire un retard au niveau de la propagation de l'information lors de la gestion des interfaces entre sous-domaines. Deux exemples de problèmes couplés ont été résolus en parallèle. Le premier traite un problème de couplage fluide-structure appliqué au cas d'un propulseur de moteur fusée, le second exemple étant relatif à un couplage aérodynamique-chimie appliqué à une couche de mélange. La résolution parallèle a été faite sur différentes architectures MIMD à mémoire distribuée, avec l'utilisation des bibliothèques de communication PVM et MPI.

L'implantation en Virgule Flottante (VF) d'une fonction à valeurs réelles est réalisée avec arrondi correct si le résultat calculé est toujours égal à l'arrondi de la valeur exacte, ce qui présente de nombreux avantages. Mais pour implanter une fonction avec arrondi correct de manière fiable et efficace, il faut résoudre le "dilemme du fabricant de tables" (TMD en anglais). Deux algorithmes sophistiqués (L et SLZ) ont été conçus pour résoudre ce problème, via des calculs longs et complexes effectués par des implantations largement optimisées. D'où la motivation d'apporter des garanties fortes sur le résultat de ces pré-calculs coûteux. Dans ce but, nous utilisons l'assistant de preuves Coq. Tout d'abord nous développons une bibliothèque d'"approximation polynomiale rigoureuse", permettant de calculer un polynôme d'approximation et un intervalle bornant l'erreur d'approximation à l'intérieur de Coq. Cette formalisation est un élément clé pour valider la première étape de SLZ, ainsi que l'implantation d'une fonction mathématique en général (avec ou sans arrondi correct). Puis nous avons implanté en Coq, formellement prouvé et rendu effectif 3 vérifieurs de certificats, dont la preuve de correction dérive du lemme de Hensel que nous avons formalisé dans les cas univarié et bivarié. En particulier, notre "vérifieur ISValP" est un composant clé pour la certification formelle des résultats générés par SLZ. Ensuite, nous nous sommes intéressés à la preuve mathématique d'algorithmes VF en "précision augmentée" pour la racine carré et la norme euclidienne en 2D. Nous donnons des bornes inférieures fines sur la plus petite distance non nulle entre sqrt(x²+y²) et un midpoint, permettant de résoudre le TMD pour cette fonction bivariée. Enfin, lorsque différentes précisions VF sont disponibles, peut survenir le phénomène de "double-arrondi", qui peut changer le comportement de petits algorithmes usuels en arithmétique. Nous avons prouvé en Coq un ensemble de théorèmes décrivant le comportement de Fast2Sum avec double-arrondis.