03192oam 2200637 450 991013746050332120230125233136.02-8218-1486-02-7226-0171-010.4000/books.cdf.506(CKB)3170000000061043(SSID)ssj0000855511(PQKBManifestationID)12386279(PQKBTitleCode)TC0000855511(PQKBWorkID)10929233(PQKB)11647970(FrMaCLE)OB-cdf-506(oapen)https://directory.doabooks.org/handle/20.500.12854/59007(PPN)267951205(EXLCZ)99317000000006104320160829d2012 uy 0freu|b|#---|||||txtrdacontentcrdamediacrrdacarrierSciences des données de la logique du premier ordre à la Toile / Serge AbiteboulCollège de France2012Paris, France :Fayard,2012.©2012Leðcons inaugurales du Colláege de France Sciences des donnâees2-213-66910-4 Includes bibliographical references.Conçus à partir d'un langage formel, la logique du premier ordre, les systèmes de gestion de bases de données relationnels servent de médiateurs entre l'individu et la machine : ils traduisent les données en informations. Avec l'augmentation du volume de données distribuées sur la Toile émerge aujourd'hui une "intelligence collective" façonnée par de grands moteurs de recherches dont le monopole soulève des questions éthiques et politiques. Un des grands défis des années à venir est de développer les technologies qui permettront de trouver, d'évaluer, de valider, de vérifier, de hiérarchiser l'information pour construire la "Toile des connaissances" de demain. Relational database management systems, using as foundations a formal language, first-order logic, serve as mediators between individuals and machines. With the increase in the volume of data disseminated on the Web, a "collective intelligence" is currently emerging, shaped by large search engines whose monopoly raises ethical and political questions. One of the main challenges for the coming years is the development of technologies that will make it possible to find, evaluate, validate, verify and rank information, and thus to build tomorrow's "Web of knowledge."Database managementRelational databasesFirst-order logicWorld Wide WebComputer Scienceconnaissancegestion de bases de donnéessciences numériquesinformatiqueDatabase management.Relational databases.First-order logic.World Wide Web.Computer Science.005.7Abiteboul Serge315264PQKBUkMaJRUBOOK9910137460503321Sciences des données2263159UNINA04728nam 22006855 450 991025482800332120251116200022.03-319-66128-010.1007/978-3-319-66128-5(CKB)4100000000882155(DE-He213)978-3-319-66128-5(MiAaPQ)EBC5117941(PPN)220125368(EXLCZ)99410000000088215520171031d2017 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierDataFlow Supercomputing Essentials Research, Development and Education /by Veljko Milutinovic, Jakob Salom, Dragan Veljovic, Nenad Korolija, Dejan Markovic, Luka Petrovic1st ed. 2017.Cham :Springer International Publishing :Imprint: Springer,2017.1 online resource (XI, 150 p. 71 illus., 63 illus. in color.) Computer Communications and Networks,1617-79753-319-66127-2 Includes bibliographical references and index.Part I Research -- Maxeler AppGallery Revisited -- Discrepancy Reduction Between the Topology of DataFlow Graph and the Topology of FPGA Structure -- Part II Development -- Polynomial and Rational Functions -- Transforming Applications from the Control Flow to the DataFlow Paradigm -- Part III Education -- Mini Tutorial.This informative text/reference highlights the potential of DataFlow computing in research requiring high speeds, low power requirements, and high precision, while also benefiting from a reduction in the size of the equipment. The cutting-edge research and implementation case studies provided in this book will help the reader to develop their practical understanding of the advantages and unique features of this methodology. This work serves as a companion title to DataFlow Supercomputing Essentials: Algorithms, Applications and Implementations, which reviews the key algorithms in this area, and provides useful examples. Topics and features: Reviews the library of tools, applications, and source code available to support DataFlow programming Discusses the enhancements to DataFlow computing yielded by small hardware changes, different compilation techniques, debugging, and optimizing tools Examines when a DataFlow architecture is best applied, and for which types of calculation Describes how converting applications to a DataFlow representation can result in an acceleration in performance, while reducing the power consumption Explains how to implement a DataFlow application on Maxeler hardware architecture, with links to a video tutorial series available online This enlightening volume will be of great interest to all researchers investigating supercomputing in general, and DataFlow computing in particular. Advanced undergraduate and graduate students involved in courses on Data Mining, Microprocessor Systems, and VLSI Systems, will also find the book to be a helpful reference.Computer Communications and Networks,1617-7975Operating systems (Computers)Computer system failuresComputer engineeringBig dataOperating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14045System Performance and Evaluationhttps://scigraph.springernature.com/ontologies/product-market-codes/I13049Computer Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I27000Big Datahttps://scigraph.springernature.com/ontologies/product-market-codes/I29120Operating systems (Computers)Computer system failures.Computer engineering.Big data.Operating Systems.System Performance and Evaluation.Computer Engineering.Big Data.004.11Milutinović Veljkoauthttp://id.loc.gov/vocabulary/relators/aut0Salom Jakobauthttp://id.loc.gov/vocabulary/relators/autVeljovic Draganauthttp://id.loc.gov/vocabulary/relators/autKorolija Nenadauthttp://id.loc.gov/vocabulary/relators/autMarković Dejanauthttp://id.loc.gov/vocabulary/relators/autPetrović Lukaauthttp://id.loc.gov/vocabulary/relators/autMiAaPQMiAaPQMiAaPQBOOK9910254828003321DataFlow Supercomputing Essentials2507974UNINA