![]() |
Computer Algebra Recipes: A Gourmet's Guide to the Mathematical Models of Science
ISBN: 9781461265337 / Angielski / Miękka / 778 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Computer algebra systems have the potential to revolutionize the teaching of and learning of science. Not only can students work thorough mathematical models much more efficiently and with fewer errors than with pencil and paper, they can also work with much more complex and computationally intensive models. Thus, for example, in studying the flight of a golf ball, students can begin with the simple parabolic trajectory, but then add the effects of lift and drag, of winds, and of spin. Not only can the program provide analytic solutions in some cases, it can also produce numerical solutions...
Computer algebra systems have the potential to revolutionize the teaching of and learning of science. Not only can students work thorough mathematical...
|
cena:
201,24 |
![]() |
Logical Methods: In Honor of Anil Nerode's Sixtieth Birthday
ISBN: 9781461267089 / Angielski / Miękka / 816 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The twenty-six papers in this volume reflect the wide and still expanding range of Anil Nerode's work. A conference on Logical Methods was held in honor of Nerode's sixtieth birthday (4 June 1992) at the Mathematical Sciences Institute, Cornell University, 1-3 June 1992. Some of the conference papers are here, but others are from students, co-workers and other colleagues. The intention of the conference was to look forward, and to see the directions currently being pursued, in the development of work by, or with, Nerode. Here is a brief summary of the contents of this book. We give a...
The twenty-six papers in this volume reflect the wide and still expanding range of Anil Nerode's work. A conference on Logical Methods was held in hon...
|
cena:
603,81 |
![]() |
KNIME Essentials: Perform accurate data analysis using the power of KNIME
ISBN: 9781849699211 / Angielski / Miękka / 148 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. KNIME is an open source data analytics, reporting, and integration platform, which allows you to analyze a small or large amount of data without having to reach out to programming languages like R. "KNIME Essentials" teaches you all you need to know to start processing your first data sets using KNIME. It covers topics like installation, data processing, and data visualization including the KNIME reporting features. Data processing forms a fundamental part of KNIME, and KNIME Essentials ensures that you are fully comfortable with this aspect of KNIME before showing you how to visualize this...
KNIME is an open source data analytics, reporting, and integration platform, which allows you to analyze a small or large amount of data without havin...
|
cena:
168,27 |
![]() |
Haptics Technologies: Bringing Touch to Multimedia
ISBN: 9783642270314 / Angielski / Miękka / 220 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The term "haptics" refers to the science of sensing and manipulation through touch. Multiple disciplines such as biomechanics, psychophysics, robotics, neuroscience, and software engineering converge to support haptics, and generally, haptic research is done by three communities: the robotics community, the human computer interface community, and the virtual reality community. This book is different from any other book that has looked at haptics. The authors treat haptics as a new medium rather than just a domain within one of the above areas. They describe human haptic perception and... The term "haptics" refers to the science of sensing and manipulation through touch. Multiple disciplines such as biomechanics, psychophysics, robot... |
cena:
402,53 |
![]() |
High Performance Computing in Science and Engineering: Second International Conference, Hpcse 2015, Soláň, Czech Republic, May 25-28, 2015, Revis
ISBN: 9783319403601 / Angielski / Miękka / 197 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on High Performance Computing in Science and Engineering, HPCSE 2015, held in Solaň, Czech Republic, in May 2015. The 14 papers presented in this volume were carefully reviewed and selected from 21 submissions. The conference provides an international forum for exchanging ideas among researchers involved in scientific and parallel computing, including theory and applications, as well as applied and computational mathematics. The focus of HPCSE 2015 was on models,...This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on High Performance Computing in S... |
cena:
201,24 |
![]() |
Data Science - A Career Option for 21st Century: Career Option for Big Data and Data Science
ISBN: 9781532989681 / Angielski / Miękka / 678 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Presently, scientists, engineers, educators, citizens and decision-makers have unprecedented amounts and types of data available to them that are generated from many sources, including scientific instruments, medical devices, telescopes, microscopes, satellites; digitally-authored media, text, images, audio, and emails; streaming data from weblogs, videos, financial & commercial transactions. Now we are facing challenges in the management of data and knowledge; and data-enabled discovery processes. Therefore, attention is given on the computational, mathematical, and statistical methods for...
Presently, scientists, engineers, educators, citizens and decision-makers have unprecedented amounts and types of data available to them that are gene...
|
cena:
121,35 |
![]() |
OpenStack Sahara Essentials
ISBN: 9781785885969 / Angielski / Miękka / 178 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
189,86 |
![]() |
Big Data Science & Analytics: A Hands-On Approach
ISBN: 9780996025546 / Angielski / Twarda / 544 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Data and information are fuel of this new age where powerful analytics algorithms burn this fuel to generate decisions that are expected to create a smarter and more efficient world for all of us to live in. This new area of technology has been defined as Big Data Science and Analytics, and the industrial and academic communities are realizing this as a competitive technology that can generate significant new wealth and opportunity. Big data is defined as collections of datasets whose volume, velocity or variety is so large that it is difficult to store, manage, process and analyze... Data and information are fuel of this new age where powerful analytics algorithms burn this fuel to generate decisions that are expected to create ... |
cena:
327,55 |
![]() |
System Dynamics Modeling with R
ISBN: 9783319340418 / Angielski / Twarda / 176 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This new interdisciplinary work presents system dynamics as a powerful approach to enable analysts build simulation models of social systems, with a view toward enhancing decision making. Grounded in the feedback perspective of complex systems, the book provides a practical introduction to system dynamics, and covers key concepts such as stocks, flows, and feedback. Societal challenges such as predicting the impact of an emerging infectious disease, estimating population growth, and assessing the capacity of health services to cope with demographic change can all benefit from the application...
This new interdisciplinary work presents system dynamics as a powerful approach to enable analysts build simulation models of social systems, with a v...
|
cena:
442,79 |
![]() |
Scalability and Realtime for Data Warehouses and BigData
ISBN: 9781515092414 / Angielski / Miękka / 126 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The amount of data recorded, processed and managed has augmented at huge rates as the web age progressed, and as organizations became increasingly sophisticated and shifted from slow reaction times to acting quickly and proactively. This book describes data warehouse solutions to handle scalability and realtime needs of modern contexts. The mechanisms that should be used for scalability are studied, including foundations and most recent approaches that are also covered in the book. The topics of bigdata and the use of bigdata technologies in the context is also introduced. The book can be...
The amount of data recorded, processed and managed has augmented at huge rates as the web age progressed, and as organizations became increasingly sop...
|
cena:
323,69 |
![]() |
Traceback and Anonymity
ISBN: 9781493934393 / Angielski / Miękka / 80 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This brief systematically examines the trackback problem and its interaction with low-latency anonymous communication. First, it provides an overview of the common techniques a network-based attack may use to hide its origin and identity. Then the authors explore the MIX-based anonymity and the building blocks of low-latency anonymous communication. Later chapters offer a comprehensive study of the timing attacks on low-latency anonymous communication, and analyze the fundamental limitations of low-latency anonymous communication from the perspective of timing-based covert channel. ... This brief systematically examines the trackback problem and its interaction with low-latency anonymous communication. First, it provides an overvi... |
cena:
201,24 |
![]() |
Solving Higher-Order Equations: From Logic to Programming
ISBN: 9781461272786 / Angielski / Miękka / 188 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This monograph develops techniques for equational reasoning in higher-order logic. Due to its expressiveness, higher-order logic is used for specification and verification of hardware, software, and mathematics. In these applica- tions, higher-order logic provides the necessary level of abstraction for con- cise and natural formulations. The main assets of higher-order logic are quan- tification over functions or predicates and its abstraction mechanism. These allow one to represent quantification in formulas and other variable-binding constructs. In this book, we focus on equational logic as...
This monograph develops techniques for equational reasoning in higher-order logic. Due to its expressiveness, higher-order logic is used for specifica...
|
cena:
402,53 |
![]() |
Mathematica Graphics: Techniques & Applications
ISBN: 9781461275947 / Angielski / Miękka / 721 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Since its first release in 1988, Mathematica has sold over a quarter of a million copies throughout the world, enabling the manipulation of fields of mathematics such as numerics, symbolic algebra, and graphics. This step-by-step guide deals solely with generating computer graphics using the Mathematica software. It is written by an expert in the field, himself an employee of Wolfram Research, Inc., the creators and distributors of the software. Dr. Wickham-Jones is directly involved in all the technical issues and programs relating to the graphics side of the Mathematica package, and is...
Since its first release in 1988, Mathematica has sold over a quarter of a million copies throughout the world, enabling the manipulation of fields of ...
|
cena:
201,24 |
![]() |
Formal Techniques in Real-Time and Fault-Tolerant Systems
ISBN: 9781461364146 / Angielski / Miękka / 208 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Formal Techniques in Real-Time and Fault-Tolerant Systems focuses on the state of the art in formal specification, development and verification of fault-tolerant computing systems. The term fault-tolerance' refers to a system having properties which enable it to deliver its specified function despite (certain) faults of its subsystem. Fault-tolerance is achieved by adding extra hardware and/or software which corrects the effects of faults. In this sense, a system can be called fault-tolerant if it can be proved that the resulting (extended) system under some model of reliability...
Formal Techniques in Real-Time and Fault-Tolerant Systems focuses on the state of the art in formal specification, development and verificati...
|
cena:
603,81 |
![]() |
Foundations of Real-Time Computing: Scheduling and Resource Management
ISBN: 9781461367666 / Angielski / Miękka / 326 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains a selection of papers that focus on the state-of- the-art in real-time scheduling and resource management. Preliminary versions of these papers were presented at a workshop on the foundations of real-time computing sponsored by the Office of Naval Research in October, 1990 in Washington, D.C. A companion volume by the title Foundations of Real-Time Computing: Fonnal Specifications and Methods complements this book by addressing many of the most advanced approaches currently being investigated in the arena of formal specification and verification of real-time systems....
This volume contains a selection of papers that focus on the state-of- the-art in real-time scheduling and resource management. Preliminary versions o...
|
cena:
603,81 |
![]() |
Synchronization in Real-Time Systems: A Priority Inheritance Approach
ISBN: 9781461367888 / Angielski / Miękka / 176 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Real-time computing systems are vital to a wide range of applications. For example, they are used in the control of nuclear reactors and automated manufacturing facilities, in controlling and tracking air traffic, and in communication systems. In recent years, real-time systems have also grown larger and become more critical. For instance, advanced aircraft such as the space shuttle must depend heavily on computer sys- tems Carlow 84]. The centralized control of manufacturing facilities and assembly plants operated by robots are other examples at the heart of which lie embedded real-time...
Real-time computing systems are vital to a wide range of applications. For example, they are used in the control of nuclear reactors and automated man...
|
cena:
402,53 |
![]() |
Foundations of Real-Time Computing: Formal Specifications and Methods
ISBN: 9781461367963 / Angielski / Miękka / 316 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains a selection of papers that focus on the state-of- the-art in formal specification and verification of real-time computing systems. Preliminary versions of these papers were presented at a workshop on the foundations of real-time computing sponsored by the Office of Naval Research in October, 1990 in Washington, D. C. A companion volume by the title Foundations of Real-Time Computing: Scheduling and Resource Management complements this hook by addressing many of the recently devised techniques and approaches for scheduling tasks and managing resources in real-time systems....
This volume contains a selection of papers that focus on the state-of- the-art in formal specification and verification of real-time computing systems...
|
cena:
603,81 |
![]() |
Deadline Scheduling for Real-Time Systems: Edf and Related Algorithms
ISBN: 9781461375302 / Angielski / Miękka / 273 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Many real-time systems rely on static scheduling algorithms. This includes cyclic scheduling, rate monotonic scheduling and fixed schedules created by off-line scheduling techniques such as dynamic programming, heuristic search, and simulated annealing. However, for many real-time systems, static scheduling algorithms are quite restrictive and inflexible. For example, highly automated agile manufacturing, command, control and communications, and distributed real-time multimedia applications all operate over long lifetimes and in highly non-deterministic environments. Dynamic real-time...
Many real-time systems rely on static scheduling algorithms. This includes cyclic scheduling, rate monotonic scheduling and fixed schedules created by...
|
cena:
603,81 |
![]() |
Database Recovery
ISBN: 9781461376095 / Angielski / Miękka / 94 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Database Recovery presents an in-depth discussion on all aspects of database recovery. Firstly, it introduces the topic informally to set the intuitive understanding, and then presents a formal treatment of recovery mechanism. In the past, recovery has been treated merely as a mechanism which is implemented on an ad-hoc basis. This book elevates the recovery from a mechanism to a concept, and presents its essential properties. A book on recovery is incomplete if it does not present how recovery is practiced in commercial systems. This book, therefore, presents a detailed description...
Database Recovery presents an in-depth discussion on all aspects of database recovery. Firstly, it introduces the topic informally to set the...
|
cena:
603,81 |
![]() |
Real-Time Database Systems: Issues and Applications
ISBN: 9781461378242 / Angielski / Miękka / 368 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Despite the growing interest in Real-Time Database Systems, there is no single book that acts as a reference to academics, professionals, and practitioners who wish to understand the issues involved in the design and development of RTDBS. Real-Time Database Systems: Issues and Applications fulfills this need. This book presents the spectrum of issues that may arise in various real-time database applications, the available solutions and technologies that may be used to address these issues, and the open problems that need to be tackled in the future.
With rapid advances... Despite the growing interest in Real-Time Database Systems, there is no single book that acts as a reference to academics, professionals, and practiti...
|
cena:
805,10 |