Filter
(found 20321 products)
Book cover image
This book constitutes the refereed proceedings of the 11th International Conference on Reversible Computation, RC 2019, held in Lausanne, Switzerland, in June 2019. The 12 full papers and two short papers included in this volume were carefully reviewed and selected from 22 submissions. One invited talk is also included. The ...
Reversible Computation: 11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019, Proceedings
This book constitutes the refereed proceedings of the 11th International Conference on Reversible Computation, RC 2019, held in Lausanne, Switzerland, in June 2019. The 12 full papers and two short papers included in this volume were carefully reviewed and selected from 22 submissions. One invited talk is also included. The papers are organized in the following topical sections: theory and foundation; programming languages; circuit synthesis; evaluation of circuit synthesis; and applications and implementations.
https://magrudy-assets.storage.googleapis.com/9783030214999.jpg
73.490000 USD

Reversible Computation: 11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019, Proceedings

Paperback / softback
Book cover image
Graduate students and researchers in applied mathematics, optimization, engineering, computer science, and management science will find this book a useful reference which provides an introduction to applications and fundamental theories in nonlinear combinatorial optimization. Nonlinear combinatorial optimization is a new research area within combinatorial optimization and includes numerous applications to ...
Nonlinear Combinatorial Optimization
Graduate students and researchers in applied mathematics, optimization, engineering, computer science, and management science will find this book a useful reference which provides an introduction to applications and fundamental theories in nonlinear combinatorial optimization. Nonlinear combinatorial optimization is a new research area within combinatorial optimization and includes numerous applications to technological developments, such as wireless communication, cloud computing, data science, and social networks. Theoretical developments including discrete Newton methods, primal-dual methods with convex relaxation, submodular optimization, discrete DC program, along with several applications are discussed and explored in this book through articles by leading experts.
https://magrudy-assets.storage.googleapis.com/9783030161934.jpg
125.990000 USD

Nonlinear Combinatorial Optimization

Hardback
Book cover image
Gain the key language concepts and programming techniques of Scala in the context of big data analytics and Apache Spark. The book begins by introducing you to Scala and establishes a firm contextual understanding of why you should learn this language, how it stands in comparison to Java, and how ...
Scala Programming for Big Data Analytics: Get Started With Big Data Analytics Using Apache Spark
Gain the key language concepts and programming techniques of Scala in the context of big data analytics and Apache Spark. The book begins by introducing you to Scala and establishes a firm contextual understanding of why you should learn this language, how it stands in comparison to Java, and how Scala is related to Apache Spark for big data analytics. Next, you'll set up the Scala environment ready for examining your first Scala programs. This is followed by sections on Scala fundamentals including mutable/immutable variables, the type hierarchy system, control flow expressions and code blocks. The author discusses functions at length and highlights a number of associated concepts such as functional programming and anonymous functions. The book then delves deeper into Scala's powerful collections system because many of Apache Spark's APIs bear a strong resemblance to Scala collections. Along the way you'll see the development life cycle of a Scala program. This involves compiling and building programs using the industry-standard Scala Build Tool (SBT). You'll cover guidelines related to dependency management using SBT as this is critical for building large Apache Spark applications. Scala Programming for Big Data Analytics concludes by demonstrating how you can make use of the concepts to write programs that run on the Apache Spark framework. These programs will provide distributed and parallel computing, which is critical for big data analytics. What You Will Learn See the fundamentals of Scala as a general-purpose programming language Understand functional programming and object-oriented programming constructs in Scala Use Scala collections and functions Develop, package and run Apache Spark applications for big data analytics Who This Book Is For Data scientists, data analysts and data engineers who intend to use Apache Spark for large-scale analytics.
https://magrudy-assets.storage.googleapis.com/9781484248096.jpg
29.390000 USD

Scala Programming for Big Data Analytics: Get Started With Big Data Analytics Using Apache Spark

by Irfan Elahi
Paperback / softback
Book cover image
This two-volume set LNCS 11554 and 11555 constitutes the refereed proceedings of the 16th International Symposium on Neural Networks, ISNN 2019, held in Moscow, Russia, in July 2019. The 111 papers presented in the two volumes were carefully reviewed and selected from numerous submissions. The papers were organized in topical ...
Advances in Neural Networks - ISNN 2019: 16th International Symposium on Neural Networks, ISNN 2019, Moscow, Russia, July 10-12, 2019, Proceedings, Part II
This two-volume set LNCS 11554 and 11555 constitutes the refereed proceedings of the 16th International Symposium on Neural Networks, ISNN 2019, held in Moscow, Russia, in July 2019. The 111 papers presented in the two volumes were carefully reviewed and selected from numerous submissions. The papers were organized in topical sections named: Learning System, Graph Model, and Adversarial Learning; Time Series Analysis, Dynamic Prediction, and Uncertain Estimation; Model Optimization, Bayesian Learning, and Clustering; Game Theory, Stability Analysis, and Control Method; Signal Processing, Industrial Application, and Data Generation; Image Recognition, Scene Understanding, and Video Analysis; Bio-signal, Biomedical Engineering, and Hardware.
https://magrudy-assets.storage.googleapis.com/9783030228071.jpg
115.490000 USD

Advances in Neural Networks - ISNN 2019: 16th International Symposium on Neural Networks, ISNN 2019, Moscow, Russia, July 10-12, 2019, Proceedings, Part II

