Computers - Computer Science

Author: N. D. Jones,S. S. MuchnickISBN-10: 3540090851ISBN-13: 9783540090854Publisher: SpringerLanguage: EnglishPublished: 10/05/1978Pages: 120Format: PaperbackWeight: 0.43lbsSize: 9.21h x 6.14w x 0.28d

Author: M. KohlmannISBN-10: 3540094806ISBN-13: 9783540094807Publisher: SpringerLanguage: EnglishPublished: 06/01/1979Pages: 617Format: PaperbackWeight: 2.19lbsSize: 9.61h x 6.69w x 1.27d

Author: J. E. DonahueISBN-10: 354007628XISBN-13: 9783540076285Publisher: SpringerLanguage: EnglishPublished: 04/01/1976Pages: 173Format: PaperbackWeight: 0.59lbsSize: 9.21h x 6.14w x 0.39d

This book constitutes the refereed proceedings of the 4th International Conference on Mining Intelligence and Knowledge Exploration, MIKE 2016, held in Mexico City, Mexico, in November 2016. The 18 full papers presented were carefully reviewed and selected from 56 submissions. Accepted papers were grouped...

This book provides a significant step towards bridging the areas of Boolean satisfiability and constraint satisfaction by answering the question why SAT-solvers are efficient on certain classes of CSP instances which are hard to solve for standard constraint solvers. The author also gives theoretical...

The book provides a bottom-up approach to understanding how a computer works and how to use computing to solve real-world problems. It covers the basics of digital logic through the lens of computer organization and programming. The reader should be able to design his...

This book constitutes the joint refereed proceedings of the 16th International Conference on Next Generation Wired/Wireless Advanced Networks and Systems, NEW2AN 2016, and the 9th Conference on Internet of Things and Smart Spaces, ruSMART 2016, held in St. Petersburg, Russia, in September 2016. The...

This book constitutes the refereed proceedings of the 13th International Conference on Unconventional Computation and Natural Computation, UCNC 2014, held in London, ON, Canada, in July 2014. The 31 revised full papers were carefully reviewed and selected from 79 submissions. The papers cover a...

Author: Jinbo Xu,Sheng Wang,Jianzhu MaISBN-10: 331914913XISBN-13: 9783319149134Publisher: SpringerLanguage: EnglishPublished: 03/03/2015Pages: 51Format: PaperbackWeight: 0.21lbsSize: 9.21h x 6.14w x 0.12d

This book constitutes revised selected papers from 7 workshops that were held in conjunction with the ISC High Performance 2016 conference in Frankfurt, Germany, in June 2016. The 45 papers presented in this volume were carefully reviewed and selected for inclusion in this book....

Author: Antonio Ruberti,Alberto Isidori,Paolo D'AlessandroISBN-10: 3211812067ISBN-13: 9783211812068Publisher: SpringerLanguage: EnglishPublished: 12/31/1980Pages: 67Format: PaperbackWeight: 0.29lbsSize: 9.61h x 6.69w x 0.15d

This book explores the role of cancer stem cells in the diagnosis, treatment, and cure of cancers. This book also tackles novel methodology for cancer stem cell marker identification, cancer stem cell respiration and metabolism, genetic and epigenetic mechanisms including DNA methylation, and mi-RNA...

This volume contains the post-proceedings of the 9th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2014, held in Telč, Czech Republic, in October 2014.The 13 thoroughly revised papers were carefully selected out of 28 submissions and are presented together with...

