Skip to main content
Elsevier
View Cart
openUserAccount

Books in Theory and mathematics

BooksJournals
21-30 of 301 results in All results

Computational Network Science

  • 1st Edition
  • September 23, 2014
  • Henry Hexmoor
  • English
  • Paperback
    9 7 8 - 0 - 1 2 - 8 0 0 8 9 1 - 1
  • eBook
    9 7 8 - 0 - 1 2 - 8 0 1 1 5 6 - 0
The emerging field of network science represents a new style of research that can unify such traditionally-diverse fields as sociology, economics, physics, biology, and computer science. It is a powerful tool in analyzing both natural and man-made systems, using the relationships between players within these networks and between the networks themselves to gain insight into the nature of each field. Until now, studies in network science have been focused on particular relationships that require varied and sometimes-incompatible datasets, which has kept it from being a truly universal discipline. Computational Network Science seeks to unify the methods used to analyze these diverse fields. This book provides an introduction to the field of Network Science and provides the groundwork for a computational, algorithm-based approach to network and system analysis in a new and important way. This new approach would remove the need for tedious human-based analysis of different datasets and help researchers spend more time on the qualitative aspects of network science research.

Scientific Computing

  • 1st Edition
  • June 28, 2014
  • Gene H. Golub + 1 more
  • English
  • eBook
    9 7 8 - 1 - 4 8 3 2 - 9 6 0 4 - 3
This book introduces the basic concepts of parallel and vector computing in the context of an introduction to numerical methods. It contains chapters on parallel and vector matrix multiplication and solution of linear systems by direct and iterative methods. It is suitable for advanced undergraduate and beginning graduate courses in computer science, applied mathematics, and engineering. Ideally, students will have access to a parallel or Vector computer, but the material can be studied profitably in any case.

Parallel Processing for Artificial Intelligence 2

  • 1st Edition
  • Volume 15
  • June 28, 2014
  • V. Kumar + 2 more
  • English
  • eBook
    9 7 8 - 1 - 4 8 3 2 - 9 5 7 5 - 6
With the increasing availability of parallel machines and the raising of interest in large scale and real world applications, research on parallel processing for Artificial Intelligence (AI) is gaining greater importance in the computer science environment. Many applications have been implemented and delivered but the field is still considered to be in its infancy.This book assembles diverse aspects of research in the area, providing an overview of the current state of technology. It also aims to promote further growth across the discipline. Contributions have been grouped according to their subject: architectures (3 papers), languages (4 papers), general algorithms (6 papers), and applications (5 papers). The internationally sourced papers range from purely theoretical work, simulation studies, algorithm and architecture proposals, to implemented systems and their experimental evaluation.Since the book is a second volume in the parallel processing for AI series, it provides a continued documentation of the research and advances made in the field. The editors hope that it will inspire readers to investigate the possiblities for enhancing AI systems by parallel processing and to make new discoveries of their own!

Formal Models and Semantics

  • 1st Edition
  • Volume B
  • June 28, 2014
  • Bozzano G Luisa
  • English
  • eBook
    9 7 8 - 0 - 0 8 - 0 9 3 3 9 2 - 4
The second part of this Handbook presents a choice of material on the theory of automata and rewriting systems, the foundations of modern programming languages, logics for program specification and verification, and some chapters on the theoretic modelling of advanced information processing.

Parallel Algorithms for Numerical Linear Algebra

  • 1st Edition
  • Volume 1
  • June 28, 2014
  • H. van der Vorst + 1 more
  • English
  • eBook
    9 7 8 - 1 - 4 8 3 2 - 9 5 7 3 - 2
This is the first in a new series of books presenting research results and developments concerning the theory and applications of parallel computers, including vector, pipeline, array, fifth/future generation computers, and neural computers.All aspects of high-speed computing fall within the scope of the series, e.g. algorithm design, applications, software engineering, networking, taxonomy, models and architectural trends, performance, peripheral devices.Papers in Volume One cover the main streams of parallel linear algebra: systolic array algorithms, message-passing systems, algorithms for parallel shared-memory systems, and the design of fast algorithms and implementations for vector supercomputers.

Logical Design for Computers and Control

  • 1st Edition
  • May 20, 2014
  • K. N. Dodd
  • English
  • eBook
    9 7 8 - 1 - 4 8 3 1 - 0 1 1 1 - 8
