Veröffentlichungen 2012 und 2013

2013

E. Auer, A. Chuev, R. Cuypers, St. Kiel & W. Luther
Relevance of Accurate and Verified Numerical Algorithms for Verification and Validation in Biomechanics. Safety, Reliability, Risk and Life-Cycle Performance of Structures and Infrastructures, George Deodatis, Bruce R. Ellingwood, Dan M. Frangopol, eds., London 2013, pp. 391-398

G. Rebner, D. Sacher & W. Luther
Verified stochastic methods: The evolution of the Dempster-Shafer with intervals (DSI) toolbox. Safety, Reliability, Risk and Life-Cycle Performance of Structures and Infrastructures, George Deodatis, Bruce R. Ellingwood, Dan M. Frangopol, eds., London 2013, pp. 541 -548

D. Sacher, D. Biella, & W. Luther
Towards a versatile metadata exchange format for digital museum collections. IEEE Proceedings 2013 Digital Heritage International Congress Vol 2 28 Oct – 1 Nov 2013 Marseille, France, 129-136, ISBN: 978-1-4799-3169-9

S. Kiel, E. Auer & A. Rauh
Uses of GPU Powered Interval Optimization for Parameter Identification in the Context of SO Fuel Cells. Proceedings of NOLCOS 2013: 9th IFAC Symposium on Nonlinear Control Systems, Toulouse, France, September 4-6, 2013.

Ekaterina Auer, Roger Cuypers & Wolfram Luther
Process-oriented Approach to Verification in Biomechanics, 11th Int. Conf. on Structural Safety & Reliability, in Safety, Reliability, Risk and Life-Cycle Performance of Structures and Infrastructures. By George Deodatis, Bruce R. Ellingwood, Dan M. Frangopol (eds.) CRC Press 2013.

Christoph Buck, Thomas Pilz & Wolfram Luther
Personalized Fuzzy Search in Historical Texts with Non Standard Spelling. Linguistic Studies of Human Language (G. Rata Ed.), ATINER Athens 2013, 325-336.

Christoph Buck, Fabian Bürger, Johannes Herwig & Matthias Thurau
Rapid inclusion and defect detection system for large steel volumes ISIJ International, 53(11), November 2013 Erscheint unter https://www.jstage.jst.go.jp/browse/isijinternational

Fabian Bürger, Johannes Herwig, Matthias Thurau, Christoph Buck, Wolfram Luther & Josef Pauli
An Auto-adaptive Measurement System for Statistical Modeling of Non-metallic Inclusions through Image-based Analysis of Milled Steel Surfaces. In: Harald Bosse Robert Schmitt, Editor, ISMTII 2013, 11th International Symposium on Measurement Technology and Intelligent Instruments Herausgeber: Apprimus Verlag, Aachen, July 2013

Dina Burkolter, Benjamin Weyers, Annette Kluge & Wolfram Luther
Customization of user interfaces to reduce errors and enhance user acceptance. In: Applied Ergonomics. Human Factors in Technology and Society Jg. (2013) ; Nr. , S. 1-8. ISSN: 0003-6870 DOI 10.1016/j.apergo.2013.04.0

Johannes Brügmann, Michael Schreckenberg & Wolfram Luther
Real-Time Traffic Information System Using Microscopic Traffic Simulation. 8th EUROSIM Congress on Modelling and Simulation,Cardiff, Wales 10-13 September 2013, IEEE 2013, 448-453 ISBN 978-0-7695-5073-2

Daniel Sacher, Daniel Biella & Wolfram Luther.
A Generative Approach to Virtual Museums. In: Proceedings of the 9th International Conference on Web Information Systems and Technologies, pages 274-279. DOI 10.5220/0004356102740279

Gabor Rebner, Daniel Sacher & Wolfram Luther.
Verified stochastic methods: The evolution of the Dempster-Shafer with intervals (DSI) toolbox. In: Deodatis, G. (Hrsg.); Ellingwood, B. (Hrsg.) ; Frangopol, D. (Hrsg.): Safety, Reliability, Risk and Life-Cycle Performance of Structures and Infrastructures, CRC Press, Juni 2013. - ISBN 9781138000865, S. 98.

Thomas Dötschel, Ekaterina Auer, Andreas Rauh, & Harald Aschemann .
Thermal behavior of high-temperature fuel cells: reliable parameter identification and interval-based sliding mode control. Soft Computing, Springer 2013, DOI 10.1007/s00500-013-1003-0

Gabor Rebner, Michael Beer, Ekaterina Auer & Matthias Stein .
Verified stochastic methods. Soft Computing, Springer 2013, DOI 10.1007/s00500-013-1009-7

