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: /record/47239

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: /record/48873
DOI: 10.1007/978-3-319-50349-3_4

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: /record/51464

Resonances for the Laplacian: the cases B and  (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: /record/51463

Mathematische Strukturen
J. Hilgert, ed., Mathematische Strukturen, Springer Spektrum, 2016.
LibreCat: /record/51489

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: /record/52803
DOI: 10.1007/s13740-015-0055-y

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: /record/45944
DOI: 10.1093/imanum/drw074

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: /record/45936
DOI: 10.1002/num.22047

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: /record/45939
DOI: 10.1137/15m1040918

Numerical analysis of parabolic problems with dynamic boundary conditions
B. Kovács, C. Lubich, IMA Journal of Numerical Analysis 37 (2016) 1–39.
LibreCat: /record/45937
DOI: 10.1093/imanum/drw015

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: /record/45938

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: /record/53279
DOI: 10.1109/icc.2016.7511453

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: /record/52575

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: /record/48396

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: /record/48417

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: /record/52853

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: /record/250
DOI: 10.1007/978-3-319-22969-0_12

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: /record/25073

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: /record/25074

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: /record/25075