Page 11
Page 11
Algorithmes dapproximation
Le champ des algorithmes d'approximation est aujourd'hui l'un des domaines de recherche les plus actifs en informatique. Il allie la profondeur de la théorie mathématique aux promesses d'applications pratiques d'un intérêt considérable. La plupart des problèmes issus d'applications relevant de domaines aussi différents que la conception de circuits VLSI, la conception et la planification de réseaux, l'ordonnancement, la théorie des jeux, la biologie ou la théorie des nombres, sont des problèmes NP-difficiles. Leur résolution exacte demanderait des ressources informatiques inaccessibles et ne peut donc être envisagée. Pour faire face à cette situation, un grand nombre d'algorithmes proposant des solutions approchées à ces problèmes ont été développés.
Algebraic Aspects of the Advanced Encryption Standard
The Belgian block cipher Rijndael was chosen in 2000 by the U.S. government’s National Institute of Standards and Technology (NIST) to be the successor to the Data Encryption Standard. Rijndael was subsequently standardized as the Advanced Encryption Standard (AES), which is potentially the world’s most important block cipher. In 2002, some new analytical techniques were suggested that may have a dramatic effect on the security of the AES. Existing analytical techniques for block ciphers depend heavily on a statistical approach, whereas these new techniques are algebraic in nature.
Algebra, Meaning, and Computation ; Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
This Festschrift volume - published to honor Joseph Goguen on his 65th Birthday on June 28, 2006 - includes 32 refereed papers by leading researchers in the different areas spanned by Joseph Goguen's work. The papers address a broad variety of topics from meaning, meta-logic, specification and composition, behavior and formal languages, as well as models, deduction, and computation.The papers were presented at a Symposium in San Diego, California, USA in June 2006.
Ajax Patterns and Best Practices
Ajax is taking us into the next generation of web applications. Ajax has broken the client-server barrier by decoupling the client from the server, but an Ajax application still needs a server to extract content from. The most effective use of Ajax and the server requires an understanding of REST, an architectural style used to define Web services. Ajax Patterns and Best Practices explores dynamic web applications that combine Ajax and REST as a single solution. A major advantage of REST is that, like Ajax, it can be used with today's existing technologies.
Agile software construction
Agile software is a means of putting the software first while at the same time reacting to these user requirements in a flexible and agile way.Agile Software Construction covers the emerging methods and approaches (including extreme programming, feature-driven development and adaptive software development), that are loosely described as "Agile" and shows how to apply them effectively to software development projects. It shows how to plan, organise and develop systems using agile techniques, and highlights some of the problems that may be encountered.
Agent-based Supply Network Event Management
Supply Chain Event Management (SCEM)" is one of the major topics in application-oriented Supply Chain Management. However, many solutions lack conceptual precision and currently available client-server SCEM-systems are ill-suited for complex supply networks in today's business environment,In this book a thorough analysis of the event management problem domain is the starting point to develop a generic agent-based approach to Supply Network Event Management. The concept is illustrated with prototypical implementations and assessed in a multi-dimensional evaluation of potential benefits. The main focus lies on practical issues of event management (e.g. semantic interoperability) and economic benefits to be achieved with agent technology in this state-of-the-art problem domain.
Agent Technology from a Formal Perspective
The field of agent & multi-agent systems is experiencing tremendous growth. At the same time the field of formal methods is blossoming and has proven its importance in industrial and government applications. The FAABS (Formal Approaches to Agent-Based Systems) workshops, merging the concerns of the two fields, provided a timely and compelling platform on which the growing concerns and requirement of agent-based systems users that systems should be accompanied by behavioral assurances, could be discussed. This book has arisen from the overwhelming response to FAABS ’00, ’02 & ’04 and all chapters are updated or represent new research, and are designed to provide a more in-depth treatment of the topic. Examples of how others have applied formal methods to agent-based systems are included, plus formal method tools & techniques that readers can apply to their own systems.
Advances in web mining and web usage analysis ; 6th International workshop on knowledge discovery on the web, WEBKDD 2004, Seattle, WA, USA, August 22-25, 2004, Revised Selected Papers
The Webisaliveenvironmentthatmanagesanddrivesawidespectrumofapp- cations in which a user may interact with a company, a governmental authority, a non-governmental organization or other non-pro?t institution or other users. User preferences and expectations, together with usage patterns, form the basis for personalized, user-friendly and business-optimal services. Key Web business metrics enabled by proper data capture and processing are essential to run an e?ective business or service. Enabling technologies include data mining, sc- able warehousing and preprocessing, sequence discovery, real time processing, document classi?cation, user modeling and quality evaluation models for them. Recipient technologies required for user pro?ling and usage patterns include recommendation systems, Web analytics applications, and application servers, coupled with content management systems and fraud detectors.
Advances in Digital Forensics II
This book is the second volume in the anual series produced by the International Federation for Information Processing (IFIP) Working Group 11.9 on Digital Forensics, an international community of scientists, engineers and practitioners dedicated to advancing the state of the art of research and practice in digital forensics. The book contains a selection of twenty-five edited papers from the First Annual IFIP WG 11.9 Conference on Digital Forensics, held at the National Center for Forensic Science, Orlando, Florida, USA in the spring of 2006.
Advances in Artificial Economics : The Economy as a Complex Dynamic System
Perceiving the economy as a complex dynamic system, generates a need for new tools for its study. As a constructive simulation method, Agent-Based Computational Economics (ACE) has in recent years proven its strength and extensive applicability. Fields of study are widely spread within economics, with a cluster around financial markets. This book is based on communications given at AE’2006 (Aalborg, Denmark) – the second symposium on Artificial Economics, and covers both wellknown questions of economics, like the existence of market efficiency, as well as new questions raised by the new tools, for example questions related to networks of social interaction.
Advanced Topics in Exception Handling Techniques
Modern software systems are becoming more complex in many ways and are having to cope with a growing number of abnormal situations which, in turn, are increasingly complex to handle.This book is composed of five parts; the first four deal with topics related to exception handling in the context of programming languages, concurrency and operating systems, pervasive computing systems, and requirements and specifications. The last part focuses on case studies, experimentation and qualitative comparisons. The 16 coherently written chapters by leading researchers competently address a wide range of issues in exception handling.
AdvancED Flash Interface Design
Flash allows users to create some amazing interactive interfaces to interact with rich Internet applications, e-learning systems, and simple web sites. In this book, two of the most talented Flash designers in the world will show you how to use them effectively to create breathtaking visuals for your Flash web sites. You'll also learn how to take advantage of Flash's powerful built-in vector-based drawing tools.
AdvancED ActionScript Components : Mastering the Flash Component Architecture
Macromedia's architecture is like a chest filled with precious jewels, and this book is quite simply the key to open it! One of the most important tools provided with Flash is the Macromedia Component Architecture: a framework of components written in ActionScript 2, based on established design patterns, that provides a wealth of functionality you can just bolt on to your Flash applications when desired. This can save you an enormous amount of time during application development and help you improve the quality of your code. What's more, the source code is included, so if you can't find the component you need within the component architecture, you can just modify existing components to create your own!
Adobe® Acrobat® and PDF for Architecture, Engineering, and Construction
Adobe® Acrobat® and PDF for Architecture, Engineering, and Construction is designed to appeal to the engineering mind. The book is a practical guide focusing on the applications of PDF in the solution of "engineering" problems which may arise in a number of disciplines from architecture to construction. Using real-world examples, the authors follow a project from design through build and long-term maintenance. As the sample project evolves, suitable Acrobat® tools and techniques are identified and brought into play at each stage, showing readers how to personalize the context and processes to meet their own project development and management needs.
Ad-hoc Networks : Fundamental Properties and Network Topologies
This book clearly demonstrates how the Medium Access Control protocols impose a limit on the level of interference in ad-hoc networks. It has been shown that interference is upper bounded, and a new accurate method for the estimation of interference power statistics in ad-hoc and sensor networks is introduced here. Furthermore, this volume shows how multi-hop traffic affects the capacity of the network. In multi-hop and ad-hoc networks there is a trade-off between the network size and the maximum input bit rate possible per node. Large ad-hoc or sensor networks, consisting of thousands of nodes, can only support low bit-rate applications.
Adaptive Motion of Animals and Machines
Apparently, the ability of animals and robots to adapt in a real world cannot be explained or realized by one single function in a control system and mechanism. That is, adaptation in motion is induced at every level from the central nervous system to the musculoskeletal system.Thus,weorganized the International Symposium on Adaptive Motion in Animals and Machines (AMAM) forscientist sandengineersconcerned with adaptation on various level stobebrought together todiscussprinciplesateachleveland to investigate principles governing total systems.
Adaptive Learning of Polynomial Networks : Genetic Programming, Backpropagation and Bayesian Methods
This book provides theoretical and practical knowledge for develop ment of algorithms that infer linear and nonlinear models. It offers a methodology for inductive learning of polynomial neural network mod els from data. The design of such tools contributes to better statistical data modelling when addressing tasks from various areas like system identification, chaotic time-series prediction, financial forecasting and data mining. The main claim is that the model identification process involves several equally important steps: finding the model structure, estimating the model weight parameters, and tuning these weights with respect to the adopted assumptions about the underlying data distrib ution. When the learning process is organized according to these steps, performed together one after the other or separately, one may expect to discover models that generalize well.
Adaptive Business Intelligence
In the modern information era, managers must recognize the competitive opportunities represented by decision-support tools. Adaptive business intelligence systems combine prediction and optimization techniques to assist decision makers in complex, rapidly changing environments. These systems address the fundamental questions: What is likely to happen in the future? And what is the best decision right now? Adaptive Business Intelligence includes elements of data mining, predictive modeling, forecasting, optimization, and adaptability.
Access Control Systems : Security, Identity Management and Trust Models
Access Control Systems: Security, Identity Management and Trust Models provides a thorough introduction to the foundations of programming systems security, delving into identity management, trust models, and the theory behind access control models. The book details access control mechanisms that are emerging with the latest Internet programming technologies, and explores all models employed and how they work. The latest role-based access control (RBAC) standard is also highlighted.
A Computational Model of Natural Language Communication : Interpretation, Inference, and Production in Database Semantics
Part I of this book presents a high-level description of an artificial agent which humans can freely communicate with in their accustomed language. Part II analyzes the major constructions of natural language, i.e., intra- and extrapropositional functor - argument structure, coordination, and coreference, in the speaker and the hearer mode. Part III defines declarative specifications for fragments of English, which are used for an implementation in Java.
