Sciweavers

1823 search results - page 176 / 365
» Generating Multiple New Designs From a Sketch
Sort
View
CORR
2010
Springer
93views Education» more  CORR 2010»
13 years 8 months ago
Parallelized Solution to Semidefinite Programmings in Quantum Complexity Theory
In this paper we present an equilibrium value based framework for solving SDPs via the multiplicative weight update method which is different from the one in Kale's thesis [K...
Xiaodi Wu
GLOBECOM
2007
IEEE
14 years 2 months ago
Four Group Decodable Differential Scaled Unitary Linear Space-Time Codes
— Differential Unitary Space-Time Block codes (STBCs) offer a means to communicate on the Multiple Input Multiple Output (MIMO) channel without the need for channel knowledge at ...
G. Susinder Rajan, B. Sundar Rajan
BMCBI
2008
94views more  BMCBI 2008»
13 years 8 months ago
Structural assembly of two-domain proteins by rigid-body docking
Background: Modelling proteins with multiple domains is one of the central challenges in Structural Biology. Although homology modelling has successfully been applied for predicti...
Tammy M. K. Cheng, Tom L. Blundell, Juan Fern&aacu...
CAV
2004
Springer
126views Hardware» more  CAV 2004»
13 years 11 months ago
An Efficiently Checkable, Proof-Based Formulation of Vacuity in Model Checking
Model checking algorithms can report a property as being true for reasons that may be considered vacuous. Current algorithms for detecting vacuity require either checking a quadrat...
Kedar S. Namjoshi
EVOW
2001
Springer
14 years 15 days ago
Interactions between Art and Mobile Robotic System Engineering
The field of mobile robotics offers a new medium for public entertainment and art. Mobile robots can move, react, and interact in the real world, generating behaviors that can be u...
Francesco Mondada, Skye Legon