Sciweavers

5510 search results - page 9 / 1102

» Mathematics

211

AMCS
2011

304views Mathematics» more AMCS 2011»

Hierarchical residue number systems with small moduli and simple converters

14 years 10 months ago

Hierarchical residue number systems with small moduli and simple converters

Download matwbn.icm.edu.pl

Tadeusz Tomczak

claim paper

Read More »

90

Voted

AMCS
2010

123views Mathematics» more AMCS 2010»

A mathematical model of HIV-1 infection including the saturation effect of healthy cell proliferation

15 years 1 months ago

A mathematical model of HIV-1 infection including the saturation effect of healthy cell proliferation

Download matwbn.icm.edu.pl

Mahiéddine Kouche, Bedr'Eddine Ainseba

claim paper

Read More »

108

Voted

CALCO
2009
Springer

145views Mathematics» more CALCO 2009»

Views on Behaviour Protocols and Their Semantic Foundation

15 years 10 months ago

Views on Behaviour Protocols and Their Semantic Foundation

Download calco09.dimi.uniud.it

Sebastian S. Bauer, Rolf Hennicker

claim paper

Read More »

91

Voted

CALCO
2009
Springer

122views Mathematics» more CALCO 2009»

Conway Games, Coalgebraically

15 years 10 months ago

Conway Games, Coalgebraically

Download calco09.dimi.uniud.it

Furio Honsell, Marina Lenisa

claim paper

Read More »

114

CALCO
2009
Springer

128views Mathematics» more CALCO 2009»

Circular Coinduction: A Proof Theoretical Foundation

15 years 10 months ago

Circular Coinduction: A Proof Theoretical Foundation

Download calco09.dimi.uniud.it

Grigore Rosu, Dorel Lucanu

claim paper

Read More »

« Prev « First page 9 / 1102 Last » Next »