2014

• Potenzial der bildgebenden Digitalisierverfahren im MaschinenbauHofmann, D., Sembdner, P., Holtzhausen, S., Schöne, C. & Stelzer, R., 2014, 12. Gemeinsames Kolloquium Konstruktionstechnik. S. 183-192Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• P ≠ P: Why Some Reasoning Problems Are More Tractable Than OthersKrötzsch, M., 2014, Web Reasoning and Rule Systems: 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings. Kontchakov, R. & Mugnier, M. (Hrsg.). Springer, Cham, S. 1-22Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• PPF - A parallel particle filtering libraryDemirel, Ö., Smal, I., Niessen, W. J., Meijering, E. & Sbalzarini, I. F., 2014, IET Conference on Data Fusion and Target Tracking 2014: Algorithms and Applications. 629 CP Aufl., Institution of Engineering and TechnologyElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Predicting Energy Consumption with StreamMine3GMartin, A., Marinho, R., Brito, A. & Fetzer, C., 2014, S. 270-275, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Prediction of Sound Transmission Loss through Elastomeric Bulb SealsAtamer, S., Caliskan, M. & Gözgen, G., 2014Publikation: Beitrag zu Konferenzen > Paper
• Probabilistic Model Checking and Non-standard Multi-objective ReasoningBaier, C., Dubslaff, C., Klüppelholz, S., Daum, M., Klein, J., Märcker, S. & Wunderlich, S., 2014, Fundamental Approaches to Software Engineering: 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings. Gnesi, S. & Rensink, A. (Hrsg.). Springer, Berlin [u. a.], S. 1-16, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Probabilistic Model Checking for Energy Analysis in Software Product LinesDubslaff, C., Klüppelholz, S. & Baier, C., 2014, MODULARITY '14: Proceedings of the 13th international conference on Modularity. Association for Computing Machinery (ACM), New York, S. 169-180, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Probabilistic Model Checking for Energy-Utility AnalysisBaier, C., Dubslaff, C., Klein, J., Klüppelholz, S. & Wunderlich, S., 2014, Horizons of the Mind. A Tribute to Prakash Panangaden: Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday. Breugel, F., Kashefi, E., Palamidessi, C. & Rutten, J. (Hrsg.). Springer, Cham, S. 96-123, 28 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Proceedings of the 1st OMNeT++ Community Summit, Hamburg, Germany, September 2, 2014.Förster, A., Sommer, C., Steinbach, T. & Wählisch, M., 2014, (CoRR)Elektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Konferenz-/Tagungsband
• Proceedings of the 9th Workshop on Models@run.time co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Valencia, Spain, September 30, 2014.Götz, S., Bencomo, N. & France, R. B., 2014Elektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Konferenz-/Tagungsband