0
Your cart

Your cart is empty

Browse All Departments
Price
  • R100 - R250 (3)
  • R250 - R500 (39)
  • R500+ (3,260)
  • -
Status
Format
Author / Contributor
Publisher

Books > Computing & IT > Applications of computing > Computer modelling & simulation

Sustained Simulation Performance 2019 and 2020 - Proceedings of the Joint Workshop on Sustained Simulation Performance,... Sustained Simulation Performance 2019 and 2020 - Proceedings of the Joint Workshop on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2019 and 2020 (Hardcover, 1st ed. 2021)
Michael M Resch, Manuela Wossough, Wolfgang Bez, Erich Focht, Hiroaki Kobayashi
R4,626 Discovery Miles 46 260 Ships in 10 - 15 working days

This book presents the state of the art in High Performance Computing on modern supercomputer architectures. It addresses trends in hardware and software development in general. The contributions cover a broad range of topics, from performance evaluations in context with power efficiency to Computational Fluid Dynamics and High Performance Data Analytics. In addition, they explore new topics like the use of High Performance Computers in the field of Artificial Intelligence and Machine Learning. All contributions are based on selected papers presented at the 30th Workshop on Sustained Simulation Performance (WSSP) held at the High Performance Computing Center, University of Stuttgart, Germany in October 2019 and on the papers for the planned Workshop on Sustained Simulation Performance in March 2020, which could not take place due to the Covid-19 pandemic.

Mechanical Behaviors of Carbon Nanotubes - Theoretical and Numerical Approaches (Hardcover): K.M. Liew, Yan Jianwei, Lu-Wen... Mechanical Behaviors of Carbon Nanotubes - Theoretical and Numerical Approaches (Hardcover)
K.M. Liew, Yan Jianwei, Lu-Wen Zhang
R4,068 R3,684 Discovery Miles 36 840 Save R384 (9%) Ships in 12 - 17 working days

Mechanical Behaviors of Carbon Nanotubes: Theoretical and Numerical Approaches presents various theoretical and numerical studies on mechanical behaviors of carbon nanotubes. The main theoretical aspects included in the book contain classical molecular dynamics simulation, atomistic-continuum theory, atomic finite element method, continuum plate, nonlocal continuum plate, and shell models. Detailed coverage is also given to structural and elastic properties, trace of large deformation, buckling and post-buckling behaviors, fracture, vibration characteristics, wave propagation, and the most promising engineering applications. This book not only illustrates the theoretical and numerical methods for analyzing the mechanical behavior of carbon nanotubes, but also contains computational results from experiments that have already taken place.

Predictive Modeling of Drug Sensitivity (Paperback): Ranadip Pal Predictive Modeling of Drug Sensitivity (Paperback)
Ranadip Pal
R2,234 R2,051 Discovery Miles 20 510 Save R183 (8%) Ships in 12 - 17 working days

Predictive Modeling of Drug Sensitivity gives an overview of drug sensitivity modeling for personalized medicine that includes data characterizations, modeling techniques, applications, and research challenges. It covers the major mathematical techniques used for modeling drug sensitivity, and includes the requisite biological knowledge to guide a user to apply the mathematical tools in different biological scenarios. This book is an ideal reference for computer scientists, engineers, computational biologists, and mathematicians who want to understand and apply multiple approaches and methods to drug sensitivity modeling. The reader will learn a broad range of mathematical and computational techniques applied to the modeling of drug sensitivity, biological concepts, and measurement techniques crucial to drug sensitivity modeling, how to design a combination of drugs under different constraints, and the applications of drug sensitivity prediction methodologies.

Up and Running with AutoCAD 2017 - 2D and 3D Drawing and Modeling (Paperback): Elliot J. Gindis Up and Running with AutoCAD 2017 - 2D and 3D Drawing and Modeling (Paperback)
Elliot J. Gindis
R2,130 Discovery Miles 21 300 Ships in 12 - 17 working days

Up and Running with AutoCAD 2017: 2D and 3D Drawing and Modeling presents Gindis' combination of step-by-step instruction, examples, and insightful explanations. The emphasis from the beginning is on core concepts and practical application of AutoCAD in engineering, architecture, and design. Equally useful in instructor-led classroom training, self-study, or as a professional reference, the book is written with the user in mind by a long-time AutoCAD professional and instructor based on what works in the industry and the classroom.

Sustainable Development in Changing Complex Earth Systems (Hardcover, 1st ed. 2020): Attila Kerenyi, Richard William Mcintosh Sustainable Development in Changing Complex Earth Systems (Hardcover, 1st ed. 2020)
Attila Kerenyi, Richard William Mcintosh
R3,007 Discovery Miles 30 070 Ships in 10 - 15 working days

This book applies system theory to analyze the operation and structure of the complex earth surface system, including the interactions between society and nature that cause environmental degradation and threats to human populations. The possible ways to harmonize the operation of a global society as a complex system using the United Nation sustainable development goals are investigated, as well as the major efforts currently implemented to achieve this objective and why many are unsuccessful. Readers will learn this material through case studies that assess the essential conditions required to occupy a planet sustainably, and examine the complex interactions between society and nature in the atmosphere, hydrosphere, biosphere, and outer layers of the lithosphere. The book is written for undergraduate students in geography, earth sciences, environmental sciences, and ecology, and will also appeal to environmental agency employees, nature protection representatives, teachers, and researchers.

Vibration of Functionally Graded Beams and Plates (Paperback): Snehashish Chakraverty, Karan Kumar Pradhan Vibration of Functionally Graded Beams and Plates (Paperback)
Snehashish Chakraverty, Karan Kumar Pradhan
R3,415 R3,097 Discovery Miles 30 970 Save R318 (9%) Ships in 12 - 17 working days

Vibration of Functionally Graded Beams and Plates uses numerically efficient computational techniques to analyze vibration problems associated with FG beams and plates. Introductory material on FG materials and structural members, as well as a range of vibration and shear deformation theories are discussed, providing a valuable summary of these broader themes. The latest research and analysis of vibration in FG materials is presented in an application-oriented manner, linking the research to its importance in fields such as aerospace, nuclear power, and automotive engineering. The book also features research on the complicating effects of thermal environments, piezoelectricity, and elastic foundations. The innovative computational procedures and simulation results are shown in full throughout, providing a uniquely valuable resource for users of numerical modeling software. This book is essential reading for any researcher or practitioner interested in FG materials, or the design of technology for the nuclear power, aerospace, and automotive industries.

Beginning WebGL for HTML5 (Paperback, 1st ed.): Brian Danchilla Beginning WebGL for HTML5 (Paperback, 1st ed.)
Brian Danchilla
R1,317 Discovery Miles 13 170 Ships in 10 - 15 working days

Beginning WebGL for HTML5 gets you rapidly up to speed with WebGL, a powerful new graphics language within the browser. You'll render realistic scenes with advanced lighting models, shadows, blending and textures. You'll also use mathematics to model fractals and particle systems. Going beyond that, Beginning WebGL for HTML5 presents advanced vertex and fragment shader usage for creating stunning, top-end results. You'll benefit from using modern frameworks to rapidly develop complex scenes, and make use of many tools to help improve rendering performance and debugging. Beginning WebGL for HTML5 builds your critical WebGL development skills while being enjoyable at each step of the way.* Quickly get up to speed with WebGL * Render realistic scenes * Work faster with frameworks * Improve rendering performance What you'll learn * A scene setup and rendering refresher * Advanced GLSL usages * Rendering realistic scenes with lighting, blending, reflections, shadows and more * The current state of WebGL mobile support * Performance optimizations * Enhancing productivity by using existing frameworks and loading models Who this book is for Beginning WebGL for HTML5 is for the graphics enthusiast who is ready to bring their skillset to the next level and create more realistic, beautiful scenes. Beginning WebGL for HTML5 is a great choice for someone with existing OpenGL or Canvas 2D knowledge wanting to transition to WebGL. It is an excellent choice for those wanting to have high performance graphics coded in minimal time. Table of Contents * Setting The Scene * Shaders 101 * Textures and Lighting * Increasing Realism * Physics * Fractals and Particle Systems * Three.js Framework * Productivity Tools * Debugging and Performance * Effects, Tips and Tricks * Afterword: The Future of WebGL * Appendix A: Essential HTML5 and JavaScript * Appendix B: Graphics Refresher * Appendix C: WebGL Spec.Odds and Ends * Appendix D: Additional Resources

