الصفحة 3
الصفحة 3
Formal approaches to software testing ; Vol. 3997 ; 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers
This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to Software Testing, FATES 2005, held in Edinburgh, UK, in July 2005 in conjunction with CAV 2005.
Force Sensors for Microelectronic Packaging Applications
This monograph is intended for wire bonding and flip-chip packaging professionals and for scientists and engineers working in the field of mechanical microsensors. New measurement technologies are introduced that allow in situ and real-time examination of physical processes during the packaging process or during subsequent reliability tests. The measurement system presented here enables measurements at formerly inaccessible packaging interconnects. For the first time it becomes possible to describe the wire bonding process window in terms of the physical forces at the contact zone instead of the applied machine settings. This is significant for a deeper understanding of these packaging processes. Applications of the sensor in the field of wire bonding and flip-chip characterization are illustrated. The reader will gain much insight into the important field of interconnection technology in semiconductor packaging.
Food lens = فود لينس
Food lens is an innovative application designed to revolutionize dietary management by leveraging advanced image recognition and nutritional analysis. The primary objective of this senior project is to develop a user-friendly tool that identifies various foods through a camera interface and provides detailed nutritional information. This application not only enhances the user's understanding of their dietary intake but also assists in achieving personalized health and fitness goals. The core functionality of Food Lens involves the integration of a robust image recognition system capable of accurately identifying a wide range of foods. Upon identification, the application retrieves comprehensive nutritional data, including calorie content, macronutrient distribution (proteins, fats, carbohydrates), and essential micronutrients (vitamins and minerals). This data is then seamlessly integrated into the user's dietary profile. Food Lens is designed to track the user's daily caloric intake and compare it against personalized recommendations based on age, gender, weight, height, and activity level. By maintaining a dynamic record of consumed foods, the application provides real-time feedback on the user’s nutritional progress. This feature is particularly beneficial for individuals aiming to manage weight, address dietary restrictions, or improve overall health.
FM 2008 : Formal methods ; 15th International symposium on formal methods, Turku, Finland, May 26-30, 2008 Proceedings
This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008.The 23 revised full papers presented together with 4 invited contributions and extended abstracts of 5 invited industrial presentations were carefully reviewed and selected from 106 submissions. The papers are organized in topical sections on programming language analysis, verification, real-time and concurrency, grand chellenge problems, fm practice, runtime monitoring and analysis, communication, constraint analysis, and design.
FM 2005: Formal Methods ; International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings
This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, during July 18–22, 2005. Formal Methods Europe (FME, www.fmeurope.org) is an independent association which aims to stimulate the use of, and research on, formal methods for system development. FME conferences began with a VDM Europe symposium in 1987. Since then, the meetings have grown and have been held about once every 18 months. Throughout the years the symposia have been notablysuccessfulinbringingtogetherresearchers,tooldevelopers,vendors,and users, both from academia and from industry. Formal Methods 2005 con?rms this success. We received 130 submissions to the main conference, from all over the world. Each submission was carefully refereed by at least three reviewers. Then, after an intensive, in-depth discussion, the Program Committee selected 31 papers for presentation at the conference. They form the bulk of this volume.
Fleet Telematics : Real-time management and planning of commercial vehicle operations
FLEET TELEMATICS: Real-Time Management and Planning of Commercial Vehicle Operations combines wireless telematics systems with dynamic vehicle routing algorithms and vehicle-positioning systems to produce a telematics-enabled information system that can be employed by commercial fleet operators for real-time monitoring, control, and planning. The book presents a Messaging & Fleet Monitoring System that automatically identifies deviations between the planned and the current state of the transportation system and a Dynamic Planning System (DPS) that provides real-time decision support considering the current state of the transportation system. The DPS uses newly developed dynamic vehicle routing algorithms to find high-quality solutions and adjust schedules and routes immediately.
Femtosecond laser spectroscopy
As concepts and methodologies have evolved over the past two decades, the realm of ultrafast science has become vast and exciting and has impacted many areas of chemistry, biology and physics, and other fields such as materials science, electrical engineering, and optical communication. The field has recently exploded with the announcement of a series of remarkable new developments and advances. This volume surveys this recent growth in eleven chapters written by leading international researchers in the field. It includes sections on femtosecond optical frequency combs, soft x-ray femtosecond laser sources, and attosecond laser sources. In addition, the contributors address real-time spectroscopy of molecular vibrations with sub-5-fs pulses and multidimensional femtosecond coherent spectroscopies for studying molecular and electron dynamics. Novel methods for measuring and characterizing ultrashort laser pulses and ultrashort pulses of light are also described. The topics covered are revolutionizing the fields of biomedical imaging, electron dynamics, ultrahigh precision spectroscopy, and optical frequency metrology. Surveying the latest advances in ultrafast lasers, Femtosecond Laser Spectroscopy will be of interest to both researchers and graduate students.
Event-Triggered and Time-Triggered Control Paradigms
Event-Triggered and Time-Triggered Control Paradigms presents a valuable survey about existing architectures for safety-critical applications and discusses the issues that must be considered when moving from a federated to an integrated architecture. The book focuses on one key topic--the amalgamation of the event-triggered and the time-triggered control paradigm into a coherent integrated architecture. The architecture provides for the integration of independent distributed application subsystems by introducing multi-criticality nodes and virtual networks of known temporal properties.
European Guide to Power System Testing : The ERIGrid Holistic Approach for Evaluating Complex Smart Grid Configurations
This book provides an overview of the ERIGrid validation methodology for validating CPES, a holistic power system testing method. It introduces readers to corresponding simulation and laboratory-based tools, including co-simulation, real-time simulation, and hardware-in-the-loop. Selected test cases and validation examples are provided, in order to support the theory discussed.
Embedded systems design : The ARTIST roadmap for research and development
Embedded systems now include a very large proportion of the advanced products designed in the world, spanning transport (avionics, space, automotive, trains), electrical and electronic appliances (cameras, toys, televisions, home appliances, audio systems, and cellular phones), process control (energy production and distribution, factory automation and optimization), telecommunications (satellites, mobile phones and telecom networks), and security (e-commerce, smart cards), etc. The extensive and increasing use of embedded systems and their integration in everyday products marks a significant evolution in information science and technology. We expect that within a short timeframe embedded systems will be a part of nearly all equipment designed or manufactured in Europe, the USA, and Asia. There is now a strategic shift in emphasis for embedded systems designers: from simply achieving feasibility, to achieving optimality. Optimal design of embedded systems means targeting a given market segment at the lowest cost and delivery time possible. Optimality implies seamless integration with the physical and electronic environment while respecting real-world constraints such as hard deadlines, reliability, availability, robustness, power consumption, and cost. In our view, optimality can only be achieved through the emergence of embedded systems as a discipline in its own right.
Embedded System Design : Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things
A unique feature of this open access textbook is to provide a comprehensive introduction to the fundamental knowledge in embedded systems, with applications in cyber-physical systems and the Internet of things. It starts with an introduction to the field and a survey of specification models and languages for embedded and cyber-physical systems
Embedded System Design
Embedded System Design starts with an introduction into the area and a survey of specification languages for embedded systems. A brief overview is provided of hardware devices used for embedded systems and also presents the essentials of software design for embedded systems. Real-time operating systems and real-time scheduling are covered briefly. Techniques for implementing embedded systems are also discussed, using hardware/software codesign. It closes with a survey on validation techniques. Embedded System Design can be used as a text book for courses on embedded systems and as a source which provides pointers to relevant material in the area for PhD students and teachers. The book assumes a basic knowledge of information processing hardware and software.
Embedded Software and Systems ; 3rd International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007, Proceedings
This book introduces sections on embedded architecture, embedded hardware, embedded software, HW-SW co-design and SoC, multimedia and HCI, pervasive/ubiquitous computing and sensor network, power-aware computing, real-time systems, security and dependability, and wireless communication.
Embedded Computer Systems : Architectures, Modeling, and Simulation ; Vol. 4017 ; 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006, Proceedings
This book constitutes the refereed proceedings of the 6th International Workshop on Systems, Architectures, Modeling, and Simulation, SAMOS 2006, held in Samos, Greece on July 2006.The 47 revised full papers presented together with 2 keynote talks were thoroughly reviewed and selected from 130 submissions.
E-Learning Methodologies : Fundamentals, technologies and applications
Covers state of the art topics including user modeling for e-learning systems and cloud, IOT, and mobile-based frameworks. It also considers security challenges and ethical conduct using Blockchain technology. E-learning has become an important part of our educational life with the development of e-learning systems and platforms and the need for online and remote learning. ICT and computational intelligence techniques are being used to design more intelligent and adaptive systems. However, the art of designing good real-time e-learning systems is difficult as different aspects of learning need to be considered including challenges such as learning rates, involvement, knowledge, qualifications, as well as networking and security issues. The earlier concepts of standalone integrated virtual e-learning systems have been greatly enhanced with emerging technologies such as cloud computing, mobile computing, big data, Internet of Things (IoT), AI and machine learning, and AR/VT technologies.
ECOOP 2007 – Object-Oriented Programming ; 21th European Conference, Berlin, Germany, July 30 - August 3, 2007, Proceedings
This book contains sections on runtime implementation, empirical studies, programs and predicates, language design, inheritance and derivation, aspects, as well as language about language.
Échographie de contraste : Méthodologie et applications cliniques = Contrast ultrasound : Methodology and clinical applications
The availability of ultrasound contrast agents has introduced a new dimension in ultrasound examination with the possibility of real-time exploration of the kinetics of contrast enhancement of various lesions. The potential indications for these microbubbles affect almost all deep and superficial organs, but also the possibilities of pharmacological studies for neoangiogenesis or therapeutic guidance by physical methods. Finally, new applications are emerging in the field of targeted products and the transport of active ingredients. It seemed opportune to us to attempt to take stock of this changing world through intense collaboration between the various teams involved and recognized in this field, of which unfortunately, only some are represented here. We want this book to be a current reference point for contrast ultrasound, a point that will certainly require development in the coming years. He strongly demonstrates that ultrasound can play a very important role in modern diagnostic and therapeutic imaging because of their diagnostic performance but also because of their non-invasive nature. We hope you enjoy looking for useful information as much as we did discovering real-time functional ultrasound imaging and writing these various chapters.
Early Aspects: Current Challenges and Future Directions ; 10th International Workshop, Vancouver, Canada, March 13, 2007, Revised Selected Papers
Traditionally, aspect-oriented software development (AOSD) has focused on the implementation phase of the software lifecycle: aspects are identified and captured mainly in code. Therefore, most current AOSD approaches place the burden for aspect identification and management on the programmer working at low levels of abstraction. However, aspects are often present well before the implementation phase, such as in domain models, requirements and software architecture. Identification and capture of these early aspects ensure that aspects related to the problem domain (as opposed to merely the implementation) will be appropriately captured, reasoned about and available. This offers improved opportunities for early recognition and negotiation of trade-offs and allows forward and backward aspect traceability. This makes requirements, architecture, and implementation more seamless, and allows a more systematic application of aspects.
Dynamic Vision for Perception and Control of Motion
The book uniquely details an approach to real-time machine vision for the understanding of dynamic scenes, viewed from a moving platform that begins with spatio-temporal representations of motion for hypothesized objects whose parameters are adjusted by well-known prediction error feedback and recursive estimation techniques. A coherent and up-to-date coverage of the subject matter is presented, with the machine vision and control aspects detailed, along with reports on the mission performance of the first vehicles using these innovative techniques built at Munich. Pointers to the future development and likely applications of this hugely important field of research are presented.
Dynamic Fleet Management : Concepts, Systems, Algorithms & Case Studies
Dynamic Fleet Management will focus on real time management of a distribution system. The book will integrate the latest results in system design, algorithm development and system implementation, to capture the state-of-the art research and application trends.
