TRIPLES is a web-accessible database of TRansposonInsertion Phenotypes, Localization and Expression in Saccharomyces cerevisiae--a relational database housing nearly half a millio...
Anuj Kumar, Kei-Hoi Cheung, Nick P. Tosches, Peter...
We propose here an extension of Rice's Theorem to first-order logic, proven by totally elementary means. If P is any property defined over the collection of all first-order t...
—Network Tomography (or network monitoring) uses end-to-end path-level measurements to characterize the network, such as topology estimation and failure detection. This work prov...
Gowers [Gow98, Gow01] introduced, for d 1, the notion of dimension-d uniformity Ud (f) of a function f : G C, where G is a finite abelian group. Roughly speaking, if a function ...
he significant increase in the available computational power that took place in recent decades has been accompanied by a growing interest in the application of the evolutionary ap...