Introduction to the Mathematics of Subdivision Surfaces (Hardcover, New): Lars-Erik Andersson, Neil F. Stewart Introduction to the Mathematics of Subdivision Surfaces (Hardcover, New)
Lars-Erik Andersson, Neil F. Stewart
R2,599 Discovery Miles 25 990 Ships in 12 - 17 working days

Subdivision surfaces permit a designer to specify the approximate form of a surface defining an object and to refine and smooth the form to obtain a more useful or attractive version of the surface. A considerable amount of mathematical theory is required to understand the characteristics of the resulting surfaces, and this book provides a careful and rigorous presentation of the mathematics underlying subdivision surfaces as used in computer graphics and animation, explaining the concepts necessary to easily read the subdivision literature. It also organizes subdivision methods in a unique and unambiguous hierarchy in order to provide insight and understanding. The material is not restricted to questions related to regularity of subdivision surfaces at so-called extraordinary points but instead gives a broad discussion of the various methods. It is excellent preparation for reading more advanced texts that delve more deeply into special questions of regularity. The authors provide exercises and projects at the end of each chapter. Course material, including solutions to the exercises, is available on an associated Web page.

Computational Materials Engineering - Achieving High Accuracy and Efficiency in Metals Processing Simulations (Hardcover): M.... Computational Materials Engineering - Achieving High Accuracy and Efficiency in Metals Processing Simulations (Hardcover)
M. Pietrzyk, Lukasz Madej, Lukasz Rauch, Danuta Szeliga
R3,129 Discovery Miles 31 290 Ships in 12 - 17 working days

Computational Materials Engineering: Achieving High Accuracy and Efficiency in Metals Processing Simulations describes the most common computer modeling and simulation techniques used in metals processing, from so-called "fast" models to more advanced multiscale models, also evaluating possible methods for improving computational accuracy and efficiency. Beginning with a discussion of conventional fast models like internal variable models for flow stress and microstructure evolution, the book moves on to advanced multiscale models, such as the CAFE method, which give insights into the phenomena occurring in materials in lower dimensional scales. The book then delves into the various methods that have been developed to deal with problems, including long computing times, lack of proof of the uniqueness of the solution, difficulties with convergence of numerical procedures, local minima in the objective function, and ill-posed problems. It then concludes with suggestions on how to improve accuracy and efficiency in computational materials modeling, and a best practices guide for selecting the best model for a particular application.

Grundkurs Kunstliche Intelligenz - Eine praxisorientierte Einfuhrung (German, Paperback, 5., akt. u. erg. Aufl. 2021): Wolfgang... Grundkurs Kunstliche Intelligenz - Eine praxisorientierte Einfuhrung (German, Paperback, 5., akt. u. erg. Aufl. 2021)
Wolfgang Ertel
R891 Discovery Miles 8 910 Ships in 12 - 17 working days

