الصفحة 1
الصفحة 1
Objects, Components, Models and Patterns ; 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings
This book constitutes the thoroughly refereed proceedings of the 46th International Conference on Objects, Components, Models and Patterns, TOOLS EUROPE 2008, held in Zurich, Switzerland, in June/July 2008.TOOLS played a major role in the spread of object-oriented and component technologies. It has now broadened its scope beyond the original topics of object technology and component-based development to encompass all modern, practical approaches to software development.
New Business Models for the Reuse of Secondary Resources from WEEEs : The FENIX Project
This book summarizes research being pursued within the FENIX project, funded by the EU community under the H2020 programme, the goal of which is to design a new product service paradigm able to promote innovative business models, to open added value to the vessels and to create new market segments. It experiments and validates its approach on three new concepts of added-value specialized vessels able to run requested services for several maritime sectors in the most effective, efficient, economic valuable and eco-friendly way. The three vessels share the same lean design methodology, IoT tools and HPC simulation strategy: a lean fact-based design model approach, which combines real operative data at sea with lean methodology, to support the development and implementation of the vessel concepts; IT customized tools to enable the acquisition, processing and usage of on board and local weather data, through an IoT platform, to provide business services to different stakeholders; HPC simulation, providing a virtual towing tank environment, for early vessel design improvement and testing. The book demonstrates that an integrated LCC analysis and LCC strategy to guarantee sustainability to vessels concepts and the proper environmental attention inside the maritime industry.
Networking -- ICN 2005 ; Vol. 3420 : 4th International Conference on Networking, Reunion Island, France, April 17-21, 2005, Proceedings, Part I
The International Conference on Networking (ICN 2005) was the fourth conf- ence in its series aimed at stimulating technical exchange in the emerging and important ?eld of networking. On behalf of the International Advisory C- mittee, it is our great pleasure to welcome you to the proceedings of the 2005 event. Networking faces dramatic changes due to the customer-centric view, the venue of the next generation networks paradigm, the push from ubiquitous n- working, and the new service models. Despite legacy problems, which researchers and industry are still discovering and improving the state of the art, the ho- zon has revealed new challenges that some of the authors tackled through their submissions. In fact ICN 2005 was very well perceived by the international networking community. A total of 651 papers from more than 60 countries were submitted, from which 238 were accepted. Each paper was reviewed by several members of the Technical Program Committee. This year, the Advisory Committee revalidated various accepted papers after the reviews had been incorporated. We perceived a signi?cant improvement in the number of submissions and the quality of the submissions. The ICN 2005 program covered a variety of research topics that are of current interest, starting with Gridnetworks, multicasting, TCP optimizations, QoS and security, emergency services, and network resiliency. The Program Committee selected also three tutorials and invited speakers that addressed the latest - search results from the international industries and academia, and reports on ?ndings from mobile, satellite, and personal communications related to 3rd- and 4th-generation research projects and standardization.
Natural language processing and information systems ; 12th International Conference on Applications of Natural Language to Information Systems, NLDB 2007, Paris, France, June 27-29, 2007, Proceedings
NLP techniques may substantially enhance most phases of the information system lifecycle, starting with requirement analysis, specification and validation, and going up to conflict resolution, result processing and presentation.
Nanoparticle-Based Drug Delivery in Cancer Treatment
Discusses nanotechnological developments of interfering RNA-based nanoparticles, delivery vehicles, and validated therapeutic RNAi–molecular target interactions and explains the results of clinical and preclinical trials. The book also gives strategies for universal methods of constructing hybrid organic–inorganic nanomaterials that can be widely applied in the biomedical field. Focuses on : Recent advances of nanoparticle-mediated siRNA delivery systems and their application in clinical trials for cancer therapy Material platforms that establish NPs and both localized and controlled gene silencing The most promising systems for clinical application Surveys progress in nanoparticle-based nanomedicine in cancer treatment The most advanced of the nonviral nanocarriers for delivery of oligonucleotides to malignant blood cancer cells
Multi-body Dynamic Modeling of Multi-legged Robots
This book describes the development of an integrated approach for generating the path and gait of realistic hexapod robotic systems. It discusses in detail locomation with straight-ahead, crab and turning motion capabilities in varying terrains, like sloping surfaces, staircases, and various user-defined rough terrains. It also presents computer simulations and validation using Virtual Prototyping (VP) tools and real-world experiments.
Multiaccess, Reservations & Queues
Reservation procedures constitute the core of many popular data transmission protocols. They consist of two steps: A request phase in which a station reserves the communication channel and a transmission phase in which the actual data transmission takes place. Such procedures are often applied in communication networks that are characterised by a shared communication channel with large round-trip times.In this book, we propose queuing models for situations that require a reservation procedure and validate their applicability in the context of cable networks.
Molecular mechanisms of functional food
Provides information on the development and validation of functional foods towards their market and industrial application. It covers the available information on developments, efficacy, and testing and safety, while demonstrating the proven or potential effects of food on health and disease.
Models in Software Engineering ; Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers
This book constitutes the thoroughly refereed post-workshop proceedings of 10 internationl workshops and 2 symposia held as satellite events of the 10th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2007, in Nashville, TN, USA, in September/October 2007 (see LNCS 4735).The 29 revised full papers were carefully selected for inclusion in the book and are presented along with a doctoral and an educators' symposium section. The papers are organized in topical sections representing the various workshops: aspect-oriented modeling (AOM 2007), language engineering (ATEM2007), model driven development of advanced user interfaces (MDDAUI 2007), model size metrics (MSM 2007).
Modelling of Powder Die Compaction
In particular, the book presents a number of case studies that have been developed to test compaction models. Full details of the data required for input to compaction models of these case studies is given, together with a survey of the techniques used to generate the data. Details are also given of methods to produce and assess components for validation of die compaction models. The inclusion of information on case studies then provides a reference for the testing and validation of compaction models.
Modelling Environmental Dynamics : Advances in Geomatic Solutions
Modelling environmental dynamics is critical to understanding and predicting the evolution of the environment in response to the large number of influences including urbanisation, climate change and deforestation. Simulation and modelling provide support for decision making in environmental management.
Modelling and Optimization of Biotechnological Processes : Artificial Intelligence Approaches
The book begins with a historical introduction to the field of bioprocess control based on artificial intelligence approaches, followed by two chapters covering the optimization of fed-batch culture using genetic algorithms. Online biomass soft-sensors are constructed in Chapter 4 using recurrent neural networks. The bioprocess is then modelled in Chapter 5 by cascading two soft-sensor neural networks. Optimization and validation of the final product are detailed in Chapters 6 and 7. The general conclusions are drawn in Chapter 8.
Modelling and Analysis of Hybrid Supervisory Systems : A Petri Net Approach
Modelling and Analysis of Hybrid Supervisory Systems introduces a modelling formalism that merges Petri nets, differential equation systems and object-oriented methods; a formalism that is adequate for modelling complex and large-scale systems. To guide the designer and conduct hybrid modelling, the book describes a method that starts from the requirements of a supervisory system and results in a proposal for such a system. The method is mainly based on Unified Modelling Language diagrams, well-known tools in both academia and industry. In order to ensure that the supervisory system will behave as expected under any operational circumstances, a validation procedure that allows verification of the formal properties of the hybrid model is presented.
Modeling biological systems : Principles and applications
This extensively revised second edition of Modeling Biological Systems: Principles and Applications describes the essentials of creating and analyzing mathematical and computer simulation models for advanced undergraduates and graduate students. It offers a comprehensive understanding of the underlying principle, as well as details and equations applicable to a wide variety of biological systems and disciplines. Students will acquire from this text the tools necessary to produce their own models. The text contains two major sections: Principles and Applications. The first section discusses the principles of biological systems with a thorough description of the essential modeling activities of formulation, implementation, validation, and analysis. These activities are illustrated by a set of example models taken from recent and classical literature, chosen for their breadth of coverage and current timeliness. The new edition updates extensively many of these topics, especially quantitative model formulation, validation and model discrimination using information theory measures and Bayesian probability, and stability analysis and non-dimensionalization.
Modeling and simulation tools for emerging telecommunication networks : Needs, trends, challenges and solutions
This book contains a selection of papers presented at a symposium organized under the aegis of COST Telecommunications Action 285. The main objective of the Action is to enhance existing tools and develop new modeling and simulation tools for research in emerging multi-service telecommunication networks in the areas of model performance improvements, multilayer traffic modeling, and the important issue of evaluation and validation of the new modeling tools.
Model-driven architecture in practice ; A Software Production Environment Based on Conceptual Modeling
This book introduces all the relevant information required to understand and put Model Driven Architecture (MDA) into industrial practice. The book combines a sound theoretical approach based on more than 10 years' research.
Model Driven Architecture - Foundations and Applications ; 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings
The 31 revised full papers presented - 21 research papers and 10 industry papers - were carefully reviewed and selected from 87 submissions. The papers address all current issues of model-driven architecture, i.e. model management, executable models, concrete syntaxes, aspects, and concerns, validation and testing, model-based systems engineering, model-driven development and service-oriented architectures, and the application of model-driven development. The papers are organized in topical sections on model management, executable models, concrete syntaxes, aspects and concerns, validation and testing, model-based systems engineering, model-driven development and service-oriented architectures, as well as surveys on applying model-driven development.
Model Checking Software ; Vol. 3925 ; 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings
he name “SPIN” refers both to a workshopon model checking and to a famous model checking tool. The SPIN workshop is an annual forum for practitioners and researchersinterested in state space-based techniques for the validation and analysis of software and hardware systems, including communication protocols. It focuses on techniques based on explicit representations of state spaces, as implemented in the SPIN model checker or other tools, and techniques based on a combination of explicit representations with other representations. The SPIN model checker has proven to be particularly suited for the analysis of concurrent asynchronous systems. The workshop aims to encourage interaction and exchange of ideas with all related areas in software engineering.
Methods and Procedures for the Verification and Validation of Artificial Neural Networks
Methods and Procedures for the Verification and Validation of Artificial Neural Networks is the culmination of the first steps in that research. This volume introduces some of the more promising methods and techniques used for the verification and validation (V&V) of neural networks and adaptive systems. A comprehensive guide to performing V&V on neural network systems, aligned with the IEEE Standard for Software Verification and Validation, will follow this book. The NASA IV&V and the Institute for Scientific Research, Inc. are working to be at the forefront of software safety and assurance for neural network and adaptive systems.
Method validation in pharmaceutical analysis
Provides hands-on information for readers involved in development, validation, and continued maintenance and evaluation of analytical procedures in pharmaceutical analysis. This newly revised and updated Third Edition includes much-needed interpretation of the most recent ICH guidelines for validation and method development, as well as recent publications of the USP on Analytical Procedure Lifecycle Management and the activities of the British Pharmacopeia AQbD Working Party. It also addresses hot topics in the field such as data integrity and continuous monitoring of analytical performance.
