Search Sciweavers | Sciweavers

23

DLOG
2009

144views Automated Reasoning» more DLOG 2009»

Testing Provers on a Grid - Framework Description

13 years 5 months ago

Abstract. GridTest is a framework for testing automated theorem provers using randomly generated formulas. It can be used to run tests locally, in a single computer, or in a comput...

Carlos Areces, Daniel Gorín, Alejandra Lore...

claim paper

Read More »

33

click to vote

HIPC
2009
Springer

212views Distributed And Parallel Com...» more HIPC 2009»

Comparing the performance of clusters, Hadoop, and Active Disks on microarray correlation computations

13 years 5 months ago

Download www.cse.buffalo.edu

Abstract--Microarray-based comparative genomic hybridization (aCGH) offers an increasingly fine-grained method for detecting copy number variations in DNA. These copy number variat...

Jeffrey A. Delmerico, Nathanial A. Byrnes, Andrew ...

claim paper

Read More »

25

click to vote

ICRA
2009
IEEE

178views Robotics» more ICRA 2009»

A riemannian-geometry approach for dynamics and control of object manipulation under constraints

13 years 5 months ago

Download rtc.nagoya.riken.jp

A Riemannian-geometry approach for control and stabilization of dynamics of object manipulation under holonomic or non-holonomic (but Pfaffian) constraints is presented. First, pos...

Suguru Arimoto, Morio Yoshida, Masahiro Sekimoto, ...

claim paper

Read More »

23

click to vote

EVOW
2011
Springer

204views Artificial Intelligence» more EVOW 2011»

Local Search for Mixed-Integer Nonlinear Optimization: A Methodology and an Application

12 years 11 months ago

Download pageperso.lif.univ-mrs.fr

Abstract. A methodology is presented for tackling mixed-integer nonlinear optimization problems by local search, in particular large-scale real-life problems. This methodology is i...

Frédéric Gardi, Karim Nouioua

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers