Find Research Outputs

2018

A Counting Semantics for Monitoring LTL Specifications over Finite Traces

Bartocci, E., Bloem, R., Nickovic, D. & Röck, F. 2018 Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I. Vol. 1, p. 547-564 18 p. (Lecture Notes in Computer Science; vol. 10980)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access

A coupled dark state magnetometer developed for space missions

Amtmann, C., Lammegger, R., Ellmeier, M., Pollinger, A., Magnes, W., Hagen, C., Jernej, I. & Agu, M. Sep 2018 68th Annual Meeting of the Austrian Physical Society. Graz: Verlag der Technischen Universität Graz, p. 24

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Acoustic, Aerodynamic and Aeroelastic Comparison of Different Low Pressure Turbine Exit Guide Vane Designs

Zenz, M., Simonassi, L., Selic, T., Schönleitner, F., Heitmeir, F. & Marn, A. 13 Jun 2018

Research output: Contribution to conferencePoster

Acoustic field characterisation of an ultrasonic phased array for a novel flow sensor using an optical microphone

Klambauer, R. & Bergmann, A. 20 Dec 2018 IEEE International Ultrasonics Symposium 2018 Conference Proceedings. 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Acoustic Scene Classification Using A Convolutional Neural Network Ensemble and Nearest Neighbor Filters

Nguyen, T. K. T. & Pernkopf, F. 2018 Workshop on Detection and Classification of Acoustic Scenes and Events.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
Acoustics
Neural networks
Acoustic waves

A Covalently Coupled pH Sensor Material in a Crosslinked Matrix for Oceanography

Staudinger, C., Breininger, J., Strobl, M., Fischer, J., Borisov, S. & Klimant, I. 26 Mar 2018

Research output: Contribution to conferencePoster

Open Access

Action affordances and visuo-spatial complexity in motor imagery: an fMRI study

Schulz, L., Ischebeck, A., Wriessnegger, S. C., Steyrl, D. & Müller-Putz, G. 2018 In : Brain and Cognition.

Research output: Contribution to journalArticle

Active HHV-6 Infection of Cerebellar Purkinje Cells in Mood Disorders

Prusty, B. K., Gulve, N., Govind, S., Krueger, G. R. F., Feichtinger, J., Larcombe, L., Aspinall, R., Ablashi, D. V. & Toro, C. T. 2018 In : Frontiers in Microbiology . 9, 12 p., 1955

Research output: Contribution to journalArticle

Human Herpesvirus 6
Purkinje Cells
Mood Disorders
Infection
Major Depressive Disorder

Active safety effectiveness assessment by combination of traffic flow simulation and crash-simulation

Kolk, H., Tomasch, E., Haberl, M., Fellendorf, M., Moser, A., Rüther, M. & Mohr, L. 2018 (In preparation) International Conference "ESAR - Expert Symposium on Accident Research".

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Flow simulation
Advanced driver assistance systems
Sensors
Accidents
Brakes

A daily dose of DSL MDE micro injections in practice

Stieglbauer, G., Burghard, C., Sobernig, S. & Korošec, R. 1 Jan 2018 MODELSWARD 2018 - Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development. SciTePress 2013, Vol. 2018-January, p. 642-651 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

DSL
Industrial research

Adapting an open source social bookmarking system to observe critical information behaviour

Kopeinik, S., Eskandar, A., Ley, T., Albert, D. & Seitlinger, P. C. 2018 Learning and Education with Web Data (LILE 2018) - colocated with 10th ACM Conference on Web Science.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Adapting the zero-emission Graz Cycle for hydrogen combustion and investigation of its part load behavior

Sanz, W., Braun, M., Jericha, H. & Platzer, M. F. Feb 2018 In : International journal of hydrogen energy. 43, p. 5737-5746 10 p.

Research output: Contribution to journalArticle

Adapting unit tests by generating combinatorial test data

Felbinger, H., Wotawa, F. & Nica, M. 16 Jul 2018 Proceedings - 2018 IEEE 11th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2018. Institute of Electrical and Electronics Engineers, p. 352-355 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fault detection
Concretes
Testing

Adaptions of lichen microbiota functioning under persistent exposure to arsenic contamination

Cernava, T., Vasfiu, Q., Erlacher, A., Aschenbrenner, I. A., Francesconi, K., Grube, M. & Berg, G. 30 Nov 2018 In : Frontiers in Microbiology . 9, NOV, 2959

Research output: Contribution to journalArticle

Lichens
Microbiota
Arsenic
S-Adenosylmethionine
Methyltransferases

Adaptive Methods for Energy Forecasting of Production and Demand of Solar Assisted Heating Systems

