Page 1
Page 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.
Numerical computation, data analysis and software in mathematics and engineering
Include the aspects of the meshless method, numerical simulation, mathematical models, deep learning and data analysis. Meshless methods, such as the improved element-free Galerkin method, the dimension-splitting, interpolating, moving, least-squares method, the dimension-splitting, generalized, interpolating, element-free Galerkin method and the improved interpolating, complex variable, element-free Galerkin method, are presented. Some complicated problems, such as tge cold roll-forming process, ceramsite compound insulation block, crack propagation and heavy-haul railway tunnel with defects, are numerically analyzed.
Neural Preprocessing and Control of Reactive Walking Machines: Towards Versatile Artificial Perception-Action Systems
This book presents biologically inspired walking machines interacting with their physical environment. It describes how the designs of the morphology and the behavior control of walking machines can benefit from biological studies. The purpose of this book is to develop a modular structure of neural control generating different reactive behaviors of the physical walking machines, to analyze the neural mechanisms underlying the reactive behaviors, and to demonstrate the sensor fusion technique leading to smooth switching between appropriate behaviors, like obstacle avoidance and sound tropism.
Morphological Models of Random Structures
This book covers methods of Mathematical Morphology to model and simulate random sets and functions (scalar and multivariate). The introduced models concern many physical situations in heterogeneous media, where a probabilistic approach is required, like fracture statistics of materials, scaling up of permeability in porous media, electron microscopy images (including multispectral images), rough surfaces, multi-component composites, biological tissues, textures for image coding and synthesis. The common feature of these random structures is their domain of definition in n dimensions, requiring more general models than standard Stochastic Processes.The main topics of the book cover an introduction to the theory of random sets, random space tessellations, Boolean random sets and functions, space-time random sets and functions (Dead Leaves, Sequential Alternate models, Reaction-Diffusion), prediction of effective properties of random media, and probabilistic fracture theories.
Modelling and Reasoning with Vague Concepts
This volume outlines a formal representation framework for modelling and reasoning with vague concepts in Artificial Intelligence. The new calculus has many applications, especially in automated reasoning, learning, data analysis and information fusion. This book gives a rigorous introduction to label semantics theory, illustrated with many examples, and suggests clear operational interpretations of the proposed measures. It also provides a detailed description of how the theory can be applied in data analysis and information fusion based on a range of benchmark problems.
Modeling Decisions for Artificial Intelligence ; 5th International Conference, MDAI 2008 Sabadell, Spain, October 30-31, 2008. Proceedings
This book constitutes the refereed proceedings of the 5th International Conference on Modeling Decisions for Artificial Intelligence, MDAI 2008, held in Sabadell, Spain, in October 2008.The 19 revised full papers presented together with 2 invited lectures were thoroughly reviewed and selected from 43 submissions; they are devoted to theory and tools for modeling decisions, as well as applications that encompass decision making processes and information fusion techniques. The papers are organized in topical sections on aggregation operators, decision making, clustering and similarity, computational intelligence and optimization, as well as data privacy.
Modeling decisions : Information fusion and aggregation operators
This book covers the underlying science and application issues related to aggregation operators, focusing on tools used in practical applications that involve numerical information. Starting with detailed introductions to information fusion and integration, measurement and probability theory, fuzzy sets, and functional equations.
Mobile 3D Graphics
Historically, not enough was understood about how to deliver a high quality playing experience on handheld, small screen, small memory devices, plus there has been considerable confusion about the hardware’s abilities and restrictions. By addressing these issues this book provides: • A comprehensive explanation of 3D mobile graphics programming • Includes an extensive range of code samples in both C and Java • Combines 3D and 2D mobile graphics methods • Covers recent advances in mobile computer graphics techniques and applications. The book teaches fundamental 3D mobile graphics programming with standard APIs, and covers the basic and advanced application programme interfaces behind the major wireless and mobile devices supporting 3D graphics applications. Advanced undergraduates and postgraduates, as well as mobile application and games developers, will find this an excellent reference source.
Interactive systems : Design specification, and verification ; 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers
This book constitutes the refereed post-proceedings of the 12th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2005. The 20 revised full papers, 1 keynote paper, and 4 summaries of group discussions are organized in topical sections on teams and groups, sketches and templates, away from the desktop, migration and mobility, analysis tools, model-based design processes and tools, and group discussions.
Intelligent Interactive multimedia systems for e-healthcare applications
It looks at how the latest technologies (artificial intelligence, deep learning, machine learning, big data, IoT, smart device, etc.) help to manage health data, diagnose health issues, monitor treatment, predict pandemic diseases, and more. It covers several important applications of multimedia in healthcare, including for data visualization purposes, for computer vision for elder healthcare monitoring, for detection of lung nodules, for health monitoring and management systems using machine learning techniques, and for fusion applications in medical image processing. The book goes into detail on the various methods and techniques for supporting multimedia systems for e-healthcare.
Intelligent data engineering and automated Learning - IDEAL 2007 ; 8th International Conference, Birmingham, UK, December 16-19, 2007, Proceedings
This book constitutes the refereed proceedings of the 8th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2007. The papers are organized in topical sections on learning and information processing, data mining and information management, bioinformatics and neuroinformatics, agents and distributed systems, financial engineering and modeling, agent-based approach to service sciences, as well as neural-evolutionary fusion algorithms and their applications.
Innovations and advanced techniques in systems, computing sciences and software engineering
Innovations and Advanced Techniques in Systems, Computing Sciences and Software Engineering includes a set of rigorously reviewed world-class manuscripts addressing and detailing state-of-the-art research projects in the areas of Computer Science, Software Engineering, Computer Engineering, and Systems Engineering and Sciences.Innovations and Advanced Techniques in Systems, Computing Sciences and Software Engineering includes selected papers form the conference proceedings of the International Conference on Systems.
Inconsistency tolerance
Inconsistency arises in many areas in advanced computing. Often inconsistency is unwanted, for example in the specification for a plan or in sensor fusion in robotics; however, sometimes inconsistency is useful. Whether inconsistency is unwanted or useful, there is a need to develop tolerance to inconsistency in application technologies such as databases, knowledge bases, and software systems. To address this situation, inconsistency tolerance is being built on foundational technologies for identifying and analyzing inconsistency in information, for representing and reasoning with inconsistent information, for resolving inconsistent information, and for merging inconsistent information. The idea for this book arose out of a Dagstuhl Seminar on the topic held in summer 2003. The nine chapters in this first book devoted to the subject of inconsistency tolerance were carefully invited and anonymously reviewed. The book provides an exciting introduction to this new field.
Image processing based on partial differential equations ; Proceedings of the International Conference on PDE-Based Image Processing and Related Inverse Problems, CMA, Oslo, August 8-12, 2005
The book contains twenty-two original scienti?c research articles that address the state-of-the-art in using partial di?erential equations for image and signal processing. The articles arose from presentations given at the inter- tional conference on PDE-Based Image Processing and Related Inverse Pr- lems, held at the Centre of Mathematics for Applications, University of Oslo, Norway, August 8-12, 2005.
Handbook of multibiometrics
Handbook of Multibiometrics, a professional book, introduces multibiometric systems, and demonstrates the noteworthy advantages of these systems over their unimodal counterparts. In addition, this book describes in detail the various scenarios that are possible when fusing biometric evidence from multiple information sources. This comprehensive volume on multibiometric systems concisely and clearly outlines the different fusion methodologies that have been proposed by researchers to integrate multiple biometric traits.
Fractional-in-time semilinear parabolic equations and applications
This book provides a unified analysis and scheme for the existence and uniqueness of strong and mild solutions to certain fractional kinetic equations. This class of equations is characterized by the presence of a nonlinear time-dependent source, generally of arbitrary growth in the unknown function, a time derivative in the sense of Caputo and the presence of a large class of diffusion operators. The global regularity problem is then treated separately and the analysis is extended to some systems of fractional kinetic equations, including prey-predator models of Volterra–Lotka type and chemical reactions models, all of them possibly containing some fractional kinetics.
Foundations of Qt Development
Foundations of Qt Development is based on Qt 4.2, and is aimed at C++ programmers who want to become proficient using this excellent toolkit to create graphical applications that can be ported to all major platforms. The book is focused on teaching you to write your own code in addition to using existing code. Common areas of confusion are identified, addressed, and answered.
Foundation Flex for Developers : Data-Driven Applications with PHP, ASP.NET, ColdFusion, and LCDS
Flex is a very powerful and versatile technology for creating web application front-ends. But what every good web application needs is a robust data source, be it XML, or a database. Flex is very adaptable in terms of connecting to data sources, and that is the main focus of this book. In Foundation Flex for Developers, author Sas Jacobs assumes that you've got the basics of Flex down already, and explores in detail how to create professional data-centric Flex 2 and Flex 3 applications. In the first half of the book, she starts off with a brief exploration of Flex and ActionScript 3.0, before looking at application essentials in detail—creating custom components, user and web browser interactions, binding, formatting, and validating data, debugging, and more. In the second half of the book, the focus is on connecting Flex to data sources, and covers XML, LiveCycle Data Services, PHP, ASP.NET, and ColdFusion in detail, via a series of step-by-step case studies.
Flex solutions : Essential techniques for Flex 2 and 3 developers
Flex Solutions: Essential Techniques for Flex 2 and Flex 3 Developers faces problems and provides solutions that can be applied to any project, from the most simple to the most complex. Solutions are also provided for enhancing the security of Flex applications, and techniques are offered for optimizing the actual work environment by increasing the performance of Flex Builder, adding video content, and creating an AIR project to bring your web application onto the desktop.
Finite Elements III : First-Order and Time-Dependent PDEs
Volume III is divided into 28 chapters. The first eight chapters focus on the symmetric positive systems of first-order PDEs called Friedrichs' systems. This part of the book presents a comprehensive and unified treatment of various stabilization techniques from the existing literature. It discusses applications to advection and advection-diffusion equations and various PDEs written in mixed form such as Darcy and Stokes flows and Maxwell's equations. The remainder of Volume III addresses time-dependent problems: parabolic equations (such as the heat equation), evolution equations without coercivity (Stokes flows, Friedrichs' systems), and nonlinear hyperbolic equations (scalar conservation equations, hyperbolic systems). It offers a fresh perspective on the analysis of well-known time-stepping methods. The last five chapters discuss the approximation of hyperbolic equations with finite elements. Here again a new perspective is proposed.
