Vol. 30 No. 4 (2023)

Trivializing Verification of Cryptographic Protocols

Chosen Possibilities of ε-Fuzzy Boundary Elements Method Application in the Analysis of Conductivity Problems with Uncertainties

Porting of Finite Element Integration Algorithm to Xeon Phi Coprocessor-based HPC Architectures

Convolutional Neural Networks in the Detection of Astronomical Objects from the Messier Catalog

Modeling of Cracking of the Concrete Cover Taking into Account the Coupled Diffusion/Mechanical Process

Application of Self-Adaptive Population Rao Algorithms to Optimization of Steel Grillage Structures

Identification of Thermophysical Parameters Using an Artificial Immune System

A Hybrid Evolutionary Algorithm of Optimized Controller Placement in SDN Environment

Efficient and Robust Medical Image Watermarking Based on Optimal Subband Tree Structuring and Discrete Fractional Fourier Transform