الصفحة 6
الصفحة 6
Biologically Inspired Approaches to Advanced Information Technology ; 2nd International Workshop, BioADIT 2006, Osaka, Japan 26-27, 2006, Proceedings
This book contains 30 articles and three abstracts of invited talks presented at The Second International Workshop on Biologically Inspired Approaches for Advanced Information Technology,The workshop is intended to provide an e?ective forum for original research results in the ?eld of bio-inspired approaches to advanced information technologies. It also serves to foster the connection between biological paradigms and solutions to building the next-generation information systems.
Automotive software - connected services in mobile networks ; 1st Automotive software workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers
Software development for the automotive domain is currently subject to a silent revolution. On the one hand, software has become the enabling technology for almost all safety-critical and comfort functions o?ered to the customer. A total of 90 % of all innovations in automotive systems are directly or indirectly - abled by software. the following list highlights three of the corresponding challenges: First, the dependencies between safety-critical and comfort functions are rapidly increasing;a simple example is the interplay of airbag controland power seat control in the case of an accident. Careful analysis and design of these dependencies are necessary to yield correct software solutions. Second, advances in wired and wireless networking infrastructures enable - terconnection between cars and backend service providers .
Automated technology for verification and analysis ; 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings
This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects
Attention in Cognitive Systems : Theories and Systems from an Interdisciplinary Viewpoint ; 4th International Workshop on Attention in Cognitive Systems, WAPCV 2007 Hyderabad, India, January 8, 2007 Revised Selected Papers
The embodied nature of sensory-motor intelligence requires a continuous and focused interplay between the control of motor activities and the interpretation of feedback from perceptual modalities. Decision making about the selection of information from the incoming sensory stream – in tune with contextual processing on a current task and an agent’s global objectives – becomes a further challenging issue in attentional control. Attention must operate at interfaces between bottom-up driven world int- pretation and top-down driven information selection, thus acting at the core of arti?cial cognitive systems. These insights have already induced changes in AI-related disciplines, such as the design of behavior-based robot control and the computational modeling of animats. Today, the development of enabling technologiessuch as autonomous robotic systems,miniaturizedmobile–evenwearable–sensors,andambientintelligence systems involves the real-time analysis of enormous quantities of data. These data have to be processed in an intelligent way to provide “on time delivery” of the required relevant information. Knowledge has to be applied about what needs to be attended to, and when, and what to do in a meaningful sequence, in correspondence with visual feedback.
Artificial intelligence techniques for satellite image analysis
The main objective of this book is to provide a common platform for diverse concepts in satellite image processing. In particular it presents the state-of-the-art in Artificial Intelligence (AI) methodologies and shares findings that can be translated into real-time applications to benefit humankind. Interdisciplinary in its scope, the book will be of interest to both newcomers and experienced scientists working in the fields of satellite image processing, geo-engineering, remote sensing and Artificial Intelligence. It can be also used as a supplementary textbook for graduate students in various engineering branches related to image processing.
Architecting dependable systems III
As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, it is reasonable that dependability is addressed at the architectural level. This book comes as a result of an effort to bring together the research communities of software architectures and dependability. The papers are organised in topical sections on architectures for dependable services, monitoring and reconfiguration in software architectures, dependability support for software architectures, architectural evaluation, and architectural abstractions for dependability
Applications of Specification and Design Languages for SoCs : Selected papers from FDL 2005
This book provides detailed insights into recent works dealing with a large spectrum of issues in system-on-chip design, namely: assertion-based design, mapping on network-on-chip architectures, use of C/C++/SystemC design methodologies, hardware/software integration, mixing heterogeneous models of computation, analog/mixed-signal/mixed-technology system design and verification, UML/XML-based synthesis of analog and mixed-signal systems, UML to VHDL mapping, UML-based performance modeling, model transformation and formal verification, real-time system models, and Model Driven Architecture.
Analysis and Modelling of Faces and Gestures ; 2nd International workshop, AMFG 2005, Beijing, China, October 16, 2005, Proceedings
During the last 30 years, face recognition and related problems such as face detection/tracking and facial expression recognition have attracted researchers from both the engineering and psychology communities. In addition, extensive research has been carried out to study hand and body gestures. The understanding of how humans perceive these important cues has significant scientific value and extensive applications. this one-day workshop (AMFG 2005) provided a focused international forum to bring together well-known researchers and research groups to review the status of recognition, analysis and modeling of faces and gestures, to discuss the challenges that we are facing, and to explore future directions. Overall, 30 papers were selected from 90 submitted manuscripts. The topics of these papers range from feature representation, robust recognition, learning, and 3D modeling to psychology.
Analysis and Modeling of Faces and Gestures ; 3rd International Workshop, AMFG 2007 Rio de Janeiro, Brazil, October 20, 2007 Proceedings
The book covered by these accepted papers include feature representation, 3D face, robust recognition under pose and illumination variations,video-basedface recognition,learning,facial motion analysis, body pose estimation, and sign recognition.
Algorithmic methods for railway optimization ; International Dagstuhl workshop, railway optimization 2004, Dagstuhl Castle, Germany, June 20-25, 2004, Bergen, Norway, September 16-17, 2004, Revised Selected Papers
This state-of-the-art survey features papers that were selected after an open call following the International Dagstuhl Seminar on Algorithmic Methods for Railway Optimization. The second part of the volume constitutes the refereed proceedings of the 4th International Workshop on Algorithmic Methods and Models for Optimization of Railways.
Algebraic Methodology and Software Technology ; 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings
This is the proceedings of the 11th edition of the Algebraic Methodology and Software Technology (AMAST) conference series. The rst conference was held in the USA in 1989, and since then AMAST conferences have been held on (or near) fve diferent continents and have been hosted by many of the most prominent people and organizations in the ?eld. The AMAST initiative has always sought to have practical efects by dev- oping the science of software and basing it on a ?rm mathematical foundation. AMAST hasinterpretedsoftwaretechnologybroadly,andhas, for example, held AMAST workshops in areas as diverse as real-time systems and (natural) l- guage processing. Similarly, algebraic methodology is interpreted broadly and includes abstract algebra, category theory, logic, and a range of other ma- ematical subdisciplines.
AIU projects evaluation platform
The project is a cloud computing system constructed to provide the service of helping students run their practical projects and work together while keeping track of every change in it, and teachers running the projects online and evaluating them. The system provided help doing this mission in real-time dialogue without having any dependencies downloaded on the machine and running it over the internet. The development of the system used a full-stack web framework and a database processing technology. The system has accomplished such services as running the projects online. The tests of the system are running in good conditions. The use of this system will solve the problem of teacher’s project evaluation and running them online.
Agricultural Implications of the Fukushima Nuclear Accident : The First Three Years
Consists of various topics, including radioactivity inspection of food products; decontamination trials for rice and livestock production; the state of contamination in wild animals and birds, trees, mushrooms, and timber; the dynamics of radioactivity distribution in mountain and paddy fields; damage incurred by the forestry and fishery industries; and the change in consumers’ minds. The last chapter introduces a real-time radioisotope imaging system, the forefront technique to visualize actual movement of cesium in soil and in plants. This is the only book to provide systematic data about the actual change of radioactivity, and thus is of great value for all researchers who wish to understand the effect of radioactive fallout on agriculture.
Agricultural Implications of the Fukushima Nuclear Accident (III)
Reports on studies undertaken at contaminated sites such as farmland, forests, and marine and freshwater environments, with a particular focus on livestock, wild plants and mushrooms, crops, and marine products in those environments. It also provides additional data collected in the subsequent years to show how the radioactivity levels in agricultural products and their growing environments have changed with time and the route by which radioactive materials entered agricultural products as well as their movement between different components (e.g., soil, water, and trees) within an environmental system (e.g., forests). The book covers various topics, including radioactivity testing of food products; decontamination trials for rice and livestock production; the state of contamination in, trees, mushrooms, and timber; the dynamics of radioactivity distribution in paddy fields and upland forests; damage incurred by the forestry and fishery industries; and the change in consumers’ attitudes. Chapter 19 introduces a real-time radioisotope imaging system, a pioneering technique to visualize the movement of cesium in soil and in plants.
Advances in verification of time Petri Nets and timed automata : A temporal logic approach
This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the most widely used models of real-time systems. Some of the existing methods of translating time Petri nets to timed automata are presented, with a focus on the translations that correspond to the semantics of time Petri nets, associating clocks with various components of the nets. "Advances in Verification of Time Petri Nets and Timed Automata – A Temporal Logic Approach" introduces timed and untimed temporal specification languages and gives model abstraction methods based on state class approaches for TPNs and on partition refinement for TA. Moreover, the monograph presents a recent progress in the development of two model checking methods, based on either exploiting abstract state spaces or on application of SAT-based symbolic techniques.
Advances in computer science - ASIAN 2006. Secure software and related issues ; 11th Asian computing science conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers
Cover theory, practice, applications, and experiences related to secure software.
Advances and Innovations in Systems, Computing Sciences and Software Engineering
Acollection of world class paper articles addressing the following topics: Image and Pattern Recognition: Compression, Image processing, Signal Processing Architectures, Signal Processing for Communication, Signal Processing Implementation, Speech Compression, and Video Coding Architectures. Languages and Systems: Algorithms, Databases, Embedded Systems and Applications, File Systems and I/O, Geographical Information Systems, Kernel and OS Structures, Knowledge Based Systems, Modeling and Simulation, Object Based Software Engineering, Programming Languages, and Programming Models and tools. Parallel Processing: Distributed Scheduling, Multiprocessing, Real-time Systems, Simulation Modeling and Development, and Web Applications. New trends in computing: Computers for People of Special Needs, Fuzzy Inference, Human Computer Interaction, Incremental Learning, Internet-based Computing Models, Machine Intelligence, Natural Language Processing, Neural Networks, and Online Decision Support System.
Adaptive dynamic programming for chemotherapy drug delivery
Focuses on the practical application of Adaptive Dynamic Programming (ADP) in chemotherapy drug delivery, taking into account clinical variables and real-time data. ADP's ability to adapt to changing conditions and make optimal decisions in complex and uncertain situations makes it a valuable tool in addressing pressing challenges in healthcare and other fields. As optimization technology evolves, we can expect to see even more sophisticated and powerful solutions emerge.
Ada 2005 Rationale : The Language, The Standard Libraries
The primary goals for this book were to enhance its capabilities particularly in those areas where its reliability and predictability are of great value. Accordingly, a number of intriguing and attractive ideas have been included and implemented in a coherent manner as appropriate to the level of perfection necessary for the diligent maintenance of a language standard.
Active Rheology Control of Cementitious Materials
The research presented here develops a new method of actively controlling the rheology of fresh concrete during casting operations by incorporating specially designed responsive components. This results in real-time changes to the rheological behaviour of the cementitious material, allowing the user to intervene actively after the cementitious material has left the mixing phase. This newly gained agility contributes to increased processing speed and placement reliability in the case of traditional casting methods and can also facilitate advanced 3D concrete printing. The different routes followed to achieve this Active Rheology Control are explained within.
