We present a technique for adding a high-frequency pattern to JPEG images that is imperceptible to the unaided eye, but turns into a clearly readable largeletter warning if the image is recompressed with some different quality factor. Our technique aims to achieve a goal similar to copy-evident security-printing techniques for paper documents, namely to have an easily recognizable text message ...

Targeting nuclear DNA-encoded tRNA is a quasi-ubiquitous process, found in a variety of species, although the mechanisms of this pathway seem to differ from one system to another. In all cases reported, this import concerns small non-coding RNAs and the vast majority of imported RNAs are transfer RNAs. If was commonly assumed that the main criterion to presume a tRNA to be imported is the absen...

Many logical systems justify their consistency via proofs of cut elimination or normalization. However, these metatheoretic proofs inevitably use a transfinite induction which cannot be proved wellfounded within the system itself. We present evident logic, a logical system with a normalization proof which does not require any induction that is stronger than what is available within the logical ...

In recent years, combinations of terms have become popular where one component is „computational“ or some relative of it, whereas the other is „aesthetics“ or „art“ or „creativity“, etc. The Dagstuhl seminar, to which this personal note owes its appearance, had the number 09291 and the title Computational Creativity: an Interdisciplinary Approach. Good old C. P. Snow would probably like such te...

Networks are important storage data structures now used to store personal information of individuals around the globe. With the advent of personal genome sequencing, networks are going to be used to store personal genomic sequencing of people. In contrast to social media networks, the importance of relationships in this genomic network is extremely significant. Losing connections between indivi...