Search
Search Results
-
-
An extended sparse model for blind image deblurring
Blind image deblurring is a classical ill-posed problem that usually requires constraints on the clean image, the blur kernel, and noise to make it...
-
Active model learning of stochastic reactive systems (extended version)
Black-box systems are inherently hard to verify. Many verification techniques, like model checking, require formal models as a basis. However, such...
-
Security Analysis of Blockchain Layer-One Sharding Based Extended-UTxO Model
Blockchain technology facilitates the transfer of digital assets, accomplished through the distributed storage of a transaction ledger, allowing... -
Monoidal Extended Stone Duality
Extensions of Stone-type dualities have a long history in algebraic logic and have also been instrumental for proving results in algebraic language... -
Modeling NP-problems with families of extended graph-based reaction systems
In this paper, we continue the investigation of graph-based reaction systems. We extend the notion by input and output states as well as admitted...
-
Simplification of Extended Finite State Machines: A Matrix-Based Approach
Extended Finite State Machines play a crucial role in capturing complex behaviors and interactions in the field of system modeling and analysis.... -
Extended recommendation-by-explanation
Studies have shown that there is an intimate connection between the process of computing recommendations and the process of generating corresponding...
-
Extended Replacement Models
The following three extended replacement models are considered: We take up age replacement with two failure modes such as major Two failure modes and... -
Exploring factors affecting the adoption of MOOC in Generation Z using extended UTAUT2 model
The advent of Internet heralded the rise of scalable educational technology dubbed as massive open online course (MOOC). Easy to use, access,...
-
A maneuvering target tracking based on fastIMM-extended Viterbi algorithm
A fastIMM-extended Viterbi (fastIMM-EV) algorithm-based maneuvering target tracking method is proposed for the real-time tracking of ground...
-
Temporally extended goal recognition in fully observable non-deterministic domain models
Goal Recognition is the task of discerning the intended goal that an agent aims to achieve, given a set of goal hypotheses, a domain model, and a...
-
Extended dissipative criteria for delayed semi-discretized competitive neural networks
This brief investigates the extended dissipativity performance of semi-discretized competitive neural networks (CNNs) with time-varying delays....
-
An online intrusion detection method for industrial control systems based on extended belief rule base
Intrusion detection in industrial control systems (ICS) is crucial for maintaining the security of physical information systems. However, the...
-
Extended SEIR Model for Health Policies Assessment Against the COVID-19 Pandemic: the Case of Argentina
This work presents an extended and age-band compartmentalised SEIR model that allows describing the spread evolution of SARS-CoV-2 and evaluating the...
-
Willingness of university students to continue using e-Learning platforms after compelled adoption of technology: Test of an extended UTAUT model
The COVID-19 pandemic has prompted the adoption of an e-Learning pedagogy. This forced teachers and students to shift to online learning and thus was...
-
ISOD: improved small object detection based on extended scale feature pyramid network
Rapid and accurate target detection is one of the inevitable requirements of intelligent construction site. To meet the speed requirements and...
-
A novel grey Bass extended model considering price factors for the demand forecasting of European new energy vehicles
The vigorous development of new energy vehicles (NEVs) has become an effective approach for achieving carbon emission reduction and carbon neutrality...
-
EGARNet: adjacent residual lightweight super-resolution network based on extended group-enhanced convolution
Convolutional neural networks can solve single-image super-resolution (SR) problems owing to their powerful learning capabilities. At present, most...
-
Dynamic Extrapolation in Extended Timed Automata
Abstractions, such as extrapolation, ensure the termination of timed automata model checking. However, such methods are normally only defined for...