Informatik (15 757 Artikel)

Identifying Regulatory Sites Using Neighborhood Species.- Genetic Programming and Other Machine Learning Approaches to Predict Median Oral Lethal Dose (LD50) and Plasma Protein Binding Levels (%PPB...

EvoCOMNET Contributions.- EvoFIN Contributions.- EvoIASP Contributions.- EvoINTERACTION Contributions.- EvoMUSART Contributions.- EvoSTOC Contributions.- EvoTRANSLOG Contributions.

A Software Production Environment Based on Conceptual Modeling

Efforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half a century ago. In the intervening decades, the need for effective methods...

Algorithmic Aspects of Bioinformatics

This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used throughout the book to illustrate the main ideas and features of Maude, and ...

The papers in this volume were presented at TMRA 2006, the International Conference on Topic Maps Research and Applications, held October 11-12, 2006, in Leipzig, Germany. TMRA 2006 was the second ...

Contributed Papers.- A Temporal Graph Logic for Verification of Graph Transformation Systems.- On the Algebraization of Many-Sorted Logics.- Algebraic Semantics of Service Component Modules.- Auton...

GFBA: A Biclustering Algorithm for Discovering Value-Coherent Biclusters.- Significance Analysis of Time-Course Gene Expression Profiles.- Data-Driven Smoothness Enhanced Variance Ratio Test to Une...

The third international conference on Information Security Practice and - perience (ISPEC 2007) was held in Hong Kong, China, May 7 - 9, 2007. The conference was organized and sponsored by City Uni...

Invited Talks/Competition.- Logic Programming and Nonmonotonic Reasoning: From Theory to Systems and Applications.- Policy-Based Computing: From Systems and Applications to Theory.- The First Answe...

CoreGRID Workshop on GRID Middleware.- Architecture of a Network Monitoring Element.- Support for Automatic Diagnosis and Dynamic Configuration of Scalable Storage Systems.- Adding Dynamism to OGSA...

This volume in the Lecture Notes of Artificial Intelligence represents the first book on human computing. We introduced the notion of human computing in 2006 and organized two events that were mean...

Visuelle Kryptographie

Neural Fuzzy Control.- Neural Networks for Control Applications.- Adaptive Dynamic Programming and Reinforcement Learning.- Neural Networks for Nonlinear Systems Modeling.- Robotics.- Stability Ana...