Freytag, Johann-Christoph - Institut für Informatik, Humboldt-Universität zu Berlin

• Indexing Dynamic Networks Sven Herschel
• Datenbankgesttzte Wissensakquisition in den Lebenswissenschaften Datenbank-Spektrum 1 1
• Kommentiertes Vorlesungsverzeichnis fr das Sommersemester 2008
• Lehr-und Forschungseinheit Datenanalyse
• Warum Open Access? Wissenschaftliche Publikationen werden in der Regel durch
• 77. Erg.Lfg. (April 2004) ber das Museum fr Naturkunde
• Patent Policy of the Humboldt-Universitt zu Berlin
• Verisoft Secure Biometric Identification The Verisoft project is a long-term research project, funded by the German Federal
• The XML Query Execution Engine (XEE) Dieter Scheffner Johann-Christoph Freytag
• Logical Closure Properties of Propositional Proof Systems
• Modul: Text Analytics Das Modul behandelt Methoden zur computergesttzten Analyse von Texten. Die Themen reichen
• Betrifft: Bachelor -Kombinationsstudiengang mit der Fcherkombination Mathematik/Informatik 1. Zweitfach Informatik (bei Kernfach Mathematik)
• Beispiel Modulbeschreibung (Die Modulbeschreibung sollte nach Mglichkeit die Form der nachstehenden Tabelle aufweisen)
• Modul: Bildverarbeitung Lern-und Qualifikationsziele
• Reduzierung von Interaktion in kryptographischen Protokollen
• DIPLOMARBEIT zur Erlangung des akademischen Titels
• Ein Werkzeug fr den automatisierten
• Mathematisch-Naturwissenschaftliche Fakultt II Institut fr Psychologie
• Ontology based Recruitment Process Malgorzata Mochol
• Parameterized Learnability of k-Juntas and Related Problems
• Prfungsordnung fr den Diplomstudiengang am Institut fr Informatik der mathematisch-naturwissenschaftlichen
• Visuelle Kryptografie Diplomarbeit
• Modul: Objektorientierte Programmierung mit C++ Lern-und Qualifikationsziele
• Modul: Computer Algebra Lern-und Qualifikationsziele
• Diplomarbeit Techniken der
• Modul: Signalverarbeitung Lern-und Qualifikationsziele
• Humboldt-Universitt zu Berlin Institut fr Informatik
• Executing SPARQL Queries over the Web of Linked Data
• Beispiel Modulbeschreibung (Die Modulbeschreibung sollte nach Mglichkeit die Form der nachstehenden Tabelle aufweisen)
• Modul: Stochastik fr InformatikerInnen Grundlagen der Wahrscheinlichkeitsrechnung, Diskrete und stetige
• Mathematisch-Naturwissenschafliche Fakultt II Institut fr Psychologie
• beenden mit dem SS 2011 ihre Ttigkeit an der Humboldt-Universitt zu Berlin und verabschieden sich von den Studenten und Kollegen
• Modul: Prozessinformatik Lern-und Qualifikationsziele
• Beifachregelung fr Mono-Bachelor in Mathematik und Informatik, die Informatik bzw. Mathematik als Beifach gewhlt haben
• Beispiel Modulbeschreibung (Die Modulbeschreibung sollte nach Mglichkeit die Form der nachstehenden Tabelle aufweisen)
• The XML Query Execution Engine (XEE) Dieter Sche ner
• The Impact of Semantic Web Technologies on Job Recruitment Processes
• 70 cms-journal Nr. 25, Mai 2004 Charakteristik von LSF
• Discovering Petri Nets: Evidence-Based Business
• Dear Colleagues, dear Friends, Good morning.
• Classification of Contradiction Patterns Heiko Muller, Ulf Leser, and Johann-Christoph Freytag
• Petri's nets and the physical basis of information flow
• Describing Differences between Databases Heiko Mller
• Einf uhrung in die K unstliche Intelligenz Thomas Baar \Lambda
• Humboldt-Universitat zu Berlin Department of Computer Science
• Schwerpunkte der Informatik Ringvorlesung
• Literaturnobelpreistrger Orhan Pamuk im Gesprch
• Begnstigt durch den Umzug des CMS nach Adlershof und die damit verbunde-
• Efficient Edge-Finding on Unary Resources with Optional Activities
• Private Information Retrieval, Optimal for Users and Secure Coprocessors
• Modul: Graph Minor Theory Lern-und Qualifikationsziele
• Informatik in Bildung und Gesellschaft 91 LLLLeeeehhhhrrrr----uuuunnnndddd FFFFoooorrrrsssscccchhhhuuuunnnnggggsssseeeeiiiinnnnhhhheeeeiiiitttt
• Mathematisches Ergnzungsfach fr Studierende im Diplom-Studiengang Informatik
• Fachspezifische Prfungsbestimmungen fr den Magisterteilstudiengang (MTSG) Informatik als
• Institut fr Informatik, Mathematisch-Naturwissenschaftliche Fakultt II,
• Representable Disjoint NPPairs Olaf Beyersdor#
• Kryptologie unter Giessmann
• From Invariants to Canonization in Parallel Johannes Kobler1
• Humboldt-Universitat zu Berlin Institut fur Informatik
• InterVal Internet and Value Chains Berliner Forschungszentrum Internetkonomie
• A Logspace Algorithm for Partial 2-Tree Canonization
• Lehr-und Forschungseinheit Signalverarbeitung/Mustererkennung
• Probabilistic Approximations of Bio-Pathways Dynamics
• Ontology based Query Processing in Database Management Systems
• The Query Web: Reliable Indexing In Dynamic Networks
• Modul: UNIX Development Tools und UNIX Systemadministration Lern-und Qualifikationsziele
• Modul: Maschinelles Lernen und Data Mining Lern-und Qualifikationsziele
• Beispiel Modulbeschreibung (Die Modulbeschreibung sollte nach Mglichkeit die Form der nachstehenden Tabelle aufweisen)
• Sequence comparison using a relational database approach Andre Bergholz
• Vernetzung im ATEO Projekt aus inhaltlicher
• SWRL-based Access Policies for Linked Data Hannes Muhleisen, Martin Kost and Johann-Christoph Freytag
• The Isomorphism Problem for k-Trees is Complete for Logspace
• Humboldt-Universitt zu Berlin Rechenzentrum
• Business to Consumer Markets on the Semantic Web Robert Tolksdorf,1
• How Caching Improves Efficiency and Result Completeness for Querying Linked Data
• Lehr-und Forschungseinheit Algorithmen und Komplexitt
• Humboldt-Universitt zu Berlin Institut fr Informatik
• Top-Down Data Integration by Visualization
• A Main Memory Index Structure to Query Linked Data Olaf Hartig
• Towards a Data-Centric Notion of Trust in the Semantic Web
• Using Web Data Provenance for Quality Assessment Olaf Hartig
• Automatic Component Selection with Semantic Technologies
• Self-Organizing Information Systems for Disaster Artin Avanes, Timo Mika Glaer, Markus Scheidgen
• On the Distance of Databases Heiko Mller, Johann-Christoph Freytag, Ulf Leser
• Semantic Query Transformation using Ontologies Chokri Ben Necib
• Datenschutzgerechte RFID-Technologie Oliver Berthold
• Completeness of Integrated Information Sources
• Dynamic information fusion for genome annotation Heiko Mller, Peter Rieger, Katja Tham, Johann-Christoph Freytag
• Mining for Patterns in Contradictory Data Heiko Mller, Ulf Leser, Johann-Christoph Freytag
• Neue Konzepte fur RDF-Managementsysteme Humboldt-Universitat zu Berlin
• MAINTAINING PRIVACY IN RFID ENABLED ENVIRONMENTS
• Problems, Methods, and Challenges in Comprehensive Data Cleansing
• Access Support Tree & TextArray: A Data Structure for XML Document Storage & Retrieval
• Private Information Retrieval An overview and current trends
• Lehr-und Forschungseinheit Systemarchitektur
• Lehr-und Forschungseinheit Softwaretechnik und Theorie der Programmierung II
• Lehr-und Forschungseinheit Datenbanken und Informationssysteme
• Lehr-und Forschungseinheit Knstliche Intelligenz
• Lehr-und Forschungseinheit Rechnerorganisation und Kommunikation
• Modul: Grundlagen der Rechnerkommunikation Lern-und Qualifikationsziele
• Beispiel Modulbeschreibung (Die Modulbeschreibung sollte nach Mglichkeit die Form der nachstehenden Tabelle aufweisen)
• Modul: Werkzeuge der empirischen Forschung Lern-und Qualifikationsziele
• Modul: Algorithmische Bioinformatik Lern-und Qualifikationsziele
• Modul: Mathematische Grundlagen der digitalen Klanganalyse und -synthese Lern-und Qualifikationsziele
• Modul: Middleware Plattformen Lern-und Qualifikationsziele
• Modul: Operating Systems Tools und Unix API Lern-und Qualifikationsziele
• Modul: Projekt Erdbeben. Early Warning and Rapid Response Lern-und Qualifikationsziele
• Modul: Projekthalbkurs Quadrokopter Im Quadrokopter Projekt werden fliegende Roboter des Typs Mikrokopter gebaut, mit Sensorik aus-
• Modul Projekt RoboCup Lern-und Qualifikationsziele
• Modul: Schaltkreisentwurf Lern-und Qualifikationsziele
• Modul: Spezialgebiete der Bildverarbeitung Lern-und Qualifikationsziele
• Modul: Stereobildverarbeitung Lern-und Qualifikationsziele
• Modul: Wireless Mesh Network Technologies Lern-und Qualifikationsziele
• Modul: Kombinatorik und ihre Anwendungen (Combinatorics and its applications)
• Colored Hypergraph Isomorphism is Fixed Parameter Tractable
• ON THE CORRESPONDENCE BETWEEN ARITHMETIC THEORIES AND PROPOSITIONAL PROOF SYSTEMS
• Tuples of Disjoint NP-Sets Olaf Beyersdorff
• On Graph Isomorphism for Restricted Graph Johannes Kobler
• Entwicklung eines Werkzeuges fur den kontrollflussorientierten Softwaretest
• SymbolIdent SymbolIntcon
• MONITORING TRAFFIC BY OPTICAL SENSORS Meffert, B., Blaschek, R, Knauer, U., Reulke,1
• Humboldt-Universitt zu Berlin Institut fr Informatik
• Humboldt-Universitt zu Berlin Institut fr Informatik
• Humboldt-Universitt zu Berlin Institut fr Informatik
• Humboldt-Universitt zu Berlin Institut fr Informatik
• Humboldt-Universitt zu Berlin Institut fr Informatik
• Humboldt-Universitt zu Berlin Institut fr Informatik
• Jahresbericht 1998 115 Lehr-und Forschungseinheit
• Lehr-und Forschungseinheit Informatik in Bildung und Gesellschaft
• Mathematisch-Naturwissenschafliche Fakultt II Institut fr Psychologie
• ,,Roberta-Roboterkurse" in den Sommerferien: 1tgige Schnupperkurse fr Familien: Vater mit Tochter, Mutter mit Sohn ...
• Dr. Wilhelm Fl 104.02.2011 Dr. Wilhelm Fl 204.02.2011
• Kurt Jensen Lars M. Kristensen
• On synchronic relations and on fluidization
• Lehrgebiet Software Engineering Prof. Dr. Jrg Desel
• UNIVERSITT ROSTOCK | FAKULTT INFORMATIK UND ELEKTROTECHNIK | INSTITUT FR INFORMATIK Petri Net (versus) State Spaces
• The XML Query Execution Engine (XEE) Dieter Scheffner JohannChristoph Freytag
• Journal of Computer and System Sciences 73 (2007) 924940 www.elsevier.com/locate/jcss
• 15Voice over IP an der Humboldt-Universitt Die Humboldt-Universitt betreibt ein Tele-
• Reengineering eines Fortran Softwaresystems zur Simulation von Reaktionskinetiken
• Nondeterministic Instance Complexity and Proof Systems with Advice
• Carl Adam Petri Memorial Symposium February 4, 2011
• Humboldt-Universitt zu Berlin Institut fr Informatik
• Carl Adam Petri Verdienstorden 1. Klasse
• Nondeterministic Functions and the Existence of Optimal Proof Systems
• Access Support Tree & TextArray: A Data Structure for XML Document Storage & Retrieval
• Modul: Die Komplexitat des constraint satisfaction Problems Beschreibung / Lern-und Qualifikationsziele
• 110110000111111 Based Query-
• Modul: Quantencomputer Lern-und Qualifikationsziele
• Humboldt-Universitt zu Berlin Institut fr Informatik
• Regelungen zum Studiengang Diplom-Informatik beim bergang zum Bachelor-Studium
• ProSeminar -Einfhrung E.1J.Fischer (Software-Spezifikation mit UML 2)
• 21Virtual Private Network Einsatzvarianten an der HU Virtual Private Network
• 31OpenAFS Datenspeicher fr unterwegs Seit dem Jahr 2006 bietet die Humboldt-
• 35Zentrale Serverberwachung im Windows-Netzwerk In einem groen Netz, wie dem der Hum-
• 45Havarieservice des CMS Der Havarieservice des CMS verbessert mit
• Bildungsprogramm Sommersemester 2010
• Petri Nets in France -a very Parisian vision -
• ,,Entwurf und Umsetzung einer webbasierten Diagnoseplattform zur
• Modul: SAT-Solving und Constraint Satisfaction Probleme Lern-und Qualifikationsziele
• Self-Extending Peer Data Management Ralf Heese Sven Herschel
• Tuples of Disjoint NP-Sets (Extended Abstract)
• Kurt Lautenbach Belief Revision and Petri Nets
• Modul: Algorithmen im Drug Design Lern-und Qualifikationsziele
• Ferien-Fotokurstermine:2tgige FamilienFerienKurse ab Klasse 6: Fr Mutter mit Tochter, Vater mit Tochter oder Mutter mit Sohn...
• COLUMBA: Multidimensional Data Integration of Protein Annotations
• Designing Component-Based Semantic Web Applications with DESWAP
• 17Sicherheit im Backbone-Netz durch Firewalls & Co. Ausgehend von allgemeinen Sicherheitsbe-
• Lehr-und Forschungseinheit Softwaretechnik und Theorie der Programmierung I
• The Space Complexity of k-Tree Isomorphism , Bireswar Das1
• Humboldt-Universitt zu Berlin Mathematisch-Naturwissenschaftliche Fakultt II
• Almost Optimal Private Information Retrieval Dmitri Asonov ? and JohannChristoph Freytag
• Enhancing the Semantics of Links and Paths in Life Sciences Data Sources
• Modul: Theorie und Anwendungen von Theorembeweisern Lern-und Qualifikationsziele
• Humboldt Discoverer: A semantic P2P index for PDMS Sven Herschel and Ralf Heese
• Disjoint NP-Pairs from Propositional Proof (Extended Abstract)
• dbisINSTITUT FR INFORMATIK HUMBOLDT-UNIVERSITT ZU ERLINB
• Modul: Mustererkennung Lern-und Qualifikationsziele
• Mathematisch-Naturwissenschaftliche Fakultt II Institut fr Informatik Lehrstuhl fr Komplexitt und Kryptografie
• Humboldt Universitt zu Berlin Institut fr Informatik
• 41Gebndelte Kraft mit Infiniband neuer Compute-Cluster im CMS Im April 2010 wurde der bestehende Com-
• Provenance Information in the Web of Data Olaf Hartig
• THE XML QUERY EXECUTION ENGINE (XEE) Dieter Scheffner
• Sequence comparison using a relational database approach Andre Bergholz
• Vorlesung: `Stochastik f#r Informatikeri gehalten von Egmar R#del
• Access Support Tree & TextArray: Data Structures for XML Document Storage
• DATA QUALITY IN GENOME DATABASES (Research Paper)
• Erwin Schrdinger wurde am 12.August 1887 in Wien geboren. SeinVater, ein viel-
• Repudiative Information Retrieval Dmitri Asonov
• Entwicklung von HighFidelity Prototypen fr interaktive Gerte als
• Proof Systems that Take Advice Olaf Beyersdorff1, Johannes Kobler2, and Sebastian Muller2
• Zero-Knowledge Query Planning for an Iterator Implementation of
• Modul: Modellbasierte Softwareentwicklung (MODSOFT) Lern-und Qualifikationsziele
• Integration molekularbiologischer Daten , Peter Rieger2
• Mathematisch-Naturwissenschaftliche Fakultt II Geographisches Institut
• Modul: Grundlagen der Signalverarbeitung Lern-und Qualifikationsziele
• Lehr-und Forschungseinheit Systemanalyse
• Does Advice Help to Prove Propositional Tautologies?
• Bounded Parametric Model Checking Wojciech Penczek
• THE XML QUERY EXECUTION ENGINE (XEE) Dieter Scheffner
• 33Ein berblick ber die Webinfrastruktur des CMS Die Bereitstellung von Webservern stellt
• Linked Data for Building a Map of Researchers Olaf Hartig, Hannes Muhleisen, and Johann-Christoph Freytag
• Humboldt-Universitt zu Berlin Mathematisch-Naturwissenschaftliche Fakultt II
• Querying Trust in RDF Data with tSPARQL Olaf Hartig
• Mathematisch-Naturwissenschaftliche Fakultt II Geographisches Institut
• Diplomarbeit A Metaheuristic Approach to
• Modul: Selected Topics in Efficient Algorithms Inhalt: The design and analysis of algorithms is a fundamental area in computer science. While
• 30 cms-journal 34 / Juni 2011 Skripte zur Automatisierung des Kompi-
• AUSSCHREIBUNG FR STUDENTISCHE HILFSKRFTE ERNEUTER AUSHANG
• Modul: Projekthalbkurs Flugroboter In diesem Projektkurs werden anhand von verschiedenen Teilprojekten Probleme der KI und der Ro-
• Integrating Provenance into the Web of Data Olaf Hartig1
• 77Weniger ist mehr Virtuelle Thin Clients auf Linux-Basis Warum virtuelle Thin Clients?
• Praktikum Marketing und Presse/ffentlichkeitsarbeit beim SCC BERLIN (1. Bundesliga Volleyball)
• Prof. Dr. Peter Schirmbacher | schirmbacher@cms.hu-berlin.de Es sind fnf Jahre vergangen, seit das
• ,,Reengineering einer komplexen Webapplikation mit den Werkzeugen des
• 40 cms-journal 34 / Juni 2011 Inventarisierung von Hard-und Software
• Mathematisch-Naturwissenschaftliche Fakultt II Geographisches Institut
• 14 cms-journal 34 / Juni 2011 Im Umfeld der Arbeit kennt wahrscheinlich
• 35Software-Management Ausgangssituation
• Humboldt-Universitt zu Berlin Rudower Chaussee 25 Institut fr Informatik 12489 Berlin
• Modul: Embodied Artificial Intelligence Inhalt und Ziele: Die Lehrveranstaltung gibt eine systematische Einfhrung in die Methoden und
• 45Wir sind die AGNES Wie alles begann
• Modul: Algorithmic Graph Theory This course continues on the graph algorithms presented in Theoretische Informatik I--III resp.
• 24 cms-journal 34 / Juni 2011 Was sind Lasttests?
• Mathematisch-Naturwissenschaftliche Fakultt II Geographisches Institut
• PROMOS -Frderstze 2012 einmalig 500 pro Person
• extreme hello worlding Zerlegen Sie das Problem -Ausgabe der Zeichenkette ,,Hello, World!" -in eine vllig unangemessen
• www.ub.hu-berlin.de Universittsbibliothek
• Einfhrung in die Kryptologie Wintersemester 2011/12 Prof. Dr. J. Kbler 25. Oktober 2011
• Objekte und Felder unter Ausnahmezustand Untersuchen Sie das Verhalten von Objekten sowie Feldern von Objekten beim Auftreten von
• DAAD Deutscher Akademischer Austausch Dienst German Academic Exchange Service
• Einfhrung in die Theoretische Informatik Johannes Kbler
• Objektorientierte Modellierung und Spezifikation Kurzbeschreibung
• Introduction The graph isomorphism problem consists in deciding whether two given graphs
• Recently, a variety of results on the complexity status of the graph isomorphism problem has been obtained. These results belong to the socalled structural part
• Privacy Verification using Ontologies Martin Kost and Johann-Christoph Freytag
• WiSec 2011 Demo: PRECIOSA PeRA Practical Enforcement of Privacy Policies
• Einfhrung in die Kryptologie Wintersemester 2011/12 Prof. Dr. J. Kbler 1. November 2011
• Diplomarbeit: Traktografie-Algorithmen fr Diffusion-Tensor-Imaging (DTI)
• Ablaufplan Studenten-und Mitarbeiterkolloquium n d e r u n g e n v o r b e h a l t e n
• Einfhrung in die Theoretische Informatik Johannes Kbler
• Mathematisch-Naturwissenschaftliche Fakultt II Geographisches Institut
• Humboldt-Universitt zu Berlin Institut fr Informatik
• Humboldt-Universitt zu Berlin Rudower Chaussee 25 Institut fr Informatik 12489 Berlin
• Humboldt-Universitt zu Berlin Rudower Chaussee 25 Institut fr Informatik 12489 Berlin
• 4th International Summer School 2012 Spatial-epidemiological modelling in Megacities
• Privacy Analysis using Ontologies Martin Kost
• DIAGNOSTIC OF MELANOMAS VIA IMAGE PROCESSING 0. Hochmuth, Beate Meffert
• MONITORING TRAFFIC BY OPTICAL SENSORS Meffert, B., Blaschek, R, Knauer, U., Reulke,1
• Humboldt-Universitt zu Berlin Rudower Chaussee 25 Institut fr Informatik 12489 Berlin
• Humboldt-Universitt zu Berlin Rudower Chaussee 25 Institut fr Informatik 12489 Berlin