As one of the extremely important components on the transmission tower, the insulator has two functions of electrical insulation and wire fixing, which directly affects the operation of the power system. Defects in in...
详细信息
作者：
Kamide, NorihiroKoizumi, DaikiTeikyo University
Faculty of Science and Engineering Department of Human Information Systems Toyosatodai 1-1 Utsunomiya-shi Tochigi320-8551 Japan Aoyama Gakuin University
College of Science and Engineering Department of Electrical Engineering and Electronics 5-10-1 Fuchinobe Chuo-ku Sagamihara-shi Kanagawa252-5258 Japan
Computation tree logic (CTL) is known to be one of the most useful temporal logics for verifying concurrent systems by model checking technologies. However, CTL is not sufficient for handling inconsistency-tolerant an...
详细信息
ISBN:
(纸本)9789897580741
Computation tree logic (CTL) is known to be one of the most useful temporal logics for verifying concurrent systems by model checking technologies. However, CTL is not sufficient for handling inconsistency-tolerant and probabilistic accounts of concurrent systems. In this paper, a paraconsistent (or inconsistency-tolerant) probabilistic computation tree logic (PpCTL) is derived from an existing probabilistic computation tree logic (pCTL) by adding a paraconsistent negation connective. A theorem for embedding PpCTL into pCTL is proven, which indicates that we can reuse existing pCTL-based model checking algorithms. Some illustrative examples involving the use of PpCTL are also presented.
In recent scenario there is a huge demand of image enhancement techniques for better traffic channelization and controlled urban traffic. A lot of driverless vehicles or automated driver guided vehicles are used in ur...
详细信息
the proceedings contain 38 papers. the special focus in this conference is on Algorithm theory. the topics include: Derandomization via small sample spaces;the randomized complexity of maintaining the minimum;faster a...
ISBN:
(纸本)3540614222
the proceedings contain 38 papers. the special focus in this conference is on Algorithm theory. the topics include: Derandomization via small sample spaces;the randomized complexity of maintaining the minimum;faster algorithms for the nonemptiness of streett automata and for communication protocol pruning;service-constrained network design problems;approximate hypergraph coloring;facility dispersion and remote subgraphs;the constrained minimum spanning tree problem;randomized approximation of the constraint satisfaction problem;on the hardness of global and local approximation;approximation algorithms for the maximum satisfiability problem;on the hardness of approximating the minimum consistent OBDD problem;computingthe unrooted maximum agreement subtree in sub-quadratic time;greedily finding a dense subgraph;using sparsification for parametric minimum spanning tree problems;vertex partitioning problems on partial k-trees;making an arbitrary filled graph minimal by removing fill edges;sorting and searching revisited;lower bounds for dynamic transitive closure, planar point location, and parantheses matching;optimal pointer algorithms for finding nearest common ancestors in dynamic trees;communication complexity of gossiping by packets;optimal cost-sensitive distributed minimum spanning tree algorithm;a linear time algorithm for the feasibility of pebble motion on trees;linear-time heuristics for minimum weight rectangulation;visibility with multiple reflections;a fast heuristic for approximating the minimum weight triangulation;neighbours on a grid;on two dimensional packing;optimal orthogonal drawings of triconnected plane graphs;walking streets faster;safe and efficient traffic laws for mobile robots and probabilistic ancestral sequences and multiple alignments.
the proceedings contain 16 papers. the topics discussed include: quadcopter formation using backstepping control and dynamic coupling in master-slave configuration;a new adaptive feedback neural controller for broadba...
ISBN:
(纸本)9781665468008
the proceedings contain 16 papers. the topics discussed include: quadcopter formation using backstepping control and dynamic coupling in master-slave configuration;a new adaptive feedback neural controller for broadband active noise control systems;wave problems of the influence of acoustic pressure on the accuracy of inertial sensors;design a fiber Bragg grating accelerometer-based using a cantilever beam structure;adaptive two-stage filter for de-snowing lidar point clouds;attitude determination and control system for nadir pointing and detumbling using magnetorquer for 1U Bolivian CubeSat;study of the effect of Bragg resonance wave elimination through different environments and displacements;and study on mechanical properties of mag welding joints of steel plates with large wall thickness and small chamfer angle.
In this paper we present a mathematical model and an algorithm for solving a task scheduling problem in computing cluster. the problem is considered as a 2D packing problem. Each multi-node task is treated as a set of...
详细信息
the proceedings contain 178 papers. the topics discussed include: application engineer selection using simple additive weighting method approach;XSS attack detection with machine learning and n-gram methods;improving ...
ISBN:
(纸本)9781728170718
the proceedings contain 178 papers. the topics discussed include: application engineer selection using simple additive weighting method approach;XSS attack detection with machine learning and n-gram methods;improving conversion rates for fashion e-commerce with A/B testing;analysis of digital wallet for higher education student using online transportation network services;analysis of application of Zachman framework for knowledge management systems success optimization;fine-tuning organizational citizenship behavior and knowledge management behavior in the higher education;technopreneur publication: a bibliometric analysis (2000-2019);selection of web-based framework for system development using AHP (analytic hierarchy process) method in PT. XYZ;and analysis of early detection system of banking industry in Indonesia on shock.
We introduce a new learning algorithm for decision lists to allow features that are constructed from the data and to allow a tradeoff between accuracy and complexity. We bound its generalization error in terms of the ...
详细信息
ISBN:
(纸本)0262025507
We introduce a new learning algorithm for decision lists to allow features that are constructed from the data and to allow a tradeoff between accuracy and complexity. We bound its generalization error in terms of the number of errors and the size of the classifier it finds on the training data. We also compare its performance on some natural data sets withthe set covering machine and the support vector machine.
the role of technology is vital and can be observed through the 5th industrial revolution. As a matter of fact, the impact is so severe, it can be felt almost everywhere. As technology advances, one of the most promis...
详细信息
the proceedings contain 22 papers. the special focus in this conference is on Distributed computing and Artificial Intelligence. the topics include: Computer Vision: A Review on 3D Object Recognition;An IoUT-Base...
ISBN:
(纸本)9783031232091
the proceedings contain 22 papers. the special focus in this conference is on Distributed computing and Artificial Intelligence. the topics include: Computer Vision: A Review on 3D Object Recognition;An IoUT-Based Platform for Managing Underwater Cultural Heritage;overview: Security in 5G Wireless systems;a Study on the Application of Protein Language Models in the Analysis of Membrane Proteins;visualization for Infection Analysis and Decision Support in Hospitals;An Intelligent and Green E-healthcare Model for an Early Diagnosis of Medical Images as an IoMT Application;towards Highly Performant Context Awareness in the Internet of things;adaptive System to Manage User Comfort Preferences and Conflicts at Everyday Environments;ML-Based Automation of Constraint Satisfaction Model Transformation and Solver Configuration;race Condition Error Detection in a Program Executed on a Device with Limited Memory Resources;the Impact of Covid-19 on Student Mental Health and Online Learning Experience;threat Detection in URLs by Applying Machine Learning algorithms*;an Approach to Simulate Malware Propagation in the Internet of Drones;the Use of Corporate Architecture in Planning and Automation of Production Processes;Towards Ontology-Based End-to-End Domain-Oriented KBQA System;TFEEC: Turkish Financial Event Extraction Corpus;denial of Service Attack Detection Based on Feature Extraction and Supervised Techniques;automating the Implementation of Unsupervised Machine Learning Processes in Smart Cities Scenarios;Intelligent Model Hotel Energy Demand Forecasting by Means of LSTM and GRU Neural Networks;explainable Artificial Intelligence on Smart Human Mobility: A Comparative Study Approach.
暂无评论