Dr. rer. nat. Utz-Uwe Haus
I am a scientific assistant of
Prof. Robert Weismantel
at the Institute
for Mathematical Optimization of the Otto-von-Guericke-Universität
Magdeburg, and Junior Research Group Leader in the FORSYS project MaCS of the
Forschungszentrum
"Dynamische Systeme in Biomedizin und Prozesstechnik".
I am also involved in projects of the DFG-Forschergruppe
FG-468
"Methods from Discrete Mathematics for the Synthesis and Control
of Chemical Processes." and the PAKT projekt of the German Leibniz-Gemeinschaft
"Regulation and Dynamics of Synaptic Protein Networks".
Business
address, office, phone number and email address can be found
here.
Please check My Google Calendar for free/busy times
if you want to make an appointment.
The institute's scheduled seminars can be found in the FMA-IMO Vortragskalender. Feel free to subscribe
to this to receive notifications about upcoming talks. If you feel you should
be able to add entries to this calendar, please contact me.
Encrypted and signed email is welcome.
My keys can be found here or on a
keyserver.
-
The Integral Basis Method for Integer Programming.
(with M. Köppe and R. Weismantel; 2001)
-
On the Way to Perfection:
Primal Operations for Stable Sets in Graphs
(with C. Gentile, M. Köppe,
G. Rinaldi and R. Weismantel; 2002)
-
A Primal All-Integer Algorithm Based on Irreducible Solutions
(with M. Köppe and R. Weismantel; 2003)
-
An Augmentation Framework for Integer Programming
(Dissertation; 2004)
-
Optimal Process Design for the Synthesis of 2,3-dimethylbutene-1
(with J. Gangadwala, A. Kienle, D. Michaels and R. Weismantel; 2005)
-
Crystallographic Texture
Approximation by Quadratic Programming (with
T. Böhlke and V. Schulze; 2005)
-
A Method to evaluate the feasibility of TMB chromatography
for reduced efficiencies and purity requirements based on
discrete optimization (with D. Michaels,
A. Seidel-Morgenstern and R. Weismantel; 2007)
-
A Logical Model Provides Insights into
T-cell Receptor Signaling (with Julio Saez-Rodriguez,
Luca Simeoni, Jonathan Lindquist, Rebecca Hemenway, Ursula Bommhardt,
Boerge Arndt, Robert Weismantel, Ernst D. Gilles Steffen Klamt,
Burkhart Schraven; 2007)
-
GYWOPT, an interactive
system for exploring primal reformulations of integer linear
programs, containing an implementation of the Integral Basis
Method (with
M. Köppe)
-
CPLEX-glue,
an interface that makes the ILOG CPLEX Callable Library
accessible from Guile (a Scheme implementation) and Allegro Common
Lisp (with M. Köppe)
-
CL-MATCH,
an implementation of pattern matching macros for Common Lisp, similar
to the ones found in `Pattern Matching for Scheme' by Andrew K. Wright.
Includes match-lambda and match-let.
-
:DE.UUHAUS.LISP
is my collection of Common-Lisp Packages, bundled conveniently within one
metapackage. The packages are under GPL
license. Currently contains
- AJE - asynchronous job execution (thin wrapper around Allegro CL
multiprocessing).
- CL-MATCH - pattern matching macros for Common Lisp
- GETOPT-LONG - Common Lisp getopt package, extended from the version
of Kevin Rosenberg.
- HTABLE - hashtables with arbitrary comparison predicate.
-
CL-JOINTGEN, a Common-Lisp
implementation of the Joint-Generation Algorithm of Fredman and
Khachiyan for checking duality of monotone boolean formulas, or
computing them, given a feasibility oracle.
-
CL-Opossum, a Common-Lisp
Parser Generator for Parsing Expression Grammars,
packrat style.
-
CL-SATWRAP, a Common-Lisp
wrapper around C/C++ SAT solvers. Wrap your the winner of
the current SATRace and keep your CL solver interface! Source
available via git at http://repo.or.cz/w/cl-satwrap.git.
-
CL-CUDD, a Common-Lisp
wrapper around the Colorado University Decision Diagram library.
Source
available via git at http://repo.or.cz/w/cl-cudd.git.
-
CL-SOAP-UUH,
a work-in-progress modified version of Sven Van Caekenberghe's
CL-SOAP that
attempts to support complicated wsdl files (like the
NCBI eutils)
and will also provide an automatic Common Lisp/CLOS interface generation
for such services. Please discuss issues or success you may have
with my version on the regular CL-SOAP-DEVEL mailing list at
Common-Lisp.net.
-
I updated Eric Naggum's hyperspec.el file for use with
ILISP,
a comprehensive (X)Emacs interface for an inferior Common Lisp,
or other Lisp based language. The result is
cltl2.el. It is now part
of the ILISP distribution, but may be helpful also without it.
As a result
I do provide a mirror copy of
Common Lisp - The Language (2nd Ed.).
The master copy is available
here from Carnegie Mellon's AI group.
-
I have written a Linux driver for the
PalmConnect USB Adapter
based on the specs I received from
KLSI, now K-Micro, the makers of the
KL5KUSB105
chip that the device uses.
You can read my original story,
if you want, but you will find the driver in the
stock linux kernel
since version 2.5.2; stable series kernels contain it since 2.4.18.
-
I have a list of notes about Running Linux on a Sony
VGN-TZ21VN. This includes patches for the r5u870 camera driver.
-
I co-maintain (with
M. Köppe) some unofficial debian packages
deb http://www.math.uni-magdeburg.de/~mkoeppe/imo-debian /
deb-src http://www.math.uni-magdeburg.de/~mkoeppe/imo-debian /
for use with Debian's apt program.
- An ssh client in java is here if stuck at some
ssh-less system.
