259 Result(s)
-
Chapter and Conference Paper
AISE: A Symbolic Verifier by Synergizing Abstract Interpretation and Symbolic Execution (Competition Contribution)
AISE is a static verifier that can verify the safety properties of C programs. The core of AISE is a program verification framework that synergizes abstract interpretation and symbolic execution in a novel manner...
-
Chapter and Conference Paper
FDSE: Enhance Symbolic Execution by Fuzzing-based Pre-Analysis (Competition Contribution)
FDSE serves as an automatic test generation tool designed for C programs based on symbolic execution. FDSE employs fuzzing-based pre-analysis and combines static symbolic execution and dynamic symbolic execution ...
-
Chapter and Conference Paper
Z3-Noodler: An Automata-based String Solver
Z3-Noodler is a fork of Z3 that replaces its string theory solver with a custom solver implementing the recently introduced stabilization-based algorithm for solving word equations with regular constraints. An ex...
-
Chapter and Conference Paper
Correction to: Research on Conversational Interaction Design Strategy of Shop** APP Based on Context Awareness
-
Chapter and Conference Paper
Correction to: Research on Interactive Interface Design of Vehicle Warning Information Based on Context Awareness
-
Chapter and Conference Paper
A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification)
We present a theory of Cartesian arrays, which are multi-dimensional arrays with support for the projection of arrays to sub-arrays, as well as for updating sub-arrays. The resulting logic is an extension of C...
-
Chapter and Conference Paper
AutoQ: An Automata-Based Quantum Circuit Verifier
We present a specification language and a fully automated tool named AutoQ for verifying quantum circuits symbolically. The tool implements the automata-based algorithm from [14] and extends it with the capabilit...
-
Chapter
Towards Explainability for AI Fairness
AI explainability is becoming indispensable to allow users to gain insights into the AI system’s decision-making process. Meanwhile, fairness is another rising concern that algorithmic predictions may be misal...
-
Chapter and Conference Paper
Correction to: Crossed-Time Delay Neural Network for Speaker Recognition
The book was inadvertently published with a typo in the third author’s name “**aoshu Shi”, i.e., an extra “s” was added whereas it should have read “**aohu Shi”. This has been now corrected with the erratum.
-
Chapter and Conference Paper
Visual Compiler: Towards Translating Digital UI Design Draft to Front-End Code Automatically
One assignment of a front-end engineer is to transform the User Interface (UI) design drafts to arrangements with program compatibilities. To furnish the customer requirement, engineers usually need to consid...
-
Chapter and Conference Paper
Construction of Airlines Safety Subculture Based on Human Factor Analysis
Airlines safety culture is composed of many elements, which can be called subculture or branch of safety culture. The human factors that lead to unsafe incidents in airlines were analyzed, mainly including vio...
-
Chapter and Conference Paper
Off-Policy Recommendation System Without Exploration
Recommendation System (RS) can be treated as an intelligent agent which aims to generate policy maximizing customers’ long term satisfaction. Off-policy reinforcement learning methods based on Q-learning and a...
-
Chapter and Conference Paper
Safety Performance-Based Risk Assessment for Aviation Fuel Supply of Civil Aviation
With the wide implementation of safety management system in civil aviation industry, the implementation efficiency of safety management system has been paid more and more attentions. Safety performance managem...
-
Chapter and Conference Paper
Investigating the Role of Politeness in Human-Human Online Tutoring
This study aims to investigate the role of politeness in online-tutoring practices by analyzing a large-scale human-human tutorial dialogue dataset. To this end, we employed linguistic theories of politeness t...
-
Chapter and Conference Paper
Design Method of Online Health Education with Service Interaction System for the Elderly
The demand for elderly health education and health counseling is increasing and the quality of health services for the elderly needs to be improved. Therefore, the purpose of this study is to explore the fact...
-
Chapter and Conference Paper
Effectiveness of the Immersive Virtual Reality in Upper Extremity Rehabilitation
Stroke has been one of the leading causes of death worldwide for the past 15 years. Upper limb dysfunction is one of the main symptoms in stroke patients. The purpose of is to evaluate the treatment effectiven...
-
Chapter and Conference Paper
Network Anomaly Detection Using Federated Deep Autoencoding Gaussian Mixture Model
Deep autoencoding Gaussian mixture model (DAGMM) employs dimensionality reduction and density estimation and jointly optimizes them for unsupervised anomaly detection tasks. However, the absence of large amoun...
-
Chapter and Conference Paper
Comparison of Pedestrians’ Gap Acceptance Behavior Towards Automated and Human-Driven Vehicles
To protect pedestrian safety, automated vehicles can adopt a conservative strategy by yielding to pedestrians in all interactions and external human-machine interface was suggested to convey vehicle intentions...
-
Chapter and Conference Paper
Explore the Appeal of Social Media in Aesthetics Communication Among Different Culture
The way social media in aesthetics communication changes the traditional model of marketing revolutionarily. This type of communication generally uses many delicately designed images online to activate consume...
-
Chapter and Conference Paper
Comprehensive Evaluation of an Educational Information Management Solution for Parents: MyStudentScope
Existing electronic student information systems used by schools were designed from the perspective of the educators or students, not the parents. Parents and caregivers have challenges optimizing their use of ...