Biblio

Export 673 results:
Sort by: [ Author  (Asc)] Keyword Title Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
N
Neumann, K., "Funktionales Programmieren mit Polygonen", Mitteilungen des Bundesamtes für Kartographie und Geodäsie, no. 22, pp. 125-136, 2002. Abstract  Download: Ne02.pdf (138.38 KB)
Neumann, K., "Formulierung von Integritätsbedingungen in verschiedenen SQL-Dialekten", Proc1 GI-Workshop ``Aktive Datenbanken'', Hamburg, 2.9.94: GI-Datenbankrundbrief 14, pp. 17-21, 1994. Abstract
Neumann, K., "Thematische Karten als Datenbankobjekte", Nachrichten aus dem Karten- und Vermessungswesen, vol. Reihe 1, no. 106, pp. 83-94, 1991. Abstract
Neumann, K., "Auf dem Weg zu korrekten Daten - Ein Kompromiß für Anwender", Nachrichten aus dem Karten- und Vermessungswesen, vol. Reihe 1, no. 118, pp. 77-96, 1998. Abstract
Neumann, K., A. Koschel, and W. Porscha, "Migration von Datenbanken - Eine Fallstudie", Proc1 Wirtschaftsinformatik (WI93), Münster: Physica, Heidelberg, pp. 243-255, 1993. Abstract
Neumann, K., Datenbank-Technik für Anwender, , no. 32: Technische Universität Braunschweig, 1993. Abstract
Neumann, K., M. Grutza, T. Nordmann, F. Schlutow, and C. Wolf, "Metaautomation der Liegenschaftskarte", Mitteilungen des Bundesamtes für Kartographie und Geodäsie, no. 39, pp. 15-29, 2007. Abstract  Download: NGNSW07aga.pdf (565.67 KB)
Neumann, K., Datenbank-Praktikum mit Sybase, , no. 31: Technische Universität Braunschweig, 1993. Abstract
Neumann, K., J. Petri, and C. Wolf, "Erzeugung kartenähnlicher Graphiken: XML-basierte Verdrängung und Platzierung von Punktsignaturen", Mitteilungen des Bundesamtes für Kartographie und Geodäsie, no. 36, pp. 89-98, 2006. Abstract  Download: NPW06.pdf (370.65 KB)
Neumann, K., S. Tauscher, and I. Melching, "Basis und Funktionalitäten eines universitären geographischen Informationssystems", Mitteilungen des Bundesamtes für Kartographie und Geodäsie, vol. 43, pp. 89-96, 2009. Abstract  Download: NTM09.pdf (1009.8 KB)
Neumann, K., and S. Eckstein, "Einführung in die Unified Modeling Language am Beispiel von ATKIS", Mitteilungen des Bundesamtes für Kartographie und Geodäsie, no. 17, pp. 81-88, 2000. Abstract
Nieke, C., and W. - T. Balke, "Monitoring Performance in Large Scale Computing Clouds with Passive Benchmarking", 10th IEEE International Conference on Cloud Computing CLOUD2017, Honolulu, Hawaii, USA, 06/2017. Abstract  Download: 2017_CLOUD_PassiveBenchmark_Nieke_camera_ready.pdf (1.4 MB)
Nieke, C., U. Güntzer, and W. - T. Balke, "TopCrowd – Efficient Crowd-enabled Top-k Retrieval on Incomplete Data", 33rd Int. Conf. on Conceptual Modeling (ER), Atlanta, GA, USA, 10/2014. Abstract  Download: 2014_ER_TopCrowd.pdf (563.87 KB)
Nieke, C., and D. Duellmann, "First results from a combined analysis of CERN computing infrastructure metrics", 22nd International Conference on Computing in High Energy and Nuclear Physics CHEP2016, San Francisco, USA, 10/2016. Abstract
Nieke, C., M. Lassnig, L. Menichetti, E. Motesnitsalis, and D. Duellmann, "Analysis of CERN computing infrastructure and monitoring data", 21st International Conference on Computing in High Energy and Nuclear Physics (CHEP2015), Okinawa, Japan, 02/2016, 2015. Abstract
P
Papapetrou, O., W. Siberski, W. - T. Balke, and W. Nejdl, "DHTs over Peer Clusters for Distributed Information Retrieval", 21st IEEE International Conference on Advanced Information Networking and Applications (AINA), Niagara Falls, Canada, 2007. Abstract  Download: aina07.pdf (348.04 KB)
Pinger, R., "Verifikation globaler Prüfbedingungen in \sc OmTroll Verhaltensdiagrammen", Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme: Bericht 24/00 - I, Universität Münster, pp. 70-77, November, 2000. Abstract
Pinger, R., "Verifikation von Informationssystemen durch Model Checking", 10. Workshop Grundlagen von Datenbanken, Konstanz, June 2-5 1998: Konstanzer Schriften in Mathematik und Informatik Nr. 63, Univ. Konstanz, pp. 99-103, 1998. Abstract
Pinger, R., and H. - D. Ehrich, "Compositional Checking of Communication among Observers", Fundamental Approaches to Software Engineering (FASE), Part of the Joint European Conferences on Theory and Practice of Software (ETAPS 2001), Genova, vol. LNCS 2029: Springer, pp. 32-44, 2001. Abstract  Download: 2001FASE.pdf (171.57 KB)
Pinger, R., "Ein Ansatz zur Verifikation mehrerer Agenten durch Model Checking", 11. Workshop Grundlagen von Datenbanken, Luisenthal, 25.- 28. Mai 1999: Jenaer Schriften zur Mathematik und Informatik, Math/Inf/99/16, Friedrich-Schiller-Universität Jena, pp. 82-86, 1999. Abstract
Pinto, J. M. G., and W. - T. Balke, "Offering Answers for Claim-Based Queries: A New Challenge for Digital Libraries", The 19th International Conference on Asia-Pacific Digital Libraries (ICADL 2017) , Bangkok, Thailand, 2017. Abstract  Download: cbq.pdf (661.53 KB)
Pinto, J. M. G., S. Celik, and W. - T. Balke, "Learning to Rank Claim-Evidence Pairs to Assist Scientific-Based Argumentation", 23rd International Conference on Theory and Practice of Digital Libraries (TPDL), Oslo, Norway, Springer, 09/2019. Abstract
Pinto, J. M. G., and W. - T. Balke, "Demystifying the Semantics of Relevant Objects in Scholarly Collections: A Probabilistic Approach", ACM/IEEE Joint Conference on Digital Libraries (JCDL), Knoxville, TN, USA, 06/2015. Abstract  Download: jcdl_2015_jmgp_wtb.pdf (1.36 MB)
Pinto, J. M. G., and W. - T. Balke, "Scientific Claims Characterization for Claim-Based Analysis in Digital Libraries", 22nd International Conference on Theory and Practice of Digital Libraries, Porto, Portugal, 06/2018. Abstract  Download: camera-ready_29.pdf (636.31 KB)