الصفحة 3
الصفحة 3
img

Algorithmic learning theory ; Vol. 3734 ; 16th international conference, ALT 2005, Singapore, October 8-11, 2005, Proceedings

This volume contains the papers presented at the 16th Annual InternationalConference on Algorithmic Learning Theory (ALT 2005), which was held (Republic of Singapore), 2005. The main objective of theconference is to provide an interdisciplinary forum for the discussion of the the-oretical foundations of machine learning as well as their relevance to practicalapplications. The volume includes 30 technical contributions, which were selected by theprogram committee from 98 submissions.

img

Algorithmic learning theory ; 18th International conference, ALT 2007, Sendai, Japan, October 1-4, 2007, Proceedings

This volume contains the papers presented at the 18th International Conf- ence on Algorithmic Learning Theory.The main objective of the conference was to provide an interdisciplinary forum for high-quality talks with a strong theore- cal background and scientiبهc interchange in areas such as query models, on-line learning, inductive inference, algorithmic forecasting, boosting, support vector machines, kernel methods, complexity and learning, reinforcement learning, - supervised learning and grammatical inference.

img

Advances in artificial intelligence: models, optimization, and machine learning

Contains all the articles accepted and published in the Special Issue “Advances in Artificial Intelligence: Models, Optimization, and Machine Learning” of the MDPI Mathematics journal, which covers a wide range of topics connected to the theory and applications of artificial intelligence and its subfields. These topics include, among others, deep learning and classic machine learning algorithms, neural modelling, architectures and learning algorithms, biologically inspired optimization algorithms, algorithms for autonomous driving, probabilistic models and Bayesian reasoning, intelligent agents and multiagent systems.

img

Advanced Methods for Inconsistent Knowledge Management

This book presents a unified and systematic description of a wide class of miscellaneous problems of inconsistent knowledge management, analyzed by traditional mathematical methods using relational and logical representations.

img

Advanced Autonomic Networking and Communication

This book presents a comprehensive reference of state-of-the-art efforts and early results in the area of autonomic networking and communication.

img

A Practical Theory of Reactive Systems : Incremental Modeling of Dynamic Behaviors

Presents a ""practical theory"" of reactive systems, with formal foundations in Temporal Logic of Actions. This book emphasises theoretical understanding of reactive behaviors and using ""horizontal"" modularity to manage their complexity. It illustrates the incremental specification by a number of examples of varying size and complexity

img

A Modular Calculus for the Average Cost of Data Structuring

This volume, with forewords by Greg Bollella and Dana Scott, presents novel programs based on the new advances in this area, including the first randomness-preserving version of Heapsort. Programs are provided, along with derivations of their average-case time, to illustrate the radically different approach to average-case timing. The automated static timing tool applies the Modular Calculus to extract the average-case running time of programs directly from their MOQA code.

img

A Concise Introduction to Languages and Machines

This easy-to-follow text provides an accessible introduction to the key topics of formal languages and abstract machines within Computer Science.

img

A Classical Introduction to Cryptography Exercise Book

A Classical Introduction to Cryptography Exercise Book for A Classical Introduction to Cryptography: Applications for Communications Security covers a majority of the subjects that make up today's cryptology, such as symmetric or public-key cryptography, cryptographic protocols, design, cryptanalysis, and implementation of cryptosystems. Exercises do not require a large background in mathematics, since the most important notions are introduced and discussed in many of the exercises.

img

A Classical Introduction to Cryptography : Applications for Communications Security

This advanced-level textbook covers conventional cryptographic primitives and cryptanalysis of these primitives; basic algebra and number theory for cryptologists; public key cryptography and cryptanalysis of these schemes; and other cryptographic protocols, e.g. secret sharing, zero-knowledge proofs and undeniable signature schemes.

img

Advanced ceramic materials

Examines exciting advancements in the field of ceramics, including nanotechnology, clean energy, and tribology as well as fundamental concepts like defects and structure. It is a comprehensive discussion on how today’s ceramics are processed and used in many of today’s critical technologies. It discusses current techniques for synthesizing durable and cost-effective ceramic components with biocompatibility, complexity, and high precision. This book is a comprehensive reference for researchers, engineers, dental clinicians, biologists, academics, and students interested in ceramics.

img

Managing Development and Application of Digital Technologies : Research Insights in the Munich Center for Digital Technology & Management (CDTM)

