Sciweavers

37217 search results - page 172 / 7444

» is 2010

80

ENTCS
2010

86views more ENTCS 2010»

Applications of Algebra and Coalgebra in Scientific Modelling: Illustrated with the Logistic Map

15 years 4 months ago

Applications of Algebra and Coalgebra in Scientific Modelling: Illustrated with the Logistic Map

Download event.cwi.nl

Michael Hauhs, Baltasar Trancón-y-Widemann

claim paper

Read More »

67

ENTCS
2010

72views more ENTCS 2010»

Towards Context Independent Extra-functional Properties Descriptor for Components

15 years 4 months ago

Towards Context Independent Extra-functional Properties Descriptor for Components

Download sdq.ipd.kit.edu

Kamil Jezek, Premek Brada, Petr Stepan

claim paper

Read More »

92

ENTCS
2010

89views more ENTCS 2010»

Categorical Models for Simply Typed Resource Calculi

15 years 4 months ago

Categorical Models for Simply Typed Resource Calculi

Download www.pps.jussieu.fr

Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzon...

claim paper

Read More »

75

ENTCS
2010

77views more ENTCS 2010»

Understanding Game Semantics Through Coherence Spaces

15 years 4 months ago

Understanding Game Semantics Through Coherence Spaces

Download www.cs.bath.ac.uk

Ana C. Calderon, Guy McCusker

claim paper

Read More »

71

ENTCS
2010

89views more ENTCS 2010»

Coalgebraic Representation Theory of Fractals

15 years 4 months ago

Coalgebraic Representation Theory of Fractals

Download homepages.cwi.nl

Ichiro Hasuo, Bart Jacobs, Milad Niqui

claim paper

Read More »

« Prev « First page 172 / 7444 Last » Next »