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: 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
 

2015 | Conference Paper | LibreCat-ID: 252
SmarterPhones: Anticipatory Download Scheduling for Wireless Video Streaming
M. Dräxler, J. Blobel, P. Dreimann, S. Valentin, H. Karl, in: Proceedings of the 2nd International Conference on Networked Systems (NetSys), 2015, pp. 1--8.
LibreCat | Files available | DOI | Download (ext.)
 

2015 | Conference Paper | LibreCat-ID: 253
Short Group Signatures with Distributed Traceability
J. Blömer, J. Juhnke, N. Löken, in: Proceedings of the Sixth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS), 2015, pp. 166–180.
LibreCat | Files available | DOI
 

2015 | Conference Paper | LibreCat-ID: 19959
On the Tradeoff between Hardware Protection and Optimization Success: A Case Study in Onboard Evolutionary Robotics for Autonomous Parallel Parking
M. Wahby, H. Hamann, in: Applications of Evolutionary Computation (EvoApplications 2015), 2015.
LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 19960
Flora Robotica - Mixed Societies of Symbiotic Robot-Plant Bio-Hybrids
H. Hamann, M. Wahby, T. Schmickl, P. Zahadat, D. Hofstadler, K. Stoy, S. Risi, A. Faina, F. Veenstra, S. Kernbach, I. Kuksin, O. Kernbach, P. Ayres, P. Wojtaszek, in: Proceedings of the 2015 IEEE Symposium on Artificial Life (IEEE ALIFE’15), 2015.
LibreCat | DOI
 

2015 | Journal Article | LibreCat-ID: 19962 LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 19966
Revisiting BEECLUST: Aggregation of Swarm Robots with Adaptiveness to Different Light Settings
M. Wahby, A. Weinhold, H. Hamann, in: Proceedings of the 9th EAI International Conference on Bio-Inspired Information and Communications Technologies (Formerly BIONETICS), 2015.
LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 19967
Evolution of Controllers for Robot-Plant Bio-Hybdrids: A Simple Case Study Using a Model of Plant Growth and Motion
M. Wahby, M. Divband Soorati, S. von Mammen, H. Hamann, in: Proceedings. 25. Computational Intelligence Workshop, 2015.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 19980
The Effect of Fitness Function Design on Performance in Evolutionary Robotics: The Influence of a Priori Knowledge
H. Hamann, M. Divband Soorati, in: Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2015), ACM, 2015, pp. 153–160.
LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 19988
Evolving Collective Behaviors With Diverse But Predictable Sensor States
H. Hamann, T. Schmickl, P. Zahadat, in: 13th European Conference on Artificial Life (ECAL 2015), MIT Press, 2015, p. 174.
LibreCat | DOI
 

2015 | Book Chapter | LibreCat-ID: 19989
Probabilistic Modeling of Swarming Systems
H. Hamann, N. Correll, J. Kacprzyk, W. Pedrycz, in: Springer Handbook of Computational Intelligence, Springer, 2015, pp. 1423–1431.
LibreCat | DOI
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Export / Embed