Dotnetcat » .NET Books » Algorithms books

The main idea behind the series of volumes Advances in Petri Nets is to present to the general computer science community recent results which are the most representative and significant for the development of the area. Thepapers for the volumes are drawn mainly from the annual International Conferences on Applications and Theory of Petri Nets. Selected papers from the latest conference are independently refereed, and revised and extended as necessary. Some further papers submitted directly to the editor are included. Advances in Petri Nets 1991 covers the 11th International Conference on Applications and Theory of Petri Nets held in Paris, France in June 1991. The volume contains the Bibliography of Petri Nets 1990 prepared by H. Pl}nnecke and W. Reisig, with over 4000 entries.

This book constitutes the refereed proceedings of the 8th Annual European Symposium on Algorithms, ESA 2000, held in Saarbrücken, Germany in September 2000. The 39 revised full papers presented together with two invited papers were carefully reviewed and selected for inclusion in the book. Among the topics addressed are parallelism, distributed systems, approximation, combinatorial optimization, computational biology, computational geometry, external-memory algorithms, graph algorithms, network algorithms, online algorithms, data compression, symbolic computation, pattern matching, and randomized algorithms.

Genetic Algorithms in Molecular Modeling is the first book available on the use of genetic algorithms in molecular design. This volume marks the beginning of an ew series of books, Principles in Qsar and Drug Design, which will be an indispensible reference for students and professionals involved in medicinal chemistry, pharmacology, (eco)toxicology, and agrochemistry. Each comprehensive chapter is written by a distinguished researcher in the field.
Through its up to the minute content, extensive bibliography, and essential information on software availability, this book leads the reader from the theoretical aspects to the practical applications. It enables the uninitiated reader to apply genetic algorithms for modeling the biological activities and properties of chemicals, and provides the trained scientist with the most up to date information on the topic.
. Extremely topical and timely
. Sets the foundations for the development of
computer-aided tools for solving numerous
problems in QSAR and drug design
. Written to be accessible without prior direct
experience in genetic algorithms

Build your expertise for developing more-secure applications with ASP.NET 2.0. A leading security expert delivers best practices, pragmatic instruction, and extensive code samples in Microsoft Visual C# to help you develop Web applications that are more robust, more reliable, and more resistant to attack.

Discover how to:

• Harden a Web server, operating system, communication protocol, and ASP.NET Validate input data with white listing, regular expressions, sandboxing, and other techniques
• Understand design and security implications of various cryptography approaches
• Integrate with Microsoft Windows security features such as impersonation, delegation and protocol transition
• Implement Web farm, single sign-on, and mixed-mode authentication
• Use provider-based features for user and role management and authentication
• Trace attacks with error-handling, logging, and instrumentation
• Lock down your application with partial trust

PLUS—Get code samples on the Web

This book constitutes the refereed proceedings of the 30th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2009, held in Paris, France, in June 2009.

The 19 revised papers classified as theory papers (13), application papers (1), and tool papers (5) were carefully reviewed and selected from 46 submissions. All current issues on research and development in the area of Petri nets and modeling of concurrent systems are addressed.

In life, time is money, and on the Internet, the size of data is money. Small programs and small files take less disk space and cost less to send over the Internet. Compression Algorithms for Real Programmers describes the basic algorithms and approaches for compressing information so you can create the smallest files possible. These new algorithms are making it possible for people to take impossibly large audio and video files and compress them enough that they can flow over the Internet.
* Examines the classic algorithms like Huffman coding, arithmetic compression, and dictionary-based schemes in depth
* Describes the basic approaches used to squeeze audio and video signals by factors of as much as 100:1
* Discusses the philosophy of compression to illustrate the underlying trade-offs in the algorithms
* Explores the use of wavelets and other modeling techniques that use repetitive functions to squeeze audio and video
* Shows how programming solutions like Adobe PostScript can save space and make networks more efficient
* Describes new approaches using fractals and grammars just being explored by the compression community
* Shows how to extend the algorithms and use them for copyright protection

Using formal methods for the specification and verification of hardware and software systems is becoming increasingly important as systems increase in size and complexity. The aim of the book is to illustrate progress in formal methods based on Petri net formalisms. It presents both practical and theoretical foundations for the use of Petri nets in complex system engineering tasks. In doing so it bridges the gap between Petri nets and the systems modeling and implementation process. It contains a collection of examples arising from different fields, such as flexible manufacturing, telecommunication and workflow management systems.

This book constitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007, held in Tokyo, Japan, October 22-25, 2007.

The 29 revised full papers presented together with 7 short papers were carefully reviewed and selected from 88 submissions. The papers address theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects; as well as applications of theory in engineering methods and particular domains and handling of practical problems occurring in tools.

Get the eBook version of Stephen Baker's Final Jeopardy: Man vs. Machine and the Quest to Know Everything a month before the epic February 2011 event—a nationally-televised face-off between Jeopardy! all-time winners Ken Jennings and Brad Rutter, and an IBM-engineered computer named Watson. The eBook’s final chapter will divulge the winner and analyze the match, and will be available to readers as a free update directly after the event finale airs.

What if there were a computer that could answer virtually any question? IBM engineers are developing such a machine, teaching it to compete on the quiz show Jeopardy. In February 2011, it will face off in a nationally televised game against two of the game’s greatest all-time winners, Ken Jennings and Brad Rutter. Final Jeopardy tells the riveting story behind the match.

Final Jeopardy carries readers on a captivating journey from the IBM lab to the podium. The story features brilliant Ph.D.s, Hollywood moguls, knowledge-obsessed Jeopardy masters — and a very special collection of silicon and circuitry named Watson. It is a classic match of Man vs. Machine, not seen since Deep Blue bested chess grandmaster Garry Kasparov. But Watson will need to do more than churn through chess moves or find a relevant web page. It will have to understand language, including puns and irony, and master everything from history and literature to science, arts, and entertainment.

At its heart, Final Jeopardy is about the future of knowledge. What can we teach machines? What will Watson’s heirs be capable of in ten or twenty years? And where does that leave humans? As fast and fun as the game itself, Final Jeopardy shows how smart machines will fit into our world — and how they’ll disrupt it.

This state-of-the-art survey in the Advances in Petri Nets series reports how various well-established and novel Petri net notions and techniques can be employed for modelling communication-based systems, with a particular focus on workflow management and business processes. The book builds on the success of a special program of the German Science Foundation (DFG) on Petri Net Technology as well as on broad participation from the international Petri net research community.