Page 2
Page 2
Handbook of big data analytics ; Vol.2 : Applications in ICT, security and business analytics
Big Data analytics is the complex process of examining big data to uncover information such as correlations, hidden patterns, trends and user and customer preferences, to allow organizations and businesses to make more informed decisions. These methods and technologies have become ubiquitous in all fields of science, engineering, business and management due to the rise of data-driven models as well as data engineering developments using parallel and distributed computational analytics frameworks, data and algorithm parallelization, and GPGPU programming. However, there remain potential issues that need to be addressed to enable big data processing and analytics in real time.
Handbook of big data analytics ; Vol.1 : Methodologies
Big Data analytics is the complex process of examining big data to uncover information such as correlations, hidden patterns, trends and user and customer preferences, to allow organizations and businesses to make more informed decisions. These methods and technologies have become ubiquitous in all fields of science, engineering, business and management due to the rise of data-driven models as well as data engineering developments using parallel and distributed computational analytics frameworks, data and algorithm parallelization, and GPGPU programming. However, there remain potential issues that need to be addressed to enable big data processing and analytics in real time. This volume presents several methodologies to support Big Data analytics including database management, processing frameworks and architectures, data lakes, query optimization strategies, towards real-time data processing, data stream analytics, Fog and Edge computing, and Artificial Intelligence and Big Data.
Foundations of software science and computation structures ; Vol. 3921 ; 9th International conference, FOSSACS 2006, Held as part of the joint European conferences on theory and practice of software, ETAPS 2006, Vienna, Austria, March 25-31, 2006, proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2006, held in Vienna, Austria in March 2006 as part of ETAPS. The 28 revised full papers presented together with 1 invited paper were carefully reviewed and selected from 107 submissions. The papers are organized in topical sections on mobile processes, software science, distributed computation, categorical models, real time and hybrid systems, process calculi, automata and logic, domains, lambda calculus, types, and security.
FM 2006: Formal Methods ; 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, Canada, August 2006. The book presents 36 revised full papers together with 2 invited contributions and extended abstracts of 7 invited industrial presentations, organized in topical sections on interactive verification, formal modelling of systems, real time, industrial experience, specification and refinement, programming languages, algebra, formal modelling of systems, and more.
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.
Earthquake Monitoring and Seismic Hazard Mitigation in Balkan Countries
this book including deployment of modern seismograph stations and arrays and these developments are detailed in the book. Station and network operations require near real time record analysis and topics dealt with here are 2-D signal detector, epicenter location and earthquake monitoring. Balkan is seismically the most active part of Europe due to multiple plate interactions in the Aegean Sea. The tectonic evolution and on-going geodynamic deformations are described in 2 articles. Earthquake hazard analysis and topographic site effects are discussed and likewise large earthquake hazards in the Aegean and the Marmara seas relate to practical applications of such procedures. Foremost; the book gives a good account of past, present and likely future seismological developments in Balkan countries and various kinds of network operations on local to global scales.
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.
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.
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.
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.
Concurrency Theory : Calculi an Automata for Modelling Untimed and Timed Concurrent Systems
Concurrency Theory is a synthesis of one of the major threads of theoretical computer science research focusing on languages and graphical notations for describing collections of simultaneously evolving components that interact through synchronous communication. The main specification notation focused on in this book is LOTOS. An extensive introduction to this particular process calculus is given, highlighting how the approach differs from competitor techniques, such as CCS and CSP.
CONCUR 2007 – Concurrency Theory ; 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings
This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages.
Mathematical Epidemiology
Based on lecture notes of two summer schools with a mixed audience from mathematical sciences, epidemiology and public health, this volume offers a comprehensive introduction to basic ideas and techniques in modeling infectious diseases, for the comparison of strategies to plan for an anticipated epidemic or pandemic, and to deal with a disease outbreak in real time. It covers detailed case studies for diseases including pandemic influenza, West Nile virus, and childhood diseases. Models for other diseases including Severe Acute Respiratory Syndrome, fox rabies, and sexually transmitted infections are included as applications. Its chapters are coherent and complementary independent units. In order to accustom students to look at the current literature and to experience different perspectives, no attempt has been made to achieve united writing style or unified notation.
Manufacturing Execution Systems - MES
The production plants of today develop into modern service centers. Economic efficiency of modern added value is not a property of products alone but of the process. Decisive potential in business now is a question of process capability, rather than production capability. Process capability in business requires real-time systems for optimization. Business-IT needs to be developed from telecommunications and ERP to real time services, which are not offered by the prevailing ERP systems. Today, only modern Manufacturing Execution Systems (MES) offer real-time applications. They generate current as well as historic mappings of production facilities and thus they can be used as basis for optimizations. It is important to map the supply chain in real time. Increasing complexity in production requires an integrated view of the production and service facilities: detailed scheduling, status collection, quality, performance analysis, tracing of material and so on have to be recorded and displayed in an integrated way.
Just-in-Time Scheduling : Models and Algorithms for Computer and Manufacturing Systems
As the field of Supply Chain Management has matured, maintaining the precise flow of goods to maintain schedules (hence, minimizing inventories) on a just-in-time basis still remains as a major challenge. This problem or challenge has resulted in a fair amount of quantitative research in the area, producing an array of models and algorithms to help ensure the precise flow of components and final products into inventories to meet just-in-time requirements.The scheduling models and algorithms presented and illustrated in the book will be done so in the context of extensive use of computer systems in a "real time context.
Challenges for next generation network operations and service management : 11th Asia-Pacific network operations and management symposium, APNOMS 2008, Beijing, China, October 22-24, 2008. Proceedings
This book constitutes the refereed proceedings of the 11th Asia-Pacific Network Operations and Management Symposium, APNOMS 2008, held in Beijing, China, in October 2008.
Challenges and Solutions for Sustainable Smart City Development
Discusses advances in smart and sustainable development of smart environments. The authors discuss the challenges faced in developing sustainable smart applications and provide potential solutions. The solutions are aimed at improving reliability and security with the goal of affordability, safety, and durability. Topics include health care applications, sustainable smart transportation systems, intelligent sustainable wearable electronics, and sustainable smart building and alert systems. Authors are from both industry and academia and present research from around the world. Addresses problems and solutions for sustainable development of smart cities; Includes applications such as healthcare, transportation, wearables, security, and more ; Relevant for scientist and researchers working on real time smart city development.
Artificial intelligence based cancer nanomedicine : Diagnostics, therapeutics and bioethics
Nanomedicine is evolving with novel drug formulations devised for multifunctional approaches towards diagnostics ad therapeutics. Nanomedicine-based drug therapy is normally explored at a fixed dose. The drug action is time-dependent, dose-dependent and patient-specific. To overcome challenges of nanomedicine testing, artificial intelligence (AI) serves as a helping tool for optimizing the drug and dose parameters. Real time conversions between these two features enables upgradation of patient data acquisition and improved design of nanomaterials. In this scenario, AI-based pattern analysis and algorithms models can greatly improve accuracy of diagnostics and therapeutics.
Advances in web mining and web usage analysis ; 6th International workshop on knowledge discovery on the web, WEBKDD 2004, Seattle, WA, USA, August 22-25, 2004, Revised Selected Papers
The Webisaliveenvironmentthatmanagesanddrivesawidespectrumofapp- cations in which a user may interact with a company, a governmental authority, a non-governmental organization or other non-pro?t institution or other users. User preferences and expectations, together with usage patterns, form the basis for personalized, user-friendly and business-optimal services. Key Web business metrics enabled by proper data capture and processing are essential to run an e?ective business or service. Enabling technologies include data mining, sc- able warehousing and preprocessing, sequence discovery, real time processing, document classi?cation, user modeling and quality evaluation models for them. Recipient technologies required for user pro?ling and usage patterns include recommendation systems, Web analytics applications, and application servers, coupled with content management systems and fraud detectors.
Advances in air pollution modeling for environmental security ; Proceedings of the NATO Advanced Research Workshop Advances in Air Pollution Modeling for Environmental Security, Borovetz, Bulgaria, 8-12 May 2004
Includes selected papers from the NATO ARW held at Borovetz (Bulgaria), in the period 8-12 May, 2004. This book talks about improving the abilities of air pollution models to calculate reliable predictions of the pollution levels in a given domain and in real time by using adequate description of the physical and chemical processes.
