The aim of this study is to investigate the problems caused by discharge of polluted air from tunnels into the environment with a specific focus on residential areas. In city tunnels, portal or stacks, pollutant management is a big challenge. Nowadays, air quality management, particularly in urban tunnels, is considered as a part of the ventilation system design. The goal is to see the environm...

Based on the Re]ax3!ionElement Method, the propagation of zones ~!:l:f l~alizC<.dp~ deformation i.-~aE<?!r~rY.stal un~.ei-Io~i_!.lghas b~~_ sirI'lPlated within thc frarnework of continuum mecbanics. Tbe model can be referred t~ t!!.e. cl~~soi geoll.!~~cal D:iQ:qel;,--krrQ.wn as ~;;:lIu!!1r a~tomata. pi~tic defQi~ mation ~ con~\!e~d t_~occu~undsr th~ action of differently scaled stress concentra...

In this study, new developments implemented in the mesoscale model GRAMM-SCI are presented. has been specifically developed for providing flow fields sub-kilometer range. A comprehensive evaluation using wind, temperature, radiation, as well soil moisture and temperature observations an alpine valley a hilly pre-alpine region Styria (Austria) is Three one-way nested domains were used, whereby c...

Protein docking software GRAMM-X and its web interface (http://vakser.bioinformatics.ku.edu/resources/gramm/grammx) extend the original GRAMM Fast Fourier Transformation methodology by employing smoothed potentials, refinement stage, and knowledge-based scoring. The web server frees users from complex installation of database-dependent parallel software and maintaining large hardware resources ...

Gernot Beer, Benjamin Marussig, Jürgen Zechner , Christian Dünser and Thomas-Peter Fries 1 Emeritus professor , TU Graz, Lessingstrasse 25, Graz, Austria and conjoint professor Centre for Geotechnical and Materials Modeling, University of Newcastle, Callaghan, Australia, [email protected] 2 PhD Student, TU Graz , Lessingstrasse 25, Graz, Austria [email protected] 3 Postdoc, TU Graz , Lessi...

About a decade after the initial proposal to use model checkers for the generation of test cases we take a look at the achievements in this field of research. Model checkers are formal verification tools, capable of providing counterexamples to violated properties. Normally, these counterexamples are meant to guide an analyst when searching for the root cause of a property violation. They are, ...

The long-term goals of this project are to first develop a three-dimensional time-evolving non-linear numerical model of the mesoscale ionosphere, second to couple the mesoscale model to a mesoscale data assimilative analysis, third to use the new data-assimilative mesoscale model to investigate ionospheric structure and plasma instabilities, and fourth to apply the data-assimilative mesoscale ...

G. Reishofer, R. Merwa, M. Aschauer, S. Zitta, R. Stollberger, and F. Ebner Department of Radiology / MR-Physics, Medical University of Graz, Graz, Austria, Institute of Medical Engineering, Graz University of Technology, Graz, Austria, Department of Radiology, Medical University of Graz, Graz, Austria, Department of Internal Medicine / Division of Nephrology, Medical University of Graz, Graz, ...

G. Reishofer, S. Keeling, R. Merwa, C. Enzinger, S. Ropele, R. Stollberger, and F. Ebner Department of Radiology / MR-Physics, Medical University of Graz, Graz, Austria, Institute for Mathematics and Scientific Computing, University of Graz, Graz, Austria, Institute of Medical Engineering, Graz University of Technology, Graz, Austria, Department of Neurology, Medical University of Graz, Graz, A...