Sciweavers

2549 search results - page 11 / 510
» Toward a complexity theory of information systems developmen...
Sort
View
MISQ
2002
111views more  MISQ 2002»
13 years 7 months ago
A Design Theory for Systems That Support Emergent Knowledge Processes
This paper addresses the design problem of providing IT support for emerging knowledge processes (EKPs). EKPs are organizational activity patterns that exhibit three characteristi...
M. Lynne Markus, Ann Majchrzak, Les Gasser
COCO
2004
Springer
118views Algorithms» more  COCO 2004»
14 years 1 months ago
Towards the Classical Communication Complexity of Entanglement Distillation Protocols with Incomplete Information
Entanglement is an essential resource for quantum communication and quantum computation, similar to shared random bits in the classical world. Entanglement distillation extracts n...
Andris Ambainis, Ke Yang
ENTCS
2007
119views more  ENTCS 2007»
13 years 7 months ago
PML: Toward a High-Level Formal Language for Biological Systems
Documentation of knowledge about biological pathways is often informal and vague, making it difficult to efficiently synthesize the work of others into a holistic understanding of...
Bor-Yuh Evan Chang, Manu Sridharan
PARA
2004
Springer
14 years 1 months ago
Automatic Derivation of Linear Algebra Algorithms with Application to Control Theory
It is our belief that the ultimate automatic system for deriving linear algebra libraries should be able to generate a set of algorithms starting from the mathematical specificati...
Paolo Bientinesi, Sergey Kolos, Robert A. van de G...
MKM
2007
Springer
14 years 1 months ago
Towards Constructive Homological Algebra in Type Theory
This paper reports on ongoing work on the project of representing the Kenzo system [15] in type theory [11].
Thierry Coquand, Arnaud Spiwack