We describe the Biomolecule Stretching Data Base that has been recently set up at http://www.ifpan .edu.pl/BSDB/. It provides information about mechanostability of proteins. Its c...
Mateusz Sikora, Joanna I. Sulkowska, Bartlomiej S....
Visual patterns on the surface of an object, such as two dimensional texture, are taken into consideration as part of the geometry remeshing process. Given a parameterized mesh an...
Abstract. Today’s parallel computers with SMP nodes provide both multithreading and message passing as their modes of parallel execution. As a consequence, performance analysis a...
We define and study bisimulation for proving contextual equivalence in an aspect extension of the untyped lambda-calculus. To our knowledge, this is the first study of coinductive...
Abstract. Software flaws in applications such as a browser may be exploited by attackers to launch drive-by-download (DBD), which has become the major vector of malware infection....