Find Research Outputs

Search concepts
Selected filters

A proof obligation generator for VDM-SL

Aichernig, B. & Larsen, P. G., 1997, Industrial applications and strengthened foundations of formal methods. Berlin: Springer, Vol. 1313. p. 338-357 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

A proof of the perfect matching property of PMLs in static fields

Ticar, I., Biro, O. & Preis, K., 1999, In : IEEE Transactions on Magnetics. 35, p. 1139-1142

Research output: Contribution to journalArticleResearchpeer-review

A proof of the perfect matching property of PMLs in static fields

Ticar, I., Biro, O. & Preis, K., 1998, Proceedings of the 8th IEEE conference on electromagnetic field computation, CEFC 1998. ., p. 387-387

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

A proposal of hard- and software for desulphurization control with neural networks and fuzzy logic

Slany, W., Leisch, F., Hornik, K. & Bonner, M., 1996, . (CD-Studie)

Research output: Book/ReportOther reportResearch

A Proposed Failure Mechanism for Pulp Fiber-Fiber Joints

Ebner, T., Hirn, U., Fischer, W. J., Schmied, F. J., Schennach, R. & Ulz, M. H., 2016, In : BioResources . 11, 4, p. 9596-9610 15 p.

Research output: Contribution to journalArticleResearchpeer-review

File

A proposed method for generating high resolution current and future climate data for Passivhaus design

McLeod, R. S., Hopfe, C. J. & Rezgui, Y., 2012, In : Energy and Buildings. 55, p. 481-493

Research output: Contribution to journalArticleResearchpeer-review

A prospective development study of software-guided radio-frequency ablation of primary and secondary liver tumors: Clinical intervention modelling, planning and proof for ablation cancer treatment (ClinicIMPPACT)

Reinhardt, M., Brandmaier, P., Seider, D., Kolesnik, M., Jenniskens, S., Sequeiros, R. B., Eibisberger, M., Voglreiter, P., Flanagan, R., Mariappan, P., Busse, H., Moche, M. & the ClinicIMPPACT Study Group, 1 Dec 2017, In : Contemporary Clinical Trials Communications. 8, p. 25-32 8 p.

Research output: Contribution to journalArticleResearchpeer-review

APROSYS: Accidents involving HGVs and Motorcycles - Summary of Austrian Accident Data 2003

Tomasch, E., 2006, .

Research output: Book/ReportCommissioned reportResearch

A Protein Activity Recognition Toolbox (PART) for Serine Hydrolases

Schmidinger, H., Birner-Grünberger, R., Riesenhuber, G., Saf, R., Susani-Etzerodt, H. & Hermetter, A., 24 Jan 2005.

Research output: Contribution to conference(Old data) Lecture or PresentationResearch

Apsects of component composition in distrubuted frameworks

Haselwanter, E., 2003

Research output: ThesisMaster's ThesisResearch

APSOSYS WP2.1 Summary - Heavy Goods Vehicle (HGV) vs. Vulnerable Road Users (VUG) Accidents

Gugler, J., Feist, F. & Fassbender, S., 16 Dec 2008.

Research output: Contribution to conference(Old data) Lecture or PresentationResearch

A Psychological Framework for the Design of System Interventions that Increase Resilience

Moertl, P., Schafler, M. & Stocker, A., 19 Oct 2016, Proceedings of 16th International Conference on Knowledge Technologies and Tata-driven Business (i-KNOW 2016). 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

A psychological framework for the S-HELP decision support system

Nussbaumer, A., Steiner, C. & Albert, D., 2014, International Workshop Mega Earthquakes and Tsunamis in Subduction Zones: Forecasting Approaches and Implications for Hazard Assessment. ., p. 52-53

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

A psychological framework modelling decision making in emergencies.

Steiner, C., Nussbaumer, A. & Albert, D., 2015, Proceedings of the 9th European Conference on IS Management and Evaluation. ., p. 206-214

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

A Psycho-Pedagogical Framework for Multi-Adaptive Educational Games

Kickmeier-Rust, M., Mattheiss, E., Steiner, C. & Albert, D., 2011, In : International journal of game-based learning. p. 45-58

Research output: Contribution to journalArticleResearchpeer-review