Paperback / softback
Book cover image
Gain the essential skills and hands-on expertise required to pass the LPIC-3 300 certification exam. This book provides the insight for you to confidently install, manage and troubleshoot OpenLDAP, Samba, and FreeIPA. Helping you to get started from scratch, this guide is divided into three comprehensive sections covering everything you'll ...
Practical LPIC-3 300: Prepare for the Highest Level Professional Linux Certification
Gain the essential skills and hands-on expertise required to pass the LPIC-3 300 certification exam. This book provides the insight for you to confidently install, manage and troubleshoot OpenLDAP, Samba, and FreeIPA. Helping you to get started from scratch, this guide is divided into three comprehensive sections covering everything you'll need to prepare for the exam. Part 1 focuses on OpenLDAP and topics including securing the directory, integration with PAM and replication. Part 2 covers Samba and teaches you about Samba architecture, using different back ends, print services, and deploying Samba as a stand-alone server, PDC, and Active Directory Domain Controller. Finally, Part 3 explains how to manage FreeIPA and how to integrate it with Active Directory. Practical LPIC-3 300 is the perfect study guide for anyone interested in the LPIC-3 300 certification exam, OpenLDAP, Samba, or FreeIPA. What You'll Learn Integrate LDAP with PAM and NSS, and with Active Directory and Kerberos Manage OpenLDAP replication and server performance tuning Use Samba as a PDC and BDC Configure Samba as a domain member server in an existing NT domain Use Samba as an AD Compatible Domain Controller Replicate, manage, and integrate FreeIPA Who This Book Is For This book is for anyone who is preparing for the LPIC-3 300 exam, or those interested in learning about OpenLDAP and Samba in general.
https://magrudy-assets.storage.googleapis.com/9781484244722.jpg
52.490000 USD

Practical LPIC-3 300: Prepare for the Highest Level Professional Linux Certification

