Sciweavers

2594 search results - page 278 / 519
» Elements of a Theory of Simulation
Sort
View
ENTCS
2007
109views more  ENTCS 2007»
15 years 6 months ago
Constructive Membership Predicates as Index Types
In the constructive setting, membership predicates over recursive types are inhabited by terms indexing the elements that satisfy the criteria for membership. In this paper, we mo...
James Caldwell, Josef Pohl
SMA
2008
ACM
136views Solid Modeling» more  SMA 2008»
15 years 6 months ago
Kinematic convexity of spherical displacements and its application to collision prediction
In recent years, there has been an increasing interest in developing geometric algorithms for kinematic computations. The aim of this paper is to present the notion of kinematic c...
Qiaode Jeffrey Ge, Anurag Purwar, Jun Wu
CAD
2005
Springer
15 years 6 months ago
Computer-aided characterization for effective mechanical properties of porous tissue scaffolds
Performance of various functions of the tissue structure depends on porous scaffold microstructures with specific porosity characteristics that influence the behavior of the incor...
Zhibin Fang, Binil Starly, Wei Sun
152
Voted
JCT
2007
99views more  JCT 2007»
15 years 6 months ago
Independence for partition regular equations
A matrix A is said to be partition regular (PR) over a subset S of the positive integers if whenever S is finitely coloured, there exists a vector x, with all elements in the sam...
Imre Leader, Paul A. Russell
JIKM
2007
103views more  JIKM 2007»
15 years 6 months ago
Education for sustainability: Creating Skills in Human Capital Analysis
This paper presents the role of an innovative university masters’ degree program as a basis for skills development in human capital analysis for finance and business students in...
Carol Royal, Loretta O'Donnell