the proceedings contain 13 papers. the special focus in this conference is on theoretical Computer Science. the topics include: A Survey on the Classic Active Measurement Methods for IPv6;deriving Security Protocols B...
ISBN:
(纸本)9789811618765
the proceedings contain 13 papers. the special focus in this conference is on theoretical Computer Science. the topics include: A Survey on the Classic Active Measurement Methods for IPv6;deriving Security Protocols Based on Protocol Derivation System;An Offloading Strategy Based on RSU Cooperation for Vehicular Edge computing System;algorithm Design through the Optimization of Reuse-Based Generation;an Improved Firefly Algorithm for Software Defect Prediction;semi-online algorithms for Hierarchical Scheduling on three Parallel Machines with a Buffer Size of 1;GDAssister: Graphic Design Assistant System with Optimal Algorithm of Associated Rule Mining;late Fusion Multi-view Clustering with Learned Consensus Similarity Matrix;minimal Residual Based Iterative Methods and Its Parallel Implementation for Sparse Linear systems;a Simple yet Effective Unsupervised Adversarial Example Generation Framework for Vulnerability Assessment on Deep Learning;application of Graph Neural Network in Automatic Text Summarization.
Passive sonar system is an essential method for underwater target recognition. However, it is also a challenging task due to the interference of ambient noise and multiple operative conditions of different targets. In...
详细信息
Sustainability includes the digitalization of enterprises as a key factor. Digitalization and automation in ensuring the financial stability of enterprises will create opportunities to reduce the receivables and payab...
详细信息
ISBN:
(纸本)9781450399050
Sustainability includes the digitalization of enterprises as a key factor. Digitalization and automation in ensuring the financial stability of enterprises will create opportunities to reduce the receivables and payables of enterprises. Digitalization and further development of digital financial activities are important in the process of transformation of state-owned enterprises. At the same time, the possibility of delivering electricity to consumers, as well as ensuring the prompt provision of electricity metering and ensuring transparency, was mainly studied. At the same time, the analysis was carried out on the example of the activities of joint stock companies of the Regional Electric networks of the Republic of Uzbekistan. the main attention was paid to the issues of ensuring financial stability by automating the accounting activities of the enterprise and developing digital information capabilities. In addition, it was proposed to involve a state-owned commercial bank as a founder along withthe Ministry, which controls the activities of an enterprise with a state share interms of management activities, in order to create an opportunity to further stimulate the financial activities of a joint-stock company.
Algebraic Bayesian networks belong to the class of machine-learning probabilistic graphical models. One of the main tasks during researching machine learning models is the optimization of their time of work. this pape...
详细信息
ISBN:
(纸本)9783030500979
Algebraic Bayesian networks belong to the class of machine-learning probabilistic graphical models. One of the main tasks during researching machine learning models is the optimization of their time of work. this paper presents approaches to parallelizing algorithms for maintaining local consistency in algebraic Bayesian networks as one of the ways to optimize their time of work. An experiment provided to compare the time of parallel and nonparallel realizations of algorithms for maintaining local consistency.
the article considers the approaches to assessing the financial security of enterprises presented in the literature, determines the rsistance of the textile industry of Uzbekistan to the negative impact of the coronav...
详细信息
ISBN:
(纸本)9781450399050
the article considers the approaches to assessing the financial security of enterprises presented in the literature, determines the rsistance of the textile industry of Uzbekistan to the negative impact of the coronavirus pandemic on the basis of statistical data, and reveals a significant differentiation of textile industry enterprises in terms of financial stability. Based on data on small enterprises in the textile industry of Uzbekistan, a method for assessing the financial security of an enterprise in the post-pandemic period is proposed and tested, taking into account the complex influence of non-financial parameters of economic security and assessing the deviations of the economic situation at a given enterprise from the patterns emerging in the relevant segment of the economy. In this research an econometric model was developed to determine the factors affecting the chemical industry and express their interrelationship, based on the conducted econometric analysis, the directions of development in our country were determined. According to the authors, it is necessary to continue these directions in order to ensure the economic security of industry enterprises in the country.
Computers and various imaging technologies effectively enhanced the diagnostic procedures of medical imaging, where various medical images enhance the early diagnosis, characterizing and discriminating of different he...
ISBN:
(纸本)9781450399050
Computers and various imaging technologies effectively enhanced the diagnostic procedures of medical imaging, where various medical images enhance the early diagnosis, characterizing and discriminating of different health problems, which lead to efficient healthcare services and treatments. Digital image processing and medical images analysis can significantly support medical diagnosis by providing the necessary tools for automatic detection, extracting significant information and accurate measurement of visible abnormalities. However, there are many challenges related to medical images as well as challenges that arise during the various stages of image processing. this paper provides an overview of different challenges related to medical images and medical image processing. the most prominent and significant challenges are identified and introduced not to discourage the interested researchers in this field of image processing, but to fill the gap of missing a comprehensive overview on these challenges.
作者：
Yuan, KeHuang, YabingTang, QianHenan University
International Joint Research Laboratory for Cooperative Vehicular Networks of Henan School of Computer and Information Engineering Kaifeng China Henan University
School of Computer and Information Engineering Kaifeng China Henan University
Key Laboratory of Geospatial Technology for the Middle and Lower Yellow River Regions Henan University Ministry of Education College of Environment and Planning Kaifeng China
It is unclear whether socioeconomic factors affect the incidence of respiratory infectious diseases in China. this article uses generalized linear model and generalized additive model to analyze the relationship betwe...
详细信息
the proceedings contain 8 papers. the special focus in this conference is on Applied Computation and Security systems. the topics include: ZoBe: Zone-oriented bandwidth estimator for efficient IoT networks;extracting ...
ISBN:
(纸本)9789811389610
the proceedings contain 8 papers. the special focus in this conference is on Applied Computation and Security systems. the topics include: ZoBe: Zone-oriented bandwidth estimator for efficient IoT networks;extracting business compliant finite state models from I* models;Behavioral analysis of service composition patterns in ECBS using petri-net-based approach;generation of simple, connected, non-isomorphic random graphs;bottleneck crosstalk minimization in three-layer channel routing;arithmetic circuits using reversible logic: A survey report.
the proceedings contain 22 papers. the special focus in this conference is on Tools and algorithms for the Construction and Analysis of systemsconference series. the topics include: Incremental analysis of evolving a...
ISBN:
(纸本)9783030174613
the proceedings contain 22 papers. the special focus in this conference is on Tools and algorithms for the Construction and Analysis of systemsconference series. the topics include: Incremental analysis of evolving alloy models;extending a brainiac prover to lambda-free higher-order logic;LCV: A verification tool for linear controller software;semantic fault localization and suspiciousness ranking;computing coupled similarity;reachability analysis for termination and confluence of rewriting;voxlogica: A spatial model checker for declarative image analysis;on reachability in parameterized phaser programs;abstract dependency graphs and their application to model checking;nonreach – a tool for nonreachability analysis;Parallel SAT simplification on GPU architectures;the quantitative verification benchmark set;ilang: a modeling and verification platform for SoCs using instruction-level abstractions;metacsl: specification and verification of high-level properties;roll 1.0: ω -Regular language learning library;symbolic regex matcher;compass 3.0;debugging of behavioural models with clear;omega-regular objectives in model-free reinforcement learning;verifiably safe off-model reinforcement learning;encoding redundancy for satisfaction-driven clause learning;WAPS: Weighted and Projected Sampling;building better bit-blasting for floating-point problems;the axiom profiler: Understanding and debugging SMT quantifier instantiations;on the empirical time complexity of scale-free 3-sat at the phase transition;Modular and efficient divide-and-conquer SAT solver on top of the painless framework;quantitative verification of masked arithmetic programs against side-channel attacks.
暂无评论