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.
9746 Publications
2019 | Book | LibreCat-ID: 46335
Applications in Statistical Computing — From Music Data Analysis to Industrial Quality Improvement
H. Trautmann, Applications in Statistical Computing — From Music Data Analysis to Industrial Quality Improvement, Springer International Publishing, 2019.
LibreCat
H. Trautmann, Applications in Statistical Computing — From Music Data Analysis to Industrial Quality Improvement, Springer International Publishing, 2019.
2019 | Journal Article | LibreCat-ID: 46346
Automated Algorithm Selection on Continuous Black-Box Problems By Combining Exploratory Landscape Analysis and Machine Learning
P. Kerschke, H. Trautmann, Evolutionary Computation (ECJ) 27 (2019) 99–127.
LibreCat
| DOI
P. Kerschke, H. Trautmann, Evolutionary Computation (ECJ) 27 (2019) 99–127.
2019 | Journal Article | LibreCat-ID: 46347
Search Dynamics on Multimodal Multi-Objective Problems
P. Kerschke, H. Wang, M. Preuss, C. Grimme, A. Deutz, H. Trautmann, M. Emmerich, Evolutionary Computation (ECJ) 27 (2019) 577–609.
LibreCat
| DOI
P. Kerschke, H. Wang, M. Preuss, C. Grimme, A. Deutz, H. Trautmann, M. Emmerich, Evolutionary Computation (ECJ) 27 (2019) 577–609.
2019 | Book Chapter | LibreCat-ID: 48501
Meteorological Data Forecast using RNN
S. Balluff, J. Bendfeld, S. Krauter, in: Deep Learning and Neural Networks, IGI Global, 2019.
LibreCat
| DOI
S. Balluff, J. Bendfeld, S. Krauter, in: Deep Learning and Neural Networks, IGI Global, 2019.
2019 | Conference Paper | LibreCat-ID: 45391
Eye-Tracking-Studie zum Erfassen von Referenzstrukturen in Textaufgaben der Klasse 5
R. Delucchi, P. Neugebauer, J. Dröse, S. Prediger, B. Mertins, in: A. Frank, S. Krauss, K. Binder (Eds.), Beiträge zum Mathematikunterricht 2019 , WTM, Münster, 2019, pp. 1239–1242.
LibreCat
R. Delucchi, P. Neugebauer, J. Dröse, S. Prediger, B. Mertins, in: A. Frank, S. Krauss, K. Binder (Eds.), Beiträge zum Mathematikunterricht 2019 , WTM, Münster, 2019, pp. 1239–1242.
2019 | Journal Article | LibreCat-ID: 16708
The Numerical Computation of Unstable Manifolds for Infinite Dimensional Dynamical Systems by Embedding Techniques
A. Ziessler, M. Dellnitz, R. Gerlach, SIAM Journal on Applied Dynamical Systems 18 (2019) 1265–1292.
LibreCat
| DOI
| Download (ext.)
A. Ziessler, M. Dellnitz, R. Gerlach, SIAM Journal on Applied Dynamical Systems 18 (2019) 1265–1292.
2019 | Conference Paper | LibreCat-ID: 15792 | 
Privacy-preserving Variational Information Feature Extraction for Domestic Activity Monitoring Versus Speaker Identification
A. Nelus, J. Ebbers, R. Haeb-Umbach, R. Martin, in: INTERSPEECH 2019, Graz, Austria, 2019.
LibreCat
| Files available
A. Nelus, J. Ebbers, R. Haeb-Umbach, R. Martin, in: INTERSPEECH 2019, Graz, Austria, 2019.
2019 | Journal Article | LibreCat-ID: 34917
Quaternary quadratic lattices over number fields
M. Kirschmer, G. Nebe, International Journal of Number Theory 15 (2019) 309–325.
LibreCat
| DOI
M. Kirschmer, G. Nebe, International Journal of Number Theory 15 (2019) 309–325.
2019 | Journal Article | LibreCat-ID: 34916
Automorphisms of even unimodular lattices over number fields
M. Kirschmer, Journal of Number Theory 197 (2019) 121–134.
LibreCat
| DOI
M. Kirschmer, Journal of Number Theory 197 (2019) 121–134.
2019 | Conference Paper | LibreCat-ID: 48841
Bi-Objective Orienteering: Towards a Dynamic Multi-objective Evolutionary Algorithm
J. Bossek, C. Grimme, S. Meisel, G. Rudolph, H. Trautmann, in: K. Deb, E. Goodman, C.A. Coello Coello, K. Klamroth, K. Miettinen, S. Mostaghim, P. Reed (Eds.), Evolutionary Multi-Criterion Optimization (EMO), Springer International Publishing, Cham, 2019, pp. 516–528.
LibreCat
| DOI
J. Bossek, C. Grimme, S. Meisel, G. Rudolph, H. Trautmann, in: K. Deb, E. Goodman, C.A. Coello Coello, K. Klamroth, K. Miettinen, S. Mostaghim, P. Reed (Eds.), Evolutionary Multi-Criterion Optimization (EMO), Springer International Publishing, Cham, 2019, pp. 516–528.
2019 | Conference Paper | LibreCat-ID: 48842
Evolving Diverse TSP Instances by Means of Novel and Creative Mutation Operators
J. Bossek, P. Kerschke, A. Neumann, M. Wagner, F. Neumann, H. Trautmann, in: Proceedings of the 15th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, Association for Computing Machinery, New York, NY, USA, 2019, pp. 58–71.
LibreCat
| DOI
J. Bossek, P. Kerschke, A. Neumann, M. Wagner, F. Neumann, H. Trautmann, in: Proceedings of the 15th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, Association for Computing Machinery, New York, NY, USA, 2019, pp. 58–71.
2019 | Conference Paper | LibreCat-ID: 48843
Runtime Analysis of Randomized Search Heuristics for Dynamic Graph Coloring
J. Bossek, F. Neumann, P. Peng, D. Sudholt, in: Proceedings of the Genetic and Evolutionary Computation Conference, Association for Computing Machinery, New York, NY, USA, 2019, pp. 1443–1451.
LibreCat
| DOI
J. Bossek, F. Neumann, P. Peng, D. Sudholt, in: Proceedings of the Genetic and Evolutionary Computation Conference, Association for Computing Machinery, New York, NY, USA, 2019, pp. 1443–1451.
2019 | Conference Paper | LibreCat-ID: 48840
On the Benefits of Biased Edge-Exchange Mutation for the Multi-Criteria Spanning Tree Problem
J. Bossek, C. Grimme, F. Neumann, in: Proceedings of the Genetic and Evolutionary Computation Conference, Association for Computing Machinery, New York, NY, USA, 2019, pp. 516–523.
LibreCat
| DOI
J. Bossek, C. Grimme, F. Neumann, in: Proceedings of the Genetic and Evolutionary Computation Conference, Association for Computing Machinery, New York, NY, USA, 2019, pp. 516–523.
2019 | Conference Paper | LibreCat-ID: 48858
Solving Scalarized Subproblems within Evolutionary Algorithms for Multi-criteria Shortest Path Problems
J. Bossek, C. Grimme, in: R. Battiti, M. Brunato, I. Kotsireas, P.M. Pardalos (Eds.), Learning and Intelligent Optimization, Springer International Publishing, Cham, 2019, pp. 184–198.
LibreCat
| DOI
J. Bossek, C. Grimme, in: R. Battiti, M. Brunato, I. Kotsireas, P.M. Pardalos (Eds.), Learning and Intelligent Optimization, Springer International Publishing, Cham, 2019, pp. 184–198.
2019 | Conference Paper | LibreCat-ID: 48870
Time Complexity Analysis of RLS and (1 + 1) EA for the Edge Coloring Problem
J. Bossek, D. Sudholt, in: Proceedings of the 15th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, Association for Computing Machinery, New York, NY, USA, 2019, pp. 102–115.
LibreCat
| DOI
J. Bossek, D. Sudholt, in: Proceedings of the 15th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, Association for Computing Machinery, New York, NY, USA, 2019, pp. 102–115.
2019 | Conference Paper | LibreCat-ID: 48875
Multi-Objective Performance Measurement: Alternatives to PAR10 and Expected Running Time
J. Bossek, H. Trautmann, in: R. Battiti, M. Brunato, I. Kotsireas, P.M. Pardalos (Eds.), Learning and Intelligent Optimization, Springer International Publishing, Cham, 2019, pp. 215–219.
LibreCat
| DOI
J. Bossek, H. Trautmann, in: R. Battiti, M. Brunato, I. Kotsireas, P.M. Pardalos (Eds.), Learning and Intelligent Optimization, Springer International Publishing, Cham, 2019, pp. 215–219.
2019 | Journal Article | LibreCat-ID: 48877
OpenML: An R Package to Connect to the Machine Learning Platform OpenML
G. Casalicchio, J. Bossek, M. Lang, D. Kirchhoff, P. Kerschke, B. Hofner, H. Seibold, J. Vanschoren, B. Bischl, Computational Statistics 34 (2019) 977–991.
LibreCat
| DOI
G. Casalicchio, J. Bossek, M. Lang, D. Kirchhoff, P. Kerschke, B. Hofner, H. Seibold, J. Vanschoren, B. Bischl, Computational Statistics 34 (2019) 977–991.
2019 | Mastersthesis | LibreCat-ID: 31302
Numerically Investigating Residues of Weighted Zeta Functions on Schottky Surfaces
P. Schütte, Numerically Investigating Residues of Weighted Zeta Functions on Schottky Surfaces, 2019.
LibreCat
P. Schütte, Numerically Investigating Residues of Weighted Zeta Functions on Schottky Surfaces, 2019.
2019 | Journal Article | LibreCat-ID: 51387
Resonances and Scattering Poles in Symmetric Spaces of Rank One
J. Hilgert, A. Parthasarathy, S. Hansen, Inter. Math. Research Notices 20 (2019) 6362–6389.
LibreCat
J. Hilgert, A. Parthasarathy, S. Hansen, Inter. Math. Research Notices 20 (2019) 6362–6389.
2019 | Preprint | LibreCat-ID: 51522
Strongly symmetric spectral convex bodies are Jordan algebra state spaces
J. Hilgert, H. Barnum, (2019).
LibreCat
| Download (ext.)
J. Hilgert, H. Barnum, (2019).
2019 | Book Review | LibreCat-ID: 51568
Lizhen Ji und Athanase Papadopoulos (Hrsg.): Sophus Lie and Felix Klein: The Erlangen Program and Its Impact in Mathematics and Physics. European Mathematical Society 2015
J. Hilgert, Mathematische Semesterberichte 66 (2019) 247–249.
LibreCat
| DOI
J. Hilgert, Mathematische Semesterberichte 66 (2019) 247–249.
2019 | Book Review | LibreCat-ID: 51566
Brian W. Kernighan: Millions billions zillions – defending yourself in a world of too many numbers. Princeton University Press 2018
J. Hilgert, Mathematische Semesterberichte 66 (2019) 261–262.
LibreCat
| DOI
J. Hilgert, Mathematische Semesterberichte 66 (2019) 261–262.
2019 | Book Review | LibreCat-ID: 51567
Joseph Honerkamp: Denken in Strukturen und seine Geschichte – Von der Kraft des mathematischen Beweises (Springer 2018)
J. Hilgert, Mathematische Semesterberichte 66 (2019) 257–258.
LibreCat
| DOI
J. Hilgert, Mathematische Semesterberichte 66 (2019) 257–258.
2019 | Book Review | LibreCat-ID: 51569
Øystein Linnebo: Philosophy of Mathematics (Princeton University Press 2017)
J. Hilgert, Mathematische Semesterberichte 66 (2019) 127–129.
LibreCat
| DOI
J. Hilgert, Mathematische Semesterberichte 66 (2019) 127–129.
2019 | Book Review | LibreCat-ID: 51565
Jost-Hinrich Eschenburg: Sternstunden der Mathematik. Springer 2017
J. Hilgert, Mathematische Semesterberichte 66 (2019) 263–264.
LibreCat
| DOI
J. Hilgert, Mathematische Semesterberichte 66 (2019) 263–264.
2019 | Mastersthesis | LibreCat-ID: 52478
Multithreaded Software/Hardware Programming with ReconOS/freeRTOS on a Reconfigurable System-on-Chip
J.D. Mehta, Multithreaded Software/Hardware Programming with ReconOS/FreeRTOS on a Reconfigurable System-on-Chip, 2019.
LibreCat
J.D. Mehta, Multithreaded Software/Hardware Programming with ReconOS/FreeRTOS on a Reconfigurable System-on-Chip, 2019.
2019 | Journal Article | LibreCat-ID: 15250
Numerical Investigation of the Temperature Distribution in PCM-integrated Solar Modules
M. Grabo, D. Weber, A. Paul, T. Klaus, W. Bermpohl, S. Krauter, E. Kenig, Chemical Engineering Transactions (2019) 895–900.
LibreCat
| DOI
M. Grabo, D. Weber, A. Paul, T. Klaus, W. Bermpohl, S. Krauter, E. Kenig, Chemical Engineering Transactions (2019) 895–900.
2019 | Journal Article | LibreCat-ID: 45948
A convergent evolving finite element algorithm for mean curvature flow of closed surfaces
B. Kovács, B. Li, C. Lubich, Numerische Mathematik 143 (2019) 797–853.
LibreCat
| DOI
B. Kovács, B. Li, C. Lubich, Numerische Mathematik 143 (2019) 797–853.
2019 | Journal Article | LibreCat-ID: 53274
Ergodic Rate for Fading Interference Channels with Proper and Improper Gaussian Signaling
M. Soleymani, I. Santamaria, C. Lameiro, P.J. Schreier, Entropy 21 (2019).
LibreCat
| DOI
M. Soleymani, I. Santamaria, C. Lameiro, P.J. Schreier, Entropy 21 (2019).
2019 | Journal Article | LibreCat-ID: 53276
Robust Improper Signaling for Two-User SISO Interference Channels
M. Soleymani, C. Lameiro, I. Santamaria, P.J. Schreier, IEEE Transactions on Communications 67 (2019) 4709–4723.
LibreCat
| DOI
M. Soleymani, C. Lameiro, I. Santamaria, P.J. Schreier, IEEE Transactions on Communications 67 (2019) 4709–4723.
2019 | Conference Paper | LibreCat-ID: 53275
Energy-efficient Design for Underlay Cognitive Radio Using Improper Signaling
M. Soleymani, C. Lameiro, P.J. Schreier, I. Santamaria, in: ICASSP 2019 - 2019 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), IEEE, 2019.
LibreCat
| DOI
M. Soleymani, C. Lameiro, P.J. Schreier, I. Santamaria, in: ICASSP 2019 - 2019 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), IEEE, 2019.
2019 | Conference Paper | LibreCat-ID: 53272
Rate Analysis of SC-FDE and OFDM Systems with Low Resolution ADCs
M. Soleymani, B. Maham, in: 2019 IEEE 30th Annual International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC), IEEE, 2019.
LibreCat
| DOI
M. Soleymani, B. Maham, in: 2019 IEEE 30th Annual International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC), IEEE, 2019.
2019 | Conference Paper | LibreCat-ID: 53273
Energy-Efficient Improper Signaling for K-User Interference Channels
M. Soleymani, C. Lameiro, I. Santamaria, P.J. Schreier, in: 2019 27th European Signal Processing Conference (EUSIPCO), IEEE, 2019.
LibreCat
| DOI
M. Soleymani, C. Lameiro, I. Santamaria, P.J. Schreier, in: 2019 27th European Signal Processing Conference (EUSIPCO), IEEE, 2019.
2019 | Journal Article | LibreCat-ID: 53271
Improper Signaling for SISO Two-User Interference Channels With Additive Asymmetric Hardware Distortion
M. Soleymani, C. Lameiro, I. Santamaria, P.J. Schreier, IEEE Transactions on Communications 67 (2019) 8624–8638.
LibreCat
| DOI
M. Soleymani, C. Lameiro, I. Santamaria, P.J. Schreier, IEEE Transactions on Communications 67 (2019) 8624–8638.
2019 | Conference Paper | LibreCat-ID: 52510
Mathilde Vaerting. Deutschlands erste Mathematikdidaktikderin
G. Werth, in: A. Frank, S. Krauss, K. Binder (Eds.), Beiträge zum Mathematikunterricht, WTM, Münster, 2019.
LibreCat
G. Werth, in: A. Frank, S. Krauss, K. Binder (Eds.), Beiträge zum Mathematikunterricht, WTM, Münster, 2019.
2019 | Journal Article | LibreCat-ID: 53416
Quantum-Classical Correspondence on Associated Vector Bundles Over Locally Symmetric Spaces
B. Küster, T. Weich, International Mathematics Research Notices 2021 (2019) 8225–8296.
LibreCat
| DOI
B. Küster, T. Weich, International Mathematics Research Notices 2021 (2019) 8225–8296.
2019 | Journal Article | LibreCat-ID: 33598
„...weil man Fermi-Aufgaben so rechnet“. Modelltexte als sprachliche Ressource für das Erklären von Lösungswegen bei Fermi-Aufgaben
S. Rezat, S. Rezat, In: Mathematik differenziert 3/2019 (2019) 30–37.
LibreCat
S. Rezat, S. Rezat, In: Mathematik differenziert 3/2019 (2019) 30–37.
2019 | Book Chapter | LibreCat-ID: 44684
An Introduction to Grounded Theory with a Special Focus on Axial Coding and the Coding Paradigm
M. Vollstedt, S. Rezat, in: G. Kaiser, N. Presmeg (Eds.), Compendium for Early Career Researchers in Mathematics Education, Springer International Publishing, Cham, 2019.
LibreCat
| DOI
M. Vollstedt, S. Rezat, in: G. Kaiser, N. Presmeg (Eds.), Compendium for Early Career Researchers in Mathematics Education, Springer International Publishing, Cham, 2019.
2019 | Journal Article | LibreCat-ID: 46156
Vocabulary in learning processes towards conceptual understanding of equivalent fractions—specifying students’ language demands on the basis of lexical trace analyses
L. Wessel, Mathematics Education Research Journal 32 (2019) 653–681.
LibreCat
| DOI
L. Wessel, Mathematics Education Research Journal 32 (2019) 653–681.
2019 | Book Chapter | LibreCat-ID: 48320
3.5 Kompetenzorientierte Didaktik der Analysis durch Orientierung an real-life tasks–Ein Beispiel für ein Lehrdesign nach dem 4C/ID-Modell
T. Leuders, L. Wessel, in: J. Kreutz, T. Leuders, T. Hellmann (Eds.), Professionsorientierung in der Lehrerbildung: Kompetenzorientiertes Lehren nach dem 4-Component-Instructional-Design-Modell, Springer, Wiesbaden, 2019, pp. 117–134.
LibreCat
T. Leuders, L. Wessel, in: J. Kreutz, T. Leuders, T. Hellmann (Eds.), Professionsorientierung in der Lehrerbildung: Kompetenzorientiertes Lehren nach dem 4-Component-Instructional-Design-Modell, Springer, Wiesbaden, 2019, pp. 117–134.
2019 | Book (Editor) | LibreCat-ID: 48376
Hanse-Kolloquium zur Hochschuldidaktik der Mathematik 2018
M. Klinger, A. Schüler-Meyer, L. Wessel, eds., Hanse-Kolloquium zur Hochschuldidaktik der Mathematik 2018, WTM-Verlag, Münster, 2019.
LibreCat
| DOI
M. Klinger, A. Schüler-Meyer, L. Wessel, eds., Hanse-Kolloquium zur Hochschuldidaktik der Mathematik 2018, WTM-Verlag, Münster, 2019.
2019 | Conference Paper | LibreCat-ID: 48409
How theories of language-responsive mathematics can inform teaching designs for vocational mathematics
L. Wessel, in: U.T. Jankvist, M. van den Heuvel-Panhuizen, M. Veldhuis (Eds.), Eleventh Congress of the European Society for Research in Mathematics Education (CERME11), Freudenthal Group, Utrecht, Netherlands, 2019.
LibreCat
| Download (ext.)
L. Wessel, in: U.T. Jankvist, M. van den Heuvel-Panhuizen, M. Veldhuis (Eds.), Eleventh Congress of the European Society for Research in Mathematics Education (CERME11), Freudenthal Group, Utrecht, Netherlands, 2019.
2019 | Journal Article | LibreCat-ID: 48324
Language diversity and mathematics education: new developments
R. Barwell, L. Wessel, A. Parra, Research in Mathematics Education 21 (2019) 113–118.
LibreCat
| DOI
R. Barwell, L. Wessel, A. Parra, Research in Mathematics Education 21 (2019) 113–118.
2019 | Book (Editor) | LibreCat-ID: 48554
Mathematics education in a multilingual and multicultural environment. Post-Publikation der Topic Study Group 31 Beiträge der ICME-Konferenz 2016 in Hamburg.
R. Barwell, L. Wessel, A. Parra, eds., Mathematics Education in a Multilingual and Multicultural Environment. Post-Publikation Der Topic Study Group 31 Beiträge Der ICME-Konferenz 2016 in Hamburg., 2019.
LibreCat
R. Barwell, L. Wessel, A. Parra, eds., Mathematics Education in a Multilingual and Multicultural Environment. Post-Publikation Der Topic Study Group 31 Beiträge Der ICME-Konferenz 2016 in Hamburg., 2019.
2019 | Book (Editor) | LibreCat-ID: 53596
Proceedings of the 2nd International Workshop on Embedded Software for Industrial IoT - ESIIT
O. Bringmann, W. Ecker, W. Müller, D. Müller-Gridschneder, eds., Proceedings of the 2nd International Workshop on Embedded Software for Industrial IoT - ESIIT, Florence, Italy, 2019.
LibreCat
O. Bringmann, W. Ecker, W. Müller, D. Müller-Gridschneder, eds., Proceedings of the 2nd International Workshop on Embedded Software for Industrial IoT - ESIIT, Florence, Italy, 2019.
2019 | Book Chapter | LibreCat-ID: 16966
Features of innovative lectures that distinguish them from traditional lectures and their evaluation by attending students
C. Kuklinski, M. Liebendörfer, R. Hochmuth, R. Biehler, N. Schaper, E. Lankeit, E. Leis, M. Schürmann, in: Proceedings of {CERME} 11, Utrecht, 2019.
LibreCat
C. Kuklinski, M. Liebendörfer, R. Hochmuth, R. Biehler, N. Schaper, E. Lankeit, E. Leis, M. Schürmann, in: Proceedings of {CERME} 11, Utrecht, 2019.
2018 | Conference Paper | LibreCat-ID: 2474
MARVELO: Wireless Virtual Network Embedding for Overlay Graphs with Loops
H. Afifi, S. Auroux, H. Karl, in: Proc. of IEEE Wireless Communications and Networking Conference (WCNC), 2018.
LibreCat
| Files available
H. Afifi, S. Auroux, H. Karl, in: Proc. of IEEE Wireless Communications and Networking Conference (WCNC), 2018.
2018 | Conference Paper | LibreCat-ID: 2476
Modelling Time-Limited Capacity of a Wireless Channel as aMarkov Reward Process
B. Shiferaw Heyi, H. Karl, in: Proc. of IEEE Wireless Communications and Networking Conference (WCNC), 2018.
LibreCat
| Files available
B. Shiferaw Heyi, H. Karl, in: Proc. of IEEE Wireless Communications and Networking Conference (WCNC), 2018.
2018 | Conference Paper | LibreCat-ID: 2479 |
(WIP) Towards the Automated Composition of Machine Learning Services
F. Mohr, M.D. Wever, E. Hüllermeier, A. Faez, in: SCC, IEEE, San Francisco, CA, USA, 2018.
LibreCat
| Files available
| DOI
| Download (ext.)
F. Mohr, M.D. Wever, E. Hüllermeier, A. Faez, in: SCC, IEEE, San Francisco, CA, USA, 2018.
2018 | Conference Paper | LibreCat-ID: 2480 |
Generating Resource and Performance Models for Service Function Chains: The Video Streaming Case
S. Dräxler, M. Peuster, M. Illian, H. Karl, in: 4th IEEE International Conference on Network Softwarization (NetSoft 2018), IEEE, 2018, pp. 318--322.
LibreCat
| Files available
| DOI
S. Dräxler, M. Peuster, M. Illian, H. Karl, in: 4th IEEE International Conference on Network Softwarization (NetSoft 2018), IEEE, 2018, pp. 318--322.
2018 | Conference Paper | LibreCat-ID: 2481 |
Scaling and Placing Bidirectional Services with Stateful Virtual and Physical Network Functions
S. Dräxler, S.B. Schneider, H. Karl, in: 4th IEEE International Conference on Network Softwarization (NetSoft 2018), IEEE, 2018, pp. 123--131.
LibreCat
| Files available
S. Dräxler, S.B. Schneider, H. Karl, in: 4th IEEE International Conference on Network Softwarization (NetSoft 2018), IEEE, 2018, pp. 123--131.
2018 | Report | LibreCat-ID: 2483 |
Towards Predicting Resource Demands and Performance of Distributed Cloud Services
S. Dräxler, M. Peuster, M. Illian, H. Karl, Towards Predicting Resource Demands and Performance of Distributed Cloud Services, Wien, Darmstadt, 2018.
LibreCat
| Files available
| Download (ext.)
S. Dräxler, M. Peuster, M. Illian, H. Karl, Towards Predicting Resource Demands and Performance of Distributed Cloud Services, Wien, Darmstadt, 2018.
2018 | Conference Paper | LibreCat-ID: 2484
Fully-Dynamic Bin Packing with Little Repacking
B. Feldkord, M. Feldotto, A. Gupta, G. Guruganesh, A. Kumar, S. Riechers, D. Wajc, in: I. Chatzigiannakis, C. Kaklamanis, D. Marx, D. Sannella (Eds.), 45th International Colloquium on Automata, Languages, and Programming (ICALP 2018), Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 2018, pp. 51:1-51:24.
LibreCat
| Files available
| DOI
| arXiv
B. Feldkord, M. Feldotto, A. Gupta, G. Guruganesh, A. Kumar, S. Riechers, D. Wajc, in: I. Chatzigiannakis, C. Kaklamanis, D. Marx, D. Sannella (Eds.), 45th International Colloquium on Automata, Languages, and Programming (ICALP 2018), Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 2018, pp. 51:1-51:24.
2018 | Conference Paper | LibreCat-ID: 2485
Online Facility Location with Mobile Facilities
B. Feldkord, F. Meyer auf der Heide, in: Proceedings of the 30th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), ACM, 2018, pp. 373–381.
LibreCat
| Files available
| DOI
B. Feldkord, F. Meyer auf der Heide, in: Proceedings of the 30th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), ACM, 2018, pp. 373–381.
2018 | Bachelorsthesis | LibreCat-ID: 25121
Influence of Stationary Robots on Continuous Robot Formation Problems
D.J. Liedtke, Influence of Stationary Robots on Continuous Robot Formation Problems, 2018.
LibreCat
| Files available
D.J. Liedtke, Influence of Stationary Robots on Continuous Robot Formation Problems, 2018.
2018 | Preprint | LibreCat-ID: 19524
Deep Architectures for Learning Context-dependent Ranking Functions
K. Pfannschmidt, P. Gupta, E. Hüllermeier, ArXiv:1803.05796 (2018).
LibreCat
K. Pfannschmidt, P. Gupta, E. Hüllermeier, ArXiv:1803.05796 (2018).
2018 | Journal Article | LibreCat-ID: 19935
Bifurcation of solutions to Hamiltonian boundary value problems
R.I. McLachlan, C. Offen, Nonlinearity (2018) 2895–2927.
LibreCat
| DOI
| Download (ext.)
R.I. McLachlan, C. Offen, Nonlinearity (2018) 2895–2927.
2018 | Journal Article | LibreCat-ID: 19937
Symplectic integration of boundary value problems
R.I. McLachlan, C. Offen, Numerical Algorithms (2018) 1219–1233.
LibreCat
| DOI
| Download (ext.)
R.I. McLachlan, C. Offen, Numerical Algorithms (2018) 1219–1233.
2018 | Preprint | LibreCat-ID: 19978
Online Connected Dominating Set Leasing
C. Markarian, ArXiv:1805.02994 (2018).
LibreCat
C. Markarian, ArXiv:1805.02994 (2018).
2018 | Journal Article | LibreCat-ID: 20
Using Approximate Computing for the Calculation of Inverse Matrix p-th Roots
M. Lass, T. Kühne, C. Plessl, Embedded Systems Letters 10 (2018) 33–36.
LibreCat
| DOI
| arXiv
M. Lass, T. Kühne, C. Plessl, Embedded Systems Letters 10 (2018) 33–36.
2018 | Conference Paper | LibreCat-ID: 20188
The Argument Reasoning Comprehension Task: Identification and Reconstruction of Implicit Warrants
I. Habernal, H. Wachsmuth, I. Gurevych, B. Stein, in: Proceedings of the 16th Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, 2018, pp. 1930–1940.
LibreCat
I. Habernal, H. Wachsmuth, I. Gurevych, B. Stein, in: Proceedings of the 16th Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, 2018, pp. 1930–1940.
2018 | Conference Paper | LibreCat-ID: 2831
Disaggregating User Evaluations Using the Shapley Value
M. Feldotto, C.-J. Haake, A. Skopalik, N. Stroh-Maraun, in: Proceedings of the 13th Workshop on Economics of Networks, Systems and Computation (NetEcon 2018), 2018, pp. 5:1-5:6.
LibreCat
| Files available
| DOI
M. Feldotto, C.-J. Haake, A. Skopalik, N. Stroh-Maraun, in: Proceedings of the 13th Workshop on Economics of Networks, Systems and Computation (NetEcon 2018), 2018, pp. 5:1-5:6.
2018 | Journal Article | LibreCat-ID: 2848
Towards Flexible Demands in Online Leasing Problems.
S. Li, C. Markarian, F. Meyer auf der Heide, Algorithmica 80 (2018) 1556–1574.
LibreCat
| Files available
| DOI
S. Li, C. Markarian, F. Meyer auf der Heide, Algorithmica 80 (2018) 1556–1574.
2018 | Journal Article | LibreCat-ID: 2849
Approximation and Heuristic Algorithms for Computing Backbones in Asymmetric Ad-hoc Networks
F.N. Abu-Khzam, C. Markarian, F. Meyer auf der Heide, M. Schubert, Theory of Computing Systems (2018).
LibreCat
| Files available
| DOI
F.N. Abu-Khzam, C. Markarian, F. Meyer auf der Heide, M. Schubert, Theory of Computing Systems (2018).
2018 | Conference Paper | LibreCat-ID: 2850
Pick, Pack, & Survive: Charging Robots in a Modern Warehouse based on Online Connected Dominating Sets
H. Hamann, C. Markarian, F. Meyer auf der Heide, M. Wahby, in: Ninth International Conference on Fun with Algorithms (FUN), 2018.
LibreCat
| Files available
| DOI
H. Hamann, C. Markarian, F. Meyer auf der Heide, M. Wahby, in: Ninth International Conference on Fun with Algorithms (FUN), 2018.
2018 | Conference Paper | LibreCat-ID: 2857 |
Programmatic Task Network Planning
F. Mohr, T. Lettmann, E. Hüllermeier, M.D. Wever, in: Proceedings of the 1st ICAPS Workshop on Hierarchical Planning, AAAI, 2018, pp. 31–39.
LibreCat
| Files available
| Download (ext.)
F. Mohr, T. Lettmann, E. Hüllermeier, M.D. Wever, in: Proceedings of the 1st ICAPS Workshop on Hierarchical Planning, AAAI, 2018, pp. 31–39.
2018 | Conference Paper | LibreCat-ID: 2862 |
Practical, Anonymous, and Publicly Linkable Universally-Composable Reputation Systems
J. Blömer, F. Eidens, J. Juhnke, in: Topics in Cryptology - {CT-RSA} 2018 - The Cryptographers’ Track at the {RSA} Conference 2018, Proceedings, Springer International Publishing, Cham, 2018, pp. 470–490.
LibreCat
| Files available
| DOI
| Download (ext.)
J. Blömer, F. Eidens, J. Juhnke, in: Topics in Cryptology - {CT-RSA} 2018 - The Cryptographers’ Track at the {RSA} Conference 2018, Proceedings, Springer International Publishing, Cham, 2018, pp. 470–490.
2018 | Journal Article | LibreCat-ID: 24150
Stability of stochastic approximations with “controlled markov” noise and temporal difference learning
A. Ramaswamy, S. Bhatnagar, IEEE Transactions on Automatic Control 64 (2018) 2614–2620.
LibreCat
A. Ramaswamy, S. Bhatnagar, IEEE Transactions on Automatic Control 64 (2018) 2614–2620.
2018 | Journal Article | LibreCat-ID: 24151
Deepcas: A deep reinforcement learning algorithm for control-aware scheduling
B. Demirel, A. Ramaswamy, D.E. Quevedo, H. Karl, IEEE Control Systems Letters 2 (2018) 737–742.
LibreCat
B. Demirel, A. Ramaswamy, D.E. Quevedo, H. Karl, IEEE Control Systems Letters 2 (2018) 737–742.
2018 | Conference Paper | LibreCat-ID: 24185
First Performance Insights on Our Noval OFDM-based Vehicular VLC Prototype
J. Koepe, C. Kaltschmidt, M. Illian, R. Puknat, P. Kneuper, S. Wittemeier, A. Memedi, C. Tebruegge, M.S. Amjad, S. Kruse, C. Kress, C. Scheytt, F. Dressler, in: 2018 IEEE Vehicular Networking Conference (VNC), IEEE, Taiwan/Taipeh, 2018.
LibreCat
| Files available
| DOI
J. Koepe, C. Kaltschmidt, M. Illian, R. Puknat, P. Kneuper, S. Wittemeier, A. Memedi, C. Tebruegge, M.S. Amjad, S. Kruse, C. Kress, C. Scheytt, F. Dressler, in: 2018 IEEE Vehicular Networking Conference (VNC), IEEE, Taiwan/Taipeh, 2018.
2018 | Conference Paper | LibreCat-ID: 24186
245 GHz Subharmonic Receiver With Onchip Antenna for Gas Spectroscopy Application
Y. Mao, E. Shiju, K. Schmalz, C. Scheytt, in: Journal of Semiconductors, 2018.
LibreCat
| Files available
Y. Mao, E. Shiju, K. Schmalz, C. Scheytt, in: Journal of Semiconductors, 2018.
2018 | Conference Paper | LibreCat-ID: 24190
Design of an Automotive Visible Light Communications Link using a Off-The-Shelf LED Headlight
S. Kruse, C. Kress, A. Memedi, C. Tebruegge, M.S. Amjad, C. Scheytt, F. Dressler, in: ANALOG 2018 16. GMM/ITG-Fachtagung, IEEE, Germany/Munich, 2018.
LibreCat
| Files available
S. Kruse, C. Kress, A. Memedi, C. Tebruegge, M.S. Amjad, C. Scheytt, F. Dressler, in: ANALOG 2018 16. GMM/ITG-Fachtagung, IEEE, Germany/Munich, 2018.
2018 | Conference Paper | LibreCat-ID: 24192
Analysis of PSSS modulation for optimization of DAC bit resolution for 100 Gbps systems
K. Karthik, L. Wimmer, A.R. Javed, A. Wolf, C. Scheytt, R. Kraemer, in: 15th International Symposium on Wireless Communication Systems (ISWCS) , IEEE, Portugal/Lisbon, 2018.
LibreCat
| Files available
| DOI
K. Karthik, L. Wimmer, A.R. Javed, A. Wolf, C. Scheytt, R. Kraemer, in: 15th International Symposium on Wireless Communication Systems (ISWCS) , IEEE, Portugal/Lisbon, 2018.
2018 | Conference Paper | LibreCat-ID: 24193
Wireless Energy Harvesting in RFID Applications at 5.8 GHz ISM Band, a System Analysis
S. Haddadian, C. Scheytt, in: Electromagnetics Research Symposium, Japan/Toyama, 2018.
LibreCat
| Files available
| DOI
S. Haddadian, C. Scheytt, in: Electromagnetics Research Symposium, Japan/Toyama, 2018.
2018 | Journal Article | LibreCat-ID: 24194
Current and Future RISC-V Activities for Virtual Prototyping and Chip Design
P. Adelt, B. Koppelmann, W. Müller, International Workshop on RISC-V Research Activities Presentation (2018).
LibreCat
| Files available
P. Adelt, B. Koppelmann, W. Müller, International Workshop on RISC-V Research Activities Presentation (2018).
2018 | Conference Paper | LibreCat-ID: 24195
System Analysis of a Wake-Up Receiver Based on Surface Acoustic Wave Correlator
S. Abughannam, C. Scheytt, in: 2nd URSI AT-RASC, IEEE, Spain/Gran Canaria/Meloneras, 2018, pp. 1–4.
LibreCat
| Files available
| DOI
S. Abughannam, C. Scheytt, in: 2nd URSI AT-RASC, IEEE, Spain/Gran Canaria/Meloneras, 2018, pp. 1–4.
2018 | Conference Paper | LibreCat-ID: 24196
Analog fault simulation automation at schematic level with random sampling techniques
L. Wu, M.K. Hussain, S. Abughannam, W. Müller, C. Scheytt, W. Ecker, in: 2018 13th International Conference on Design & Technology of Integrated Systems In Nanoscale Era (DTIS)) , IEEE, Italy/Taormina, 2018.
LibreCat
| Files available
| DOI
L. Wu, M.K. Hussain, S. Abughannam, W. Müller, C. Scheytt, W. Ecker, in: 2018 13th International Conference on Design & Technology of Integrated Systems In Nanoscale Era (DTIS)) , IEEE, Italy/Taormina, 2018.
2018 | Patent | LibreCat-ID: 24198
Integrier‐ und Halte‐Schaltung
C. Scheytt, L. Wu, (2018).
LibreCat
| Files available
C. Scheytt, L. Wu, (2018).
2018 | Conference Paper | LibreCat-ID: 24199
Sensitive permittivity detector for dielectric samples at 120 GHz
J. Wessel, K. Schmalz, C. Scheytt, D. Kissinger, in: 2018 IEEE Radio and Wireless Symposium (RWS), IEEE, USA/Anaheim, 2018.
LibreCat
| Files available
| DOI
J. Wessel, K. Schmalz, C. Scheytt, D. Kissinger, in: 2018 IEEE Radio and Wireless Symposium (RWS), IEEE, USA/Anaheim, 2018.
2018 | Conference Paper | LibreCat-ID: 24396
An Optimal Algorithm for Online Prize-Collecting Node-Weighted Steiner Forest
C. Markarian, in: International Workshop on Combinatorial Algorithms (IWOCA), Cham, 2018.
LibreCat
| DOI
C. Markarian, in: International Workshop on Combinatorial Algorithms (IWOCA), Cham, 2018.
2018 | Conference Paper | LibreCat-ID: 2471 |
On-The-Fly Service Construction with Prototypes
F. Mohr, M.D. Wever, E. Hüllermeier, in: SCC, IEEE Computer Society, San Francisco, CA, USA, 2018.
LibreCat
| Files available
| DOI
| Download (ext.)
F. Mohr, M.D. Wever, E. Hüllermeier, in: SCC, IEEE Computer Society, San Francisco, CA, USA, 2018.
2018 | Conference Paper | LibreCat-ID: 2472
Distributed Placement of Virtualized Control Applications in Mobile Backhaul Networks
S. Auroux, H. Karl, in: Proc. of IEEE Wireless Communications and Networking Conference (WCNC), 2018.
LibreCat
| Files available
| DOI
S. Auroux, H. Karl, in: Proc. of IEEE Wireless Communications and Networking Conference (WCNC), 2018.
2018 | Conference Paper | LibreCat-ID: 26421
MediaThing – A Learning Scenario Targeting on Research Skills
F. Winkelnkemper, R. Keil, in: T. Bastiaens, J Van Braak, M Brown (Eds.), Proceedings of EdMedia: World Conference on Educational Media and Technology., Amsterdam, Netherlands, 2018, pp. 2397–2406.
LibreCat
F. Winkelnkemper, R. Keil, in: T. Bastiaens, J Van Braak, M Brown (Eds.), Proceedings of EdMedia: World Conference on Educational Media and Technology., Amsterdam, Netherlands, 2018, pp. 2397–2406.
2018 | Conference Paper | LibreCat-ID: 26422
studiolo communis
E.-M. Seng, R. Keil, G. Oevel, in: E.-M. Seng, R. Keil, G. Oevel (Eds.), De Gruyter, Berlin, Bosten, 2018, pp. 1–5.
LibreCat
E.-M. Seng, R. Keil, G. Oevel, in: E.-M. Seng, R. Keil, G. Oevel (Eds.), De Gruyter, Berlin, Bosten, 2018, pp. 1–5.
2018 | Conference Paper | LibreCat-ID: 26423
Unterst{\"u}tzung kontingenter Wissensarbeit. Ein Rahmenwerk f{\"u}r die Entwicklung digitaler Arbeitsumgebungen zur Unterst{\"u}tzung des Forschungsdiskurses in den Kulturwissenschaften
R. Keil, in: E.-M. Seng, R. Keil, G. Oevel (Eds.), De Gruyter, Berlin, Bosten, 2018.
LibreCat
R. Keil, in: E.-M. Seng, R. Keil, G. Oevel (Eds.), De Gruyter, Berlin, Bosten, 2018.
2018 | Book | LibreCat-ID: 26424
STUDIOLO. Kooperative Forschungsumgebungen in den eHumanities
E.-M Seng, R. Keil, G. Oevel, STUDIOLO. Kooperative Forschungsumgebungen in Den EHumanities, De Gruyter, Berlin, Bosten, 2018.
LibreCat
E.-M Seng, R. Keil, G. Oevel, STUDIOLO. Kooperative Forschungsumgebungen in Den EHumanities, De Gruyter, Berlin, Bosten, 2018.
2018 | Conference Paper | LibreCat-ID: 26425
Data science in schools from the perspective of contextual informatics
H. Selke, in: R. Biehler, L Budde, D. Frischemeier, B. Heinemann, S. Podworny, C. Schulte, T. Wassong (Eds.), Universit{\"a}tsbibliothek Paderborn, Paderborn, 2018, pp. 107–109.
LibreCat
H. Selke, in: R. Biehler, L Budde, D. Frischemeier, B. Heinemann, S. Podworny, C. Schulte, T. Wassong (Eds.), Universit{\"a}tsbibliothek Paderborn, Paderborn, 2018, pp. 107–109.
2018 | Conference Paper | LibreCat-ID: 2666 |
Programmable and Flexible Management and Orchestration of Virtualized Network Functions
H. Razzaghi Kouchaksaraei, S. Dräxler, M. Peuster, H. Karl, in: 2018 European Conference on Networks and Communications (EuCNC), IEEE, Ljubljana, Slovenia, n.d.
LibreCat
| Files available
| Download (ext.)
H. Razzaghi Kouchaksaraei, S. Dräxler, M. Peuster, H. Karl, in: 2018 European Conference on Networks and Communications (EuCNC), IEEE, Ljubljana, Slovenia, n.d.
2018 | Conference Paper | LibreCat-ID: 2667 |
Pishahang: Joint Orchestration of Network Function Chains and Distributed Cloud Applications
H. Razzaghi Kouchaksaraei, T. Dierich, H. Karl, in: n.d.
LibreCat
| Files available
| Download (ext.)
H. Razzaghi Kouchaksaraei, T. Dierich, H. Karl, in: n.d.
2018 | Journal Article | LibreCat-ID: 2685
Voronoi Cells of Lattices with Respect to Arbitrary Norms
J. Blömer, K. Kohn, SIAM Journal on Applied Algebra and Geometry. 2 (2018) 314–338.
LibreCat
| Files available
| DOI
J. Blömer, K. Kohn, SIAM Journal on Applied Algebra and Geometry. 2 (2018) 314–338.
2018 | Conference Paper | LibreCat-ID: 3217
DeepCAS: A Deep Reinforcement Learning Algorithm for Control-Aware Scheduling
B. Demirel, A. Ramaswamy, D. Quevedo, H. Karl, in: 2018.
LibreCat
| Files available
| DOI
| Download (ext.)
B. Demirel, A. Ramaswamy, D. Quevedo, H. Karl, in: 2018.
2018 | Conference Paper | LibreCat-ID: 3265 |
Fully-Featured Anonymous Credentials with Reputation System
K. Bemmann, J. Blömer, J. Bobolz, H. Bröcher, D.P. Diemert, F. Eidens, L. Eilers, J.F. Haltermann, J. Juhnke, B. Otour, L.A. Porzenheim, S. Pukrop, E. Schilling, M. Schlichtig, M. Stienemeier, in: Proceedings of the 13th International Conference on Availability, Reliability and Security - ARES ’18, ACM, New York, NY, USA, n.d.
LibreCat
| Files available
| DOI
| Download (ext.)
K. Bemmann, J. Blömer, J. Bobolz, H. Bröcher, D.P. Diemert, F. Eidens, L. Eilers, J.F. Haltermann, J. Juhnke, B. Otour, L.A. Porzenheim, S. Pukrop, E. Schilling, M. Schlichtig, M. Stienemeier, in: Proceedings of the 13th International Conference on Availability, Reliability and Security - ARES ’18, ACM, New York, NY, USA, n.d.
2018 | Bachelorsthesis | LibreCat-ID: 3320
Korrektheitsbeweise für Muster von Servicekompositionen
K. Rautenberg, Korrektheitsbeweise für Muster von Servicekompositionen, Universität Paderborn, 2018.
LibreCat
K. Rautenberg, Korrektheitsbeweise für Muster von Servicekompositionen, Universität Paderborn, 2018.
2018 | Conference Paper | LibreCat-ID: 3345 |
Let the state follow its flows: An SDN-based flow handover protocol to support state migration
M. Peuster, H. Küttner, H. Karl, in: 4th IEEE International Conference on Network Softwarization (NetSoft 2018), Montreal, n.d.
LibreCat
| Files available
| DOI
| Download (ext.)
M. Peuster, H. Küttner, H. Karl, in: 4th IEEE International Conference on Network Softwarization (NetSoft 2018), Montreal, n.d.
2018 | Conference Paper | LibreCat-ID: 3346 |
Containernet 2.0: A Rapid Prototyping Platform for Hybrid Service Function Chains
M. Peuster, J. Kampmeyer, H. Karl, in: 4th IEEE International Conference on Network Softwarization (NetSoft 2018), Montreal, n.d.
LibreCat
| Files available
| DOI
| Download (ext.)
M. Peuster, J. Kampmeyer, H. Karl, in: 4th IEEE International Conference on Network Softwarization (NetSoft 2018), Montreal, n.d.
2018 | Conference Paper | LibreCat-ID: 3347 |
Emulation-based Smoke Testing of NFV Orchestrators in Large Multi-PoP Environments
M. Peuster, M. Marchetti, G. Garcia de Blas, H. Karl, in: European Conference on Networks and Communications (EuCNC), Ljubljana, n.d.
LibreCat
| Files available
| DOI
| Download (ext.)
M. Peuster, M. Marchetti, G. Garcia de Blas, H. Karl, in: European Conference on Networks and Communications (EuCNC), Ljubljana, n.d.
2018 | Conference Paper | LibreCat-ID: 3362
Ampehre: An Open Source Measurement Framework for Heterogeneous Compute Nodes
A. Lösch, A. Wiens, M. Platzner, in: Proceedings of the International Conference on Architecture of Computing Systems (ARCS), Springer International Publishing, Cham, 2018, pp. 73–84.
LibreCat
| Files available
| DOI
A. Lösch, A. Wiens, M. Platzner, in: Proceedings of the International Conference on Architecture of Computing Systems (ARCS), Springer International Publishing, Cham, 2018, pp. 73–84.
2018 | Bachelorsthesis | LibreCat-ID: 3365
Static Scheduling Algorithms for Heterogeneous Compute Nodes
J.-P. Schnuer, Static Scheduling Algorithms for Heterogeneous Compute Nodes, Universität Paderborn, 2018.
LibreCat
J.-P. Schnuer, Static Scheduling Algorithms for Heterogeneous Compute Nodes, Universität Paderborn, 2018.
2018 | Bachelorsthesis | LibreCat-ID: 3366
Evaluation of OpenCL-based Compilation for FPGAs
M. Croce, Evaluation of OpenCL-Based Compilation for FPGAs, Universität Paderborn, 2018.
LibreCat
M. Croce, Evaluation of OpenCL-Based Compilation for FPGAs, Universität Paderborn, 2018.
2018 | Conference Paper | LibreCat-ID: 3373
An FPGA/HMC-Based Accelerator for Resolution Proof Checking
T. Hansmeier, M. Platzner, D. Andrews, in: ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications, Springer International Publishing, 2018, pp. 153–165.
LibreCat
| Files available
| DOI
T. Hansmeier, M. Platzner, D. Andrews, in: ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications, Springer International Publishing, 2018, pp. 153–165.