Sciweavers

1975 search results - page 145 / 395
» Property analysis and design understanding
Sort
View
163
Voted
BMCBI
2007
113views more  BMCBI 2007»
15 years 6 months ago
Analysis and prediction of antibacterial peptides
Background: Antibacterial peptides are important components of the innate immune system, used by the host to protect itself from different types of pathogenic bacteria. Over the l...
Sneh Lata, B. K. Sharma, G. P. S. Raghava
SAS
1999
Springer
15 years 11 months ago
Polyhedral Analysis for Synchronous Languages
We define an operational semantics for the Signal language and design an analysis which allows to verify properties pertaining to the relation between values of the numeric and bo...
Frédéric Besson, Thomas P. Jensen, J...
CVPR
2011
IEEE
15 years 3 months ago
An Analysis of Using High-Frequency Sinusoidal Illumination to Measure the 3D Shape of Translucent Objects
Using optical triangulation methods to measure the shape of translucent objects is difficult because subsurface scattering contaminates measurements of the “direct” reflecti...
Michael Holroyd, Jason Lawrence
SPATIALCOGNITION
2000
Springer
15 years 10 months ago
Interactive Layout Generation with a Diagrammatic Constraint Language
The paper analyzes a diagrammatic reasoning problem that consists in finding a graphical layout which simultaneously satisfies a set of constraints expressed in a formal language a...
Christoph Schlieder, Cornelius Hagen
CRYPTO
2000
Springer
134views Cryptology» more  CRYPTO 2000»
15 years 11 months ago
Taming the Adversary
Abstract. While there is a great deal of sophistication in modern cryptology, simple (and simplistic) explanations of cryptography remain useful and perhaps necessary. Many of the ...
Martín Abadi