Download or read book Sur les limites empiriques du calcul written by Maël Pégny and published by . This book was released on 2013 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: Durant ces dernières décennies, la communauté informatique a montré un intérêt grandissant pour les modèles de calcul non-standard, inspirés par des phénomènes physiques, biologiques ou chimiques. Les propriétés exactes de ces modèles ont parfois été l'objet de controverses: que calculent-ils? Et à quelle vitesse? Les enjeux de ces questions sont renforcés par la possibilité que certains de ces modèles pourraient transgresser les limites acceptées du calcul, en violant soit la thèse de Church-Turing soit la thèse de Church-Turing étendue. La possibilité de réaliser physiquement ces modèles a notamment été au coeur des débats. Ainsi, des considérations empiriques semblent introduites dans les fondements même de la calculabilité et de la complexité computationnelle, deux théories qui auraient été précédemment considérées comme des parties purement a priori de la logique et de l'informatique. Par conséquent, ce travail est consacré à la question suivante : les limites du calcul reposent-elles sur des fondements empiriques? Et si oui, quels sont-ils? Pour ce faire, nous examinons tout d'abord la signification précise des limites du calcul, et articulons une conception épistémique du calcul, permettant la comparaison des modèles les plus variés. Nous répondrons à la première question par l'affirmative, grâce à un examen détaillé des débats entourant la faisabilité des modèles non-standard. Enfin, nous montrerons les incertitudes entourant la deuxième question dans l'état actuel de la recherche, en montrant les difficultés de la traduction des concepts computationnels en limites physiques.
Download or read book Big Data written by Eglantine Schmitt and published by John Wiley & Sons. This book was released on 2020-10-13 with total page 288 pages. Available in PDF, EPUB and Kindle. Book excerpt: Manipulating and processing masses of digital data is never a purely technical activity. It requires an interpretative and exploratory outlook - already well known in the social sciences and the humanities - to convey intelligible results from data analysis algorithms and create new knowledge. Big Data is based on an inquiry of several years within Proxem, a software publisher specializing in big data processing. The book examines how data scientists explore, interpret and visualize our digital traces to make sense of them, and to produce new knowledge. Grounded in epistemology and science and technology studies, Big Data offers a reflection on data in general, and on how they help us to better understand reality and decide on our daily actions.
Download or read book Labostat Guide de validation des m thodes d analyse written by FEINBERG and published by Lavoisier. This book was released on 2012-02-01 with total page 386 pages. Available in PDF, EPUB and Kindle. Book excerpt: Unique en son genre dans sa conception et dans son contenu, Labo-Stat - Guide de validation des méthodes d'analyses présente une nouvelle stratégie de validation selon une démarche raisonnée fondée sur le profil d'exactitude. Les techniques statistiques adaptées y sont explicitées sous une forme didactique et les solutions possibles ainsi que les limites éventuelles de diverses normes existantes sont largement développées et illustrées d'exemples concrets directement exploitables. Les applications numériques, sous forme de feuilles de calcul modèles pour des tableurs et des petits scripts, sont téléchargeables en ligne. Complétée par les explications de cet ouvrage, elles permettent au non-statisticien d'accéder aisément à une interprétration graphique des résultats. Labo-Stat a été conçu pour pouvoir être facilement utilisé sur la paillasse du laboratoire et permettre à tout un chacun, responsable, ingénieur, chercheur, technicien ou étudiant, de s'approprier les techniques indispensables pour déboucher sur une conclusion claire et sans ambiguïté et mener la validation des méthodes dans un souci de contrôle des coûts.
Download or read book A Selection of Early Statistical Papers of J Neyman written by Jerzy Neyman and published by Univ of California Press. This book was released on 2023-11-15 with total page 443 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book A Selection of Early Statistical Papers written by and published by Univ of California Press. This book was released on with total page 444 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Dynamic Aspects of Conformation Changes in Biological Macromolecules written by C. Sadron and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 511 pages. Available in PDF, EPUB and Kindle. Book excerpt: On the day after the 1959 Cambridge Congress, during which the International Union of Pure and Applied Biophysics was founded, a biophysics section was formed within the Society of Physical Chemistry (Societe de Chimie Physique). Since then, three of the Society's annual meetings (the 11th, 17th, and 23rd) were devoted exclusively to the physico-chemical study of biological systems. The first of these was held in June 1961 at a hotel in Col de Voza, at the foot of an alpine glacier above Chamonix. The second, in May 1967, took place in the more learned setting of the venerable rooms of the National Museum of Natural History in Paris. The third - the one dealt with in the present volume - was recently held at Orleans-La Source in the newly built lecture theatres of the young University, which is near the great Institutes of the National Centre for Scientific Research (CNRS), on the Sologne plateau. These three stages are milestones of an evolution which characterises (at least schematically) the explosive evolution of biological physico-chemistry. The first colloquium, with the title 'Deoxyribonucleic Acid: Structure, Synthesis and Functions', actually marks the first contact of the physical chemist with one of the then most prestigious biological macromolecules, the structure of which had just been discovered, and in this way celebrated one of the first and most striking successes of molecular biology.
Download or read book Through flow Calculations in Axial Turbomachinery written by North Atlantic Treaty Organization. Advisory Group for Aerospace Research and Development. Propulsion and Energetics Panel and published by . This book was released on 1976 with total page 256 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Acta Technica SAV written by and published by . This book was released on 1965 with total page 878 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Probl mes de validation des m thodes d estimation des pr cipitations par satellite en Afrique intertropicale written by Bernard Guillot and published by IRD Orstom. This book was released on 1996 with total page 236 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Canadian Journal of Physics written by and published by . This book was released on 1981 with total page 1184 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book First European Congress of Mathematics written by Anthony Joseph and published by Nelson Thornes. This book was released on 1994-08 with total page 614 pages. Available in PDF, EPUB and Kindle. Book excerpt: The book contains the round table reports of the first European Congress of Mathematics, a new feature of this Congress devoted to furthering the contribution of mathematics to society and reporting on its interaction with the exact and social sciences. Topics: • Mathematics and the general public • Women and mathematics • Mathematics and educational policy • Let's cultivate mathematics! • Mathematical Europe: Myth or historical reality? • Philosophie des mathématiques : pourquoi ? comment ? • Mathématiques et sciences sociales • Mathe- matics and industry • Degree harmonization and student exchange programmes • The Pythagoras programme • Collaboration with devel- oping countries • Mathematical libraries in Europe • Mathematics and economics • Mathématiques et Chimie • Mathematics in medicine and biology. This book is also available in hardcover as Volume 121 of the series Progress in Mathematics, where it forms part of the three-volume set First European Congress of Mathematics. Volumes I (Invited Lectures Part 1) and II (Invited Lectures Part 2) of this set are also available separately as Volumes 119 and 120, respectively, of Progress in Mathematics.
Download or read book Revue Roumaine Des Sciences Techniques written by and published by . This book was released on 1991 with total page 484 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Conception syst mique pour la conversion d nergie lectrique 2 approche int gr e par optimisation written by ROBOAM Xavier and published by Lavoisier. This book was released on 2012-11-06 with total page 306 pages. Available in PDF, EPUB and Kindle. Book excerpt: Le contexte économique impose des systèmes toujours plus performants, minimisant coûts d’investissement et de possession. Si les méthodes d’analyse, de synthèse et de gestion présentées dans le premier volume Conception systémique pour la conversion d’énergie électrique 1 participent à l’optimisation des systèmes énergétiques, les techniques traitées dans cet ouvrage proposent d’aller encore plus loin dans la performance. La complexité de systèmes multidisciplinaires à fort degré de couplage augmentant, le processus de conception par optimisation consistant à coupler un modèle à un algorithme d’optimisation au sein d’un environnement logiciel devient dès lors indispensable. Ce volume rassemble les points-clés permettant de représenter efficacement et de façon compacte l’environnement système et les profils de mission, mais également les méthodes, modèles et outils dédiés à l’optimisation. Les approches multiniveaux de conception et l’optimisation technico-économique des réseaux électriques sont particulièrement détaillées.
Download or read book Journal of the American Concrete Institute written by American Concrete Institute and published by . This book was released on 1965 with total page 1304 pages. Available in PDF, EPUB and Kindle. Book excerpt: Includes the ACT news letter (title varies slightly).
Download or read book Eighth International Symposium on Air Breathing Engines written by F. S. Billig and published by . This book was released on 1987 with total page 798 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Peaceful Uses of Atomic Energy written by and published by . This book was released on 1965 with total page 586 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Statistique math matique et statistique des processus Collection m thodes stochastiques appliqu es written by BOSQ Denis and published by Lavoisier. This book was released on 2012-06-01 with total page 290 pages. Available in PDF, EPUB and Kindle. Book excerpt: La plupart des manuels de statistique traitent seulement le cas des variables indépendantes et de même loi. Or, dans les applications, les variables observées sont très souvent corrélées. Les exemples sont nombreux en physique, chimie, biologie, économie, démographie ou finance. Pour combler cette lacune, cet ouvrage étudie la modélisation mathématique des phénomènes statistiques et s'intéresse plus particulièrement à la statistique des processus. Didactique et illustré de nombreux exercices, il comporte trois parties : la statistique mathématique, basée sur la théorie de la décision et le point de vue asymptotique, la statistique des processus à temps discret (processus ARMA) et à temps continu (processus de Poisson, processus de diffusion) et des compléments de probabilités. Statistique mathématique et statistique des processus s'adresse aux étudiants de master et aux élèves des grandes écoles. L'auteur Denis Bosq est professeur émérite à l'Université Pierre et Marie Curie. Il est l'auteur de nombreux articles et livres de recherche en statistique.
