Logo Logo
Eine Ebene nach oben
Exportieren als [feed] RSS 1.0 [feed] RSS 2.0
Gruppiert nach: Autoren | Dokumententyp | Veröffentlichungsdatum
Springe zu: A | B | C | D | E | F | G | H | J | K | L | M | N | O | P | R | S | T | U | V | W | Y | Z
Anzahl der Publikationen auf dieser Ebene: 240 .

A

Albrecht, Benjamin: Computing all hybridization networks for multiple binary phylogenetic input trees. In: BMC Bioinformatics 2015, 16:236 [PDF, 1MB]

Alferes, José Júlio; Bailey, James; Berndtsson, Mikael; Bry, François; Dietrich, Jens; Kozlenkov, Alexander; May, Wolfgang; Patrânjan, Paula Lavinia; Pinto, Alexandre; Schroeder, Michael; Wagner, Gerd (5. August 2004): State-of-the-art on evolution and reactivity. [PDF, 817kB]

Alferes, José Júlio; Berndtsson, Mikael; Bry, François; Eckert, Michael; Henze, Nicola; May, Wolfgang; Patrânjan, Paula Lavinia; Schroeder, Michael (28. Februar 2005): Use-cases on evolution. [PDF, 528kB]

Alferes, José Júlio; Berndtsson, Mikael; Bry, François; Eckert, Michael; Henze, Nicola; May, Wolfgang; Patrânjan, Paula Lavinia; Schroeder, Michael (28. Februar 2005): Use-cases on reactivity. [PDF, 100kB]

Alt, Florian; Bulling, Andreas; Mecke, Lukas; Buschek, Daniel (2016): Attention, please! Comparing Features for Measuring Audience Attention Towards Pervasive Displays. In: Dis 2016: Proceedings of the 2016 Acm Conference On Designing interactive Systems: S. 823-828

Anthes, Christoph; García-Hernández, Rubén Jesús; Wiedemann, Markus; Kranzlmüller, Dieter (2016): State of the Art of Virtual Reality Technology. In: 2016 Ieee Aerospace Conference

Apel, Sven; Beyer, Dirk; Mordan, Vitaly; Mutilin, Vadim; Stahlbauer, Andreas (2016): On-the-Fly Decomposition of Specifications in Software Model Checking. In: Fse'16: Proceedings of the 2016 24th Acm Sigsoft international Symposium On Foundations of Software Engineering: S. 349-361

Aßmann, Uwe; Berger, Sacha; Bry, François; Henriksson, Jakob; Pătrânjan, Paula-Lavinia (2007): A Generic Module System forWeb Rule Languages: Divide and Rule. International Symposium, RuleML 2007, 25. - 26.. Oktober 2007, Orlando, Florida, USA. [PDF, 521kB]

B

Backofen, Rolf; Bry, François; Clote, Peter; Kriegel, Hans-Peter; Seidl, Thomas; Schulz, Klaus (1. Oktober 1999): Aktuelles Schlagwort Bioinformatik. Informatik-Spektrum, 22 [PDF, 397kB]

Backofen, Rolf; Böck, August; Bry, François; Buckenmaier, Andreas; Clote, Peter; Gabriel, Wilfried; Grosschedl, Rudolf; Hegering, Heinz-Gerd; Hermann, Reinhold G.; Kriegel, Hans-Peter; Kahmann, Regine; Kröger, Fred; Linnhoff-Popien, Claudia; Mewes, Hans-Werner; Weiss, Elisabeth H.; Wirsing, Martin (1999): Positionspapier zum Ausbau der Bioinformatik an der Ludwig-Maximilians-Universität München. [PDF, 469kB]

Baier, Stephan; Krompass, Denis; Tresp, Volker (2016): Learning Representations for Discrete Sensor Networks using Tensor Decompositions. In: 2016 Ieee international Conference On Multisensor Fusion and integration for intelligent Systems (Mfi): S. 84-89

Bailey, James; Bry, François; Eckert, Michael; Patrânjan, Paula Lavinia (2005): Flavours of XChange, a Rule-Based Reactive Language for the (Semantic) Web. [PDF, 175kB]

Bailey, James; Bry, François; Eckert, Michael; Patrânjan, Paula Lavinia (2005): Reactivity on the Web. Event Queries in XChange. [PDF, 210kB]

Bailey, James; Bry, François; Furche, Tim; Schaffert, Sebastian (2005): Web and Semantic Web Query Languages. A Survey. Reasoning Web First International Summer School 2005, 25. - 29. Juli 2005, Msida, Malta. [PDF, 875kB]

Barth, Stephan (2016): Deciding Monadic Second Order Logic over omega-Words by Specialized Finite Automata. In: Integrated formal Methods (Ifm 2016), Vol. 9681: S. 245-259

Baumgart, Daniel; Pohl, Alexander; Gehlen-Baum, Vera; Bry, François (2011): Providing guidance on Backstage, a novel digital backchannel for large class teaching. [PDF, 406kB]

Beard, Philippa M.; Griffiths, Samantha J.; Gonzalez, Orland; Haga, Ismar R.; Jowers, Tali Pechenick; Reynolds, Danielle K.; Wildenhain, Jan; Tekotte, Hille; Auer, Manfred; Tyers, Mike; Ghazal, Peter; Zimmer, Ralf; Haas, Jürgen (2014): A Loss of Function Analysis of Host Factors Influencing Vaccinia virus Replication by RNA Interference.
In: PLOS ONE 9(6), e98431 [PDF, 1MB]

Beck, Michael Till; Felipe Botero, Juan; Samelin, Kai (2016): Resilient Allocation of Service Function Chains. In: 2016 Ieee Conference On Network Function Virtualization and Software Defined Networks (Nfv-Sdn): S. 128-133

Beck, Michael Till; Krenn, Stephan; Preiss, Franz-Stefan; Samelin, Kai (2016): Practical Signing-Right Revocation. In: Trust and Trustworthy Computing, (Trust 2106), Vol. 9824: S. 21-39

Belzner, Lenz; Beck, Michael Till; Gabor, Thomas; RoeIle, Harald; Sauer, Horst (2016): Software Engineering for Distributed Autonomous Real-Time Systems. In: 2016 Ieee/Acm 2Nd international Workshop On Software Engineering for Smart Cyber-Physical Systems (Sescps): S. 54-57

Belzner, Lenz; Gabor, Thomas (2016): QoS-Aware Multi-Armed Bandits. In: 2016 Ieee 1St international Workshops On Foundations and Applications of Self* Systems (Fas*W): S. 118-119

Belzner, Lenz; Hennicker, Rolf; Wirsing, Martin (2016): OnPlan: A Framework for Simulation-Based Online Planning. In: Formal Aspects of Component Software, Vol. 9539: S. 1-30

Berchtold, Evi; Csaba, Gergely; Zimmer, Ralf (2016): Evaluating Transcription Factor Activity Changes by Scoring Unexplained Target Genes in Expression Data.
In: PLOS ONE 11(10), e0164513 [PDF, 2MB]

Berger, Sacha; Bry, François; Furche, Tim; Häusler, Andreas J. (2007): Completing Queries: Rewriting of IncompleteWeb Queries under Schema Constraints. RR 2007: First International Conference on Web Reasoning and Rule Systems, 7. - 8. Juni 2007, Innsbruck, Austria. [PDF, 159kB]

Berger, Sacha; Bry, François; Furche, Tim; Linse, Benedikt; Schroeder, Andreas (2006): Effective and Efficient Data Access in the Versatile Web Query Language Xcerpt. PPSWR 2006, 10. - 11. Juni 2006, Budva, Montenegro. [PDF, 645kB]

Berstel, Bruno; Bonnard, Philippe; Bry, François; Eckert, Michael; Patranjan, Paula-Lavinia (2007): Reactive Rules on the Web. Reasoning Web 2007 Third International Summer School, 3. - 7. September 2007, Dresden, Germany. [PDF, 496kB]

Beyer, Dirk (2016): Partial Verification and Intermediate Results as a Solution to Combine Automatic and Interactive Verification Techniques. In: Leveraging Applications of formal Methods, Verification and Validation: Foundational Techniques, Pt I, Vol. 9952: S. 874-880

