Search Sciweavers | Sciweavers

10088 search results - page 2018 / 2018

» Queries and Computation on the Web

click to vote

ICSE
2007
IEEE-ACM

168views Software Engineering» more ICSE 2007»

ACL2s: "The ACL2 Sedan"

14 years 12 days ago

Download www.ccs.neu.edu

ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a ﬁnely tuned race ...

Peter C. Dillinger, Panagiotis Manolios, Daron Vro...

claim paper

Read More »

click to vote

BIRTHDAY
2009
Springer

96views Applied Computing» more BIRTHDAY 2009»

Verwaltungsdurchblick mit Verwaltungsdurchklick

13 years 11 months ago

Download www.dhv-speyer.de

: Die Regionen sind im Gefolge der jüngsten nationalen und internationalen Herausforderungen in den Mittelpunkt der Governance-Diskussion gerückt. Die Europäische Metropolregion...

Heinrich Reinermann

claim paper

Read More »

click to vote

BMCBI
2007

144views more BMCBI 2007»

InPrePPI: an integrated evaluation method based on genomic context for predicting protein-protein interactions in prokaryotic ge

13 years 6 months ago

Download www.biomedcentral.com

Background: Although many genomic features have been used in the prediction of proteinprotein interactions (PPIs), frequently only one is used in a computational method. After rea...

Jingchun Sun, Yan Sun, Guohui Ding, Qi Liu, Chuan ...

claim paper

Read More »

« Prev « First page 2018 / 2018 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers