Search Sciweavers | Sciweavers

14

AIEDAM
2008

92views more AIEDAM 2008»

A review of function modeling: Approaches and applications

13 years 5 months ago

This work is aimed at establishing a common frame and understanding of function modeling (FM) for our ongoing research activities. A comparative review of the literature is perfor...

M. S. Erden, H. Komoto, T. J. van Beek, V. D'Ameli...

claim paper

Read More »

6

click to vote

TOG
2010

109views more TOG 2010»

Underwater cloth simulation with fractional derivatives

13 years 3 months ago

$Underwater cloth simulation with fractional derivatives$

Download graphics.ucmerced.edu

Oktar Ozgen, Marcelo Kallmann, Lynnette Es Ramirez...

claim paper

Read More »

10

click to vote

JAPLL
2007

113views more JAPLL 2007»

Fresh Logic: proof-theory and semantics for FM and nominal techniques

13 years 5 months ago

Download www.gabbay.org.uk

In this paper we introduce Fresh Logic, a natural deduction style ﬁrst-order logic extended with term-formers and quantiﬁers derived from the model of names and binding in abst...

Murdoch Gabbay

claim paper

Read More »

13

click to vote

SIAMDM
1998

165views more SIAMDM 1998»

The Number of Independent Sets in a Grid Graph

13 years 5 months ago

Download www.ces.clemson.edu

If f(m, n) is the (vertex) independence number of the m × n grid graph, then we show that the double limit η = def limm,n→∞ f(m, n) 1 mn exists, thereby reﬁning earlier res...

Neil J. Calkin, Herbert S. Wilf

claim paper

Read More »

10

click to vote

DM
2002

78views more DM 2002»

On the half?half case of the Zarankiewicz problem

13 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers