Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

9750 Publications


2016 | Conference Paper | LibreCat-ID: 171
Opportunities for deferring application partitioning and accelerator synthesis to runtime (extended abstract)
T. Kenter, G.F. Vaz, H. Riebler, C. Plessl, in: Workshop on Reconfigurable Computing (WRC), 2016.
LibreCat | Files available
 

2016 | Conference Paper | LibreCat-ID: 47588
Lehrerbildung im Mechatronik Studium an der Hochschule Hamm-Lippstadt
G. Jonas-Ahrend, D. Thikomirov, in: T. Vollmer, U. Schwenger, BAG Elektrometall e.V. (Eds.), Digitale Vernetzung der Facharbeit, W. Bertelsmann Verlag GmbH & Co KG, Bielefeld, 2016, pp. 225–235.
LibreCat
 

2016 | Journal Article | LibreCat-ID: 3888
Fabrication and characterization of two-dimensional cubic AlN photonic crystal membranes containing zincblende GaN quantum dots
S. Blumenthal, M. Bürger, A. Hildebrandt, J. Förstner, N. Weber, C. Meier, D. Reuter, D.J. As, Physica Status Solidi (c) 13 (2016) 292–296.
LibreCat | Files available | DOI
 

2016 | Journal Article | LibreCat-ID: 48306
Argumentation Mining in User-Generated Web Discourse
I. Habernal, I. Gurevych, Computational Linguistics 43 (2016) 125–179.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 48308
New Collection Announcement
I. Habernal, M. Sukhareva, F. Raiber, A. Shtok, O. Kurland, H. Ronen, J. Bar-Ilan, I. Gurevych, in: Proceedings of the 39th International ACM SIGIR Conference on Research and Development in Information Retrieval, ACM, 2016.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 48307
Which argument is more convincing? Analyzing and predicting convincingness of Web arguments using bidirectional LSTM
I. Habernal, I. Gurevych, in: Proceedings of the 54th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), Association for Computational Linguistics, 2016.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 47240
SoK: Lessons Learned from Android Security Research for Appified Software Platforms
Y. Acar, M. Backes, S. Bugiel, S. Fahl, P. McDaniel, M. Smith, in: 2016 IEEE Symposium on Security and Privacy (SP), IEEE, 2016.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 46364
MO-ParamILS: A Multi-objective Automatic Algorithm Configuration Framework
A. Blot, H. Hoos, L. Jourdan, M. Marmion, H. Trautmann, in: V. et al. Joaquin (Ed.), LION 2016: Learning and Intelligent Optimization, Springer International Publishing, Cham, 2016, pp. 32–47.
LibreCat | DOI
 

2016 | Book Chapter | LibreCat-ID: 46363
On the Closest Averaged Hausdorff Archive for a Circularly Convex Pareto Front
G. Rudolph, O. Schütze, H. Trautmann, in: G. Squillero, P. Burelli (Eds.), Applications of Evolutionary Computation: 19$^th$ European Conference, EvoApplications 2016, Porto, Portugal, March 30 — April 1, 2016, Proceedings, Part II, Springer International Publishing, Cham, 2016, pp. 42–55.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 46365
Evolving Instances for Maximizing Performance Differences of State-of-The-Art Inexact TSP Solvers
J. Bossek, H. Trautmann, in: P. Festa, M. Sellmann, J. Vanschoren (Eds.), Learning and Intelligent Optimization, Springer International Publishing, Ischia, Italy, 2016, pp. 48–59.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 46366
Understanding Characteristics of Evolved Instances for State-of-the-Art Inexact TSP Solvers with Maximum Performance Difference
J. Bossek, H. Trautmann, in: G. Adorni, S. Cagnoni, M. Gori, M. Maratea (Eds.), AI*IA 2016 Advances in Artificial Intelligence, Springer, Cham, 2016, pp. 3–12.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 46369
Towards Analyzing Multimodality of Multiobjective Landscapes
P. Kerschke, H. Wang, M. Preuss, C. Grimme, A. Deutz, H. Trautmann, M. Emmerich, in: Proceedings of the 14$^th$ International Conference on Parallel Problem Solving from Nature (PPSN XIV), Springer, Edinburgh, Scotland, 2016, pp. 962–972.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 46367
Low-Budget Exploratory Landscape Analysis on Multiple Peaks Models
P. Kerschke, M. Preuss, S. Wessing, H. Trautmann, in: Proceedings of the 18$^th$ Annual Conference on Genetic and Evolutionary Computation, Denver, CO, USA, 2016, pp. 229–236.
LibreCat | DOI
 

2016 | Journal Article | LibreCat-ID: 46371
Optimal averaged Hausdorff archives for bi-objective problems: theoretical and numerical results
G. Rudolph, O. Schütze, C. Grimme, C. Domínguez-Medina, H. Trautmann, Computational Optimization and Applications (Comput. Optim. Appl.) 64 (2016) 589–618.
LibreCat | DOI
 

