This study was conducted to better understand how New Product Development (NPD) team members apply their experiences to meet the task needs of their project. Although “experienc...
Matita is a new, document-centric, tactic-based interactive theorem prover. This paper focuses on some of the distinctive features of the user interaction with Matita, characterize...
Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tas...
Acknowledging the "untidiness of knowledge work", we agree that organizational learning calls for flexible and adaptable IT support. However, recurring situations which ...
Marc Diefenbruch, Marcel Hoffmann, Andrea Misch, H...
Every day, businesses are threatened by crises that could have been prevented or their impact lessened if only knowledge of causal and influencing factors were known and better ma...
: In this article we present the development of a web application called SHARP Online: An Adaptive Hypermedia System Applied to Mathematical Problem Solving. The pedagogical basis ...