EECS:Archive

From EECS

Jump to: navigation, search

Contents

Thesis Archive

2013

Bachelor Theses

Student Supervisor Title
Mihaela Turcu

Herbert Jaeger

Echo State Networks - Rhythm Generator for Music Compositions

Ernesto Rodriguez

Herbert Jaeger

Training Echo State Networks with Short Segments of Motion Capture Data

Mihaela Turcu

Herbert Jaeger

Exploring difficulties in learning spatio-temporal data using hierarchical Echo State Networks

2012

Bachelor Theses

Student Supervisor Title
Boris Espinoza-Kalchev

Jürgen Schönwälder

Last-mile IPv6 Teredo Tunnelling Performance Evaluation

Master Theses

Student Supervisor Title
Vaibhav Bajpai

Jürgen Schönwälder

A complete system integration of the network flow query language

Vitali Bashko

Jürgen Schönwälder

Traffic Differentiation Detection in Mobile Networks using Android Phones

Vladislav Perelman

Jürgen Schönwälder

Security in IPv6-enabled Wireless Sensor Networks: An Implementation of TLS/DTLS for the Contiki Operating System

PhD Theses

Student Supervisor Title
Mantas Lukosevicius

Herbert Jaeger

Reservoir Computing and Self-Organized Neural Hierarchies

2011

Bachelor Theses

Student Supervisor Title
Todor Bilarev

Herbert Jaeger

Modeling Observation Distributions of Real–valued Stochastic Processes via Observable Operator Models

Diana Borsa

Herbert Jaeger

Implementation and demonstration of continuous-valued OOMs learning algorithm

Mircea Cretu-Stancu

Herbert Jaeger

Guided Research Final Report

Mihai Cirlanaru

Michael Kohlhase

Authoring, Publishing and Interacting with Units and Quantities in Technical Documents

Plamen Dimitrov

Jürgen Schönwälder

TCP Congestion Control Measurements

Josip Djolonga

Herbert Jaeger

Comparison of the Expressive Powers of Weighted Grammars and OOMs

Anca Dumitrache

Michael Kohlhase

BauDenkMalNetz – Creating a Semantically Annotated Web Resource for Historical Buildings

Razvan Mihalyi

Herbert Jaeger

Echo State Networks - Pattern Generation for Motor Control

Lucian-Mircea Mocanu

Michael Kohlhase

Identifying Semantic Structures in Scientific Documents

Oana Olteanu

Herbert Jaeger

Reservoir Self-Contol for Achieving Invariance Against Slow Input Distortions of Handwritten Characters

Mihaela Rusu

Michael Kohlhase

Interactive Semantical Graphs

Johannes Schauer

Jürgen Schönwälder

Flowy 2.0

Aleksandar Siljanovski

Jürgen Schönwälder

Muticast DNS on Resource Constrained Devices in Low-power Lossy IPv6 Networks

Prashant Vaibhav

Jürgen Schönwälder

Porting the BSD net80211 wireless stack to the Mac OS X kernel

Vladimir Zamdzhiev

Michael Kohlhase

Universal OpenMath Machine

Master Theses

Student Supervisor Title
Kevin Dominik Korte

Jürgen Schönwälder

Evaluation of ContikiRPL Local Repairs

2010

Bachelor Theses

Student Supervisor Title
Catalin David

Michael Kohlhase

Interactive Documents and Computer Algebra Systems: JOBAD and Wolfram|Alpha

Mihnea Iancu

Michael Kohlhase

Interactive Formalizing Foundations of Mathematics

Dimitar Misev

Michael Kohlhase

Integrating SUMO and OMDoc

Peter Nemeth

Jürgen Schönwälder

Flowy Improvement using MapReduce

Vladislav Perelman

Jürgen Schönwälder

Flow Signatures of Popular Applications

Jakob Max Uecker

Michael Kohlhase

A library for bottom-up logic programming in a functional language

Master Theses

Student Supervisor Title
Mihai Grigore

Michael Kohlhase

Knowledge-poor Interpretation of Mathematical Expressions in Context

Constantin Jucovschi

Michael Kohlhase

Editing Knowledge in Large Mathematical Corpora. A case study with Semantic LATEX (STEX)

Siarhei Kuryla