Alle Teilgebiete der KI werden mit dieser Einfuhrung kompakt, leicht verstandlich und anwendungsbezogen dargestellt. Hier schreibt jemand, der das Gebiet nicht nur bestens kennt, sondern auch in der Lehre engagiert und erfolgreich vertritt. Von der klassischen Logik uber das Schliessen mit Unsicherheit und maschinelles Lernen bis hin zu Anwendungen wie Expertensysteme oder lernfahige Roboter. Neben dem umfassenden Einblick in dieses faszinierende Teilgebiet der Informatik gewinnen Sie vertiefte Kenntnisse, z. B. hinsichtlich wichtiger Verfahren zur Reprasentation und Verarbeitung von Wissen. Der Anwendungsbezug steht im Fokus der Darstellung. Viele UEbungsaufgaben mit Loesungen sowie strukturierte Verweise auf Literatur und Ressourcen im Web ermoeglichen ein effektives und kurzweiliges Selbststudium. Fur die 3. Auflage ...

Finite Element Applications - A Practical Guide to the FEM Process (Paperback, Softcover reprint of the original 1st ed. 2018):... Finite Element Applications - A Practical Guide to the FEM Process (Paperback, Softcover reprint of the original 1st ed. 2018)
Michael Okereke, Simeon Keates
R2,754 Discovery Miles 27 540 Ships in 10 - 15 working days

This textbook demonstrates the application of the finite element philosophy to the solution of real-world problems and is aimed at graduate level students, but is also suitable for advanced undergraduate students. An essential part of an engineer's training is the development of the skills necessary to analyse and predict the behaviour of engineering systems under a wide range of potentially complex loading conditions. Only a small proportion of real-life problems can be solved analytically, and consequently, there arises the need to be able to use numerical methods capable of simulating real phenomena accurately. The finite element (FE) method is one such widely used numerical method. Finite Element Applications begins with demystifying the 'black box' of finite element solvers and progresses to addressing the different pillars that make up a robust finite element solution framework. These pillars include: domain creation, mesh generation and element formulations, boundary conditions, and material response considerations. Readers of this book will be equipped with the ability to develop models of real-world problems using industry-standard finite element packages.

Mastering Autodesk Maya 2016 - Autodesk Official Press (Paperback): T Palamar Mastering Autodesk Maya 2016 - Autodesk Official Press (Paperback)
T Palamar
R1,672 R1,233 Discovery Miles 12 330 Save R439 (26%) Ships in 12 - 17 working days

Go from 'beginner' to 'expert' with this professional, tutorial-based guide to Maya 2016 Mastering Autodesk Maya 2016 is your professional hands-on coverage to getting the most out of Maya. If you already know the basics of Maya, this book is your ticket to full coverage of all Maya 2016's latest features, and showcases the tools and methods used in real-world 3D animation and visual effects. From modeling, texturing, animation, and effects to high-level techniques for film, television, games, and more, this book expands your skill set, and helps you prepare for the Autodesk Maya certification exam. Filled with challenging tutorials and real-world scenarios this book provides valuable insight into the entire CG production timeline. Take your Maya skills to the next level with step-by-step instruction and insight from the industry professionals. * Learn professional techniques used in real-world visual effects * Master Dynamics, Maya Muscle, Stereo Cameras, mental ray, and more * Expand your skills with advanced techniques for cloth, fur, and fluids * Understand everything you need to know for the Maya certification exam

Clinical Decision Support - The Road to Broad Adoption (Hardcover, 2nd edition): Robert Greenes Clinical Decision Support - The Road to Broad Adoption (Hardcover, 2nd edition)
Robert Greenes
R2,698 Discovery Miles 26 980 Ships in 12 - 17 working days

With at least 40% new or updated content since the last edition, "Clinical Decision Support," 2nd Edition explores the crucial new motivating factors poised to accelerate Clinical Decision Support (CDS) adoption. This book is mostly focused on the US perspective because of initiatives driving EHR adoption, the articulation of 'meaningful use', and new policy attention in process including the Office of the National Coordinator for Health Information Technology (ONC) and the Center for Medicare and Medicaid Services (CMS). A few chapters focus on the broader international perspective. "Clinical Decision Support," 2nd Edition explores the technology, sources of knowledge, evolution of successful forms of CDS, and organizational and policy perspectives surrounding CDS.

