Publikationen

2015

• Multi-user multi-device interaction with large displays at the point of sale: An application caseVon Zadow, U., Siegel, A. & Dachselt, R., 15 Nov. 2015, Proceedings of the 2015 ACM International Conference on Interactive Tabletops and Surfaces, ITS 2015. Association for Computing Machinery, Inc, S. 343-348, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Analysis of Node Failures in High Performance Computers Based on System LogsGhiasvand, S., Ciorba, F. M., Tschüter, R. & Nagel, W. E., Nov. 2015Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Poster
• Towards collaborative plant control using a distributed information and interaction spacePfeffer, J., Graube, M., Reipschlaeger, P., Arndt, S., Urbas, L., Dachselt, R. & Stelzer, R., 19 Okt. 2015, Proceedings of 2015 IEEE 20th Conference on Emerging Technologies and Factory Automation, ETFA 2015. Institute of Electrical and Electronics Engineers Inc., 7301587Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• NextClosures: Parallel Computation of the Canonical BaseKriegel, F. & Borchmann, D., 13 Okt. 2015, Proceedings of the 12th International Conference on Concept Lattices and their Applications (CLA 2015), Clermont-Ferrand, France. Yahia, S. B. & Konecny, J. (Hrsg.). CEUR-WS.org, Band 1466. S. 182-192, 11 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Probabilistic Implicational Bases in FCA and Probabilistic Bases of GCIs in ℰℒ^⊥Kriegel, F., 13 Okt. 2015, Proceedings of the 12th International Conference on Concept Lattices and their Applications (CLA 2015), Clermont-Ferrand, France. Yahia, S. B. & Konecny, J. (Hrsg.). CEUR-WS.org, Band 1466. S. 193-204, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• An automated technique to generate relocatable partial bitstreams for Xilinx FPGAsOomen, R., Nguyen, T., Kumar, A. & Corporaal, H., 7 Okt. 2015, 2015 25th International Conference on Field Programmable Logic and Applications, FPL 2015. IEEE Xplore, 4 S., 7293980Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• TouchNoise: A new multitouch interface for creative work with noiseBerndt, A., Al-Kassab, N. & Dachselt, R., 7 Okt. 2015, Proceedings of the 10th Audio Mostly - A Conference on Interaction with Sound, AM 2015. Kalliris, G., Dimoulas, C., Kalliris, G. & Dimoulas, C. (Hrsg.). Association for Computing Machinery, a4Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Simulative Ultraschall-Untersuchung von Pitch-Catch-Messanordnungen für große zylindrische Stahl-Prüflinge und gradientenbasierte BildgebungHegler, S., Statz, C., Mütze, M., Mooshofer, H., Goldammer, M., Fendt, K., Schwarzer, S. & 9 weitere, 28 Sept. 2015, in:  Technisches Messen : tm ; Sensoren, Geräte, Systeme. 82, 9, S. 440-450, 11 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Axiomatization of General Concept Inclusions in Probabilistic Description LogicsKriegel, F., 21 Sept. 2015, Proceedings of the 38th German Conference on Artificial Intelligence (KI 2015), Dresden, Germany. Hölldobler, S., Rudolph, S. & Krötzsch, M. (Hrsg.). Springer Verlag, S. 124-136, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Extending Microprocessor Trace Hardware for Fault InjectionGunia, M., Zabel, M. & Spallek, R., 21 Sept. 2015, 8. GMM/ITG/GI-Symposium Reliability by Design (ZuE). 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Learning General Concept Inclusions in Probabilistic Description LogicsKriegel, F., 21 Sept. 2015Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• dyn-PowerCass: Energy efficient distributed store based on dynamic data placement strategyTena, F. L. & Fetzer, C., 1 Sept. 2015, AFRICONElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Exploiting Repeated Structures and Vectorization in ModelicaSchuchart, J., Waurich, V., Flehmig, M., Walther, M., Nagel, W. E. & Gubsch, I., Sept. 2015, Proceeding of the 11th International Modelica Conference. S. 265-272, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Improved Answer-Set Programming Encodings for Abstract ArgumentationGaggl, S. A., Manthey, N., Ronca, A., Wallner, J. P. & Woltran, S., 1 Aug. 2015, To appear in Theory and Practice of Logic Programming (TPLP), Proceedings of ICLP 2015. arXiv:1507.06689Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Transactional IPC in Fiasco.OC - Can we get the multicore case verified for free?Smejkal, T., Lackorzynski, A., Engel, B. & Völp, M., 7 Juli 2015, Proceedings of OSPERT 2015, the 11th Annual Workshop on Operating Systems Platforms for Embedded Real-Time ApplicationsPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• On the Computational Complexity of Naive-based Semantics for Abstract Dialectical FrameworksGaggl, S. A., Rudolph, S. & Straß, H., 1 Juli 2015, Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015). Yang, Q. & Wooldridge, M. (Hrsg.). AAAI Press, S. 2985-2991, 7 S., (AAAI Press)Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Optimizing Query Prices for Data-as-a-ServiceOliveira, A. C., Fetzer, C., Martin, A., Quoc, D. L. & Spohn, M., 1 Juli 2015, IEEE BigData Congress 2015. IEEE Computer Society, Washington , 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• PLIP: fully automated protein-ligand interaction profilerSalentin, S., Schreiber, S., Haupt, V. J., Adasme, M. F. & Schroeder, M., 1 Juli 2015, in: Nucleic Acids Research. 43, W1, S. W443–W447Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Scalable Network Traffic Classification Using Distributed Support Vector MachinesQuoc, D. L., D'Alessandro, V., Park, B., Romano, L. & Fetzer, C., 1 Juli 2015, 8th IEEE International Conference on Cloud Computing (CLOUD'15). IEEE Computer Society, Washington Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• UniCrawl: A Practical Geographically Distributed Web CrawlerQuoc, D. L., Fetzer, C., Fellber, P., Rivière, É., Schiavoni, V. & Sutra, P., 1 Juli 2015, 8th IEEE International Conference on Cloud Computing (CLOUD'15). IEEE Computer Society, Washington Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Adaptive Resource Sharing in MulticoresLampka, K., Flodin, J., Wang, Y. & Lackorzynski, A., Juli 2015, Proceedings of OSPERT 2015, the 11th Annual Workshop on Operating Systems Platforms for Embedded Real-Time ApplicationsPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Extracting ALEQR(Self)-Knowledge Bases from GraphsKriegel, F., 25 Juni 2015, Proceedings of the International Workshop on Social Network Analysis using Formal Concept Analysis (SNAFCA 2015) in conjunction with the 13th International Conference on Formal Concept Analysis (ICFCA 2015), Nerja, Spain. Kuznetsov, S. O., Missaoui, R. & Obiedkov, S. A. (Hrsg.). CEUR-WS.org, Band 1534Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Incremental Learning of TBoxes from Interpretation Sequences with Methods of Formal Concept AnalysisKriegel, F., 7 Juni 2015, Proceedings of the 28th International Workshop on Description Logics (DL 2015), Athens, Greece. Calvanese, D. & Konev, B. (Hrsg.). CEUR-WS.org, Band 1350. S. 452-464, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• A hybrid particle-mesh method for incompressible active polar viscous gelsRamaswamy, R., Bourantas, G., Jülicher, F. & Sbalzarini, I. F., 5 Juni 2015, in: Journal of computational physics. 291, S. 334-361, 28 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Delta-encoding: Practical Encoded ProcessingKuvaiskii, D. & Fetzer, C., 1 Juni 2015, Proceedings of The 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2015). IEEE Computer Society, Washington , 12 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband