Institut für Informatik und Computational Science
Refine
Year of publication
- 2005 (41) (remove)
Document Type
- Article (29)
- Doctoral Thesis (7)
- Monograph/Edited Volume (5)
Is part of the Bibliography
- yes (41)
Keywords
- 3D computer graphics (1)
- BSS (1)
- Binäres Entscheidungsdiagramm (1)
- Bioelektrisches Signal (1)
- Complementary Circuits (1)
- Constructive solid geometry (1)
- DPLL (1)
- Diagonalisierung (1)
- Dreidimensionale Computergraphik (1)
- EEG (1)
- Elektroencephalographie (1)
- Entscheidungsbäume (1)
- Entwurf (1)
- Erfüllbarkeit einer Formel der Aussagenlogik (1)
- Erfüllbarkeitsproblem (1)
- Error-Detection Circuits (1)
- Formeln der quantifizierten Aussagenlogik (1)
- ICA (1)
- MEG (1)
- Magnetoencephalographie (1)
- Maschinelles Lernen (1)
- Matrizen-Eigenwertaufgabe (1)
- Mischung <Signalverarbeitung> (1)
- Model Based Engineering (1)
- Model Checking (1)
- Modellbasiert (1)
- Molekulare Bioinformatik (1)
- New On-Line Error-Detection Methode (1)
- Optimierungsproblem (1)
- Quantified Boolean Formula (QBF) (1)
- Rendering (1)
- Satisfiability (1)
- Scene graph systems (1)
- Self-Checking Circuits (1)
- Signalquellentrennung (1)
- Signaltrennung (1)
- Simultane Diagonalisierung (1)
- Software (1)
- Software architecture (1)
- Softwarearchitektur (1)
- Szenengraph (1)
- Test (1)
- ZQSA (1)
- ZQSAT (1)
- Zero-Suppressed Binary Decision Diagram (ZDD) (1)
- approximate joint diagonalization (1)
- blind source separation (1)
- computational biology (1)
- decision trees (1)
- design (1)
- independent component analysis (1)
- logische Ergänzung (1)
- machine learning (1)
- model-based (1)
- neue Online-Fehlererkennungsmethode (1)
- selbstprüfende Schaltungen (1)
- software (1)
- test (1)
Institute
With the success of wireless technologies in consumer electronics, standard wireless technologies are envisioned for the deployment in industrial environments as well. Industrial applications involving mobile subsystems or just the desire to save cabling make wireless technologies attractive. Nevertheless, these applications often have stringent requirements on reliability and timing. In wired environments, timing and reliability are well catered for by fieldbus systems (which are a mature technology designed to enable communication between digital controllers and the sensors and actuators interfacing to a physical process). When wireless links are included, reliability and timing requirements are significantly more difficult to meet, due to the adverse properties of the radio channels. In this paper we thus discuss some key issues coming up in wireless fieldbus and wireless industrial communication systems:1)fundamental problems like achieving timely and reliable transmission despite channel errors; 2) the usage of existing wireless technologies for this specific field of applications; and 3) the creation of hybrid systems in which wireless stations are included into existing wired systems
We investigate the operation problem for linear and deterministic context-free languages: Fix an operation on formal languages. Given linear (deterministic, respectively) context-free languages, is the application of this operation to the given languages still a linear (deterministic, respectively) context-free language? Besides the classical operations, for which the linear and deterministic context-free languages are not closed, we also consider the recently introduced root and power operation. We show non-semidecidability, to be more precise, we show completeness for the second level of the arithmetic hierarchy for all of the aforementioned operations, except for the power operation, if the underlying alphabet contains at least two letters. The result for the power opera, tion solves an open problem stated in Theoret. Comput. Sci. 314 (2004) 445-449
Data recorded in electroencephalogram (EEG)-based brain-computer interface experiments is generally very noisy, non-stationary, and contaminated with artifacts that can deteriorate discrimination/classification methods. In this paper, we extend the common spatial pattern (CSP) algorithm with the aim to alleviate these adverse effects. In particular, we suggest an extension of CSP to the state space, which utilizes the method of time delay embedding. As we will show, this allows for individually tuned frequency filters at each electrode position and, thus, yields an improved and more robust machine learning procedure. The advantages of the proposed method over the original CSP method are verified in terms of an improved information transfer rate (bits per trial) on a set of EEG-recordings from experiments of imagined limb movements
Today, InfiniBand is an evolving high speed interconnect technology to build high performance computing clusters, that achieve top 10 rankings in the current top 500 of the worldwide fastest supercomputers. Network interfaces (called host channel adapters) provide transport layer services over connections and datagrams in reliable or unreliable manner. Additionally, InfiniBand supports remote direct memory access (RDMA) primitives that allow for one- sided communication. Using server load balancing together with a high performance cluster makes it possible to build a fast, scalable, and reliable service infrastructure. We have designed and implemented a scalable load balancer for InfiniBand clusters called SLIBNet. Our investigations show that the InfiniBand architecture offers features which perfectly support load balancing. We want to thank the Megware Computer GmbH for providing us an InfiniBand switch to realize a server load balancing testbed.