Search Sciweavers | Sciweavers

33

BMCBI
2005

99views more BMCBI 2005»

maxdLoad2 and maxdBrowse: standards-compliant tools for microarray experimental annotation, data management and dissemination

13 years 10 months ago

Download www.biomedcentral.com

Background: maxdLoad2 is a relational database schema and Java

David Hancock, Michael Wilson, Giles Velarde, Norm...

claim paper

Read More »

21

click to vote

JUCS
2007

116views more JUCS 2007»

Model Checking: Software and Beyond

13 years 10 months ago

Download www.cs.cmu.edu

: This paper introduces model checking, originally conceived for checking ﬁnite state systems. It surveys its evolution to encompass ﬁnitely checkable properties of systems wit...

Edmund M. Clarke, Flavio Lerda

claim paper

Read More »

24

click to vote

BMCBI
2004

62views more BMCBI 2004»

Pegasys: software for executing and integrating analyses of biological sequences

13 years 10 months ago

Download www.biomedcentral.com

Background: We present Pegasys

Sohrab P. Shah, David Y. M. He, Jessica N. Sawkins...

claim paper

Read More »

34

click to vote

ENTCS
2007

107views more ENTCS 2007»

Event Domains, Stable Functions and Proof-Nets

13 years 10 months ago

Download www.comlab.ox.ac.uk

We pursue the program of exposing the intrinsic mathematical structure of the “space of proofs” of a logical system [AJ94b]. We study the case of Multiplicative-Additive Linea...

Samson Abramsky

claim paper

Read More »

24

click to vote

AML
2006

49views more AML 2006»

No Escape from Vardanyan's theorem

13 years 10 months ago

Download www.phil.uu.nl

Vardanyan's Theorem states that the set of PA-valid principles of Quantified Modal Logic, QML, is complete 0 2. We generalize this result to a wide class of theories. The cru...

Albert Visser, Maartje de Jonge

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers