Narrow your search

Library

VUB (1771)

EhB (1480)

AP (275)

KDG (274)

KU Leuven (16)

ULiège (13)

Odisee (11)

Thomas More Kempen (11)

UCLL (11)

ULB (11)

More...

Resource type

book (1771)

digital (274)


Language

English (1766)

Italian (3)

Dutch (1)

French (1)


Year
From To Submit

2019 (11)

2015 (1)

2012 (239)

2011 (377)

2010 (368)

More...
Listing 1 - 10 of 1771 << page
of 178
>>
Sort by

Book
Matters Computational : Ideas, Algorithms, Source Code
Authors: ---
ISBN: 9783642147647 Year: 2011 Publisher: Berlin Heidelberg Springer Berlin Heidelberg

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book provides algorithms and ideas for computationalists. Subjects treated include low-level algorithms, bit wizardry, combinatorial generation, fast transforms like the Fourier transform, and fast arithmetic for both real numbers and finite fields. Various optimization techniques are described and the actual performance of many given implementations is examined. The focus is on material that does not usually appear in textbooks on algorithms. The implementations are done in C++ and the GP language, written for POSIX-compliant platforms such as the Linux and BSD operating systems.


Multi
Matters Computational : Ideas, Algorithms, Source Code
Author:
ISBN: 9783642147647 Year: 2011 Publisher: Berlin, Heidelberg Springer Berlin Heidelberg

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
New Software Engineering Paradigm Based on Complexity Science
Authors: ---
ISBN: 9781441973269 Year: 2011 Publisher: New York, NY Springer New York

Loading...
Export citation

Choose an application

Bookmark

Abstract

Title: New Software Engineering Paradigm Based on Complexity Science: An Introduction to NSE Author: Jay Xiong Software has become the driving force for the development of all kinds of businesses, engineering, sciences and the global economy. But software itself is not well engineered, resulting in a total economic cost that is disturbingly high. Jay Xiong, a leading entrepreneur in the field of software engineering, realized many of the problems in software engineering stem from an incorrect paradigm. Software is a nonlinear complex system, but the existing software engineering paradigm is based on linear thinking, reductionism, and a superposition principle that the whole of a system is the sum of its parts. Xiong believes that the solution to software problems lies with complexity science, which is the science of studying complex systems with many interactive components. In New Software Engineering Paradigm Based on Complexity Science: An Introduction to NSE, Xiong details how complexity science can be a powerful means to solve all critical issues existing in today's software engineering through a two-step process. Step one discusses shifting the engineering paradigm to one based on nonlinear process and complexity science. For that, he posits the Nonlinear Software Engineering (NSE) paradigm. And step two applies complexity science to efficiently handle the problems of an individual complex system. This text introduces many new concepts, ideas, algorithms, models, methods, techniques and tools. It is aimed at anyone who has any relation to computer science and software engineering. The tools NSE_CLICK- an automatic acceptance testing platform for outsourcing (or internally developed) C/C++ products, and NSE_CLICK_J - an automatic acceptance testing platform for outsourcing (or internally developed) Java products  are particularly designed for non-technical readers to view/review how the acceptance testing of a software product developed with NSE can be performed automatically, and how the product  developed with NSE is truly maintainable at the customer site.


Book
Computability and Complexity Theory
Authors: --- ---
ISBN: 9781461406822 Year: 2011 Publisher: Boston, MA Springer US

Loading...
Export citation

Choose an application

Bookmark

Abstract

This revised and extensively expanded edition of Computability and Complexity Theory comprises essential materials that are core knowledge in the theory of computation. The book is self-contained, with a preliminary chapter describing key mathematical concepts and notations.  Subsequent chapters move from the qualitative aspects of classical computability theory to the quantitative aspects of complexity theory. Dedicated chapters on undecidability, NP-completeness, and relative computability focus on the limitations of computability and the distinctions between feasible and intractable.  Substantial new content in this edition includes: a chapter on nonuniformity studying Boolean circuits, advice classes and the important result of Karpâ€Lipton. a chapter studying properties of the fundamental probabilistic complexity classes a study of the alternating Turing machine and uniform circuit classes. an introduction of counting classes, proving the famous results of Valiant and Vazirani and of Toda a thorough treatment of the proof that IP is identical to PSPACE With its accessibility and well-devised organization, this text/reference is an excellent resource and guide for those looking to develop a solid grounding in the theory of computing. Beginning graduates, advanced undergraduates, and professionals involved in theoretical computer science, complexity theory, and computability will find the book an essential and practical learning tool.   Topics and features: Concise, focused  materials cover the most fundamental concepts and results in the field of modern complexity theory, including the theory of NP-completeness, NP-hardness, the polynomial hierarchy, and complete problems for other complexity classes Contains information that otherwise exists only in research literature and presents it in a unified, simplified manner Provides key mathematical background information, including sections on logic and number theory and algebra Supported by numerous exercises and supplementary problems for reinforcement and self-study purposes