Jürgen Schönwälder

Implementation and Evaluation of the Simple Network Management Protocol over IEEE 802.15.4 Radios under the Contiki Operating System

Nikolay Melnikov

Jürgen Schönwälder

Cybermetrics: Identification of Users Through Network Flow Analysis

Kristina Sojakova

Michael Kohlhase

Mechanically Verifying Logic Translations

Consuela Voevudschi

Herbert Jaeger

ESN based Working Memory as Partial or Multiple Global Periodic Attractors

Ph.D. Theses

Student Supervisor Title
Christine Müller

Michael Kohlhase

Adaptation of Mathematical Documents

Normen Müller

Michael Kohlhase

Change Management on Semi-Structured Documents

2009

Master Theses

Student Supervisor Title
Stefan Anca

Michael Kohlhase

Recovering content from Scientific Documents for Search

Kaloyan Kanev

Jürgen Schönwälder

Flowy - Network Flow Analysis Application

Vladislav Marinov

Jürgen Schönwälder

Design of an IP Flow Record Query Language

Razvan Pascanu

Herbert Jaeger

Memory Enhanced Echo State Networks

Anuj Sehgal

Jürgen Schönwälder

Analysis and Simulation of the Deep Sea Acoustic Channel for Sensor Networks

Amita Shrestha

Harald Haas

Visible-Light Communication Demonstrator: System Modeling and Analogue Distribution Network

Bachelor Theses

Student Supervisor Title
Lucia Ambrosova

Herbert Jaeger

A Step Towards More Robust Signal Pattern Recognition with Echo State Networks

Dimitar Asenov
Shikhar Bhushan

Jürgen Schönwälder

NCClient: A Python library for NETCONF clients

Irina Calciu
Marco De March
Endri Dibra
Lavinia Dinu

Herbert Jaeger

Learning Nonstationary Processes with Observable Operator Models

Anca Dragan

Herbert Jaeger

Planning with Observable Operator Models

Eni Duka
Jana Giceva

Michael Kohlhase

Integrating Web Services into Active Mathematical Documents

Deyan Ginev

Michael Kohlhase

An Architecture for Recovering Meaning in a LATEX to OMDoc Conversion

Teodor L. Grigore

Herbert Jaeger

Improving Single Word Recognition by Speaker Identification Feedback

Maja Grintal
Alin Iacob

Michael Kohlhase

Reasoning about Theory Morphisms

Vlad Iancu
Rahul Jain

Jürgen Schönwälder

Analysis and Integration of IEEE 802.15.4 Networks on Linux

Kevin D. Korte

Jürgen Schönwälder

Evaluation of 6lowpan Implementations

Yassine Lamrani Abou Elassad

Jürgen Schönwälder

USB Integration of 802.15.4 Transceivers

Krenar Muhidini

Jürgen Schönwälder

Securing Wireless Sensor Networks

Karolis Narkevicius
Ankur Modi

Michael Kohlhase

Translating Mizar Mathematical Library to OMDoc

Karolis Narkevicius

Herbert Jaeger

Stability Investigation of a Short Term Memory Model Based on an Echo State Network Architecture

Viviana Petrescu

Herbert Jaeger

Improving Echo State Networks approach to single word recognition using auxiliary gender units

Gordan Ristovski
Alen Stojanov
Radhika Tibreval Peter Baumann Towards Poser Face Analysis As Database Queries

2008

Ph.D. Theses

Student Supervisor Title
Florian Rabe

Michael Kohlhase

Representing Logics and Logic Translations

Immanuel Normann

Michael Kohlhase

Automated Theory Interpretation

Master Theses

Student Supervisor Title
Georgi Chulkov

Jürgen Schönwälder

Buglook: A Search Engine for Bug Reports

Bachelor Theses

Student Supervisor Title
Elena Agapie

Michael Kohlhase

Functors in a Web-Scalable Module System

Andrei Aiordachioaie

Michael Kohlhase

Improving Panta Rhei as a Community Tool

Elchin Asgarov

Jürgen Schönwälder

Implementation and Evaluation of SSH Session Resumption

Ermias Asrat
Irina Baiasu
Evans Bekoe

Michael Kohlhase

A Bidirectional Translation between OpenMath Encodings

Zdravko Beykov

Michael Kohlhase

Aggregating Documents in SWiM

Adrian Costache
Dan Andrei Costea
Mihai Cretu
Elena Digor

Michael Kohlhase

An OMDoc Representation of Mizar Library

Svilen Dimitrov
Petar Dobrev
Semir Elezovic

Jürgen Schönwälder

Multi Touch User Interfaces

Daniel Garcia Rodriguez

Peter Baumann

Visualization and Explanation of Query Plans and Storage Layouts for an Array DBMS

Andrei Giurgiu

Herbert Jaeger

Investigation on the Applicability of Observable Operator Models for Nonstationary Processes using Multiplicity Automata

Andrei Ionita

Michael Kohlhase

Extracting RDF Knowledge from OMDoc

Muhammad Jehanzeb
Snezana Jovanoska
Constantin Jucovschi

Peter Baumann

Optimization of Query Evaluation for Multidimensional Raster Databases

Nikolay Kazmin
Ina Kodrasi
David Kronmüller

Werner Henkel

Construction and Performance Evaluation of Relaxed Block Interleavers for Unequal Error Protection Turbo Codes

Peter Makombe
Nikolay Melnikov
Oliver Mitevski
Dimitar Nedev

Jürgen Schönwälder

FS20 Hardware Interface for MICAz Motes

Nirdesh Ojha
Sorin Stancu-Mara

Peter Baumann

Using Graphic Cards for Accelerating Raster Database Query Processing

Ivan Stefanov

Jürgen Schönwälder

FS20 / SNMP Gateway on TinyOS

Vassil Stefanov

Jürgen Schönwälder

Mesh Routing for IPv6 over 802.15.4 on TinyOS

Bogdan Stroe

Herbert Jaeger

Self-stabilizing Echo State Networks Subject to Input Perturbation

Dante Stroe

Herbert Jaeger

Improving Symbol Prediction Using Hierarchical Echo State Networks

Maria Stroescu-Dabu

Werner Bergholz

Assessment of the Assessment Method: A study of the effectiveness of Supplier Process Audits to improve the Quality Performance of Suppliers in the Automotive Industry

Vladimir Todorov
Prashant Vaibhav
Ivaylo Vasilev
Consuela Voevudschi

Herbert Jaeger

Estimating the Error in ESN Predictions

2007

Master Theses

Student Supervisor Title
Catalin Ciocov

Jürgen Schönwälder

Simple Network Management Protocol Trace Analysis

Matus Harvan

Jürgen Schönwälder

Connecting Wireless Sensor Networks to the Internet - a 6lowpan Implementation for TinyOS 2.0

Bastian Laubner

Michael Kohlhase

Mapping Mathematics with Theory Graphs A Case Study and a Prototype

Bachelor Thesis

Student Supervisor Title
Diana Cristina Albu

Andreas Birk

Evolutionary 3D Mapping Using the GPU - Calculating the psi Similarity Function for 2D Images

Dan Alistarh

Herbert Jaeger

Extending Observable Operator Models for Non-stationary Processes

Stefan Anca

Michael Kohlhase

MaTeSearch - A combined math and text search engine

Minoli Arumugam

Harald Haas, Jon Wallace

Cognitive Radio: Empirical Measurements of Spectrum Usage

Anna Kristina Bautista

Werner Bergholz

A Fast Low Cost Technique of Identification of Defective Regions in Solar Cells

Dorian Bivolaru

Mathias Bode

Asymmetric Neural Networks

Matthias Bröcheler

Michael Kohlhase

A Mathematical Semantic Web

Harald Burchardt

Harald Haas

Busy Tone Concept for ad hoc Networks: Capacity and Busy Tone Functions

Alexandra Craciun

Mathias Bode

Blind Source Separation: Recovering Signals from Mixtures

Mihai Cretu

Jürgen Schönwälder

Secure Shell Session Resumption

Rouslan Dimitrov

Lars Linsen

Solid Environment Reconstruction on the GPU

Adrian Djokic

Jürgen Schönwälder

MICAz and TelosB Sensor Device Driver Port to Contiki

Octavian Druta

Michael Kohlhase

A Flash-based Reader for Semantic Documents

Sönke Engelken

Harald Haas