A Psycho-Pedagogical Framework for Self-Regulated Learning in a Responsive Open Learning Environment

Fruhmann, K., Nussbaumer, A. & Albert, D., 2010, eLearning Baltics 2010: Proceedings of the 3rd International eLBa Science Conference. Stuttgart: Fraunhofer Verlag, p. ?-?

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

APTM 2.1.1 mature_wood

Brandner, R., 2009, hbf news_letter 01/09, 01/09.

Research output: Contribution to specialist publicationArticleResearch

Apt to Adapt: Micro- and Macro-Level Adaptation in Educational Games

Kickmeier-Rust, M., Steiner, C., Mattheiss, E. & Albert, D., 2011, Technology-Enhanced Systems and Adaptation Methods for Collaborative Learning Support. Studies in Computational Intelligence (SCI). Springer Verlag Berlin, p. 221-238

Research output: Chapter in Book/Report/Conference proceedingChapterResearch

A Public Good, Ph.D. Education in Denmark

Holst, B. (ed.), 2006, 1 ed. Kopenhagen: Danish Ministry of Science, Technology and Innovation.

Research output: Book/ReportBookResearch

A Publishing Workflow for Cultural Heritage Artifacts from 3D-Reconstruction to Internet Presentation

Berndt, R., Buchgraber, G., Havemann, S., Settgast, V. & Fellner, W-D., 2010, Digital Heritage. Berlin [u.a.]: Springer, Vol. 6436. p. 166-178 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

A pulsed Doppler radar for snow and mud avalanche detection and research

Randeu, W. & Schreiber, H., 15 Nov 2004.

Research output: Contribution to conference(Old data) Lecture or PresentationResearch

A pulse width modulated brain switch for robotic arm control

Müller-Putz, G., 2007.

Research output: Contribution to conferencePosterResearch

A putative protease from Bacteroides thetaiotaomicron - the first zinc-dependent flavoprotein

Knaus, T., Eger, E., Stipsits, S. & Macheroux, P., 2011.

Research output: Contribution to conferencePosterResearch

A Pychological Framework for the S-HELP Decistion System

Nussbaumer, A., Steiner, C. & Albert, D., 6 Oct 2014.

Research output: Contribution to conference(Old data) Lecture or PresentationResearch

A qauntitative analysis of different fiber-fiber bonding mechanisms

Hirn, U. & Schennach, R., 2014, Progress in Paper Physics Seminar. ., p. NA-NA

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

A QM/MM analysis of the conformations of crystalline sucrose moieties

French, A. D., Kelterer, A. M., Cramer, C. J., Johnson, G. P. & Dowd, M. K., 30 Jun 2000, In : Carbohydrate Research. 326, 4, p. 305-322 18 p.

Research output: Contribution to journalArticleResearchpeer-review

A quadratic distance bound on sliding between crossing-free spanning trees

Aichholzer, O. & Reinhardt, K., 2007, In : Computational geometry. 37, 3, p. 155-161

Research output: Contribution to journalArticleResearchpeer-review

A quadratic distance bound on sliding between crossing-free spanning trees - extended abstract

Aichholzer, O. & Reinhardt, K., 2004, European Workshop on Computational Geometry. ., p. 13-16

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

A Qualitative Approach towards Discovering Microblogging Practices of Scientists

