The proceedings contain 262 papers. The topics discussed include: design of mesochronous dual clock FIFO buffer with modified synchronizer circuit;autonomous integrity monitoring of INS/GPS integrated navigation syste...
ISBN:
(纸本)9781665482714
The proceedings contain 262 papers. The topics discussed include: design of mesochronous dual clock FIFO buffer with modified synchronizer circuit;autonomous integrity monitoring of INS/GPS integrated navigation system under multipath environment;data analysis and modeling of body sensor network in healthcare application;optimal extreme learning machine based traffic congestion control system in vehicular network;a study on traffic matrix estimation techniques in software-defined networks;analysis of quality of service parameters and monitoring of energy consumption in mobile wireless ad hoc networks;crime data analysis using big data analytics and visualization using tableau;securing the vehicular communication against malicious node using various types of security/privacy algorithms: a survey;bidirectional battery charger circuit using buck/boost converter;an innovative method to predict the accuracy of phishing websites by comparing logistic regression algorithm with support vector machine algorithm;burp suite extension for script based attacks for web applications;a state-of-the-art approach for securing online auction system;a novel method for sample selection in audio stenographic systems;securing biometric data with optimized share creation and visual cryptography technique;and network policy enforcement: an intrusion prevention approach for critical infrastructures.
The proceedings contain 67 papers. The special focus in this conference is on Tools and algorithms for the Construction and Analysis of Systems. The topics include: A New Approach for Active Automata Learning Based on...
ISBN:
(纸本)9783030995263
The proceedings contain 67 papers. The special focus in this conference is on Tools and algorithms for the Construction and Analysis of Systems. The topics include: A New Approach for Active Automata Learning Based on Apartness;learning Realtime One-Counter Automata;scalable Anytime algorithms for Learning Fragments of Linear Temporal Logic;learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes;inferring Interval-Valued Floating-Point Preconditions;neuReach: Learning Reachability Functions from Simulations;inferring Invariants with Quantifier Alternations: Taming the Search Space Explosion;linSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural network Activation Functions;The Complexity of LTL Rational Synthesis;Kmclib: Automated Inference and Verification of Session Types from OCaml Programs;automated Translation of Natural Language Requirements to Runtime Monitors;maskD: A Tool for Measuring Masking Fault-Tolerance;better Counterexamples for Dafny;cvc5: A Versatile and Industrial-Strength SMT Solver;clausal Proofs for Pseudo-Boolean Reasoning;moving Definition Variables in Quantified Boolean Formulas;a Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic;property Directed Reachability for Generalized Petri Nets;transition Power Abstractions for Deep Counterexample Detection;synthesis of Compact Strategies for Coordination Programs;searching for Ribbon-Shaped Paths in Fair Transition Systems;coVeriTeam: On-Demand Composition of Cooperative Verification Systems;ZDD Boolean Synthesis;comparative Verification of the Digital Library of Mathematical Functions and computer Algebra Systems;Verifying Fortran Programs with CIVL;NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems;efficient Neural network Analysis with Sum-of-Infeasibilities;formal Verification of the Ethereum 2.0 Beacon Chain.
The proceedings contain 67 papers. The special focus in this conference is on Tools and algorithms for the Construction and Analysis of Systems. The topics include: A New Approach for Active Automata Learning Based on...
ISBN:
(纸本)9783030995232
The proceedings contain 67 papers. The special focus in this conference is on Tools and algorithms for the Construction and Analysis of Systems. The topics include: A New Approach for Active Automata Learning Based on Apartness;learning Realtime One-Counter Automata;scalable Anytime algorithms for Learning Fragments of Linear Temporal Logic;learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes;inferring Interval-Valued Floating-Point Preconditions;neuReach: Learning Reachability Functions from Simulations;inferring Invariants with Quantifier Alternations: Taming the Search Space Explosion;linSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural network Activation Functions;The Complexity of LTL Rational Synthesis;Kmclib: Automated Inference and Verification of Session Types from OCaml Programs;automated Translation of Natural Language Requirements to Runtime Monitors;maskD: A Tool for Measuring Masking Fault-Tolerance;better Counterexamples for Dafny;cvc5: A Versatile and Industrial-Strength SMT Solver;clausal Proofs for Pseudo-Boolean Reasoning;moving Definition Variables in Quantified Boolean Formulas;a Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic;property Directed Reachability for Generalized Petri Nets;transition Power Abstractions for Deep Counterexample Detection;synthesis of Compact Strategies for Coordination Programs;searching for Ribbon-Shaped Paths in Fair Transition Systems;coVeriTeam: On-Demand Composition of Cooperative Verification Systems;ZDD Boolean Synthesis;comparative Verification of the Digital Library of Mathematical Functions and computer Algebra Systems;Verifying Fortran Programs with CIVL;NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems;efficient Neural network Analysis with Sum-of-Infeasibilities;formal Verification of the Ethereum 2.0 Beacon Chain.
The proceedings contain 51 papers. The special focus in this conference is on 3D Imaging Technologies- Multidimensional Signal Processing and Deep Learning. The topics include: Research on the Application of 3D Modeli...
ISBN:
(纸本)9789819912292
The proceedings contain 51 papers. The special focus in this conference is on 3D Imaging Technologies- Multidimensional Signal Processing and Deep Learning. The topics include: Research on the Application of 3D Modeling technology in Mechanical Structure Teaching;2D Numerical Model Used to Investigate the Influence of Vegetation on Geomorphological Evolution of Mudflats;design and Experimental Verification of High Functional Density Cubesat System;space Design of Exhibition Hall Based on Virtual Reality;Identification of Expressway Traffic States Based on the Enhanced FCM Algorithm;algorithms Applied in Soft Tissue Deformation Simulation: A Survey;soft Tissue Cutting Based on Position Dynamics;research on Application technology of Multi-source Fusion of 3D Digital Resources in Power Grid;rapid Identification of Herbaceous Biomass Based on Raman Spectrum Analysis;a Knowledge Representation Method for Hierarchical Diagnosis Decision-Making Under Uncertain Conditions;research on Spam Detection with a Hybrid Machine Learning Model;research on Weld Defect Object Detection Based on Multi-channel Fusion Convolutional Neural network;Design and Research of Highway Tunnel Construction Positioning System Based on UWB;research on Cross Domain Data Analysis and Data Mining technology of Power Grid Digital Benefits;graph Convolutional Neural networks for Drug Target Affinity Prediction in U-Shaped and Skip-Connection Architectures;SOC Estimation of Lithium Titanate Battery Based on Variable Temperature Equivalent Model;research and Implementation of Hybrid Storage Method for Multi-source Heterogeneous Data of Electric Distribution network;Research on Measuring Method of Ball Indentation Based on MATLAB Image Edge Detection;multi-feature Extraction of Mineral Zone of Tabling Through Deep Semantic Segmentation.
The proceedings contain 51 papers. The special focus in this conference is on 3D Imaging Technologies- Multidimensional Signal Processing and Deep Learning. The topics include: Research on the Application of 3D Modeli...
ISBN:
(纸本)9789819911448
The proceedings contain 51 papers. The special focus in this conference is on 3D Imaging Technologies- Multidimensional Signal Processing and Deep Learning. The topics include: Research on the Application of 3D Modeling technology in Mechanical Structure Teaching;2D Numerical Model Used to Investigate the Influence of Vegetation on Geomorphological Evolution of Mudflats;design and Experimental Verification of High Functional Density Cubesat System;space Design of Exhibition Hall Based on Virtual Reality;Identification of Expressway Traffic States Based on the Enhanced FCM Algorithm;algorithms Applied in Soft Tissue Deformation Simulation: A Survey;soft Tissue Cutting Based on Position Dynamics;research on Application technology of Multi-source Fusion of 3D Digital Resources in Power Grid;rapid Identification of Herbaceous Biomass Based on Raman Spectrum Analysis;a Knowledge Representation Method for Hierarchical Diagnosis Decision-Making Under Uncertain Conditions;research on Spam Detection with a Hybrid Machine Learning Model;research on Weld Defect Object Detection Based on Multi-channel Fusion Convolutional Neural network;Design and Research of Highway Tunnel Construction Positioning System Based on UWB;research on Cross Domain Data Analysis and Data Mining technology of Power Grid Digital Benefits;graph Convolutional Neural networks for Drug Target Affinity Prediction in U-Shaped and Skip-Connection Architectures;SOC Estimation of Lithium Titanate Battery Based on Variable Temperature Equivalent Model;research and Implementation of Hybrid Storage Method for Multi-source Heterogeneous Data of Electric Distribution network;Research on Measuring Method of Ball Indentation Based on MATLAB Image Edge Detection;multi-feature Extraction of Mineral Zone of Tabling Through Deep Semantic Segmentation.
The proceedings contain 53 papers. The special focus in this conference is on Computational Science and technology. The topics include: Smart Cattle: Cattle Live Weight Estimation Based on a Deep Learning Approach;The...
ISBN:
(纸本)9789811984051
The proceedings contain 53 papers. The special focus in this conference is on Computational Science and technology. The topics include: Smart Cattle: Cattle Live Weight Estimation Based on a Deep Learning Approach;The Design of a New IT Governance Framework to Optimize the Utilization of Information technology for MSME;a Safe Box Safety System with Facial Authentication for Multiple Users;depression Detection Based on Features of Depressive Behaviour Through Social Media Analytic: A Systematic Literature Review;movies and Learning: Does Watching Movies Help Students Improve Learn English?;analyzing the Financial Performance of Transportation Companies with Goal Programming Model;Virtual Reality Vehicle Inspection Routine (VR-VIR): Evaluation of technology Acceptance;attendance Management System with Half-Covered and Full-Facial Recognition Feature;employing Smart Educational Aids and Multimedia to Teach Reading Skill to Students with Specific Learning Difficulty: Effectiveness Identification and Task Specificity;malay Fake News Classification Using a Deep Learning Approach;educational Video Production: Literature Review on Issues and Challenges of Digital Video Composition;fitweet: Arduino-Based Smartwatch for Early Anticipatory Anxiety Notification System;Student’s Mental Health Diagnostic Expert System Using DASS Analysis and Rule-Based Reasoning: A Proposal;Complementary Preparation for Frame Alignment algorithms Using PYNQ-Z2 FPGA;identification and Analysis of Maize Leaf Diseases and Insect Pests Based on Machine Learning;information technology Model for Health Sector in Oman;a Simulation Approaches in Modelling the Assessment for Evacuation Model;gamified Augmented Reality Mobile Application for Tourism in Kuching;Prediction of CO2 Breakthrough Time in Packed Bed Adsorption Column Using Artificial Neural network.
The proceedings contain 33 papers. The topics discussed include: research on network security threat analysis technology based on ontology;research on rural e-commerce reverse logistics network based on constrained cl...
The proceedings contain 33 papers. The topics discussed include: research on network security threat analysis technology based on ontology;research on rural e-commerce reverse logistics network based on constrained clustering algorithm;compressed sensing with embedding negative-positive transformation for image compression-encryption applications;safe path planning of UAV based on comprehensive improved particle swarm optimization algorithm;a scientific research recommendation system based on privacy-preserving training dataset;a mobile traffic prediction model based on area spatio-temporal feature;research on auxiliary train location method based on trajectory constraint;robustness of controlling and observing edge dynamics in complex networks;and high-concurrency solution for intelligent connected vehicle race based on cloud computing.
The proceedings contain 86 papers. The topics discussed include: bandwidth resources prediction for dynamic networking slicing based on time series analysis;optimal design of resource discovery-allocation- transmissio...
ISBN:
(纸本)9781665498586
The proceedings contain 86 papers. The topics discussed include: bandwidth resources prediction for dynamic networking slicing based on time series analysis;optimal design of resource discovery-allocation- transmission-offloading strategy in mobile edge computing;entity recognition of power fault disposal based on attention model;traffic flow prediction based on spatio-temporal attention block;an adaptive plotting method for large-scale symbols;multi-hop question answering model based on Chinese open domain knowledge graph;real-time medical electronic data mining based on shapelet pattern recognition;mining hub nodes based on fast Brandes betweenness centrality in a weighted complex transportation network;application of computer intelligent data mining in quantitative analysis of interior space design;evaluation method based on random forests for empirical algorithms of penetration effects;and a joint model based on prior knowledge for war research report information extraction.
The proceedings contain 30 papers. The special focus in this conference is on Towards new e-Infrastructure and e-Services for Developing Countries. The topics include: Disjoint Routing algorithms: A Systematic Literat...
ISBN:
(纸本)9783031348952
The proceedings contain 30 papers. The special focus in this conference is on Towards new e-Infrastructure and e-Services for Developing Countries. The topics include: Disjoint Routing algorithms: A Systematic Literature Review;Rebuilding Kenya’s Rural Internet Access from the COVID-19 Pandemic;barriers and Facilitators of eHealth Adoption Among Patients in Uganda – A Quantitative Study;survey of Detection and Identification of Black Skin Diseases Based on Machine Learning;community networks in Kenya: Characteristics and Challenges;determinants of Cybercrime Victimization: Experiences and Multi-stage Recommendations from a Survey in Cameroon;modelling and Multi-agent Simulation of Urban Road network;intelligent Tutoring System to Learn the Transcription of Polysemous Words in Mooré;assessing the Quality of Acquired Images to Improve Ear Recognition for Children;autonomous Electromagnetic Signal Analysis and Measurement System;electrical Big Data’s Stream Management for Efficient Energy Control;software Vulnerabilities Detection Using a Trace-Based Analysis Model;a Lightweight and Robust Dynamic Authentication System for Smarthome;Assessing the Impact of DNS Configuration on Low Bandwidth networks;Mathematical Analysis of DDoS Attacks in SDN-based 5G;a 5G-Enabled E-Infrastructure for Multipoint Videoconferencing in Higher Education Institutions of Burkina Faso;virtual Fences: A Systematic Literature Review;anchor-Free Localization Algorithm Using Controllers in Wireless Sensors networks;Towards ICT-Driven Tanzania Blue Economy: The Role of Higher Learning Institutions in Supporting the Agenda;A Fuzzy System Based Routing Protocol to Improve WSN Performances;digital Transformation of the Textile and Fashion Design Industry in the Global South: A Scoping Review;centrality Based algorithms for Controller Placements in Software Defined Wide Area networks;preface;a Review of Federated Learning: algorithms, Frameworks and Applications.
The proceedings contain 23 papers. The topics discussed include: prospects for the use of algebraic rings to describe the operation of convolutional neural networks;measuring airport service quality using machine lear...
ISBN:
(纸本)9781450396943
The proceedings contain 23 papers. The topics discussed include: prospects for the use of algebraic rings to describe the operation of convolutional neural networks;measuring airport service quality using machine learning algorithms;a visual learning based robotic grasping system;miscellaneous EEG preprocessing and machine learning for pilots’ mental states classification: implications;machine learning for the posture evaluation of women snatch barbell trajectory;incremental learning of classification models in deep learning;carbon-fiber-reinforced polymer as confinement reinforcement to maximize compressive strength of engineered bamboo: an artificial neural network model;a comprehensive study on machine learning in breast cancer detection and classification;deep ternary hashing code for palmprint retrieval and recognition;anti-collision system for accident prevention in underground mines using computer vision;and a semantic real-time activity recognition system for sequential procedures in vocational learning.
暂无评论