Forschungsprojekte/en: Difference between revisions
Markus Krötzsch (talk | contribs) No edit summary |
Markus Krötzsch (talk | contribs) No edit summary |
||
Line 1: | Line 1: | ||
{{Page about Forschungsprojekte | {{Page about Forschungsprojekte | ||
|contents={{Main heading|Current Research Projects}} | |contents={{Main heading|Current Research Projects}} | ||
{{List projects | {{List projects |
Latest revision as of 15:20, 10 November 2014
Current Research Projects
cfaed
CENTER FOR ADVANCING ELECTRONICS DRESDEN
CPEC
Center for Perspicuous Computing
CeTI
Centre for Tactile Internet with Human-in-the-Loop
DeciGUT
A Grand Unified Theory of Decidability in Logic-Based Knowledge Representation
InnoSale
Innovating Sales and Planning of Complex Industrial Products Exploiting Artificial Intelligence
KIMEDS
AI Assisted Certification of Medical Software
M/EDGE
Secure Low Power Medical Edge Computing
NAVAS
Navigation Approaches for Answer Sets
Nemo
A fast, scalable, and reliable rule engine
SECAI
School of Embedded Composite Artificial Intelligence
SEMECO-Q1
Secure Medical Microsystems and Communications: Secure & Trustworthy System Architecture
SEMECO-Q2
Secure Medical Microsystems and Communications: AI-assisted Regulatory Affairs for Medicine and Cybersecurity
ScaDS.AI
Center for Scalable Data Analytics and Artificial Intelligence
Semantic MediaWiki
Popular open-source software for collaborative data management
Wikidata
Wikipedia's free, collaborative knowledge base
Wikidata SPARQL Logs
Access logs from the Wikidata SPARQL Query Service
Wolpertinger
Wolpertinger is a fixed-domain reasoner
Adf-bdd
Abstract Dialectical Frameworks solved with Binary Decision Diagrams