Sciweavers

8099 search results - page 37 / 1620
» Higher-Order Task Models
Sort
View
SIAMAM
2008
121views more  SIAMAM 2008»
14 years 9 months ago
A Level Set Approach to Anisotropic Surface Evolution with Free Adatoms
We variationally derive a thermodynamically consistent model for surface evolution under the influence of free adatoms. The resulting system of nonlinear partial differential equat...
Christina Stöcker, Axel Voigt
ENTCS
2002
112views more  ENTCS 2002»
14 years 9 months ago
Ambient Calculus and its Logic in the Calculus of Inductive Constructions
The Ambient Calculus has been recently proposed as a model of mobility of agents in a dynamically changing hierarchy of domains. In this paper, we describe the implementation of t...
Ivan Scagnetto, Marino Miculan
CDC
2010
IEEE
151views Control Systems» more  CDC 2010»
14 years 4 months ago
Input output analysis of power control in wireless networks
In a wireless communication network different users share a common resource. An objective of radio resource management is to assign the resources in an effective way between the us...
Anders Moller, Ulf T. Jönsson
HPCS
2005
IEEE
15 years 3 months ago
Parallel Lattice Implementation for Option Pricing under Mixed State-Dependent Volatility Models
— With the principal goal of developing an alternative, relatively simple and tractable pricing framework for accurately reproducing a market implied volatility surface, this pap...
Giuseppe Campolieti, Roman Makarov
HYBRID
2000
Springer
15 years 1 months ago
Towards Procedures for Systematically Deriving Hybrid Models of Complex Systems
Abstract. In many cases, complex system behaviors are naturally modeled as nonlinear differential equations. However, these equations are often hard to analyze because of "sti...
Pieter J. Mosterman, Gautam Biswas