Jahresbericht 2008 - Fakultät für Elektrotechnik, Informatik und ...

Weitere Magazine

Empfehlungen

Info

154 University of Twente, Juni 2008, Besuch von Dr. A. Rensink Universität Augsburg, September 2008, Besuch von Dr. G. Schellhorn B. Metzler University of Sheffield, März 2008 Weitere Funktionen H. Wehrheim Mitglied des Senats der Universität Paderborn Mitglied der IFIP Working Group 6.1: Architec - tures and Protocols for Distributed Systems Program Chair für die Konferenz IFM 2009 (Integrated Formal Methods), gemeinsam mit Prof. M. Leuschel, Düsseldorf Mitglied des Steering-Committees der IFIP Konferenzreihe “Formal Methods for Open Object-based Distributed Systems” Mitglied der Programmkomitees der folgenden Tagungen: · IFM 2009, Conference on Integrated Formal Methods · SBMF 2008, Brasilian Symposium on Formal Methods · FESCA 2008, Formal Foundations of Embedded Software and Component-Based Software Architectures, Satellite Workshop von ETAPS · TASE 2008, Theoretical Aspects of Software Engineering · FMOODS 2008, IFIP Working Conference on Formal Methods for Open Object-based Distri - buted Systems · ICFEM 2009, International Conference on Formal Engineering Methods · FMOODS 2009, IFIP Working Conference on Formal Methods for Open Object-based Distributed Systems · FASE 2010, International Conference on Fun - da mental Approaches to Software Enginee - ring Gutachterin für diverse Zeitschriften und Konfe - renzen, für die Studienstiftung des Deutschen Volkes, die Alexander-von-Humboldt-Stiftung, die Niederländische Forschungsorganisation NWO und die Deutsche Forschungs gemein - schaft DFG Aktuelle Forschungsprojekte Refinement in Integrated Notations, mit J. Derrick, University of Sheffield, Förderer: DAAD/British Council ViPar: Abstraktionstechniken zur Verifikation lokaler Eigenschaften großer paralleler Systeme, Förderer: DFG SFB 614: Selbstoptimierende Systeme des Maschinenbaus, Teilprojekt B1: Entwurfs - techniken, Förderer: DFG Kompositionelle Verifikationstechniken für daten- und prozessintegrierende Modellie - rungsformalismen DoubleCheck: Korrektheit von Modelltrans for - mationen (mit der Universität Twente, Dr. A. Rensink) Aktuelle Kooperationen Universität Oldenburg, Prof. E.-R. Olderog Universität des Saarlandes, Prof. B. Finkbeiner University of Sheffield (UK), Prof. J. Derrick Universität Karlsruhe, Prof. R. Reussner Queensland University of Technology (Australien), Dr. G. Smith Universität Augsburg, Dr. G. Schellhorn University of Surrey (UK), Prof. S. Schneider, Dr. H. Treharne University of Oslo (Norwegen), Dr. E. Broch Johnsson University of Twente (Niederlande), Dr. A. Rensink Gastwissenschaftler Prof. Dr. E.-R. Olderog, Universität Oldenburg, März 2008 R. Taylor, University of Sheffield, England, April 2008 Dr. Arend Rensink, University of Twente, Niederlande, Oktober 2008 Dr. Henning Dierks, Offis Oldenburg, November 2008 Prof. Dr. Ralf Reussner, Universität Karlsruhe, Dezember 2008
Institut für Mathematik Prof. Dr. Peter Bender Personal Sekretariat Renate Hoppe Wissenschaftliche Mitarbeiter/innen Tobias Huhmann Kordula Knapstein (derzeit in Elternzeit) Gerda Werth Publikationen Bender, P.: Brauchen wir ein Schulfach „Infor - matik“? – Eine Podiumsdiskussion. In: Korten - kamp, U.; Weigand, H.-G.; Weth, Th. (Hrsg.): Informatische Ideen im Mathematik unterricht. Bericht über die 23. Arbeitstagung des Arbeitskreises „Mathematikunterricht und Informatik“ in der Gesellschaft für Didaktik der Mathematik e.V. vom 23. bis 25. September 2005 in Dillingen. Franzbecker, Hildesheim, Berlin 2008, S. 43–46 Bender, P.: Kann man soziale Durchlässigkeit mit Pisa messen? Das Gymnasium in Bayern (11) 2008, S. 18–22 Huhmann, T.: Rechenquadrate mit Ohren – Ein substanzielles Übungsformat für den Mathe matikunterricht ab der ersten Jahrgangs - stufe. Grundschulmagazin Juli/August 2008, S. 19–26 Prof. Dr. Klaus D. Bierstedt Personal Sekretariat Birgit Duddeck Dozent PD Dr. Bruno Ernst Wissenschaftliche Mitarbeiter/innen Dr. Elke Wolf Dipl.-Math. Sven-Ake Wegner Publikationen Bierstedt, K.D.; Bonet, J.; Taskinen, J.: Weighted inductive limits of spaces of entire functions, Monatsh. Math. 154 (2008), no. 2, pp. 103–120 Bonet, J.; Lindström, M.; Wolf, E.: Differences of composition operators between weighted Banach spaces of holomorphic functions, J. Aust. Math. Soc. 84 (2008), no. 1, pp. 9–20 Bonet, J.; Lindström, M.; Wolf, E.: Isometric weighted composition operators on weighted Banach spaces of type H ∞ , Proc. Am. Math. Soc. 136 (2008), no. 12, 4267–4273 Lindström, M.; Wolf, E.: Essential norm of the difference of weighted composition operators, Monatsh. Math. 153 (2008), no. 2, 133–143 Wolf, E.: A characterization of weighted (LB)spaces of holomorphic functions having the dual density condition, Czech. Math. J. 58 (133) (2008), no. 3, 741–749 Wolf, E.: Differences of composition operators between weighted Banach spaces of holomorphic functions on the unit polydisk, Results Math. 51 (2008), no. 3–4, 361–372 Wolf, E.: Continuity of weighted composition operators between weighted Bloch type spaces, Bull. Aust. Math. Soc. 78 (2008), no. 1, 111– 115 Wolf, E.: Compact differences of composition operators, Bull. Aust. Math. Soc. 77 (2008), no. 1, pp. 161–165 Wolf, E.: Weighted composition operators between weighted Bergman spaces and weighted Banach spaces of holomorphic functions, Rev. Mat. Complut. 21 (2008), no. 2, 475–480 Wolf, E.: Differences ot weighted composition operators. Erscheint in: Collect. Math. Wolf, E.: Weighted composition operators between weighted Banach spaces of holomorphic functions and weighted Bloch type spaces. Erscheint in: Ann. Pol. Math. Wolf, E.: Quasinormable weighted Fréchet spaces of entire functions, Erscheint in: Bull. Belg. Math. Soc. Simon Stevin. Gastaufenthalte E. Wolf Universidad Politécnica de Valencia, Spanien, Februar–März 2008 (mit Vortrag) Tagungen K. D. Bierstedt Third Meeting on Vector Measures, Integration and Applications, Universität Eichstätt, 24.–26. September 2008, Chair für zwei Vorträge Workshop on Functional Analysis on the Occasion of the 70th Birthday of Professor Bernhard Gramsch, Universität Mainz, 17.–18. Oktober 2008 (mit V. Bach) E. Wolf Workshop on Infinite Dimensional Lie Groups and Related Functional Analysis, Universität Paderborn, 6.–8. November 2008 (mit H. Glöckner) Eingeladene Vorträge K. D. Bierstedt Fifth International Workshop on Functional Analysis, Univ. Trier, 7.–13. September 2008 (Hauptvortrag) Workshop on Infinite Dimensional Lie Groups and Related Functional Analysis, Universität Paderborn, 6.–8. November 2008 E. Wolf Fifth International Workshop on Functional Analysis, Univ. Trier, 7.–13. September 2008 Weitere Funktionen Stellv. Vorsitzender, Wissenschaftlicher Beirat des Fachinformationszentrums (FIZ) Karlsruhe Vertreter des Gesellschafters DMV in der Gesellschafterversammlung des FIZ Karlsruhe Erweiterter Vorstand (Beisitzer), Institut für wissenschaftliche Information (IWI), Universität Osnabrück Member, Coordinating Committee Zentralblatt MATH Mitherausgeber der Buchreihe Mathematische Leitfäden, B.G. Teubner Verlag Member, Advisory Board, Mathematische Nachrichten Mitglied, Mathematische Kommission der Heidelberger Akademie der Wissenschaften Korrespondierendes Mitglied, Soc. Roy. Sci., Liège, Belgien Korrespondierendes Mitglied, Real Acad. Cienc., Madrid, Spanien Aktuelle Kooperationen Arbeitsgruppen der Prof. J. Bonet und A. Peris, Universidad Politécnica de Valencia, Spanien Prof. J. Taskinen, Universität Helsinki, Finnland Prof. W. Lusky, Universität Paderborn Prof. Dr. Martin Bruns Personal Sekretariat Renate Hoppe Wissenschaftliche Mitarbeiter/innen Katharina Feuerborn Raphael Fockel Aktuelle Forschungsprojekte Forschungsprojekte in den Bereichen Multi - variate Analyseverfahren der Statistik, Quan - tita tive Datenanalyse, Panelforschung, Mei - nungsforschung, Evaluationen Wirtschaft und Mathematik in Studium und Beruf Führungstechniken bei der Organisation von Mathematik-Hochschulveranstaltungen, Mitarbeiterführung und Projektleitung 155
Seite 1 und 2:
Jahresbericht 2008 Fakultät für E
Seite 3 und 4:
cher fächerübergreifender Zusamme
Seite 5 und 6:
10 8 6 4 2 0 120 100 80 60 40 20 0
Seite 7 und 8:
Internationalität Die Fakultät st
Seite 9 und 10:
Angebote für Schülerinnen und Sch
Seite 11 und 12:
ligten Fächer arbeiten eng zusamme
Seite 13 und 14:
Veranstaltungen für Schülerinnen
Seite 15 und 16:
Unternehmensgründungen aus der Fak
Seite 17 und 18:
Hartel, Rita Navigierbare Kompressi
Seite 19 und 20:
enden waren bei vielen dieser Proje
Seite 21 und 22:
Studiengänge des Instituts für El
Seite 23 und 24:
Schwerpunktprojekt Sonderforschungs
Seite 25 und 26:
Studierendenaustausch mit der Queen
Seite 27 und 28:
Nachrichtentechnik Prof. Dr.-Ing. R
Seite 29 und 30:
Nachrichtentheorie Prof. Dr.-Ing. K
Seite 31 und 32:
Optische Nachrichtentechnik und Hoc
Seite 33 und 34:
Angewandte Datentechnik Prof. Dr.-I
Seite 35 und 36:
Schaltungstechnik Prof. Dr.-Ing. Ul
Seite 37 und 38:
Höchstfrequenzelektronik Prof. Dr.
Seite 39 und 40:
Leistungselektronik und Elektrische
Seite 41 und 42:
Elektrische Messtechnik Prof. Dr.-I
Seite 43 und 44:
Institut für Informatik Informatik
Seite 45 und 46:
Schwerpunktprojekt DFG-Schwerpunktp
Seite 47 und 48:
Schwerpunktprojekt Projekt Locomoti
Seite 49 und 50:
EU-Projekt „Interactive Knowledge
Seite 51 und 52:
Codes und Kryptographie Prof. Dr. r
Seite 53 und 54:
Algorithmen und Komplexität Prof.
Seite 55 und 56:
Theoretische Informatik Prof. Dr. r
Seite 57 und 58:
Weitere Wissenschaftler - Effizient
Seite 59 und 60:
Datenbanken und E-Commerce Prof. Dr
Seite 61 und 62:
Programmiersprachen und Übersetzer
Seite 63 und 64:
Softwaretechnik Prof. Dr. rer. nat.
Seite 65 und 66:
Mensch-Maschine-Wechselwirkung Die
Seite 67 und 68:
Informatik und Gesellschaft Prof. D
Seite 69 und 70:
Mensch-Computer-Interaktion Prof. D
Seite 71 und 72:
Eingebettete Systeme und Systemsoft
Seite 73 und 74:
Technische Informatik Prof. Dr. tec
Seite 75 und 76:
Weitere Wissenschaftler - Rechnerne
Seite 77 und 78:
Weitere Wissenschaftler - Paderborn
Seite 79 und 80:
Studiengänge des Instituts für Ma
Seite 81 und 82:
Algebra und Zahlentheorie Diskrete
Seite 83 und 84:
Algebra und Darstellungstheorie Pro
Seite 85 und 86:
Wissenschaftliches Rechnen Diskrete
Seite 87 und 88:
Angewandte Mathematik - Numerische
Seite 89 und 90:
Angewandte Mathematik und Stochasti
Seite 91 und 92:
Numerische Mathematik Prof. Dr. Nor
Seite 93 und 94:
Analysis Kontinuierliche Mathematik
Seite 95 und 96:
Unendlich-Dimensionale Analysis und
Seite 97 und 98:
Lie-Theorie Prof. Dr. Joachim Hilge
Seite 99 und 100:
Analysis, insbesondere Banachraumth
Seite 101 und 102:
Didaktik der Mathematik Prof. Dr. P
Seite 103 und 104: Didaktik der Mathematik Prof. Dr. H
Seite 105 und 106: Emeritus Prof. Dr. Karl-Heinz Kiyek
Seite 107 und 108: Assoziierte Einrichtungen Die Stär
Seite 109 und 110: Center for Optoelectronics and Phot
Seite 111 und 112: Heinz Nixdorf Institut (HNI) Das He
Seite 113 und 114: L-LAB - Kompetenzzentrum für Licht
Seite 115 und 116: Paderborn Center for Parallel Compu
Seite 117 und 118: Paderborn Center for Advanced Studi
Seite 119 und 120: s-lab - Software Quality Lab Egal o
Seite 121 und 122: · IEEE Computer Society, TC Softwa
Seite 123 und 124: Gastaufenthalte Gastaufenthalt an d
Seite 125 und 126: Weitere Funktionen Mitglied des L-L
Seite 127 und 128: entwickeln wir mit unseren Partnern
Seite 129 und 130: Wahab, M. S.: Visual Landmarks Base
Seite 131 und 132: Publikationen Zeitschriftenbeiträg
Seite 133 und 134: Bendfeld, J.; Ditscherlein, R.; Spl
Seite 135 und 136: · Prof. Dr. Markus Lohrey, Univers
Seite 137 und 138: Tagungen: · BPM 2008, 6th Internat
Seite 139 und 140: International Workshop Re-Architect
Seite 141 und 142: zwischen den auf unterschiedlichen
Seite 143 und 144: Schulabteilung der Bezirksregierung
Seite 145 und 146: obotic networks. In: IFIP Internati
Seite 147 und 148: Dr. rer. nat. Thomas Sauerwald Rand
Seite 149 und 150: ware Approach to Dynamically Config
Seite 151 und 152: Mitglied Programmkomitee: DVCON ’
Seite 153: Prof. Dr. Safet Krkic, Universität
Seite 157 und 158: angenommen bei: Proceedings of the
Seite 159 und 160: Publikationen Anger, K.; Hansen, S.
Seite 161 und 162: Kaniuth, E.; Lau, A.T.; Pym, J.: On
Seite 163 und 164: J. Taskinen, University of Helsinki
Seite 165 und 166: embedding and coloring properties o
Seite 167 und 168: Rechts: Neue West fäli sche, 12. F
Seite 169 und 170: Oben: Westfalen-Blatt, 1./2. Mai 20
Seite 171 und 172: Rechts: Neue Westfälische, 2. Juli
Seite 173 und 174: Oben: Neue Westfälische, 6. August
Seite 175 und 176: Oben: Westfalen-Blatt, 14. November
Alle anzeigen

Jahresbericht 2008 - Fakultät für Elektrotechnik, Informatik und ...

Erfolgreiche ePaper selbst erstellen

Template löschen?

Als Template speichern?