Sciweavers

11949 search results - page 356 / 2390
» Some results on (a:b)-choosability
Sort
View
ASIACRYPT
2003
Springer
16 years 28 days 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
CAEPIA
2003
Springer
16 years 28 days 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»
16 years 28 days 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
EUROGP
2003
Springer
259views Optimization» more  EUROGP 2003»
16 years 27 days 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...
FM
2003
Springer
129views Formal Methods» more  FM 2003»
16 years 27 days 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