Publications

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, p. 343-348, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Analysis of Node Failures in High Performance Computers Based on System LogsGhiasvand, S., Ciorba, F. M., Tschüter, R. & Nagel, W. E., Nov 2015Electronic (full-text) versionResearch output: Contribution to conferences > 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 Oct 2015, Proceedings of 2015 IEEE 20th Conference on Emerging Technologies and Factory Automation, ETFA 2015. Institute of Electrical and Electronics Engineers Inc., 7301587Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• NextClosures: Parallel Computation of the Canonical BaseKriegel, F. & Borchmann, D., 13 Oct 2015, Proceedings of the 12th International Conference on Concept Lattices and their Applications (CLA 2015), Clermont-Ferrand, France. Yahia, S. B. & Konecny, J. (eds.). CEUR-WS.org, Vol. 1466. p. 182-192, 11 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Probabilistic Implicational Bases in FCA and Probabilistic Bases of GCIs in ℰℒ^⊥Kriegel, F., 13 Oct 2015, Proceedings of the 12th International Conference on Concept Lattices and their Applications (CLA 2015), Clermont-Ferrand, France. Yahia, S. B. & Konecny, J. (eds.). CEUR-WS.org, Vol. 1466. p. 193-204, 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• An automated technique to generate relocatable partial bitstreams for Xilinx FPGAsOomen, R., Nguyen, T., Kumar, A. & Corporaal, H., 7 Oct 2015, 2015 25th International Conference on Field Programmable Logic and Applications, FPL 2015. IEEE Xplore, 4 p., 7293980Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• TouchNoise: A new multitouch interface for creative work with noiseBerndt, A., Al-Kassab, N. & Dachselt, R., 7 Oct 2015, Proceedings of the 10th Audio Mostly - A Conference on Interaction with Sound, AM 2015. Kalliris, G., Dimoulas, C., Kalliris, G. & Dimoulas, C. (eds.). Association for Computing Machinery, a4Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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 others, 28 Sep 2015, In:  Technisches Messen : tm ; Sensoren, Geräte, Systeme. 82, 9, p. 440-450, 11 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Axiomatization of General Concept Inclusions in Probabilistic Description LogicsKriegel, F., 21 Sep 2015, Proceedings of the 38th German Conference on Artificial Intelligence (KI 2015), Dresden, Germany. Hölldobler, S., Rudolph, S. & Krötzsch, M. (eds.). Springer Verlag, p. 124-136, 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Extending Microprocessor Trace Hardware for Fault InjectionGunia, M., Zabel, M. & Spallek, R., 21 Sep 2015, 8. GMM/ITG/GI-Symposium Reliability by Design (ZuE). 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Learning General Concept Inclusions in Probabilistic Description LogicsKriegel, F., 21 Sep 2015Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• dyn-PowerCass: Energy efficient distributed store based on dynamic data placement strategyTena, F. L. & Fetzer, C., 1 Sep 2015, AFRICONElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Exploiting Repeated Structures and Vectorization in ModelicaSchuchart, J., Waurich, V., Flehmig, M., Walther, M., Nagel, W. E. & Gubsch, I., Sep 2015, Proceeding of the 11th International Modelica Conference. p. 265-272, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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.06689Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Transactional IPC in Fiasco.OC - Can we get the multicore case verified for free?Smejkal, T., Lackorzynski, A., Engel, B. & Völp, M., 7 Jul 2015, Proceedings of OSPERT 2015, the 11th Annual Workshop on Operating Systems Platforms for Embedded Real-Time ApplicationsResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• On the Computational Complexity of Naive-based Semantics for Abstract Dialectical FrameworksGaggl, S. A., Rudolph, S. & Straß, H., 1 Jul 2015, Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015). Yang, Q. & Wooldridge, M. (eds.). AAAI Press, p. 2985-2991, 7 p., (AAAI Press)Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Optimizing Query Prices for Data-as-a-ServiceOliveira, A. C., Fetzer, C., Martin, A., Quoc, D. L. & Spohn, M., 1 Jul 2015, IEEE BigData Congress 2015. IEEE Computer Society, Washington , 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• PLIP: fully automated protein-ligand interaction profilerSalentin, S., Schreiber, S., Haupt, V. J., Adasme, M. F. & Schroeder, M., 1 Jul 2015, In: Nucleic Acids Research. 43, W1, p. W443–W447Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Scalable Network Traffic Classification Using Distributed Support Vector MachinesQuoc, D. L., D'Alessandro, V., Park, B., Romano, L. & Fetzer, C., 1 Jul 2015, 8th IEEE International Conference on Cloud Computing (CLOUD'15). IEEE Computer Society, Washington Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• UniCrawl: A Practical Geographically Distributed Web CrawlerQuoc, D. L., Fetzer, C., Fellber, P., Rivière, É., Schiavoni, V. & Sutra, P., 1 Jul 2015, 8th IEEE International Conference on Cloud Computing (CLOUD'15). IEEE Computer Society, Washington Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Adaptive Resource Sharing in MulticoresLampka, K., Flodin, J., Wang, Y. & Lackorzynski, A., Jul 2015, Proceedings of OSPERT 2015, the 11th Annual Workshop on Operating Systems Platforms for Embedded Real-Time ApplicationsResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Extracting ALEQR(Self)-Knowledge Bases from GraphsKriegel, F., 25 Jun 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. (eds.). CEUR-WS.org, Vol. 1534Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Incremental Learning of TBoxes from Interpretation Sequences with Methods of Formal Concept AnalysisKriegel, F., 7 Jun 2015, Proceedings of the 28th International Workshop on Description Logics (DL 2015), Athens, Greece. Calvanese, D. & Konev, B. (eds.). CEUR-WS.org, Vol. 1350. p. 452-464, 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A hybrid particle-mesh method for incompressible active polar viscous gelsRamaswamy, R., Bourantas, G., Jülicher, F. & Sbalzarini, I. F., 5 Jun 2015, In: Journal of computational physics. 291, p. 334-361, 28 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Delta-encoding: Practical Encoded ProcessingKuvaiskii, D. & Fetzer, C., 1 Jun 2015, Proceedings of The 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2015). IEEE Computer Society, Washington , 12 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution