This book constitutes the refereed proceedings of the Third International Workshop on Experimental and Efficient Algorithms, WEA 2004, held in Angra dos Reis, Brazil in May 2004. The 40 revised full papers presented together with abstracts of two invited talks were carefully reviewed and selected from numerous submissions. The book is devoted to the areas of design, analysis, and experimental evaluation of algorithms. Among the topics covered are scheduling, heuristics, combinatorial optimization, evolutionary optimization, graph computations, labeling, robot navigation, shortest path algorithms, flow problems, searching, randomization and derandomization, string matching, graph coloring, networking, error detecting codes, timetabling, sorting, energy minimization, etc.

This book constitutes the refereed proceedings of the 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, held in Madeira, Portugal, in May 2004.

MATLAB is used in a wide range of applications in geosciences, such as image processing in remote sensing, generation and processing of digital elevation models and the analysis of time series. This book introduces basic methods of data analysis in geosciences using MATLAB. The text includes a brief description of each method and numerous examples demonstrating how MATLAB can be used on data sets from earth sciences. All MATLAB recipes can be easily modified in order to analyse the reader's own data sets. The book comes with a CD containing exemplary data sets and a digital version of the MATLAB recipes.

Prominent progress in science is inevitably associated with controversies. Thus, young researchers, in particular, have to learn how to persevere during the period of controversy and struggle for acceptance. Unfortunately, the skills needed are not taught in textbooks or monographs, which mostly describe the consensus of contemporary experts. This book, which is based on my own experiences as a scientist, describes the history of the progress made in auroral science and magnetospheric physics by providing examples of ideas, controversies, struggles, acceptance, and success in some instances. Although no general methodology (if any exists) is mentioned, I hope that the reader will learn about the history of progress in auroral science and examples (right or wrong) of dealing with the controversies.

The story of how Cornell survived and prospered as similar laboratories foundered is a fascinating one …
… much food for thought in this interesting and valuable exposition.

80% of software projects fail—here's why the other 20% succeed! Software Development is the most thorough, realistic guide to "what works" in software development—and how to make it happen in your organization. Leading consultant Marc Hamilton tackles all three key components of successful development: people, processes, and technology. From streamlining infrastructures to retraining programmers, choosing tools to implementing service-level agreements, Hamilton unifies all of today's best practices—in management, architecture, and software engineering. There's never been a more comprehensive blueprint for software success.

The four-volume set LNCS 3036, LNCS 3037, LNCS 3038 and LNCS 3039 constitutes the refereed proceedings of the 4th International Conference on Computational Science, ICCS 2004, held in Kraków, Poland in June 2004. The four volumes present more than 550 reviewed contributed and invited papers of the main conference and its 30 workshops. The papers span the whole range of computational science, from foundational and methodological issues in computer science and algorithmic mathematics to advanced applications in virtually all sciences making use of computational techniques. The proceedings is a unique record of recent progress in the field.

This book constitutes the refereed proceedings of the Second International Conference on Applied Cryptography and Network Security, ACNS 2004, held in Yellow Mountain, China, in June 2004. The 36 revised full papers presented were carefully reviewed and selected from 297 submissions. The papers are organized in topical sections on security and storage, provably secure constructions, Internet security, digital signatures, security modeling, authenticated key exchange, security of deployed systems, cryptosystems design and analysis, cryptographic protocols, side channels and protocol analysis, intrusion detection and DoS, and cryptographic algorithms.