Wissenschaftliche Publikationen
Unsere öffentlich verfügbaren wissenschaftlichen Publikationen stehen Ihnen hier nach Veröffentlichungsdatum sortiert zur Verfügung.
Darüber hinaus bietet Ihnen die A-Z Leiste und das Suchfeld die Gelegenheit, unsere Publikationsdatenbank mit eigenen Auswahlkriterien zu durchsuchen. Sie können z. B. nach Autoren, Titel, Textinhalten oder Publikationsart suchen.
Die erweiterte Suche bietet Ihnen darüber hinaus die Möglichkeiten, die Suche direkt auf eine Person, eine Publikationsart, sowie ein Jahr einzuschränken. Die Kriterien sind selbstverständlich auch kombinierbar.
Bei Click auf die Anzahl-Anzeige rechts kommen Sie aus Ihrer Suche auch wieder auf die Anzeige aller Publikationen zurück.
Titel
Webbasiertes exploratives Tutorial zur Lehrveranstaltung EIS \"Funktionsweise des MOS-Transistors\".
Alle Autoren
Janßen, Kai
Jahr
1999
Titel
Entwurf und Implementierung eines Werkzeuges zur Modellierung der Verlustleistung integrierter CMOS-Schaltungen mittels Algebraic Decision Diagrams
Alle Autoren
Friese, Norbert
Jahr
1999
Titel
Die hybride Komponente von ISO/ESPC: Verknüpfung manueller Messungen, formaler Analyse und multimedialer Präsentation
Buchtitel
3. Workshop Multimedia für Bildung und Wirtschaft
Alle Autoren
Möbus, C.; Thole, H.J.
Jahr
1999
Titel
Eine intelligente Problemlöseumgebung auf Basis kooperativen Hypothesentestens im Patentwesen
Buchtitel
9. Arbeitstreffen der GI-Fachgruppe 1.1.5/7.0.1 Intelligente Lehr-/Lernsysteme, LWA99 Sammelband
Alle Autoren
Willms, J.
Jahr
1999
Titel
Ein problemorientierter Ansatz zum Nachweis von Realzeiteigenschaften eingebetteter Systeme
Alle Autoren
Wittich, G.
Jahr
1999
Titel
Ein objektorientiertes Wissensmodell zur Konfigurierung digitaler Systeme.
Alle Autoren
Agsteiner, Karlheinz
Jahr
1999
Titel
Interaktive Visualisierung des Espress-Algorithmus zur Logikminimierung.
Alle Autoren
Grallert, Matthias
Jahr
1999
Titel
FPGA-Implementierung eines psychoakustischen und physiologisch motivierten Sprachverarbeitungssystems.
Alle Autoren
Schulz, Arne
Jahr
1999
Titel
Software for documentation, automated result and report generation, medical and economical statistics, and quality control in the cardiac catheterisation laboratory
Buchtitel
European Heart Journal
Alle Autoren
Claus, Marcel; Tröster, J.; Kronberg, Kai; Reil, Gert-Hinrich; Jensch, Peter
Jahr
1999
Titel
Quality Control using Automated Validation Tools can Improve Interoperability of DICOM Implementations
Buchtitel
European Heart Journal
Alle Autoren
Baljon, Maarten H.; Gerritsen, Maarten G.; Eichelberg, Marco; Jensch, Peter
Jahr
1999
Titel
Design Process and Tools for the HW/SW-Codesign and Rapid-Prototyping of Parallel and Heterogenous Real-Time Communication Systems
Buchtitel
Tagungsband
Alle Autoren
Slomka, Frank; Dörfel, Matthias; Spitz, S.; Hofmann, R.
Jahr
1999
Titel
A Scalable Hardware Library for the Rapid Prototyping of SDL Specifications
Buchtitel
Tagungsband
Alle Autoren
Dörfel, Matthias; Slomka, Frank; Hofmann, R.
Jahr
1999
Titel
Mixed Abstraction Level Hardware Synthesis from SDL for Rapid Prototyping
Buchtitel
Tagungsband
Alle Autoren
Bringmann, Oliver; Muth, A.; Slomka, Frank; Rosenstiel, Wolfgang; Färber, G.; Hofmann, R.
Jahr
1999
Titel
Influence of methodological factors on estimates of spectral loudness summation at medium and high levels
Buchtitel
Tagungsband
Alle Autoren
Verhey, J.L.; Appell, Jens-E.; Hohmann, V.
Jahr
1999
Titel
Implementation and Field-Test Evaluation of Simplified Noise Suppression and Dynamic Compression Algorithms on a DSP Prototype Hearing Aid
Buchtitel
Tagungsband
Alle Autoren
Appell, Jens-E.; Gabriel, B. ; Kollmeier, Birger; Marzinzik, M.; Raß, U.; Steeger, G.H.; Wittkop, T.
Jahr
1999
Titel
Secure Decentralized Control of Railway Crossings
Buchtitel
Fourth International ERCIM Workshop on Formal Methods in Industrial Critical Systems
Alle Autoren
Damm, W.; Döhmen, G.; Klose, J.
Jahr
1999
Titel
Specification of Embedded Monitors for Property Checking
Buchtitel
Proceedings, Forum on Design Languages, FDL'99
Alle Autoren
Allara, A.; Bombana, M.; Josko, S. Comai and B.; Schlör, R.; Sciuto, D.
Jahr
1999
Titel
Model Checking and Higher-Order Recursion
Buchtitel
Math. Found. of Comp. Sc.
Alle Autoren
Hungar, Hardi
Jahr
1999
Titel
System Verification using User-Friendly Interfaces
Buchtitel
Design, Automation and Test in Europe / User Forum
Alle Autoren
Schlör, R.; Allara, A.; Comai, S.
Jahr
1999
Titel
Automatic Classification of the World Wide Web Using the Universal Decimal Classification.
Buchtitel
23rd International Online Information Meeting
Alle Autoren
Möller, G.; Carstensen, K.-U.; Diekmann, B.; Wätjen, H.
Jahr
1999
Titel
A Practical Guideline to the Implementation of Online Shops
Buchtitel
Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems
Alle Autoren
Bartelt, Andreas; Meyer, Jochen
Jahr
1999
Titel
GUIs fuer Blinde - Die Umsetzung der intaktiven grafischen Elemente von Webseiten in eine auditive Virtual Reality
Alle Autoren
Gorny, Peter
Jahr
1999
Titel
Interoperability of DICOM Implementations can be Enhanced Significantly by a QC Approach using Automated Validation Tools
Alle Autoren
Eichelberg, Marco; Baljon, Maarten H.; Gerritsen, Maarten G.; Jensch, Peter
Jahr
1999
Titel
Softcopy and Hardcopy Presentation Concistency: Standardizing the Presentation of Images and Related Information via DICOM Standards
Alle Autoren
DICOM, Committee for the Advancement of; XI, DICOM Working Group; Microtherapy, Insitute for; e.V., Kuratorium OFFIS; Inc., OTech
Jahr
1999