Informatik und Informationswissenschaft

Auflistung nach

Neueste Zugänge

(1.031Mb)

Realtime Quality Assessment of Iris Biometrics under Visible Light

Jenadeleh, Mohsen; Pedersen, Marius; Saupe, Dietmar (2018) - Beitrag zu einer Konferenz
Erschienen in: The IEEE Conference on Computer Vision and Pattern Recognition (CVPR) Workshops. - Computer Vision Foundation, 2018. - S. 556-565
(315.1Mb)

Pictures of the Past : Visualization and visual analysis in archaeological context

van Garderen, Mereke (2018) - Dissertation
(4.060Mb)

The Third Man : hierarchy formation in Wikipedia

Lerner, Jürgen; Lomi, Alessandro (2017) - Zeitschriftenartikel
Erschienen in: Applied Network Science ; 2 (2017). - 24. - eISSN 2364-8228
(995.9Kb)

KonIQ-10k: Towards an ecologically valid and large-scale IQA database

Lin, Hanhe; Hosu, Vlad; Saupe, Dietmar (2018) - Working Paper/Technical Report
(269.5Kb)

G-Rap: interactive text synthesis using recurrent neural network suggestions

Schlegel, Udo; Cakmak, Eren; Buchmüller, Juri; Keim, Daniel A. (2018) - Beitrag zu einer Konferenz
Erschienen in: ESANN 2018 proceedings
(4.696Mb)

Interaktive Unterstützung für Malware Klassifikation

Schlegel, Udo (2016) - Bachelorarbeit
(30.97Mb)

Knowledge Generation in Visual Analytics : Integrating Human and Machine Intelligence for Exploration of Big Data

Sacha, Dominik (2018) - Dissertation
(630.1Kb)

Combining Model Reductions

Camporesi, Ferdinanda; Feret, Jérôme; Koeppl, Heinz; Petrov, Tatjana (2010) - Zeitschriftenartikel
Erschienen in: Electronic Notes in Theoretical Computer Science ; 265 (2010). - S. 73-96. - ISSN 1571-0661
(553.8Kb)

Linear Distances between Markov Chains

Daca, Przemyslaw; Henzinger, Thomas A.; Kretínský, Jan; Petrov, Tatjana (2016) - Beitrag zu einer Konferenz
Erschienen in: 27th International Conference on Concurrency Theory : CONCUR'16 / Desharnais, Josée; Jagadeesan, Radha (Hrsg.). - Saarbrücken/Wadern : Schloss Dagstuhl, Leibniz-Zentrum für Informatik GmbH, 2016. - (LIPIcs : Leibniz International Proceedings in Informatics ; 59). - 20. - ISSN 1868-8969. - ISBN 978-3-95977-017-0
(935.3Kb)

Lumpability abstractions of rule-based systems

Feret, Jerome; Henzinger, Thomas; Koeppl, Heinz; Petrov, Tatjana (2012) - Zeitschriftenartikel
Erschienen in: Theoretical Computer Science ; 431 (2012). - S. 137-164. - ISSN 0304-3975. - eISSN 1879-2294
(749.0Kb)

Stochastic Semantics of Signaling as a Composition of Agent-view Automata

Koeppl, Heinz; Petrov, Tatjana (2011) - Zeitschriftenartikel
Erschienen in: Electronic Notes in Theoretical Computer Science ; 272 (2011). - S. 3-17. - ISSN 1571-0661
(467.3Kb)

Model Decomposition and Stochastic Fragments

Petrov, Tatjana; Ganguly, Arnab; Koeppl, Heinz (2012) - Zeitschriftenartikel
Erschienen in: Electronic Notes in Theoretical Computer Science ; 284 (2012). - S. 105-124. - ISSN 1571-0661
(1.318Mb)

Patterns of hippocampal tau pathology differentiate neurodegenerative dementias

Milenkovic, Ivan; Petrov, Tatjana; Kovacs, Gabor G. (2014) - Zeitschriftenartikel
Erschienen in: Dementia and geriatric cognitive disorders ; 38 (2014), 5-6. - S. 375-388. - ISSN 1420-8008. - eISSN 1421-9824
(281.2Kb)

Faster Statistical Model Checking for Unbounded Temporal Properties

Daca, Przemysław; Henzinger, Thomas A.; Křetínský, Jan; Petrov, Tatjana (2017) - Zeitschriftenartikel
Erschienen in: ACM Transactions on Computational Logic ; 18 (2017), 2. - 12. - ISSN 1529-3785. - eISSN 1557-945X
(337.3Kb)

Markov chain aggregation and its applications to combinatorial reaction networks

Ganguly, Arnab; Petrov, Tatjana; Koeppl, Heinz (2014) - Zeitschriftenartikel
Erschienen in: Journal of Mathematical Biology ; 69 (2014), 3. - S. 767-797. - ISSN 0303-6812. - eISSN 1432-1416
(781.3Kb)

Model checking the evolution of gene regulatory networks

Giacobbe, Mirco; Guet, Călin C.; Gupta, Ashutosh; Henzinger, Thomas A.; Paixão, Tiago; Petrov, Tatjana (2017) - Zeitschriftenartikel
Erschienen in: Acta Informatica ; 54 (2017), 8. - S. 765-787. - ISSN 0001-5903. - eISSN 1432-0525
(278.3Kb)

Is Two Enough? : ! Studying Benefits, Barriers, and Biases of Multi-Tablet Use for Collaborative Visualization

Plank, Thomas; Jetter, Hans-Christian; Rädle, Roman; Klokmose, Clemens N.; Luger, Thomas; Reiterer, Harald (2017) - Beitrag zu einer Konferenz
Erschienen in: Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems - CHI '17. - New York, New York, USA : ACM Press, 2017. - S. 4548-4560. - ISBN 978-1-4503-4655-9
(2.076Mb)

Pattern Trails : Visual Analysis of Pattern Transitions in Subspaces

Jäckle, Dominik; Hund, Michael; Behrisch, Michael; Keim, Daniel A.; Schreck, Tobias (2017) - Beitrag zu einer Konferenz
Erschienen in: IEEE Conference on Visual Analytics Science and Technology (VAST)
(2.790Mb)

ODIX : A Rapid Hypotheses Testing System for Origin-Destination Data

Buchmüller, Juri; Jentner, Wolfgang; Streeb, Dirk; Keim, Daniel A. (2017) - Beitrag zu einer Konferenz
Erschienen in: IEEE Conference on Visual Analytics Science and Technology (VAST Challenge 2017 MC1)
(3.266Mb)

Visual Analysis of Spatio-Temporal Event Predictions : Investigating the Spread Dynamics of Invasive Species

Seebacher, Daniel; Häußler, Johannes; Hundt, Michael; Stein, Manuel; Müller, Hannes; Engelke, Ulrich; Keim, Daniel (2017) - Beitrag zu einer Konferenz
Erschienen in: Symposium on Visualization in Data Science (VDS) at IEEE VIS 2017