Sciweavers

4702 search results - page 160 / 941
» How to Copyright a Function
Sort
View
ICWS
2009
IEEE
16 years 1 months ago
Composing Services for Third-party Service Delivery
This paper proposes a model-based technique for lowering the entrance barrier for service providers to register services with a marketplace broker, such that the service is rapidl...
Ingo Weber, Alistair Barros, Norman May, Jörg...
CSB
2005
IEEE
116views Bioinformatics» more  CSB 2005»
15 years 10 months ago
Oscillatory dynamics in the mitogen-activated protein kinase cascade
We have used quantitative modeling of signaling networks to show that the mitogen-activated protein kinase cascade — a highly-conserved signaling network in eukaryotes — can f...
K.-H. Chiam, Vipul Bhargava, Gunaretnam Rajagopal
SIGGRAPH
1997
ACM
15 years 8 months ago
Guaranteeing the topology of an implicit surface polygonization for interactive modeling
Morse theory shows how the topology of an implicit surface is affected by its function’s critical points, whereas catastrophe theory shows how these critical points behave as th...
Barton T. Stander, John C. Hart
FPCA
1995
15 years 8 months ago
Bananas in Space: Extending Fold and Unfold to Exponential Types
Fold and unfold are general purpose functionals for processing and constructing lists. By using the categorical approach of modelling recursive datatypes as fixed points of funct...
Erik Meijer, Graham Hutton
FLAIRS
2008
15 years 6 months ago
A New Approach to Model-Based Diagnosis Using Probabilistic Logic
We describe a new approach to model construction using transfer function diagrams that are consequently mapped into generalized loopy logic, a first-order, Turing-complete stochas...
Nikita A. Sakhanenko, Roshan Rammohan, George F. L...