
-
NNrepair: Constraint-based Repair of Neural Network Classifiers
We present NNrepair, a constraint-based technique for repairing neural n...
read it
-
Compliance Requirements in Large-Scale Software Development: An Industrial Case Study
Regulatory compliance is a well-studied area, including research on how ...
read it
-
NEUROSPF: A tool for the Symbolic Analysis of Neural Networks
This paper presents NEUROSPF, a tool for the symbolic analysis of neural...
read it
-
The Diabetic Buddy: A Diet Regulator andTracking System for Diabetics
The prevalence of Diabetes mellitus (DM) in the Middle East is exception...
read it
-
Recent Trends in Food Intake Monitoring using Wearable Sensors
Obesity and being over-weight add to the risk of some major life threate...
read it
-
Graph-Based Generative Representation Learning of Semantically and Behaviorally Augmented Floorplans
Floorplans are commonly used to represent the layout of buildings. In co...
read it
-
Lightweight Encryption for the Low Powered IoT Devices
The internet of things refers to the network of devices connected to the...
read it
-
KaFHCa: Key-establishment via Frequency Hopping Collisions
The massive deployment of IoT devices being utilized by home automation,...
read it
-
Quantum Computing: A Taxonomy, Systematic Review and Future Directions
Quantum computing is an emerging paradigm with the potential to offer si...
read it
-
3D Object Localization Using 2D Estimates for Computer Vision Applications
A technique for object localization based on pose estimation and camera ...
read it
-
AFP-SRC: Identification of Antifreeze Proteins Using Sparse Representation Classifier
Species living in the extreme cold environment fight against the harsh c...
read it
-
Security Privacy in IoT Using Machine Learning Blockchain: Threats Countermeasures
Security and privacy have become significant concerns due to the involve...
read it
-
Volumetric Lung Nodule Segmentation using Adaptive ROI with Multi-View Residual Learning
Accurate quantification of pulmonary nodules can greatly assist the earl...
read it
-
A Study of the Learnability of Relational Properties (Model Counting Meets Machine Learning)
Relational properties, e.g., the connectivity structure of nodes in a di...
read it
-
Low Cost 3D Printing for Rapid Prototyping and its Application
In the recent years of industrial revolution, 3D printing has shown to g...
read it
-
Heart Segmentation From MRI Scans Using Convolutional Neural Network
Heart is one of the vital organs of human body. A minor dysfunction of h...
read it
-
Chaotic Time Series Prediction using Spatio-Temporal RBF Neural Networks
Due to the dynamic nature, chaotic time series are difficult predict. In...
read it
-
Quantum Calculus-based Volterra LMS for Nonlinear Channel Estimation
A novel adaptive filtering method called q-Volterra least mean square (q...
read it
-
Motion Corrected Multishot MRI Reconstruction Using Generative Networks with Sensitivity Encoding
Multishot Magnetic Resonance Imaging (MRI) is a promising imaging modali...
read it
-
Analysis of Coauthorship Network in Political Science using Centrality Measures
In recent era, networks of data are growing massively and forming a shap...
read it
-
Cross Lingual Speech Emotion Recognition: Urdu vs. Western Languages
Cross-lingual speech emotion recognition is an important task for practi...
read it
-
q-LMF: Quantum Calculus-based Least Mean Fourth Algorithm
Channel estimation is an essential part of modern communication systems ...
read it
-
Automating Motion Correction in Multishot MRI Using Generative Adversarial Networks
Multishot Magnetic Resonance Imaging (MRI) has recently gained popularit...
read it
-
Using Deep Autoencoders for Facial Expression Recognition
Feature descriptors involved in image processing are generally manually ...
read it
-
Abnormal Heartbeat Detection Using Recurrent Neural Networks
The observation and management of cardiac features (using automated card...
read it
-
Interactive Diversity Optimization of Environments
The design of a building requires an architect to balance a wide range o...
read it
-
A Robust Variable Step Size Fractional Least Mean Square (RVSS-FLMS) Algorithm
In this paper, we propose an adaptive framework for the variable step si...
read it