Book
Super-Recursive Algorithms
Authors: ---
ISBN: 9780387268064 Year: 2005 Publisher: New York, NY Springer Science+Business Media Inc.

Loading...
Export citation

Choose an application

Bookmark

Abstract

New discoveries about algorithms are leading scientists beyond the Church-Turing Thesis, which governs the "algorithmic universe" and asserts the conventionality of recursive algorithms. A new paradigm for computation, the super-recursive algorithm, offers promising prospects for algorithms of much greater computing power and efficiency. Super-Recursive Algorithms provides an accessible, focused examination of the theory of super-recursive algorithms and its ramifications for the computer industry, networks, artificial intelligence, embedded systems, and the Internet. The book demonstrates how these algorithms are more appropriate as mathematical models for modern computers, and how these algorithms present a better framework for computing methods in such areas as numerical analysis, array searching, and controlling and monitoring systems. In addition, a new practically-oriented perspective on the theory of algorithms, computation, and automata, as a whole, is developed. Problems of efficiency, software development, parallel and distributed processing, pervasive and emerging computation, computer architecture, machine learning, brain modeling, knowledge discovery, and intelligent systems are addressed. Topics and Features: * Encompasses and systematizes all main classes of super-recursive algorithms and the theory behind them * Describes the strengthening link between the theory of super-recursive algorithms and actual algorithms close to practical realization * Examines the theory's basis as a foundation for advancements in computing, information science, and related technologies * Encompasses and systematizes all main types of mathematical models of algorithms * Highlights how super-recursive algorithms pave the way for more advanced design, utilization, and maintenance of computers * Examines and restructures the existing variety of mathematical models of complexity of algorithms and computation, introducing new models * Possesses a comprehensive bibliography and index This clear exposition, motivated by numerous examples and illustrations, serves to develop a new paradigm for complex, high-performance computing based on both partial recursive functions and more inclusive recursive algorithms. Researchers and advanced students interested in theory of computation and algorithms will find the book an essential resource for an important new class of algorithms.


Book
Design and Analysis of Approximation Algorithms
Authors: --- --- ---
ISBN: 9781461417019 Year: 2012 Publisher: New York, NY Springer New York

Loading...
Export citation

Choose an application

Bookmark

Abstract

When precise algorithmic solutions are difficult to compute, the use of approximation algorithms can help. Design and Analysis of Approximation Algorithms is a textbook for a graduate course in theoretical computer science taught globally in universities. It can also be used as a reference work for researchers in the area of design and analysis algorithms.   There are few texts available for this standard course, and those that do exist mainly follow a problem-oriented format. This text follows a structured, technique-oriented presentation. Approximation algorithms are organized into chapters based on the design techniques for the algorithms, enabling the reader to study algorithms of the same nature with ease, and providing an improved understanding of the design and analysis techniques for approximation algorithms. Instructors benefit from this approach allowing for an easy way to present the ideas and techniques of algorithms with a unified approach.


Book
Randomized Algorithms for Analysis and Control of Uncertain Systems
Authors: --- --- ---
ISBN: 9781846280528 Year: 2005 Publisher: London Springer-Verlag London Limited

Loading...
Export citation

Choose an application

Bookmark

Abstract

The presence of uncertainty in a system description has always been a critical issue in control. Moving on from earlier stochastic and robust control paradigms, the main objective of this book is to introduce the reader to the fundamentals of probabilistic methods in the analysis and design of uncertain systems. Using so-called "randomized algorithms", this emerging area of research guarantees a reduction in the computational complexity of classical robust control algorithms and in the conservativeness of methods like H-infinity control. Features: ¢ self-contained treatment explaining randomized algorithms from their genesis in the principles of probability theory to their use for robust analysis and controller synthesis; ¢ comprehensive treatment of sample generation, including consideration of the difficulties involved in obtaining independent and identically distributed samples; ¢ applications of randomized algorithms in congestion control of high-speed communications networks and the stability of quantized sampled-data systems. Randomized Algorithms for Analysis and Control of Uncertain Systems will be of certain interest to control theorists concerned with robust and optimal control techniques and to all control engineers dealing with system uncertainties. The present book is a very timely contribution to the literature. I have no hesitation in asserting that it will remain a widely cited reference work for many years. M. Vidyasagar


