Sciweavers

1943 search results - page 35 / 389
» Software and higher education
Sort
View
CORR
2011
Springer
215views Education» more  CORR 2011»
12 years 11 months ago
Lasserre Hierarchy, Higher Eigenvalues, and Approximation Schemes for Quadratic Integer Programming with PSD Objectives
We present an approximation scheme for optimizing certain Quadratic Integer Programming problems with positive semidefinite objective functions and global linear constraints. Thi...
Venkatesan Guruswami, Ali Kemal Sinop
ITICSE
2009
ACM
14 years 2 months ago
Evaluating student experiences in developing software for humanity
Student involvement in Humanitarian Free and Open Source Software (HFOSS) projects holds the potential to provide a rich education experience to undergraduates. This paper discuss...
Gregory W. Hislop, Heidi J. C. Ellis, Ralph A. Mor...
ENTCS
2010
80views more  ENTCS 2010»
13 years 5 months ago
OOPS: An S5n Prover for Educational Settings
Gert van Valkenhoef, Elske van der Vaart, Rineke V...
IADIS
2003
13 years 9 months ago
Improving Quality of Education through the Use of Intranet
Higher educational institutions are just like companies forced to adapt to the ever faster changing environment. There are several obstacles in the way of introducing e-learning i...
Jaka Linic, Jurij Jaklic, Mojca Indihar Stemberger
SCAM
2008
IEEE
14 years 2 months ago
Constructing Subtle Faults Using Higher Order Mutation Testing
Traditional mutation testing considers only first order mutants, created by the injection of a single fault. Often these first order mutants denote trivial faults that are easil...
Yue Jia, Mark Harman