2016 | Journal Article | LibreCat-ID: 46372
The Hypervolume based Directed Search Method for Multi-Objective Optimization Problems
O. Schütze, H.V. Sosa, H. Trautmann, G. Rudolph, Journal of Heuristics 22 (2016) 273–300.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 46368
The R-Package FLACCO for Exploratory Landscape Analysis with Applications to Multi-Objective Optimization Problems
P. Kerschke, H. Trautmann, in: Proceedings of the IEEE Congress on Evolutionary Computation (CEC), Vancouver, BC, Kanada, 2016.
LibreCat | DOI
 
 

2016 | Conference Paper | LibreCat-ID: 48309
What makes a convincing argument? Empirical analysis and detecting attributes of convincingness in Web argumentation
I. Habernal, I. Gurevych, in: Proceedings of the 2016 Conference on Empirical Methods in Natural          Language Processing, Association for Computational Linguistics, 2016.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 11890 | OA
Investigations into Bluetooth Low Energy Localization Precision Limits
J. Schmalenstroeer, R. Haeb-Umbach, in: 24th European Signal Processing Conference (EUSIPCO 2016), 2016.
LibreCat | Files available | Download (ext.)
 

2016 | Conference Paper | LibreCat-ID: 47241
You Get Where You're Looking for: The Impact of Information Sources on Code Security
Y. Acar, M. Backes, S. Fahl, D. Kim, M.L. Mazurek, C. Stransky, in: 2016 IEEE Symposium on Security and Privacy (SP), IEEE, 2016.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 47239
An Empirical Study of Textual Key-Fingerprint Representations
S. Dechand, D. Schürmann, K. Busse, Y. Acar, S. Fahl, M. Smith, in: T. Holz, S. Savage (Eds.), 25th USENIX Security Symposium, USENIX Security 16, Austin, TX, USA, August 10-12, 2016, USENIX Association, 2016, pp. 193–208.
LibreCat
 

2016 | Conference Paper | LibreCat-ID: 48873
Evolving Instances for Maximizing Performance Differences of State-of-the-Art Inexact TSP Solvers
J. Bossek, H. Trautmann, in: P. Festa, M. Sellmann, J. Vanschoren (Eds.), Learning and Intelligent Optimization, Springer International Publishing, Cham, 2016, pp. 48–59.
LibreCat | DOI
 

2016 | Book Chapter | LibreCat-ID: 51464
Schwierigkeiten beim Übergang von Schule zu Hochschule im zeitlichen Vergleich - Ein Blick auf Defizite beim Erwerb von Schlüsselkompetenzen
J. Hilgert, in: A. Hoppenbrock, et al. (Eds.), Lehren und Lernen von Mathematik in der Studieneingangsphase, Springer Spektrum, 2016.
LibreCat
 

2016 | Book Chapter | LibreCat-ID: 51463
Resonances for the Laplacian: the cases BC2 and C2 (except SO(p,2) with p>2 odd)
J. Hilgert, A. Pasquale, T. Przebinda, in: P. Kielanowski, et al. (Eds.), Geometric Methods in Physics, Birkhäuser, 2016.
LibreCat
 

2016 | Book (Editor) | LibreCat-ID: 51489
Mathematische Strukturen
J. Hilgert, ed., Mathematische Strukturen, Springer Spektrum, 2016.
LibreCat | Download (ext.)
 

2016 | Journal Article | LibreCat-ID: 52803
Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies
S. Borgwardt, T. Mailis, R. Peñaloza, A.-Y. Turhan, Journal on Data Semantics 5 (2016) 55–75.
LibreCat | DOI
 

2016 | Journal Article | LibreCat-ID: 45944
Higher order time discretizations with ALE finite elements for parabolic problems on evolving surfaces
B. Kovács, C.A. Power Guerra, IMA Journal of Numerical Analysis 38 (2016) 460–494.
LibreCat | DOI
 

2016 | Journal Article | LibreCat-ID: 45936
Error analysis for full discretizations of quasilinear parabolic problems on evolving surfaces
B. Kovács, C.A. Power Guerra, Numerical Methods for Partial Differential Equations 32 (2016) 1200–1231.
LibreCat | DOI
 

2016 | Journal Article | LibreCat-ID: 45939
A-Stable Time Discretizations Preserve Maximal Parabolic Regularity
B. Kovács, B. Li, C. Lubich, SIAM Journal on Numerical Analysis 54 (2016) 3600–3624.
LibreCat | DOI
 

2016 | Journal Article | LibreCat-ID: 45937
Numerical analysis of parabolic problems with dynamic boundary conditions
B. Kovács, C. Lubich, IMA Journal of Numerical Analysis 37 (2016) 1–39.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 45938
A Parallel Numerical Solution Approach for Nonlinear Parabolic Systems Arising in Air Pollution Transport Problems
J. Karátson, B. Kovács, in: Mathematical Problems in Meteorological Modelling, 2016, pp. 57–70.
LibreCat
 

