Sciweavers

1209 search results - page 4 / 242
» Universal Algebra and Computer Science
Sort
View
ICCS
2004
Springer
14 years 25 days ago
Computational Engineering and Science Program at the University of Utah
We summarize the Computational Engineering and Science program at the University of Utah. Program requirements as well as related research areas are outlined. To obtain the MS degr...
Carleton DeTar, Aaron L. Fogelson, Christopher R. ...
CSREAEEE
2006
129views Business» more  CSREAEEE 2006»
13 years 8 months ago
Computer Science Exercises in a Virtual University
Abstract--In distance teaching, direct feedback to the students is difficult to give, but crucial for their learning success. The system Asterix was developed in order to support t...
Manfred Widera, Barbara Messing, Gabriele Kern-Isb...
CE
2007
82views more  CE 2007»
13 years 7 months ago
Perceptions of Computer Science at a South African university
Vashti C. Galpin, Ian Douglas Sanders
TOCL
2002
110views more  TOCL 2002»
13 years 7 months ago
Abstract computability and algebraic specification
Computability and Algebraic Specification J. V. TUCKER University of Wales, Swansea and J. I. ZUCKER McMaster University Abstract computable functions are defined by abstract finit...
J. V. Tucker, Jeffery I. Zucker
ICCSA
2007
Springer
14 years 1 months ago
An Automatic Correction Tool for Relational Algebra Queries
Abstract. Relational algebra is one of the main topics covered in undergraduate computer science database courses. In this paper, we present a web-based tool designed to automatica...
Josep Soler, Imma Boada, Ferran Prados, Jordi Poch...