|
2021-09-22 14:00:00.0
|
|
Dr. Álvaro Alhambra : Quantum states at equilibrium: thermal states, tensor networks and area laws
|
|
2021-08-10 14:00:00.0
|
|
Matthias C. Caro, MSc : Generalization bounds for variational quantum machine learning
|
|
2021-06-04 10:00:00.0
|
|
Paul K. Fährmann, MSc : Training Quantum Embedding Kernels on Near-Term Quantum Computers
|
|
2021-03-18 10:00:00.0
|
|
Dr. Mirjam Weilenmann : Quantum physics needs complex numbers
|
|
2019-10-22 10:15:00.0
|
|
Prof. Gustavo Rossi : Incorporating Usability into Agile approaches in Web Applications
|
|
2019-10-01 14:00:00.0
|
|
Günther Raidl : Joint research seminar Decision Diagrams in Combinatorial Optimization
|
|
2019-09-17 14:00:00.0
|
|
Prof. Dr. Michael O'Boyle : Using Constraints and Synthesis to Match Heterogeneous Hardware to Software
|
|
2019-09-13 13:00:00.0
|
|
Prof. Dr. Giovanni De Micheli : Nano-system Design: Technology and tools
|
|
2019-08-14 10:15:00.0
|
|
Prof. Dr. Michael Grossniklaus : Citius, Altius, Fortius: Advances in Query Processing
|
|
2019-06-19 16:00:00.0
|
|
Prof. Noeska Smit : Medical Visualization: Visualizing the Invisible
|
|
2019-05-22 10:00:00.0
|
|
Prof. Daisuke Iwai : Computational Projection Mapping
|
|
2019-05-16 11:00:00.0
|
|
Ass.-Prof. Dr. Mirela Alistar : Mobile Microfluidics
|
|
2019-04-10 12:30:00.0
|
|
Dr. Roman Pflugfelder : Introducing Visual Object Tracking From Classical Views to Machine Learning
|
|
2019-02-27 11:00:00.0
|
|
Prof. Dr. Christoph Lüth : Self-verifying Systems: Challenges and Perspectives
|
|
2019-01-28 13:00:00.0
|
|
Prof. Dr.-Ing. Ulf Schlichtmann : Advancing the use of Microfluidic Biochips by Electronic Design Automation
|
|
2019-01-23 10:00:00.0
|
|
Florian Sattler : Analysing the Performance Evolution of Run-Time Configurable Systems
|
|
2019-01-08 14:00:00.0
|
|
Miriah Meyer : Research Through Visualization Design Study
|
|
2018-12-06 15:00:00.0
|
|
Cristian Cadar : Dynamic Symbolic Execution for Software Analysis
|
|
2018-11-12 17:15:00.0
|
|
Radu Grosu : Towards Explainable RNNs: Modeling, Learning and Verification
|
|
2018-11-09 13:30:00.0
|
|
Prof. Markku Sakkinen : Cyclomatic Complexity - the most overrated Software metric? - and related ideas
|
|
2018-11-06 14:00:00.0
|
|
Luca Pulina : Formal Methods and Cyber-Physical Systems: Research Activities and Funded Projects at the IDEA Lab
|
|
2018-10-15 12:00:00.0
|
|
Alan Mishchenko : Integrating an AIG Package, Simulator and SAT Solver
|
|
2018-10-09 14:00:00.0
|
|
Dr. Daniel Tille : Functional Safety - A brief overview from DFT point of view
|
|
2018-09-26 10:15:00.0
|
|
Prof. Dr. Hamid Sarbazi-Azad : An Efficient Scheme for Prolonging the Lifetime of Phase-Change Memories
|
|
2018-07-10 15:00:00.0
|
|
Prof. Dr. Sebastian Fischmeister : The Convergence of Safety and Security for Safety-critical Systems
|
|
2018-06-05 13:00:00.0
|
|
Wolfgang Aigner : Visual Analytics as a Design Science Discipline
|
|
2018-05-28 17:15:00.0
|
|
Warren A. Hunt Jr : Specification and Verification of x86 Machine-Level Code
|
|
2018-05-14 09:15:00.0
|
|
Dr. Mirela Alistar : Personal Biochips
|
|
2018-05-07 15:30:00.0
|
|
Florian Gilcher : Secure Coding with Rust
|
|
2018-04-24 10:15:00.0
|
|
Nawfal Al-Zubaidi R-Smith MSc : Methods of Numerical Inversion of Laplace Transforms for Electrical Engineering and their Applications
|
|
2018-03-29 10:15:00.0
|
|
Dr. Mukesh Mohania : Blockchain-based Data Management, Analytics and Applications
|
|
2018-02-26 10:00:00.0
|
|
Ass.-Prof. Dr. Philip Brisk : Design Software for Microfluidics: Integrating Fluid Modeling with Design Objectives
|
|
2018-02-23 10:00:00.0
|
|
Ass.-Prof. Dr. Ansuman Banerjee : Formal methods for ranking verification counterexamples through assumption mining
|
|
2018-01-26 11:00:00.0
|
|
Dirk Draheim : Generalized Jeffrey Conditionalization - a Frequentist Semantics of Partial Conditionalization
|
|
2018-01-25 10:30:00.0
|
|
Wolfgang Waltenberger : On Particle Physics, Information, and Machines That Learn
|
|
2018-01-18 10:15:00.0
|
|
Radu Mardare : Quantitative Equational Reasoning
|
|
2017-12-13 15:30:00.0
|
|
Przemyslaw Musialski : Shape Optimization for Consumer-Level Digital Fabrication
|
|
2017-12-13 08:30:00.0
|
|
Dr. Markus Funk : AR, VR, Drones - Augmented Reality, Virtual Reality and Unmanned Aerial Vehicles
|
|
2017-12-11 12:30:00.0
|
|
Yuecel Karabulut : The Art and Science of Building Customer Trust in the Cloud
|
|
2017-11-29 10:15:00.0
|
|
Prof. Matthias Harders : Haptic Mixed Reality - Exploring Applications in Surgical Simulation
|
|
2017-11-17 13:00:00.0
|
|
: Privatsphäre und Internet
|
|
2017-11-07 08:30:00.0
|
|
Dr. Pablo González de Aledo : Simulation and Verification of non-functional properties
|
|
2017-10-02 10:15:00.0
|
|
Gerton Lunter : Machine learning for inference of human demography and biology
|
|
2017-09-26 10:00:00.0
|
|
Prof. Indranil Sen Gupta : Logic synthesis on memristor crossbar
|
|
2017-09-25 16:00:00.0
|
|
Simon Dixon : Music Similarity and Cover Song Identification: The Case of Jazz
|
|
2017-09-18 10:30:00.0
|
|
Dr. Vander Alves : Software Product Lines: Reliability and Beyond
|
|
2017-09-11 10:00:00.0
|
|
Felix Schwägerl MSc : Version Control and Product Lines in Model-Driven Software Engineering
|
|
2017-09-06 13:45:00.0
|
|
Eita Nakamura : Statistical Performance Model with Explicit Voice Structure and Symbolic Music Alignment
|
|
2017-09-01 10:00:00.0
|
|
Dr. CHEN LI : An Approach to Transforming UML Model to Layered Queueing Networks Model for Performance Analysis of Real-Time Distributed Systems
|
|
2017-08-08 16:00:00.0
|
|
Prof. Krishnendu Chakrabarty : Quo Vadis Microfluidic Biochips? Bridging the Gap between Microfluidics and Microbiology
|
|
2017-05-16 10:15:00.0
|
|
Ass.-Prof. Dr. Philip Brisk : Microfluidics and Biological Instrument Design as a Computing Discipline: An Overview
|
|
2017-05-02 10:15:00.0
|
|
Dr. Hoi-Kwan Lau : What is actually needed to quantum-compute with harmonic oscillators?
|
|
2017-03-21 16:00:00.0
|
|
Prof. Dr. Petr Tuma : Examining Java Performance With Standard Benchmarks
|
|
2017-03-06 13:00:00.0
|
|
Clifford Wolf : Formal Verification of Verilog HDL with Yosys-SMTBMC and SymbiYosys
|
|
2017-03-01 13:00:00.0
|
|
Sebastian Gabmeyer : Symbolic Verification of Graph Transformation Systems with Hardware Model Checkers
|
|
2016-12-15 16:15:00.0
|
|
Dr. Geoffroy Peeters (IRCAM) : Recent researches at IRCAM related to the recognition of rhythm, vocal imitations and music structure
|
|
2016-12-14 13:45:00.0
|
|
Meinard Müller : Musically Informed Audio Decomposition
|
|
2016-12-14 13:15:00.0
|
|
Dipl.-Ing. Christian Blümm : Maximizing OFDM Performance Through Real Time Adaptivity ? An FPGA Implementation For Aeronautical Communication
|
|
2016-11-10 14:00:00.0
|
|
Prof. Dr. Walter Binder : Workload Discovery and Benchmark Synthesis from Public Code Repositories
|
|
2016-11-08 16:00:00.0
|
|
Prof. Dr. Jörn Kohlhammer : Applying Visual Analytics to Real-World Problems
|
|
2016-09-19 10:00:00.0
|
|
Dr. Robert Meolic : Implementation Aspects of a BDD Package Supporting General Decision Diagrams
|
|
2016-08-22 15:30:00.0
|
|
Victor Greiff : Deciphering the rules of antibody repertoire complexity using a systems biology approach
|
|
2016-07-11 10:00:00.0
|
|
Prof. Tsung-Yi Ho : The Coming of Age of Microfluidics: EDA Solutions for Enabling Biochemistry on a Chip
|
|
2016-07-04 10:00:00.0
|
|
Adam C Whiteside : Classic Problems to Make Quantum Computing a Reality
|
|
2016-06-22 17:15:00.0
|
|
Dr. Marijn Heule : Everything's Bigger in Texas: The Largest Math Proof Ever
|
|
2016-06-14 16:30:00.0
|
|
Prof. Dr. Thomas Pock : Learning better models for computer vision
|
|
2016-06-03 15:00:00.0
|
|
Joachim Biskup : Publishing Inference-Proof Relational Data: Design, Implementation, Optimization and Experiments
|
|
2016-05-30 15:45:00.0
|
|
John Prager : IBM Watson: Building a Question-Answering system to Beat Humans on TV
|
|
2016-05-19 18:00:00.0
|
|
Prof. Dr. Johannes Huber : Polar Coded Modulation: A Tutorial
|
|
2016-05-17 16:00:00.0
|
|
Dr. Laurence Tratt : VM composition and VM warmup
|
|
2016-05-10 16:30:00.0
|
|
Susanne Fischer : Spatial clustering of rabies virus genomes using affinity propagation clustering
|
|
2016-04-26 10:15:00.0
|
|
Prof. Susmita Sur-Kolay : Lithography Hurdles in Physical Design Automation
|
|
2016-03-16 08:30:00.0
|
|
Priyank Kalla : Word-Level Abstractions from Digital Circuits using Algebraic Geometry and Symbolic Computation
|
|
2016-03-08 17:00:00.0
|
|
Wolfgang Gatterbauer : Approximate Lifted Inference with Probabilistic Databases
|
|
2016-01-21 14:00:00.0
|
|
Catia Trubiani : Software Performance Antipatterns to reduce Traceability Uncertainty
|
|
2016-01-18 14:30:00.0
|
|
Prof. Dr. Bernhard Rinner : Privacy-Protecting and Self-Aware Smart Cameras
|
|
2015-12-15 16:00:00.0
|
|
Prof. Dr. Tobias Schreck : Visual-Interactive Search and Analysis of Patterns in Complex Data
|
|
2015-11-20 10:15:00.0
|
|
Ian Marsh : Big data processing with applications in Telecommunications
|
|
2015-11-13 13:00:00.0
|
|
Dr. Mikhail Barash : On a New Model to Specify Programming Languages
|
|
2015-10-30 11:00:00.0
|
|
Gabriele Scheler : Principles of Intracellular Signaling
|
|
2015-06-30 16:00:00.0
|
|
Bernd Bickel : Computational Challenges in Designing Virtual Models for Fabrication
|
|
2015-06-25 18:00:00.0
|
|
Prof. Johannes B. Huber : Wohltemperiert in guter Stimmung - Grundlagen zu Mathematik und Musik
|
|
2015-06-11 17:15:00.0
|
|
Klaus Seyerlehner : Computational Engineering and the Metals Business - Are you clogged?
|
|
2015-05-28 17:15:00.0
|
|
Thomas Ponweiser : Optimization of Scientific Applications in High Performance Computing
|
|
2015-05-21 17:15:00.0
|
|
Robert Elsässer : Randomized Algorithms for Information Dissemination and Renaming Processes
|
|
2015-05-12 13:00:00.0
|
|
Regina Hebig : Evolution of Model-Driven Engineering - Three Perspectives
|
|
2015-05-08 13:00:00.0
|
|
Professor Anind K. Dey : A Framework to Support Opportunistic Groups in Context Aware and Internet of Things Applications
|
|
2015-05-07 17:15:00.0
|
|
Djork-Arné Clevert : Rectified Factor Networks
|
|
2015-05-05 16:00:00.0
|
|
Prof. Dr. Vincent Lepetit : Image Features for Robust Registration
|
|
2015-04-24 12:00:00.0
|
|
Prof. Matthias Kranz : Experimental Evaluation of User Interfaces for Visual Indoor Navigation
|
|
2015-04-23 17:15:00.0
|
|
Thomas Unterthiner : Toxicity Prediction using Deep Learning
|
|
2015-03-26 17:15:00.0
|
|
Thomas Kaltofen : Computer-based Simulation of Strabismus Surgeries and Interactive Eye Motility Diagnosis
|
|
2015-03-19 17:15:00.0
|
|
Christoph Kirsch : From Multicore-Scalable Data Structures to Multicore-Scalable Memory Management
|
|
2015-03-18 10:30:00.0
|
|
Ákos Maróy : Head Orientation Tracking in an Aircraft Cockpit Environment
|
|
2015-03-12 17:15:00.0
|
|
Dirk Beyer : Software Verification and Verifiable Witnesses: Report on SV-COMP 2015
|
|
2014-12-17 14:00:00.0
|
|
Sebastian Fischmeister : DataMill: Rigorous Empirical Performance Evaluation Made Easy
|
|
2014-12-05 13:30:00.0
|
|
Prof. Dr. Tomas Bures : Software Aspects of Smart Cyber-Physical Systems
|
|
2014-11-27 17:00:00.0
|
|
Ass.-Prof. Dr. Sam Guinea and Prof. Dr. Luciano Baresi : EcoWare: Past, Present, and Future
|
|
2014-11-13 13:00:00.0
|
|
LiGuo Huang : Learning from Software Process Repository
|
|
2014-10-30 16:00:00.0
|
|
Jessica Davies : Solving Max-SAT by Decoupling Optimization and Satisfaction
|
|
2014-06-26 10:15:00.0
|
|
Oscar Romero, PhD : Semantic Aware Business Intelligence
|
|
2014-06-05 17:15:00.0
|
|
Alexander Haas : The free lunch is really over: über (unerwartete) Probleme bei SW-Parallelisierungsprojekten in der Praxis
|
|
2014-05-22 17:15:00.0
|
|
Roland Winkler : Anforderungen und Entwicklung grafischer 2D / 3D Benutzerschnittstellen im Automotive Bereich
|
|
2014-05-22 15:30:00.0
|
|
Prof. Dr. Luciano Serafini : Contextualized Knowledge Repository: Theory and Practice
|
|
2014-05-15 17:15:00.0
|
|
Peter Stadelmeyer : Multidisziplinäre Strukturoptimierung aus Softwarearchitektursicht - Algorithmen und Technologielebenszyklen
|
|
2014-05-08 17:15:00.0
|
|
Christian Eitzinger : Computational Engineering and Machine Learning for Robotic Inspection Systems
|
|
2014-04-25 16:00:00.0
|
|
Andreas Bender : Using Bioactivity Databases and Computer Algorithms for Target Deconvolution and Compound Design
|
|
2014-03-20 05:15:00.0
|
|
Christian Federspiel and Christoph Steindl : HPC for Industry and Space
|
|
2014-03-13 08:30:00.0
|
|
Mo Movahed, Fahim Rahim, Hans-Jörg Peter : Atrenta - Early Design Closure using Formal Methods
|
|
2014-02-11 14:30:00.0
|
|
Anind K. Dey : Smartphones as a Resource for Understanding People
|
|
2014-01-27 13:45:00.0
|
|
Stefan ILLWITZER : Business Intelligence / Performance Management / Business Analytics - Verständnis, Marktübersicht und Einblicke
|
|
2014-01-23 16:15:00.0
|
|
Prof. Dr. Michael Franz : The Multicompiler: Software Defenses Using Compiler Techniques
|
|
2014-01-20 10:15:00.0
|
|
Georg Fischer : Barrierefreie und mobile Gesundheitsassistenzsysteme an der Schnittstelle zwischen Lifestyle und Medizintechnik Barrier free and mobile e Health systems at the border between lifestyle and medical technology
|
|
2013-12-10 16:00:00.0
|
|
Anselm Grundhöfer : Augmenting Physical Avatars Using Projector-Based Illumination
|
|
2013-12-10 10:15:00.0
|
|
Manuel Wimmer : Model-Driven Software Evolution
|
|
2013-10-17 15:30:00.0
|
|
Prof. Dr. Dirk Riehle : Open Source in Universitätsprojekten
|
|
2013-10-09 14:00:00.0
|
|
Andrei Voronkov : Solving Systems of Linear Inequalities by Bound Propagation
|
|
2013-09-10 10:00:00.0
|
|
Cyrille Artho und Takashi Kitamura : Modbat: A Model-based API Tester for Event-driven Systems und Test-Case Design by Feature Trees
|
|
2013-07-17 16:00:00.0
|
|
Prof. Dr. John Gough : Reconceptualising Bottom-Up Tree Rewriting
|
|
2013-07-12 09:00:00.0
|
|
Professor Eve Mitleton-Kelly : Using the Logic of Complexity Theory to Address Apparently Intractable Problems
|
|
2013-06-18 20:00:00.0
|
|
Henry Fuchs : Dreams, Illusions and Promise of Telepresence
|
|
2013-06-06 15:30:00.0
|
|
Dr. Manfred A. Jeusfeld : Fixing MOF and RDF - A View from the ConceptBase Data Model
|
|
2013-05-21 10:00:00.0
|
|
Donald Knuth : Experiences with SAT
|
|
2013-05-16 15:30:00.0
|
|
Dr. Qing Wang : A Theoretical Framework for Knowledge- Based Entity Resolution
|
|
2013-05-16 13:45:00.0
|
|
Dr. Anna Fensel : Enabling Participation: Semantic Services Design, Deployment, and Valorization
|
|
2013-04-29 17:00:00.0
|
|
Dr. Thorsten Berger : Variability Modeling in the Real - An Empirical Journey from Software Product Lines to Software Ecosystems
|
|
2013-04-22 15:00:00.0
|
|
Prof. Dr.-Ing. Ina Schaefer : Delta-orientierte Entwicklung, Analyse und Test von Softwareproduktlinien
|
|
2012-12-11 14:30:00.0
|
|
Eduard Gröller : Variability in Visualization
|
|
2012-11-30 13:45:00.0
|
|
Priv. Doz. Dr. Dirk Draheim : On the Pragmatics and a Constraint-based Semantics of Multilevel Modeling
|
|
2012-11-13 14:30:00.0
|
|
Joaquim Jorge : Touching more than two dimensions: augmenting surfaces with sound
|
|
2012-10-29 16:00:00.0
|
|
Prof. Alexander Felfernig : Intelligent Techniques for the Engineering of Constraint-based Systems
|
|
2012-10-08 16:30:00.0
|
|
Dr. Stefan Brunthaler : NAMASTE: Adaptive Optimizations in Interpreters
|
|
2012-06-22 14:00:00.0
|
|
Univ.-Prof. Dr.-Ing. habil. Falko Dressler : Industrial Wireless Networks - Robust and Interference-Aware Real-Time Communication
|
|
2012-05-24 15:30:00.0
|
|
Univ.-Doz. Dr. Ernest Wallmüller : Softwarequalität - Schlagwort oder Realität ? Ist die SOFTWARE-Krise überwunden oder wird sie immer wieder neu erfunden?
|
|
2012-04-26 17:15:00.0
|
|
Prof. Joachim Posegga : Next Generation Smartphone Security
|
|
2012-04-25 16:15:00.0
|
|
Dr. Gerolf Hoflehner : HW/SW Co-design: Past, Present and Potential
|
|
2012-02-09 10:00:00.0
|
|
Hans-Jörg Schulz : New Perspectives on Tree Visualization
|
|
2011-12-14 15:30:00.0
|
|
Hui Ma : A Geometrically Enhanced Conceptual Model and Query Language
|
|
2011-11-23 17:30:00.0
|
|
Dr. Kurt Hickisch : Sicherheit beginnt bereits bei der "Außenhaut"
|
|
2011-11-16 13:45:00.0
|
|
Prof. Sang-Mook Lee : Meeresbiologie und Assistierende Technologien
|
|
2011-09-29 16:15:00.0
|
|
Marcus Lagergren : Design Rationales in the JRockit JVM
|
|
2011-09-21 13:30:00.0
|
|
Prof. Dr. Alfonso Pierantonio : Managing the Evolution of FOSS with Model-Driven Techniques
|
|
2011-06-16 15:30:00.0
|
|
Mag. Olaf Hahn : "Wissen ist Macht" - Lernende Computersysteme - die nächste große Herausforderung bzw. ein bewegender Durchbruch
|
|
2011-06-09 20:00:00.0
|
|
Maurizio Seracini : A FUTURE FOR THE PAST: Engineering Sciences to Safeguard and Rediscover Cultural Heritage
|
|
2011-06-09 15:30:00.0
|
|
Prof. Dr. Rolf Pfeifer : Soft Robotics - Self-organization, embodiment and biological inspiration
|
|
2011-05-26 16:15:00.0
|
|
Dr. Niranjan Suri : An Overview of Agile Computing and Process Integrated Mechanisms
|
|
2011-05-19 16:30:00.0
|
|
Prof. Dr. Britta Schinzel : Ethische Fragen der Informatik unter Berücksichtigung feministischer Positionen
|
|
2011-05-06 10:15:00.0
|
|
Jun.-Prof. Dr. Hannes Frey : Scalable Routing Algorithms for Large Scale Wireless Networks
|
|
2011-04-13 17:15:00.0
|
|
Prof. Dr. Michael Franz : Recent Advances in Compiler Research - Firefox's TraceMonkey and Beyond
|
|
2011-04-01 09:00:00.0
|
|
Egon Boerger : A Subject-Oriented Interpreter Model for S-BPM
|
|
2011-01-19 17:15:00.0
|
|
Prof. Dr. Martin Glinz : Quality Requirements - A New Look at an Old Problem
|
|
2011-01-12 17:15:00.0
|
|
Dr. Andrew Straw : Combining Virtual Reality and Genetics to Understand the Fruit Fly Brain
|
|
2011-01-12 14:30:00.0
|
|
Dr.-Eng. Geoffroy Peeters : Research and Applications related to Audio and Music Content Indexing at Ircam
|
|
2010-11-25 13:45:00.0
|
|
DI Dr. Sebastian Schneider : Ausgewählte Themen des Europäischen und US-Patentrechts
|
|
2010-11-23 13:45:00.0
|
|
DI Tobias Jeske : A Compiler for Optimised Zero-Knowledge Proofs of Knowledge
|
|
2010-10-12 16:15:00.0
|
|
Dr. Robert Griesemer : It's so much nicer to program in Go --- A guided tour
|
|
2010-07-28 15:00:00.0
|
|
Vijay Ganesh (MIT, USA) : Solvers for Software Reliability and Security
|
|
2010-07-13 11:00:00.0
|
|
Prof. Judith Donath : Data Portraits
|
|
2010-06-21 16:00:00.0
|
|
Prof. Mark Billinghurst, HIT Lab NZ : Designing Augmented Reality Experiences
|
|
2010-06-08 16:15:00.0
|
|
Prof. Dr. Wolf Zimmermann : Robuste Komponentensysteme durch Protokollprüfung
|
|
2010-05-26 13:00:00.0
|
|
Dr. Daniela Damian : Collaborative software development and social networks in action: A framework and experiences from studies of collaboration and project outcomes in global software teams
|
|
2009-12-18 12:00:00.0
|
|
Prof. Dr. Dieter Gollmann : Standards und Sicherheitsspezifikationen
|
|
2009-12-17 16:15:00.0
|
|
Jaroslav Tulach : Paradoxes of API Design
|
|
2009-11-26 16:15:00.0
|
|
Dipl.-Math. Gerolf Hoflehner : Register Allocation for the Intel(R) Itanium(R) Processor
|
|
2009-11-26 09:00:00.0
|
|
Daniel Kroening : Model Checking C++ Programs that use the STL
|
|
2009-11-23 10:15:00.0
|
|
Dr. Manuel Corpas : Bioinformatics Tools for Visualization and Analysis of DECIPHER data
|
|
2009-11-18 13:45:00.0
|
|
Prof. Dr. Klaus-Dieter Schewe : Konzeptionelle Modellierung von Clouds
|
|
2009-10-21 16:15:00.0
|
|
Ken Butts : The Impact of Cyber-Physical Systems on the Automotive Industry
|
|
2009-10-02 10:30:00.0
|
|
DI Christa Schwanninger : Von der Plattform zur Produktlinie
|
|
2009-06-18 16:15:00.0
|
|
Dr. Stefan Stanczyk : ON EQUIVALENCE OF THEORETICAL DATABASE MODELS
|
|
2008-12-12 13:15:00.0
|
|
Dr. Jan Kofron : TBP: Code-Oriented Component Behavior Specification
|
|
2008-06-13 11:00:00.0
|
|
J. Sztrik, Full Professor : HETEROGENEOUS FINITE-SOURCE RETRIAL QUEUEING SYSTEMS
|
|
2008-05-05 16:30:00.0
|
|
Thomas Hagauer : High Performance Computing @ BMW
|
|
2008-04-21 16:15:00.0
|
|
Professor Dr. Harald C. Gall : Software Evolution Analysis and Visualization
|
|
2008-04-04 10:15:00.0
|
|
Leonardo de Moura, Nikolaj Bjorner : Satisfiability Modulo Theories @ Microsoft
|
|
2008-03-31 10:15:00.0
|
|
Dr. Erwin Laure, CERN : EGEE: Providing a Production Grid Infrastructure for Collaborative Science
|
|
2008-03-17 16:15:00.0
|
|
Prof. Dr. Michael Franz : Leveraging Parallel Hardware to Eradicate Worms, Viruses and Common Programming Errors
|
|
2008-03-13 16:15:00.0
|
|
Dr. Gerhard Weiß : Autonome Informationsverarbeitungssysteme
|
|
2008-02-25 10:15:00.0
|
|
Dr. Andrew Hamilton-Wright - http://www.cis.uoguelph.ca/~andrew/ : Rule Discovery and Interpretation for Clinical Disease Characterization
|
|
2008-01-29 15:00:00.0
|
|
Dr. Marc Langheinrich : Werden wir in Zukunft noch eine Privatsphäre haben? Über den Datenschutz im Ubiquitous Computing
|
|
2008-01-16 12:00:00.0
|
|
Dr. Harald Kornmayer : g-Eclipse - Easy Access to the Grid
|
|
2008-01-10 16:15:00.0
|
|
Dr. Wieland Schwinger : Employing Models for the Systematic Development of Web Applications - From Wishful Thinking to Viable Engineering
|
|
2007-11-22 16:15:00.0
|
|
Ismail Khalil Ibrahim : Models for Norm-Based Agent Interaction in Ubiquitous Environments
|
|
2007-11-13 19:00:00.0
|
|
Podiumsdiskussion (s. z. Person) : Requirements Engineering: Die Wurzel aller Übel oder der Grundstein für Qualitätssoftware?
|
|
2007-10-30 10:15:00.0
|
|
Dr. Oswaldo Trelles : High performance computing applied to life sciences
|
|
2007-09-28 15:30:00.0
|
|
Univ.-Prof. Dr. Heinz Zemanek, Univ.-Prof. Dr. Gerhard Chroust, Univ.-Prof. Dr. : Erlebte Meilensteine der Informatik - 4 Generationen berichten
|
|
2007-06-29 10:15:00.0
|
|
ao.Univ.-Prof. Dr. Andreas Uhl : Distributed Multimedia
|
|
2007-06-28 15:30:00.0
|
|
Dipl.-Inf. Felix Loesch : Restructuring Variability in Software Product Lines using Concept Analysis of Product Configurations
|
|
2007-06-19 16:15:00.0
|
|
Dr. Walter Duerr : Product and Quality Assurance at Austrian Aerospace
|
|
2007-04-17 15:30:00.0
|
|
Dr. Josef Templ : TDL - A Component Model for Determinstic Real-time Systems
|
|
2007-03-09 09:30:00.0
|
|
Prof. Dr. Tom Gross : Kooperative Informationsumgebungen: Konzepte und Werkzeuge zur Selbstorganisation im sozialen Kontext
|
|
2007-02-09 13:45:00.0
|
|
Prof. Dr. Markku Sakkinen : Promises, Problems and Side Effects of Reverse Inheritance
|
|
2007-01-26 13:45:00.0
|
|
Jaroslav Tulach, David Kaspar, Petr Hrebejk : The NetBeans Rich Client Platform
|
|
2007-01-11 16:15:00.0
|
|
Ass. Prof., Dr. Petr Doucek : Information Security Management Selected Problems
|
|
2007-01-11 14:30:00.0
|
|
Dr. Rudolf Volkmer-Engert : Biophysik und Peptidarrays - eine Hochzeit und deren Folge für Coiled-Coil Assoziationen: Fragen an die Bioinformatik
|
|
2007-01-09 17:15:00.0
|
|
Ralf Ratering : Grid Programming Environment (GPE) - An Intel Open Source Solution Grid as Infrastructure for Distributed Enterprise IT Resources
|
|
2006-12-18 16:00:00.0
|
|
Professor Dr. Xavier Franch : On the Use of i* for Driving COTS Component Selection
|
|
2006-12-12 15:30:00.0
|
|
Donny Kurniawan : Worqbench: An Integrated Framework for e-Science Application Development
|
|
2006-12-04 16:30:00.0
|
|
Dipl.-Ing. Sonja Koppensteiner : Planung nach PMBoK
|
|
2006-11-22 15:30:00.0
|
|
Andre Merzky : Understanding the Visualization Pipeline
|
|
2006-11-21 14:00:00.0
|
|
Univ.-Prof. Dipl.-Ing. Dr. techn. Gert Pfurtscheller : Direkte Hirn-Computer Kommunikation: Brain-Computer Interface (BCI)
|
|
2006-10-24 11:00:00.0
|
|
Professor Dr. Neil A. Maiden : Discovering Services from Requirements: The SeCSE Way
|
|
2006-10-03 16:15:00.0
|
|
Prof. Dr. Colin Atkinson : Towards a Unified Environment for Model, Ontology and Service Engineering
|
|
2006-08-28 11:00:00.0
|
|
Hubert Renauld : Rules, rather than genes
|
|
2006-05-15 15:30:00.0
|
|
Professor Athula Ginige : CBEADS: A Framework for developing evolutionary Web Applications
|
|
2006-04-18 16:15:00.0
|
|
Stephen L. Scott, Christian Engelmann : Advancing Reliability, Availability and Serviceability for High-Performance Computing
|
|
2006-04-06 17:15:00.0
|
|
Steffen Grünewälder : Convergence Results in Reinforcement Learning
|
|
2006-03-30 16:15:00.0
|
|
Prof. Dr. Michael Franz : Cool Stuff With Virtual Machines: Making Java Much Faster and More Secure (Vortrag auf Deutsch, Folien auf Englisch)
|
|
2006-03-16 16:15:00.0
|
|
Prof. Dr. Josef Hochreiter : Bioinformatik - Was ist das, wer braucht das?
|
|
2006-01-19 16:15:00.0
|
|
Dr. Michael Haller : Mixed Reality Schnittstellen
|
|
2006-01-18 17:15:00.0
|
|
Ph.D. Laurent Lefevre : High Performance Programmable Network Support for Grid Infrastructures
|
|
2006-01-10 17:30:00.0
|
|
Dr. Hagen Klauk : Organic Thin Film Transistors for Integrated Circuits
|
|
2005-12-19 11:00:00.0
|
|
Dr. Martin Schulz : Leading the Way to Ultrascale Computing: The BG/L System Software Environment
|
|
2005-11-24 16:15:00.0
|
|
Mag. Dr. Michael Sonntag : Einzel-Agenten oder Multi-Agenten-Systeme? Strukturelle Überlegungen, Verbindung beider Ansätze und rechtliche Konsequenzen
|
|
2005-11-24 09:00:00.0
|
|
Grigori Evreinov, Ph.D. : Advanced Interaction Design: Principles and Techniques for People with Disabilities
|
|
2005-11-10 16:15:00.0
|
|
Dr. Stephan Dreiseitl : Automatisierte Melanomerkennung: State of the art
|
|
2005-10-12 16:00:00.0
|
|
Prof. Dr. Stefan Kramer : Towards an Integrated Analysis of Small Molecule and Gene Expression Data
|
|
2005-10-11 16:30:00.0
|
|
Joachim Biercamp, Michael Böttinger : Höchstleistungsrechnen, Datenhaltung und Visualisierung in der Klima und Erdsystemforschung
|
|
2005-07-07 16:00:00.0
|
|
Dr. Christoph Steindl, IT-Architekt : Agile Softwareentwicklung
|
|
2005-06-30 15:15:00.0
|
|
Simon Dixon : New Time Warping Algorithms for Tracking and Aligning Musical Performances
|
|
2005-06-09 16:15:00.0
|
|
Dipl.-Ing. Sonja Koppensteiner : The Significance of the Right Timing of Project Reviews in Software Development Projects
|
|
2005-04-22 10:30:00.0
|
|
Prof. Dr. Zhi-Gong Wang : IC Design for Optic-fiber and Wireless Communication
|
|
2005-01-24 14:00:00.0
|
|
Dr. Thomas Zettler : Modern System on Chip Design
|
|
2004-11-22 14:00:00.0
|
|
Dr. Erich Gamma : Eclipse Evolving towards a General Component Platform
|
|
2004-09-27 16:15:00.0
|
|
Dr. Masakazu Suzuki : An integrated OCR software for mathematical documents - Infty -
|
|
2004-09-23 16:15:00.0
|
|
Dr. Dominique Archambault : Multimodal Computer Games for severely visually impaired children
|
|
2004-09-22 16:15:00.0
|
|
Dr. Donal Fitzpatrick : Integrating Access Technology into Mainstream Computing
|
|
2004-06-24 16:15:00.0
|
|
DI Andreas Schabus : Writing Secure Code - Fundamentals, Security ist auch eine Developerthematik
|
|
2004-06-17 15:30:00.0
|
|
Dr. Thomas Zettler : Modern System on Chip Design
|
|
2004-06-16 13:00:00.0
|
|
Dr. Timm Ostermann - : Habilitationskolloquium Fachgebiet
|
|
2004-06-08 16:15:00.0
|
|
Prof. Reind van de Riet (emeritus Professor, Editor for Europe: Data & Knowledge : Guaranteeing Security and Privacy in Cyberspace With the DKE Refereeing Process as Application
|
|
2004-05-27 14:00:00.0
|
|
Dr. Roger Tagg : SOFTWARE AGENTS TO SUPPORT ADMINISTRATION IN ASYNCHRONOUS TEAM ENVIRONMENTS
|
|
2004-05-18 18:00:00.0
|
|
Prof. William F. Hunt, Jr. : „ An Alternate PM Fine Standard. – History and New Trends in Establishing Standards in Air Pollution in the United States“
|
|
2004-05-14 13:00:00.0
|
|
Dr. Dave Detlefs : Garbage-First Garbage Collection
|
|
2004-05-12 08:30:00.0
|
|
Dr. Vincent Hager, Senior Consultant CRM Solutions : Active Data Warehousing
|
|
2004-05-10 17:15:00.0
|
|
Dr. Elena Somova : Virtual Learning Environment The Plovdiv Electronical University
|
|
2004-04-26 15:30:00.0
|
|
Prof. Yoshihide Horiuchi, Ph. D., horiuchi@u-shizuoka-ken.ac.jp : Transcultural Communications in IFSR/ISI Conversations, Systems Design and Business Practice
|
|
2004-04-01 15:30:00.0
|
|
Em. Univ.-Prof. Dr Arno Schulz, Em. Univ.-Prof. Dr. Bruno Buchberger, Univ.-Prof : PL/I und IBM /360 ? eine Retrospektive anläßlich des 80. Geburtstags von Prof. Dr. A. Schulz
|
|
2004-03-25 16:15:00.0
|
|
Dipl.-Math. Gerolf Hoflehner : Ein Überblick über den Intel(R) Itanium(R) Codegenerator
|
|
2003-11-20 16:30:00.0
|
|
Dr. Hermann von Issendorff : Schaltungsentwurf und -Layout mit Aktonalgebra
|
|
2003-10-30 15:15:00.0
|
|
Prokurist Ewald Baumann : Verdammt zum Erfolg Die POST AG in Österreich und Osteuropa
|
|
2002-04-15 10:15:00.0
|
|
Dipl.-Ing. Sonja Hof : Sicherheitsanforderungen und -konzepte für e-Business und e-Government
|
|
2002-03-21 17:15:00.0
|
|
Univ. Prof. Dr. Friedemann MATTERN : Der Trend zur Informatisierung und Vernetzung aller Dinge - Pervasive und Ubiquitous Computing
|
|
2002-03-21 16:00:00.0
|
|
Ingo Rammer : .NET-Remoting - Verteilte Anwendungen auf Basis des .NET-Frameworks
|
|
2002-03-11 15:30:00.0
|
|
Mag. Harald Bangerl : Komponentenbasierte Geschäftsmodelle im eBusiness: Die Methode Focal Point®
|
|
2002-01-24 16:00:00.0
|
|
Willy Weisz : Mit Globus ins Grid
|
|
2001-12-11 16:15:00.0
|
|
Dr. Martin Schulz : SMiLE: Cluster Computing mit SCI von der Hardware bis zur Anwendung
|
|
2001-11-16 10:15:00.0
|
|
Assoc. Prof. Dr. Jim Warren : How Much Structure? - The Problem of Chronic Disease Management Decision Support
|
|
2001-11-05 16:00:00.0
|
|
Rafal Lukawiecki : Behind .NET [dotNet]
|