Unterberger, V., Nigitz, T., Luzzu, M., Muschick, D. & Gölles, M. 19 Sep 2018 ITISE 2018 International Conference on Time Series and Forecasting: PROCEEDINGS OF PAPERS . Vol. 1, p. 170-181 570 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Adaptive System for Autonomous Driving

Wotawa, F. & Zimmermann, M. 9 Aug 2018 Proceedings - 2018 IEEE 18th International Conference on Software Quality, Reliability, and Security Companion, QRS-C 2018. Institute of Electrical and Electronics Engineers, p. 519-525 7 p. 8432021

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Adaptive systems
Availability
Sensors

A Data-based Modeling Concept for Production Plants Focusing on Highly Cross-linked Utility Systems

Zapf, F., Pöllabauer, F. & Wallek, T. 4 Apr 2018

Research output: Contribution to conferencePoster

A data-based modular modeling concept for a holistic approach to highly cross-linked plants

Zapf, F., Pöllabauer, F., Bachmann, G. & Wallek, T. 10 Jun 2018

Research output: Contribution to conferencePaper

A data mining strategy for the search and classification of gene expression data in cancer

Cuder, G. & Baumgartner, C. 2018 ÖGBMT Proceedings 2018.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Adatom dynamics and the surface reconstruction of Si(110) revealed using time-resolved electron microscopy

Furnival, T., Knez, D., Schmidt, E., Leary, R. K., Kothleitner, G., Hofer, F., Bristowe, P. D. & Midgley, P. 2018 In : Applied physics letters. 113, 18, p. 183104

Research output: Contribution to journalArticle

Open Access
File
adatoms
electron microscopy
aberration
catalysis
electron beams

AddJoining: A novel additive manufacturing approach for layered metal-polymer hybrid structures

Falck, R., Goushegir, S. M., dos Santos, J. F. & Amancio-Filho, S. T. 15 Apr 2018 In : Materials Letters. 217, p. 211-214 4 p.

Research output: Contribution to journalArticle

3D printers
hybrid structures
Polymers
manufacturing
Metals

AddJoining of layered CFRP-aluminum hybrid structures: process feasibility and joint properties: Abstract

Falck, R., dos Santos, J. F. & Amancio-Filho, S. T. 2018 Aeromat 18, 29th Conference and Exposition.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Adhesive properties of laminated veneer lumber poles for use in temporary soil nailing: bonding performance of curved structures in a high-alkaline environment

Hirschmüller, S., Pravida, J., Marte, R. & Flach, M. 3 Jul 2018 In : Wood Science and Technology. 52, 5, p. 1289-1311 23 p.

Research output: Contribution to journalArticle

laminated veneer lumber
soil nailing
alkaline environment
Veneers
Lumber
laminated veneer lumber
soil nailing
alkaline environment
Veneers
Lumber

Adhesives for bonding transformerboard: partial discharge and ageing behaviour

Müller, C., Zhang, Z., Schwarz, R., Pukel, G., Wiesbrock, F., Bakija, B. & Muhr, H. M. 2018 In : e&i - Elektrotechnik und Informationstechnik. 135, 8, p. 623-627 5 p.

Research output: Contribution to journalArticle

A Digital Isolated High Voltage Probe for Measurements in Power Electronics

Grubmuller, M., Schweighofer, B. & Wegleiter, H. 10 Aug 2018 Proceedings - 2018 IEEE 27th International Symposium on Industrial Electronics, ISIE 2018. Institute of Electrical and Electronics Engineers, Vol. 2018-June, p. 791-796 6 p. 8433652

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Power electronics
Electric potential
Analog to digital conversion
Frequency response
Semiconductor materials
Open Access
Compaction
Tissue
Fibers
Costs and Cost Analysis
Strain energy

A discrete modeling approach for excess Gibbs-energy models based on discrete Markov-chains

Mayer, C., Pfennig, A. & Wallek, T. 28 Aug 2018

Research output: Contribution to conferencePaper

Adressing the Gap Between Employers' Needs and Learning Objectives in Purchasing & Supply Management Study Programs: Towards a Student-Centered Learning Approach

Stek, K., Zunk, B. M., Berger, L., van den Berg, H., Delke, V. & Schiele, H. 5 Mar 2018 Proceedings of the 12th Annual International Technology, Education and Development Conference (INTED): Rethinking Learning in a Connected Age. p. 4477-4484

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Purchasing
Students
Teaching
Education
Employers

A Driving License for Intelligent Systems

Kandlhofer, M. & Steinbauer, G. 2018

Research output: Contribution to conferencePoster

A Driving License for Intelligent Systems

