In book
Wiesbaden: Springer, 2017.
Ugandran I., Mahendran A., S. A. et al., Computers and Electrical Engineering 2021 Vol. 96 No. 1 Article 107429
In the modern world, there is a huge increase in the usage of various technologies which may
produce heterogeneous data. Using the latest security algorithms like Triple Data Encryption
Standard (TDES), Rivest Shamir Adleman (RSA), Advanced Encryption Standard (AES) these
(heterogeneous) data are transferred over the internet. Despite of such good security mechanisms,
there exist vulnerabilities to the user ...
Added: November 23, 2021
Kuznetsov S., , in: 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2019).: IEEE, 2019. Ch. 36 P. 1–9.
We prove algorithmic undecidability of the (in)equational theory of residuated Kleene lattices (action lattices), thus solving a problem left open by D. Kozen, P. Jipsen, W. Buszkowski. ...
Added: September 4, 2019
Avdoshin S. M., Набебин А. А., М.: ДМК Пресс, 2019.
The book contains the necessary information from the algorithm theory, graph theory, combinatorics. It is considered partially recursive functions, Turing machines, some versions of the algorithms (associative calculus, the system of substitutions, grammars, Post's productions, Marcov's normal algorithms, operator algorithms). The main types of graphs are described (multigraphs, pseudographs, Eulerian graphs, Hamiltonian graphs, trees, bipartite ...
Added: August 24, 2018