Abstract. In the first part of this paper we present a theory of proof nets for full multiplicative linear logic, including the two units. It naturally extends the well-known theor...
Background: Methods are now available for the prediction of interaction sites in protein 3D structures. While many of these methods report high success rates for site prediction, ...
Ying Wei, Jaeju Ko, Leonel F. Murga, Mary Jo Ondre...
This paper presents a method of minutiae based fingerprint matching that is robust to deformations and does not do fingerprint alignment. It concentrates on comparing rotation and ...
Future space applications will require robotic systems to assemble, inspect, and maintain large space structures in orbit. For effective planning and control, robots will need to ...
In this article, we propose a new method for computing rare maximal exact matches between multiple sequences. A rare match between k sequences S1; : : :; Sk is a string that occur...