1222 search results - page 73 / 245 » corr 2008 |
141
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
This paper presents simple, syntactic strong normalization proofs for the simply-typed -calculus and the polymorphic -calculus (system F) with the full set of logical connectives, ...
165
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
: In this paper, we will propose a new type of cipher named DICING_CSB, which come from our previous a synchronous stream cipher DICING. It applies a stream of subkeys and a encryp...
178
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
This article examines rules of style for text, graphics, and mathematics and applies these rules to spreadsheets. The article describes the new style in detail with an example and...
152
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
In this study the dynamic behaviour of perforated microplates oscillating under the effect of squeeze film damping is analyzed. A numerical approach is adopted to predict the effe...
128
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
The instances of templates in Wikipedia form an interesting data set of structured information. Here I focus on the cite journal template that is primarily used for citation to art...