Narrow your search

Library

EhB (370)

VUB (370)

AP (332)

KDG (332)

KU Leuven (1)

Thomas More Kempen (1)

Thomas More Mechelen (1)

UCLL (1)

ULB (1)

ULiège (1)

More...

Resource type

book (370)

digital (332)


Language

English (664)

Italian (2)


Year
From To Submit

2011 (666)

Listing 1 - 10 of 666 << page
of 67
>>
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

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.


Book
New Software Engineering Paradigm Based on Complexity Science : An Introduction to NSE
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 Imprint Springer

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


Digital
New Software Engineering Paradigm Based on Complexity Science : An Introduction to NSE
Author:
ISBN: 9781441973269 Year: 2011 Publisher: New York, NY Springer New York

Loading...
Export citation

Choose an application

Bookmark

Abstract


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

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Problem Solving Handbook in Computational Biology and Bioinformatics
Authors: --- ---
ISBN: 9780387097602 Year: 2011 Publisher: Boston MA Springer US

Loading...
Export citation

Choose an application

Bookmark

Abstract

Bioinformatics is growing by leaps and bounds; theories/algorithms/statistical techniques are constantly evolving. Nevertheless, a core body of algorithmic ideas have emerged and researchers are beginning to adopt a "problem solving" approach to bioinformatics, wherein they use solutions to well-abstracted problems as building blocks to solve larger scope problems. Problem Solving Handbook for Computational Biology and Bioinformatics is an edited volume contributed by world renowned leaders in this field. This comprehensive handbook with problem solving emphasis, covers all relevant areas of computational biology and bioinformatics. Web resources and related themes are highlighted at every opportunity in this central easy-to-read reference. Designed for advanced-level students, researchers and professors in computer science and bioengineering as a reference or secondary text, this handbook is also suitable for professionals working in this industry.


Book
Algorithms Unplugged
Authors: --- --- --- --- --- et al.
ISBN: 9783642153280 Year: 2011 Publisher: Berlin Heidelberg Springer Berlin Heidelberg

Loading...
Export citation

Choose an application

Bookmark

Abstract

Algorithms specify the way computers process information and how they execute tasks. Many recent technological innovations and achievements rely on algorithmic ideas - they facilitate new applications in science, medicine, production, logistics, traffic, communication and entertainment. Efficient algorithms not only enable your personal computer to execute the newest generation of games with features unimaginable only a few years ago, they are also key to several recent scientific breakthroughs - for example, the sequencing of the human genome would not have been possible without the invention of new algorithmic ideas that speed up computations by several orders of magnitude. The greatest improvements in the area of algorithms rely on beautiful ideas for tackling computational tasks more efficiently. The problems solved are not restricted to arithmetic tasks in a narrow sense but often relate to exciting questions of nonmathematical flavor, such as: How can I find the exit out of a maze? How can I partition a treasure map so that the treasure can only be found if all parts of the map are recombined? How should I plan my trip to minimize cost? Solving these challenging problems requires logical reasoning, geometric and combinatorial imagination, and, last but not least, creativity - the skills needed for the design and analysis of algorithms. In this book we present some of the most beautiful algorithmic ideas in 41 articles written in colloquial, nontechnical language. Most of the articles arose out of an initiative among German-language universities to communicate the fascination of algorithms and computer science to high-school students. The book can be understood without any prior knowledge of algorithms and computing, and it will be an enlightening and fun read for students and interested adults.


Book
Multiple Classifier Systems : 10th International Workshop, MCS 2011, Naples, Italy, June 15-17, 2011. Proceedings
Authors: --- --- ---
ISBN: 9783642215575 Year: 2011 Publisher: Berlin Heidelberg Springer Berlin Heidelberg

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book constitutes the refereed proceedings of the 10th International Workshop on Multiple Classifier Systems, MCS 2011, held in Naples, Italy, in June 2011. The 36 revised papers presented together with two invited papers were carefully reviewed and selected from more than 50 submissions. The contributions are organized into sessions dealing with classifier ensembles; trees and forests; one-class classifiers; multiple kernels; classifier selection; sequential combination; ECOC; diversity; clustering; biometrics; and computer security.


Book
Introduction to Reliable and Secure Distributed Programming
Authors: --- --- ---
ISBN: 9783642152603 Year: 2011 Publisher: Berlin Heidelberg Springer Berlin Heidelberg Imprint Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract

In modern computing a program is usually distributed among several processes. The fundamental challenge when developing reliable and secure distributed programs is to support the cooperation of processes required to execute a common task, even when some of these processes fail. Failures may range from crashes to adversarial attacks by malicious processes. Cachin, Guerraoui, and Rodrigues present an introductory description of fundamental distributed programming abstractions together with algorithms to implement them in distributed systems, where processes are subject to crashes and malicious attacks. The authors follow an incremental approach by first introducing basic abstractions in simple distributed environments, before moving to more sophisticated abstractions and more challenging environments. Each core chapter is devoted to one topic, covering reliable broadcast, shared memory, consensus, and extensions of consensus. For every topic, many exercises and their solutions enhance the understanding This book represents the second edition of "Introduction to Reliable Distributed Programming". Its scope has been extended to include security against malicious actions by non-cooperating processes. This important domain has become widely known under the name "Byzantine fault-tolerance".

Listing 1 - 10 of 666 << page
of 67
>>
Sort by