Faculty of Computer Science and Biomedical Engineering (7000)

  • 8010

    Inffeldgasse 10 Graz

    Austria

Research Output 1970 2020

Filter
Article
Article

Sharing Independence Relabeling: Efficient Formal Verification of Higher-Order Masking

Bloem, R., Groß, H., Iusupov, R., Krenn, M. & Mangard, S., 2018, In : Cryptology ePrint Archive. 2018, p. 1031 1 p.

Research output: Contribution to journalArticleResearchpeer-review

SharpNet: Fast and Accurate Recovery of Occluding Contours in Monocular Depth Estimation

Ramamonjisoa, M. & Lepetit, V., 2019, In : arXiv.org e-Print archive.

Research output: Contribution to journalArticleResearchpeer-review

Recovery
Augmented reality
Object recognition
Tuning
Pixels

Shellable drawings and the cylindrical crossing number of K_n

Aichholzer, O., Ábrego, B., Fernández-Merchant, S., Ramos, P. A. & Salazar, G., 2014, In : Discrete & computational geometry. 52, 4, p. 743-573

Research output: Contribution to journalArticleResearchpeer-review

Shellable drawings and the cylindrical crossing number of Kn

Aichholzer, O., Ábrego, B., Fernández-Merchant, S., Ramos, P. A. & Salazar, G., 2014, In : Discrete & computational geometry. 52, p. 743-753

Research output: Contribution to journalArticleResearchpeer-review

Shielded Decision-Making in MDPs

Jansen, N., Könighofer, B., Junges, S. & Bloem, R., 2018, In : arXiv.org e-Print archive. CoRR, abs/1807.06096.

Research output: Contribution to journalArticleResearchpeer-review

Short-lived brain state after cued motor imagery in naive subjects

Pfurtscheller, G., Scherer, R., Müller-Putz, G. & Lopes da Silva, F. H., 2008, In : European journal of neuroscience. 28, p. 1419-1426

Research output: Contribution to journalArticleResearchpeer-review

Short time sports exercise boosts motor imagery patterns: implications of mental practice in rehabilitation programs

Wriessnegger, S., Steyrl, D., Koschutnig, K. & Müller-Putz, G., 2014, In : Frontiers in Human Neuroscience. 8, p. 1-9

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File

Should Hospitals Protect from Geopathogenic Zones?

Leitgeb, N. & Lukas, R., 2008, In : Wiener medizinische Wochenschrift. 158, 1-2, p. 42-48

Research output: Contribution to journalArticleResearchpeer-review

Sicherheitsaspekte der Ultraschalldiagnostik

Leitgeb, N., 1995, In : Österreichische Krankenhaus-Zeitung. p. 28-31

Research output: Contribution to journalArticleResearch

Sicherheitstechnischer Gerätestatus in Österreichischen Krankenanstalten: Analyse und Vergleich

Leitgeb, N., 1992, In : Biomedical Engineering / Biomedizinische Technik. 37/1, p. 264-268

Research output: Contribution to journalArticleResearchpeer-review

Sicherheitszustand elektromedizinischer Geräte in Österreichs Krankenhäusern

Leitgeb, N., 1992, In : Österreichische Krankenhaus-Zeitung. p. 511-515

Research output: Contribution to journalArticleResearch

Side-Looking Radar Mosaicking Experiment

Leberl, F., Jensen, H. & Kaplan, J., 1976, In : Photogrammetric engineering & remote sensing. 42, 8, p. 1035-1042

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File

SIFA: Exploiting Ineffective Fault Inductions on Symmetric Cryptography

Dobraunig, C. E., Eichlseder, M., Korak, T., Mangard, S., Mendel, F. & Primas, R., 2018, In : IACR Transactions on Cryptographic Hardware and Embedded Systems. 2018, 3, p. 547-572

Research output: Contribution to journalArticleResearchpeer-review

Open Access

Signal enhancement in polysaccharide based sensors for infections by incorporation of chemically modified laccase

Schneider, K., Geweßler, U., Flock, T., Heinzle, A., Schenk, V., Kaufmann, F., Sigl, E. M. & Gübitz, G., 2012, In : New biotechnology. 29, 4, p. 502-509

Research output: Contribution to journalArticleResearchpeer-review

Simulated quantum-optical object-recognition from high-resolution images

Loo, C. K., Perus, M. & Bischof, H., 2005, In : Optics and Spectroscopy. 99, 2, p. 218-223

Research output: Contribution to journalArticleResearch

Aortic Valve
Geometry
Biomedical Engineering
Boidae
Parametric Analysis

Simulating Interactive Learning Scenarios with Intelligent Pedagogical Agents in a Virtual World through BDI-Based Agents

Soliman, M. & Gütl, C., 2013, In : International Journal of Engineering Pedagogy. 3, 2, p. 41-47