This book constitutes the refereed proceedings of the 27th International Workshop on Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems, COINE 2023, held in London, UK, on May 29, 2023 (co-located with 22nd International Conference on Autonomous Agents and Multi-Agent Systems...

Author: Toby Berger,Lee D. DavissonISBN-10: 3211813020ISBN-13: 9783211813027Publisher: SpringerLanguage: EnglishPublished: 12/31/1980Pages: 71Format: PaperbackWeight: 0.30lbsSize: 9.61h x 6.69w x 0.16d

George Collins' discovery of Cylindrical Algebraic Decomposition (CAD) as a method for Quantifier Elimination (QE) for the elementary theory of real closed fields brought a major breakthrough in automating mathematics with recent important applications in high-tech areas (e.g. robot motion), also stimulating fundamental research...

There seems to be no doubt that geometry originates from such practical activ- ities as weather observation and terrain survey. But there are different manners, methods, and ways to raise the various experiences to the level of theory so that they finally constitute a...

Quantum computation, one of the latest joint ventures between physics and the theory of computation, is a scientific field whose main goals include the development of hardware and algorithms based on the quantum mechanical properties of those physical systems used to implement such algorithms....

This book constitutes the refereed proceedings of the 21st International Conference, RAMiCS 2024, held in Prague, Czech Republic, during August 19-22, 2024. The 15 full papers presented in this book were carefully reviewed and selected from 21 submissions. They focus on mathematical foundations to...

In the history of modern computation, large mechanical calculators preceded computers. A person would sit there punching keys according to a procedure and a number would eventually appear. Once calculators became fast enough, it became obvious that the critical path was the punching rather...

This book constitutes the refereed proceedings of the 16th Annual Conference on Theory and Applications of Models of Computation, TAMC 2020, held in Changsha, China, in October 2020. The 37 full papers were carefully reviewed and selected from 83 submissions. The main themes of...

Social media greatly enables people to participate in online activities and shatters the barrier for online users to create and share information at any place at any time. However, the explosion of user-generated content poses novel challenges for online users to find relevant information,...

This book constitutes revised selected and extended papers presented at track 4 of the Conference on Computer Science and Intelligence Systems, FedCSIS 2020, which took place in Sofia, Bulgaria, during September 6-9, 2020. The FedCSIS Information Systems and Technologies Track included AIST 2020, DSH...

This Open Access textbook provides students and researchers in the life sciences with essential practical information on how to quantitatively analyze data images. It refrains from focusing on theory, and instead uses practical examples and step-by step protocols to familiarize readers with the most...

This textbook presents the application of mathematical methods and theorems tosolve engineering problems, rather than focusing on mathematical proofs. Applications of Vector Analysis and Complex Variables in Engineering explains the mathematical principles in a manner suitable for engineering students, who generally think quite differently...

Due to demand, this highly successful text covering all aspects of business transformation and analysis is back. Now in its third edition, the book has been revised and updated, providing the reader with exciting new chapters and brand new case studies. In any software...

Java brings more functionality and versatility to the world of mobile devices, but it also introduces new security threats. This book is a comprehensive presentation of embedded Java security. No other book specifically addresses the topic of embedded Java security. The main components of...

Research that is based on appropriate theoretical or conceptual frameworks ensures valid and credible research objectives and the production of relevant results that complement existing literature on a research problem. Innovative and relevant knowledge is produced using appropriate theories and concepts. Despite the importance...

The goal of this book is to introduce readers to an assortment of powerful command line utilities that can be combined to create simple, yet powerful shell scripts. While all examples and scripts use the "bash" command set, many of the concepts translate into...

Seven Deadliest Network Attacks identifies seven classes of network attacks and discusses how the attack works, including tools to accomplish the attack, the risks of the attack, and how to defend against the attack. This book pinpoints the most dangerous hacks and exploits specific...

Understanding the behavior of groups or crowds in real time can provide valuable information to crowd management systems, helping prevent or avoid human tragedy in crowd emergencies. Wearable devices provide a powerful platform for understanding human behavior, however the infrastructure required to communicate data...

In this fast-paced 100-page guide, you'll learn to load, display and interact with dynamic, data-powered Visio diagrams in SharePoint 2013 or Office 365.Visio Services Quick Guide gives you the tools to build anything from a simple project workflow to an organizational infrastructure diagram, powered...

Is your job in danger of getting replaced by robots? Jobocalypse is a look at the rapidly changing face of robotics and how it will revolutionize employment and jobs over the next thirty years. Ben Way lays out the arguments in favor of and...

The original motivation for the development of digital computers was to make it possible to perform calculations that were too large to be attempted by a human being without serious likelihood of error. Once the users found that they could achieve their initial aims,...

Many hardware devices present either results or alternatives selected by computers to users. A few are video display terminals (VDTs), touch-tone telephones, and computer-generated speech systems. In part this book con- cerns the impact and implications of such tools. Alternatively this is an attempt...

Thirty years ago mathematical, as opposed to applied numerical, computation was difficult to perform and so relatively little used. Three threads changed that: the emergence of the personal computer; the discovery of fiber-optics and the consequent development of the modern internet; and the building...

Whereas unicast routing determines a path from one source node to one destination node, multicast routing determines a path from one source to many destinations, or from many sources to many destinations. We survey multicast routing methods for when the set of destinations is...

A state-of-the-art survey book focusing upon the key applications and relationships and synergies between automatic differentiation (AD) tools and other software tools, such as compilers and parallelizers. Essential reading for practitioners and professionals in scientific computing, as well as for computer engineers.Author: George CorlissISBN-10:...

A new text/reference offering a comprehensive and detailed presentation of wavelet theory, principles and methods. It presents basic theory of wavelet bases and transforms without assuming knowledge of advanced mathematics. The book motivates the central ideas of wavelets by discussing Haar series in depth...

Digital Video Concepts, Methods, and Metrics: Quality, Compression, Performance, and Power Trade-off Analysis is a concise reference for professionals in a wide range of applications and vocations. It focuses on giving the reader mastery over the concepts, methods and metrics of digital video coding,...

In the rapidly-changing world of the Internet and the Web, theory and research struggle to keep up with technological, social, and economic developments. In education in particular, a proliferation of novel practices, applications, and forms - from bulletin boards to Webcasts, from online educational...

Updated and expanded for the new Apple iOS8, The Business of iOS App Development, Third Edition shows you how to incorporate marketing and business savvy into every aspect of the design and development process, giving your app the best possible chance of succeeding in...

Pro Android Wearables details how to design and build Android Wear apps for new and unique Android wearable device types, such as Google Android smartwatches, which use the new WatchFaces API, as well as health-monitoring features and other cool features such as altimeters and...

Written for the IT professional and business owner, this book provides the business and technical insight necessary to migrate your business to the cloud using Microsoft Office 365. This is a practical look at cloud migration and the use of different technologies to support...

Microsoft Office for iPad is here! So learn the tips, tricks, and get around the gotchas in Microsoft Office for iPad with Pro Office for iPad. This book shows you how you can become productive quickly by avoiding those annoyances and confusions and slow-me-downs...

Beginning Application Lifecycle Management is a guide to an area of rapidly growing interest within the development community: managing the entire cycle of building software. ALM is an area that spans everything from requirements specifications to retirement of an IT-system or application. Because its...

Beginning iOS Media App Development is a ground-breaking tutorial that explores the near limitless, programmable audio-visual capabilities of the iPhone, iPad and iPod touch using real-world examples and thorough explanations of the code. This book includes detailed step-by-step instructions and important background information from...

Is computing just for men? Are men and women suited to different careers? This collection of global perspectives challenges these commonly held western views, perpetuated as explanations for women's low participation in computing. By providing an insider look at how different cultures worldwide impact...

The book aims to provide comprehensive and practical guidance on magnetismand magnetic materials. It involves four parts, focusing on fundamentalmagnetism, hard magnetic materials, soft magnetic materials andother functional magnetic materials.Part I highlights the ubiquity of magnetism and the close relationshipsbetween magnetic materials and our...

In many problems arising in engineering and science one requires approxi- tion methods to reproduce physical reality as well as possible. Very schema- cally, if the input data represents a complicated discrete/continuous quantity of information, of "shape" S (S could mean, for example, that...