Beyer, Dirk; Dangl, Matthias; Dietsch, Daniel; Heizmann, Matthias (2016): Correctness Witnesses: Exchanging Verification Results between Verifiers. In: Fse'16: Proceedings of the 2016 24th Acm Sigsoft international Symposium On Foundations of Software Engineering: S. 326-337

Beyer, Dirk; Friedberger, Karlheinz (2016): A Light-Weight Approach for Verifying Multi-Threaded Programs with CPAchecker. In: Electronic Proceedings in Theoretical Computer Science, Nr. 233: S. 61-71 [PDF, 313kB]

Beyer, Dirk; Lemberger, Thomas (2016): Symbolic Execution with CEGAR. In: Leveraging Applications of formal Methods, Verification and Validation: Foundational Techniques, Pt I, Vol. 9952: S. 195-211

Boidol, Jonathan; Hapfelmeier, Andreas (2016): Detecting Data Stream Dependencies on High Dimensional Data. In: Iotbd: Proceedings of the international Conference On internet of things and Big Data: S. 383-390

Bolzer, Oliver; Bry, François; Furche, Tim; Kraus, Sebastian; Schaffert, Sebastian (6. März 2004): Development of Use Cases, Part I. Illustrating the Functionality of a Versatile Web Query Language. [PDF, 728kB]

Bonfert, Thomas; Kirner, Evelyn; Csaba, Gergely; Zimmer, Ralf; Friedel, Caroline C.: ContextMap 2: fast and accurate context-based RNA-seq mapping. In: BMC Bioinformatics 2015, 16:122 [PDF, 1MB]

Brodt, Simon; Bry, François (2013): Analysing Temporal Relations – Beyond Windows, Frames and Predicates. [PDF, 487kB]

Brodt, Simon; Bry, François (2012): Temporal Stream Algebra. [PDF, 395kB]

Brodt, Simon; Bry, François; Eisinger, Norbert (2009): Search for More Declarativity. Backward Reasoning for Rule Languages Reconsidered. Third International Conference on Web Reasoning and Rule Systems, 25.- 26. Oktober 2009, Chantilly, Virginia, USA. [PDF, 348kB]

Brodt, Simon; Hausmann, Steffen; Bry, François (31. August 2011): D4.5 Implementation. [PDF, 406kB]

Brodt, Simon; Hausmann, Steffen; Bry, François (31. August 2010): Reactive Rules for Emergency Management. [PDF, 762kB]

Brodt, Simon; Hausmann, Steffen; Bry, François; Poppe, Olga; Eckert, Michael (30. Juni 2010): A Survey on IT-Techniques for a Dynamic Emergency Management in Large Infrastructures. [PDF, 658kB]

Bry, François (2012): Human Computation and Economics. [PDF, 180kB]

Bry, François; Clote, Peter; Hegering, Heinz-Gerd; Kriegel, Hans-Peter; Kröger, Fred; Ludwig, Thomas; Wirsing, Martin (1998): Weißbuch über Perspektiven in der Ludwig-Maximilians-Universität zum Anbruch des Informationszeitalters. [PDF, 131kB]

Bry, François; Colonna, François-Marie; Lorenz, Bernhard (2005): Multi-Paradigm Reasoning for Access to Heterogeneous GIS. [PDF, 213kB]

Bry, François; Eckert, Michael (2006): Twelve Theses on Reactive Rules for the Web. EDBT 2006 Workshops, 26. - 31. März 2006, Munich, Germany. [PDF, 152kB]

Bry, François; Eckert, Michael (2007): Rule-Based Composite Event Queries. The Language XChangeEQ and its Semantics. RR 2007: First International Conference on Web Reasoning and Rule Systems, 7. - 8. Juni 2007, Innsbruck, Austria. [PDF, 206kB]

Bry, François; Eckert, Michael; Patranjan, Paula-Lavinia (2006): Twelve Theses on Reactive Rules for the Web. APWeb 2006 International Workshops, 16. - 18. Januar 2006, Harbin, China. [PDF, 145kB]

Bry, François; Eckert, Michael; Patrânjan, Paula-Lavinia; Romanenko, Inna (2006): Realizing Business Processes with ECA Rules. Benefits, Challenges, Limits. PPSWR 2006, 4th International Workshop Principles and Practice of Semantic Web Reasoning, 10. - 11. Juni 2006, Budva, Montenegro. [PDF, 197kB]

Bry, François; Eisinger, Norbert; Eiter, Thomas; Furche, Tim; Gottlob, Georg; Ley, Clemens; Linse, Benedikt; Pichler, Reinhard; Wei, Fang (2007): Foundations of Rule-Based Query Answering. Reasoning Web 2007 - Third International Summer School, 3. - 7. September 2007, Dresden, Germany. [PDF, 1MB]

Bry, François; Furche, Tim; Badea, Liviu; Koch, Christoph; Schaffert, Sebastian; Berger, Sacha (15. August 2004): Identification of Design Principles. [PDF, 405kB]

Bry, François; Furche, Tim; Ley, Clemens; Linse, Benedikt; Marnette, Bruno (2008): Taming Existence in RDF Querying. Second International Conference, RR 2008, 31. Oktober - 1. November 2008, Karlsruhe, Deutschland. [PDF, 74kB]

Bry, François; Furche, Tim; Linse, Benedikt (2006): AMaχoS—Abstract Machine for Xcerpt. Architecture and Principles. PPSWR 2006, 4th International Workshop Principles and Practice of Semantic Web Reasoning, 10. - 11. Juni 2006, Budva, Montenegro. [PDF, 3MB]

Bry, François; Furche, Tim; Linse, Benedikt (2006): Data Model and Query Constructs for Versatile Web Query Languages. State-of-the-Art and Challenges for Xcerpt. PPSWR 2006, 4th International Workshop Principles and Practice of Semantic Web Reasoning, 10. - 11. Juni 2006, Budva, Montenegro. [PDF, 230kB]

Bry, François; Furche, Tim; Linse, Benedikt (2009): Model Theory and Entailment Rules for RDF Containers, Collections and Reification. [PDF, 193kB]

Bry, François; Furche, Tim; Linse, Benedikt (2008): Simulation Subsumption or Déjà vu on the Web. Second International Conference, RR 2008, 31. Oktober - 1. November 2008, Karlsruhe, Deutschland. [PDF, 253kB]

Bry, François; Furche, Tim; Linse, Benedikt; Pohl, Alexander; Weinzierl, Antonius; Yestekhina, Olga (2009): Four Lessons in Versatility or How Query Languages Adapt to the Web. In: Bry, François (Hrsg.): (2009): Semantic Techniques for the Web : The REWERSE Perspective. Lecture Notes in Computer Science, Bd. 5500. Berlin u.a.: Springer. S. 50-160 [PDF, 1MB]

Bry, François; Furche, Tim; Olteanu, Dan (2004): Datenströme. Informatik-Spektrum, 27 [PDF, 90kB]

Bry, François; Furche, Tim; Weiand, Klara (2009): Web Queries: From a Web of Data to a Semantic Web? Web Information Systems Engineering - WISE 2009, Proceedings of 10th International Conference on Web Systems Engineering (WISE2009), 5. - 7. Oktober 2009, Pozan, Polen. [PDF, 77kB]

Bry, François; Kneissl, Fabian; Krefeld, Thomas; Lücke, Stephan; Wieser, Christoph (2013): A Crowdsourcing Platform for Italian Linguistic Field Research. [PDF, 2MB]

Bry, François; Kneißl, Fabian; Weiand, Klara; Furche, Tim (2012): Term-Specific Eigenvector-Centrality in Multi-Relation Networks. In: International Journal of Social Network Mining, Vol. 1, Nr. 2: S. 141-159 [PDF, 351kB]

Bry, François; Kotowski, Jakub (19. Juni 2009): Reason Maintenance - Conceptual Framework. [PDF, 732kB]

Bry, François; Kotowski, Jakub (1. September 2008): Reason Maintenance - State of the Art. [PDF, 538kB]

Bry, François; Kraus, Michael (2002): Adaptive Hypermedia made simple using HTML/XML Style Sheet Selectors. [PDF, 115kB]

Bry, François; Kraus, Michael (2002): Perspectives for Electronic Books in the World Wide Web Age. In: The Electronic Library, Vol. 20, Nr. 4: S. 275-287 [PDF, 82kB]

