Vol 30 No 4 (2023) | Computer Assisted Methods in Engineering and Science

Skip to main content Skip to main navigation menu Skip to site footer

Articles

Trivializing Verification of Cryptographic Protocols

Jacek Piątkowski, Sabina Szymoniak

389–406
- PDF
Chosen Possibilities of e-Fuzzy Boundary Elements Method Application in the Analysis of Conductivity Problems with Uncertainties

Halina Witek, Bernard Witek

407–426
- PDF
Porting of Finite Element Integration Algorithm to Xeon Phi Coprocessor-based HPC Architectures

Filip Krużel, Krzysztof Banaś, Mauro Iacomo

427–459
- PDF
Convolutional Neural Networks in the Detection of Astronomical Objects from the Messier Catalog

Witold Beluch, Paweł Śliwa

461–479
- PDF

CMM-SolMech 2022

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

Kseniya Yurkova, Tomasz Krykowski

481–503
- PDF
Application of Self-Adaptive Population Rao Algorithms to Optimization of Steel Grillage Structures

Maksym Grzywiński, Tayfun Dede, Barbaros Atmaca

505–520
- PDF
Identification of Thermophysical Parameters Using an Artificial Immune System

Jolanta Dziatkiewicz, Arkadiusz Poteralski

521–537
- PDF

[-] Computer-Aided Software Design for Multi-Concern Assurance

A Hybrid Evolutionary Algorithm of Optimized Controller Placement in SDN Environment

J. Hemagowri, P. Tamil Selvan

539–556
- PDF
Efficient and Robust Medical Image Watermarking Based on Optimal Subband Tree Structuring and Discrete Fractional Fourier Transform

Anusha Chacko, Shanty Chacko

557–581
- PDF