Sciweavers

89222 search results - page 71 / 17845
» Which
Sort
View
APPML
2006
65views more  APPML 2006»
13 years 9 months ago
A numerical scheme for regularized anisotropic curve shortening flow
Realistic interfacial energy densities are often non-convex, which results in backward parabolic behavior of the corresponding anisotropic curve shortening flow, thereby inducing ...
Frank Haußer, Axel Voigt
ENTCS
2006
125views more  ENTCS 2006»
13 years 9 months ago
Estimating the Cost of Native Method Calls for Resource-bounded Functional Programming Languages
We address the problem of applying resource-bounded functional programming languages in practice on object-oriented virtual machines which include calls to native methods coded in...
Stephen T. Gilmore, Olha Shkaravska
ENTCS
2006
136views more  ENTCS 2006»
13 years 9 months ago
A "Hardware Compiler" Semantics for Handel-C
We present a denotational semantics for the hardware compilation language Handel-C that maps language constructs to a set of equations, which describe the structure of the resulti...
Andrew Butterfield, Jim Woodcock
FS
2006
105views more  FS 2006»
13 years 9 months ago
Financial equilibria in the semimartingale setting: Complete markets and markets with withdrawal constraints
We prove existence of stochastic financial equilibria on filtered spaces more general than the ones generated by finite-dimensional Brownian motions. These equilibria span complete...
Gordan Zitkovic
CORR
2007
Springer
75views Education» more  CORR 2007»
13 years 9 months ago
Polyhedral representation conversion up to symmetries
We give a short survey on computational techniques which can be used to solve the representation conversion problem for polyhedra up to symmetries. In particular we discuss decompo...
David Bremner, Mathieu Dutour Sikiric, Achill Sch&...