Bry, François; Kraus, Michael; Olteanu, Dan; Schaffert, Sebastian (13. Juni 2001): Aktuelles Schlagwort "Semi-strukturierte Daten". Informatik-Spektrum, 24 [PDF, 100kB]

Bry, François; Kröger, Peer (2000): A Molecular Biology Database Digest. [PDF, 1MB]

Bry, François; Kröger, Peer (2002): Aktuelles Schlagwort "Datenbanken in der Bioinformatik". Informatik-Spektrum, 25 [PDF, 69kB]

Bry, François; Kröger, Peer (2004): Bioinformatics Databases: State of the Art and Research Perspectives. ADBIS 2003, 7th East European Conference Advances in Databases and Information Systems, 3. - 6. September 2003, Dresden, Deutschland. [PDF, 24kB]

Bry, François; Lorenz, Bernhard; Ohlbach, Hans Jürgen; Spranger, Stephanie (2003): On Reasoning on Time and Location on the Web. PPSWR 2003, International Workshop on Principles and Practice of Semantic Web Reasoning, 9. - 13. Dezember 2003, Mumbai, India. [PDF, 154kB]

Bry, François; Manthey, Rainer (2005): Variations on a Theme: A Bibliography on Approaches to Theorem Proving Inspired From Satchmo. [PDF, 125kB]

Bry, François; Manthey, Rainer; Schütz, Heribert (1995): Deduktive Datenbanken. Künstliche Intelligenz : KI ; Forschung, Entwicklung, Erfahrungen ; Organ des Fachbereichs 1 Künstliche Intelligenz der Gesellschaft für Informatik e.V., GI. Themenheft Logische Programmierung [PDF, 168kB]

Bry, François; Marchiori, Massimo (2006): Ten Theses on Logic Languages for the Semantic Web. PPSWR 2005, Third International Workshop Principles and Practice of Semantic Web Reasoning, 11. - 16. September 2005, Schloss Dagstuhl, Deutschland. [PDF, 158kB]

Bry, François; Marchiori, Massimo (2006): Towards a Rule Interchange Language for the Web. [PDF, 179kB]

Bry, François; Nagel, Wolfgang E.; Schroeder, Michael (1. Dezember 2004): Grid-Computing. In: Informatik-Spektrum, Vol. 27, Nr. 6: S. 542-545 [PDF, 83kB]

Bry, François; Patranjan, Paula-Lavinia; Schaffert, Sebastian (2004): Poster Presentation: Xcerpt and XChange – Logic Programming Languages for Querying and Evolution on the Web. ICLP 2004, 20th International Conference on Logic Programming, 6. - 10. September 2004, Saint-Malo, Frankreich. [PDF, 84kB]

Bry, François; Rieß, Frank-André; Spranger, Stephanie (2005): A Reasoner for Calendric and Temporal Data. Extended Version. [PDF, 194kB]

Bry, François; Rieß, Frank-André; Spranger, Stephanie (2005): A Reasoner for Calendric and Temporal Data. [Short version]. [PDF, 149kB]

Bry, François; Rieß, Frank-André; Spranger, Stephanie (2005): A Type Language for Calendars. [Extended Version]. [PDF, 242kB]

Bry, François; Rieß, Frank-André; Spranger, Stephanie (2005): A Type Language for Calendars. [Short Version]. [PDF, 176kB]

Bry, François; Schaffert, Sebastian (2003): An Entailment Relation for Reasoning on the Web. RuleML 2003, Second International Workshop on Rules and Rule Markup Languages, 20. October 2003, Sunibel Island, Florida, USA. [PDF, 317kB]

Bry, François; Schaffert, Sebastian (2002): The XML Query Language Xcerpt: Design Principles, Examples, and Semantics. NODe 2002 Web- and Database-Related Workshops, 7. - 10. Oktober 2002, Erfurt, Deutschland. [PDF, 219kB]

Bry, François; Schaffert, Sebastian (2002): Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification. [PDF, 198kB]

Bry, François; Schaffert, Sebastian (2002): Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification. ICLP 2002, 18th International Conference on Logic Programming, 29. Juli - 1. August 2002, Kopenhagen, Dänemark. [PDF, 190kB]

Bry, François; Schaffert, Sebastian; Schroeder, Andreas (Januar 2004): A contribution to the Semantics of Xcerpt, a Web Query and Transformation Language. (Extended Abstract). [PDF, 133kB]

Bry, François; Seipel, Dietmar (1996): Schlagwort "Deduktive Datenbanken". Informatik-Spektrum, 19 [PDF, 82kB]

Bry, François; Torge, Sunna (Dezember 1997): Model Generation for Appllications - A Tableaux Method. Complete for Finite Satisfiability. [PDF, 252kB]

Bry, François; Wagner, Holger (September 2003): Collaborative Categorization on the Web. Approach, Prototype, and Experience Report. [PDF, 263kB]

Bry, François; Yahya, Adnan (2000): Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation. Journal of Automated Reasoning, 25 [PDF, 425kB]

Buschek, Daniel (2016): There is more to biometrics than user identification: Making mobile interactions personal, secure and representative. In: It-information Technology, Vol. 58, Nr. 5: S. 247-253

Buschek, Daniel; De Luca, Alexander; Alt, Florian (2016): Evaluating the Influence of Targets and Hand Postures on Touch-based Behavioural Biometrics. In: Kaye, Jofish (Hrsg.): CHI 2016 : proceedings : the 34th Annual CHI Conference on Human Factors in Computing Systems : San Jose Convention Center, San Jose, CA, May 7-12. New York, N.Y.: Association For Computing Machinery. S. 1349-1361

Buschek, Daniel; Hartmann, Fabian; Zezschwitz, Emanuel von; De Luca, Alexander; Alt, Florian (2016): SnapApp: Reducing Authentication Overhead with a Time-Constrained Fast Unlock Option. In: Kaye, Jofish (Hrsg.): CHI 2016 : proceedings : the 34th Annual CHI Conference on Human Factors in Computing Systems : San Jose Convention Center, San Jose, CA, May 7-12. New York, N.Y.: Association For Computing Machinery. S. 3736-3747

Böhm, Christian; Perdacher, Martin; Plant, Claudia (2016): Cache-oblivious Loops Based on a Novel Space-filling Curve. In: 2016 Ieee international Conference On Big Data (Big Data): S. 17-26

C

Caelli, Terry; Dillon, Craig; Osman, Erol; Krieger, Gerhard (1997): The IPRS Image Processing and Pattern Recognition System. In: Spatial Vision, Vol. 11, Nr. 1: S. 107-115 [PDF, 312kB]

Campos, Guilherme O.; Zimek, Arthur; Sander, Jörg; Campello, Ricardo J. G. B.; Micenková, Barbora; Schubert, Erich; Assent, Ira; Houle, Michael E. (2016): On the evaluation of unsupervised outlier detection: measures, datasets, and an empirical study. In: Data Mining and Knowledge Discovery, Vol. 30, Nr. 4: S. 891-927

Christ, Patrick Ferdinand; Lachner, Florian; Hösl, Axel; Menze, Bjoern; Diepold, Klaus; Butz, Andreas (2016): Human-Drone-Interaction: A Case Study to Investigate the Relation Between Autonomy and User Experience. In: Computer Vision - Eccv 2016 Workshops, Pt Ii, Vol. 9914: S. 238-253

Colley, Ashley; Seitz, Tobias; Lappalainen, Tuomas; Kranz, Matthias; Hakkila, Jonna (2016): Extending the Touchscreen Pattern Lock Mechanism with Duplicated and Temporal Codes. In: Advances in Human-Computer interaction, 8762892 [PDF, 2MB]

D

Dal Lago, Ugo; Schöpp, Ulrich (2016): Computation by interaction for space-bounded functional programming. In: Information and Computation, Vol. 248: S. 150-194

Dalsgaard, Peter; Halskov, Kim; Wiethoff, Alexander (2016): Designing Media Architecture: Tools and Approaches for Addressing the Main Design Challenges. In: Kaye, Jofish (Hrsg.): CHI 2016 : proceedings : the 34th Annual CHI Conference on Human Factors in Computing Systems : San Jose Convention Center, San Jose, CA, May 7-12. New York, N.Y.: Association For Computing Machinery. S. 2562-2573

