
Arguments for the Effectiveness of Human Problem Solving
The question of how humans solve problem has been addressed extensively....
read it

Bezier Curves Intersection Using Relief Perspective
Presented paper describes the method for finding the intersection of cla...
read it

Smallest snarks with oddness 4 and cyclic connectivity 4 have order 44
The family of snarks  connected bridgeless cubic graphs that cannot be...
read it

Simple cubic graphs with no short traveling salesman tour
Let tsp(G) denote the length of a shortest travelling salesman tour in a...
read it

Insufficient properties of image encryption algorithms
We analyze the security of recently proposed image encryption scheme [1]...
read it

The smallest nontrivial snarks of oddness 4
The oddness of a cubic graph is the smallest number of odd circuits in a...
read it

Short cycle covers of cubic graphs and intersecting 5circuits
A cycle cover of a graph is a collection of cycles such that each edge o...
read it

On greedy heuristics for computing Defficient saturated subsets
Let F be a set consisting of n real vectors of dimension m ≤ n. For any ...
read it

Efficient elimination of Skolem functions in firstorder logic without equality
We prove that elimination of a single Skolem function in pure logic incr...
read it

On Herbrand Skeletons
Herbrand's theorem plays an important role both in proof theory and in c...
read it

Detection of 3D Bounding Boxes of Vehicles Using Perspective Transformation for Accurate Speed Measurement
Detection and tracking of vehicles captured by traffic surveillance came...
read it
Comenius University in Bratislava
Comenius University in Bratislava is the largest university in Slovakia, with most of its faculties located in Bratislava.