الصفحة 1
الصفحة 1
Open IT-Based Innovation : Moving Towards Cooperative IT Transfer and Knowledge Diffusion ; IFIP TC8 WG 8.6 International Working Conference October 22–24, 2008, Madrid, Spain
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of refereed international conferences in computer science and interdisciplinary fields are featured.
Ontologies : A Handbook of Principles, Concepts and Applications in Information Systems
The primary objective of ONTOLOGIES: A Handbook of Principles, Concepts and Applications in Information Systems is to mobilize a collective awareness in the research community to the leading and emerging developments in ODIS, and consequently, highlight the enormous potential of ODIS research to both fundamentally transform and create innovative solutions to several problems in various domains. This book is a compilation of 32 leading-edge chapter contributions from some of the top researchers in the community working in various fundamental and applied disciplines related to ODIS. These chapters are organized into four broad themes: Foundations of ODIS, Ontological Engineering, ODIS Architectures, and ODIS Applications.
One hundred years of social protection : The changing social question in Brazil, India, China, and South Africa
As the first in-depth study of the ideational foundations of social protection policies and programmes in these four countries, the contributions demonstrate that the social question was articulated in an increasingly inclusive way.
One Hundred Years of Intuitionism (1907-2007) : The Cerisy Conference
With logicism and formalism, intuitionism is one of the main foundations for mathematics proposed in the twentieth century; and since the seventies, notably its views on logic have become important also outside foundational studies, with the development of theoretical computer science. The aim of the book is threefold: to review and complete the historical account of intuitionism; to present recent philosophical work on intuitionism; and to give examples of new technical advances and applications of intuitionism.
On the path to AI : Law’s prophecies and the conceptual foundations of the machine learning age
This book explores machine learning and its impact on how we make sense of the world. It does so by bringing together two ‘revolutions’ in a surprising analogy: the revolution of machine learning, which has placed computing on the path to artificial intelligence, and the revolution in thinking about the law that was spurred by Oliver Wendell Holmes Jr in the last two decades of the 19th century.
Obsessed by a Dream: The Physicist Rolf Widerøe – a Giant in the History of Accelerators
This biography chronicles the life and achievements of the Norwegian engineer and physicist Rolf Widerøe. Readers who meet him in the pages of this book will wonder why he isn't better known.
Nutritional psychiatry
Provides a comprehensive overview of nutritional psychiatry, elucidating its theoretical foundations, the biological mechanisms linking diet to mental health (including inflammation, oxidative stress, disrupted energy metabolism the gut–brain axis and other implicated pathways), and the current evidence base for dietary impacts on major psychiatric disorders such as depression, anxiety, schizophrenia, bipolar disorder, and ADHD.
Numerical Simulation in Molecular Dynamics : Numerics, Algorithms, Parallelization, Applications
Particle models play an important role in many applications in physics, chemistry and biology. They can be studied on the computer with the help of molecular dynamics simulations. This book presents in detail both the necessary numerical methods and techniques (linked-cell method, SPME-method, tree codes, multipole technique) and the theoretical background and foundations. It illustrates the aspects modelling, discretization, algorithms and their parallel implementation with MPI on computer systems with distributed memory. Furthermore, detailed explanations are given to the different steps of numerical simulation, and code examples are provided.
Numerical methods in computational finance : A partial differential equation (PDE/FDM) approach
This book is a detailed and step-by-step introduction to the mathematical foundations of ordinary and partial differential equations, their approximation by the finite difference method and applications to computational finance.
Nonparametric Functional Data Analysis : Theory and Practice
Modern apparatuses allow us to collect samples of functional data, mainly curves but also images. On the other hand, nonparametric statistics produces useful tools for standard data exploration. This book links these two fields of modern statistics by explaining how functional data can be studied through parameter-free statistical ideas. This book starts from theoretical foundations including functional nonparametric modeling, description of the mathematical framework, construction of the statistical methods, and statements of their asymptotic behaviors. It proceeds to computational issues including R and S-PLUS routines. Several functional datasets in chemometrics, econometrics, and pattern recognition are used to emphasize the wide scope of nonparametric functional data analysis in applied sciences. The companion Web site includes R and S-PLUS routines, command lines for reproducing examples presented in the book, and the functional datasets. Rather than set application against theory, this book is really an interface of these two features of statistics. A special effort has been made in writing this book to accommodate several levels of reading.
Nonlinear Integer Programming
It is not an exaggeration that much of what people devote in their hfe re solves around optimization in one way or another. On one hand, many decision making problems in real applications naturally result in optimization problems in a form of integer programming. On the other hand, integer programming has been one of the great challenges for the optimization research community for many years, due to its computational difficulties: Exponential growth in its computational complexity with respect to the problem dimension. This book addresses the topic of the general nonlinear integer programming (NLIP). The overall goal of the book is to bring the state of the art of the theoretical foundations and solution methods of NLIP to readers who are interested in optimization, operations research and computer science. This book investigates the theory and solution methodologies for the general NLIP and provides the developments
Nonlinear Finite Element Methods
Finite element methods have become ever more important to engineers as tools for design and optimization, now even for solving non-linear technological problems. However, several aspects must be considered for finite-element simulations which are specific for non-linear problems: These problems require the knowledge and the understanding of theoretical foundations and their finite-element discretization as well as algorithms for solving the non-linear equations. This book provides the reader with the required knowledge covering the complete field of finite element analyses in solid mechanics.
Noise-Induced Transitions : Theory and Applications in Physics, Chemistry, and Biology
This classic text, an often-requested reprint, develops and explains the foundations of noise-induced processes. At its core is a self-contained, textbook-style presentation of the elements of probability theory, of the theory of Markovian diffusion processes and of the theory of stochastic differential equations, on which the modeling of fluctuating natural and artificial environments is based. Following an introduction to the mathematical tools, the occurrence and the properties of noise-induced transitions are then analyzed for rapidly fluctuating environments describable by the white-noise idealization. Subsequently, more realistic and general types of colored noises are considered. Appropriate practical methods for dealing with these situations are developed. The latter part of the book contains applications and experimental studies illustrating the many facets of noise-induced transitions. The following applications are considered in Noise-Induced Transitions: population dynamics, electrical circuits, chemical and photochemical reactions, non-linear optics, and hydrodynamical systems.
New Perspectives in Political Ethnography
Ethnography is uniquely equipped to look microscopically at the foundations of political institutions and their attendant set of practices, just as it is ideally suited to explain why political actors behave the way they do and to identify the causes, processes and outcomes that are part and parcel of political life. The volume, based on a special issue of Qualitative Sociology has a two-fold purpose: to bring politics into the ethnographic literature and of ethnography in studies of politics. The case studies included are based on the research of ethnographers studying the various level of politics in Brazil, Japan, El Salvador, Bosnia, the Philippines, India and the United States. It will be of interest to those in the sociology of politics, political science and those looking for ethnographic research on a global level.
New Frontiers for Entertainment Computing ; IFIP 20th World Computer Congress, First IFIP Entertainment Computing Symposium (ECS 2008), September 7-10, 2008, Milano, Italy
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of refereed international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research.
New Computational Paradigms ; 1st Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings
This book constitutes the refereed proceedings of the first International Conference on Computability in Europe, CiE 2005, held in Amsterdam, The Netherlands in June 2005. The 68 revised full papers presented were carefully reviewed and selected from 144 submissions. Among them are papers corresponding to two tutorials, six plenary talks and papers of six special sessions involving mathematical logic and computer science at the same time as offering the methodological foundations for models of computation. The papers address many aspects of computability in Europe with a special focus on new computational paradigms. These include first of all connections between computation and physical systems (e.g., quantum and analog computation, neural nets, molecular computation), but also cover new perspectives on models of computation arising from basic research in mathematical logic and theoretical computer science.
New Computational Paradigms : Changing Conceptions of What is Computable
This book examines new developments in the theory and practice of computation from a mathematical perspective, with topics ranging from classical computability to complexity, from biocomputing to quantum computing. The book opens with an introduction by Andrew Hodges, the Turing biographer, who analyzes the pioneering work that anticipated recent developments concerning computation’s allegedly new paradigms. The remaining material covers traditional topics in computability theory such as relative computability, theory of numberings, and domain theory, in addition to topics on the relationships between proof theory, computability, and complexity theory.
Neural Networks : Methodology and Applications
Neural networks represent a powerful data processing technique that has reached maturity and broad application. When clearly understood and appropriately used, they are a mandatory component in the toolbox of any engineer who wants make the best use of the available data, in order to build models, make predictions, mine data, recognize shapes or signals, etc. Ranging from theoretical foundations to real-life applications, this book is intended to provide engineers and researchers with clear methodologies for taking advantage of neural networks in industrial, financial or banking applications, many instances of which are presented in the book. For the benefit of readers wishing to gain deeper knowledge of the topics, the book features appendices that provide theoretical details for greater insight, and algorithmic details for efficient programming and implementation. The chapters have been written by experts ands seemlessly edited to present a coherent and comprehensive, yet not redundant, practically-oriented introduction.
Networked Embedded Sensing and Control ; Workshop NESC'05 : University of Notre Dame, USA, October 2005 Proceedings
Recent technological developments in sensing, communications, control and computation have created an emerging class of complex systems hereon called networked embedded systems. These systems can be roughly described as collections of spatially distributed sensors, actuators and controllers whose behaviour is coordinated through wired or wireless communication links. This integration between different technologies and scientific domains presents new and challenging fundamental problems underlying the theoretical foundations for this class of systems. This workshop aims at bringing together researchers working of different aspects of networked embedded systems in order to exchange research experiences and to identify the main scientific challenges in this exciting new area.
Network control and engineering for QoS, security and mobility, V ; IFIP 19th World Computer Congress,TC-6, 5th IFIP International conference on network control and engineering for QoS, security, and mobility, August 20-25, 2006, Santiago, Chile
International Federation for Information Processing The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