De Luca, Alexander; Zezschwitz, Emanuel von (2016): Usable privacy and security. In: It-information Technology, Vol. 58, Nr. 5: S. 215-216

Decker, Hendrik; Misra, Sanjay (2016): Measure-Based Repair Checking by Integrity Checking. In: Computational Science and Its Applications - Iccsa 2016, Pt V, Vol. 9790: S. 530-543

Diaz, Carlos Mauricio Castano; Dorner, Birgit; Hußmann, Heinrich; Strijbos, Jan-Willem (2016): Eppur si Muove Considerations in the Research of Commercial Video Games. In: 2016 8th international Conference On Games and Virtual Worlds for Serious Applications (Vs-Games)

da Silva, Vinicius Henrique; De Almeida Regitano, Luciana Correia; Geistlinger, Ludwig; Pértille, Fábio; Giachetto, Poliana Fernanda; Brassaloti, Ricardo Augusto; Morosini, Natália Silva; Zimmer, Ralf; Coutinho, Luiz Lehmann (2016): Genome-Wide Detection of CNVs and Their Association with Meat Tenderness in Nelore Cattle.
In: PLOS ONE 11(6), e0157711 [PDF, 1MB]

E

Ebert, Andre; Feld, Sebstian; Dorfmeister, Florian (2016): Segmented and Directional Impact Detection for Parked Vehicles using Mobile Devices. In: Proceedings of the 23Rd international Conference On Systems, Signals and Image Processing, (Iwssip 2016): S. 303-306

Eckert, Michael; Bry, François (1. April 2009): Aktuelles Schlagwort "Complex Event Processing (CEP)". In: Informatik-Spektrum, Vol. 32, Nr. 2: S. 163-167 [PDF, 144kB]

Eckert, Michael; Bry, François (2009): Complex Event Processing (CEP). [PDF, 134kB]

Elffers, Jan; Johannsen, Jan; Lauria, Massimo; Magnard, Thomas; Nordström, Jakob; Vinyals, Marc (2016): Trade-offs Between Time and Memory in a Tighter Model of CDCL SAT Solvers. In: Theory and Applications of Satisfiability Testing - Sat 2016, Vol. 9710: S. 160-176

Erhard, Florian; Zimmer, Ralf (2015): Count ratio model reveals bias affecting NGS fold changes. In: Nucleic Acids Research, Vol. 43, Nr. 20, e136 [PDF, 1MB]

Esteban, Cristóbal; Staeck, Oliver; Baier, Stephan; Yang, Yinchong; Tresp, Volker (2016): Predicting Clinical Events by Combining Static and Dynamic Information using Recurrent Neural Networks. In: 2016 Ieee international Conference On Healthcare informatics (Ichi): S. 93-101

Esteban, Cristóbal; Tresp, Volker; Yang, Yinchong; Baier, Stephan; Krompaß, Denis (2016): Predicting the Co-Evolution of Event and Knowledge Graphs. In: 2016 19th international Conference On information Fusion (Fusion): S. 98-105

F

Feld, Sebastian; Schönfeld, Mirco; Werner, Martin (2016): Traversing Bitcoin's P2P network: insights into the structure of a decentralised currency. In: International Journal of Computational Science and Engineering, Vol. 13, Nr. 2: S. 122-131

Feld, Sebastian; Werner, Martin; Linnhoff-Popien, Claudia (2016): Approximated Environment Features With Application to Trajectory Annotation. In: Proceedings of 2016 Ieee Symposium Series On Computational intelligence (Ssci)

Fernández-i-Marín, Xavier (2016): ggmcmc. Analysis of MCMC Samples and Bayesian Inference. In: Journal of Statistical Software, Vol. 70, Nr. 9: S. 1-20

Frank, Anton; Heikkurinen, Matti; Jamitzky, Ferdinand; Satzger, Helmut; Kranzlmüller, Dieter (2016): In need of partnerships-An essay about the collaboration between computational sciences and IT services. In: Journal of Computational Science, Vol. 14: S. 78-84

Franzke, Maximilian; Bleicher, Janina; Züfle, Andreas (2016): Finding Influencers in Temporal Social Networks Using Intervention Analysis. In: Databases theory and Applications, (Adc 2016), Vol. 9877: S. 3-16

Franzke, Maximilian; Emrich, Tobias; Zufle, Andreas; Renz, Matthias (2016): Indexing Multi-Metric Data. In: 2016 32Nd Ieee international Conference On Data Engineering (Icde): S. 1122-1133

Fuchs, Mathias; Jiang, Xiaoyu; Anne-Laure, Boulesteix (14. Januar 2016): The computationally optimal test set size in simulation studies on supervised learning. Department of Statistics: Technical Reports, Nr. 189 [PDF, 432kB]

Fuchs, Tobias; Fürlinger, Karl (2016): A Multi-Dimensional Distributed Array Abstraction for PGAS. In: Proceedings of 2016 Ieee 18th international Conference On High Performance Computing and Communications;Ieee 14th international Conference On Smart City;Ieee 2Nd international Conference On Data Science and Systems (Hpcc/Smartcity/Dss): S. 1061-1068

Fulda, Johanna; Brehmer, Matthew; Munzner, Tamara (2016): TimeLineCurator: Interactive Authoring of Visual Timelines from Unstructured Text. In: Ieee Transactions On Visualization and Computer Graphics, Vol. 22, Nr. 1: S. 300-309

Furche, Tim; Bry, François; Schaffert, Sebastian; Orsini, Renzo; Horrocks, Ian; Kraus, Michael; Bolzer, Oliver (8. September 2004): Survey over Existing Query and Transformation Languages. [PDF, 917kB]

Furche, Tim; Linse, Benedikt; Bry, François; Plexousakis, Dimitris; Gottlob, Georg (2007): RDF Querying. Language Constructs and Evaluation Methods Compared. Reasoning Web 2006: Summer School, 4. - 8. September 2006, Lisbon, Portugal. [PDF, 662kB]

Fysaraki, Maria; Hussmann, Heinrich (2016): Towards Tool Support for Team Awareness in Collaborative Argumentation. In: Proceedings of the 8th international Conference On Computer Supported Education, Vol 1 (Csedu): S. 507-512

Fürlinger, Karl; Fuchs, Tobias; Kowalewski, Roger (2016): DASH: A C ++ PGAS Library for Distributed Data Structures and Parallel Algorithms. In: Proceedings of 2016 Ieee 18th international Conference On High Performance Computing and Communications;Ieee 14th international Conference On Smart City;Ieee 2Nd international Conference On Data Science and Systems (Hpcc/Smartcity/Dss): S. 983-990

G

Gabor, Thomas; Belzner, Lenz; Kiermeier, Marie; Beck, Michael Till; Neitz, Alexander (2016): A Simulation-Based Architecture for Smart Cyber-Physical Systems. In: 2016 Ieee international Conference On Autonomic Computing (Icac): S. 374-379

García-Hernández, Rubén Jesús; Anthes, Christoph; Wiedemann, Markus; Kranzlmüller, Dieter (2016): Perspectives for Using Virtual Reality to Extend Visual Data Mining in Information Visualization. In: 2016 Ieee Aerospace Conference

Geistlinger, Ludwig; Csaba, Gergely; Zimmer, Ralf: Bioconductor's EnrichmentBrowser: seamless navigation through combined results of set- & network-based enrichment analysis. In: BMC Bioinformatics 2016, 17:45 [PDF, 1MB]

Goebl, Sebastian; Tonch, Annika; Böhm, Christian; Plant, Claudia (2016): MeGS: Partitioning Meaningful Subgraph Structures using Minimum Description Length. In: 2016 Ieee 16th international Conference On Data Mining (Icdm): S. 889-894

Guillen, Oscar M.; Schmidt, Dawin; Sigl, Georg (2016): Practical Evaluation of Code Injection in Encrypted Firmware Updates. In: Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition (Date): S. 325-330

Gulko, Miriam Kolog; Dyall-Smith, Mike; Gonzalez, Orland; Oesterhelt, Dieter (2014): How Do Haloarchaea Synthesize Aromatic Amino Acids?
In: PLOS ONE 9(9), e107475 [PDF, 2MB]

H

Haeuslschmid, Renate; Shou, Yixin; O'Donovan, John; Burnett, Gary; Butz, Andreas (2016): First Steps towards a View Management Concept for Large-sized Head-up Displays with Continuous Depth. In: 8th international Conference On Automotive User interfaces and interactive Vehicular Applications (Automotiveui 2016): S. 1-8

