The colloquium gives the chance to learn the hot research spots from the world famous experts and professors, which is held on Thursday's afternoon in every two weeks in HS1.
| Model Counting opens new doors for Program Analysis | 00:50:56 | |
|---|---|---|
| My Journey | 00:11:30 | |
| LattE Model Counter | 00:12:17 | |
| Examples | 00:11:58 | |
| Coverage Revisited | 00:06:45 | |
| Random Testing Revisited | 00:08:26 |
| Fun With Words – Text Mining on the Web | 00:42:02 | |
|---|---|---|
| Use Case | 00:09:48 | |
| Topic Models | 00:09:44 | |
| Web Search Result Diversification | 00:09:02 | |
| Open Government Data | 00:08:59 | |
| Patents and Scientific Articles | 00:07:28 | |
| Conclusions | 00:01:01 |
| Industrie 4.0 und IT-Sicherheit | 00:39:13 | |
|---|---|---|
| Cybersicherheit made in Darmstadt | 00:11:09 | |
| Industrie 4.0 und IT-Sicherheit | 00:08:38 | |
| Prioritäten für die industrielle IT-Sicherheit | 00:17:43 | |
| Zusammenfassung | 00:01:43 |
| Modern Database Systems: Modernized Classic Systems, NewSQL and NoSQL | 01:00:58 | |
|---|---|---|
| Background + Writings | 00:10:32 | |
| Introduction | 00:17:25 | |
| Classical DBS | 00:07:43 | |
| NewSQL Sytems | 00:22:21 | |
| Summary | 00:02:57 |
| Analyzing and Understanding Individual-Level Event Data | 00:51:04 | |
|---|---|---|
| Introduction | 00:03:04 | |
| Evulotion of Data at the Individual-Level | 00:07:39 | |
| Event Data | 00:03:32 | |
| Special Density Modelung | 00:20:09 | |
| Extensions | 00:03:54 | |
| Analyzing Individual Email Histories | 00:11:27 | |
| Summary | 00:01:19 |
| RESTful Conversations and RESTful Business Process Management | 00:58:36 | |
|---|---|---|
| Introduction | 00:21:00 | |
| RESTful Conversations | 00:23:11 | |
| RESTful Business Processes | 00:14:25 |
| Property-based Data Access for Semantic Web Programming | 00:40:27 | |
|---|---|---|
| Introduction | 00:23:06 | |
| Property-based Data Access | 00:06:39 | |
| Quality of Core Properties | 00:10:42 |
