Sciweavers

298 search results - page 24 / 60
» ideal 2010
Sort
View
86
Voted
CONCURRENCY
2010
127views more  CONCURRENCY 2010»
14 years 9 months ago
Extreme scalability challenges in micro-finite element simulations of human bone
Coupling recent imaging capabilities with microstructural finite element (microFE) analysis offers a powerful tool to determine bone stiffness and strength. It shows high potentia...
Constantine Bekas, Alessandro Curioni, Peter Arben...
86
Voted
ENTCS
2006
145views more  ENTCS 2006»
14 years 9 months ago
Real-or-random Key Secrecy of the Otway-Rees Protocol via a Symbolic Security Proof
We present the first cryptographically sound security proof of the well-known Otway-Rees protocol. More precisely, we show that the protocol is secure against arbitrary active att...
Michael Backes
63
Voted
EOR
2006
68views more  EOR 2006»
14 years 9 months ago
Cyclic scheduling of a 2-machine robotic cell with tooling constraints
In this study, we deal with the robotic cell scheduling problem with two machines and identical parts. In an ideal FMS, CNC machines are capable of performing all the required ope...
Hakan Gultekin, M. Selim Akturk, Oya Ekin Karasan
ENVSOFT
2007
88views more  ENVSOFT 2007»
14 years 9 months ago
Resampling-based software for estimating optimal sample size
The SISSI program implements a novel approach for the estimation of the optimal sample size in experimental data collection. It provides avisual evaluation system of sample size d...
Roberto Confalonieri, Marco Acutis, Gianni Bellocc...
EOR
2007
79views more  EOR 2007»
14 years 9 months ago
The directional p
An instance of a p-median problem gives n demand points. The objective is to locate p supply points in order to minimize the total distance of the demand points to their nearest s...
Laura E. Jackson, George N. Rouskas, Matthias F. M...