Han, Jiawei; Liu, Yanheng; Sun, Xin; Song, Lijun (2016): Enhancing Data and Privacy Security in Mobile Cloud Computing through Quantum Cryptography. In: Proceedings of 2016 Ieee 7th international Conference On Software Engineering and Service Science (Icsess 2016): S. 398-401

Hassani, Marwan; Lu, Yifeng; Wischnewsky, Jens; Seidl, Thomas (2016): A Geometric Approach for Mining Sequential Patterns in Interval-Based Data Streams. In: 2016 Ieee international Conference On Fuzzy Systems (Fuzz-Ieee): S. 2128-2135

Hassani, Marwan; Seidl, Thomas (2016): Clustering Big Data streams: recent challenges and contributions. In: It-information Technology, Vol. 58, Nr. 4: S. 206-213

Hausmann, Steffen; Brodt, Simon; Bry, François (28. Februar 2011): Dura. Concepts and Examples. [PDF, 1MB]

Hausmann, Steffen; Scherr, Maximilian; Bry, François (2012): Complex Actions for Event Processing. [PDF, 299kB]

Haykin, Simon; Tresp, Volker; Benediktsson, Jon Atli (2016): Big Data: Practical Applications. In: Proceedings of the Ieee, Vol. 104, Nr. 11: S. 2082-2084

Heikkurinen, Matti; Kranzlmüller, Dieter (2016): Environmental computing - applications, tools and data solutions. In: Proceedings of the 2016 Ieee 12th international Conference On E-Science (E-Science): S. 449

Hennicker, Rolf (2016): A Calculus for Open Ensembles and Their Composition. In: Leveraging Applications of formal Methods, Verification and Validation: Foundational Techniques, Pt I, Vol. 9952: S. 570-588

Hennicker, Rolf; Bidoit, Michel; Dang, Thanh-Son (2016): On Synchronous and Asynchronous Compatibility of Communicating Components. In: Coordination Models and Languages, Vol. 9686: S. 138-156

Hoffmann, Eike Jens; Werner, Martin; Schauer, Lorenz (2016): Indoor Navigation Using Virtual Anchor Points. In: 2016 European Navigation Conference (Enc)

Hogan, Trevor; Hornecker, Eva; Stusak, Simon; Jansen, Yvonne; Alexander, Jason; Moere, Andrew Vande; Hinrichs, Uta; Nolan, Kieran (2016): Tangible Data, explorations in data physicalization. In: Bakker, Saskia (Hrsg.): Proceedings of the Tenth Anniversary Conference on Tangible Embedded and Embodied Interaction : 14-17 February 2016, Eindhoven, the Netherlands. New York, N.Y: Association For Computing Machinery. S. 753-756

Hoggenmueller, Marius; Wiethoff, Alexander (2016): LightBricks - A Physical Prototyping Toolkit for Do-it-Yourself Media Architecture. In: Proceedings of the 3Rd Conference On Media Architecture Biennale (Mab16)

Hommel, Wolfgang (2012): Integriertes Management von Security-Frameworks. Habilitationsschrift, Ludwig-Maximilians-Universität München
[PDF, 11MB]

Horn, Daniel; Bischl, Bernd (2016): Multi-Objective Parameter Configuration of Machine Learning Algorithms using Model-Based Optimization. In: Proceedings of 2016 Ieee Symposium Series On Computational intelligence (Ssci)

Häuslschmid, Renate; Pfleging, Bastian; Alt, Florian (2016): A Design Space to Support the Development of Windshield Applications for the Car. In: Kaye, Jofish (Hrsg.): CHI 2016 : proceedings : the 34th Annual CHI Conference on Human Factors in Computing Systems : San Jose Convention Center, San Jose, CA, May 7-12. New York, N.Y.: Association For Computing Machinery. S. 5076-5091

J

Jakob, Matthias; Nikolaidis, Ioanis (2016): A Top-Down Aggregation Convergecast Schedule Construction. In: 2016 9th Ifip Wireless and Mobile Networking Conference (Wmnc): S. 17-24

Jaskowiak, Pablo A.; Moulavi, Davoud; Furtado, Antonio C. S.; Campello, Ricardo J. G. B.; Zimek, Arthur; Sander, Jörg (2016): On strategies for building effective ensembles of relative clustering validity criteria. In: Knowledge and information Systems, Vol. 47, Nr. 2: S. 329-354

Jähnichen, Stefan; Wirsing, Martin (2016): Adaptation to the Unforeseen: Do we Master our Autonomous Systems? Questions to the Panel - Panel Introduction. In: Leveraging Applications of formal Methods, Verification and Validation: Foundational Techniques, Pt I, Vol. 9952: S. 639-641

Jähnichen, Stefan; Wirsing, Martin (2016): Rigorous Engineering of Collective Adaptive Systems Track Introduction. In: Leveraging Applications of formal Methods, Verification and Validation: Foundational Techniques, Pt I, Vol. 9952: S. 535-538

K

Kauermann, Göran; Seidl, Thomas (19. März 2018): Data Science: a proposal for a curriculum. In: International Journal of Data Science and Analytics

Kessel, Moritz; Ruppel, Peter; Gschwandtner, Florian (2010): BIGML: A Location Model with Individual Waypoint Graphs for Indoor Location-based Services. In: PIK - Praxis der Informationsverarbeitung und Kommunikation, Vol. 33, Nr. 4: S. 261-267 [PDF, 2MB]

Kneißl, Fabian; Bry, François (2012): Borsa Parole – A Market for Linguistic Speculation. [PDF, 2MB]

Kotowski, Jakub; Bry, François (2009): A Perfect Match for Reasoning, Explanation, and Reason Maintenance. Third International Conference, RR 2009, 25. - 26. Oktober 2009, Chantilly, USA. [PDF, 238kB]

Kotowski, Jakub; Bry, François; Eisinger, Norbert (2011): A Potpourri of Reason Maintenance Methods. Incremental View Maintenance Reconsidered. [PDF, 553kB]

Kotowski, Jakub; Stroka, Stephanie; Bry, François; Schaffert, Sebastian (2009): Dependency Updates and Reasoning in KiWi. [PDF, 82kB]

Kowalewski, Roger; Fürlinger, Karl (2016): Nasty-MPI: Debugging Synchronization Errors in MPI-3 One-Sided Applications. In: Euro-Par 2016: Parallel Processing, Vol. 9833: S. 51-62

Kraus, Michael; Bry, François; Kitagawa, Kazuhiro (2003): A Visual Language for Web Querying and Reasoning. PPSWR 2003, International Workshop on Principles and Practice of Semantic Web Reasoning, 9. - 13. Dezember 2003, Mumbai, India. [PDF, 326kB]

Kraus, Michael; Bry, François; Kitagawa, Kazuhiro (2003): XML Document Adaptation Queries (XDAQ). An Approach to Adaptation Reasoning Using Web Query Languages. PPSWR 2003, International Workshop on Principles and Practice of Semantic Web Reasoning, 9. - 13. Dezember 2003, Mumbai, India. [PDF, 184kB]

Kroiß, Christian; Bureš, Tomáš (2016): Logic-based modeling of information transfer in cyber-physical multi-agent systems. In: Future Generation Computer Systems-the international Journal of Escience, Vol. 56: S. 124-139

Küffner, Robert; Petri, Tobias; Windhager, Lukas; Zimmer, Ralf (20. September 2010): Petri Nets with Fuzzy Logic (PNFL): Reverse Engineering and Parametrization.
In: PLOS ONE 5(9), e12807 [PDF, 1MB]

L

Lachner, Florian; Naegelein, Philipp; Kowalski, Robert; Spann, Martin; Butz, Andreas (2016): Quantified UX: Towards a Common Organizational Understanding of User Experience. In: Proceedings of the Nordichi '16: the 9th Nordic Conference On Human-Computer interaction - Game Changing Design

Li, Lin; Fussenegger, Markus; Cichon, Gordon (2016): A Data Locality and Memory Contention Analysis Method in Embedded NUMA Multi-core Systems. In: 2016 Ieee 10th international Symposium On Embedded Multicore/Many-Core Systems-On-Chip (Mcsoc): S. 85-92

