Listing 1 - 10 of 1771 | << page >> |
Sort by
|
Choose an application
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.
Choose an application
Choose an application
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.
Complex analysis --- Computer science --- complexe analyse (wiskunde) --- informatica
Choose an application
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
Complex analysis --- Computer science --- toegepaste informatica --- complexe analyse (wiskunde)
Choose an application
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.
Complex analysis --- Computer science --- toegepaste informatica --- complexe analyse (wiskunde)
Choose an application
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.
Complex analysis --- Computer. Automation --- complexe analyse (wiskunde) --- automatisering
Choose an application
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
Complex analysis --- Applied physical engineering --- Engineering sciences. Technology --- procesautomatisering --- complexe analyse (wiskunde) --- systeemtheorie --- systeembeheer --- regeltechniek
Choose an application
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.
Mathematical logic --- Complex analysis --- Computer science --- complexe analyse (wiskunde) --- informatica --- wiskunde --- logica
Choose an application
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.
Complex analysis --- Biomathematics. Biometry. Biostatistics --- Computer science --- complexe analyse (wiskunde) --- bio-informatica --- informatica --- biometrie
Choose an application
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.
Complex analysis --- Discrete mathematics --- Computer science --- discrete wiskunde --- complexe analyse (wiskunde) --- informatica --- database management --- programmatielogica --- algoritmen
Listing 1 - 10 of 1771 | << page >> |
Sort by
|