Sciweavers

1390 search results - page 44 / 278
» On the Algebraic Structure of Convergence
Sort
View
WCE
2007
15 years 1 months ago
Computer Applications to Structural Analysis of Pavements
—Surface wave method can be used to determine the properties of the component materials of a pavement structure. The measurements are made of the differences in the phase of a wa...
T. Akhlaghi
CORR
2010
Springer
139views Education» more  CORR 2010»
14 years 12 months ago
A finiteness structure on resource terms
In our paper "Uniformity and the Taylor expansion of ordinary lambda-terms" (with Laurent Regnier), we studied a translation of lambda-terms as infinite linear combinati...
Thomas Ehrhard
ACTAC
2006
101views more  ACTAC 2006»
14 years 12 months ago
Cycle Structure in Automata and the Holonomy Decomposition
The algebraic hierarchical decomposition of finite state automata can be applied wherever a finite system should be `understood' using a hierarchical coordinate system. Here ...
Attila Egri-Nagy, Chrystopher L. Nehaniv
DAGSTUHL
1996
15 years 1 months ago
Multi-Level Lambda-Calculi: An Algebraic Description
Abstract. Two-level -calculi have been heavily utilised for applications such as partial evaluation, abstract interpretation and code generation. Each of these applications pose di...
Flemming Nielson, Hanne Riis Nielson
CORR
2010
Springer
63views Education» more  CORR 2010»
14 years 12 months ago
Position Analysis of the RRP-3(SS) Multi-Loop Spatial Structure
The paper presents the position analysis of a spatial structure composed of two platforms mutually connected by one RRP and three SS serial kinematic chains, where R, P, and S sta...
Carlo Innocenti, Philippe Wenger