Research output: Contribution to journalArticleResearchpeer-review

Simulation and evaluation of freeze/thaw cryoablation strategies for the treatment of cardiac arrhythmia

Handler, M., Fischer, G., Kienast, R., Seger, M., Hanser, F. & Baumgartner, C., 2015, In : Biomedical Engineering Online . 14, 1, p. 12-12

Research output: Contribution to journalArticleResearchpeer-review

Simulation model for cost estimation of integrated care concepts of heart failure patients

Schröttner, J. & Lassnig, A., 2013, In : Health economics review. 3, 26, p. 0-10

Research output: Contribution to journalArticleResearchpeer-review

Simulation of the temperature elevation in children exposed to plane wave electromagnetic fields (10 MHz - 1 GHz) at the ICNIRP reference level

Niedermayr, F., Leitgeb, N. & Siegl, W., 2012, In : Biomedical Engineering / Biomedizinische Technik. 57, 3, p. 193-200

Research output: Contribution to journalArticleResearchpeer-review

Simulations of the bioimpedance of the human abdomen by the finite element method in 3D

Gerstenberger, C., Hollaus, K., Stollberger, R., Wagner, B., Magele, C. & Hutten, H., 2003, In : JAPIT - Scientific Journal on Applied information Technology. 2, 1, p. 29-38

Research output: Contribution to journalArticleResearchpeer-review

Simultaneous multislice refocusing via time optimal control

Rund, A., Aigner, C. S., Kunisch, K. & Stollberger, R., Oct 2018, In : Magnetic Resonance in Medicine. 80, 4, p. 1416-1428

Research output: Contribution to journalArticleResearchpeer-review

Echo-Planar Imaging
Power (Psychology)
Heuristics

Single-Step 3-D Image Reconstruction in Magnetic Induction Tomography: Theoretical Limits of Spatial Resolution and Contrast to Noise Ratio

Scharfetter, H., Hollaus, K., Javier Rosell-Javier, N. V. & Merwa, R., 2006, In : Annals of Biomedical Engineering. p. 1-13

Research output: Contribution to journalArticleResearchpeer-review

Single trial classification of antagonistic oxyhemoglobin responses during mental arithmetic

Bauernfeind, G., Scherer, R., Pfurtscheller, G. & Neuper, C., 2011, In : Medical & biological engineering & computing. 49, 9, p. 979-984

Research output: Contribution to journalArticleResearchpeer-review

Single-trial connectivity estimation for classification of motor imagery data

Billinger, M., Brunner, C. & Müller-Putz, G., 2013, In : Journal of neural engineering. 10, 4, p. 1-8

Research output: Contribution to journalArticleResearchpeer-review

Single Versus Multiple Events Error Potential Detection in a BCI-Controlled Car Game With Continuous and Discrete Feedback

Kreilinger, A., Hiebel, H. & Müller-Putz, G., 2015, In : IEEE transactions on biomedical engineering. p. 1-11

Research output: Contribution to journalArticleResearchpeer-review

SIR-B Stereo Radargrammetry of Australia

Leberl, F., Mayr, W., Domik, G. & Kobrick, M., 1988, In : International journal of remote sensing. 9, 5, p. 997-1011

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File

Sketching up the world: In-situ authoring for mobile Augmented Reality

Langlotz, T., Mooslechner, S., Zollmann, S., Degendorfer, C. & Schmalstieg, D., 2011, In : Personal and ubiquitous computing. 35;4, p. 831-840

Research output: Contribution to journalArticleResearchpeer-review

Skew Voronoi diagrams

Aichholzer, O., Aurenhammer, F., Chen, D. Z., Lee, D. T. & Papadopoulou, E., 1999, In : International Journal of Computational Geometry and Applications. 9, 3, p. 235-247

Research output: Contribution to journalArticleResearchpeer-review

Small weak epsilon nets

Aranaov, B., Aurenhammer, F., Hurtado, F., Langerman, S., Rappaport, D., Smorodinsky, S. & Seara, C., 2009, In : Computational geometry. 42, p. 455-462

Research output: Contribution to journalArticleResearchpeer-review

Smart Hypothesis Generation for Efficient and Robust Room Layout Estimation

Hirzer, M., Roth, P. M. & Lepetit, V., 2019, In : arXiv.org e-Print archive.

Research output: Contribution to journalArticleResearchpeer-review

Feature extraction
Semantics

Smart Vidente: advances in mobile augmented reality for interactive visualization of underground infrastructure

Schall, G., Zollmann, S. & Reitmayr, G., 2012, In : Personal and ubiquitous computing. p. 1-17

Research output: Contribution to journalArticleResearchpeer-review

Smooth contact strategies with emphasis on the modeling of balloon angioplasty with stenting

Kiousis, D., Gasser, T. & Holzapfel, G., 2008, In : International journal for numerical methods in engineering. 75, p. 826-855