2016 | Conference Paper | LibreCat-ID: 53279
Analysis of the downlink saturation throughput of an asymmetric IEEE 802.11n-based WLAN
M. Soleymani, B. Maham, F. Ashtiani, in: 2016 IEEE International Conference on Communications (ICC), IEEE, 2016.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 52575
Ziehen und Beweisen mit DGS - Welche Beweiskraft haben für Studierende die Erkenntnisse, die sie im Zugmodus gewinnen?
G. Werth, in: Institut für Mathematik und Informatik der Pädagogischen Hochschule Heidelberg (Ed.), Beiträge zum Mathematikunterricht, WTM, Münster, 2016.
LibreCat
 

2016 | Book Chapter | LibreCat-ID: 48396
Zusammenhänge zwischen Sprachkompetenz und verstehensorientierter Leistung beim Umgang mit Brüchen
L. Wessel, N. Wilhelm, in: Institut für Mathematik und Informatik Heidelberg (Ed.), Beiträge zum Mathematikunterricht 2016, WTM-Verlag, Münster, 2016, pp. 1059–1062.
LibreCat | Download (ext.)
 

2016 | Conference Paper | LibreCat-ID: 48417
Is grade 7 too late to start with bilingual mathematics courses? An intervention study
L. Wessel, S. Prediger, A. Schüler-Meyer, T. Kuzu, in: TSG 32 at 13th International Congress on Mathematical Education, Hamburg, July 2016, 2016.
LibreCat | Download (ext.)
 

2016 | Dissertation | LibreCat-ID: 52853
Zwischen Katholizismus und Unkirchlichkeit. Pastorale Identitätskonstruktionen in der ostwestfälischen Diaspora am Beispiel des Pfarrers Theodor Holzhausen (1826-1900)
R. Janus, Zwischen Katholizismus und Unkirchlichkeit. Pastorale Identitätskonstruktionen in der ostwestfälischen Diaspora am Beispiel des Pfarrers Theodor Holzhausen (1826-1900), LIT-Verlag, Berlin , 2016.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 250
Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning
M.-C. Jakobs, in: Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM), 2015, pp. 159--174.
LibreCat | Files available | DOI
 

2015 | Conference Paper | LibreCat-ID: 25073
Combining Service-oriented Computing with Embedded Systems - A Robotics Case Study
A. Jungmann, J. Jatzkowski, B. Kleinjohann, in: Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS), Springer-Verlag, 2015.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 25074
Hierarchical Multicore-Scheduling for Virtualization of Dependent Real-Time Systems
J. Jatzkowski, M.E. Kreutz, A. Rettberg, in: Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS), Springer, 2015.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 25075
Evaluation of Autonomous Approaches using Virtual Environments
K. Stahl, J. Stöcklein, S. Li, in: R. Shumaker, S. Lackey (Eds.), Virtual, Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International 2015, Springer International Publishing Switzerland, 2015, pp. 499–512.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 25076
On Adaptivity for Automated Composition of Service Functionality
A. Jungmann, in: Proceedings of the IEEE 11th World Congress on Services (SERVICES), IEEE Computer Society, 2015, pp. 329–332.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 25080
Automated Online Service Composition
F. Mohr, A. Jungmann, H. Kleine Büning, in: Proceedings of the 12th IEEE International Conference on Services Computing (SCC), IEEE Computer Society, 2015, pp. 57–64.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 25082
Towards Hierarchical Scheduling of Dependent Systems with Hypervisor-based Virtualization
J. Jatzkowski, M.E. Kreutz, A. Rettberg, in: Proceedings of Electronic System Level Synthesis Conference (ESLsyn), 2015.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 25083
Self-Reconfiguration of Real-Time Communication within Cyber-Physical Systems
J. Jatzkowski, B. Kleinjohann, in: Mechatronics, Elsevier, 2015.
LibreCat
 

2015 | Mastersthesis | LibreCat-ID: 251
Solving the aggregated bandits problem
K. Pfannschmidt, Solving the Aggregated Bandits Problem, Universität Paderborn, 2015.
LibreCat
 

2015 | Journal Article | LibreCat-ID: 25107
An approach towards adaptive service composition in markets of composed services
A. Jungmann, F. Mohr, Journal of Internet Services and Applications 6(1) (2015) 1–18.
LibreCat
 

2015 | Journal Article | LibreCat-ID: 25108
Online behavior classification for anomaly detection in self-x real-time systems
F.-J. Rammig, K. Stahl, Concurrency and Computation: Practice and Experience (2015).
LibreCat
 

2015 | Journal Article | LibreCat-ID: 25109
Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System
K. Sudhakar, Y. Zhao, F.-J. Rammig, Concurrency and Computation: Practice and Experience (2015).
LibreCat
 

2015 | Journal Article | LibreCat-ID: 25110
A hybrid methodology to detect memory leaks in soft real time embedded systems software
M. tech. M.M. Joy, F.-J. Rammig, Int. J. of Embedded Systems (2015).
LibreCat
 

2015 | Journal Article | LibreCat-ID: 25111
Analysis of long-term swarm performance based on short-term experiments
Y. Khaluf, M. Birattari, F.-J. Rammig, Springer Jounal Soft Computing (2015).
LibreCat
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Export / Embed