TY  - JOUR
A1  - Seuring, Markus
A1  - Gössel, Michael
A1  - Sogomonyan, Egor S.
T1  - A structural approach for space compaction for concurrent checking and BIST
Y1  - 1998
ER  - 
TY  - BOOK
A1  - Seuring, Markus
A1  - Gössel, Michael
A1  - Sogomonyan, Egor S.
T1  - A structural approach for space compaction for concurrent checking and BIST
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 1997
SN  - 0946-7580
VL  - 1997, 01
PB  - Univ. Potsdam
CY  - Potsdam [u.a.]
ER  - 
TY  - JOUR
A1  - Seuring, Markus
A1  - Gössel, Michael
T1  - A structural approach for space compaction for sequential circuits
Y1  - 1999
ER  - 
TY  - BOOK
A1  - Seuring, Markus
A1  - Gössel, Michael
T1  - A structural approach for space compaction for sequential circuits
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 1998
SN  - 0946-7580
VL  - 1998, 05
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - JOUR
A1  - Seuring, Markus
A1  - Gössel, Michael
T1  - A structural method for output compaction of sequential automata implemented as circuits
Y1  - 1999
ER  - 
TY  - JOUR
A1  - Lucke, Ulrike
A1  - Rensing, Christoph
T1  - A survey on pervasive education
JF  - Pervasive and mobile computing
N2  - Researchers and developers worldwide have put their efforts into the design, development and use of information and communication technology to support teaching and learning. This research is driven by pedagogical as well as technological disciplines. The most challenging ideas are currently found in the application of mobile, ubiquitous, pervasive, contextualized and seamless technologies for education, which we shall refer to as pervasive education. This article provides a comprehensive overview of the existing work in this field and categorizes it with respect to educational settings. Using this approach, best practice solutions for certain educational settings and open questions for pervasive education are highlighted in order to inspire interested developers and educators. The work is assigned to different fields, identified by the main pervasive technologies used and the educational settings. Based on these assignments we identify areas within pervasive education that are currently disregarded or deemed challenging so that further research and development in these fields are stimulated in a trans-disciplinary approach. (C) 2013 Elsevier B.V. All rights reserved.
KW  - Pervasive learning
KW  - Ubiquitous learning
KW  - Mobile learning
KW  - Contextualized learning
KW  - Seamless learning
KW  - E-learning
KW  - E-teaching
KW  - Context awareness
KW  - Adaptivity
KW  - Personalization
KW  - Augmentation
Y1  - 2014
U6  - https://doi.org/10.1016/j.pmcj.2013.12.001
SN  - 1574-1192
SN  - 1873-1589
VL  - 14
SP  - 3
EP  - 16
PB  - Elsevier
CY  - Amsterdam
ER  - 
TY  - JOUR
A1  - Anger, Christian
A1  - Konczak, Kathrin
A1  - Linke, Thomas
T1  - A system for non-monotonic reasoning under answer set semantics
Y1  - 2001
SN  - 3-540-42593-4
ER  - 
TY  - GEN
A1  - Frank, Mario
A1  - Kreitz, Christoph
T1  - A theorem prover for scientific and educational purposes
T2  - Electronic proceedings in theoretical computer science
N2  - We present a prototype of an integrated reasoning environment for educational purposes. The presented tool is a fragment of a proof assistant and automated theorem prover. We describe the existing and planned functionality of the theorem prover and especially the functionality of the educational fragment. This currently supports working with terms of the untyped lambda calculus and addresses both undergraduate students and researchers. We show how the tool can be used to support the students' understanding of functional programming and discuss general problems related to the process of building theorem proving software that aims at supporting both research and education.
Y1  - 2018
U6  - https://doi.org/10.4204/EPTCS.267.4
SN  - 2075-2180
IS  - 267
SP  - 59
EP  - 69
PB  - Open Publishing Association
CY  - Sydney
ER  - 
TY  - JOUR
A1  - Wang, Kewen
T1  - A top-down procedure for disjucntive well-founded semantics
Y1  - 2001
ER  - 
TY  - JOUR
A1  - Wang, Kewen
T1  - A top-down procedure for disjucntive well-founded semantics
Y1  - 2001
SN  - 3-540-42254-4
ER  -