Sciweavers

2486 search results - page 218 / 498
» Simulation Optimization Research and Development
Sort
View
FOCS
2007
IEEE
15 years 9 months ago
Covert Multi-Party Computation
In STOC’05, Ahn, Hopper and Langford introduced the notion of covert computation. A covert computation protocol is one in which parties can run a protocol without knowing if oth...
Nishanth Chandran, Vipul Goyal, Rafail Ostrovsky, ...
GECCO
2005
Springer
156views Optimization» more  GECCO 2005»
15 years 8 months ago
Evolving analog controllers for correcting thermoacoustic instability in real hardware
Previous research demonstrated that Evolvable Hardware (EH) techniques can be employed to suppress Thermoacoustic (TA) instability in a computer simulated combustion chamber. Thou...
Saranyan Vigraham, John C. Gallagher, Sanjay K. Bo...
ESOP
2010
Springer
16 years 11 days ago
Generative Operational Semantics for Relaxed Memory Models
The specification of the Java Memory Model (JMM) is phrased in terms of acceptors of execution sequences rather than the standard generative view of operational semantics. This cre...
Radha Jagadeesan, Corin Pitcher and James Riely
ICRA
2005
IEEE
118views Robotics» more  ICRA 2005»
15 years 8 months ago
Planning for Steerable Bevel-tip Needle Insertion Through 2D Soft Tissue with Obstacles
— We explore motion planning for a new class of highly flexible bevel-tip medical needles that can be steered to previously unreachable targets in soft tissue. Planning for thes...
Ron Alterovitz, Kenneth Y. Goldberg, Allison M. Ok...
GECCO
2009
Springer
175views Optimization» more  GECCO 2009»
15 years 7 months ago
Evolving soft robotic locomotion in PhysX
Given the complexity of the problem, genetic algorithms are one of the more promising methods of discovering control schemes for soft robotics. Since physically embodied evolution...
John Rieffel, Frank Saunders, Shilpa Nadimpalli, H...