Logical Design for Computers and Control Logical Design for Computers and Control gives an introduction to the concepts and principles, applications, and advancements in the field of control logic. The text covers topics such as logic elements; high and low logic; kinds of flip-flops; binary counting and arithmetic; and Boolean algebra, Boolean laws, and De Morgan's theorem. Also covered are topics such as electrostatics and atomic theory; the integrated circuit and simple control systems; the conversion of analog to digital systems; and computer applications and control. The book is recommended for engineering students who are in need of an introductory material to control logic and its applications on computers.

Nature-Inspired Optimization Algorithms

  • 1st Edition
  • February 17, 2014
  • Xin-She Yang
  • English
  • Paperback
    9 7 8 - 0 - 1 2 - 8 1 0 0 6 0 - 8
  • eBook
    9 7 8 - 0 - 1 2 - 4 1 6 7 4 5 - 2
Nature-Inspired Optimization Algorithms provides a systematic introduction to all major nature-inspired algorithms for optimization. The book's unified approach, balancing algorithm introduction, theoretical background and practical implementation, complements extensive literature with well-chosen case studies to illustrate how these algorithms work. Topics include particle swarm optimization, ant and bee algorithms, simulated annealing, cuckoo search, firefly algorithm, bat algorithm, flower algorithm, harmony search, algorithm analysis, constraint handling, hybrid methods, parameter tuning and control, as well as multi-objective optimization. This book can serve as an introductory book for graduates, doctoral students and lecturers in computer science, engineering and natural sciences. It can also serve a source of inspiration for new applications. Researchers and engineers as well as experienced experts will also find it a handy reference.

Flow Networks

  • 1st Edition
  • January 16, 2013
  • Michael T. Todinov
  • English
  • eBook
    9 7 8 - 0 - 1 2 - 3 9 8 4 0 6 - 7
Repairable flow networks are a new area of research, which analyzes the repair and flow disruption caused by failures of components in static flow networks. This book addresses a gap in current network research by developing the theory, algorithms and applications related to repairable flow networks and networks with disturbed flows. The theoretical results presented in the book lay the foundations of a new generation of ultra-fast algorithms for optimizing the flow in networks after failures or congestion, and the high computational speed creates the powerful possibility of optimal control of very large and complex networks in real time. Furthermore, the possibility for re-optimizing the network flows in real time increases significantly the yield from real production networks and reduces to a minimum the flow disruption caused by failures. The potential application of repairable flow networks reaches across many large and complex systems, including active power networks, telecommunication networks, oil and gas production networks, transportation networks, water supply networks, emergency evacuation networks, and supply networks. The book reveals a fundamental flaw in classical algorithms for maximising the throughput flow in networks, published since the creation of the theory of flow networks in 1956. Despite the years of intensive research, the classical algorithms for maximising the throughput flow leave highly undesirable directed loops of flow in the optimised networks. These flow loops are associated with wastage of energy and resources and increased levels of congestion in the optimised networks.

The Single Server Queue

  • 2nd Edition
  • Volume 8
  • November 11, 2012
  • J.W. Cohen
  • English
  • eBook
    9 7 8 - 0 - 4 4 4 - 5 9 6 2 4 - 6
This classic work, now available in paperback, concentrates on the basic models of queueing theory. It has a dual aim: to describe relevant mathematical techniques and to analyse the single server queue and its most important variants.

Synchronous Precharge Logic

  • 1st Edition
  • August 27, 2012
  • Marek Smoszna
  • English
  • eBook
    9 7 8 - 0 - 1 2 - 4 0 1 7 0 7 - 8
Precharge logic is used by a variety of industries in applications where processor speed is the primary goal, such as VLSI (very large systems integration) applications. Also called dynamic logic, this type of design uses a clock to synchronize instructions in circuits. This comprehensive book covers the challenges faced by designers when using this logic style, including logic basics, timing, noise considerations, alternative topologies and more. In addition advanced topics such as skew tolerant design are covered in some detail. Overall this is a comprehensive view of precharge logic, which should be useful to graduate students and designers in the field alike. It might also be considered as a supplemental title for courses covering VLSI.

Related subjects

Analysis of algorithms and problem complexity

Logics and meanings of programs

Mathematical logic and formal languages

Natural computation

Quantum computing

Theory and mathematics general