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
2023 | Book Chapter | LibreCat-ID: 52859
Deciding Subsumption in Defeasible $$\mathcal {ELI}_\bot $$ with Typicality Models
I. de Camargo e Souza Câmara, A.-Y. Turhan, in: Logics in Artificial Intelligence, Springer Nature Switzerland, Cham, 2023.
LibreCat
| DOI
I. de Camargo e Souza Câmara, A.-Y. Turhan, in: Logics in Artificial Intelligence, Springer Nature Switzerland, Cham, 2023.
2023 | Journal Article | LibreCat-ID: 52861
Optimal Alignment of Temporal Knowledge Bases
O.F. Gil, F. Patrizi, G. Perelli, A.-Y. Turhan, CoRR abs/2307.15439 (2023).
LibreCat
| DOI
O.F. Gil, F. Patrizi, G. Perelli, A.-Y. Turhan, CoRR abs/2307.15439 (2023).
2023 | Conference Paper | LibreCat-ID: 52863
Analyzing the Generalizability of Automated Algorithm Selection: A Case Study for Numerical Optimization
U. Ŝkvorc, T. Eftimov, P. Koro]ec, in: 2023 IEEE Symposium Series on Computational Intelligence (SSCI), IEEE, 2023.
LibreCat
| DOI
U. Ŝkvorc, T. Eftimov, P. Koro]ec, in: 2023 IEEE Symposium Series on Computational Intelligence (SSCI), IEEE, 2023.
2023 | Conference Paper | LibreCat-ID: 52913
Brushing-up DLs to Cope with Imperfect Data (Abstract of Joint DL+NMR Invited Talk)
A.-Y. Turhan, in: O. Kutz, C. Lutz, A. Ozaki (Eds.), Proceedings of the 36th International Workshop on Description Logics {(DL} 2023) Co-Located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning {(KR} 2023 and NMR 2023)., Rhodes, Greece, September 2-4, 2023, CEUR-WS.org, 2023.
LibreCat
A.-Y. Turhan, in: O. Kutz, C. Lutz, A. Ozaki (Eds.), Proceedings of the 36th International Workshop on Description Logics {(DL} 2023) Co-Located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning {(KR} 2023 and NMR 2023)., Rhodes, Greece, September 2-4, 2023, CEUR-WS.org, 2023.
2023 | Journal Article | LibreCat-ID: 46155
Professional Development Enacted by Facilitators in the Context of Early Mathematics Education: Scaling up or Dilution of Effects?
J. Bruns, M. Hagena, H. Gasteiger, Teaching and Teacher Education 132 (2023).
LibreCat
| DOI
J. Bruns, M. Hagena, H. Gasteiger, Teaching and Teacher Education 132 (2023).
2023 | Conference Paper | LibreCat-ID: 46500
Re-Envisioning Industrial Control Systems Security by Considering Human Factors as a Core Element of Defense-in-Depth
J. Pottebaum, J. Rossel, J. Somorovsky, Y. Acar, R. Fahr, P. Arias Cabarcos, E. Bodden, I. Gräßler, in: 2023 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW), IEEE, 2023, pp. 379–385.
LibreCat
| DOI
| Download (ext.)
J. Pottebaum, J. Rossel, J. Somorovsky, Y. Acar, R. Fahr, P. Arias Cabarcos, E. Bodden, I. Gräßler, in: 2023 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW), IEEE, 2023, pp. 379–385.
2023 | Conference Paper | LibreCat-ID: 49654
Poster: Circumventing the GFW with TLS Record Fragmentation
N. Niere, S.N. Hebrok, J. Somorovsky, R. Merget, in: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, ACM, 2023.
LibreCat
| DOI
N. Niere, S.N. Hebrok, J. Somorovsky, R. Merget, in: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, ACM, 2023.
2023 | Journal Article | LibreCat-ID: 45971
Error analysis for the numerical approximation of the harmonic map heat flow with nodal constraints
S. Bartels, B. Kovács, Z. Wang, IMA Journal of Numerical Analysis (2023).
LibreCat
| DOI
S. Bartels, B. Kovács, Z. Wang, IMA Journal of Numerical Analysis (2023).
2023 | Journal Article | LibreCat-ID: 53140
Error analysis of BDF 1-6 time-stepping methods for the transient Stokes problem: velocity and pressure estimates
A. Contri, B. Kovács, A. Massing, ArXiv (2023).
LibreCat
| DOI
A. Contri, B. Kovács, A. Massing, ArXiv (2023).
2023 | Journal Article | LibreCat-ID: 53142
Funnel control of linear systems with arbitrary relative degree under output measurement losses
T. Berger, L. Lanza, IMA Journal of Mathematical Control and Information, 40 (2023) 691–713.
LibreCat
| DOI
T. Berger, L. Lanza, IMA Journal of Mathematical Control and Information, 40 (2023) 691–713.