Logo of Humboldt-Universität zu BerlinLogo of Humboldt-Universität zu Berlin
edoc-Server
Open-Access-Publikationsserver der Humboldt-Universität
de|en
Header image: facade of Humboldt-Universität zu Berlin
Search 
  • edoc-Server Home
  • Qualifikationsarbeiten
  • Search
  • edoc-Server Home
  • Qualifikationsarbeiten
  • Search
JavaScript is disabled for your browser. Some features of this site may not work without it.
All of edoc-ServerCommunity & CollectionTitleAuthorSubjectThis CommunityTitleAuthorSubject
PublishLoginRegisterHelp
Institution
Mathematisch-Naturwissenschaftliche Fakultät II (96)
DDC
004 Informatik (96)
020 Bibliotheks- und Informationswissenschaften (1)
All of edoc-ServerCommunity & CollectionTitleAuthorSubjectThis CommunityTitleAuthorSubject
PublishLoginRegisterHelp
Institution
Mathematisch-Naturwissenschaftliche Fakultät II (96)
DDC
004 Informatik (96)
020 Bibliotheks- und Informationswissenschaften (1)
Search 
  • edoc-Server Home
  • Qualifikationsarbeiten
  • Search
  • edoc-Server Home
  • Qualifikationsarbeiten
  • Search

Search

Show Advanced FiltersHide Advanced Filters

Filter

Use filters to refine search results.

Now showing items 1-10 of 96

  • Sort by:
  • Relevance
  • Title ascending
  • Title descending
  • Issue date ascending
  • Issue date descending
  • Results per page:
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
2009-12-03Dissertation
Constraint based world modeling for multi agent systems in dynamic environments 
Göhring, Daniel
Die mobile Robotik stellt ein sehr junges und komplexes Forschungsfelder unserer Zeit dar. Innerhalb der letzten Jahrzehnte wurde es Robotern möglich, sich innerhalb ihrer Umgebung zu bewegen, zu navigieren und mit ihrer ...
2001-07-03Dissertation
Halbordnungsbasierte Verfeinerung zur Verifikation verteilter Algorithmen 
Peuker, Sibylle
In dieser Arbeit geht es um die schrittweise Verfeinerung verteilter Algorithmen. Dabei wird ein einfacher Algorithmus, der einige gewünschte Eigenschaften hat, Schritt für Schritt zu einem komplexen Algorithmus verfeinert, ...
2006-01-31Dissertation
Algorithmen im Wirkstoffdesign 
Thimm, Martin
Die Bestimmung der Ähnlichkeit von molekularen Strukturen und das Clustern solcher Strukturen gemäß Ähnlichkeit sind zwei zentrale Fragen im Wirkstoffdesign. Die Arbeit beschreibt im ersten Teil zwei neue Verfahren ...
2015-01-19Dissertation
Ein generisches Abbildungsmodell für Stereokamerasysteme 
Luber, Andreas
In den letzten Jahren kommen immer mehr nicht perspektivische Kamerasysteme beim maschinellen Sehen zur Anwendung, die vor allem ein deutlich erweitertes Blickfeld bieten. Das klassische perspektivische Abbildungsmodell ...
2010-09-20Dissertation
Adaptive investment strategies for different scenarios 
Barrientos, Jesús Emeterio Navarro
Die folgende Arbeit befasst sich mit den Untersuchungen von Problemen der Optimierung von Ressourcen in Umgebungen mit unvorhersehbarem Verhalten, wo: (i) nicht alle Informationen verfügbar sind, und (ii) die Umgebung ...
2012-09-10Dissertation
Indexing RDF data using materialized SPARQL queries 
Espinola, Roger Humberto Castillo
In dieser Arbeit schlagen wir die Verwendung von materialisierten Anfragen als Indexstruktur für RDF-Daten vor. Wir streben eine Reduktion der Bearbeitungszeit durch die Minimierung der Anzahl der Vergleiche zwischen Anfrage ...
2002-12-16Dissertation
Allgemeine Konzepte zur software-technischen Unterstützung verschiedener Petrinetz-Typen 
Weber, Michael
Petrinetze werden in vielen Bereichen als Modellierungstechnik verwendet. Die verschiedenen Einsatzgebiete und Modellierungsziele erfordern dabei unterschiedliche Typen von Petrinetzen. Einen Petrinetz-Typ kennzeichnen -- ...
2009-05-19Dissertation
Description of languages based on object-oriented meta-modelling 
Scheidgen, Markus
In dieser Dissertation, schaue ich auf objekt-orientierte Metamodellierung und wie sie verwendet werden kann, um Computersprachen zu beschreiben. Dabei, fokussiere ich mich nicht nur auf die Beschreibung von Sprachen, ...
2008-09-02Dissertation
Untere Schranken für Steinerbaumalgorithmen und die Konstruktion von Bicliquen in dichten Graphen 
Kirchner, Stefan
Die vorliegende Arbeit besteht aus zwei Teilen. Der erste Teil der Arbeit befasst sich mit unteren Schranken für approximative Steinerbaumalgorithmen. Ein Steinerbaum ist ein kürzester Teilgraph, der eine gegebene ...
2012-04-26Diplomarbeit
Self-reconfiguring System-on-Chip using Linux on a Virtex-5 FPGA 
Berthold, Oswald
Diese Arbeit dokumentiert eine Studie über rekonfigurierbares Rechnen. Das Konzept des rekonfigurierbaren Rechnens ist beinahe gleich alt wie elektronisches Rechnen überhaupt. Zur Erkundung praktischer Aspekte wird ein ...
  • 1
  • 2
  • 3
  • 4
  • . . .
  • 10
DINI-Zertifikat 2019OpenAIRE validatedORCID Consortium
Imprint Policy Contact Data Privacy Statement
A service of University Library and Computer and Media Service
© Humboldt-Universität zu Berlin