Sciweavers

1580 search results - page 180 / 316
» CoTeSys - Cognition for Technical Systems
Sort
View
ICITS
2009
15 years 4 months ago
Free-Start Distinguishing: Combining Two Types of Indistinguishability Amplification
Abstract. The term indistinguishability amplification refers to a setting where a certain construction combines two (or more) cryptographic primitives of the same type to improve t...
Peter Gazi, Ueli Maurer
OIR
2011
258views Neural Networks» more  OIR 2011»
15 years 1 months ago
The Effect of Social Influence on The Bloggers' Usage Intention
: Among Internet applications, blogs are known for its exponential growth in recent years. Blogs can be viewed as a kind of information system which people used to communicate with...
Shu-ming Wang, Judy Chuan-Chuan Lin
TITB
2002
76views more  TITB 2002»
15 years 6 months ago
Technology improvements for image-guided and minimally invasive spine procedures
This paper reports on technology developments aimed at improving the state of the art for image-guided minimally invasive spine procedures. Back pain is a major health problem with...
Kevin Cleary, Mark Clifford, Dan Stoianovici, Matt...
EMSOFT
2006
Springer
15 years 10 months ago
Time-triggered implementations of dynamic controllers
Bridging the gap between model-based design and platformbased implementation is one of the critical challenges for embedded software systems. In the context of embedded control sy...
Truong Nghiem, George J. Pappas, Rajeev Alur, Anto...
LICS
1991
IEEE
15 years 10 months ago
On the Deduction Rule and the Number of Proof Lines
d Abstract) Maria Luisa Bonet∗ Samuel R. Buss∗ Department of Mathematics Department of Mathematics U.C. Berkeley U.C. San Diego Berkeley, California 94720 La Jolla, California ...
Maria Luisa Bonet, Samuel R. Buss