Suche
Ergebnisse
-
The prior experience of entering CS students
(2011)Technical reportOne of the foremost issues for instructors of "Introduction to Programming" or "CS1" courses is the diversity of students' backgrounds { on one end of the range, a signicant portion of students start their computing degree without prior programming expertise, while on the other end, many students have even worked in a job where programming was a substantial part. This diversity makes it dicult to adapt programming instruction to students' ...Report -
Midpoints versus endpoints
(2011)Technical Report / ETH Zurich, Department of Computer ScienceReport -
-
Term rewriting in logics of partial functions
(2011)We devise a theoretical foundation of directed rewriting, a term rewriting strategy for logics of partial functions, inspired by term rewriting in the Rodin platform. We prove that directed rewriting is sound and show how to supply new rewrite rules in a soundness preserving fashion. In the context of Rodin, we show that directed rewriting makes a signicant number of conditional rewrite rules unconditional. Our work not only allows us to ...Report -
-
Archiv für Zeitgeschichte Jahresbericht 2010
(2011)Archiv für Zeitgeschichte JahresberichtReport -
Model-driven development of security-aware GUIs for data-centric applications
(2011)In this tutorial we survey a very promising instance of modeldriven security: the full generation of security-aware graphical user interfaces (GUIs) from models for data-centric applications with access control policies. We describe the modeling concepts and languages employed and how model transformation can be used to automatically lift security policies from data models to GUI models. We work through a case study where we generate a ...Report -
-
A scalable multi-level preconditioner for matrix-free µ-finite element analysis of human bone structures
(2011)Technical Report / ETH Zurich, Department of Computer ScienceThe recent advances in microarchitectural bone imaging are disclosing the possibility to assess both the apparent density and the trabecular microstructure of intact bones in a single measurement. Coupling these imaging possibilities with microstructural finite element (μFE) analysis offers a powerful tool to improve bone stiffness and strength assessment for individual fracture risk prediction. Many elements are needed to accurately ...Report