Biannual Report - Fachbereich Mathematik - Technische UniversitÃ¤t ...

More documents

Recommendations

Info

Appl. Sciences, Numer. Algor., Operator Theory: Adv. Appl., Operators Matrices, Topology Appl., book project at Springer Jürgen Saal: Nonlinear Analysis Series B: Real World Applications, SIAM Journal of Mathematical Analysis, Discrete and Continuous Dynamical Systems Series A and Series S, Applied Mathematics Letters, Nonlinear Differential Equations and Applications, Journal of Evolution Equations, Bulletin of the Brazilian Mathematical Society Nils Scheithauer: Communications in Mathematical Physics, Journal für die reine und angewandte <strong>Mathematik</strong>, Journal of Lie Theory, The Ramanujan Journal Werner Schindler: Journal of Cryptographic Engineering, CT-RSA 2012, Eurocrypt 2012 Thomas Streicher: Theoretical Computer Science, Mathematical Structures in Computer Science, Annals of Pure and Applied Logic Stefan Ulbrich: Computational Optimization and Applications, Inverse Problems, Mathematical Programming, Mathematics of Computation, Optimization and Engineering, Optimization Methods & Software, SIAM Journal on Control and Optimization, SIAM Journal on Optimization, SIAM Journal on Scientific Computing Christian H. Weiß: Advances in Statistical Analysis, Applied Stochastic Models in Business and Industry, Arabian Journal for Science and Engineering, ASTIN Bulletin – The Journal of the International Actuarial Association, Communications in Statistics – Simulation and Computation, Communications in Statistics – Theory and Methods, Computational Statistics, Computational Statistics and Data Analysis, Empirical Economics, IIE Transactions, IIE Transactions on Healthcare Systems Engineering, Journal of Agricultural, Biological, and Environmental Statistics, Journal of Applied Statistics, Journal of Mathematical Analysis and Applications, Journal of the Royal Statistical Society, Series B, Mathematical and Computer Modelling, Quality Technology & Quantitative Management, Statistical Modelling: An International Journal, Statistical Papers Irwin Yousept: Computational Optimization and Applications (COAP), Journal of Optimization Theory and Applications (JOTA), Mathematical Methods in the Applied Sciences, Systems and Control Letters, Mathematical and Computer Modelling of Dynamical Systems, Acta Applicandae Mathematicae Martin Ziegler: Theory of Computing Systems, Logical Methods in Computer Science, Mathematical Structures in Computer Science, Journal of Logic and Analysis, Jugend Forscht, Annals of Pure and Applied Logic, Applied Mathematics and Computation, Logic in Computer Science, Entropy 3.6 Software polymake: Software for Geometric Combinatorics polymake started out as a tool for the algorithmic treatment of convex polyhedra. By now it also deals with toric varieties, tropical polytopes, and other objects. The 136 3 Publications
software is jointly developed by the polymake team, lead by Ewgenij Gawrilow (Tom- Tom) and Michael Joswig. For more information, see www.polymake.org Contributors at TU Darmstadt: Benjamin Assarf, Roberto Henschel, Katrin Herr, Silke Horn, Michael Joswig, Katja Kulas, Andreas Paffenholz, Benjamin Schröter ANACONDA: Solving Hyperbolic Partial Differential Algebraic Equations on Networks ANACONDA is a software package to solve hyperbolic partial differential algebraic equations on networks. Particularly, it is designed to solve simulation and optimal control tasks for gas and water supply networks. The software is jointly developed by Oliver Kolb, Björn Geißler and Antonio Morsi (all TU Darmstadt). KARDOS: Solving Time-Dependent Partial Differential Equations KARDOS is a software package to solve partial differential equations in one, two and three space dimension adaptively in space and time. The software is jointly developed by Bodo Erdmann, Rainer Roitzsch (both ZIB) and Jens Lang, TU Darmstadt. For more information, see www.zib.de SDP Package for SCIP: Solving MISDPs using SCIP The SDP Package is a plug-in for the branch-and-bound framework SCIP for solving general MISDPs, see www.opt.tu-darmstadt.de/~smars/scip_sdp.html. Contributor at TU Darmstadt: Sonja Mars SCIP: Software for Solving Constraint Integer Programs SCIP is a framework for solving constrained integer programs and performing branchcut-and-price. It allows total control of the solution process and the access of detailed information. SCIP is also currently one of the fastest non-commercial mixed integer programming (MIP) solvers. It is developed together with the Zuse Insitute Berlin and the University of Erlangen-Nürnberg. For more information, see scip.zib.de Contributor at TU Darmstadt: Marc Pfetsch donlp2: Solving general smooth nonlinear optimization problems, version October 2012 Donlp2 is a software for the solution of general nonlinear programming problems. Different versions exist concerning the programming language (strict f77, f90, C99), the user interface and some options (for example elimination of redundant linear equality constraints and an interfacing known as "reverse communication"). Donlp2 is free for research, whereas commercial use requires licensing by TU Darmstadt. In the period under review the technique of taking numerical gradients has been revised. Four commercial licenses have been sold during this period and 57 academic licenses were given. For more information contact the author spellucci(_at_)mathematik.tu-darmstadt.de or see http://www.mathematik. tu-darmstadt.de/fbereiche/numerik/staff/spellucci/DONLP2/index.html numawww: Interactive computing exercises for numerical methods and continuous optimization Numawww is a cgi/html-based computing device for general numerical methods and methods of continuous optimization. It may be used for exercises during a numerical methods course, as a self teaching aid or even as a small scale computing 3.6 Software 137
Page 1:
Biannual Report Department of Mathe
Page 4 and 5:
3.6 Software . . . . . . . . . . .
Page 6 and 7:
The department is involved in two c
Page 8 and 9:
1.1.2 Collaborative Research Centre
Page 10 and 11:
and mobility. However, such enginee
Page 12 and 13:
y the State of Hesse. The grant was
Page 14 and 15:
Weil representation. We also derive
Page 16 and 17:
Partner: I. Radloff (Universität T
Page 18 and 19:
is Dedekind’s delta function. The
Page 20 and 21:
Project: Analytical and numerical c
Page 22 and 23:
This project investigates FSI probl
Page 24 and 25:
Project: L p -Theory for Incompress
Page 26 and 27:
Partner: M. Pierre, G. Rolland Supp
Page 28 and 29:
Project: Stationary fluid flow in a
Page 30 and 31:
of the boundary which in general is
Page 32 and 33:
[2] F. Ali Mehmeti, R. Haller-Dinte
Page 34 and 35:
Partner: M. Lindner Contact: S. Roc
Page 36 and 37:
Objective of this project is the un
Page 38 and 39:
References [1] B. Daniel. Isometric
Page 40 and 41:
Our research interests range from t
Page 42 and 43:
References [1] J. Reibold and R. Br
Page 44 and 45:
project is in progress. http://www3
Page 46 and 47:
References [1] R. Nitsch and R. Bru
Page 48 and 49:
The aim of this project is to explo
Page 50 and 51:
ehave truely quantum mechanically a
Page 52 and 53:
Together with K. Schade we extended
Page 54 and 55:
from classical proofs). In fact, it
Page 56 and 57:
that satisfy much stronger acyclici
Page 58 and 59:
The groupoid model introduced in [1
Page 60 and 61:
Numerical experiments show that, to
Page 62 and 63:
References [1] H. Egger and C. Walu
Page 64 and 65:
Partner: Prof. Dr. K. Raum (Charit
Page 66 and 67:
References [1] M. Kiehl and F. Knap
Page 68 and 69:
We proposed a way to circumvent art
Page 70 and 71:
Similar to a Monte Carlo simulation
Page 72 and 73:
Algorithmic Discrete Mathematics co
Page 74 and 75:
problem, is in the weak form of the
Page 76 and 77:
In this project, we deal with gas n
Page 78 and 79:
References [1] E. Abele, M. Haydn,
Page 80 and 81:
Contact: U. Lorenz, T. Opfer Refere
Page 82 and 83:
[2] M. Giles and S. Ulbrich. Conver
Page 84 and 85:
of actuators, at which modern techn
Page 86 and 87:
Project: Simulation-based optimizat
Page 88 and 89: The problem of optimal stopping in
Page 90 and 91: Partner: A. Kelava, Institut für P
Page 92 and 93: References [1] C. H. Weiß and H.-Y
Page 94 and 95: - Member of the group "‘Nationale
Page 96 and 97: - Member of GAMM Activity Group “
Page 98 and 99: 2 Teaching Teaching of Mathematics
Page 100 and 101: Graduates of the Bachelor programme
Page 102 and 103: In exercise classes, students work
Page 104 and 105: http://www3.mathematik.tu-darmstadt
Page 106 and 107: and many more. The evaluation and q
Page 108 and 109: - Electronic Geometry Models (Manag
Page 110 and 111: 3.2 Monographs and Books [1] W. Are
Page 112 and 113: [22] M. Berezhnyi and E. Khruslov.
Page 114 and 115: [60] D. Clever, J. Lang, S. Ulbrich
Page 116 and 117: [97] W. Freyn. Kac-Moody Groups, In
Page 118 and 119: [134] K. H. Hofmann and S. A. Morri
Page 120 and 121: [172] S. Le Roux. Infinite nash equ
Page 122 and 123: [210] A. Simpson and T. Streicher.
Page 124 and 125: [10] J. Bokowski and V. Pilaud. On
Page 126 and 127: [37] W. Freyn. Kac-Moody Geometry.
Page 128 and 129: ICALT 2011, 11th IEEE International
Page 130 and 131: [92] S. Ullmann, S. Löbig, and J.
Page 132 and 133: [34] S. Drewes and S. Pokutta. Symm
Page 134 and 135: [76] C. Komo. Convergence Propertie
Page 136 and 137: Reinhard Farwig: Acta Mathematica,
Page 140 and 141: device, requiring minimal knowledge
Page 142 and 143: Petri, Birgit, Perioden, Elementart
Page 144 and 145: Erdene, Zambaga, Evaluation and Ext
Page 146 and 147: Seeger, Jens, Geometrieoptimierung
Page 148 and 149: Omland, Steffen, Multilevel algorit
Page 150 and 151: 2012 Achard, Dominique, Wahl des op
Page 152 and 153: 4.5 Staatsexamen Theses 2011 Bauer,
Page 154 and 155: Leismann, Sophia, Analyse von typis
Page 156 and 157: Nattler, Stefanie, Zum Gefangenendi
Page 158 and 159: Dück, Viktor, Der T-Wert eines koo
Page 160 and 161: Ristl, Konstantin, Optimierung des
Page 162 and 163: 5 Presentations 5.1 Talks and Visit
Page 164 and 165: 25.01.11 Risiken und Nebenwirkungen
Page 166 and 167: 21.06.12 Was ist aus MABIKOM übert
Page 168 and 169: 12.05.11 Twisted traces of CM value
Page 170 and 171: 20.09.12 Combinatorial geometry of
Page 172 and 173: 25.09.11 Two-phase free boundary va
Page 174 and 175: 20.11.12 Lattice polygons and real
Page 176 and 177: Michael Kohler 16.09.11 On nonparam
Page 178 and 179: 11.03.11 Introduction to vertex alg
Page 180 and 181: Marc Pfetsch 16.05.12 Compressed Se
Page 182 and 183: 13.07.12 Kontaktlinien, Elektrokine
Page 184 and 185: Stefan Ulbrich 17.03.11 Optimal Con
Page 186 and 187: 19.03.12 PDE-constrained optimizati
Page 188 and 189:
27.09.11 Towards a computational an
Page 190 and 191:
Matthias Geissert 26.05.11 A free b
Page 192 and 193:
13.10.11 Effective Theory on Arbitr
Page 194 and 195:
09.05.12 Algebraische Kurven und de
Page 196 and 197:
06.09.11 Adaptive Finite Elements w
Page 198 and 199:
Marc Pfetsch 05.03.12 The Maximum k
Page 200 and 201:
10.08.12 Prediction of effective el
Page 202 and 203:
Reinhard Farwig, Oberwolfach (RIP),
Page 204 and 205:
Ulrich Kohlenbach, Carnegie Mellon
Page 206 and 207:
Benjamin Assarf - 3rd polymake Work
Page 208 and 209:
Silke Horn - 1st polymake Workshop,
Page 210 and 211:
- Invited Minisymposium Optimal Con
Page 212 and 213:
13.04.11. Priv.-Doz. Dr. Sören Kra
Page 214 and 215:
09.05.12. Prof. Dr. Werner Schindle
Page 216 and 217:
10.07.12. Prof. Dr. Jens Funke (Uni
Page 218 and 219:
29.06.11. Prof. Dr. Michael Renardy
Page 220 and 221:
11.07.12. Dr. Franck Sueur (Pierre-
Page 222 and 223:
11.11.11. Shiguang Feng (Sun Yat-se
Page 224 and 225:
23.03.12. Dr. Mathieu Dutour Sikiri
Page 226 and 227:
Prof. Dr. Edriss Titi (University o
Page 228 and 229:
Prof. Dr. Juan Carlos de los Reyes
Page 230 and 231:
Prof. Dr. Uwe Thiele (Loughborough
Page 232 and 233:
Dr. Martin Lotz (University of Edin
Page 234 and 235:
- Workshop in Graz, Austria about t
Page 236 and 237:
- SCIP Workshop 2012, October 8 to
Page 238 and 239:
- Ministry of Education Hessen, Rhe
Page 240 and 241:
- Prof. Dr. H. Sohr (Universität P
Page 242 and 243:
- Alf Jonsson (Umeå University), D
Page 244 and 245:
- Prof. Dr. Luc Devroye (McGill Uni
Page 246 and 247:
Sonja Mars - Prof. Dr. Alexander Ma
Page 248 and 249:
- German Federal Network Agency (Bu
Page 250 and 251:
Sara Tiburtius - SPP 1420: “Biomi
Page 252 and 253:
Irwin Yousept - Prof. Dr. Fredi Tr
Page 254 and 255:
• Organization of the Mathematica
Page 256 and 257:
Dean (Studies, from April 2012) Pro
show all

Biannual Report - Fachbereich Mathematik - Technische UniversitÃ¤t ...

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?