Sciweavers

11949 search results - page 356 / 2390
» Some results on (a:b)-choosability
Sort
View
ASIACRYPT
2003
Springer
15 years 7 months ago
The Secret and Beauty of Ancient Chinese Padlocks
Most ancient Chinese padlocks are key-operated locks with splitting springs, and partially keyless letter-combination locks. They can be characterized based on the types of locks, ...
Hong-Sen Yan, Hsing-Hui Huang
108
Voted
CAEPIA
2003
Springer
15 years 7 months ago
A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning
Non-classical logics have proven to be an adequate framework to formalize knowledge representation. In this paper we focus on a multimodal approach to formalize order-of-magnitude ...
Alfredo Burrieza, Manuel Ojeda-Aciego
CHES
2003
Springer
114views Cryptology» more  CHES 2003»
15 years 7 months ago
True Random Number Generators Secure in a Changing Environment
A true random number generator (TRNG) usually consists of two components: an “unpredictable” source with high entropy, and a randomness extractor — a function which, when app...
Boaz Barak, Ronen Shaltiel, Eran Tromer
143
Voted
EUROGP
2003
Springer
259views Optimization» more  EUROGP 2003»
15 years 7 months ago
Research of a Cellular Automaton Simulating Logic Gates by Evolutionary Algorithms
This paper presents a method of using genetic programming to seek new cellular automata that perform computational tasks. Two genetic algorithms are used : the first one discovers ...
Emmanuel Sapin, Olivier Bailleux, Jean-Jacques Cha...
88
Voted
FM
2003
Springer
129views Formal Methods» more  FM 2003»
15 years 7 months ago
Trends in Software Verification
With the steady increase in computational power of general purpose computers, our ability to analyze routine software artifacts is also steadily increasing. As a result, we are wit...
Gerard J. Holzmann