Marijn Heule turns mathematical statements into something like Sudoku puzzles, then has computers go to work on them. His ...

Abstract: For any alphabet, consider sequences that both contain no consecutive repeated symbols and have the same number of occurrences of symbols from a specified subset of the alphabet. These ...

Ah, the halcyon days of 1993. What a year it was! Bill Nye the Science Guy started airing in syndication, Jerry Seinfeld was 39 and going out with a teenage girl, and Craisins were finally, finally ...

Abstract: To protect the security of image information in storage or transmission. We present a color image encryption algorithm based on the image features, which are unique to each other. Firstly, ...