Suche mittels Attribut

Diese Seite stellt eine einfache Suchoberfläche zum Finden von Objekten bereit, die ein Attribut mit einem bestimmten Datenwert enthalten. Andere verfügbare Suchoberflächen sind die Attributsuche sowie der Abfragengenerator.

Liste der Ergebnisse

• Big Data in SAT Solving - Heuristiken von Beweisen lernen  + (Diplom)
• Towards an Hierarchical Kalman Filter Approach to Robot Localisation and Mapping  + (Diplom)
• Chase-Based Computation of Cores for Existential Rules  + (Diplom)
• Optimierung des logischen Schließens mit existentiellen Regeln durch die Analyse von Abhängigkeiten  + (Diplom)
• Kardinalitätsresolution in Beweisen zur Unerfüllbarkeit  + (Diplom)
• Concept Learning in Description Logics  + (Diplom)
• Lösen des Stundenplanproblems mit SAT  + (Diplom)
• Lösen von Mixed Integer Programming mit Hilfe von Pseudo Boolean Solvern  + (Diplom)
• Verbinden von Suchabstraktionen zur echten Suche  + (Diplom)
• Verifizierte SAT-basierte Entscheidungsprozeduren  + (Diplom)
• Vorverarbeitung für Pseudo Boolean Probleme  + (Diplom)

• Lösen des Stundenplanproblems mit SAT  + (Bachelor)
• Big Data in SAT Solving - Heuristiken von Beweisen lernen  + (Bachelor)
• Lösen von Mixed Integer Programming mit Hilfe von Pseudo Boolean Solvern  + (Bachelor)
• Vorverarbeitung für Pseudo Boolean Probleme  + (Bachelor)
• Verbinden von Suchabstraktionen zur echten Suche  + (Bachelor)
• Iterative Ontology Update with Minimum Change  + (Master)
• Grounded Circumscription in Description Logics  + (Master)
• On the Computation of Naive-based Argumentation Semantics  + (Master)
• Navigation Approaches for Answer Sets  + (Master)
• Verifizierte SAT-basierte Entscheidungsprozeduren  + (Bachelor)
• Kardinalitätsresolution in Beweisen zur Unerfüllbarkeit  + (Bachelor)
• Combining Belief Revision and Abstract Dialectical Frameworks  + (Master)
• Increasing the Robustness of SAT Solving with Machine Learning Techniques  + (Master)
• From Logic Programs to Iterated Function Systems  + (Master)
• Untersuchung von Verfahren zur stabilen Online-Adaption von neuronalen Prozesssteuerungen am Beispiel der Short-Stroke-Steuerung beim Walzen von Stahlband  + (Master)
• Decidability of Reasoning under the Well-Founded Semantics  + (Master)
• Proof by Pointing and Selecting  + (Master)
• First-Order Rule Learning Through a Pulsed Neural Network  + (Master)
• A Resource-Oriented Deductive Approach Towards Hierarchical Planning  + (Master)
• A Camera Sensor Model for Sensor Fusion  + (Master)
• An Integrative Approach to Object Recognition in VSLAM  + (Master)
• Backdoors for SAT  + (Master)
• Reasoning with Text Annotations  + (Master)
• A Constructive Connectionist Approach Towards Continual Robot Learning  + (Master)
• Inkrementelle Fuzzy-Entscheidungsbäume  + (Master)