Sciweavers

110 search results - page 3 / 22

» da 2010

110

IPAW
2010

113views Information Technology» more IPAW 2010»

Browsing Proof Markup Language Provenance: Enhancing the Experience

15 years 27 days 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 »

52

ENTCS
2006

113views more ENTCS 2006»

Analytical Tableaux for da Costa's Hierarchy of Paraconsistent Logics

15 years 3 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 »

101

ER
2010
Springer

126views Database» more ER 2010»

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

15 years 1 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 »

127

Voted

BIOSTEC
2010

763views Healthcare» more BIOSTEC 2010»

Matlab Software for Detrended Fluctuation Analysis of Heart Rate Variability

14 years 10 months 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 »

118

BMCBI
2010

145views more BMCBI 2010»

JCoDA: a tool for detecting evolutionary selection

15 years 3 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 »