Linnhoff-Popien, Claudia; Verclas, Stephan (2010): Open Innovation: die T-Systems-LMU München Kooperation „Mobile Business Applications“. In: PIK - Praxis der Informationsverarbeitung und Kommunikation, Vol. 37, Nr. 1: S. 41-47 [PDF, 1MB]

Lohrer, Johannes-Y.; Kaltenthaler, Daniel; Kröger, Peer; Meijden, Christiaan van der; Obermaier, Henriette (2016): A generic framework for synchronized distributed data management in archaeological related disciplines. In: Future Generation Computer Systems-the international Journal of Escience, Vol. 56: S. 558-570

Luisa Bonet, Maria; Buss, Sam; Johannsen, Jan (2014): Improved Separations of Regular Resolution from Clause Learning Proof Systems. In: Journal of Artificial intelligence Research, Vol. 49: S. 669-703

M

Madeira, Alexandre; Barbosa, Luis S.; Hennicker, Rolf; Martins, Manuel A. (2016): Dynamic Logic with Binders and Its Application to the Development of Reactive Systems. In: Theoretical Aspects of Computing - Ictac 2016, Vol. 9965: S. 422-440

Maiterth, Matthias; Schulz, Martin; Kranzlmüller, Dieter; Rountree, Barry (2016): Power Balancing in an Emulated Exascale Environment. In: 2016 Ieee 30th international Parallel and Distributed Processing Symposium Workshops (Ipdpsw): S. 1142-1149

Marouane, Chadly; Ebert, Andre; Linnhoff-Popien, Claudia; Christil, Maximilian (2016): Step and activity detection based on the orientation and scale attributes of the SURF algorithm. In: 2016 international Conference On indoor Positioning and indoor Navigation (Ipin)

Marouane, Chadly; Maier, Marco; Leupold, Alexander; Linnhoff-Popien, Claudia (2016): Visual Odometry using motion vectors from visual feature points. In: 2016 international Conference On indoor Positioning and indoor Navigation (Ipin)

Mauder, Markus; Bobkova, Yulia; Ntoutsi, Eirini (2016): GMMbuilder - User-Driven Discovery of Clustering Structure for Bioarchaeology. In: Machine Learning and Knowledge Discovery in Databases, Ecml Pkdd 2016, Pt Iii, Vol. 9853: S. 8-11

Mauder, Markus; Ntoutsi, Eirini; Kröger, Peer; Mayr, Christoph; Grupe, Gisela; Toncala, Anita; Hölzl, Stefan (2016): Applying Data Mining Methods for the Analysis of Stable Isotope Data in Bioarchaeology. In: Proceedings of the 2016 Ieee 12th international Conference On E-Science (E-Science): S. 233-242

Mautz, Dominik; Böhm, Christian; Plant, Claudia (2016): Subspace Clustering Ensembles Through Tensor Decomposition. In: 2016 Ieee 16th international Conference On Data Mining Workshops (Icdmw): S. 1225-1234

Meuss, Holger; Schulz, Klaus U.; Weigel, Felix; Leonardi, Simone; Bry, François (1. März 2005): Visual exploration and retrieval of XML document collections with the generic system X2. In: International Journal on Digital Libraries, Vol. 5, Nr. 1: S. 3-17 [PDF, 379kB]

Meyer, Robert (31. Dezember 2009): Analyse und Erweiterung von Vorlesungsaufzeichnungen der UnterrichtsMitschau aus der Perspektive der gemäßigt konstruktivistischen Lerntheorie. Diplomarbeit, Fakultät für Mathematik, Informatik und Statistik, Ludwig-Maximilians-Universität München. [PDF, 4MB]

Mohr, Anja; Kothe, Tina; Hußmann, Heinrich (2016): DEMO - Web Application ArtEater. In: Proceedings of the 15th international Conference On interaction Design and Children (Idc2016): S. 684-687

Murakawa, Yasuhiro; Hinz, Michael; Mothes, Janina; Schuetz, Anja; Uhl, Michael; Wyler, Emanuel; Yasuda, Tomoharu; Mastrobuoni, Guido; Friedel, Caroline C.; Dölken, Lars; Kempa, Stefan; Schmidt-Supprian, Marc; Blüthgen, Nils; Backofen, Rolf; Heinemann, Udo; Wolf, Jana; Scheidereit, Claus; Landthaler, Markus (2015): RC3H1 post-transcriptionally regulates A20 mRNA and modulates the activity of the IKK/NF-kappa B pathway. In: Nature Communications, Vol. 6, 7367 [PDF, 3MB]

N

Naeem, Haroon; Küffner, Robert; Csaba, Gergely; Zimmer, Ralf: miRSel: automated extraction of associations between microRNAs and genes from the biomedical literature. In: BMC Bioinformatics 2010, 11:135 [PDF, 1MB]

Naeem, Haroon; Küffner, Robert; Zimmer, Ralf (2011): MIRTFnet: analysis of miRNA regulated transcription factors.
In: PLOS ONE 6(8), e22519 [PDF, 628kB]

Nasseh, Daniel (2015): Anbindung von Messgeräten ohne Datenexportschnittstelle an ein Data Warehouse - exemplarisch gezeigt am Spectralis OCT. DOG 2015: 113. DOG-Kongress „Augenheilkunde – grundlagenbasiert und interdisziplinär“, 01. - 04. Oktober 2015, Berlin. [PDF, 1MB]

Nasseh, Daniel (2014): Stand der Literatur zur Datenqualität. TMF Registertage, 2014, Berlin. [PDF, 796kB]

Nasseh, Daniel; Engel, Jutta; Mansmann, Ulrich; Tretter, Werner; Stausberg, Jürgen (2014): Matching Study to Registry data: Maintaining Data Privacy in a Study on Family based Colorectal Cancer. MIE 2014, September 2014, Istanbul. [PDF, 382kB]

Nasseh, Daniel; Müller, Michael; Ahlborn, Bernd; Kortüm, Karsten; Kampik, Anselm; Mansmann, Ulrich; Kreutzer, Thomas (2015): SMEYEDAT (Smart-Eye-Data): Zusammenführung und Nutzbarmachung ophthalmologischer Daten. GMDS 2015: 60. Jahrestagung der Deutschen Gesellschaft für Medizinische Informatik, Biometrie und Epidemiologie e. V., 06.09. - 09.09.2015, Krefeld. [PDF, 1MB]

Nasseh, Daniel; Schweizer, Diana; Mansmann, Ulrich (2017): Visualisierung und Analyse im Kontext onkologischer Daten. IV. Interdisziplinärer Kongress Junge Wissenschaft und Praxis, 1.-2. Juni 2016, Berlin, Deutschland. [PDF, 345kB]

Nasseh, Daniel; Stausberg, Jürgen (September 2013): Einfluss von Varianten des anonymen Record Linkage auf Gewichtsverteilung und Klassifikation. GMDS 2013: 58. Jahrestagung der Deutschen Gesellschaft für Medizinische Informatik, Biometrie und Epidemiologie e. V., 01. - 05.09.2013, Lübeck. [PDF, 1MB]

Nickel, Maximilian; Murphy, Kevin; Tresp, Volker; Gabrilovich, Evgeniy (2016): A Review of Relational Machine Learning for Knowledge Graphs. In: Proceedings of the Ieee, Vol. 104, Nr. 1: S. 11-33

Nonnemacher, Michael; Nasseh, Daniel; Stausberg, Jürgen (2014): Datenqualität in der medizinischen Forschung. Leitlinie zum adaptiven Management von Datenqualität in Kohortenstudien und Registern. Schriftenreihe der Telematikplattform für Medizinische Forschungsnetze, Bd. 4. 2., aktualisierte und erweiterte Auflage. Berlin: Medizinisch Wissenschaftliche Verlagsgesellschaft.

O

Odaker, Thomas; Kranzlmueller, Dieter; Volkert, Jens (2016): GPU-Accelerated Real-Time Mesh Simplification Using Parallel Half Edge Collapses. In: Mathematical and Engineering Methods in Computer Science, Memics 2015, Vol. 9548: S. 107-118

Odaker, Thomas; Wiedemann, Markus; Anthes, Christoph; Kranzlmüller, Dieter (2016): Texture Analysis and Repacking for Improved Storage Efficiency. In: 22Nd Acm Conference On Virtual Reality Software and Technology (Vrst 2016): S. 361-362

