Sciweavers

1582 search results - page 60 / 317
» Mathematical Tools for Physics
Sort
View
COMPLEX
2009
Springer
14 years 3 months ago
Differential Forms: A New Tool in Economics
Investors would like to calculate profits in advance, “ex ante”, like the path of a flying ball. But income can only be given “ex post”, after the money is earned. The pro...
Jürgen Mimkes
ERCIMDL
2009
Springer
117views Education» more  ERCIMDL 2009»
14 years 3 months ago
A Visualization Tool of Probabilistic Models for Information Access Components
An effective graphic interface is a key tool to improve the fruition of the results retrieved by an Information Retrieval (IR) system. In this work, we describe a two-dimensional...
Lorenzo De Stefani, Giorgio Maria Di Nunzio, Giorg...
SBCCI
2003
ACM
213views VLSI» more  SBCCI 2003»
14 years 2 months ago
Algorithms and Tools for Network on Chip Based System Design
Network on Chip (NoC) is a new paradigm for designing core based System on Chips. It supports high degree of reusability and is scalable. In this paper, an efficient Two-Step Gene...
Tang Lei, Shashi Kumar
IS4TH
2003
Springer
14 years 1 months ago
Haptic Simulation of a Tool in Contact with a Nonlinear Deformable Body
This paper presents a method to artificially re-create haptic feedback while moving and sliding an arbitrary virtual tool against a virtual deformable body with nonlinear elastic ...
Mohsen Mahvash, Vincent Hayward
WRLA
2010
13 years 7 months ago
A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories
For a rewrite theory to be executable, its equations E should be (ground) confluent and terminating modulo the given axioms A, and their rules should be (ground) coherent with E m...
Francisco Durán, José Meseguer