Attribut:Abschlussarbeitsstatus

This is a property of type text, used for thesis topics and finished theses.

Possible values are:

Offen: The topic is available for interested students
Vergeben: The topic has been given to a student who is currently working on it
Abgeschlossen: The thesis has been finished; in this case the description and title should be the thesis abstract and title
Nicht mehr verfügbar: Topic no longer available (but kept for reference)

Annotationen109Dateneinschränkungsschema

vorherige 20 20 50 100 250 500 nächste 20

Filter<p>Der <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Property_page/Filter">Filter für die Suche nach Datenwerten zu Attributen</a> unterstützt die Nutzung von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Query_expressions">Abfrageausdrücken</a> wie bpsw. <code>~</code> oder <code>!</code>. Je nach genutzter <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Query_engine">Abfragedatenbank</a> werden auch die groß- und kleinschreibungsunabhängige Suche oder auch folgende weitere Abfrageausdrücke unterstützt:</p><ul><li><code>in:</code>: Das Ergebnis soll den angegebenen Begriff enthalten, wie bspw. <code>in:Foo</code></li></ul><ul><li><code>not:</code>: Das Ergebnis soll den angegebenen Begriff nicht enthalten, wie bpsw. <code>not:Bar</code></li></ul>

Unterhalb werden 20 Seiten angezeigt, auf denen für dieses Attribut ein Datenwert gespeichert wurde.

A

A Simplified Tableau Calculus for Standpoint LTL +

Offen +

Navigation Approaches for Answer Sets +

Abgeschlossen +

Implementierung eines labelingbasierten Algorithmus für die cf2 Argumentation Semantik +

Abgeschlossen +

On the Computation of Naive-based Argumentation Semantics +

Abgeschlossen +

B

EnTS - a new Entropy-based Tree-indexing System +

Abgeschlossen +

From Logic Programs to Iterated Function Systems +

Abgeschlossen +

Indirekte Gewichtskorrekturverfahren für Neuronale Netze +

Abgeschlossen +

Untersuchung von Verfahren zur stabilen Online-Adaption von neuronalen Prozesssteuerungen am Beispiel der Short-Stroke-Steuerung beim Walzen von Stahlband +

Abgeschlossen +

Big Data in SAT Solving - Heuristiken von Beweisen lernen +

Nicht mehr verfügbar +

Real-Time Structure from Motion Using Kalman Filtering +

Abgeschlossen +

Towards an Hierarchical Kalman Filter Approach to Robot Localisation and Mapping +

Abgeschlossen +

C

Decidability of Reasoning under the Well-Founded Semantics +

Abgeschlossen +

Proof by Pointing and Selecting +

Abgeschlossen +

Monadic Reasoning with Weak Completion Semantics +

Abgeschlossen +

Monadic Reasoning with Weak Completion Semantics +

Abgeschlossen +

D

First-Order Rule Learning Through a Pulsed Neural Network +

Abgeschlossen +

Grounded Circumscription in Description Logics +

Abgeschlossen +

E

A Resource-Oriented Deductive Approach Towards Hierarchical Planning +

Abgeschlossen +

F

Combining A1 and AC1 Unification +

Abgeschlossen +

Properties of a Logical System in the Calculus of Structures +

Abgeschlossen +

{"type": "PROPERTY_CONSTRAINT_SCHEMA",
-
"constraints": {"type_constraint": "_txt",
-
"allowed_values": ["Offen",
"Vergeben",
"Abgeschlossen",
"Nicht mehr verfügbar"
]
}
}