الصفحة 7
الصفحة 7
Extending the Scalability of Linkage Learning Genetic Algorithms : Theory & Practice
This book aims to gain better understanding of the LLGA in theory and to improve the LLGA's performance in practice. It starts with a survey and classification of the existing genetic linkage learning techniques and describes the steps and approaches taken to tackle the research topics, including using promoters, developing the convergence time model, and adopting subchromosomes. It also provides the experimental results for observation of the linkage learning process as well as for verification of the theoretical models proposed in this study.
Experimental Unsaturated Soil Mechanics
These proceedings are a continuation of the series of International Conferences in Germany entitled "Mechanics of Unsaturated Soils." The primary objective is to discuss and understand unsaturated soil behaviour such that engineered activities are made better with times in terms of judgement and quality. We all realise by now that in addition to the knowledge on the classical concepts, it becomes an enormous challenging task to adapt convincing new concepts and present them in such a way that it could be used in engineering practices. The experimental studies reported primarily focus on the role of microstructure and fabric for the complex coupled hydro-mechanical behaviour of cohesive frictional materials. Several papers consider the relevance of temperature affecting the constitutive behaviour of clays. Common features of state of the art theoretical and numerical approaches, including theory of porous media and mixture theory, intend to describe the complex multi-field problems of fully coupled thermo-hydraulic-mechanical-chemical initial - boundary value problems.
Experimental Robotics IX ; The 9th International Symposium on Experimental Robotics
This unique reference presents the latest advances across the various fields of robotics, with ideas that are not only conceived conceptually but also verified experimentally. It collects contributions on the current developments and new directions in the field of experimental robotics, which are based on the papers presented at the Ninth ISER held in Singapore.
Exceptional Lifespans
How long can humans live? This open access book documents, verifies and brings to life the advance of the frontier of human survival. It carefully validates data on supercentenarians, aged 110+, and semi-supercentenarians, aged 105-109, stored in the International Database on Longevity (IDL).
Essential Issues in SOC Design : Designing Complex Systems-on-Chip
SOC design is fast becoming the key area of focus that engineers and researchers from the Electronic Design Automation field are focusing on in their quest to further develop Integrated Circuit technology. The more systems and even networks that we can integrate on one piece of silicon, the faster, cheaper, more powerful and efficient the technology will become. Essential Issues in SOC Design contains valuable academic and industrial examples for those involved with the design of complex SOCs, all contributors are selected from a region of the world that is generally known to lead the "SOC-Revolution", namely Asia.
Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems
"Methods of Artificial Intelligence and Intelligent Agents" contains 13 contributions analyzing such areas of AI as fuzzy set theory, predicate logic, neural networks, clustering, data mining and others. It also presents applications of AI as possible solutions for problems like firm bankruptcy, soil erosion, flight control and others. "Information Technology Security" covers three important areas of security engineering in information systems: software security, public key infrastructure and the design of new cryptographic protocols and algorithms. "Biometric Systems" comprises 11 contributions dealing with face picture analysis and recognition systems. This chapter focuses on known methods of biometric problem solution as well as the design of new models.
Engineering theories of software intensive systems : Theory, algorithms, software, and applications
Software engineering has over the years been applied in many different fields, ranging from telecommunications to embedded systems in car and aircraft industry as well as in production engineering and computer networks. Foundations in software technology lie in models allowing to capture application domains, detailed requirements, but also to understand the structure and working of software systems like software architectures and programs. These models have to be expressed in techniques based on discrete mathematics, algebra and logics. However, according to the very specific needs in applications of software technology, formal methods have to serve the needs and the quality of advanced software engineering methods, especially taking into account security aspects in Information Technology. This book presents mathematical foundations of software engineering and state-of-the-art engineering methods in their theoretical substance in the step towards practical applications to examine software engineering techniques and foundations used for industrial tasks.
Engineering Societies in the Agents World VII ; 7th International Workshop, ESAW 2006 Dublin, Ireland, September 6-8, 2006 Revised Selected and Invited Papers
It cover main themes: Engineering multi-agent systems, Methodologies for analysis, design, development and verification of agent societies, Interaction and coordination in agent societies, Autonomic agent societies, Trust in agent societies For
Engineering Societies in the Agents World VI ; 6th International Workshop, ESAW 2005, Kusadasi, Turkey, October 26-28, 2005, Revised Selected and Invited Papers
ESAW 2005 took place at the Pine Bay Hotel in Kusadasi, Turkey at the end of the October 2005. It was organized as a stand-alone event as were ESAW 2004and ESAW 2003.Following the initial ESAW vision,which wasset in 1999, by the members of the working group on “Communication, Coordination and Collaboration” of Agentlink, ESAW 2005 continued to focus on the engineering of complex software systems in terms of multi-agent societies, especially the social and environmental aspects of such societies.
Engineering Interactive Systems ; EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers
This book constitutes the post-conference proceedings of the WG2.7/13.4 10th Conference on Engineering Human Computer Interaction (EHCI 2007), the WG 13.2 First Conference on Human Centred Software Engineering (HCSE 2007), and the 14th Conference on Design Specification and Verification of Interactive Systems (DSV-IS 2007); jointly held as EIS 2007, the international event on Engineering Interactive Systems, in Salamanca, Spain, in March 2007 - under the auspices of IFIP.
Engineering human computer interaction and interactive systems ; Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers
As its name suggests, the EHCI-DSVIS conference has been a special event, merging two different, although overlapping, research communities: EHCI (Engineering for Human-Computer Interaction) is a conference organized by the IFIP 2.7/13.4 working group, started in 1974 and held every three years since 1989. The group’s activity is the scientific investigation of the relationships among the human factors in computing and software engineering. DSVIS (Design, Specification and Verification of Interactive Systems) is an annual conference started in 1994, and dedicated to the use of formal methods for the design of interactive systems. Of course these two research domains have a lot in common, and are informed by each other’s results.
Embedded Systems Specification and Design Languages : Selected contributions from FDL’07
FDL is the most important European and, probably, worldwide forum to present research results, to exchange experiences, and to learn about new trends in the application of specification and design languages and the associated design and modeling methods and tools for complex, heterogeneous HW/SW embedded systems.
Embedded System Design : Topics, Techniques and Trends; IFIP TC10 Working Conference: International Embedded Systems Symposium (IESS), May 30 - June 1, 2007, Irvine (CA), USA
Embedded systems have gained an enormous amount of processing power and functionality. Many of the formerly external components can now be integrated into a single System-on-Chip. This tendency has resulted in a dramatic reduction in the size and cost of embedded systems. As a unique technology, the design of embedded systems is an essential element of many innovations. This book including design methodology, specification and modeling, embedded software and hardware synthesis, networks-on-chip, distributed and networked systems, and system verification and validation. Particular emphaisis is paid to automotive and medical applications. A set of actual case studies and special aspects in embedded system design are included as well.
Embedded Software and Systems ; Vol. 3820 ; 2nd International Conference, ICESS 2005, Xi'an, China, December 16-18, 2005, Proceedings
Welcome to the proceedings of the 2005 International Conference on Emb- ded Software and Systems (ICESS 2005) held in Xian, China, December 16-18, 2005. With the advent of VLSI system level integration and system-on-chip, the center of gravity of the computer industry is now moving from personal c- puting into embedded computing. Embedded software and systems are incre- ingly becoming a key technological component of all kinds of complex technical systems, ranging from vehicles, telephones, aircraft, toys, security systems, to medical diagnostics, weapons, pacemakers, climate control systems, etc. The ICESS 2005 conference provided a premier international forum for - searchers, developers and providers from academia and industry to address all resulting profound challenges; to present and discuss their new ideas, - search results, applications and experience; to improve international com- nication and cooperation; and to promote embedded software and system - dustrialization and wide applications on all aspects of embedded software and systems.
Effective Functional Verification : Principles and Processes
Effective Functional Verification is organized into 4 parts. The first part contains 3 chapters designed appeal to newcomers and experienced people to the field. There is a survey of various verification methodologies and a discussion of them. The second part with 3 chapters is targeted towards people in management and higher up on the experience ladders. New verification engineers reading these chapters learn what is expected and how things work in verification. Some case studies are also presented with analysis of proposed improvements. The last two parts are the result of experience of several years. It goes into how to optimize a verification plan and an environment and how to get results effectively.
ECOOP 2005 - object-oriented programming ; 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings
The 19th Annual Meeting of the European Conference on Object-Oriented Programming—ECOOP 2005—took place during the last week of July in Glasgow, Scotland, UK. This volume includes the refereed technical papers p- sented at the conference, and two invited papers. It is traditional to preface a volume of proceedings such as this with a note that emphasizes the importance of the conference in its respective ?eld. Although such self-evaluations should always be taken with a large grain of salt, ECOOP is undisputedly the pre- inent conference on object-orientation outside of the United States. In its turn, object-orientationis today’s principaltechnology not only for programming,but also for design, analysisand speci?cation of softwaresystems.
Dynamics of Flexible Multibody Systems : Rigid Finite Element Method
A new approach is presented for modelling multi-body systems, which constitutes a substantial enhancement of the Rigid Finite Element method. The new approach is based on homogeneous transformations and joint coordinates, and it yields the advantage that equations of motion are automatically generated for systems consisting of alternate rigid and flexible links. Apart from its simple physical interpretation and easy computer implementation, the method is also valuable for educational purposes since it impressively illustrates the impact of mechanical features on the mathematical model. This novel modelling approach is then applied to systems such as offshore-cranes and telescopic rapiers.
Dynamical Contact Problems with Friction : Models, Methods, Experiments and Applications
The aim of this book is to describe an efficient procedure to model dynamical contact problems with friction. This procedure is applied to different practical problems and verified by experiments. Friction contacts are used to transmit forces or to dissipate energy. Examples for dynamical engineering systems with friction are brakes, machine tools, motors, turbines, bearings or wheel-rail systems. A better understanding of friction phenomena result in improvements like the reduction of noise and maintenance costs, increased life time of machines and improved energy efficiency. Dependent on the features of the dynamic system with friction contacts, different contact models and solution methods like multi-scaling methods are developed and applied.
Dynamic Analysis of Petri Net-Based Discrete Systems
Design of modern digital hardware systems and of complex software systems is almost always connected with parallelism. For example, execution of an object-oriented p- gram can be considered as parallel functioning of the co-operating objects; all modern operating systems are multitasking, and the software tends to be multithread; many complex calculation tasks are solved in distributed way. But designers of the control systems probably have to face parallelism in more evident and direct way. Controllers rarely deal with just one controlled object. Usually a system of several objects is to be controlled, and then the control algorithm naturally turns to be parallel. So, classical and very deeply investigated model of discrete device, Finite State Machine, is not expressive enough for the design of control devices and systems. Theoretically in most of cases behavior of a controller can be described by an FSM, but usually it is not convenient; such FSM description would be much more complex, than a parallel specification (even as a network of several communicating FSMs).
Domain Decomposition Methods in Science and Engineering XVII
This volume contains a selection of papers presented at the 17th International Conference on Domain Decomposition Methods in Science and Engineering held at St. Wolfgang / Strobl, Austria, July 3 - 7, 2006. Domain decomposition is an active, interdisciplinary research area concerned with the development, analysis, and implementation of coupling and decoupling strategies in mathematical and computational models. Domain decomposition techniques provide efficient tools for treating problems in all Computational Sciences. The reader will become familiar with the newest domain decomposition technologies and their use for modeling and simulating of complex problems from different fields of applications.