Ebner, M. & Kieslinger, B., 2011, 14th International Conference on Interactive Collaborative Learning (ICL2011) ̶ 11th International Conference Virtual University (vu'11). ., p. 51-57

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

A Qualitative Model for Hybrid Control

Kleissl, W. & Hofbaur, M., 2005, Proceedings of the 19th International Workshop on Qualitative Reasoning (QR05). ., p. 8-16

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

A quantitative analysis of a multi-phase polycrystalline cubic boron nitride tool material using DualEELS

Angseryd, J., Albu, M., Andren, H. O. & Kothleitner, G., 2011, In : Micron. 42, p. 608-615

Research output: Contribution to journalArticleResearchpeer-review

A Quantitative Analysis of eCRM Tools in the Austrian Pharmaceutical Industry

Scharl, A. & Treiblmaier, H., 2003, Web Engineering – International Conference, ICWE 2003. 1 ed. Berlin [u.a.]: Springer, Vol. 2722. p. 306-309 (Lecture notes in computer science).

Research output: Chapter in Book/Report/Conference proceedingChapterResearch

A quantitative analysis of information about past and present stimuli encoded by spikes of A1 neurons

Klampfl, S., Stephen, V. D., Yin, P., Shamma, S. & Maass, W., 2012, In : Journal of neurophysiology. 108, p. 1366-1380

Research output: Contribution to journalArticleResearchpeer-review

A Quantitative EDXS Analysis of Oxide Ceramic-Electrode Systems

Lammer, J., Fisslthaler, E., Dienstleder, M. & Grogger, W., 27 Aug 2018.

Research output: Contribution to conferenceAbstractResearchpeer-review

A Quantitative EDXS Analysis of Oxide Ceramic-Electrode Systems

Lammer, J., Dienstleder, M., Rauch, S. & Grogger, W., 2018, ELMINA 2018. p. PO1,8

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

A Quantitative EDXS Analysis of Oxide Ceramic-Electrode Systems

Lammer, J., Fisslthaler, E., Dienstleder, M., Rauch, S. & Grogger, W., 27 Aug 2018.

Research output: Contribution to conferencePosterResearchpeer-review

A quantitative flood risk analysis methodology for urban areas with integration of social research data

Escuder-Bueno, I., Castillo-Rodrígez, J., Zechner, S., Jöbstl, C., Perales-Momparler, S. & Petaccia, G., 2012, In : Natural hazards and earth system sciences. 12, 9, p. 2843-2863

Research output: Contribution to journalArticleResearchpeer-review

A quantitative method for reconstructing blend composition distributions in the presence of agglomerates

Llusa, M. & Muzzio, F. J., 2007, In : Journal of pharmaceutical innovation. 2, 1-2, p. 51–64

Research output: Contribution to journalArticleResearchpeer-review

A quantization method based on threshold optimization for microarrray short time series

Di Camillo, B., Sanchez Cabo, F., Toffolo, G., Nair, SK., Trajanoski, Z. & Cobelli, C., 2005, In : BMC Bioinformatics . 6, Suppl.4, p. 11-11

Research output: Contribution to journalArticleResearchpeer-review

A quantum chemistry study of the Na3 ground state: tunneling, fine and hyperfine structure in a classical jahn-teller system

Hauser, A., Pototschnig, J. V. & Ernst, W., 2015, The Twenty-fourth Colloquium on High Resolution Molecular Spectroscopy. ., p. 346-346

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

A quantum chemistry study of the Na3 ground state: tunneling, fine and hyperfine structure in a classical jahn-teller system

Hauser, A., Pototschnig, J. V. & Ernst, W., 24 Aug 2015.

Research output: Contribution to conference(Old data) Lecture or PresentationResearch

A quantum cluster equilibrium study on the binary mixture water-methanol

Kelterer, A-M., Matisz, G., Kunsági-Máté, S. & Fabian, W. M., 2015.

Research output: Contribution to conferencePosterResearch

A quantum kinetic approach for modeling a two-band resonant tunneling diode

Morandi, O., 2007, In : Transport Theory and Statistical Physics. 36, p. 159-177

Research output: Contribution to journalArticleResearchpeer-review

A quantum Monte Carlo approach to many-body physics

von der Linden, W., 1 Nov 1992, In : Plasma Physics Reports. 220, 2-3, p. 53-162 110 p.

Research output: Contribution to journalArticleResearchpeer-review

Aquaristische Lektüre und ihre Folgen

Albering, J., 2007, In : DCG-Informationen. 38, 4, p. 84-93

Research output: Contribution to journalArticleResearch

A quasi-3D linear acoustic network representation of mufflers including higher-order modes

Veloso, R. B., Elnemr, Y., Girstmair, J. & Fairbrother, R., 2016. 8 p.

Research output: Contribution to conferencePaperResearchpeer-review

A Quasi First Order Optimization Method and Its Demonstration on the Optimization of a U-Bend

Akin, M. B. & Sanz, W., 2015, ASME Turbo Expo 2015: Turbine Technical Conference and Exposition. ., p. 0-0

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review