Exploring a roadmap for CDS, with all its efficacy benefits including reduced errors, improved quality, and cost savings, as well as the still substantial roadblocks needed to be overcome by policy-makers, clinicians, and clinical informatics experts, the field is poised anew on the brink of broad adoption. "Clinical Decision Support," 2nd Edition provides an updated and pragmatic view of the methodological processes and implementation considerations. This book also considers advanced technologies and architectures, standards, and cooperative activities needed on a societal basis for truly large-scale adoption.
At least 40% updated, and seven new chapters since the previous edition, with the new and revised content focused on new opportunities and challenges for clinical decision support at point of care, given changes in science, technology, regulatory policy, and healthcare financeInforms healthcare leaders and planners, health IT system developers, healthcare IT organization leaders and staff, clinical informatics professionals and researchers, and clinicians with an interest in the role of technology in shaping healthcare of the future

How to Cheat in 3ds Max 2015 - Get Spectacular Results Fast (Paperback): Michael McCarthy How to Cheat in 3ds Max 2015 - Get Spectacular Results Fast (Paperback)
Michael McCarthy
R720 R678 Discovery Miles 6 780 Save R42 (6%) Ships in 5 - 10 working days

Why take months to learn every button in 3ds Max when you can create great visuals with just a few key tools? Utilize the tool of choice, 3ds Max 2015, for generating realistic environments, seamless CG effects, and jaw dropping games in a matter of hours. You can use the memory-hogging methods that choke your display and take forever to render, or you can get it done quickly and efficiently.

Michael McCarthy offers a goldmine of artistic inspiration, timesaving tips & tricks, and step-by-step walkthroughs you ll wonder how you every got by without it This new edition has been completely revamped for 3ds Max 2015. Start animating today with detailed tutorials, source files, bitmaps, and video demonstrations all featured on the companion website."

Computational Systems Biology - From Molecular Mechanisms to Disease (Hardcover, 2nd edition): Andres Kriete, Roland Eils Computational Systems Biology - From Molecular Mechanisms to Disease (Hardcover, 2nd edition)
Andres Kriete, Roland Eils
R2,804 Discovery Miles 28 040 Ships in 12 - 17 working days

This comprehensively revised second edition of "Computational Systems Biology" discusses the experimental and theoretical foundations of the function of biological systems at the molecular, cellular or organismal level over temporal and spatial scales, as systems biology advances to provide clinical solutions to complex medical problems. In particular the work focuses on the engineering of biological systems and network modeling.
Logical information flow aids understanding of basic building blocks of life through disease phenotypesEvolved principles gives insight into underlying organizational principles of biological organizations, and systems processes, governing functions such as adaptation or response patternsCoverage of technical tools and systems helps researchers to understand and resolve specific systems biology problems using advanced computationMulti-scale modeling on disparate scales aids researchers understanding of dependencies and constraints of spatio-temporal relationships fundamental to biological organization and function.

Parametric Building Design Using Autodesk Maya (Paperback): Ming Tang Parametric Building Design Using Autodesk Maya (Paperback)
Ming Tang
R1,427 Discovery Miles 14 270 Ships in 12 - 17 working days

