الصفحة 4
الصفحة 4
Domain Modeling and the Duration Calculus : International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures
The book presented provide competent coverage of software security, domain modeling of software engineering, and duration calculus for real time systems - originating from lectures of leading experts in these fields from Europe and Asia.It addressed in detail are: development of real-time systems, domain engineering using abstract modeling, the area of duration calculus, and formal methods like language description using the operational semantics approach.
Distributed Embedded Control Systems : Improving Dependability with Coherent Design
Distributed Embedded Control Systems handles the domains encountered when designing a distributed embedded computer control system as an integrated whole. First to be discussed are some basic issues about real-time systems and their properties, specifically safety. Then, system and hardware architectures are dealt.
Distributed Cooperative Laboratories : Networking, Instrumentation, and Measurements
This is a highly interdisciplinary topic, where various aspects converge: multimedia communications and networking, sensor networks, Grid technology, Quality of Service (QoS) provisioning and control, network management, measurement instrumentation and methodology, architecture of measurement systems. The material is organized into six parts: Technologies for Real-Time Interactive Multimedia Communications; Monitoring, Management and Configuration of Networks and Networking Devices; Data Acquisition and Aggregation in Sensor Networks; Grid Structures for Distributed Cooperative Laboratories; Architectures and Techniques for Tele-Measurements; Virtual Immersive Communications and Distance Learning. Each contribution presents a self-contained treatment, within a framework that provides the reader with an up-to-date picture of the most recent state-of-the-art developments.
Distributed computing in sensor systems ; 4th IEEE International Conference, DCOSS 2008 Santorini Island, Greece, June 11-14, 2008 Proceedings
The book constitutes the refereed proceedings of the 4th International Conference on Distributed Computing in Sensor Systems, DCOSS 2008, held on Santorini Island, Greece, in June 2008.
Distributed applications and interoperable systems ; Vol. 3543 ; 5th IFIP WG 6.1 International conference, DAIS 2005, Athens, Greece, June 15-17, 2005, Proceedings
ThisvolumecontainstheproceedingsoftheIFIPWG6. 1InternationalWorking Conference on Distributed Applications and Interoperable Systems V held in Athens, Greece, on June 15–17, 2005. The conference program presented the state of the art in research concerning distributed and interoperable systems. The emergence of 4th-generation c- munication systems, the evolution of Internet technologies, the convergence of telecom and datacom, wireless and ?xed communication systems and appli- tions pave the path for ubiquitous service and application provision. Innovative solutions are required for the development, implementation and operation of distributed applications in complex IT environments full of diversity and h- erogeneity. Today, the emerging wide spectrum of distributed systems.
Disruptive trends in automation technology
The industrial sector is being transformed by the convergence of information technology and operational technology. The latter is another name for automation technology and covers established systems such as supervisory control and data acquisition (SCADA), programmable logic controllers (PLC), fieldbuses, and automation and control systems. As this technology is connected to the Internet and 5G networks, some monitoring, control, and analytic functionalities are deployed to the edge or cloud, and researchers are challenged to ensure the security, dependability, real-time performance, and maintainability of the resulting systems. The big data that is accessible from these systems create opportunities for artificial intelligence applications that can further disrupt the established practices in the automation domain.
Dependable computing ; 2nd Latin-American symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005 : proceedings
Contains the proceedings of the 'Second Latin-American Symposium' on Dependable Computing, LADC 2005. This book comprises 16 papers presented together with 3 invited talks. The papers are organized in topical sections on evaluation, certification, modelling, embedded systems, time, and distributed systems algorithms.
Deepfake detection = اكتشاف التزييف العميق
In the rapidly evolving era of artificial intelligence, addressing the escalating threats of deepfake technology becomes a necessity because of the increasing sophistication of AI algorithms in generating deceptive content, and since it threatens the integrity of information across diverse data. The main objective is to build a sophisticated AI-driven system to detect different types of deepfake in text, audio, and images. In English text deepfake detection, multiple pre-trained tokenizers have been used, but XLNET and BERT stand out with identifying objects outside the dataset with an accuracy of 0.9809 and both have been generalized & trained using LSTM. In Arabic text deepfake detection, Arabert has been trained using LSTM which led with an accuracy of 99.53% by generalizing the model. Both English and Arabic datasets have been generated to enhance the accuracy and effectiveness of the models. Audio deepfake detection has been generalized too, using Random Forest with an accuracy of 98.259%.
Deepfake
The technology used to create such digital content has quickly become accessible to the masses, such as “DEEPFAKE.” Deep fakes refer to manipulated videos, or other digital representations produced by sophisticated artificial intelligence, that yields to synthesize a sequence of face images and voices of characters corresponding to their identities, such as voice tone, facial expression, with a good lip synchronization. Therefore, this study is about developing real-time video generation software, which generates a target video from a single input image. Several methods and algorithms have been applied to detect, analyze personalize facial expression, voice and natural head poses to present a life-like image instead of a low quality one.
Data science on the Google cloud platform : Implementing end-to-end real-time data pipelines : From ingest to machine learning
Learn how easy it is to apply sophisticated statistical and machine learning methods to real-world problems when you build using Google Cloud Platform (GCP). This hands-on guide shows data engineers and data scientists how to implement an end-to-end data pipeline with cloud native tools on GCP. You'll work through a sample business decision by employing a variety of data science approaches. Follow along by building a data pipeline in your own project on GCP, and discover how to solve data science problems in a transformative and more collaborative way. Employ best practices in building highly scalable data and ML pipelines on Google Cloud Automate and schedule data ingest using Cloud Run Create and populate a dashboard in Data Studio Build a real-time analytics pipeline using Pub/Sub, Dataflow, and BigQuery Conduct interactive data exploration with BigQuery Create a Bayesian model with Spark on Cloud Dataproc Forecast time series and do anomaly detection with BigQuery ML Aggregate within time windows with Dataflow Train explainable machine learning models with Vertex AI Operationalize ML with Vertex AI Pipelines
Data science and data analytics : Opportunities and challenges
Gives the concept of data science, tools, and algorithms that exist for many useful applications / Provides many challenges and opportunities in data science and data analytics that help researchers to identify research gaps or problems / Identifies many areas and uses of data science in the smart era / Applies data science to agriculture, healthcare, graph mining, education, security, etc.
Data Driven Methods for Civil Structural Health Monitoring and Resilience : Latest Developments and Applications
Provides a comprehensive overview of data-driven methods for structural health monitoring (SHM) and resilience of civil engineering structures, mostly based on artificial intelligence or other advanced data science techniques. This allows existing structures to be turned into smart structures, thereby allowing them to provide intelligible information about their state of health and performance on a continuous, relatively real-time basis. Artificial-intelligence-based methodologies are becoming increasingly more attractive for civil engineering and SHM applications
Crime detection camera
This paper presents a comprehensive crime detection system that uses a combination of hardware and software to monitor homes and communities in real time. The system consists of a Raspberry Pi 4B, a Raspberry Pi Camera V2, a flame sensor, an MQ-6 gas sensor, and a microphone, which are all connected to a database management system powered by MySQL. The data collected from these devices is analyzed by machine learning algorithms to detect crimes, such as theft or robbery, as well as fires and gas leaks. The system also includes a mobile app, ‘Safe Home’ which provides live video monitoring and real-time notifications to users, and an employee dashboard to monitor all statistics and manage all implemented systems.
Cooperative tool
Online collaboration is fast becoming a permanent feature of the modern workplace. Companies and organizations are attracted by the cost-effective technology allowing employees to work together anywhere, at any time using any internet-enabled device. Online collaboration gives team members the tools they need to work with others from any location, including from home and while travelling. This drastically reduces “downtime” and allows people to be productive when it best suits them therefore we propose a website that provides content (videoconference, real-time Chat, whiteboard).
Control and Scheduling Codesign : Flexible Resource Management in Real-Time Control Systems
Recent evolutionary advances in information and communication technologies give rise to a new environment for Real Time Control Systems. This book is a monograph that covers our recent and original results in this direction.
Contrast-Enhanced Ultrasound in Clinical Practice : Liver, Prostate, Pancreas, Kidney and Lymph Nodes
Concomitant with the improvement of contrast agents, different contrast-specific imaging modalities have been developed which, used in combination with USCA and a low mechanical index, allow continuous real-time grey-scale imaging. These recent technical improvements have opened new possibilities in the use of USCA in a variety of indications. Written by internationally renowned experts, the contributions gathered in this book give an overview of current and possible future new applications of USCA in routine and clinical practice.
Condition Monitoring and Control for Intelligent Manufacturing
Manufacturing systems and processes are becoming increasingly complex, making more rational decision-making in process control a necessity. The book presents a wide and comprehensive review of the key areas of research in machine condition monitoring and control, before focusing on an in-depth treatment of each important technique, from multi-domain signal processing for defect diagnosis to web-based information delivery for real-time control.
CONCUR 2005 - Concurrency Theory
This volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Concurrency Theory. The purpose of the CONCUR series of conferences is to bring together researchers,developers, and students in order to advance the theory of concurrency and to promote its applications. The Program Committee selected 38 papers for presentation. Because of the format of the conference and the high number of submissions, many good papers could not be included. Although submissions werereadand evaluated, the papers that appear in this volume may di?er in form and contents from the corresponding submissions.
Computer safety, reliability, and security ; Vol. 3688
This book constitutes the refereed proceedings of the 24th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2005, held in Fredrikstad, Norway, in September 2005. The 30 revised full papers were carefully reviewed and selected for inclusion in the book. The papers address all aspects of dependability and survivability of critical computerized systems in various branches and infrastructures.
Computational Cognitive Modeling and Linguistic Theory
This book introduces a general framework that allows natural language researchers to enhance existing competence theories with fully specified performance and processing components. Gradually developing increasingly complex and cognitively realistic competence-performance models, it provides running code for these models and shows how to fit them to real-time experimental data. This computational cognitive modeling approach opens up exciting new directions for research in formal semantics, and linguistics more generally, and offers new ways of (re)connecting semantics and the broader field of cognitive science.
