Automata Techniques for Temporal Answer Set Programming von Hahn, Susana

Volltext

Clingraph: A System for ASP-based Visualization von HAHN, SUSANA, SABUNCU, ORKUNT, SCHAUB, TORSTEN, STOLZMANN, TOBIAS

Volltext

Itinerância, intensificação e condições de trabalho de professores de educação física escolar como condicionante de motivação e bem-estar docente von Hahn, Susana, Silva Junior, Arestides Pereira da, Seibert, Carlos, Lima, Dartel Ferrari de, Both, Jorge, Mazzardo, Oldemar, Sampaio, Adelar Aparecido

Volltext

Automata Techniques for Temporal Answer Set Programming von Hahn, Susana

Volltext

Clingraph: ASP-Based Visualization von Hahn, Susana, Sabuncu, Orkunt, Schaub, Torsten, Stolzmann, Tobias

Volltext

Clingraph: A System for ASP-based Visualization von Hahn, Susana, Sabuncu, Orkunt, Schaub, Torsten, Stolzmann, Tobias

Volltext bestellen

Reasoning about Study Regulations in Answer Set Programming von Hahn, Susana, Martens, Cedric, Nemes, Amade, Otunuya, Henry, Romero, Javier, Schaub, Torsten, Schellhorn, Sebastian

Volltext bestellen

Automata for dynamic answer set solving: Preliminary report von Cabalar, Pedro, Diéguez, Martín, Hahn, Susana, Schaub, Torsten

Volltext bestellen

plingo: A system for probabilistic reasoning in clingo based on lpmln von Hahn, Susana, Janhunen, Tomi, Kaminski, Roland, Romero, Javier, Rühling, Nicolas, Schaub, Torsten

Volltext bestellen

Clingraph: A System for ASP-based Visualization von Hahn, Susana, Sabuncu, Orkunt, Schaub, Torsten, Stolzmann, Tobias

Volltext

plingo: A system for probabilistic reasoning in clingo based on lpmln von Hahn, Susana, Janhunen, Tomi, Kaminski, Roland, Romero, Javier, Rühling, Nicolas, Schaub, Torsten

Volltext

Reasoning about Study Regulations in Answer Set Programming von Hahn, Susana, Martens, Cedric, Nemes, Amade, Otunuya, Henry, Romero, Javier, Schaub, Torsten, Schellhorn, Sebastian

Volltext

Automata for dynamic answer set solving: Preliminary report von Cabalar, Pedro, Diéguez, Martín, Hahn, Susana, Schaub, Torsten

Volltext

Plingo: A System for Probabilistic Reasoning in Clingo Based on LPMLN\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssy... von Hahn, Susana, Janhunen, Tomi, Kaminski, Roland, Romero, Javier, Rühling, Nicolas, Schaub, Torsten

Volltext

Sympatric parallel diversification of major oak clades in the Americas and the origins of Mexican species diversity von Hipp, Andrew L., Manos, Paul S., González‐Rodríguez, Antonio, Hahn, Marlene, Kaproth, Matthew, McVay, John D., Avalos, Susana Valencia, Cavender‐Bares, Jeannine

Volltext

A Twisted Tetragold Cyclophane from a Fused Bis-Imidazolindiylidene von Gutiérrez-Blanco, Ana, Ibáñez, Susana, Hahn, F. Ekkehardt, Poyatos, Macarena, Peris, Eduardo

Volltext

Glycome and Proteome Components of Golgi Membranes Are Common between Two Angiosperms with Distinct Cell-Wall Structures von Okekeogbu, Ikenna O, Pattathil, Sivakumar, González Fernández-Niño, Susana M, Aryal, Uma K, Penning, Bryan W, Lao, Jeemeng, Heazlewood, Joshua L, Hahn, Michael G, McCann, Maureen C, Carpita, Nicholas C

Volltext

Alpha‐synuclein aggregates activate calcium pump SERCA leading to calcium dysregulation von Betzer, Cristine, Lassen, Louise Berkhoudt, Olsen, Anders, Kofoed, Rikke Hahn, Reimer, Lasse, Gregersen, Emil, Zheng, Jin, Calì, Tito, Gai, Wei‐Ping, Chen, Tong, Moeller, Arne, Brini, Marisa, Fu, Yuhong, Halliday, Glenda, Brudek, Tomasz, Aznar, Susana, Pakkenberg, Bente, Andersen, Jens Peter, Jensen, Poul Henning

Volltext

The elaborate route for UDP-arabinose delivery into the Golgi of plants von Rautengarten, Carsten, Birdseye, Devon, Pattathil, Sivakumar, McFarlane, Heather E., Saez-Aguayo, Susana, Orellana, Ariel, Persson, Staffan, Hahn, Michael G., Scheller, Henrik V., Heazlewood, Joshua L., Ebert, Berit

Volltext

Genomic landscape of the global oak phylogeny von Hipp, Andrew L., Manos, Paul S., Hahn, Marlene, Avishai, Michael, Bodénès, Cathérine, Cavender-Bares, Jeannine, Crowl, Andrew A., Deng, Min, Denk, Thomas, Fitz-Gibbon, Sorel, Gailing, Oliver, González-Elizondo, M. Socorro, González-Rodríguez, Antonio, Grimm, Guido W., Jiang, Xiao-Long, Kremer, Antoine, Lesur, Isabelle, McVay, John D., Plomion, Christophe, Rodríguez-Correa, Hernando, Schulze, Ernst-Detlef, Simeone, Marco C., Sork, Victoria L., Valencia-Avalos, Susana

Volltext