Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

Universität Koblenz

Universitätsstraße 1, 56070 Koblenz
  • 0261/287-0
Publikationen
Ergebnisse pro Seite:  10

Boehm, Friederike; Brueckner, Judith; Eichhorn, Danny et al.

Cloud cover but not artificial light pollution affects the morning activity of Wood Pigeons

Ornis Fennica. Bd. 93. H. 4. Helsinki: BirdLife Finland 2016 S. 246 - 252


Meuschke, Monique; Lawonn, Kai; Köhler, Benjamin et al.

Clustering of Aortic Vortex Flow in Cardiac 4D PC- MRI Data

Thomas Tolxdorff; Thomas Martin Deserno; Heinz Handels; Hans-Peter Meinzer (Hrsg). Bildverarbeitung für die Medizin 2016: Algorithmen – Systeme – Anwendungen Proceedings des Workshops vom 13. bis 15. März 2016 in Berlin. Berlin: Springer 2016 S. 182 - 187


Furbach, Ulrich; Schon, Claudia

Commonsense Reasoning meets Theorem Proving

2016 S. 1 - 42


Furbach, Ulrich; Schon, Claudia

Commonsense Reasoning Meets Theorem Proving

Matthias Klusch; Rainer Unland; Onn Shehory; Alexander Pokahr; Sebastian Ahrndt (Hrsg). Multiagent System Technologies: 14th German Conference, MATES 2016, Klagenfurt, Österreich, September 27-30, 2016. Proceedings. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2016 S. 3 - 17


Furbach, Ulrich; Schon, Claudia

Commonsense Reasoning meets Theorem Proving

Federico Chesani;Paola Mello;Michela Milano (Hrsg). Proceedings of the AI*IA Workshop on URANIA 2016 Deep Understanding and Reasoning: A Challenge for Next-generation Intelligent Agents 2016 co-located with 15th International Conference of the Italian Association for Artificial Intelligence AIxIA 2016: Genova, Italy, November 28th, 2016. Aachen: CEUR/RWTH 2016 S. 1 - 12


Jürjens, Jan

Compliance in Clouds

San Murugesan;Irena Bojanova (Hrsg). Encyclopedia of Cloud Computing. Hoboken, NJ: Wiley 2016 S. 275 - 290


Breuker, Dominic; Matzner, Martin; Delfmann, Patrick et al.

Comprehensible Predictive Models for Business Processes

MIS Quarterly. Bd. 40. H. 4. Minneapolis: Management Information Systems Research Center of the University of Minnesota 2016 S. 1009 - 1034


Schulz, Volker; Siebenborn, Martin

Computational Comparison of Surface Metrics for PDE Constrained Shape Optimization

Computational Methods in Applied Mathematics. Bd. 16. H. 3. Berlin: De Gruyter 2016 S. 485 - 496


Beierle, Christoph; Brewka, Gerhard; Thimm, Matthias

Computational Models of Rationality: Essays Dedicated to Gabriele Kern-lsberner on the Occasion of her 60th Birthday

London: College Publications 2016


Weber, Ingmar; Wagner, Claudia; Strohmaier, Markus et al.

Computational Social Science for the World Wide Web (CSSW3)

Jacqueline Bourdeau; Jim A. Hendler; Roger Nkambou Nkambou; Ian Horrocks; Ben Y. Zhao (Hrsg). WWW '16 Companion - Proceedings of the 25th International Conference on World Wide Web: April 11. - 15., 2016; Montréal, Québec, Canada. New York, NY: ACM Association for Computing Machinery 2016 S. 1037 - 1038