Page 39
Page 39
Abstract State Machines, B and Z ; 1st International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008.
A vision-based system to early detection of drowning incidents in swimming pools
Being one of the leading causes of death; drowning has become a severe problem in the past few years. Our goal from this project is to focus on the comprehensive survey of drowning detection and prevention techniques. There are various methodologies put up in the domain of swimming pool safety using different intelligent control systems. Various methods have been adopted for drowning detection using the concepts of image processing, pressure and motion sensing. The main objectives of this work are to detect the drowning person in an indoor swimming pool and send an alarm to the lifeguard to rescue if the previously detected person is missing for a specific amount of time.
A Theory of Distributed Objects : Asynchrony - Mobility - Groups - Components
Distributed and communicating objects are becoming ubiquitous. In global, Grid and Peer-to-Peer computing environments, extensive use is made of objects interacting through method calls. So far, no general formalism has been proposed for the foundation of such systems. Caromel and Henrio are the first to define a calculus for distributed objects interacting using asynchronous method calls with generalized futures, i.e., wait-by-necessity -- a must in large-scale systems, providing both high structuring and low coupling, and thus scalability. The authors provide very generic results on expressiveness and determinism, and the potential of their approach is further demonstrated by its capacity to cope with advanced issues such as mobility, groups, and components.
A Practical Theory of Reactive Systems : Incremental Modeling of Dynamic Behaviors
Presents a ""practical theory"" of reactive systems, with formal foundations in Temporal Logic of Actions. This book emphasises theoretical understanding of reactive behaviors and using ""horizontal"" modularity to manage their complexity. It illustrates the incremental specification by a number of examples of varying size and complexity
A Practical Guide to TPM 2.0 : Using the New Trusted Platform Module in the New Age of Security
A Practical Guide to TPM 2.0: Using the Trusted Platform Module in the New Age of Security is a straight-forward primer for developers. It shows security and TPM concepts, demonstrating their use in real applications that the reader can try out. Simply put, this book is designed to empower and excite the programming community to go out and do cool things with the TPM. The approach is to ramp the reader up quickly and keep their interest.A Practical Guide to TPM 2.0: Using the Trusted Platform Module in the New Age of Security explains security concepts, describes the TPM 2.0 architecture, and provides code and pseudo-code examples in parallel, from very simple concepts and code to highly complex concepts and pseudo-code.
A Practical Guide for SystemVerilog Assertions
SystemVerilog language consists of three very specific areas of constructs - design, assertions and testbench. This guide shows how to use the language to solve real verification problems. It examines how to verify complex protocols and memories using SVA with seeral examples.
A Platform-Centric Approach to System-on-Chip (SOC) Design
The book proposes a new methodology for realizing platform-centric design of complex systems, and presents a detailed plan for its implementation. The proposed plan allows component vendors, system integrators and product developers to collaborate effectively and efficiently to create complex products within budget and schedule constraints.
A Modern Approach to Intelligent Animation : Theory and Practice
Part of the new series, Advanced Topics in Science and Technology in China, this book discusses concepts, theory, and core technologies of intelligent theory and human animation, including video based human animation, and intelligent technology of motion data management and reusing. It introduces systems developed to demonstrate the technologies of video based animation. Each chapter is independent. Lively pictures and demos will be presented to make the theory and technologies more understandable.
A Matrix Algebra Approach to Artificial Intelligence
The book consists of two parts: the first discusses the fundamentals of matrix algebra in detail, while the second focuses on the applications of matrix algebra approaches in AI. Highlighting matrix algebra in graph-based learning and embedding, network embedding, convolutional neural networks and Pareto optimization theory, and discussing recent topics and advances, the book offers a valuable resource for scientists, engineers, and graduate students in various disciplines
A journey of embedded and cyber-physical systems : Essays dedicated to Peter Marwedel on the occasion of his 70th birthday
This book celebrates Professor Peter Marwedel's outstanding achievements in compilers, embedded systems, and cyber-physical systems. The contributions in the book summarize the content of invited lectures given at the workshop “Embedded Systems” held at the Technical University Dortmund in early July 2019 in honor of Professor Marwedel's seventieth birthday.
A High-Performance Logical Framework -- All About Maude : How to Specify, Program, and Verify Systems in Rewriting Logic
This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used throughout the book to illustrate the main ideas and features of Maude, and its many possible uses. Maude modules are rewrite theories. Computation with such modules is - cient deduction by rewriting. Because of its logical basis and its initial model semantics,aMaude module defines a precise mathematical model.This means that Maude and its formal tool environment can be used in three, mutually reinforcing ways: • as a declarative programming language; • as an executable formal specification language; and • as a formal verification system. Maude’s rewriting logic is simple, yet very expressive. This gives Maude good representational capabilities as a semantic framework to formally represent a wide range of systems, including models of concurrency, distributed al- rithms, network protocols, semantics of programming languages, and models of cell biology. Rewriting logic is also an expressive universal logic,making Maude a fiexible logical framework in which many difierent logics and - ference systems can be represented and mechanized. This makes Maude a useful metatool to build many other tools, including those in its own formal tool environment. Thanks to the logic’s simplicity and the use of advanced semi-compilation techniques, Maude has a high-performance implementation, making it competitive with other declarative programming languages.
A healthcare professionals training system
The Objective Structured Clinical Examination (OSCE) is a type of examination often used in health sciences. It is designed to test clinical skill performance and competence in a range of skills. It is a practical, real-world approach to learning and assessment. Comprises a circuit of short (5-10 minutes) stations, in which each candidate is examined on a one-to-one basis with one or two impartial examiner(s) and patients who are either real or simulated (actors or electronic patient simulators). Each station has a different examiner; in comparison, the traditional method of clinical examination is when a candidate is assigned to an examiner for the entire examination.
A first course in differential equations with modeling applications
A comprehensive treatment of ordinary differential equations, concisely presenting basic and essential results in a rigorous manner. Including various examples from physics, mechanics, natural sciences, engineering and automatic theory, Differential Equations is a bridge between the abstract theory of differential equations and applied systems theory.
A Classical Introduction to Cryptography Exercise Book
A Classical Introduction to Cryptography Exercise Book for A Classical Introduction to Cryptography: Applications for Communications Security covers a majority of the subjects that make up today's cryptology, such as symmetric or public-key cryptography, cryptographic protocols, design, cryptanalysis, and implementation of cryptosystems. Exercises do not require a large background in mathematics, since the most important notions are introduced and discussed in many of the exercises.
3D Segmentation for medical images (OsteoVision) = التقطيع ثلاثي الأبعاد للصور الطبية
With the increasing integration of AI across various sectors, artificial intelligence (AI) is already playing a significant role in the healthcare industry, and its use is expected to grow further. AI systems used in image processing and computer vision algorithms have shown a significant ability to perform many operations such as segmentation, classification, and detection. This project presents the application of computer vision algorithms in the field of medical imaging for diagnostic, therapeutic, and interventional purposes. This thesis explores the use of several computer vision algorithms to address different pathologies, specifically brain tumors (glioma) (see Appendix A) and knee osteoarthritis (OA), as well as tracking the progression of knee osteoarthritis using the Kellgren and Lawrence (KL) grading system, a common method for classifying the severity of OA into five grades. To achieve the desired impact, the project employs various techniques, including 3D segmentation for brain tumors, 2D segmentation for knee joints, and multinomial classification for determining the severity of knee OA injuries. The primary aims of the project are to enhance diagnostic accuracy, assist in creating treatment plans, provide an assistive tool for healthcare providers to make more informed decisions, leverage AI's capabilities to detect abnormalities that might escape the human eye, and streamline workflow. To facilitate these goals, the project incorporates a user-friendly UI, a website, and a Flutter-based mobile application, enabling healthcare providers to efficiently integrate these tools into their practice and improve patient care.
3D design reconstruction
This report will talk about a way to design and rebuild a cheap, true-to-the-truth 3D system using reverse engineering. The system provides the service of reconstructing objects into 3D models by placing the object in a predetermined place facing a set of sensors and cameras at a certain distance and at precise angles, using the angle of rotation for each image and combining the points of triangulation we can build a form of 3D modeling types. These models can be used in digital animation or printed with 3D printers for a wide variety of applications.
3-D Computer vision : Principles, algorithms and applications
Offers advanced content on computer vision (basic content can be found in its prerequisite textbook, “2D Computer Vision: Principles, Algorithms and Applications”), including the basic principles, typical methods and practical techniques. It is intended for graduate courses on related topics, e.g. Computer Vision, 3-D Computer Vision, Graphics, Artificial Intelligence, etc. The book is mainly based on my lecture notes for several undergraduate and graduate classes I have offered over the past several years, while a number of topics stem from my research publications co-authored with my students. This book takes into account the needs of learners with various professional backgrounds, as well as those of self-learners. Furthermore, it can be used as a reference guide for practitioners and professionals in related fields.
25 Years of Model Checking : History, Achievements, Perspectives
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model checking community has achieved many breakthroughs, bridging the gap between theoretical computer science and hardware and software engineering, and it is reaching out to new challenging areas such as system biology and hybrid systems. Model checking is extensively used in the hardware industry and has also been applied to the verification of many types of software. Model checking has been introduced into computer science and electrical engineering curricula at universities worldwide and has become a universal tool for the analysis of systems.
100 years of relativity : Space-time structure - Einstein and beyond
Contains contributions from leading researchers, worldwide, who have thought deeply about the nature and consequences of this interplay. The articles take a long-range view of the subject and distill the most important advances in broad terms, making them easily accessible to non-specialists. The first part is devoted to a summary of how relativity theories were born (J Stachel). The second part discusses the most dramatic ramifications of general relativity, such as black holes (P Chrusciel and R Price), space-time singularities (H Nicolai and A Rendall), gravitational waves (P Laguna and P Saulson), the large scale structure of the cosmos (T Padmanabhan); experimental status of this theory (C Will) as well as its practical application to the GPS system (N Ashby). The last part looks beyond Einstein and provides glimpses into what is in store for us in the 21st century.
(IOT) Based street light, energy saving control system
Energy efficiency simply means using less energy to perform the same task. That is, to eliminate energy waste. Reducing energy use limits the number of carbon emissions in the environment, in turn, conserving energy produces a higher quality of life, helping create a healthier planet, or at least helping sustain the resources we already have; and if not now, then when? Hence, the main purpose of our project was to design and implement an energy saving street lights’ system, remotely controlling the lights so they consume the least amounts of energy possible using the modern technology; internet of things.
