We present a data structure to index a specific kind of factors, that is of substrings, called gapped-factors. A gapped-factor is a factor containing a gap that is ignored during ...
Pierre Peterlongo, Julien Allali, Marie-France Sag...
We motivate and introduce a query language PrQL designed for inspecting machine representations of proofs. PrQL natively supports hiproofs which express proof structure using hiera...
This work compares and contrasts two component frameworks: (1) the web-centric Java 2 Enterprise Edition (J2EE) framework and (2) the FIPA-compliant multi-agent system (MAS). FIPA...
—We consider 3D brain structures as continuous parameterized surfaces and present a metric for their comparisons that is invariant to the way they are parameterized. Past compari...
Sebastian Kurtek, Eric Klassen, Zhaohua Ding, Sand...
Determining the number and location of disulfide bonds within a protein provide valuable insight into the protein’s three-dimensional structure. Purely computational methods tha...
Timothy Lee, Rahul Singh, Ten-Yang Yen, Bruce Mach...