P

Palleis, Henri; Hußmann, Heinrich (2016): Indirect 2D Touch Panning: How Does It Affect Spatial Memory and Navigation Performance? In: Kaye, Jofish (Hrsg.): CHI 2016 : proceedings : the 34th Annual CHI Conference on Human Factors in Computing Systems : San Jose Convention Center, San Jose, CA, May 7-12. New York, N.Y.: Association For Computing Machinery. S. 1947-1951

Pesch, Robert; Zimmer, Ralf: Cross-species Conservation of context-specific networks. In: BMC Systems Biology 2016, 10:76 [PDF, 2MB]

Petrakis, Iosif (2016): A constructive function-theoretic approach to topological compactness. In: Proceedings of the 31St Annual Acm-Ieee Symposium On Logic in Computer Science (Lics 2016): S. 605-614

Pfleging, Bastian; Fekety, Drea K.; Schmidt, Albrecht; Kun, Andrew L. (2016): A Model Relating Pupil Diameter to Mental Workload and Lighting Conditions. In: Kaye, Jofish (Hrsg.): CHI 2016 : proceedings : the 34th Annual CHI Conference on Human Factors in Computing Systems : San Jose Convention Center, San Jose, CA, May 7-12. New York, N.Y.: Association For Computing Machinery. S. 5776-5788

Pohl, Alexander; Gehlen-Baum, Vera; Bry, François (2012): Enhancing the Digital Backchannel Backstage on the Basis of a Formative User Study. In: International Journal of Emerging Technologies in Learning - iJET, Vol. 7, Nr. 1: S. 33-41 [PDF, 561kB]

Pommerening, K.; Sax, U.; Müller, Thomas; Speer, R.; Ganslandt, T.; Drepper, J.; Semler, S. (2008): Integrating eHealth and medical research. The TMF data protection scheme. In: Blobel, Bernd; Pharow, Peter; Nerlich, Michael (Hrsg.): eHealth: Combining Health Telematics, Telemedicine, Biomedical Engineering and Bioinformatics to the Edge. Studies in Health Technology and Informatics, Bd. 134. Amsterdam: IOS-Press. S. 5-10

R

Rentschler, Ingo; Barth, Erhardt; Caelli, Terry; Zetzsche, Christoph; Jüttner, Martin (1996): Generalization of form in visual pattern classification. In: Spatial Vision, Vol. 10, Nr. 1: S. 59-85 [PDF, 15MB]

Richter, Jakob; Kotthaus, Helena; Bischl, Bernd; Marwedel, Peter; Rahnenführer, Jörg; Lang, Michel (2016): Faster Model-Based Optimization Through Resource-Aware Scheduling Strategies. In: Learning and intelligent Optimization (Lion 10), Vol. 10079: S. 267-273

Ringsquandl, Martin; Lamparter, Steffen; Lepratti, Raffaello (2016): Graph-based Predictions and Recommendations in Flexible Manufacturing Systems. In: Proceedings of the Iecon 2016 - 42Nd Annual Conference of the Ieee industrial Electronics Society: S. 6937-6942

Ringsquandl, Martin; Lamparter, Steffen; Thon, Ingo; Lepratti, Raffaello; Kröger, Peer (2016): Knowledge Graph Constraints for Multi-label Graph Classification. In: 2016 Ieee 16th international Conference On Data Mining Workshops (Icdmw): S. 121-127

Roche, Jörg (2003): Plädoyer für ein theoriebasiertes Verfahren von Software-Design und Software-Evaluation. In: Deutsch als Fremdsprache, Vol. 40, Nr. 2: S. 94-103 [PDF, 1MB]

Rutkowski, Andrzej J.; Erhard, Florian; L'Hernault, Anne; Bonfert, Thomas; Schilhabel, Markus; Crump, Colin; Rosenstiel, Philip; Efstathiou, Stacey; Zimmer, Ralf; Friedel, Caroline C.; Dölken, Lars (2015): Widespread disruption of host transcription termination in HSV-1 infection. In: Nature Communications, Vol. 6, 7126 [PDF, 1MB]

S

Schaffert, Dan; Meuss, Holger; Furche, Tim; Bry, François (2002): XPath: Looking Forward. EDBT 2002 Workshops XMLDM, MDDE, and YRWS, 24. - 28. März 2002, Prag, Tschechische Republik. [PDF, 276kB]

Schaffert, Sebastian; Bry, François; Baumeister, Joachim (1. Dezember 2007): Semantic Wiki. In: Informatik-Spektrum, Vol. 30, Nr. 6: S. 434-439 [PDF, 310kB]

Schaffert, Sebastian; Bry, François; Furche, Tim (15. April 2005): Initial Draft of a Possible Declarative Semantics for the Language. [PDF, 587kB]

Scharwächter, Erik; Müller, Emmanuel; Donges, Jonathan; Hassani, Marwan; Seidl, Thomas (2016): Detecting Change Processes in Dynamic Networks by Frequent Graph Evolution Rule Mining. In: 2016 Ieee 16th international Conference On Data Mining (Icdm): S. 1191-1196

Schauer, Lorenz; Dorfmeister, Florian; Wirth, Florian (2016): Analyzing Passive Wi-Fi Fingerprinting for Privacy-Preserving Indoor-Positioning. In: Proceedings of 2016 international Conference On Localization and Gnss (Icl-Gnss)

Schauer, Lorenz; Marcus, Philipp; Linnhoff-Popien, Claudia (2016): Towards Feasible Wi-Fi based Indoor Tracking Systems Using Probabilistic Methods. In: 2016 international Conference On indoor Positioning and indoor Navigation (Ipin)

Schiffers, Michael; gentschen Felde, Nils; Kranzlmüller, Dieter (2016): I have a DRIHM: A case study in lifting computational science services up to the scientific mainstream. In: Journal of Computational Science, Vol. 14: S. 85-89

Schmid, Klaus Arthur; Frey, Christian; Peng, Fengchao; Weiler, Michael; Zufle, Andreas; Chen, Lei; Renz, Matthias (2016): TrendTracker: Modelling the motion of trends in space and time. In: 2016 Ieee 16th international Conference On Data Mining Workshops (Icdmw): S. 1145-1152

Schmidberger, Markus (2008): [Rezension zu] Introduction to Machine Learning and Bioinformatics. Sushmita Mitra, Sujay Datta, Theodore Perkins, and George Michailidis. - Chapman & Hall/CRC, Boca Raton, Florida, 2008. In: Journal of Statistical Software, Vol. 28 [PDF, 136kB]

Schneider, Hanna; Frison, Katharina; Wagner, Julie; Butz, Andras (2016): CrowdUX: A Case for Using Widespread and Lightweight Tools in the Quest for UX. In: Dis 2016: Proceedings of the 2016 Acm Conference On Designing interactive Systems: S. 415-425

Schneider, Hanna; Hill, Susan; Blandford, Ann (2016): Patients Know Best: Qualitative Study on How Families Use Patient-Controlled Personal Health Records. In: Journal of Medical internet Research, Vol. 18, Nr. 2, e43 [PDF, 3MB]

Schneider, Hanna; Moser, Kilian; Butz, Andreas; Alt, Florian (2016): Understanding the Mechanics of Persuasive System Design: a Mixed-Method Theory-driven Analysis of the Mobile Fitness Coach Freeletics. In: Kaye, Jofish (Hrsg.): CHI 2016 : proceedings : the 34th Annual CHI Conference on Human Factors in Computing Systems : San Jose Convention Center, San Jose, CA, May 7-12. New York, N.Y.: Association For Computing Machinery. S. 309-320

Schordan, Markus; Beyer, Dirk; Lundberg, Jonas (2016): Evaluation and Reproducibility of Program Analysis and Verification (Track Introduction). In: Leveraging Applications of formal Methods, Verification and Validation: Foundational Techniques, Pt I, Vol. 9952: S. 191-194

Schreiber, Konrad; Csaba, Gergely; Haslbeck, Martin; Zimmer, Ralf (2015): Alternative Splicing in Next Generation Sequencing Data of Saccharomyces cerevisiae.
In: PLOS ONE 10(10), e0140487 [PDF, 1MB]