Research output: Contribution to journalArticleResearchpeer-review

Smooth muscle contraction: mechanochemical formulation for homogeneous finite strains

Stalhand, J., Klarbring, A. & Holzapfel, G., 2008, In : Progress in biophysics and molecular biology. 96, 1-3, p. 465-481

Research output: Contribution to journalArticleResearchpeer-review

Social Semantic Search: A Case Study on Web 2.0 for Science

De Vocht, L., Selver, S., Verborgh, R., Mannens, E. & Ebner, M., 30 Sep 2017, In : International journal on semantic web and information systems. 13, 4, p. 155-180

Research output: Contribution to journalArticleResearchpeer-review

Social Stream Marketing on Facebook: A Case Study

Trattner, C. & Kappe, F., 2013, In : International journal of social and humanistic computing. 2, 1-2, p. 86-103

Research output: Contribution to journalArticleResearchpeer-review

Sodium Intake does not Influence Bioimpedance - Derived Extracellular Volume Loss in Headdown Rest

Hinghofer-Szalkay, H., Laszlo, Z., Passath, H., Pilz, K., Rössler, A., Jezova, D. & Scharfetter, H., 2004, In : Aviation, Space & Environmental Medicine. 75, 12, p. 1036-1041

Research output: Contribution to journalArticleResearchpeer-review

Softshell: Dynamic Scheduling on GPUs

Steinberger, M., Kainz, B., Kerbl, B., Hauswiesner, S., Kenzel, M. & Schmalstieg, D., 2012, In : ACM Transactions on Graphics. 31, 6, 161.

Research output: Contribution to journalArticleResearchpeer-review

Software App - ein Medizinprodukt?

Leitgeb, N., 2014, In : Das Medizin-Produkt. 1, p. 25-25

Research output: Contribution to journalArticleResearch

Software-based microarchitectural attacks

Gruss, D., Sep 2018, In : IT - Information technology.

Research output: Contribution to journalArticleResearch

Softwaremodelle zur Feststellung der DPA-Anfälligkeit von Hardewaremodulen

Aigner, M. & Oswald, M. E., 2000, In : Telematik. p. 18-21

Research output: Contribution to journalArticleResearch

Software Systems Engineering programmes a capability approach

Meersman, R. A., 1 Mar 2017, In : The Journal of Systems and Software . 125, March 2017, p. 354 364 p.

Research output: Contribution to journalArticleResearchpeer-review

Solution of the Inverse Problem of Magnetic Induction Tomography (MIT)

Merwa, R., Hollaus, K., Brunner, P. & Scharfetter, H., 2005, In : Physiological measurement. 26, p. 241-250

Research output: Contribution to journalArticleResearchpeer-review

Solution of the Inverse Problem of Magnetic Induction Tomography (MIT) With Multiple Objects: Analysis of Detectability and Statistical Properties with Respect to the Reconstructed Conducting Region

Merwa, R., Brunner, P., Missner, A., Hollaus, K. & Scharfetter, H., 2006, In : Physiological measurement. 27, p. 249-259

Research output: Contribution to journalArticleResearchpeer-review

Solving constraint satisfaction problems with networks of spiking neurons

Jonke, Z., Habenschuss, S. & Maass, W., 2016, In : Frontiers in neuroscience.

Research output: Contribution to journalArticleResearchpeer-review

Neurons
Noise
Brain

SOMFlow: Guided Exploratory Cluster Analysis with Self-Organizing Maps and Analytic Provenance

Sacha, D., Kraus, M., Bernard, J., Behrisch, M., Schreck, T., Asano, Y. & Keim, D., 2018, In : IEEE Transactions on Visualization and Computer Graphics. 24, 1, p. 120-130

Research output: Contribution to journalArticleResearchpeer-review

Sonographische Frakturdiagnostik

Leitgeb, N., 1995, In : Ultraschall in Klinik und Praxis. p. 201-203

Research output: Contribution to journalArticleResearch

Sonographische Frakturdiagnostik

Leitgeb, N., 1990, In : Ultraschall in der Medizin. 11, p. 206-209

Research output: Contribution to journalArticleResearchpeer-review

Sonographische Kontrolle des Heilungsverlaufes von Knochenfrakturen

Leitgeb, N., Reczek, W., Lottersberger, E. & Schuy, S., 1984, In : Ultraschall in der Medizin. p. 518-521

Research output: Contribution to journalArticleResearchpeer-review

Sorption thermal energy storage: Hybrid coating/granules adsorber design and hybrid TCM/PCM operation

Engel, G., 15 Mar 2019, In : Energy conversion and management. 184, p. 466-474 9 p.

Research output: Contribution to journalArticleResearchpeer-review

Pulse code modulation
Thermal energy
Energy storage
Sorption
Evaporators