Sciweavers

1582 search results - page 60 / 317
» Mathematical Tools for Physics
Sort
View
COMPLEX
2009
Springer
15 years 10 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»
15 years 10 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»
15 years 8 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
15 years 8 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
135
Voted
WRLA
2010
15 years 1 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