Katalog der Deutschen Nationalbibliothek

Springe direkt zu:

Katalog (Beta)

Wissensnetz

Person
Person

Person

Harald Sack (1965-)

Informatiker

Name

Harald Sack

Zeit

1965- (Lebensdaten)

Ort

Deutschland

Akademischer Grad bzw. Titel

Prof. Dr.

Beruf

Informatiker (charakteristischer Beruf)

Variante

H. Sack

Beziehung

FIZ Karlsruhe
Universität Karlsruhe. Institut für Angewandte Informatik und Formale Beschreibungsverfahren
Hasso-Plattner-Institut für Softwaresystemtechnik
Universität Potsdam
Universität Trier

Weitere Angaben

Senior Researcher am Hasso-Plattner-Institut für Softwaresystemtechnik (HPI) an der Universität Potsdam; seit 2009 Leiter der Forschungsgruppe "Semantische Technologien"; Gründungsmitglied des Deutschen IPv6 Rates

Quelle

Homepage: https://www.aifb.kit.edu/web/Harald_Sack (Stand: 03.08.2021)

Datensatztyp

Person

GND-Nummer

173514537

Datensatz-ID

173514537

Beteiligt an

alle anzeigen

Concepts for a Semantically Accessible Materials Data Space: Overview over Specific Implementations in Materials Science

Performance Evaluation of Upper‐Level Ontologies in Developing Materials Science Ontologies and Knowledge Graphs

Concepts for a Semantically Accessible Materials Data Space: Overview over Specific Implementations in Materials Science

Performance Evaluation of Upper‐Level Ontologies in Developing Materials Science Ontologies and Knowledge Graphs

PMD Core Ontology: Achieving semantic interoperability in materials science

Knowledge Graph Based RDM Solutions : NFDI4Culture - NFDI-MatWerk - NFDI4DataScience

User-centered semantic dataset retrieval

Challenges of Applying Knowledge Graph and their Embeddings to a Real-world Use-case

Contextual Language Models for Knowledge Graph Completion

Temporal Evolution of the Migration-related Topics on Social Media

NFDI4Culture - Consortium for research data on material and immaterial cultural heritage

A provenance-based semantic approach to support understandability, reproducibility, and reuse of scientific experiments

Hybride semantische Suche - eine Kombination aus Fakten- und Dokumentretrieval

Semantic Web Challenges : Third SemWebEval Challenge at ESWC 2016, Heraklion, Crete, Greece, May 29 - June 2, 2016, Revised Selected Papers

The Semantic Web : ESWC 2016 Satellite Events, Heraklion, Crete, Greece, May 29 – June 2, 2016, Revised Selected Papers

Shu zi tong xin ji shu

Digital Communication : communication, multimedia, security

Linked Enterprise Data : Management und Bewirtschaftung vernetzter Unternehmensdaten mit Semantic Web Technologien

Sicherheit und Vertrauen im Internet : eine technische Perspektive

Fünfter Deutscher IPv6 Gipfel 2012

Internetworking : technological foundations and applications

Internetworking : Technological Foundations and Applications

SOFSEM 2013: Theory and Practice of Computer Science : 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings

Internetworking : technische Grundlagen und Anwendungen

Internetworking : Technische Grundlagen und Anwendungen

Vierter Deutscher IPv6 Gipfel 2011

Vierter Deutscher IPv6 Gipfel 2011

Einführung von IPv6 in Unternehmensnetzen : ein Leitfaden

Einführung von IPv6 in Unternehmensnetzen : ein Leitfaden

Dritter Deutscher IPv6 Gipfel 2010

Dritter Deutscher IPv6-Gipfel 2010

Digitale Kommunikation : Vernetzung, Multimedia, Sicherheit

Erster Deutscher IPv6 Gipfel

Erster Deutscher IPv6-Gipfel

Improving the power of ordered binary decision diagrams by integrating parity nodes

WWW : Kommunikation, Internetworking, Web-Technologien

WWW : Kommunikation, Internetworking, Web-Technologien ; mit 106 Tabellen

A heuristic for ⊕-OBDD minimization

IDDS : an interactive decentralized documentation system

Improving XOR-node placement for ⊕-OBDDs

VisBDD - a web based visualization framework for OBDDs

WWW.BDD-Portal.ORG : an experimentation platform for binary decision diagram algorithms

Algorithmic considerations for ⊕-OBDD reordering

Mod p decision diagrams : a data structure for multiple valued functions

Probabilistic verification of multiple valued functions

⊕-OBDDs : a BDD structure for probabilistic verification

Case study: manipulating ⊕-OBDDs by means of signatures
Hinweis

Die Betaversion beinhaltet noch nicht alle Funktionen und Informationen des Katalogs des DNB-Portals. Falls Sie Informationen vermissen oder ein Medium bestellen wollen, besuchen Sie bitte die entsprechende Seite im Katalog des DNB-Portals über folgenden Link:

DNB-Portal