Search Results

Problem-Based Learning Of Heuristic Methods For Decision Problems In Mathematics, Computer Science And Industrial Engineering

• Authors : Engelhardt, Felix; Subjects: CBL; DE
  • Source: Dublin : European Society for Engineering Education (SEFI) 10 Seiten (2023). doi:10.21427/BH72-RH79 ; [51st Annual Conference of the European Society for Engineering Education, SEFI, 2023-09-11 -

  Record details

Normative modelling as a paradigm of the formatting power of mathematics : Educational value and learning environments

• Authors : Pohlkamp, Stefan; Subjects: DE
  • Source: Hamburg : tredition 799-808 (2021). doi:10.5281/zenodo.5416165 ; Exploring new ways to connect: Proceedings of the Eleventh International Mathematics Education and

  Record details

A Hippocratic Oath for Mathematicians? Mapping the Landscape of Ethics in Mathematics

• Authors : Müller, Dennis; Subjects: info:eu-repo/classification/ddc/500DE
  • Source: Science and engineering ethics 28(5), 41 (2022). doi:10.1007/s11948-022-00389-y

  Record details

A Selection of Benchmark Problems in Solid Mechanics and Applied Mathematics

• Authors : Schröder, Jörg; Subjects: info:eu-repo/classification/ddc/690DE
  • Source: Archives of computational methods in engineering 28(2), 713-751 (2020). doi:10.1007/s11831-020-09477-3

  Record details

Logical Equivalences, Homomorphism Indistinguishability, and Forbidden Minors

• Authors : Seppelt, Tim Frederik

Subjects: Mathematics of computing → Combinatorics; DE

• Source: Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Leibniz international proceedings in informatics: LIPIcs 272, 82:1-82:15 (2023). doi:10.4230/LIPIcs.MFCS.2023.82 ; 48th International

Record details

Lasserre Hierarchy for Graph Isomorphism and Homomorphism Indistinguishability

• Authors : Roberson, David E.; Subjects: Lasserre hierarchy; DE
  • Source: Dagstuhl, Germany : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Leibniz International Proceedings in Informatics 261, 101:1-101:18 (2023). doi:10.4230/LIPICS.ICALP.2023.101 ; 50th

  Record details

Homomorphism Tensors and Linear Equations

• Authors : Grohe, Martin; Subjects: Mathematics of computing → Discrete mathematics; DE
  • Source: Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, LIPIcs - Leibniz International Proceedings in Informatics 229, [70:1]-70:20 (2022). doi:10.4230/LIPICS.ICALP.2022.70 ; 49th

  Record details

Augmenting Mathematics Courses by Problem-Based Learning

• Authors : Frank, Martin; Subjects: info:eu-repo/classification/ddc/600DE
  • Source: International Journal of Engineering Pedagogy 6(1), 50 (2016). doi:10.3991/ijep.v6i1.5368

  Record details

Towards Concurrent Quantitative Separation Logic

• Authors : Fesefeldt, Ira Justus; Subjects: Concurrency; DE
  • Source: Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, LIPIcs - Leibniz International Proceedings in Informatics 243, 25:1-25:24 (2022). doi:10.4230/LIPICS.CONCUR.2022.25 ; 33rd International

  Record details

An Investigation of the Recoverable Robust Assignment Problem

• Authors : Fischer, Dennis; Subjects: info:eu-repo/classification/ddc/004; DE
  • Source: Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, LIPIcs - Leibniz International Proceedings in Informatics 214, 19:1-19:14 (2021). doi:10.4230/LIPIcs.IPEC.2021.19 ; 16th International

  Record details