Sciweavers

3222 search results - page 417 / 645
» A Data Model for Effectively Computable Functions
Sort
View
ICFP
2009
ACM
16 years 5 months ago
Causal commutative arrows and their optimization
re a popular form of abstract computation. Being more general than monads, they are more broadly applicable, and in parare a good abstraction for signal processing and dataflow co...
Hai Liu, Eric Cheng, Paul Hudak
SIGECOM
2009
ACM
118views ECommerce» more  SIGECOM 2009»
15 years 11 months ago
Modeling volatility in prediction markets
There is significant experimental evidence that prediction markets are efficient mechanisms for aggregating information and are more accurate in forecasting events than tradition...
Nikolay Archak, Panagiotis G. Ipeirotis
MOBISYS
2009
ACM
16 years 5 months ago
Longitudinal study of a building-scale RFID ecosystem
Radio Frequency IDentification (RFID) deployments are becoming increasingly popular in both industrial and consumer-oriented settings. To effectively exploit and operate such depl...
Evan Welbourne, Karl Koscher, Emad Soroush, Magdal...
141
Voted
BMCBI
2010
156views more  BMCBI 2010»
15 years 5 months ago
Mathematical model for empirically optimizing large scale production of soluble protein domains
Background: Efficient dissection of large proteins into their structural domains is critical for high throughput proteome analysis. So far, no study has focused on mathematically ...
Eisuke Chikayama, Atsushi Kurotani, Takanori Tanak...
SC
2005
ACM
15 years 10 months ago
Parallel Programmer Productivity: A Case Study of Novice Parallel Programmers
In developing High-Performance Computing (HPC) software, time to solution is an important metric. This metric is comprised of two main components: the human effort required develo...
Lorin Hochstein, Jeffrey Carver, Forrest Shull, Si...