Publications
Below you will find some information about the faculty's publications, which are provided by the research information system. In addition, you will find complete lists of publications on the websites of the respective institutes and chairs.
3178 Entries
2016
-
Intertranslatability of Labeling-based Argumentation Semantics , 1 Sep 2016, Proceedings of the 10th International Conference on Scalable Uncertainty Management (SUM 2016). Schockaert, S. & Senellart, P. (eds.). Springer, Berlin [u. a.], Vol. 9858. p. 155-169, 15 p., (Lecture Notes in Computer Science)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Introducing the Second International Competition on Computational Models of Argumentation , 1 Sep 2016, Proceedings of the First International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2016). Thimm, M., Cerutti, F., Strass, H. & Vallati, M. (eds.). CEUR-WS, Vol. 1672. p. 4-9, 6 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Revisiting Grounded Circumscription in Description Logics , 1 Sep 2016, Web Reasoning and Rule Systems. Ortiz, M. & Schlobach, S. (eds.). Springer, Berlin [u. a.], p. 46-60, 15 p., (LNCS)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/anthology/report
-
Axiomatization of General Concept Inclusions from Streams of Interpretations with Optional Error Tolerance , 30 Aug 2016, Proceedings of the 5th International Workshop "What can FCA do for Artificial Intelligence?" (FCA4AI 2016) co-located with the European Conference on Artificial Intelligence (ECAI 2016), The Hague, The Netherlands. Kuznetsov, S., Napoli, A. & Rudolph, S. (eds.). CEUR-WS.org, Vol. 1703. p. 9-16, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Automatic optimal filament segmentation with sub-pixel accuracy using generalized linear models and B-spline level-sets , 1 Aug 2016, In: Medical image analysis : MedIA ; an international journal of computer vision, visualization and image- guided intervention in medicine. 32, p. 157-172, 16 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
On the Correspondence between Compositional Matrix-Space Models of Language andWeighted Automata , 1 Aug 2016, Proceedings of the ACL Workshop on Statistical Natural Language Processing and Weighted Automata (StatFSM 2016)Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Stage semantics and the SCC-recursive schema for argumentation semantics , 1 Aug 2016, In: Journal of logic and computation. 26, 4, p. 1149-1202, 54 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Analysis and Mapping for Thermal and Energy Efficiency of 3-D Video Processing on 3-D Multicore Processors , Aug 2016, In: IEEE transactions on very large scale integration (VLSI) systems. 24, 8, p. 2745-2758, 14 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
SWAP: Protecting pull-based P2P video streaming systems from inference attacks , 26 Jul 2016, WoWMoM 2016 - 17th International Symposium on a World of Wireless, Mobile and Multimedia Networks. Institute of Electrical and Electronics Engineers Inc., 7523509Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
NextClosures with Constraints , 18 Jul 2016, Proceedings of the 13th International Conference on Concept Lattices and Their Applications (CLA 2016), Moscow, Russia. Huchard, M. & Kuznetsov, S. (eds.). CEUR-WS.org, Vol. 1624. p. 231-243, 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
X: A Comprehensive Analytic Model for Parallel Machines , 18 Jul 2016, Proceedings - 2016 IEEE 30th International Parallel and Distributed Processing Symposium, IPDPS 2016. IEEE, New York [u. a.], p. 242-252, 11 p., 7516020Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Axiomatisation of General Concept Inclusions from Finite Interpretations , 10 Jul 2016, In: Journal of applied non-classical logics. 26, 1, p. 1-46, 46 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Parallel Attribute Exploration , 5 Jul 2016, Graph-Based Representation and Reasoning. Haemmerlé, O., Stapleton, G. & Faron-Zucker, C. (eds.). Springer, Berlin [u. a.], p. 91-106, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Enabling Situation Awareness at Intersections for IVC Congestion Control Mechanisms , 1 Jul 2016, In: IEEE Transactions on Mobile ComputingElectronic (full-text) versionResearch output: Contribution to journal > Research article
-
Expressivity of Datalog Variants - Completing the Picture , 1 Jul 2016, Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI'16). Kambhampati, S. (ed.). AAAI Press, p. 1230-1236, 7 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Web-Mining Defeasible Knowledge from Concessional Statements , 1 Jul 2016, Graph-Based Representation and Reasoning . Haemmerlé, O., Stapleton, G. & Zucker, C. F. (eds.). Springer, Berlin [u. a.], p. 191-203, 13 p., (LNCS)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
An improved DV-Hop localization algorithm based on hop distances correction , Jul 2016, p. 639–647Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Combining Predictable Execution with Full-Featured Commodity Systems , Jul 2016, Proceedings of the OSPERT 2016 Workshop. Toulouse, FranceResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
YouTouch! Low-cost user identification at an interactive display wall , 7 Jun 2016, AVI 2016 - Proceedings of the 2016 International Working Conference on Advanced Visual Interfaces. Buono, P., Lanzilotti, R. & Matera, M. (eds.). Association for Computing Machinery, p. 144-151, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Gaze and feet as additional input modalities for interacting with geospatial interfaces , 2 Jun 2016, XXIII ISPRS Congress, Commission II. Vol. III-2. p. 113-120, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
SFU-driven transparent approximation acceleration on GPUs , 1 Jun 2016, ICS '16: Proceedings of the 2016 International Conference on Supercomputing. Association for Computing Machinery (ACM), New YorkElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Decoupled: Low-Effort Noise-Free Execution on Commodity Systems , Jun 2016, Proceedings of 2016's ROSS Workshop. Kyoto, JapanResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Machine learning approach to generate Pareto front for list-scheduling algorithms , 23 May 2016, SCOPES '16: Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems. Stuijk, S. (ed.).p. 127-134, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Seeing is believing: Quantifying is convincing: Computational image analysis in biology , 21 May 2016, Focus on Bio-Image Informatics. De Vos, W. H., Munck, S. & Timmermans, J. (eds.). Springer Science and Business Media B.V., p. 1-39, 39 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/anthology/report
-
Integrated management of water resources demand and supply in irrigated agriculture from plot to regional scale , 12 May 2016, In: Proceedings of the International Association of Hydrological Sciences. 373, p. 51–55, 5 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article