Digital technology determines today’s world and will be one of the key technologies of the future. Successful technology development, introduction and management are not only a question of technical issues; due to their complexity a close cooperation between different scientific disciplines is required to discuss various consequences, chances and risks from manifold points of view as a starting point for the design of adequate solutions. The ability to integrate business and technology decisions will become a crucial core competence.

img

Long Memory in Economics

When applying the statistical theory of long range dependent (LRD) processes to economics, the strong complexity of macroeconomic and financial variables, compared to standard LRD processes, becomes apparent. In order to get a better understanding of the behaviour of some economic variables, the book assembles three different strands of long memory analysis: statistical literature on the properties of, and tests for, LRD processes; mathematical literature on the stochastic processes involved; models from economic theory providing plausible micro foundations for the occurence of long memory in economics. Each chapter of the book will give a comprehensive survey of the state of the art and the directions that future developments are likely to take. Taken as a whole the book provides an overview of LRD processes which is accessible to economists, econometricians and statisticians.

img

Logistics Systems : Design and Optimization

In a context of global competition, the optimization of logistics systems is inescapable. LOGISTICS SYSTEMS: Design and Optimization falls within this perspective and presents twelve chapters that well illustrate the variety and the complexity of logistics activities. Each chapter is written by recognized researchers who have been commissioned to survey a specific topic or emerging area of logistics. The first chapter, by Riopel, Langevin, and Campbell, develops a framework for the entire book. It classifies logistics decisions and highlights the relevant linkages to logistics decisions. The intricacy of these linkages demonstrates how thoroughly the decisions are interrelated and underscores the complexity of managing logistics activities. Each of the following chapters focus on quantitative methods for the design and optimization of logistics systems.

img

Logistics Outsourcing Relationships : Measurement, Antecedents, and Effects of Logistics Outsourcing Performance

In recent years, logistics outsourcing has gained increasing importance and today is used by a large number of firms across virtually all industries worldwide. Logistics service providers have developed a wide array of services that are utilized to improve logistics processes - and mainly to cut costs.This book uses state-of-the-art scientific methods to reveal that most firms currently do not realize the full potential of logistics outsourcing. It shows the complexity of outsourcing performance and that its true drivers lie in the relationship between service providers and their customers. Through the results of a large-scale empirical survey, the book also emphasizes the importance of a firm's approach towards outsourcing: solely striving for cost reductions may be a dead end, while the often overlooked increased logistics service levels are equally important for boosting logistics performance. In the light of current outsourcing practices, this indicates substantial room for improvement for most firms.

img

Local Heroes in the Global Village : Globalization and the New Entrepreneurship Policies

 The book contributes to the debate what role public policies play in stimulating national and regional economic growth. With a better understanding of the complexity and variety of existent entrepreneurship policies in the U.S. and Germany the reader of this volume will be able to formulate best practice, hands-on strategies which aim to promote nations as well as regions in an "entrepreneurial economy".This volume brings together conference contributions of leading academics and policy advisors from the United States and Europe,The volume has the virtue of both providing solid empirical analysis and theoretical underpinning from leading economists,social scientists as well as a fresh perspective on the myths and realities concerning the operation of the U.S

img

Complexity management : Optimizing product architecture of Industrial products

This book presents a complexity management model that is based on the reasoning that product architecture determines to a considerable extent how external complexity is translated into physical products. The model demonstrates a procedure to optimize a product’s architecture and is applied to several industrial products.

img

Complexity hints for economic policy

This volume extends the complexity approach to economics. It provides some alternative pattern generators, which can supplement existing approaches by providing an alternative way of finding patterns than be obtained by the traditional scientific approach.

img

Complexity and Artificial Markets

In recent years, agent-based simulation has become a widely accepted tool when dealing with complexity in economics and other social sciences. The contributions presented in this book apply agent-based methods to derive results from complex models related to market mechanisms, evolution, decision making, and information economics. In addition, the applicability of agent-based methods to complex problems in economics is discussed from a methodological perspective. The papers presented in this collection combine approaches from economics, finance, computer science, natural sciences, philosophy, and cognitive sciences.

img

Complex Scheduling

This book deals with such complex scheduling problems and methods to solve them. It consists of three parts: The ?rst part (Chapters 1 and 2) contains a description of basic scheduling models with applications and an introduction into discrete optimization (covering complexity, shortest path algorithms, linear programming, network ?ow algorithms and general optimization methods). In the second part (Chapter 3) resource-constrained project scheduling problems are considered. Especially, methods like constraint propagation, branch-a- bound algorithms and heuristic procedures are described. Furthermore, lower bounds and general objective functions are discussed.

عدد النتائج بكل صفحة