Sciweavers

828 search results - page 67 / 166
» Inverse Tension Problems
Sort
View
ICRE
1996
IEEE
15 years 8 months ago
Collaboration during conceptual design
Conceptual design involves requirements analysis, functional specification, and architectural design. It remains informal and poorly understood. We studied the conceptual design a...
Lara D. Catledge, Colin Potts
EMSOFT
2004
Springer
15 years 7 months ago
A methodology for generating verified combinatorial circuits
High-level programming languages offer significant expressivity but provide little or no guarantees about resource use. Resourcebounded languages -- such as hardware-description l...
Oleg Kiselyov, Kedar N. Swadi, Walid Taha
SIAMAM
2008
78views more  SIAMAM 2008»
15 years 4 months ago
Fingering from Ionization Fronts in Plasmas
Abstract. In this paper we describe the formation of fingers from ionization fronts for a hydrodynamic plasma model. The fingers result from a balance between the destabilizing eff...
Manuel Arrayás, Santiago Betelú, Mar...
ICRA
2010
IEEE
97views Robotics» more  ICRA 2010»
15 years 2 months ago
Enhanced trajectory tracking control with active lower bounded stiffness control for cable robot
— Cable robots have seen considerable recent interest ensuing from their ability to combine a large workspace with significant payload capacity. However, the cables can apply for...
Kun Yu, Leng-Feng Lee, Chin Pei Tang, Venkat Krovi
ACRI
2004
Springer
15 years 9 months ago
SAT-Based Analysis of Cellular Automata
Abstract. Cellular Automata are a powerful formal model for describing physical and computational processes. Qualitative analysis of Cellular Automata is in general a hard problem....
Massimo D'Antonio, Giorgio Delzanno