Michael Zimmer, Gabor Rebner & Walter Krämer .
An overview of C-XSC as a tool for interval arithmetic and its application in computing verified uncertain probabilistic models under Dempster–Shafer theory. Soft Computing, Springer 2013, DOI 10.1007/s00500-013-1014-x

Vladik Kreinovich, Wolfram Luther & Evgenija D. Popova .
Special issue on “uncertainty modeling and analysis with intervals: foundations, tools, applications. Soft Computing, Springer 2013 DOI 10.1007/s00500-013-1004-z

Stefan Kiel, Wolfram Luther & Eva Dyllong.
Verified distance computation between non-convex superquadrics using hierarchical space decomposition structures. Soft Computing, Springer 2013, DOI 10.1007/s00500-013-1005-y

Daniel Sacher, Michael Brocke, Margret Heitmann, Barbara Kaufhold, Wolfram Luther &  Daniel Biella
The Virtual Leopold Fleischhacker Museum
MW2013: Museums and the Web 2013, April 17-20, Portland, OR, USA
http://mw2013.museumsandtheweb.com/paper/the-virtual-leopold-fleischhacker-museum/

2012

Daniel Pinske, Benjamin Weyers, Wolfram Luther & Torsten Stevens .
Metaphorical Design of Feedback Interfaces in Activity-Aware Ambient Assisted-Living Applications, Ambient Assisted Living and Home Care, 4th International Workshop, IWAAL 2012, Vitoria-Gasteiz, Spain, December 3-5, LNCS 7657, pp. 151-158, Springer, 2012.

Benjamin Weyers, Wolfram Luther & Nelson Baloian .
Cooperative Reconfiguration of user interface models for learning cryptographic protocols. International Journal of Information Technology & Decision Making, Vol. 11, No. 6 (2012) 1127-1154, World Scientific Publishing Company DOI 10.1142/S0219622012400172

Daniel Biella, Wolfram Luther & Daniel Sacher .
Schema Migration into a Web-based Framework for Generating Virtual Museums and Laboratories Virtual Systems and Multimedia (VSMM), 2012 18th International Conference on Date of Conference: 2-5 Sept. 2012, 307-314 DOI 10.1109/VSMM.2012.6365939

Gabor Rebner & Michael Beer.
CUDA Accelerated Fault Tree Analysis with CXSC, in E. Hüllermeier et al. (eds.) Scalable Uncertainty Management. Lecture Notes in Computer Science Volume 7520, 2012, pp 539-549

Ekaterina Auer, Stefan Kiel & Andreas Rauh.
Verified Parameter Identification for Solid Oxide Fuel Cells. Proceedings of REC 2012: 5th International Conference on Reliable Engineering Computing, pages 41 - 55, ISBN=978-80-214-4507-9, Brno, Czech Republic, 2012

Ekaterina Auer, Roger Cuypers & Wolfram Luther.
Process-oriented Approach to Verification in Engineering, Proceedings of ICINCO 2012: 9th International Conference on Informatics in Control, Automation and Robotics, pages 513 - 518, Rome, Italy, 2012

Andreas Rauh, Thomas Dötschel, Ekaterina Auer & Harald Aschemann.
Interval Methods for Control-Oriented Modeling of the Thermal Behavior of High-Temperature Fuel Cell Stacks, Proceedings of Sysid 2012: 16th IFAC Symposium on System Identification, Brussels, Belgium, 2012, DOI 10.3182/20120711-3-BE-2027.00374

Stefan Kiel.
Yet Another Library for Affine Arithmetic. Reliable Computing, Volume 16, pp. 114-129, September, 2012

Johannes Herwig, Christoph Buck, Matthias Thurau, Josef Pauli & Wolfram Luther.
Real-time characterisation of non-metallic inclusions by optical scanning and milling of steel samples SPIE Photonics - Optical Micro- and Nanometrology 2012, Paper 8430-37

Munstermann, M.; Stevens, T.; Luther, W.
A Novel Human Autonomy Assessment System. Sensors 12, 2012, 7828-7854

Benjamin Weyers, Dina Burkolter, Wolfram Luther & Annette Kluge
Formal Modeling and Reconfiguration of User Interfaces for Reduction of Errors in Failure Handling of Complex Systems, Int. Journal of Human Computer Interaction, Taylor and Francis, in press. doi:10.1080/10447318.2011.654199

Benjamin Weyers & Wolfram Luther
Formal Modelling and Identification of Operating Errors for Formal User Interface Reconfiguration, Mathmod Confernce on Mathematical Modelling, accepted.

Druckversion
@ Universität Duisburg-Essen, Fak. IngWi, Abt. INKO, Fachgebiet SCG Kontakt webmaster (at) inf.uni-due.de -- Login