An Analytical Derivation of the Symbol Error Rate of Spatial Mudulation in Correlated Rayleigh Fading Channels

Sami Kerim Galal

Heinrich Stamerjohanns

Investigation into Longest Common Subsequence Problem and Applications in the Field of Bioinformatics

Saksham Raj Gautam

Peter Baumann

Mapping Images Real-Time from Drones

Pavel Georgiev

Heinrich Stamerjohanns

Ajax and XPath - Design and Implementation of a Database Application and a Web Project

Borislav Hadzhiev

Werner Bergholz

Investigation of the Influence of X-Ray Radiation on Random Telegraph Signals in CCD Chips

Lucas Manuel Herrenbrueck

Michael Kohlhase

Computer Aided Formalization of Mathematics – Converting Mizar into OMDoc

Vladimir Iliev

Jürgen Schönwälder

Mesh Routing for Low-Power Mobile Ad-Hoc Wireless Sensor Networks Using LOAD

Cosmin Ionita

Athanasios C. Antoulas

Comparison of Passivity Preserving Model Reduction Methods

Petar Kalpakliev

Heinrich Stamerjohanns

The Online World of Information: Metadata Harvesting and Database Storage for Optimized Searching

Kaloyan Kanev

Jürgen Schönwälder

SMIng Language Parser for Libsmi

Karim Khashaba

Harald Haas

Mobile Speed Estimation Exploiting Spatial Correlation

Karim Khashaba

Werner Henkel

Bit-Allocation for time-variant Channels

Anton Kirilov

Herbert Jaeger

State Noise Effects on the Stochastic Gradient Descent Optimization Method for Echo State Networks with Leaky Integrator Neurons

Nikolay Krivoshiev

Werner Bergholz

Process Handling in Industrial and Service Related Systems: A combined approach for bottleneck and optimization

Milena Makaveeva

Michael Kohlhase

A Graphical User Interface for a Theory Inclusion Search Engine on Libraries of Formalized Mathematics

Sergiu-Cristian Mihut

Andreas Birk

Movement Detection with a SwissRanger SR-3000 Range Imager

Bogdan Minzu

Michael Kohlhase

Theory Morphisms in General CS

Paul James Ngana

Dietmar Knipp

Contact Grid Optimization Methodology for Solar Cells

Monsurat Nurudeen

Werner Bergholz

Application of Quality Management Methods to IT Systems Development for Integrated Health Care Units

Sofia Papantonakis Vera

Peter Baumann

3D Human Brain Image Database & Analysis Tools

Razvan Pascanu

Andreas Birk

Human Body Recognition using Reproductive Perception Paradigm

Darko Pesikan

Michael Kohlhase

Coping with Content Representations of Mathematics in Editor Environments: nOMDoc mode

Dimitar Pramatarov

Andreas Birk

Movement Detection with 3D TOF-Camera

Florina Andreea Prisecaru

Harald Haas

Mutual Information and Capacity of Spatial Modulation Systems

Prodan Prodanov

Harald Haas

Speed Estimation using RF Signatures

Sabibar Rahman

Werner Bergholz

Investigation of Random Telegraph Signals in Diodes

Burim Ramadani

Mathias Bode

Blind Source Separation: Recover Signals from Mixtures

Nikola Serafimovski

Harald Haas

System Spectral Efficiency Analysis of a 2-link Ad Hoc Network

Ravi Singh

Werner Bergholz

A fast non destructive technique to localize defective regions in mass production solar cells

Stojanco Stamkov

Peter Baumann

Benchmarking Intra-Query Parallelization in a Multidimensional Array Database System

Alexandru Stan

Jürgen Schönwälder

Porting the Core of the Contiki Operating System to the TelosB and MicaZ Platforms

Elena Subtirica

Mathias Bode

Efficient Separation of Image Mixtures

Stefan Videv

Harald Haas

Busy Tone Concept for WINNER Manhattan Grid Scenarios

Iliyan Zarov

Jürgen Schönwälder

Mesh Routing for Low-Power Mobile Ad-Hoc Wireless Sensor Networks Using DYMO-low

2006

Master Thesis

Student Supervisor Title
Vlad Balan

Jürgen Schönwälder

