4880 search results - page 776 / 976 » Manuals as Structured Programs |
177
click to vote
ICCS
2005
Springer
16 years 2 days ago
2005
Springer
In order to supply a growing tissue with oxygen and nutrients and to remove its metabolic wastes, blood vessels penetrating the tissue are formed. Multiple mechanisms are involved ...
169
click to vote
IMR
2005
Springer
16 years 2 days ago
2005
Springer
Today, finite element technologies allow engineers to analyze complex assemblies and subsystems. With CPU power constantly increasing, it is not unreasonable to state that the eng...
168
click to vote
ISAAC
2005
Springer
16 years 2 days ago
2005
Springer
We present an expected polynomial time algorithm to generate a 2-connected unlabeled planar graph uniformly at random. To do this we first derive recurrence formulas to count the ...
206
click to vote
SFM
2005
Springer
16 years 1 days ago
2005
Springer
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
177
click to vote
CSL
2004
Springer
15 years 12 months ago
2004
Springer
We consider the problem of providing formal support for working tract syntax involving variable binders. Gabbay and Pitts have shown in their work on Fraenkel-Mostowski (FM) set th...