Refine
Year of publication
Document Type
- Article (575)
- Doctoral Thesis (129)
- Monograph/Edited Volume (82)
- Other (26)
- Postprint (10)
- Conference Proceeding (8)
- Preprint (5)
- Part of a Book (4)
- Master's Thesis (3)
- Bachelor Thesis (1)
Language
- English (844) (remove)
Keywords
- answer set programming (12)
- Answer Set Programming (10)
- Answer set programming (10)
- Machine Learning (7)
- Maschinelles Lernen (7)
- Antwortmengenprogrammierung (5)
- Computer Science Education (5)
- Internet of Things (4)
- MQTT (4)
- Optimization (4)
Institute
- Institut für Informatik und Computational Science (844) (remove)
Molecular dynamics simulation of the association of model colloidal particles in two dimensions
(1995)
Novel verification framework combining structural and OBDD methods in a synthesis environment
(1995)
Software development plan
(1996)
Efficient deterministic approaches solving the general layout problem in graphs : Forschungsbericht
(1996)
And/Or reasoning graphs for determining prime implicants in multi-level combinational networks
(1997)
Circumscribing inconsistency
(1997)
Towards computer science
(1998)
Compressions and extensions
(1998)