An Experimental Evaluation of Voice-over-IP Quality over the Datagram Congestion Control Protocol

Bachelor Theses

Student Supervisor Title
Georgi Chulkov

Peter Baumann

Architecture and Implementation of a Web Coverage Processing Service Using a Database Back-end

Venelin Ganchev

Peter Baumann

Metadata Management for Standards-Based Multidimensional Geographic Data Services

Bartlomiej Grychtol

Herbert Jaeger

Using Echo State Networks for Modeling Musical Improvisation

Ioan Alexandru Sucan

Michael Kohlhase

A Search Engine for Mathematical Formulae

Ioana Varsandan

Peter Baumann

State of the art: Arrays in Databases

2005

Bachelor Theses

Student Supervisor Title
Apostol Apostolov

Michael Kohlhase

Design and Implementation of a Viewpoint-changing System for Mathematical Texts Based on Theory-inclusions in OMDoc

Trimita Chakma

Peter Baumann

Web Coverage Processing Service Specification Version 0.0.1

Alexandru A. Chitea

Peter Baumann, Michael Kohlhase

Development of an OMGeo Open Markup Format for the Open GIS Consortium Web Map Service

Georgi Chulkov

Peter Baumann

Translation of Raster Requests from Web Service Syntax to a Database Query Language

Rajeshwor Dhital

Michael Kohlhase

Design and Implementation of a CSS-based CodeML Viewer

Yasen Ferdinandov

Peter Baumann

Setup of a Multi-Terabyte Combined Satellite Image/Oceanographic/Seismic Database

Arnav Ghai

Jürgen Schönwälder

Using Reputation for Trust Generation in Network Management

Matus Harvan

Jürgen Schönwälder

Prefix- and Lexicographical-order-preserving IP Address Anonymization

Chibueze Jaja-Wachuku

Dietmar Knipp

Design and Simulation of RFID Tags Based on Organic Transistors

Angel Kitov

Peter Baumann

State of the art in array databases (literature survey, classification and assessment)

Kiran More

Dietmar Knipp

Characterization of Organic Thin-Film Transistors for Circuit and Display Applications

Rabin Vincent

Michael Kohlhase

Design and Implementation of a Java to CodeML Converter

2004

Bachelor Thesis

Student Supervisor Title
Mostafa Z. Afgani

Harald Haas

Analysis of a Wireless Transmission System based on OFDM

Ankur Agrawal

Dietmar Knipp

Laser Displacement Sensor using Self-Mixing Effect

Sonia Borissova

Werner Bergholz

A simple open source software to manage processes in engineering and organisations

Christoph Burger-Scheidlin

Harald Haas

Energy-Per-Bit Capacity of Interfering Energy-Limited Ad-Hoc Networks

Edwin Chisanga

Werner Bergholz

Feasibility Study for a Novel Optical Method to Detect Microdefects and Impurities in Silicon Wafers

Catalin Ciocov

Jürgen Schönwälder

NETCONF - Design and Implementation of a Prototype

Dumitru Erhan

Herbert Jaeger

Exploration of combining ESN learning with gradient-descent RNN learning techniques

Ioan Hepes

Michael Kohlhase

A Binary Encoding for OpenMath

Premvir Kamlesh Jain

Harald Haas

Predictions for the wireless communications market based on technological developments and economic aspects

Vladimir Kirilov

Michael Kohlhase

Spotting and Linking Keywords in CNXML

Benjamin Liebald

Herbert Jaeger

Exploration of effects of different network topologies on the ESN signal crosscorrelation matrix spectrum

Abdurazak Mudesir

Harald Haas

Power Control Algorithm in CDMA systems

Vinod Patmanathan

Harald Haas

Simulation and DSP Board Implementation of an Optical Transmission System using OFDM

Dan Popovici

Herbert Jaeger

Data Segmentation using Echo State Networks

Shradda Shrestha

Dietmar Knipp

Concepts and Implementation of Standing Wave Detectors

Azim Toktosunov

Werner Bergholz

Origin, characterization and effect of Crystal Originated Particles (COPs) on device performance

Timur Torgautov

Michael Kohlhase

Type-Checking in MathML

Oliver Wamanga

Harald Haas

Simulation and Characterization of UWB system coexistence with traditional communication Systems

Personal tools