Results 211 to 220 of about 1,352 (259)
Mechanisation of the AKS Algorithm
Journal of Automated Reasoning, 2020 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Hing-Lun Chan +2 more
exaly +4 more sources
Mechanisation of AKS Algorithm: Part 1 – The Main Theorem
Lecture Notes in Computer Science, 2015 The AKS algorithm (by Agrawal, Kayal and Saxena) is a significant theoretical result proving “PRIMES in P”, as well as a brilliant application of ideas from finite fields. This paper describes the first step towards the goal of a full mechanisation of this result: a mechanisation of the AKS Main Theorem, which justifies the correctness (but not the ...
Hing-Lun Chan +2 more
exaly +3 more sources
Improving AKS Algorithm. Proving the Simplicity of Integers
Applied Mathematics and Information Sciences, 2023 Agrawal-Kayal-Saxena (AKS) theorem was proved, from which the above-mentioned algorithm is directly derived. The study has shown that the problem of simplicity is in the complexity class P of polynomial problems.
Kozachok, O.
exaly +4 more sources
Improvement to AKS algorithm. [PDF]
IACR Cryptol. ePrint Arch., 2006 We propose to verify the AKS algorithm identities not for sequential integers, but for integers which are sequentially squared.
Roman Popovych
openaire +2 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
An AK-LDMeans algorithm based on image clustering
Young Scientists Forum 2017, 2018Clustering is an effective analytical technique for handling unmarked data for value mining. Its ultimate goal is to mark unclassified data quickly and correctly. We use the roadmap for the current image processing as the experimental background. In this paper, we propose an AK-LDMeans algorithm to automatically lock the K value by designing the Kcost ...
Yongbin Zhang +3 more
openaire +1 more source
Materials Today: Proceedings, 2021
Abstract Smart logistics is a part of Industry 4.0. With the increased development of the technology in the vehicle industry, the machine learning algorithms are applied on sensor data in order to detect the failure of the components of the vehicle. Several systems for vehicle health monitoring are presented in the literature for delivery of services
S. Vasavi +3 more
openaire +1 more source
Abstract Smart logistics is a part of Industry 4.0. With the increased development of the technology in the vehicle industry, the machine learning algorithms are applied on sensor data in order to detect the failure of the components of the vehicle. Several systems for vehicle health monitoring are presented in the literature for delivery of services
S. Vasavi +3 more
openaire +1 more source
A Note On the Storage Requirement for AKS Primality Testing Algorithm. [PDF]
IACR Cryptol. ePrint Arch., 2013 We remark that AKS primality testing algorithm needs about 1,000,000,000 G (gigabyte) storage space for a number of 1024 bits. Such storage requirement is hard to meet in practice.
Zhengjun Cao
openaire +2 more sources
Variance Analysis of AK-MCS Failure Probability Estimator and Algorithmic Application
Proceedings of the 30th European Safety and Reliability Conference and 15th Probabilistic Safety Assessment and Management Conference, 2020Running a reliability analysis on complex models can be very expensive, requiring advanced simulation methods to reduce the overall numerical cost. Kriging-based adaptive sampling methods for reliability analysis such as AK-MCS Echard et al. (2016a) represent a promising way for reducing this computational cost.
Menz, Morgane +4 more
openaire +1 more source
AK-Modes: A weighted clustering algorithm for finding similar case subsets
2010 IEEE International Conference on Intelligent Systems and Knowledge Engineering, 2010Finding similar crime case subsets is an important task for intelligence analysts in crime investigation. It can not only provide multiple clues to solve crimes but also improve efficiency to catch the criminals. However, the conventional approach by querying specific attributes in relational databases has two defects: first, it is relatively of poor ...
Lianhang Ma, Yefang Chen, Hao Huang
openaire +1 more source