Due to its comprehensive tool-set and great potential for 3D modeling, more and more architectural design and interior design firms are adapting Autodesk Maya and integrating it into their practice. There has been no book aimed at architects and designers who wish to harness the opportunities presented by this software, until now..... The book promotes parametric design. It integrates the theoretical research of computational design and Maya non-linear modeling techniques associated with simulation, animation, digital fabrication and form-finding within 2D & 3D design. Readers will learn: How to use Maya polygon and NURBS modeling tools to create non-linear procedural model. How to use Maya driver keys and relationship tools to generate parametrically negotiable solutions across various design professions. The design logic and generative processes, as well as the potential of parametric thinking as a resourceful tool for achieving diversity and complexity in form generation and fabrication. How to use Maya to prepare files for rapid prototyping and the integration of Maya into various fabrication techniques such as laser cutting, CNC milling, and 3D printing. How to create a digital simulation to simulate all aspects of surface properties and dynamic forces with Maya physics engine. How to use Maya skeleton system and animation tools to control complex architectural forms. How to create photo-realistic renderings with Maya lighting, material and texture mapping. Using several real projects as examples, the book will go through the entire rendering process step by step. How to combine Maya with various CAD/BIM tools to create an efficient design pipeline. How to use Maya MEL script to create customized tools and interface. The book includes case studies from Zaha Hadid Architects, Greg Lynn Form, Gage Clemenceau Architects, Tang & Yang Architects, as well as step by step exercises, demonstration projects and crucially a fantastic online resource which includes video tutorials, scripts, and Maya source files.

Handbook of Computable General Equilibrium Modeling, Volume 1A (Hardcover, New): Peter B. Dixon, Dale Jorgenson Handbook of Computable General Equilibrium Modeling, Volume 1A (Hardcover, New)
Peter B. Dixon, Dale Jorgenson
R2,844 Discovery Miles 28 440 Ships in 12 - 17 working days

In this collection of 17 articles, top scholars synthesize and analyze scholarship on this widely used tool of policy analysis, setting forth its accomplishments, difficulties, and means of implementation. Though CGE modeling does not play a prominent role in top US graduate schools, it is employed universally in the development of economic policy. This collection is particularly important because itpresents a history of modeling applications and examines competing points of view.
Presents coherent summaries of CGE theories that inform major model types Covers the construction of CGE databases, model solving, and computer-assisted interpretation of resultsShows how CGE modeling has made a contribution to economic policy "

Computer Simulations - Technology, Industrial Applications & Effects on Learning (Hardcover): Boris Nemanjic, Navenka Svetozar Computer Simulations - Technology, Industrial Applications & Effects on Learning (Hardcover)
Boris Nemanjic, Navenka Svetozar
R4,160 R3,370 Discovery Miles 33 700 Save R790 (19%) Ships in 12 - 17 working days

The use of computers in simulating real-world situations has received widespread interest and attention. Computer simulations have widely been used in industrial applications, fundamental research and in computer-aided education and visualization. In this book, the authors present current research in the study of the technology, applications and effects on learning of computer simulations. Topics include computer modelling of rearrangement in liquid phase sintering; generating near-field fresnel diffraction patterns by Iterative Fresnel Integrals Method; computer simulation of the ion beam modification and analysis of single crystal surfaces under grazing incidence conditions; computer simulation of carbon and carbon-metal nanostructures; computation of residue curves using Mathematica and MATLAB; educational computer simulations of lightning and associated thunders; and designing energy efficient buildings using computer simulation.

I Heart Logs (Paperback): Jay Kreps I Heart Logs (Paperback)
Jay Kreps
R815 R591 Discovery Miles 5 910 Save R224 (27%) Ships in 12 - 17 working days

Why a book about logs? That's easy: the humble log is an abstraction that lies at the heart of many systems, from NoSQL databases to cryptocurrencies. Even though most engineers don't think much about them, this short book shows you why logs are worthy of your attention. Based on his popular blog posts, LinkedIn principal engineer Jay Kreps shows you how logs work in distributed systems, and then delivers practical applications of these concepts in a variety of common uses - data integration, enterprise architecture, real-time stream processing, data system design, and abstract computing models. Go ahead and take the plunge with logs; you're going love them. Learn how logs are used for programmatic access in databases and distributed systems Discover solutions to the huge data integration problem when more data of more varieties meet more systems Understand why logs are at the heart of real-time stream processing Learn the role of a log in the internals of online data systems Explore how Jay Kreps applies these ideas to his own work on data infrastructure systems at LinkedIn

Reservoir modelling - A Practical Guide (Hardcover): S Cannon Reservoir modelling - A Practical Guide (Hardcover)
S Cannon
R2,399 Discovery Miles 23 990 Ships in 9 - 15 working days

