Homepage Aless Lasaruk

Lehrveranstaltungen und Konferenzvorträge

Lehrveranstaltungen

SS2009 Übungen zur Vorlesung Grundlagen der digitalen Bild- und Signalverarbeitung
SS2007 Übungen zur Vorlesung Analysis I
WS06/07 Übungen zur Vorlesung Lineare Algebra und Algebraische Strukturen I
SS2006 Übungen zur Vorlesung Algebra und Logik

Seminar- und Konferenzvorträge

ACA2006 Univariate Weak Quantifier Elimination for the Integers
CASC2007 Weak Quantifier Elimination for the Integers - Beyond the Linear Case
NOCAS2007-2008 Niederbayrisch-Oberösterreichisches Computeralgebra Seminar, Weak Quantifier Elimination for the Integers - Beyond the Linear Case
AMAA 2008 Advanced Microsystems for Automotive Applications 2008, MDSI Range Camera Calibration
ADG 2008 Seventh International Workshop on Automated Deduction in Geometry 2008, Automatic Verification of the Adequacy of Models for Families of Geometric Objects