Zobrazeno 1 - 10
of 143
pro vyhledávání: '"Remshagen, A."'
Autor:
Remshagen, Anja1 (AUTHOR) anja@westga.edu, Huett, Kim C.2 (AUTHOR)
Publikováno v:
TechTrends: Linking Research & Practice to Improve Learning. May2023, Vol. 67 Issue 3, p508-520. 13p.
Autor:
Anja Remshagen, Kim C. Huett
Publikováno v:
TechTrends. 67:508-520
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0d54773c683ac6ddf6320574ee59599d
https://doi.org/10.1007/s11528-023-00852-y
https://doi.org/10.1007/s11528-023-00852-y
Autor:
Remshagen, Anja, Truemper, Klaus
Publikováno v:
Theory and practice of Logic Programming, Vol 3(3), pp 271-286, 2003
This paper describes learning in a compiler for algorithms solving classes of the logic minimization problem MINSAT, where the underlying propositional formula is in conjunctive normal form (CNF) and where costs are associated with the True/False val
Externí odkaz:
http://arxiv.org/abs/cs/0312032
Autor:
Kaibel, Volker, Remshagen, Anja
Let X_{d,n} be an n-element subset of {0,1}^d chosen uniformly at random, and denote by P_{d,n} := conv X_{d,n} its convex hull. Let D_{d,n} be the density of the graph of P_{d,n} (i.e., the number of one-dimensional faces of P_{d,n} divided by n(n-1
Externí odkaz:
http://arxiv.org/abs/math/0306246
Autor:
Christine Rolka, Anja Remshagen
Publikováno v:
International Journal for the Scholarship of Teaching and Learning, Vol 9, Iss 1 (2015)
Contextualized learning is considered beneficial for student success. In this article, we assess the impact of context-based learning tools on student grade performance in an introductory computer science course. In particular, we investigate two cen
Externí odkaz:
https://doaj.org/article/d2f07aa6a8144c33ae86d6326b86392b
Autor:
Kleine Büning, H., Remshagen, A.
Publikováno v:
In Theoretical Computer Science 2010 411(31):2864-2870
Autor:
A. Remshagen, H. Kleine Büning
Publikováno v:
Theoretical Computer Science. 411(31-33):2864-2870
The expressive power of existentially quantified Boolean formulas @?CNF with free variables is investigated. We introduce a hierarchy of subclasses @?MU^*(k) of @?CNF formulas based on the maximum deficiency k of minimal unsatisfiable subformulas of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::330d5ab123abd5cc09742663d878f697
Autor:
Anja Remshagen, Christine Rolka
Publikováno v:
International Journal for the Scholarship of Teaching and Learning, Vol 9, Iss 1 (2015)
Contextualized learning is considered beneficial for student success. In this article, we assess the impact of context-based learning tools on student grade performance in an introductory computer science course. In particular, we investigate two cen
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ce5b33fda7b7880f6e9c440aa0c6c00b
https://doi.org/10.20429/ijsotl.2015.090110
https://doi.org/10.20429/ijsotl.2015.090110
Autor:
Anja Remshagen, Klaus Truemper
Publikováno v:
Journal of Automated Reasoning. 34:31-47
In the futile questioning problem, one must decide whether acquisition of additional information can possibly lead to the proof of a conclusion. Solution of that problem demands evaluation of a quantified Boolean formula at the second level of the po
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::73b999e6d8c484b4c35819be5da08737
https://doi.org/10.1007/s10817-005-0981-8
https://doi.org/10.1007/s10817-005-0981-8
Autor:
Anja Remshagen, Christine Rolka
Publikováno v:
ACM Southeast Regional Conference
This paper explores the use of the two contextualized learning tools, animations and educational robots, in an introductory computer science course. We describe our experience when supplementing Greenfoot animation exercises with robotic exercises us
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::82256212be06bf126317afa49dae0544
https://doi.org/10.1145/2638404.2638458
https://doi.org/10.1145/2638404.2638458