Search Sciweavers | Sciweavers

2171 search results - page 5 / 435

» A Generic Process Algebra

click to vote

AB
2008
Springer

266views Computational Biology» more AB 2008»

Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic Biology

14 years 2 months ago

Download personales.unican.es

Abstract. Symbolic methods for investigating Hopf bifurcation problems of vector ﬁelds arising in the context of algebraic biology have recently obtained renewed attention. Howev...

Thomas Sturm, Andreas Weber 0004

claim paper

Read More »

click to vote

PEPM
2010
ACM

170views Software Engineering» more PEPM 2010»

Optimizing relational algebra operations using generic equivalence discriminators and lazy products

14 years 5 months ago

Download www.diku.dk

We show how to efﬁciently evaluate generic map-ﬁlter-product queries, generalizations of select-project-join (SPJ) queries in relational algebra, based on a combination of two...

Fritz Henglein

claim paper

Read More »

click to vote

LICS
2010
IEEE

159views Automated Reasoning» more LICS 2010»

A Generic Operational Metatheory for Algebraic Effects

13 years 6 months ago

Download personal.cis.strath.ac.uk

—We provide a syntactic analysis of contextual preorder and equivalence for a polymorphic programming language with effects. Our approach applies uniformly across a range of alge...

Patricia Johann, Alex Simpson, Janis Voigtlän...

claim paper

Read More »

click to vote

JC
2000

64views more JC 2000»

Numerical Homotopies to Compute Generic Points on Positive Dimensional Algebraic Sets

13 years 8 months ago