Kandlhofer, M. & Steinbauer, G. 2018 AAAI Conference on Artificial Intelligence, Symposium on Educational Advances in Artificial Intelligence. New Orleans, USA

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Adsorption Isotherms of Liquid Isomeric Mixtures

Goetsch, T., Zimmermann, P., Scharzec, B., Enders, S. & Zeiner, T. 15 Aug 2018 In : Industrial and Engineering Chemistry Research. 57, 32, p. 11210-11218 9 p.

Research output: Contribution to journalArticle

Adsorption isotherms
Liquids
Adsorption
Density functional theory
Zeolites

Adsorptive HCl and combined HCl-H2S removal from biogas for solid oxide fuel cell application

Weinländer, C., Neubauer, R., Hauth, M. & Hochenauer, C. 24 Apr 2018 In : Adsorption Science & Technology. 18 p.

Research output: Contribution to journalArticle

Open Access

Advanced 3-D Boundary Element analysis of underground excavations

Beer, G. & Duenser, C. Sep 2018 In : Computers and Geotechnics. 101, p. 196-207 12 p.

Research output: Contribution to journalArticle

Excavation
excavation
geometry
Geometry
Rocks

Advanced data mining for process optimizations and use of ai to predict refractory wear and to analyze refractory behavior

Lammer, G., Lanzenberger, R., Rom, A., Hanna, A., Forrer, M., Feuerstein, M., Pernkopf, F. & Mutsam, N. 1 Sep 2018 In : Iron & Steel Technology. 15, 9, p. 52-60 9 p.

Research output: Contribution to journalArticle

Refractory materials
Data mining
Wear of materials
Artificial intelligence
Iron and steel plants

Advanced neutral alkali beam diagnostics for applications in fusion research (invited)

W7-X Team 1 Oct 2018 In : Review of scientific instruments. 89, 10, 10D107

Research output: Contribution to journalReview article

alkalies
Fusion reactions
fusion
resonance charge exchange
Plasmas

Advances in concrete materials for sewer systems affected by microbial induced concrete corrosion: A review

Grengg, C., Mittermayr, F., Ukrainczyk, N., Koraimann, G., Kienesberger, S. & Dietzel, M. 1 May 2018 In : Water Research. 134, p. 341-352 12 p.

Research output: Contribution to journalReview article

Sewers
corrosion
Concretes
Corrosion
cement

Advances in experimental and mechanistic computational models to understand pulmonary exposure to inhaled drugs

Bäckman, P., Arora, S., Couet, W., Forbes, B., de Kruijf, W. & Paudel, A. 15 Feb 2018 In : European journal of pharmaceutical sciences. 113, p. 41-52 11 p.

Research output: Contribution to journalArticle

Inhalation Exposure
Computer Simulation
Lung
Pharmaceutical Preparations
Aerosols

ADVANCES IN THE DEVELOPMENT OF A NOVEL ALOGRITHM FOR FRAGMENTATION ANALYSIS BASED ON PHOTOGRAMMETRY

Stauder, S., Buyer, A. A., Pötsch, M., Gaich, A. & Wimmer, M. 2018

Research output: Contribution to conferencePoster

Advances in the Treatment of Trimmed CAD Models due to Isogeometric Analysis

Marussig, B. 2018 13th World Congress on Computational Mechanics (WCCM XIII) and 2nd Pan American Congress on Computational Mechanics (PANACM II), July 22-27, 2018, New York City, NY, USA. p. 2082-2093

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access

A dynamic connectome supports the emergence of stable computational function of neural circuits through reward-based learning

Kappel, D., Legenstein, R., Habenschuss, S., Hsieh, M. & Maass, W. 1 Mar 2018 In : eNeuro. 5, 2, 27 p., e0301-17.2018

Research output: Contribution to journalArticle

Connectome
Reward
Spine
Learning
Synapses

Aerodynamic performance of turbine center frames with purge flows-part I: The influence of turbine purge flow rates

Zerobin, S., Peters, A., Bauinger, S., Ramesh, A. B., Steiner, M., Heitmeir, F. & Göttlich, E. 1 May 2018 In : Journal of Turbomachinery. 140, 6, 061009

Research output: Contribution to journalArticle

Aerodynamics
Turbines
Flow rate
Struts
Ducts

Aerodynamic performance of turbine center frames with purge flows-part II: The influence of individual hub and tip purge flows

Zerobin, S., Aldrian, C., Peters, A., Heitmeir, F. & Göttlich, E. 1 May 2018 In : Journal of Turbomachinery. 140, 6, 061010

Research output: Contribution to journalArticle

Aerodynamics
Turbines
Ducts
Rotors
Flow rate