Dieses massgebliche Fachbuch erlautert die allgemeinen Ablaufe bei der Modellierung von Speichern, von der Qualitatskontrolle der Daten und dem Projektmanagement, der Strukturmodellierung, Fazies- und Grundstucksmodellierung bis hin zu Upscaling und den Anforderungen an die dynamische Modellierung. Der Autor erlautert die strukturellen Elemente eines Models und untersucht sowohl seismische Interpretation als auch Tiefenumrechnung als wesentliche Unsicherheitsfaktoren bei der Volumenbestimmung. Er macht ebenfalls deutlich, wie weitreichende stratigraphische Beziehungen in die Rahmenbedingungen fur Speicher integriert werden. Das Buch legt den Schwerpunkt auf die geostatische Modellierung von Fazies und Heterogenitaten, die die Verteilung von Speichereigenschaften, wie Porositat, Permeabilitat und Wassersattigung, einschranken. Daruber hinaus werden die Rolle der Unsicherheitsanalyse bei statischen Modellen und deren Auswirkungen auf Volumenschatzungen betrachtet. Eingegangen wird auch auf eine Reihe typischer Ansatze bei der Modellierung spezifischer Speicher mithilfe von Fallstudien und anschaulicher Beispiele. - Praktischer Leitfaden fur den Einsatz von Daten bei der Erstellung erfolgreicher Speichermodelle. - Greift auf die jungsten Fortschritte bei 3D-Modellierungssoftware zuruck. - Untersucht die Modellierung von Fazies, die verschiedenen Methoden und die Notwendigkeit, die geologische Interpretation von Kernen und Logs zu verstehen. - Bietet Informationen zum Upscaling der Strukturen und Eigenschaften von kleinen geologischen Modellen als Grundlage fur eine dynamische Simulation. - Betont die Bedeutung eines interdisziplinaren Teamansatzes.

Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings,... Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II (Paperback, 1st ed. 2020)
Shuvendu K. Lahiri, Chao Wang
R1,095 Discovery Miles 10 950 Ships in 12 - 17 working days

The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic.

Context-Enhanced Information Fusion - Boosting Real-World Performance with Domain Knowledge (Hardcover, 1st ed. 2016): Lauro... Context-Enhanced Information Fusion - Boosting Real-World Performance with Domain Knowledge (Hardcover, 1st ed. 2016)
Lauro Snidaro, Jesus Garcia, James Llinas, Erik Blasch
R4,808 Discovery Miles 48 080 Ships in 10 - 15 working days

This text reviews the fundamental theory and latest methods for including contextual information in fusion process design and implementation. Chapters are contributed by the foremost international experts, spanning numerous developments and applications. The book highlights high- and low-level information fusion problems, performance evaluation under highly demanding conditions, and design principles. A particular focus is placed on approaches that integrate research from different communities, emphasizing the benefit of combining different techniques to overcome the limitations of a single perspective. Features: introduces the terminology and core elements in information fusion and context; presents key themes for context-enhanced information fusion; discusses design issues in developing context-aware fusion systems; provides mathematical grounds for modeling the contextual influences in representative fusion problems; describes the fusion of hard and soft data; reviews a diverse range of applications.

An Introduction to Statistical Computing - A Simulation-based Approach (Hardcover): J. Voss An Introduction to Statistical Computing - A Simulation-based Approach (Hardcover)
J. Voss
R1,796 Discovery Miles 17 960 Ships in 12 - 17 working days

