Sciweavers

110 search results - page 3 / 22

» da 2010

11

IPAW
2010

113views Information Technology» more IPAW 2010»

Browsing Proof Markup Language Provenance: Enhancing the Experience

13 years 3 months ago

Browsing Proof Markup Language Provenance: Enhancing the Experience

Download tw.rpi.edu

Nicholas Del Rio, Paulo Pinheiro da Silva, Hugo Po...

claim paper

Read More »

3

ENTCS
2006

113views more ENTCS 2006»

Analytical Tableaux for da Costa's Hierarchy of Paraconsistent Logics

13 years 5 months ago

Analytical Tableaux for da Costa's Hierarchy of Paraconsistent Logics

Download www.cle.unicamp.br

Itala M. Loffredo D'Ottaviano, Milton Augustinis D...

claim paper

Read More »

8

ER
2010
Springer

126views Database» more ER 2010»

DaProS: A Data Property Specification Tool to Capture Scientific Sensor Data Properties

13 years 3 months ago

DaProS: A Data Property Specification Tool to Capture Scientific Sensor Data Properties

Download www.bgu.ac.il

Irbis Gallegos, Ann Q. Gates, Craig Tweedie

claim paper

Read More »

22

BIOSTEC
2010

763views Healthcare» more BIOSTEC 2010»

Matlab Software for Detrended Fluctuation Analysis of Heart Rate Variability

13 years 4 days ago

Matlab Software for Detrended Fluctuation Analysis of Heart Rate Variability

Download pgea.unb.br

Fernanda S. Leite, Adson F. da Rocha, João ...

claim paper

Read More »

13

BMCBI
2010

145views more BMCBI 2010»

JCoDA: a tool for detecting evolutionary selection

13 years 5 months ago

JCoDA: a tool for detecting evolutionary selection

Download www.biomedcentral.com

Background: The incorporation of annotated sequence information from multiple related species in commonly used databases (Ensembl, Flybase, Saccharomyces Genome Database, Wormbase...

Steven N. Steinway, Ruth Dannenfelser, Christopher...

claim paper

Read More »

« Prev « First page 3 / 22 Last » Next »