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, p. 8-31, 24 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• 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 VertraglichkeitResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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 others, 2012, eWork and eBusiness in Architecture, Engineering and Construction - Proceedings of the European Conference on Product and Process Modelling 2012, ECPPM 2012Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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. (eds.). IOS Press, Amsterdam [u. a.], p. 481-490, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Optimierung der Online-ReinigungRostkowski, S., Beckmann, M. & Tanner, N., 2012, Thomé-Kozmiensky, K. J.; Beckmann, M. (Hrsg.): Energie aus Abfall. Neuruppin, Vol. 9. p. 337-344, 8 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Optimierung des VerbundstrangpressensKloppenborg, T., Brosius, A. & Tekkaya, A. E., 2012, p. 8-18Research output: Contribution to conferences > Paper
• Optimisation of Power Connections for More Efficient Power Grids in the MENA RegionDreier, S. & Müller, S., 2012Research output: Contribution to conferences > 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 WebElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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, 148302Electronic (full-text) versionResearch output: Contribution to journal > Research article
• 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, p. 895-901, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution