Sciweavers

1601 search results - page 178 / 321
» The Protein Data Bank
Sort
View
ICIP
2002
IEEE
16 years 8 months ago
Reduced DCT approximations for low bit rate coding
Transform approximations are explored for speeding up the software compression of images and video. Faster approximations are used to replace the regular DCT whenever only few DCT...
Ricardo L. de Queiroz
IROS
2007
IEEE
135views Robotics» more  IROS 2007»
16 years 23 days ago
Dynamic identification of a mitsubishi pa10-6ce robot using motion capture
—This paper discusses a method to identify dynamic parameters in a rigid-link flexible-joint robot model using motion capture. The procedure is divided into two parts. First, the...
Chris Lightcap, Scott A. Banks
BIRTHDAY
2010
Springer
15 years 5 months ago
Specifying and Verifying Organizational Security Properties in First-Order Logic
In certain critical cases the data flow between business departments in banking organizations has to respect security policies known as Chinese Wall or Bell–La Padula. We show t...
Christoph Brandt, Jens Otten, Christoph Kreitz, Wo...
UTP
2010
15 years 4 months ago
Unifying Theories of Confidentiality
Abstract. This paper presents a framework for reasoning about the security of confidential data within software systems. A novelty is that we use Hoare and He's Unifying Theor...
Michael J. Banks, Jeremy L. Jacob
NAR
1998
90views more  NAR 1998»
15 years 6 months ago
The Human Collagen Mutation Database 1998
The collagens are a large and diverse family of proteins which are found in the extracellular matrix. In common with one another, the 19 known collagen types have triple-helical d...
Raymond Dalgleish