Book
Implementation and Application of Automata (vol. # 3317)
Authors: --- --- --- ---
ISBN: 9783540305002 Year: 2005 Publisher: Berlin Heidelberg Springer-Verlag GmbH.

Loading...
Export citation

Choose an application

Bookmark

Abstract

This volume of Lecture Notes in Computer Science contains the revised versions of the papers presented at the 9th International Conference on Implemen- tion and Application of Automata, CIAA 2004. Also included are the extended abstracts of the posters accepted to the conference. The conference was held at Queen's University in Kingston, Ontario, Canada on July 22-24, 2004. As for its predecessors, the theme of CIAA 2004 was the implementation of automata and grammars of all types and their application in other ?elds. The topics of the papers presented at the conference range from applications of automata in natural language and speech processing to protein sequencingandgenecompression,andfromstatecomplexityandnewalgorithms for automata operations to applications of quantum ?nite automata. The25regularpapersand14posterpaperswereselectedfrom62submissions totheconference.EachsubmittedpaperwasevaluatedbyatleastthreeProgram Committee members, with the help of external referees. Based on the referee reports, the paper Substitutions, Trajectories and Noisy Channels  by L. Kari, S. Konstantinidis and P. Sos´ ?k was chosen as the winner of the CIAA 2004 Best Paper Award. The award is sponsored by the University of California at Santa Barbara. The authors of the papers presented here come from the following countries and regions: Austria, Canada, Czech Republic, Finland, France, Germany, Hong Kong, Netherlands, Portugal, Russia, Slovakia, South Africa, Spain, UK, and USA.


Book
Unconventional Computation (vol. # 4135)
Authors: --- --- --- --- --- et al.
ISBN: 9783540385943 Year: 2006 Publisher: Berlin Heidelberg Springer-Verlag GmbH.

Loading...
Export citation

Choose an application

Bookmark

Abstract

The 5th International Conference on Unconventional Computation, UC 2006, organized under the auspices of the EATCS by the Centre for Discrete Mat- maticsandTheoreticalComputerScienceoftheUniversityofAuckland,andthe Department of Computer Science of the University of York, was held in York, UK, September 4-8, 2006. York combines evidence of a history going back to Roman times with a bustlingmoderncitycenter.TheMinster,builtonthefoundationsoftheRoman cityandan earlierNormancathedral,isamongthe?nest Gothic cathedrals,and dominatesthecity.Romans,Vikings,andmorerecenthistoryarecommemorated in a number of top-class museums, as well as being apparent in the architecture of the city. TheseriesofInternationalConferencesonUnconventionalComputation(UC), https://www.cs.auckland.ac.nz/CDMTCS/conferences/uc/,is devoted to all aspects of unconventional computation, theory as well as experiments and applications. Typical, but not exclusive, topics are: natural computing incl- ing quantum, cellular, molecular, neural and evolutionarycomputing; chaos and dynamicalsystems-basedcomputing;andvariousproposalsforcomputationsthat go beyond the Turing model. The ?rst venue of the Unconventional Computation Conference (formerly called Unconventional Models of Computation) was Auckland, New Zealand in 1998; subsequent sites of the conference were Brussels, Belgium in 2000, Kobe, Japan in 2002, and Seville, Spain in 2005. The titles of volumes of the past UC conferences are the following: 1. C.S. Calude, J. Casti, M.J. Dinneen (eds.). Unconventional Models of C- putation, Springer, Singapore, 1998, viii + 426 pp. ISBN: 981-3083-69-7. 2. I. Antoniou, C.S. Calude, M.J. Dinneen (eds.). Unconventional Models of Computation, UMC'2K, Springer, London, December 2000, xi + 301 pp. ISBN 1-85233-417-0.


Book
Parameterized and Exact Computation
Authors: --- ---
ISBN: 9783540391012 Year: 2006 Publisher: Berlin Heidelberg Springer-Verlag GmbH.

Loading...
Export citation

Choose an application

Bookmark

Abstract

The Second International Workshop on Parameterized and Exact Computation (IWPEC) was held in Zu ¨rich, Switzerland, during September 13-15, 2006. It th was organized as a component of ALGO 2006, which also hosted the 14 - th nual European Symposium on Algorithms, the 6 Workshop on Algorithms in th Bioinformatics, the 4 Workshop on Approximation and Online Algorithms, th and the 6 Workshop on Algorithmic Methods and Models for Optimization of Railways. This meeting was the second in the IWPEC series, with the ?rst having been held in Bergen, Norway, during September 14-16, 2004. The ?eld continues to experience rapid growth, in part due to its appeal as an alternative to tra- tional complexity theory, and in part due to the powerful practical applications it has spawned. IWPEC events are intended to cover research in all aspects of parameterizedand exact computation and complexity, including but not limited to new techniques for the design and analysis of parameterized and exact al- rithms, parameterized complexity theory, relationships between parameterized complexity and traditional complexity, applications of parameterized and exact computation, implementation issues and high-performance computing. A major goal is to disseminate the latest research results, including signi?cant work-- progress, and to identify, de?ne and explore directions for future study. The papers accepted for presentation and printed in these proceedings rep- sent a diverse spectrum of the latest developments on parameterized and exact algorithm design, analysis, application and implementation.

Listing 1 - 10 of 1771 << page
of 178
>>
Sort by