Homepage: Aless Lasaruk

This page summarizes recent and old documents and resources, which may be useful for you. Please, feel free to contact me, if you have questions or contributions to the topics.

Publications and preprints

Here you will find descriptions of file formats used in my computer vision resources.

An XML format specification for generalized pinhole cameras

The documents below are merely preprints of the papers. For a full list of my publications please refer to DBLP or to Google scholar.

Weak Quantifier Elimination for the Full Linear Theory of the Integers with T. Sturm, AAECC 2007
Weak Integer Quantifier Elimination Beyond the Linear Case with T. Sturm, CASC 2007: 275-294

Parametrisches Integer-Solving (in German), Supervisors: Prof. Dr. Volker Weispfenning, PD Dr. Thomas Sturm

Slides

Here you will find slides to my selected talks.

C++ Metaprogramming, Weak dynamic typing and garbage collection with C++, 2010
Automatic Verification of the Adequacy of Models for Families of Geometric Objects with T. Sturm, ADG 2008
Weak Quantifier Elimination for the Integers - Beyond the Linear Case with T. Strum, CASC 2007
Weak Quantifier Elimination for the Integers - Beyond the Linear Case with T. Sturm, NOCAS 2007

Teaching

Here are some links to slides and documents of my courses.

An introduction to camera calibration (in German) (Objective, Data, ContRap worksheet, HTML version)
ContRap tutorial (in German) ( HTML version)

My study materials (in German)

Most of the documents are that old that I do not have the sources for them. The documents contain a bunch of spelling errors. Nevertheless I find them useful even years after my study.