3928 search results - page 120 / 786 » order 2006 |
121
click to vote
EUROSPI
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. This paper presents a case study of how a Norwegian company introduced an ISO certified process. By identifying the company's strong and weak sides plus the expectat...
109
click to vote
CADE
2006
Springer
16 years 4 months ago
2006
Springer
It is well-known that the connection refinement of clause tableaux with paramodulation is incomplete (even with weak connections). In this paper, we present a new connection tablea...
141
click to vote
DAGSTUHL
2006
15 years 5 months ago
2006
In this paper we outline two cryptoanalytic attacks against hardware implementation of the shrinking generator by Coppersmith et al., a classic design in low-cost, simple-design p...
110
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
We formalise and mechanise a construtive, proof theoretic proof of Craig's Interpolation Theorem in Isabelle/HOL. We give all the definitions and lemma statements both formal...
119
click to vote
CPHYSICS
2006
15 years 4 months ago
2006
The theory of the point and double groups has been widely used in quantum physics to understand the structure and dynamical properties of molecules and solids. In order to constru...