2012

• On the complexity of entailment in existential conjunctive first-order logic with atomic negationMugnier, M., Simonet, G. & Thomazo, M., 2012, in: Information and computation. 215, S. 8-31, 24 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• On the correlation of radiation-based emission measurements,Zur Korrelation strahlungsgebundener EmissionsmessungenBuchholz, S., Manicke, A. & Krauthäuser, H., 2012, Elektromagnetische Vertraglichkeit, EMV 2012: Internationale Fachmesse und Kongress fur Elektromagnetische VertraglichkeitPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Ontological specification for the model integration in ICT building energy systemsGuruz, R., Katranuschkov, P., Scherer, R., Kaiser, J., Grunewald, J., Hensel, B., Kabitzsch, K. & 1 weitere, 2012, eWork and eBusiness in Architecture, Engineering and Construction - Proceedings of the European Conference on Product and Process Modelling 2012, ECPPM 2012Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Open Trace Format 2 The Next Generation of Scalable Trace Formats and Support LibrariesEschweiler, D., Wagner, M., Geimer, M., Knuepfer, A., Nagel, W. E. & Wolf, F., 2012, Applications, Tools and Techniques on the Road to Exascale Computing. De Bosschere, K., D'Hollander, E. H., Joubert, G. R., Padua, D., Peters, F. & Sawyer, M. (Hrsg.). IOS Press, Amsterdam [u. a.], S. 481-490, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Optimierung der Online-ReinigungRostkowski, S., Beckmann, M. & Tanner, N., 2012, Thomé-Kozmiensky, K. J.; Beckmann, M. (Hrsg.): Energie aus Abfall. Neuruppin, Band 9. S. 337-344, 8 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Optimierung des VerbundstrangpressensKloppenborg, T., Brosius, A. & Tekkaya, A. E., 2012, S. 8-18Publikation: Beitrag zu Konferenzen > Paper
• Optimisation of Power Connections for More Efficient Power Grids in the MENA RegionDreier, S. & Müller, S., 2012Publikation: Beitrag zu Konferenzen > Paper
• OWL: Yet to arrive on the Web of Data?Glimm, B., Hogan, A., Krötzsch, M. & Polleres, A., 2012, Workshop on Linked Data on the WebElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Packing Spheres Tightly: Influence of mechanical stability on close-packed sphere structuresHeitkam, S., Drenckhan, W. & Fröhlich, J., 2012, in: Physical review letters. 108, 14, 148302Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Performance results of qualitative optical flow processing integrated in fuzzy logic-based behavioral mobile robot controlMai, N. A. & Janschek, K., 2012, SYROCO 2012 Preprints - 10th IFAC Symposium on Robot Control. IFAC Secretariat, S. 895-901, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband