Author: British Library. Document Supply Centre
Publisher:
ISBN:
Category : Conference proceedings
Languages : en
Pages : 938
Book Description
Index of Conference Proceedings
Author: British Library. Document Supply Centre
Publisher:
ISBN:
Category : Conference proceedings
Languages : en
Pages : 938
Book Description
Publisher:
ISBN:
Category : Conference proceedings
Languages : en
Pages : 938
Book Description
Mathematical Reviews
Author:
Publisher:
ISBN:
Category : Mathematics
Languages : en
Pages : 1060
Book Description
Publisher:
ISBN:
Category : Mathematics
Languages : en
Pages : 1060
Book Description
Proceedings of the Eighteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems
Author:
Publisher:
ISBN:
Category : Computer science
Languages : en
Pages : 388
Book Description
Publisher:
ISBN:
Category : Computer science
Languages : en
Pages : 388
Book Description
Subject Guide to Books in Print
Author:
Publisher:
ISBN:
Category : American literature
Languages : en
Pages : 2460
Book Description
Publisher:
ISBN:
Category : American literature
Languages : en
Pages : 2460
Book Description
The Internet of Things
Author: Lu Yan
Publisher: CRC Press
ISBN: 1000687457
Category : Computers
Languages : en
Pages : 329
Book Description
Ubiquitous and pervasive technologies such as RFID and smart computing promise a world of networked and interconnected devices. Everything from tires to toothbrushes could soon be in communications range, heralding the dawn of an era in which today's Internet of People gives way to tomorrow's Internet of Things- where billions of obje
Publisher: CRC Press
ISBN: 1000687457
Category : Computers
Languages : en
Pages : 329
Book Description
Ubiquitous and pervasive technologies such as RFID and smart computing promise a world of networked and interconnected devices. Everything from tires to toothbrushes could soon be in communications range, heralding the dawn of an era in which today's Internet of People gives way to tomorrow's Internet of Things- where billions of obje
Machine Learning and Data Mining
Author: Ryszad S. Michalski
Publisher: Wiley
ISBN: 9780471971993
Category : Computers
Languages : en
Pages : 472
Book Description
Master the new computational tools to get the most out of your information system. This practical guide, the first to clearly outline the situation for the benefit of engineers and scientists, provides a straightforward introduction to basic machine learning and data mining methods, covering the analysis of numerical, text, and sound data.
Publisher: Wiley
ISBN: 9780471971993
Category : Computers
Languages : en
Pages : 472
Book Description
Master the new computational tools to get the most out of your information system. This practical guide, the first to clearly outline the situation for the benefit of engineers and scientists, provides a straightforward introduction to basic machine learning and data mining methods, covering the analysis of numerical, text, and sound data.
Recommender Systems Handbook
Author: Francesco Ricci
Publisher: Springer
ISBN: 148997637X
Category : Computers
Languages : en
Pages : 1008
Book Description
This second edition of a well-received text, with 20 new chapters, presents a coherent and unified repository of recommender systems’ major concepts, theories, methodologies, trends, and challenges. A variety of real-world applications and detailed case studies are included. In addition to wholesale revision of the existing chapters, this edition includes new topics including: decision making and recommender systems, reciprocal recommender systems, recommender systems in social networks, mobile recommender systems, explanations for recommender systems, music recommender systems, cross-domain recommendations, privacy in recommender systems, and semantic-based recommender systems. This multi-disciplinary handbook involves world-wide experts from diverse fields such as artificial intelligence, human-computer interaction, information retrieval, data mining, mathematics, statistics, adaptive user interfaces, decision support systems, psychology, marketing, and consumer behavior. Theoreticians and practitioners from these fields will find this reference to be an invaluable source of ideas, methods and techniques for developing more efficient, cost-effective and accurate recommender systems.
Publisher: Springer
ISBN: 148997637X
Category : Computers
Languages : en
Pages : 1008
Book Description
This second edition of a well-received text, with 20 new chapters, presents a coherent and unified repository of recommender systems’ major concepts, theories, methodologies, trends, and challenges. A variety of real-world applications and detailed case studies are included. In addition to wholesale revision of the existing chapters, this edition includes new topics including: decision making and recommender systems, reciprocal recommender systems, recommender systems in social networks, mobile recommender systems, explanations for recommender systems, music recommender systems, cross-domain recommendations, privacy in recommender systems, and semantic-based recommender systems. This multi-disciplinary handbook involves world-wide experts from diverse fields such as artificial intelligence, human-computer interaction, information retrieval, data mining, mathematics, statistics, adaptive user interfaces, decision support systems, psychology, marketing, and consumer behavior. Theoreticians and practitioners from these fields will find this reference to be an invaluable source of ideas, methods and techniques for developing more efficient, cost-effective and accurate recommender systems.
Theoretical and Practical Aspects of SPIN Model Checking
Author: Dennis Dams
Publisher: Springer Science & Business Media
ISBN: 3540664998
Category : Computers
Languages : en
Pages : 287
Book Description
Increasing the designer’s con dence that a piece of software or hardwareis c- pliant with its speci cation has become a key objective in the design process for software and hardware systems. Many approaches to reaching this goal have been developed, including rigorous speci cation, formal veri cation, automated validation, and testing. Finite-state model checking, as it is supported by the explicit-state model checkerSPIN,is enjoying a constantly increasingpopularity in automated property validation of concurrent, message based systems. SPIN has been in large parts implemented and is being maintained by Gerard Ho- mann, and is freely available via ftp fromnetlib.bell-labs.comor from URL http://cm.bell-labs.com/cm/cs/what/spin/Man/README.html. The beauty of nite-state model checking lies in the possibility of building \push-button" validation tools. When the state space is nite, the state-space traversal will eventually terminate with a de nite verdict on the property that is being validated. Equally helpful is the fact that in case the property is inv- idated the model checker will return a counterexample, a feature that greatly facilitates fault identi cation. On the downside, the time it takes to obtain a verdict may be very long if the state space is large and the type of properties that can be validated is restricted to a logic of rather limited expressiveness.
Publisher: Springer Science & Business Media
ISBN: 3540664998
Category : Computers
Languages : en
Pages : 287
Book Description
Increasing the designer’s con dence that a piece of software or hardwareis c- pliant with its speci cation has become a key objective in the design process for software and hardware systems. Many approaches to reaching this goal have been developed, including rigorous speci cation, formal veri cation, automated validation, and testing. Finite-state model checking, as it is supported by the explicit-state model checkerSPIN,is enjoying a constantly increasingpopularity in automated property validation of concurrent, message based systems. SPIN has been in large parts implemented and is being maintained by Gerard Ho- mann, and is freely available via ftp fromnetlib.bell-labs.comor from URL http://cm.bell-labs.com/cm/cs/what/spin/Man/README.html. The beauty of nite-state model checking lies in the possibility of building \push-button" validation tools. When the state space is nite, the state-space traversal will eventually terminate with a de nite verdict on the property that is being validated. Equally helpful is the fact that in case the property is inv- idated the model checker will return a counterexample, a feature that greatly facilitates fault identi cation. On the downside, the time it takes to obtain a verdict may be very long if the state space is large and the type of properties that can be validated is restricted to a logic of rather limited expressiveness.
Black Teachers on Teaching
Author: Michele Foster
Publisher: The New Press
ISBN: 9781565844537
Category : Education
Languages : en
Pages : 188
Book Description
An oral history of black teachers that gives "valuable insight into a profession that for African Americans was second only to preaching" (Booklist).
Publisher: The New Press
ISBN: 9781565844537
Category : Education
Languages : en
Pages : 188
Book Description
An oral history of black teachers that gives "valuable insight into a profession that for African Americans was second only to preaching" (Booklist).
An Assessment of the Prospects for Inertial Fusion Energy
Author: National Research Council
Publisher: National Academies Press
ISBN: 0309272246
Category : Science
Languages : en
Pages : 247
Book Description
The potential for using fusion energy to produce commercial electric power was first explored in the 1950s. Harnessing fusion energy offers the prospect of a nearly carbon-free energy source with a virtually unlimited supply of fuel. Unlike nuclear fission plants, appropriately designed fusion power plants would not produce the large amounts of high-level nuclear waste that requires long-term disposal. Due to these prospects, many nations have initiated research and development (R&D) programs aimed at developing fusion as an energy source. Two R&D approaches are being explored: magnetic fusion energy (MFE) and inertial fusion energy (IFE). An Assessment of the Prospects for Inertial Fusion Energy describes and assesses the current status of IFE research in the United States; compares the various technical approaches to IFE; and identifies the scientific and engineering challenges associated with developing inertial confinement fusion (ICF) in particular as an energy source. It also provides guidance on an R&D roadmap at the conceptual level for a national program focusing on the design and construction of an inertial fusion energy demonstration plant.
Publisher: National Academies Press
ISBN: 0309272246
Category : Science
Languages : en
Pages : 247
Book Description
The potential for using fusion energy to produce commercial electric power was first explored in the 1950s. Harnessing fusion energy offers the prospect of a nearly carbon-free energy source with a virtually unlimited supply of fuel. Unlike nuclear fission plants, appropriately designed fusion power plants would not produce the large amounts of high-level nuclear waste that requires long-term disposal. Due to these prospects, many nations have initiated research and development (R&D) programs aimed at developing fusion as an energy source. Two R&D approaches are being explored: magnetic fusion energy (MFE) and inertial fusion energy (IFE). An Assessment of the Prospects for Inertial Fusion Energy describes and assesses the current status of IFE research in the United States; compares the various technical approaches to IFE; and identifies the scientific and engineering challenges associated with developing inertial confinement fusion (ICF) in particular as an energy source. It also provides guidance on an R&D roadmap at the conceptual level for a national program focusing on the design and construction of an inertial fusion energy demonstration plant.