In Russia, agriculture is one of the key industries, so the development of innovative solutions in this area is of great importance. A promising approach is to automate field operations using highly automated manufact...
详细信息
Matching algorithms are often central sub-routines in many areas of automatedreasoning. they are used in areas such as functional programming, rule-based programming, automatedtheorem proving, and the symbolic analy...
详细信息
the protection system on a three-phase induction motor is designed so that the motor can be used for a longer period of time and avoid damage. Disturbances such as overloads and high temperatures that occur can interf...
详细信息
the proceedings contain 157 papers. the special focus in this conference is on Innovative Computing. the topics include: Proactive Auto Scaling Based on Marginal Request Change Analysis for Reducing Tail Latency in Ku...
ISBN:
(纸本)9789819741243
the proceedings contain 157 papers. the special focus in this conference is on Innovative Computing. the topics include: Proactive Auto Scaling Based on Marginal Request Change Analysis for Reducing Tail Latency in Kubernetes Cluster;Integration of Generative Adversarial Networks (GAN) and AI Drawing in Criminal Sketches—Applied in Crime Scene Investigation by Law Enforcement;implementation of a High Quality Cardiopulmonary Resuscitation Teaching Intelligence Training and Assessment System;Predicting Twitter Posts from Fake Accounts Using XGBoost Model;the Interplay Between Self-regulated Learning and programming Learning Achievement;a Study on the Continued Viewing Intention of YouTuber Videos: Experiential Marketing, Social Capital, and Habit Perspectives;an Exploratory Study on the Design of Human-Computer Interaction Interfaces for Augmented Reality Integrated Museum Exhibitions;communication-Aware Optimization of Microservice Scheduling on Edge Computing;Design of Computer Model for Raw Material Supplier Selection Based on Entropy Weight TOPSIS Method;exploring How Cybersecurity Competitions Can Help Improve Students’ Practical Abilities in Cybersecurity;Adversarially Residual U2Net for COVID-19 Lung Infection Segmentation from CT Images;partnerships Analysis Based on Measurements of Common Research Interest;System Design of Operating Costs of Intelligent Healthcare Services for the AHP Algorithm;a Multi-party Private Set Union Protocol Against Malicious Adversary;analysis of the Current Status of Research on Unmanned Collaborative Equipment Above and Below Water;data Mining Analysis of New Energy Vehicles Based on Cluster Analysis Technology;Two-Layer Minimum Variance FIR Filter-Based DPLL Design;fuzzy Proximity Two-Dimension Inductance Gesture Recognition System Analysis and Implement;proximity Capacitive Gesture Recognition for Recursive Neighbor Memory Neural Network;application of Genetic Algorithms in automated Mechanical Design.
the proceedings contain 157 papers. the special focus in this conference is on Innovative Computing. the topics include: Proactive Auto Scaling Based on Marginal Request Change Analysis for Reducing Tail Latency in Ku...
ISBN:
(纸本)9789819741922
the proceedings contain 157 papers. the special focus in this conference is on Innovative Computing. the topics include: Proactive Auto Scaling Based on Marginal Request Change Analysis for Reducing Tail Latency in Kubernetes Cluster;Integration of Generative Adversarial Networks (GAN) and AI Drawing in Criminal Sketches—Applied in Crime Scene Investigation by Law Enforcement;implementation of a High Quality Cardiopulmonary Resuscitation Teaching Intelligence Training and Assessment System;Predicting Twitter Posts from Fake Accounts Using XGBoost Model;the Interplay Between Self-regulated Learning and programming Learning Achievement;a Study on the Continued Viewing Intention of YouTuber Videos: Experiential Marketing, Social Capital, and Habit Perspectives;an Exploratory Study on the Design of Human-Computer Interaction Interfaces for Augmented Reality Integrated Museum Exhibitions;communication-Aware Optimization of Microservice Scheduling on Edge Computing;Design of Computer Model for Raw Material Supplier Selection Based on Entropy Weight TOPSIS Method;exploring How Cybersecurity Competitions Can Help Improve Students’ Practical Abilities in Cybersecurity;Adversarially Residual U2Net for COVID-19 Lung Infection Segmentation from CT Images;partnerships Analysis Based on Measurements of Common Research Interest;System Design of Operating Costs of Intelligent Healthcare Services for the AHP Algorithm;a Multi-party Private Set Union Protocol Against Malicious Adversary;analysis of the Current Status of Research on Unmanned Collaborative Equipment Above and Below Water;data Mining Analysis of New Energy Vehicles Based on Cluster Analysis Technology;Two-Layer Minimum Variance FIR Filter-Based DPLL Design;fuzzy Proximity Two-Dimension Inductance Gesture Recognition System Analysis and Implement;proximity Capacitive Gesture Recognition for Recursive Neighbor Memory Neural Network;application of Genetic Algorithms in automated Mechanical Design.
the proceedings contain 157 papers. the special focus in this conference is on Innovative Computing. the topics include: Proactive Auto Scaling Based on Marginal Request Change Analysis for Reducing Tail Latency in Ku...
ISBN:
(纸本)9789819741816
the proceedings contain 157 papers. the special focus in this conference is on Innovative Computing. the topics include: Proactive Auto Scaling Based on Marginal Request Change Analysis for Reducing Tail Latency in Kubernetes Cluster;Integration of Generative Adversarial Networks (GAN) and AI Drawing in Criminal Sketches—Applied in Crime Scene Investigation by Law Enforcement;implementation of a High Quality Cardiopulmonary Resuscitation Teaching Intelligence Training and Assessment System;Predicting Twitter Posts from Fake Accounts Using XGBoost Model;the Interplay Between Self-regulated Learning and programming Learning Achievement;a Study on the Continued Viewing Intention of YouTuber Videos: Experiential Marketing, Social Capital, and Habit Perspectives;an Exploratory Study on the Design of Human-Computer Interaction Interfaces for Augmented Reality Integrated Museum Exhibitions;communication-Aware Optimization of Microservice Scheduling on Edge Computing;Design of Computer Model for Raw Material Supplier Selection Based on Entropy Weight TOPSIS Method;exploring How Cybersecurity Competitions Can Help Improve Students’ Practical Abilities in Cybersecurity;Adversarially Residual U2Net for COVID-19 Lung Infection Segmentation from CT Images;partnerships Analysis Based on Measurements of Common Research Interest;System Design of Operating Costs of Intelligent Healthcare Services for the AHP Algorithm;a Multi-party Private Set Union Protocol Against Malicious Adversary;analysis of the Current Status of Research on Unmanned Collaborative Equipment Above and Below Water;data Mining Analysis of New Energy Vehicles Based on Cluster Analysis Technology;Two-Layer Minimum Variance FIR Filter-Based DPLL Design;fuzzy Proximity Two-Dimension Inductance Gesture Recognition System Analysis and Implement;proximity Capacitive Gesture Recognition for Recursive Neighbor Memory Neural Network;application of Genetic Algorithms in automated Mechanical Design.
How to comprehensively, clearly, and accurately obtain the electromagnetic characteristics and relations of planning objects is an important issue in realizing efficient and flexible electromagnetic spectrum planning....
详细信息
ISBN:
(数字)9798350384437
ISBN:
(纸本)9798350384444
How to comprehensively, clearly, and accurately obtain the electromagnetic characteristics and relations of planning objects is an important issue in realizing efficient and flexible electromagnetic spectrum planning. In this paper, we use knowledge Graph, an intelligent technology in Semantic Web research, to construct the knowledge graph ontology of frequency equipment. We use the reasoning structure based on OWL + SWRL + Jess, combined withthe OWL API to construct reasoning rules and procedures to complete the knowledge service required for system-level electromagnetic spectrum planning by setting up specific scenarios.
the proceedings contain 157 papers. the special focus in this conference is on Innovative Computing. the topics include: Proactive Auto Scaling Based on Marginal Request Change Analysis for Reducing Tail Latency in Ku...
ISBN:
(纸本)9789819741205
the proceedings contain 157 papers. the special focus in this conference is on Innovative Computing. the topics include: Proactive Auto Scaling Based on Marginal Request Change Analysis for Reducing Tail Latency in Kubernetes Cluster;Integration of Generative Adversarial Networks (GAN) and AI Drawing in Criminal Sketches—Applied in Crime Scene Investigation by Law Enforcement;implementation of a High Quality Cardiopulmonary Resuscitation Teaching Intelligence Training and Assessment System;Predicting Twitter Posts from Fake Accounts Using XGBoost Model;the Interplay Between Self-regulated Learning and programming Learning Achievement;a Study on the Continued Viewing Intention of YouTuber Videos: Experiential Marketing, Social Capital, and Habit Perspectives;an Exploratory Study on the Design of Human-Computer Interaction Interfaces for Augmented Reality Integrated Museum Exhibitions;communication-Aware Optimization of Microservice Scheduling on Edge Computing;Design of Computer Model for Raw Material Supplier Selection Based on Entropy Weight TOPSIS Method;exploring How Cybersecurity Competitions Can Help Improve Students’ Practical Abilities in Cybersecurity;Adversarially Residual U2Net for COVID-19 Lung Infection Segmentation from CT Images;partnerships Analysis Based on Measurements of Common Research Interest;System Design of Operating Costs of Intelligent Healthcare Services for the AHP Algorithm;a Multi-party Private Set Union Protocol Against Malicious Adversary;analysis of the Current Status of Research on Unmanned Collaborative Equipment Above and Below Water;data Mining Analysis of New Energy Vehicles Based on Cluster Analysis Technology;Two-Layer Minimum Variance FIR Filter-Based DPLL Design;fuzzy Proximity Two-Dimension Inductance Gesture Recognition System Analysis and Implement;proximity Capacitive Gesture Recognition for Recursive Neighbor Memory Neural Network;application of Genetic Algorithms in automated Mechanical Design.
We present an approach to probabilistic logicprogramming and probabilistic argumentation that combines elements of the L-stable semantics and the credal semantics. We derive the complexity of inferences, propose an e...
详细信息
this short paper summarizes an article published in the Journal of automatedreasoning [7]. It presents Pardinus, an extension of the popular Kodkod [12] relational model finder with linear temporal logic (including p...
详细信息
ISBN:
(纸本)9783031331626;9783031331633
this short paper summarizes an article published in the Journal of automatedreasoning [7]. It presents Pardinus, an extension of the popular Kodkod [12] relational model finder with linear temporal logic (including past operators) to simplify the analysis of dynamic systems. Pardinus includes a SAT-based bounded model checking engine and an SMV-based complete model checking engine, both allowing iteration through the different instances (or counterexamples) of a specification. It also supports a decomposed parallel analysis strategy that improves the efficiency of both analysis engines on commodity multi-core machines.
暂无评论