by Antonio Vazquez
Paperback / softback
Book cover image
Get your feet wet in developing visual novels and take a guided tour through easy to follow tutorials using three of the most popular tools (Ren'Py, TyranoBuilder, and Twine). This book uses a two-pronged approach into the fine art of text-based games, showing you what makes for compelling writing as ...
Game Development with Ren'Py: Introduction to Visual Novel Games Using Ren'Py, TyranoBuilder, and Twine
Get your feet wet in developing visual novels and take a guided tour through easy to follow tutorials using three of the most popular tools (Ren'Py, TyranoBuilder, and Twine). This book uses a two-pronged approach into the fine art of text-based games, showing you what makes for compelling writing as well as the programming logic and techniques needed to bring your visual novels to life. In this book, you will uncover the rich history of interactive fiction from the bare-bones 1970s games to the audiovisually rich modern output. You will take a detailed look at how to work with some of the most popular and exotic sub-genres and tropes of interactive fiction, such as nakige ( crying game ), dating sims, and horror. Once the stage is set, you will learn to use all-purpose programming logic and techniques in three mini tutorial games and also learn how to deploy your titles to both desktop and mobile platforms. Not solely relegated to the ancient historical period of the 1980s and 1990s, interactive fiction has again become appealing to developers as new tools became available. The visual novel is an increasingly popular and potentially lucrative genre of video game, being deployed for Windows, Mac, iOS, Android, and more. Game Development with Ren'Py reveals how multi-platform tools such as Ren'Py, TyranoBuilder, and Twine are becoming ever more plentiful for creating games in this genre. What You'll Learn Gain a working knowledge of Ren'Py, TyranoBuilder, and Twine Examine the basics of general programming logic Deploy to all available operating systems and platforms Review different approaches to fiction writing in the context of text-based games Who This Book Is For People with no programming experience who are interested in working in the genre of visual novels or interactive fiction.
https://magrudy-assets.storage.googleapis.com/9781484249192.jpg
34.640000 USD

Game Development with Ren'Py: Introduction to Visual Novel Games Using Ren'Py, TyranoBuilder, and Twine

by Robert Ciesla
Paperback / softback
Book cover image
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 26th Workshop on Logic, Language, Information and Communication, WoLLIC 2019, held in Utrecht, The Netherlands, in July 2019. The 41 full papers together with 6 invited lectures presented were fully ...
Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 26th Workshop on Logic, Language, Information and Communication, WoLLIC 2019, held in Utrecht, The Netherlands, in July 2019. The 41 full papers together with 6 invited lectures presented were fully reviewed and selected from 60 submissions. The idea is to have a forum which is large enough in the number of possible interactions between logic and the sciences related to information and computation, and yet is small enough to allow for concrete and useful interaction among participants.
https://magrudy-assets.storage.googleapis.com/9783662595329.jpg
115.490000 USD

Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings

Paperback / softback
Book cover image
If you're just learning how to program, Julia is an excellent JIT-compiled, dynamically typed language with a clean syntax. This hands-on guide uses Julia 1.0 to walk you through programming one step at a time, beginning with basic programming concepts before moving on to more advanced capabilities, such as creating ...
Think Julia: How to Think Like a Computer Scientist
If you're just learning how to program, Julia is an excellent JIT-compiled, dynamically typed language with a clean syntax. This hands-on guide uses Julia 1.0 to walk you through programming one step at a time, beginning with basic programming concepts before moving on to more advanced capabilities, such as creating new types and multiple dispatch. Designed from the beginning for high performance, Julia is a general-purpose language ideal for not only numerical analysis and computational science but also web programming and scripting. Through exercises in each chapter, you'll try out programming concepts as you learn them. Think Julia is perfect for students at the high school or college level as well as self-learners and professionals who need to learn programming basics. Start with the basics, including language syntax and semantics Get a clear definition of each programming concept Learn about values, variables, statements, functions, and data structures in a logical progression Discover how to work with files and databases Understand types, methods, and multiple dispatch Use debugging techniques to fix syntax, runtime, and semantic errors Explore interface design and data structures through case studies
https://magrudy-assets.storage.googleapis.com/9781492045038.jpg
68.24 USD

Think Julia: How to Think Like a Computer Scientist

by Allen B Downey, Ben Lauwens
Paperback / softback
Book cover image
This book constitutes the thoroughly refereed post-conference proceedings of the 24th IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2018, held in Egham, UK in July 2018. The 9 revised papers presented were carefully reviewed and selected from 13 submissions. The contributed presentations covered a range of topics: ...
Recent Trends in Algebraic Development Techniques: 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018, Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 24th IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2018, held in Egham, UK in July 2018. The 9 revised papers presented were carefully reviewed and selected from 13 submissions. The contributed presentations covered a range of topics: specification and modelling languages such as CASL, Event-B, Maude, MMT, and SRML; foundations of system specification such as graph transformation, categorical semantics, fuzzy and temporal logics, institutions, module systems and parameterization, refinement, static analysis, and substitutions; and applications including categorical programming, communicating finite state machines, neuralsymbolicintegration, relational databases, and service-oriented computing.
https://magrudy-assets.storage.googleapis.com/9783030232191.jpg
62.990000 USD

Recent Trends in Algebraic Development Techniques: 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018, Revised Selected Papers

Paperback / softback
Book cover image
This two-volume set, LNCS 11641 and 11642, constitutes the thoroughly refereed proceedings of the Third International Joint Conference, APWeb-WAIM 2019, held in Chengdu, China, in August 2019. The 42 full papers presented together with 17 short papers, and 6 demonstration papers were carefully reviewed and selected from 180 submissions. The ...
Web and Big Data: Third International Joint Conference, APWeb-WAIM 2019, Chengdu, China, August 1-3, 2019, Proceedings, Part I
This two-volume set, LNCS 11641 and 11642, constitutes the thoroughly refereed proceedings of the Third International Joint Conference, APWeb-WAIM 2019, held in Chengdu, China, in August 2019. The 42 full papers presented together with 17 short papers, and 6 demonstration papers were carefully reviewed and selected from 180 submissions. The papers are organized around the following topics: Big Data Analytics; Data and Information Quality; Data Mining and Application; Graph Data and Social Networks; Information Extraction and Retrieval; Knowledge Graph; Machine Learning; Recommender Systems; Storage, Indexing and Physical Database Design; Spatial, Temporal and Multimedia Databases; Text Analysis and Mining; and Demo.
https://magrudy-assets.storage.googleapis.com/9783030260712.jpg
94.490000 USD

Web and Big Data: Third International Joint Conference, APWeb-WAIM 2019, Chengdu, China, August 1-3, 2019, Proceedings, Part I

Paperback / softback
Book cover image
The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed ...
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical sections: Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems; Part II: logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency.
https://magrudy-assets.storage.googleapis.com/9783030255428.jpg
62.990000 USD

Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

Paperback / softback
Book cover image
Building Blocks of Tabletop Game Design: An Encyclopedia of Mechanisms compiles hundreds of different mechanisms, organized by category. Each has a description of how it works, discussion of its pros and cons, how it can be implemented, and examples of specific games that use it. Building Blocks can be read ...
Building Blocks of Tabletop Game Design: An Encyclopedia of Mechanisms
Building Blocks of Tabletop Game Design: An Encyclopedia of Mechanisms compiles hundreds of different mechanisms, organized by category. Each has a description of how it works, discussion of its pros and cons, how it can be implemented, and examples of specific games that use it. Building Blocks can be read cover to cover, used as a reference when looking for inspiration for a new design, help solving a specific problem, or assist in getting unstuck in the midst of a project. This book, the first to collect mechanisms like this in the tabletop game design field, aims to be a practical guide that will be a great starting point for beginning designers, a handy guidebook for the experienced, and an ideal classroom textbook. Key Features The first compendium of its kind in the tabletop game field. Covers the nuts and bolts of design to resolve specific challenges. Serves as a practical guide, a great starting point for beginning designers, and a reference for seasoned professionals. Contains discussion of a series of standalone mechanisms, in a standard format and style, with cross-links to related mechanics and specific examples. Includes hundreds of mechanism entries with accompanying diagrams and sample games to study. Ideal for professional or classroom use.
https://magrudy-assets.storage.googleapis.com/9781138365490.jpg
83.950000 USD
Paperback / softback
Book cover image
This comprehensive handbook serves as a professional reference as well as a practitioner's guide to today's most complete and concise view of nanoscale networking and communications. It offers in-depth coverage of theory, technology, and practice as they relate to established technologies and recent advancements. It explores practical solutions to a ...
Nanoscale Networking and Communications Handbook
This comprehensive handbook serves as a professional reference as well as a practitioner's guide to today's most complete and concise view of nanoscale networking and communications. It offers in-depth coverage of theory, technology, and practice as they relate to established technologies and recent advancements. It explores practical solutions to a wide range of nanoscale networking and communications issues. Individual chapters, authored by leading experts in the field, address the immediate and long-term challenges in the authors' respective areas of expertise. Key Features Identifies the main differences between nanonetworks and classical wireless networks and explains how to leverage those to develop new communication techniques for nanonetworks Presents the different alternatives for network communication among nanomachines, whether these are nanomaterial-based devices or genetically modified cells Provides a framework that will stimulate vision for a family of technologies in nanonetworking communications and multi-scale integration
https://magrudy-assets.storage.googleapis.com/9781498727310.jpg
213.29 USD

Nanoscale Networking and Communications Handbook

Hardback
Book cover image
Become an effective cyber forensics investigator and gain a collection of practical, efficient techniques to get the job done. Diving straight into a discussion of anti-forensic techniques, this book shows you the many ways to effectively detect them. Now that you know what you are looking for, you'll shift your ...
Practical Cyber Forensics: An Incident-Based Approach to Forensic Investigations
Become an effective cyber forensics investigator and gain a collection of practical, efficient techniques to get the job done. Diving straight into a discussion of anti-forensic techniques, this book shows you the many ways to effectively detect them. Now that you know what you are looking for, you'll shift your focus to network forensics, where you cover the various tools available to make your network forensics process less complicated. Following this, you will work with cloud and mobile forensic techniques by considering the concept of forensics as a service (FaSS), giving you cutting-edge skills that will future-proof your career. Building on this, you will learn the process of breaking down malware attacks, web attacks, and email scams with case studies to give you a clearer view of the techniques to be followed. Another tricky technique is SSD forensics, so the author covers this in detail to give you the alternative analysis techniques you'll need. To keep you up to speed on contemporary forensics, Practical Cyber Forensics includes a chapter on Bitcoin forensics, where key crypto-currency forensic techniques will be shared. Finally, you will see how to prepare accurate investigative reports. What You Will Learn Carry out forensic investigation on Windows, Linux, and macOS systems Detect and counter anti-forensic techniques Deploy network, cloud, and mobile forensics Investigate web and malware attacks Write efficient investigative reports Who This Book Is For Intermediate infosec professionals looking for a practical approach to investigative cyber forensics techniques.
https://magrudy-assets.storage.googleapis.com/9781484244593.jpg
34.640000 USD

Practical Cyber Forensics: An Incident-Based Approach to Forensic Investigations

by Niranjan Reddy
Paperback / softback
Book cover image
The two-volume set LNCS 11508 and 11509 constitutes the refereed proceedings of of the 18th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2019, held in Zakopane, Poland, in June 2019. The 122 revised full papers presented were carefully reviewed and selected from 333 submissions. The papers included in ...
Artificial Intelligence and Soft Computing: 18th International Conference, ICAISC 2019, Zakopane, Poland, June 16-20, 2019, Proceedings, Part I
The two-volume set LNCS 11508 and 11509 constitutes the refereed proceedings of of the 18th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2019, held in Zakopane, Poland, in June 2019. The 122 revised full papers presented were carefully reviewed and selected from 333 submissions. The papers included in the first volume are organized in the following five parts: neural networks and their applications; fuzzy systems and their applications; evolutionary algorithms and their applications; pattern classification; artificial intelligence in modeling and simulation. The papers included in the second volume are organized in the following five parts: computer vision, image and speech analysis; bioinformatics, biometrics, and medical applications; data mining; various problems of artificial intelligence; agent systems, robotics and control.
https://magrudy-assets.storage.googleapis.com/9783030209117.jpg
115.490000 USD

Artificial Intelligence and Soft Computing: 18th International Conference, ICAISC 2019, Zakopane, Poland, June 16-20, 2019, Proceedings, Part I

Paperback / softback
Book cover image
Are algorithms friend or foe? The human mind is evolutionarily designed to take shortcuts in order to survive. We jump to conclusions because our brains want to keep us safe. A majority of our biases work in our favor, such as when we feel a car speeding in our direction ...
Understand, Manage, and Prevent Algorithmic Bias: A Guide for Business Users and Data Scientists
Are algorithms friend or foe? The human mind is evolutionarily designed to take shortcuts in order to survive. We jump to conclusions because our brains want to keep us safe. A majority of our biases work in our favor, such as when we feel a car speeding in our direction is dangerous and we instantly move, or when we decide not take a bite of food that appears to have gone bad. However, inherent bias negatively affects work environments and the decision-making surrounding our communities. While the creation of algorithms and machine learning attempts to eliminate bias, they are, after all, created by human beings, and thus are susceptible to what we call algorithmic bias. In Understand, Manage, and Prevent Algorithmic Bias, author Tobias Baer helps you understand where algorithmic bias comes from, how to manage it as a business user or regulator, and how data science can prevent bias from entering statistical algorithms. Baer expertly addresses some of the 100+ varieties of natural bias such as confirmation bias, stability bias, pattern-recognition bias, and many others. Algorithmic bias mirrors-and originates in-these human tendencies. Baer dives into topics as diverse as anomaly detection, hybrid model structures, and self-improving machine learning. While most writings on algorithmic bias focus on the dangers, the core of this positive, fun book points toward a path where bias is kept at bay and even eliminated. You'll come away with managerial techniques to develop unbiased algorithms, the ability to detect bias more quickly, and knowledge to create unbiased data. Understand, Manage, and Prevent Algorithmic Bias is an innovative, timely, and important book that belongs on your shelf. Whether you are a seasoned business executive, a data scientist, or simply an enthusiast, now is a crucial time to be educated about the impact of algorithmic bias on society and take an active role in fighting bias. What You'll Learn Study the many sources of algorithmic bias, including cognitive biases in the real world, biased data, and statistical artifact Understand the risks of algorithmic biases, how to detect them, and managerial techniques to prevent or manage them Appreciate how machine learning both introduces new sources of algorithmic bias and can be a part of a solution Be familiar with specific statistical techniques a data scientist can use to detect and overcome algorithmic bias Who This Book is For Business executives of companies using algorithms in daily operations; data scientists (from students to seasoned practitioners) developing algorithms; compliance officials concerned about algorithmic bias; politicians, journalists, and philosophers thinking about algorithmic bias in terms of its impact on society and possible regulatory responses; and consumers concerned about how they might be affected by algorithmic bias
https://magrudy-assets.storage.googleapis.com/9781484248843.jpg
36.740000 USD

Understand, Manage, and Prevent Algorithmic Bias: A Guide for Business Users and Data Scientists

by Tobias Baer
Paperback / softback
Book cover image
This book constitutes the thoroughly refereed proceedings of the 7th International Conference on Mathematics and Computation in Music, MCM 2019, held in Madrid, Spain, in June 2019. The 22 full papers and 10 short papers presented were carefully reviewed and selected from 48 submissions. The papers feature research that combines ...
Mathematics and Computation in Music: 7th International Conference, MCM 2019, Madrid, Spain, June 18-21, 2019, Proceedings
This book constitutes the thoroughly refereed proceedings of the 7th International Conference on Mathematics and Computation in Music, MCM 2019, held in Madrid, Spain, in June 2019. The 22 full papers and 10 short papers presented were carefully reviewed and selected from 48 submissions. The papers feature research that combines mathematics or computation with music theory, music analysis, composition, and performance. They are organized in topical sections on algebraic and other abstract mathematical approaches to understanding musical objects; remanaging Riemann: mathematical music theory as experimental philosophy ?; octave division; computer-based approaches to composition and score structuring; models for music cognition and beat tracking; pedagogy of mathematical music theory.
https://magrudy-assets.storage.googleapis.com/9783030213916.jpg
83.990000 USD

Mathematics and Computation in Music: 7th International Conference, MCM 2019, Madrid, Spain, June 18-21, 2019, Proceedings

Paperback / softback
Book cover image
This book develops a new approach called parameter advising for finding a parameter setting for a sequence aligner that yields a quality alignment of a given set of input sequences. In this framework, a parameter advisor is a procedure that automatically chooses a parameter setting for the input, and has ...
Parameter Advising for Multiple Sequence Alignment
This book develops a new approach called parameter advising for finding a parameter setting for a sequence aligner that yields a quality alignment of a given set of input sequences. In this framework, a parameter advisor is a procedure that automatically chooses a parameter setting for the input, and has two main ingredients: (a) the set of parameter choices considered by the advisor, and (b) an estimator of alignment accuracy used to rank alignments produced by the aligner. On coupling a parameter advisor with an aligner, once the advisor is trained in a learning phase, the user simply inputs sequences to align, and receives an output alignment from the aligner, where the advisor has automatically selected the parameter setting. The chapters first lay out the foundations of parameter advising, and then cover applications and extensions of advising. The content * examines formulations of parameter advising and their computational complexity, * develops methods for learning good accuracy estimators, * presents approximation algorithms for finding good sets of parameter choices, and * assesses software implementations of advising that perform well on real biological data. Also explored are applications of parameter advising to * adaptive local realignment, where advising is performed on local regions of the sequences to automatically adapt to varying mutation rates, and * ensemble alignment, where advising is applied to an ensemble of aligners to effectively yield a new aligner of higher quality than the individual aligners in the ensemble. The book concludes by offering future directions in advising research.
https://magrudy-assets.storage.googleapis.com/9783319879024.jpg
115.490000 USD

Parameter Advising for Multiple Sequence Alignment

by John Kececioglu, Dan DeBlasio
Paperback / softback
Book cover image
Discover the essential concepts of libvirt development and see how to interface to Linux virtualization environments, such as QEMU/KVM, XEN, Virtuozzo, VMWare ESX, LXC, Bhyve, and more. This book will prepare you to set up and maintain a virtual machine environment. You'll start by reviewing virtualization in general and then ...
Foundations of Libvirt Development: How to Set Up and Maintain a Virtual Machine Environment with Python
Discover the essential concepts of libvirt development and see how to interface to Linux virtualization environments, such as QEMU/KVM, XEN, Virtuozzo, VMWare ESX, LXC, Bhyve, and more. This book will prepare you to set up and maintain a virtual machine environment. You'll start by reviewing virtualization in general and then move on to libvirt-specific concepts using Python, including virtualized operating systems and networks, connections, storage pools, and event and error handling. This work concludes with a comprehensive look at the XML schema definitions for domains, networks, devices, network filtering, storage, node devices, and more. The libvirt API covers the entire life cycle of virtual objects, from creation to destruction. It contains everything needed for the management of a virtual object during that life cycle. While libvirt has APIs that support many languages, Foundations of Libvirt Development concentrates on Python exclusively, and how to use the APIs to control virtual machines under the QEMU/KVM system. and more. What You'll Learn Interface Python to the libvirt library. Review the class layout and methods of the libvirt library. Install and manipulate virtual machines via Python/libvirt. Create XML to manipulate domains, networks, and devices. Write Python programs to perform libvirt functions without human intervention. Who This Book Is For Maintainers of virtual machines in a UNIX/Linux environment ranging from managing code on a single virtual machine through an entire installation of virtual machines.
https://magrudy-assets.storage.googleapis.com/9781484248614.jpg
34.640000 USD

Foundations of Libvirt Development: How to Set Up and Maintain a Virtual Machine Environment with Python

by W. David Ashley
Paperback / softback
Book cover image
Design and develop high-performance programs in Julia 1.0 Key Features Learn the characteristics of high-performance Julia code Use the power of the GPU to write efficient numerical code Speed up your computation with the help of newly introduced shared memory multi-threading in Julia 1.0 Book DescriptionJulia is a high-level, high-performance ...
Julia High Performance: Optimizations, distributed computing, multithreading, and GPU programming with Julia 1.0 and beyond, 2nd Edition
Design and develop high-performance programs in Julia 1.0 Key Features Learn the characteristics of high-performance Julia code Use the power of the GPU to write efficient numerical code Speed up your computation with the help of newly introduced shared memory multi-threading in Julia 1.0 Book DescriptionJulia is a high-level, high-performance dynamic programming language for numerical computing. If you want to understand how to avoid bottlenecks and design your programs for the highest possible performance, then this book is for you. The book starts with how Julia uses type information to achieve its performance goals, and how to use multiple dispatches to help the compiler emit high-performance machine code. After that, you will learn how to analyze Julia programs and identify issues with time and memory consumption. We teach you how to use Julia's typing facilities accurately to write high-performance code and describe how the Julia compiler uses type information to create fast machine code. Moving ahead, you'll master design constraints and learn how to use the power of the GPU in your Julia code and compile Julia code directly to the GPU. Then, you'll learn how tasks and asynchronous IO help you create responsive programs and how to use shared memory multithreading in Julia. Toward the end, you will get a flavor of Julia's distributed computing capabilities and how to run Julia programs on a large distributed cluster. By the end of this book, you will have the ability to build large-scale, high-performance Julia applications, design systems with a focus on speed, and improve the performance of existing programs. What you will learn Understand how Julia code is transformed into machine code Measure the time and memory taken by Julia programs Create fast machine code using Julia's type information Define and call functions without compromising Julia's performance Accelerate your code via the GPU Use tasks and asynchronous IO for responsive programs Run Julia programs on large distributed clusters Who this book is forThis book is for beginners and intermediate Julia programmers who are interested in high-performance technical programming. A basic knowledge of Julia programming is assumed.
https://magrudy-assets.storage.googleapis.com/9781788298117.jpg
31.490000 USD

Julia High Performance: Optimizations, distributed computing, multithreading, and GPU programming with Julia 1.0 and beyond, 2nd Edition

by Avik Sengupta
Paperback / softback
Book cover image
In a follow-up book, which re-iterates the principles of Digital Creature Rigging: The Art & Science of CG Creature Setup in 3ds Max , and enhances their relativity with advanced wing, tail and tentacle setups. This book will discuss advanced rigging techniques in 3ds Max, while readers create a fish, ...
Digital Creature Rigging: Wings, Tails & Tentacles for Animation & VFX
In a follow-up book, which re-iterates the principles of Digital Creature Rigging: The Art & Science of CG Creature Setup in 3ds Max , and enhances their relativity with advanced wing, tail and tentacle setups. This book will discuss advanced rigging techniques in 3ds Max, while readers create a fish, octopus and a Game of Thrones style dragon! Key Features This is the next step in CG creature setups in 3ds Max. Although 3ds Max specific, the techniques and foundations will work for any 3D application. By following the step-by-step guides in this book, you can finish and complete a portfolioready. Each chapter will include an introduction and a summary, giving significance to the start and end of each chapter where our readers can rest! This book includes a companion website where chapter supplements and core files and documents could be easily accessed.
https://magrudy-assets.storage.googleapis.com/9781138560697.jpg
92.13 USD

Digital Creature Rigging: Wings, Tails & Tentacles for Animation & VFX

by Stewart Jones
Paperback / softback
Book cover image
The concept of Internet of Things has silently existed since the late nineteenth century but in the current decade expectations and excitement has peaked. However not many have understood the profound change that it can usher in. How big this change can be and how it can transform our working!! ...
Internet of Things: Approach and Applicability in Manufacturing
The concept of Internet of Things has silently existed since the late nineteenth century but in the current decade expectations and excitement has peaked. However not many have understood the profound change that it can usher in. How big this change can be and how it can transform our working!! This book aims to bring in this realization with illustrative and practical case studies with comprehensive concepts. From beginners to practitioners in the field of academics or industry, it serves as a comprehensive yet easy to comprehend source of information on the multiple facets of IoT. Simplistic but comprehensive introduction of the facets of primarily the industrial IoT Practical adoption cases explaining the Core technology stack and business applications Comprehensive view of current technologies which complete the IoT delivery ecosystem, followed by overview of IoT enabled new business models. Realistic view of how industrial firms can evolve into the next stage of maturity along with determinants influencing this transformation since manufacturing is envisioned to be a key segment to adopt and benefit from IoT. Detailed analysis of IoT benefits for the universal triad- energy management, logistics optimization and distribution channel management. A full-fledged case study on Adoption of Green manufacturing using IoT. Real world example of gauging End User perception using different models which is important for a successful adoption of IoT. A futuristic visionary view of IoT as comprehended based on evolution of technology and platforms, and finally analysis of the extremely crucial concepts of security, privacy and governance.
https://magrudy-assets.storage.googleapis.com/9781138598157.jpg
170.62 USD

Internet of Things: Approach and Applicability in Manufacturing

by Loveleen Gaur, Ravi Ramakrishnan
Hardback
Book cover image
The International Meshing Roundtable (IMR) brings together researchers, developers, and application experts in a variety of disciplines, from all over the world, to present and discuss ideas on mesh generation and related topics. The technical papers in this volume present theoretical and novel ideas and algorithms with practical potential, as ...
27th International Meshing Roundtable
The International Meshing Roundtable (IMR) brings together researchers, developers, and application experts in a variety of disciplines, from all over the world, to present and discuss ideas on mesh generation and related topics. The technical papers in this volume present theoretical and novel ideas and algorithms with practical potential, as well as technical applications in science and engineering, geometric modelling, computer graphics, and visualization.
https://magrudy-assets.storage.googleapis.com/9783030139919.jpg
146.990000 USD

27th International Meshing Roundtable

Hardback
Book cover image
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 24th International Conference on Formal Grammar, FG 2019, held in Riga, Latvia, in August 2019, in conjunction with the 31st European Summer School in Logic, Language and Information, ESSLI 2019. ...
Formal Grammar: 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 24th International Conference on Formal Grammar, FG 2019, held in Riga, Latvia, in August 2019, in conjunction with the 31st European Summer School in Logic, Language and Information, ESSLI 2019. The 7 full papers presented were carefully reviewed and selected from 11 submissions. They present new and original research on formal grammar, mathematical linguistics, and the application of formal and mathematical methods to the study of natural language and focus on topics such as formal and computational phonology, morphology, syntax, semantics, and pragmatics; model-theoretic and proof-theoretic methods in linguistics; logical aspects of linguistic structure; constraint-based and resource-sensitive approaches to grammar; learnability of formal grammar; integration of stochastic and symbolic models of grammar; foundational, methodological, and architectural issues in grammar and linguistics; and mathematical foundations of statistical approaches to linguistic analysis.
https://magrudy-assets.storage.googleapis.com/9783662596470.jpg
62.990000 USD

Formal Grammar: 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings

Paperback / softback
Book cover image
Nash equilibrium is the central solution concept in Game Theory. Since Nash's original paper in 1951, it has found countless applications in modeling strategic behavior of traders in markets, (human) drivers and (electronic) routers in congested networks, nations in nuclear disarmament negotiations, and more. A decade ago, the relevance of ...
Hardness of Approximation Between P and NP
Nash equilibrium is the central solution concept in Game Theory. Since Nash's original paper in 1951, it has found countless applications in modeling strategic behavior of traders in markets, (human) drivers and (electronic) routers in congested networks, nations in nuclear disarmament negotiations, and more. A decade ago, the relevance of this solution concept was called into question by computer scientists, who proved (under appropriate complexity assumptions) that computing a Nash equilibrium is an intractable problem. And if centralized, specially designed algorithms cannot find Nash equilibria, why should we expect distributed, selfish agents to converge to one? The remaining hope was that at least approximate Nash equilibria can be efficiently computed.Understanding whether there is an efficient algorithm for approximate Nash equilibrium has been the central open problem in this field for the past decade. In this book, we provide strong evidence that even finding an approximate Nash equilibrium is intractable. We prove several intractability theorems for different settings (two-player games and many-player games) and models (computational complexity, query complexity, and communication complexity). In particular, our main result is that under a plausible and natural complexity assumption ( Exponential Time Hypothesis for PPAD ), there is no polynomial-time algorithm for finding an approximate Nash equilibrium in two-player games. The problem of approximate Nash equilibrium in a two-player game poses a unique technical challenge: it is a member of the class PPAD, which captures the complexity of several fundamental total problems, i.e., problems that always have a solution; and it also admits a quasipolynomial time algorithm. Either property alone is believed to place this problem far below NP-hard problems in the complexity hierarchy; having both simultaneously places it just above P, at what can be called the frontier of intractability. Indeed, the tools we develop in this book to advance on this frontier are useful for proving hardness of approximation of several other important problems whose complexity lies between P and NP: Brouwer's fixed point, market equilibrium, CourseMatch (A-CEEI), densest k-subgraph, community detection, VC dimension and Littlestone dimension, and signaling in zero-sum games.
https://magrudy-assets.storage.googleapis.com/9781947487239.jpg
115.450000 USD

Hardness of Approximation Between P and NP

by Aviad Rubinstein
Hardback
Book cover image
This book constitutes the proceedings of the 21st International Conference on Descriptional Complexity of Format Systems, DCFS 2019, held in Kosice, Slovakia, in July 2019. The 18 full papers presented in this volume were carefully reviewed and selected from 25 submissions. The book also contains 4 invited talks. They deal ...
Descriptional Complexity of Formal Systems: 21st IFIP WG 1.02 International Conference, DCFS 2019, Kosice, Slovakia, July 17-19, 2019, Proceedings
This book constitutes the proceedings of the 21st International Conference on Descriptional Complexity of Format Systems, DCFS 2019, held in Kosice, Slovakia, in July 2019. The 18 full papers presented in this volume were carefully reviewed and selected from 25 submissions. The book also contains 4 invited talks. They deal with all aspects of descriptional complexity and costs of description of objects in various computational models, such as Turing machines, pushdown automata, finite automata, grammars, and others.
https://magrudy-assets.storage.googleapis.com/9783030232467.jpg
98.700000 USD

Descriptional Complexity of Formal Systems: 21st IFIP WG 1.02 International Conference, DCFS 2019, Kosice, Slovakia, July 17-19, 2019, Proceedings

Paperback / softback
Book cover image
Tackle the trickiest of problems in Go programming with this practical guide Key Features Develop applications for different domains using modern programming techniques Tackle common problems when it comes to parallelism, concurrency, and reactive programming in Go Work with ready-to-execute code based on the latest version of Go Book DescriptionGo ...
Go Programming Cookbook: Over 85 recipes to build modular, readable, and testable Golang applications across various domains, 2nd Edition
Tackle the trickiest of problems in Go programming with this practical guide Key Features Develop applications for different domains using modern programming techniques Tackle common problems when it comes to parallelism, concurrency, and reactive programming in Go Work with ready-to-execute code based on the latest version of Go Book DescriptionGo (or Golang) is a statically typed programming language developed at Google. Known for its vast standard library, it also provides features such as garbage collection, type safety, dynamic-typing capabilities, and additional built-in types. This book will serve as a reference while implementing Go features to build your own applications. This Go cookbook helps you put into practice the advanced concepts and libraries that Golang offers. The recipes in the book follow best practices such as documentation, testing, and vendoring with Go modules, as well as performing clean abstractions using interfaces. You'll learn how code works and the common pitfalls to watch out for. The book covers basic type and error handling, and then moves on to explore applications, such as websites, command-line tools, and filesystems, that interact with users. You'll even get to grips with parallelism, distributed systems, and performance tuning. By the end of the book, you'll be able to use open source code and concepts in Go programming to build enterprise-class applications without any hassle. What you will learn Work with third-party Go projects and modify them for your use Write Go code using modern best practices Manage your dependencies with the new Go module system Solve common problems encountered when dealing with backend systems or DevOps Explore the Go standard library and its uses Test, profile, and fine-tune Go applications Who this book is forIf you're a web developer, programmer, or enterprise developer looking for quick solutions to common and not-so-common problems in Go programming, this book is for you. Basic knowledge of the Go language is assumed.
https://magrudy-assets.storage.googleapis.com/9781789800982.jpg
41.990000 USD

Go Programming Cookbook: Over 85 recipes to build modular, readable, and testable Golang applications across various domains, 2nd Edition

by Aaron Torres
Paperback / softback
Book cover image
This best-selling software testing title is the only official textbook of the ISTQB-BCS Certified Tester Foundation Level. This fourth edition includes examples and exercises reflecting current technology and applications. It is ideal for those with a little experience of software testing who wish to cement their knowledge with industry-recognised techniques ...
Software Testing: An ISTQB-BCS Certified Tester Foundation guide - 4th edition
This best-selling software testing title is the only official textbook of the ISTQB-BCS Certified Tester Foundation Level. This fourth edition includes examples and exercises reflecting current technology and applications. It is ideal for those with a little experience of software testing who wish to cement their knowledge with industry-recognised techniques and theory.
https://magrudy-assets.storage.googleapis.com/9781780174921.jpg
68.24 USD

Software Testing: An ISTQB-BCS Certified Tester Foundation guide - 4th edition

by Peter Williams, Geoff Thompson, Angelina Samaroo, Peter Morgan, Brian Hambling
Paperback / softback
Book cover image
This book constitutes the proceedings of the 7th International Conference on Scale Space and Variational Methods in Computer Vision, SSVM 2019, held in Hofgeismar, Germany, in June/July 2019. The 44 papers included in this volume were carefully reviewed and selected for inclusion in this book. They were organized in topical ...
Scale Space and Variational Methods in Computer Vision: 7th International Conference, SSVM 2019, Hofgeismar, Germany, June 30 - July 4, 2019, Proceedings
This book constitutes the proceedings of the 7th International Conference on Scale Space and Variational Methods in Computer Vision, SSVM 2019, held in Hofgeismar, Germany, in June/July 2019. The 44 papers included in this volume were carefully reviewed and selected for inclusion in this book. They were organized in topical sections named: 3D vision and feature analysis; inpainting, interpolation and compression; inverse problems in imaging; optimization methods in imaging; PDEs and level-set methods; registration and reconstruction; scale-space methods; segmentation and labeling; and variational methods.
https://magrudy-assets.storage.googleapis.com/9783030223670.jpg
104.990000 USD

Scale Space and Variational Methods in Computer Vision: 7th International Conference, SSVM 2019, Hofgeismar, Germany, June 30 - July 4, 2019, Proceedings

Paperback / softback
Book cover image
This two-volume set of LNCS 11643 and LNCS 11644 constitutes - in conjunction with the volume LNAI 11645 - the refereed proceedings of the 15th International Conference on Intelligent Computing, ICIC 2019, held in Nanchang, China, in August 2019. The 217 full papers of the three proceedings volumes were carefully ...
Intelligent Computing Theories and Application: 15th International Conference, ICIC 2019, Nanchang, China, August 3-6, 2019, Proceedings, Part I
This two-volume set of LNCS 11643 and LNCS 11644 constitutes - in conjunction with the volume LNAI 11645 - the refereed proceedings of the 15th International Conference on Intelligent Computing, ICIC 2019, held in Nanchang, China, in August 2019. The 217 full papers of the three proceedings volumes were carefully reviewed and selected from 609 submissions. The ICIC theme unifies the picture of contemporary intelligent computing techniques as an integral concept that highlights the trends in advanced computational intelligence and bridges theoretical research with applications. The theme for this conference is Advanced Intelligent Computing Methodologies and Applications. Papers related to this theme are especially solicited, including theories, methodologies, and applications in science and technology.
https://magrudy-assets.storage.googleapis.com/9783030267629.jpg
125.990000 USD

Intelligent Computing Theories and Application: 15th International Conference, ICIC 2019, Nanchang, China, August 3-6, 2019, Proceedings, Part I

Paperback / softback
Page 1 of 40