Sciweavers

195 search results - page 1 / 39
» Design science as nested problem solving
Sort
View
DESRIST
2009
Springer
102views Education» more  DESRIST 2009»
13 years 10 months ago
Design science as nested problem solving
Design science emphasizes the connection between knowledge and practice by showing that we can produce scientific knowledge by designing useful things. However, without further g...
Roel Wieringa
SIGCSE
2010
ACM
189views Education» more  SIGCSE 2010»
14 years 3 days ago
Principles of asking effective questions during student problem solving
Using effective teaching practices is a high priority for educators. One important pedagogical skill for computer science instructors is asking effective questions. This paper pre...
Kristy Elizabeth Boyer, William Lahti, Robert Phil...
SIAMSC
2010
142views more  SIAMSC 2010»
13 years 3 months ago
Nested Iteration and First-Order System Least Squares for Incompressible, Resistive Magnetohydrodynamics
This paper develops a nested iteration algorithm to solve time-dependent nonlinear systems of partial differential equations. For each time step, Newton’s method is used to form...
J. H. Adler, Thomas A. Manteuffel, Stephen F. McCo...
TLCA
2007
Springer
13 years 11 months ago
Initial Algebra Semantics Is Enough!
Initial algebra semantics is a cornerstone of the theory of modern functional programming languages. For each inductive data type, it provides a fold combinator encapsulating struc...
Patricia Johann, Neil Ghani
APAL
2008
87views more  APAL 2008»
13 years 5 months ago
Characterising nested database dependencies by fragments of propositional logic
We extend the earlier results on the equivalence between the Boolean and the multivalued dependencies in relational databases and fragments of the Boolean propositional logic. It ...
Sven Hartmann, Sebastian Link