Sciweavers

3618 search results - page 568 / 724
» Additive functions for number systems in function fields
Sort
View
CORR
2008
Springer
140views Education» more  CORR 2008»
15 years 4 months ago
A Cloning Pushout Approach to Term-Graph Transformation
We address the problem of cyclic termgraph rewriting. We propose a new framework where rewrite rules are tuples of the form (L, R, , ) such that L and R are termgraphs representing...
Dominique Duval, Rachid Echahed, Fréd&eacut...
JCC
2006
68views more  JCC 2006»
15 years 4 months ago
Explicit factorization of external coordinates in constrained statistical mechanics models
If a macromolecule is described by curvilinear coordinates or rigid constraints are imposed, the equilibrium probability density that must be sampled in Monte Carlo simulations in...
Pablo Echenique, Iván Calvo
PE
2000
Springer
118views Optimization» more  PE 2000»
15 years 4 months ago
A probabilistic dynamic technique for the distributed generation of very large state spaces
Conventional methods for state space exploration are limited to the analysis of small systems because they suffer from excessive memory and computational requirements. We have dev...
William J. Knottenbelt, Peter G. Harrison, Mark Me...
125
Voted
CN
1999
87views more  CN 1999»
15 years 4 months ago
The Gecko NFS Web Proxy
The World-Wide Web provides remote access to pages using its own naming scheme (URLs), transfer protocol (HTTP), and cache algorithms. Not only does using these special-purpose me...
Scott M. Baker, John H. Hartman
131
Voted
HCI
2009
15 years 2 months ago
Navigation Support for the Walking Wounded
We aim at designing an effective evacuation support system for disaster response, specifically tailored to aid the walking wounded, a significant group of victims suffering from re...
Lucy T. Gunawan, Augustinus H. J. Oomes, Zhenke Ya...