Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleApril 2024
FormalFuzzer: Formal Verification Assisted Fuzz Testing for SoC Vulnerability Detection
ASPDAC '24: Proceedings of the 29th Asia and South Pacific Design Automation ConferencePages 355–361https://doi.org/10.1109/ASP-DAC58780.2024.10473911Modern Systems-on-Chips (SoCs) integrate numerous insecure intellectual properties to meet design-cost and time-to-market constraints. Incorporating these SoCs into security-critical systems severely threatens users' privacy. Traditional formal/...
- research-articleJanuary 2024
Improved maximum correntropy cubature Kalman and information filters with application to target tracking under non‐Gaussian noise
International Journal of Adaptive Control and Signal Processing (ACSP), Volume 38, Issue 4Pages 1199–1221https://doi.org/10.1002/acs.3743SummaryThe cubature Kalman filter (CKF) based on the maximum correntropy criterion (MCC) has been widely used in the target tracking. However, numerical problems usually occur when there are outliers in the measurement noise. In order to solve the ...
- research-articleJuly 2023
Optimization-Based Scenario Reduction for Data-Driven Two-Stage Stochastic Optimization
In the field of data-driven optimization under uncertainty, scenario reduction is a commonly used technique for computing a smaller number of scenarios to improve computational tractability and interpretability. However traditional approaches do not ...
We propose a novel, optimization-based method that takes into account the objective and problem structure for reducing the number of scenarios, m, needed for solving two-stage stochastic optimization problems. We develop a corresponding convex ...
- research-articleJanuary 2023
SHarPen: SoC Security Verification by Hardware Penetration Test
- Hasan Al-Shaikh,
- Arash Vafaei,
- Mridha Md Mashahedur Rahman,
- Kimia Zamiri Azar,
- Fahim Rahman,
- Farimah Farahmandi,
- Mark Tehranipoor
ASPDAC '23: Proceedings of the 28th Asia and South Pacific Design Automation ConferencePages 579–584https://doi.org/10.1145/3566097.3567918As modern SoC architectures incorporate many complex/heterogeneous intellectual properties (IPs), the protection of security assets has become imperative, and the number of vulnerabilities revealed is rising due to the increased number of attacks. Over ...
- research-articleMay 2022
Path Planning for Autonomous Cars
ICMVA '22: Proceedings of the 2022 5th International Conference on Machine Vision and ApplicationsPages 87–92https://doi.org/10.1145/3523111.3523124Abstract— Path planning plays a vital role in autonomous driving. It is the replication of the reasoning and decision-making of a human brain. This paper is about analyzing and optimizing a GitHub project which is related to path planning for autonomous ...
-
- research-articleJune 2021
Path Planning for an Autonomous Underwater Vehicle in a Cluttered Underwater Environment Based on the Heat Method
International Journal of Applied Mathematics and Computer Science (IJAMCS), Volume 31, Issue 2Pages 289–301https://doi.org/10.34768/amcs-2021-0020AbstractThis paper proposes a novel autonomous underwater vehicle path planning algorithm in a cluttered underwater environment based on the heat method. The algorithm calculates the isotropic and anisotropic geodesic distances by adding the direction and ...
- research-articleAugust 2020
A Cost Function of Relay Delivery in Vehicle Routing Problem on Transportation between Multi Depots
ICCMS '20: Proceedings of the 12th International Conference on Computer Modeling and SimulationPages 127–131https://doi.org/10.1145/3408066.3408083In Multi Depots Vehicle Routing Problem(MDVRP), the trucks deliver their items to the multiple customers near their depots. When the stocks of the depots are shortage, they need to bring the items from other depots or some warehouses. If the depots are ...
- research-articleJune 2020
Reweighted lp constraint LMS‐based adaptive sparse channel estimation for cooperative communication system
IET Communications (CMU2), Volume 14, Issue 9Pages 1384–1391https://doi.org/10.1049/iet-com.2018.6186The issue of sparsity adaptive channel reconstruction in time‐varying cooperative communication networks through the amplify‐and‐forward transmission scheme is studied. A new sparsity adaptive system identification method is proposed, namely reweighted lp ...
- research-articleJanuary 2019
Experimental Study of Totally Optimal Decision Trees
- Abdulla Aldilaijan,
- Mohammad Azad,
- Mikhail Moshkov,
- Wojciech Penczek,
- Holger Schlingloff,
- Piotr Wasilewski
Fundamenta Informaticae (FUNI), Volume 165, Issue 3-4Pages 245–261https://doi.org/10.3233/FI-2019-1784In this paper, we present results of experimental studies related to the existence of totally optimal decision trees (which are optimal relative to two or more cost functions simultaneously) for nine decision tables from the UCI Machine Learning ...
- research-articleJuly 2018
Analysis of cost function based on Kullback–Leibler divergence in independent component analysis for two uniformly distributed source signals
Electronics and Communications in Japan (WECJ), Volume 101, Issue 8Pages 37–42https://doi.org/10.1002/ecj.12088AbstractIndependent component analysis plays a central role in blind source separation, leading to many applications of signal processing such as telecommunications, speech processing, and biomedical signal processing. Although the independent component ...
- research-articleMarch 2018
Semi-Blind Channel Estimation of MIMO-OFDM Systems Based on Improved PSO-Hopfield neural Network
ISMSI '18: Proceedings of the 2nd International Conference on Intelligent Systems, Metaheuristics & Swarm IntelligencePages 153–157https://doi.org/10.1145/3206185.3219779Channel estimation is the key part of the design of any receiver, this paper proposed a semi-blind channel estimation method of MIMO-OFDM systems based on improved Hopfield neural network. First, the proposed method improved the semi-blind cost function ...
- research-articleFebruary 2018
Elasticity‐based matching by minimising the symmetric difference of shapes
IET Computer Vision (CVI2), Volume 12, Issue 4Pages 412–423https://doi.org/10.1049/iet-cvi.2017.0277The authors consider the problem of matching two shapes assuming these shapes are related by an elastic deformation. Using linearised elasticity theory and the finite‐element method, they seek an elastic deformation that is caused by simple external ...
- research-articleMay 2016
Simulation of Small Social Group Behaviors in Emergency Evacuation
CASA '16: Proceedings of the 29th International Conference on Computer Animation and Social AgentsPages 71–77https://doi.org/10.1145/2915926.2919325In this paper, we present a novel method to simulate the influences of small social group on pedestrian's behaviors under emergency situations. Our method is built on an important observation that the relationships between group members are usually ...
- research-articleMarch 2016
Minimising disparity in distribution for unsupervised domain adaptation by preserving the local spatial arrangement of data
IET Computer Vision (CVI2), Volume 10, Issue 5Pages 443–449https://doi.org/10.1049/iet-cvi.2015.0322Domain adaptation is used for machine learning tasks, when the distribution of the training (obtained from source domain) set differs from that of the testing (referred as target domain) set. In the work presented in this study, the problem of ...
- research-articleFebruary 2016
Congestion Games with Variable Demands
Mathematics of Operations Research (MOOR), Volume 41, Issue 1Pages 255–277https://doi.org/10.1287/moor.2015.0726We initiate the study of congestion games with variable demands in which the players strategically choose both a nonnegative demand and a subset of resources. The players’ incentives to use higher demands are stimulated by nondecreasing and concave ...
- articleJanuary 2016
A simplified cost function heuristic applied to the A*-based path planning
International Journal of Computer Applications in Technology (IJCAT), Volume 54, Issue 2Pages 96–105https://doi.org/10.1504/IJCAT.2016.078766An important task for mobile robots is autonomous navigation, where a robot travels between two locations without the need of human intervention. This task can be described as a planning path problem, whose purpose is to define sequential segments of ...
- articleJanuary 2016
Optimal acceleration autopilot design for non-minimum phase missiles using evolutionary algorithms
International Journal of Bio-Inspired Computation (IJBIC), Volume 8, Issue 4Pages 221–227https://doi.org/10.1504/IJBIC.2016.078664The flight control system is a key element to achieve required performance in missiles and aircrafts. First purpose of flight control system is to ensuring the stability of the system, then, it attempts to force it to track the guidance commands. This ...
- research-articleNovember 2015
Navigation made personal: inferring driving preferences from GPS traces
SIGSPATIAL '15: Proceedings of the 23rd SIGSPATIAL International Conference on Advances in Geographic Information SystemsArticle No.: 31, Pages 1–9https://doi.org/10.1145/2820783.2820808All current navigation systems return efficient source-to-destination routes assuming a "one-size-fits-all" set of objectives, without addressing most personal preferences. Although they allow some customization (like "avoid highways" or "avoid tolls"), ...
- ArticleJuly 2015
Denoising AutoEncoder in Neural Networks with Modified Elliott Activation Function and Sparsity-Favoring Cost Function
ACIT-CSI '15: Proceedings of the 2015 3rd International Conference on Applied Computing and Information Technology/2nd International Conference on Computational Science and IntelligencePages 343–348https://doi.org/10.1109/ACIT-CSI.2015.67Neural networks (NN) are architectures and algorithms for machine learning. They are quite powerful for tasks like classification, clustering, and pattern recognition. Large neural networks can be considered a universal function that can approximate any ...
- research-articleJune 2015
Using statistical characteristics of gradient phases for robust face recognition under illumination variations
Gradient phase, which is treated as an illumination insensitive measure, is an important feature for visual detection and recognition applications, especially under illumination variations. However, fewer statistical characteristics of the gradient phase ...