Sciweavers

770 search results - page 64 / 154
» Abstract Yourself With Modules
Sort
View
ICFP
1999
ACM
15 years 4 months ago
Principals in Programming Languages: A Syntactic Proof Technique
Programs are often structured around the idea that different pieces of code comprise distinct principals, each with a view of its environment. Typical examples include the module...
Steve Zdancewic, Dan Grossman, J. Gregory Morriset...
117
Voted
VLSID
2010
IEEE
155views VLSI» more  VLSID 2010»
15 years 4 months ago
Digital Microfluidic Biochips: A Vision for Functional Diversity and More than Moore
Abstract—Microfluidics-based biochips are revolutionizing highthroughput sequencing, parallel immunoassays, clinical diagnostics, and drug discovery. These devices enable the pre...
Krishnendu Chakrabarty
95
Voted
CMSB
2008
Springer
15 years 2 months ago
A Language for Biochemical Systems
Abstract. CBS is a Calculus of Biochemical Systems intended to allow the modelling of metabolic, signalling and regulatory networks in a natural and modular manner. In this paper w...
Michael Pedersen, Gordon D. Plotkin
95
Voted
CORR
2008
Springer
87views Education» more  CORR 2008»
15 years 19 days ago
Visualization of association graphs for assisting the interpretation of classifications
Given a query on the PASCAL database maintained by the INIST, we design user interfaces to visualize and wo types of graphs extracted from abstracts: 1) the graph of all associati...
Eric SanJuan, Ivana Roche
96
Voted
AIM
2006
15 years 19 days ago
The Pyro Toolkit for AI and Robotics
This article introduces Pyro, an open source python robotics toolkit for exploring topics in AI and robotics. nt key abstractions that allow Pyro controllers to run unchanged on a...
Douglas S. Blank, Deepak Kumar, Lisa Meeden, Holly...