Schöpp, Ulrich (2014): On the Relation of Interaction Semantics to Continuations and Defunctionalization. In: Logical Methods in Computer Science, Vol. 10, Nr. 4, 10 [PDF, 618kB]

Schöppner, Patricia; Csaba, Gergely; Braun, Tatjana; Daake, Marina; Richter, Bettina; Lange, Oliver F.; Zacharias, Martin; Zimmer, Ralf; Haslbeck, Martin (2016): Regulatory Implications of Non-Trivial Splicing: Isoform 3 of Rab1A Shows Enhanced Basal Activity and Is Not Controlled by Accessory Proteins. In: Journal of Molecular Biology, Vol. 428, Nr. 8: S. 1544-1557

Senjak, Christoph-Simon; Hofmann, Martin (2016): An Implementation of Deflate in Coq. In: Fm 2016: formal Methods, Vol. 9995: S. 612-627

Spranger, Stephanie; Bry, François (2006): Temporal Data Modeling and Reasoning for Information Systems. [PDF, 280kB]

Steinberger, Fabius; Proppe, Patrick; Schroeter, Ronald; Alt, Florian (2016): CoastMaster: An Ambient Speedometer to Gamify Safe Driving. In: 8th international Conference On Automotive User interfaces and interactive Vehicular Applications (Automotiveui 2016): S. 83-90

Strasburger, Hans (1997): Use of computers and cathode-ray-tube displays in visual psychophysics. Part I. In: Spatial Vision, Vol. 10, Nr. 4: S. 301-304 [PDF, 250kB]

Strobl, Carolin; Hothorn, Torsten; Zeileis, Achim (11. Februar 2009): Party on! A New, Conditional Variable Importance Measure for Random Forests Available in the party Package. Department of Statistics: Technical Reports, Nr. 50 [PDF, 274kB]

Stusak, Simon; Hobe, Moritz; Butz, Andreas (2016): If Your Mind Can Grasp It, Your Hands Will Help. In: Bakker, Saskia (Hrsg.): Proceedings of the Tenth Anniversary Conference on Tangible Embedded and Embodied Interaction : 14-17 February 2016, Eindhoven, the Netherlands. New York, N.Y: Association For Computing Machinery. S. 92-99

T

Tausch, Sarah; Ta, Stephanie; Hußmann, Heinrich (2016): A Comparison of Cooperative and Competitive Visualizations for Co-located Collaboration. In: Kaye, Jofish (Hrsg.): CHI 2016 : proceedings : the 34th Annual CHI Conference on Human Factors in Computing Systems : San Jose Convention Center, San Jose, CA, May 7-12. Association For Computing Machinery. S. 5034-5039

Thurman, Neil; Doerr, Konstantin; Kunert, Jessica (2017): When Reporters get Hands-on with Robo-writing: Professionals Consider Automated Journalism’s Capabilities and Consequences. In: Digital Journalism [PDF, 572kB]

Tresp, Volker; Overhage, J. Marc; Bundschus, Markus; Rabizadeh, Shahrooz; Fasching, Peter A.; Yu, Shipeng (2016): Going Digital: A Survey on Digitalization and Large-Scale Data Analytics in Healthcare. In: Proceedings of the Ieee, Vol. 104, Nr. 11: S. 2180-2206

Tseng, Tsun-Ming; Li, Mengchu; Li, Bing; Ho, Tsung-Yi; Schlichtmann, Ulf (2016): Columba: Co-Layout Synthesis for Continuous-Flow Microfluidic Biochips. In: 2016 Acm/Edac/Ieee Design Automation Conference (Dac)

U

Ullrich, Daniel; Butz, Andreas (2016): Social Robots for the 21st Century. In: Computer, Vol. 49, Nr. 6: S. 88-92

Uwe, Aßmann; Berger, Sacha; Bry, François; Furche, Tim; Henriksson, Jakob; Johannes, Jendrik (2007): Modular Web Queries — From Rules to Stores. OTM 2007 Workshops, 25. - 30. November 2007, Vilamoura, Portugal. [PDF, 193kB]

V

Velloso, Eduardo; Wirth, Markus; Weichel, Christian; Esteves, Augusto; Gellersen, Hans (2016): AmbiGaze: Direct Control of Ambient Devices by Gaze. In: Dis 2016: Proceedings of the 2016 Acm Conference On Designing interactive Systems: S. 812-817

W

Weiand, Klara; Bry, François; Furche, Tim (31. August 2008): Reasoning & Querying – State of the Art. Keyword-based querying for XML and RDF. [PDF, 972kB]

Weigel, Felix; Meuss, Holger; Bry, François; Schulz, Klaus U. (2003): Content-Aware DataGuides for Indexing Large Collections of XML Documents. [PDF, 835kB]

Werner, Martin (2016): Privacy-protected communication for location-based services. In: Security and Communication Networks, Vol. 9, Nr. 2: S. 130-138

Werner, Martin; Hahn, Carsten; Schauer, Lorenz (2016): DeepMoVIPS: Visual Indoor Positioning Using Transfer Learning. In: 2016 international Conference On indoor Positioning and indoor Navigation (Ipin)

Windhager, Lukas; Zierer, Jonas; Kueffner, Robert (2014): Refining Ensembles of Predicted Gene Regulatory Networks Based on Characteristic Interaction Sets.
In: PLOS ONE 9(2), e84596 [PDF, 770kB]

Y

Yang, Qinli; Boehm, Christian; Scholz, Miklas; Plant, Claudia; Shao, Junming (2015): Predicting Multiple Functions of Sustainable Flood Retention Basins under Uncertainty via Multi-Instance Multi-Label Learning. In: Water, Vol. 7, Nr. 4: S. 1359-1377 [PDF, 2MB]

Yang, Yinchong; Esteban, Cristóbal; Tresp, Volker (2016): Embedding Mapping Approaches for Tensor Factorization and Knowledge Graph Modelling. In: Semantic Web: Latest Advances and New Domains, Vol. 9678: S. 199-213

Ye, Wei; Maurus, Samuel; Hubig, Nina; Plant, Claudia (2016): Generalized Independent Subspace Clustering. In: 2016 Ieee 16th international Conference On Data Mining (Icdm): S. 569-578

Z

Zach, Neta; Küffner, Robert; Atassi, Nazem; Chio, Adriano; Cudkowicz, Merit; Hardiman, Orla; Stolovitzky, Gustavo (2016): The ALS Stratification Prize-Using the Power of Big Data and Crowdsourcing for Catalyzing Breakthroughs in Amyotrophic Lateral Sclerosis (ALS). In: Neurology, Vol. 86

Zezschwitz, Emanuel von; Ebbinghaus, Sigrid; Hußmann, Heinrich; De Luca, Alexander (2016): You Can't Watch This! Privacy-Respectful Photo Browsing on Smartphones. In: Kaye, Jofish (Hrsg.): CHI 2016 : proceedings : the 34th Annual CHI Conference on Human Factors in Computing Systems : San Jose Convention Center, San Jose, CA, May 7-12. New York, N.Y.: Association For Computing Machinery. S. 4320-4324

Zhang, Jian-Nan; Michel, Uwe; Lenz, Christof; Friedel, Caroline C.; Köster, Sarah; d'Hedouville, Zara; Tönges, Lars; Urlaub, Henning; Bähr, Mathias; Lingor, Paul; Koch, Jan C. (2016): Calpain-mediated cleavage of collapsin response mediator protein-2 drives acute axonal degeneration. In: Scientific Reports, Vol. 6, 37050 [PDF, 2MB]

Zhou, Linfei; Georgii, Elisabeth; Plant, Claudia; Böhm, Christian (2016): Covariate-Related Structure Extraction from Paired Data. In: Information Technology In Bio- and Medical Informatics, Vol. 9832: S. 151-162

Zhou, Linfei; Wackersreuther, Bianca; Fiedler, Frank; Plant, Claudia; Böhm, Christian (2016): Gaussian Component based Index for GMMs. In: 2016 Ieee 16th international Conference On Data Mining (Icdm): S. 1365-1370

Zimmermann, Max; Ntoutsi, Eirini; Spiliopoulou, Myra (2016): Extracting opinionated (sub)features from a stream of product reviews using accumulated novelty and internal reorganization. In: Information Sciences, Vol. 329: S. 876-899

Diese Liste wurde am Thu May 24 22:17:47 2018 CEST erstellt.