A comprehensive introduction to sampling-based methods in statistical computing The use of computers in mathematics and statistics has opened up a wide range of techniques for studying otherwise intractable problems. Sampling-based simulation techniques are now an invaluable tool for exploring statistical models. This book gives a comprehensive introduction to the exciting area of sampling-based methods. An Introduction to Statistical Computing introduces the classical topics of random number generation and Monte Carlo methods. It also includes some advanced methods such as the reversible jump Markov chain Monte Carlo algorithm and modern methods such as approximate Bayesian computation and multilevel Monte Carlo techniques An Introduction to Statistical Computing: * Fully covers the traditional topics of statistical computing. * Discusses both practical aspects and the theoretical background. * Includes a chapter about continuous-time models. * Illustrates all methods using examples and exercises. * Provides answers to the exercises (using the statistical computing environment R); the corresponding source code is available online. * Includes an introduction to programming in R. This book is mostly self-contained; the only prerequisites are basic knowledge of probability up to the law of large numbers. Careful presentation and examples make this book accessible to a wide range of students and suitable for self-study or as the basis of a taught course

Algorithmic Game Theory - 4th International Symposium, SAGT 2011, Amalfi, Italy, October 17-19, 2011. Proceedings (Paperback,... Algorithmic Game Theory - 4th International Symposium, SAGT 2011, Amalfi, Italy, October 17-19, 2011. Proceedings (Paperback, 2011)
Giuseppe Persiano
R1,533 Discovery Miles 15 330 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the Fourth International Symposium on Algorithmic Game Theory, SAGT 2011, held in Amalfi, Italy, in October 2011. The 26 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 65 submissions. The papers are organized in topical sections on auctions and advertising, quality of solutions, externalities, mechanism design, complexity, network games, pricing, as well as routing games.

IP Cores Design from Specifications to Production - Modeling, Verification, Optimization, and Protection (Hardcover, 1st ed.... IP Cores Design from Specifications to Production - Modeling, Verification, Optimization, and Protection (Hardcover, 1st ed. 2016)
Khaled Salah Mohamed
R2,199 Discovery Miles 21 990 Ships in 10 - 15 working days

This book describes the life cycle process of IP cores, from specification to production, including IP modeling, verification, optimization, and protection. Various trade-offs in the design process are discussed, including those associated with many of the most common memory cores, controller IPs and system-on-chip (SoC) buses. Readers will also benefit from the author's practical coverage of new verification methodologies. such as bug localization, UVM, and scan-chain. A SoC case study is presented to compare traditional verification with the new verification methodologies. Discusses the entire life cycle process of IP cores, from specification to production, including IP modeling, verification, optimization, and protection; Introduce a deep introduction for Verilog for both implementation and verification point of view. Demonstrates how to use IP in applications such as memory controllers and SoC buses. Describes a new verification methodology called bug localization; Presents a novel scan-chain methodology for RTL debugging; Enables readers to employ UVM methodology in straightforward, practical terms.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Guide to Computational Modelling for…
Stuart Berry, Val Lowndes, … Hardcover R2,639 R2,369 Discovery Miles 23 690
3D Laser Scanning for Heritage - Advice…
Clive Boardman, Paul B. Ryan Paperback R1,320 Discovery Miles 13 200
Structure-Based Mechanics of Tissues and…
Ghassan S. Kassab, Michael S. Sacks Hardcover R5,687 Discovery Miles 56 870
BIM for Heritage - Developing a Historic…
Sofia Antonopoulou, Paul B. Ryan Paperback R1,163 Discovery Miles 11 630
Advanced Simulation of Alternative…
Viktor M. Perelmuter Paperback R1,503 Discovery Miles 15 030
3D Rotations - Parameter Computation and…
Kenichi Kanatani Paperback R1,378 Discovery Miles 13 780
Database Theory and Application…
Yanchun Zhang, Alfredo Cuzzocrea, … Paperback R1,528 Discovery Miles 15 280
GPU Pro 5 - Advanced Rendering…
Wolfgang Engel Hardcover R3,236 Discovery Miles 32 360
V-Ray 5 for 3ds Max - Day & Night…
Jamie Cardoso Paperback R1,511 Discovery Miles 15 110
Resource Management for Big Data…
Florin Pop, Joanna Kolodziej, … Hardcover R4,489 Discovery Miles 44 890

 

Partners