SciDok - Der Wissenschaftsserver der Universität des Saarlandes Statistik anzeigen

Abonnieren Sie diese Sammlung, um täglich per E-Mail über Neuerscheinungen informiert zu werden.
Ressourcen der Sammlung (Sortiert nach Erscheinungsjahr): 6061 bis 6080 von 21162
ErscheinungsjahrTitelVerfasserInOpenAccess
2022Expressivity of Planning with Horn Description Logic OntologiesBorgwardt, Stefan; Hoffmann, Jörg; Kovtunova, Alisa, u.a.
2022Online Relaxation Refinement for Satisficing Planning: On Partial Delete Relaxation, Complete Hill-Climbing, and Novelty PruningFickert, Maximilian; Hoffmann, Jörg
2022Operator-Potentials in Symbolic Search: From Forward to Bi-directional SearchFišer, Daniel; Torralba, Álvaro; Hoffmann, Jörg
2022Classical Planning with Avoid ConditionsSteinmetz, Marcel; Hoffmann, Jörg; Kovtunova, Alisa, u.a.
2022Merge and Shrink Abstractions for Temporal PlanningBrandao, Martim; Coles, Amanda; Coles, Andrew, u.a.
2022Operator-Potential Heuristics for Symbolic SearchFišer, Daniel; Torralba, Álvaro; Hoffmann, Jörg
2022Debugging a Policy: Automatic Action-Policy Testing in AI PlanningSteinmetz, Marcel; Fišer, Daniel; Eniser, Hasan Ferit, u.a.
2022Evaluating Plan-Property Dependencies: A Web-Based Platform and User StudyEifler, Rebecca; Brandao, Martim; Coles, Amanda, u.a.
2022Pattern Selection Strategies for Pattern Databases in Probabilistic PlanningKlößner, Thorsten; Steinmetz, Marcel; Torralba, Álvaro, u.a.
2022Neural Network Action Policy Verification via Predicate AbstractionVinzent, Marcel; Steinmetz, Marcel; Hoffmann, Jörg
2022Vergleich zweier Fixateur interne Stabilisierungsmethoden von dorsal bei Frakturen von BWK 10 bis LWK 3 : offene versus minimalinvasive InstrumentierungPirpilashvili, Vakhtang
2022Metamorphic relations via relaxations: an approach to obtain oracles for action-policy testingEniser, Hasan Ferit; Gros, Timo P.; Wüstholz, Valentin, u.a.
2022Landmark Heuristics for Lifted Classical PlanningWichlacz, Julia; Höller, Daniel; Hoffmann, Jörg
2022The combined effects of contextual predictability and noise on the acoustic realisation of German syllablesIbrahim, Omnia; Yuen, Ivan; van Os, Marjolein, u.a.
2022Glyph-Based Visual Analysis of Q-Learning Based Action Policy Ensembles on RacetrackGroß, D.; Klauck, M.; Gros, T. P., u.a.
2022Explaining Soft-Goal Conflicts through Constraint RelaxationsEifler, Rebecca; Frank, Jeremy; Hoffmann, Jörg
2022Neural Network Heuristic Functions: Taking Confidence into AccountHeller, Daniel; Ferber, Patrick; Bitterwolf, Julian, u.a.
2021T cell stiffness is enhanced upon formation of immunological synapseJung, Philipp; Zhou, Xiangda; Iden, Sandra, u.a.
2021Chemical composition and biological activities of Valeriana dioscoridis SM. rootsSen-Utsukarci, Burcu; Kessler, Sonja M.; Akbal-Dagistan, Ozlem, u.a.
2021Comparison of different methods for post-therapeutic dosimetry in [177Lu]Lu-PSMA-617 radioligand therapyRosar, Florian; Schön, Niklas; Bohnenberger, Hendrik, u.a.
Ressourcen der Sammlung (Sortiert nach Erscheinungsjahr): 6061 bis 6080 von 21162

Suche einschränken

Volltext