Search results: Found 3

Listing 1 - 3 of 3
Sort by
Information flow control for java : a comprehensive approach based on path conditions in dependence Graphs

Author:
ISBN: 9783866443983 Year: Pages: 221 p. DOI: 10.5445/KSP/1000012049 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Computer Science
Added to DOAB on : 2019-07-30 20:01:59
License:

Loading...
Export citation

Choose an application

Abstract

Information flow control (IFC) is a technique to assert the security of a given program with respect to a given security policy. The classical policy noninterference requires that public output of a program may not be influenced from secret input. This work leverages a technique called program slicing, which is closely connected to IFC and offers many dimensions for improving analysis precision, the most powerful are Path Conditions. Our evaluation shows scalability with a low annotation burden.

Transfer Entropy

Author:
ISBN: 9783038429197 9783038429203 Year: Pages: VIII, 326 Language: Englisch
Publisher: MDPI - Multidisciplinary Digital Publishing Institute
Subject: Computer Science
Added to DOAB on : 2018-08-24 17:15:19
License:

Loading...
Export citation

Choose an application

Abstract

Statistical relationships among the variables of a complex system reveal a lot about its physical behavior. Therefore, identification of the relevant variables and characterization of their interactions are crucial for a better understanding of a complex system. Linear methods, such as correlation, are widely used to identify these relationships. However, information-theoretic quantities, such as mutual information and transfer entropy, have been proven to be superior in the case of nonlinear dependencies. Mutual information quantifies the amount of information obtained about one random variable through the other random variable, and it is symmetric. As an asymmetrical measure, transfer entropy quantifies the amount of directed (time-asymmetric) transfer of information between random processes and, thus, it is related to concepts, such as the Granger causality. This Special Issue includes 16 papers elucidating the state of the art of data-based transfer entropy estimation techniques and applications, in areas such as finance, biomedicine, fluid dynamics and cellular automata. Analytical derivations in special cases, improvements on the estimation methods and comparisons between certain techniques are some of the other contributions of this Special Issue. The diversity of approaches and applications makes this book unique as a single source of invaluable contributions from experts in the field.

New Industry 4.0 Advances in Industrial IoT and Visual Computing for Manufacturing Processes

Authors: ---
ISBN: 9783039282906 9783039282913 Year: Pages: 428 DOI: 10.3390/books978-3-03928-291-3 Language: English
Publisher: MDPI - Multidisciplinary Digital Publishing Institute
Subject: Technology (General) --- General and Civil Engineering --- Industrial Engineering
Added to DOAB on : 2020-04-07 23:07:09
License:

Loading...
Export citation

Choose an application

Abstract

Modern factories are experiencing rapid digital transformation supported by emerging technologies, such as the Industrial Internet of things (IIOT), industrial big data and cloud technologies, deep learning and deep analytics, AI, intelligent robotics, cyber-physical systems and digital twins, complemented by visual computing (including new forms of artificial vision with machine learning, novel HMI, simulation, and visualization). This is evident in the global trend of Industry 4.0. The impact of these technologies is clear in the context of high-performance manufacturing. Important improvements can be achieved in productivity, systems reliability, quality verification, etc. Manufacturing processes, based on advanced mechanical principles, are enhanced by big data analytics on industrial sensor data. In current machine tools and systems, complex sensors gather useful data, which is captured, stored, and processed with edge, fog, or cloud computing. These processes improve with digital monitoring, visual data analytics, AI, and computer vision to achieve a more productive and reliable smart factory. New value chains are also emerging from these technological changes. This book addresses these topics, including contributions deployed in production, as well as general aspects of Industry 4.0.

Keywords

cutting insert selection --- cutting parameter optimization --- artificial neural networks --- genetic algorithm --- connected enterprise --- smart manufacturing --- big data --- machine learning --- data reduction --- predictive analytics --- in-line dimensional inspection --- warm forming --- 3D mesh reconstruction --- optical system --- revolution workpiece --- defect detection --- polymer lithium-ion battery --- convolutional neural network --- deep learning --- blister defect --- flower pollination algorithm --- Industry 4.0 --- anomaly detection --- scheduling --- neural network --- skyline queries --- Cyber-Physical Systems (CPS) --- scalability test --- Internet of Things (IoT) --- INDUSTRY 4.0 --- economic recession --- research and development indicators --- maintenance expert --- competence --- decision support --- micro-armature --- defect detection --- convolutional neural networks --- computer vision --- capacity control --- job shop systems --- RMTs --- operator theory --- 4th industrial revolution --- industry 4.0 --- AHP --- QFD --- matching --- fibre of preserved Szechuan pickle --- contour detection --- dilated convolutions --- HED --- social network --- industry 4.0 --- industrial knowledge graph --- deep learning --- industrial big data --- intellectualization of industrial information --- digital manufacturing --- smart factory --- Industry 4.0 --- digital platforms --- automated surface inspection --- D-VGG16 --- bilinear model --- Grad-CAM --- classification --- localization --- elliptical paraboloid array --- self-calibration method --- vertex distance --- optical slope sensor --- geometric relationship --- relative angle --- fabric defect detection --- LGM --- FCM --- image smoothing --- Industry 4.0 --- marketing innovations --- innovative marketing tools --- impacts marketing innovations --- Industry 4.0 --- configure-to-order --- BIM --- construction equipment --- digital information flow --- lean assembly --- digital twins --- cyber-physical production systems --- depthwise separable convolution --- YOLOv3 --- feature pyramid --- aircraft structure crack detection --- industrial load management --- demand-side management --- demand-side response --- energy flexibility --- IT concept --- platform-based ecosystem --- control service --- smart service --- control as a service --- cloud-based control system --- automation system --- chatter --- train wheel --- smart system --- turning --- edge computing --- n/a

Listing 1 - 3 of 3
Sort by
Narrow your search