Geodesic

eHealth and Smart Solutions framework for health monitoring in the course of the pandemic
p. 1-8
Static analysis for safe software upgrade
p. 9-19
Evaluation of scalability in the Fission serverless framework
p. 20-29
Visualization of Read-Copy-Update synchronization contexts in C code
p. 30-40
On the patterns of the nonstationary datagram based fast communication processes
p. 41-55
The Fritz-John Condition System in Interval Branch and Bound method
p. 56-68
A pseudonymization tool for Hungarian
p. 69-80
CAPTCHA recognition using machine learning algorithms with various techniques
p. 81-91
Using extended resolution to represent strongly connected components of directed graphs
p. 92-109
On language classes accepted by stateless 5′ → 3′ Watson-Crick finite automata
p. 110-120
Vibronic spectra of molecules – an experiment with a quantum computer simulator
p. 121-132
Three level benchmarking of Singularity containers for scientific calculations
p. 133-146
An incremental algorithm for computing the transversal hypergraph
p. 147-159
Analysis of retrial queueing systems with two-way communication and impatient customers using simulation
p. 160-169
The educational challenges of ChatGPT
p. 170-181
Enhancing machine translation with quality estimation and reinforcement learning
p. 182-190