Learn IT - Books tags heuristics

Clean Code: A Handbook of Agile Software Craftsmanship (Robert C. Martin Series)

Prentice Hall, 2008

Even bad code can function. But if code isn’t clean, it can bring a development organization to its knees. Every year, countless hours and significant resources are lost because of poorly written code. But it doesn’t have to be that way.

Noted software expert Robert C. Martin presents a revolutionary paradigm with...

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: 7th International Conference

Springer, 2010

Cutting planes (cuts) are very popular in the OR community, where they are used to strengthen the Linear Programming (LP) relaxation of Mixed-Integer Programs (MIPs) in the hope of improving the performance of an exact LPbased solver. In particular, an intense research effort has been devoted to the study of families of general cuts,...

Data Mining: A Heuristic Approach

Idea Group Publishing, 2002

The last decade has witnessed a revolution in interdisciplinary research where the boundaries of different areas have overlapped or even disappeared. New fields of research emerge each day where two or more fields have integrated to form a new identity. Examples of these emerging areas include bioinformatics (synthesizing biology with...

The Algorithm Design Manual

Springer, 1998

Most of the professional programmers that I've encountered are not well prepared to tackle algorithm
design problems. This is a pity, because the techniques of algorithm design form one of the core practical
technologies of computer science. Designing correct, efficient, and implementable algorithms for realworld
problems is a tricky...

Software Engineering Foundations: A Software Science Perspective

Auerbach Publications, 2007

A groundbreaking book in this field, Software Engineering Foundations: A Software Science Perspective integrates the latest research, methodologies, and their applications into a unified theoretical framework. Based on the author's 30 years of experience, it examines a wide range of underlying theories from philosophy, cognitive informatics,...

Automatic Design of Decision-Tree Induction Algorithms (SpringerBriefs in Computer Science)

Springer, 2015

Presents a detailed study of the major design components that constitute a top-down decision-tree induction algorithm, including aspects such as split criteria, stopping criteria, pruning and the approaches for dealing with missing values. Whereas the strategy still employed nowadays is to use a 'generic' decision-tree induction...

Multi-Objective Swarm Intelligent Systems: Theory & Experiences (Studies in Computational Intelligence)

Springer, 2009

Recently, a new class of heuristic techniques, the swarm intelligence has emerged. In this context, more recently, biologists and computer scientists in the field of “artificial life” have been turning to insects for ideas that can be used for heuristics. Many aspects of the collective activities of social insects,...

Humanitarian and Relief Logistics: Research Issues, Case Studies and Future Trends

Springer, 2013

This edited volume highlights recent research advances in humanitarian relief logistics. The contributed chapters span the spectrum of key issues and activities from preparedness to mitigation operations (response), planning and execution. The volume also presents state-of-the-art methods and systems through current case studies.

...

Rippling: Meta-Level Guidance for Mathematical Reasoning

Cambridge University Press, 2005

The automation of mathematical reasoning has been an important topic of research almost since computers were invented. The new technique of rippling, described here for the first time in book form, is designed to be an approach to mathematical reasoning that takes into account ideas of heuristics and searching. Rippling addresses...

Scheduling: Theory, Algorithms, and Systems

Springer, 2016

This new edition provides an up-to-date coverage of important theoretical models in the scheduling literature as well as significant scheduling problems that occur in the real world. It again includes supplementary material in the form of slide-shows from industry and movies that...

Combinatorial Optimization: Theory and Algorithms (Algorithms and Combinatorics)

Springer, 2012

This comprehensive textbook on combinatorial optimization places special emphasis on theoretical results and algorithms with provably good performance, in contrast to heuristics. It is based on numerous courses on combinatorial optimization and specialized topics, mostly at graduate level. This book reviews the...

Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science) (v. 129)

Springer, 1982

Concurrent processes can exhibit extremely complicated behavior, and neither informal reasoning nor testing is reliable enough to establish their correctness. In this thesis, we develop a new technique for the verification of parallel programs. The technique is stated in terms of axioms and inference rules, and it is used to prove...

Result Page: 5 4 3 2 1