Sciweavers

207 search results - page 36 / 42
» Protein Sequencing Experiment Planning Using Analogy
Sort
View
CAV
2006
Springer
164views Hardware» more  CAV 2006»
13 years 11 months ago
Allen Linear (Interval) Temporal Logic - Translation to LTL and Monitor Synthesis
The relationship between two well established formalisms for temporal reasoning is first investigated, namely between Allen's interval algebra (or Allen's temporal logic,...
Grigore Rosu, Saddek Bensalem
BMCBI
2006
128views more  BMCBI 2006»
13 years 7 months ago
Construction of a nasopharyngeal carcinoma 2D/MS repository with Open Source XML Database - Xindice
Background: Many proteomics initiatives require integration of all information with uniformcriteria from collection of samples and data display to publication of experimental resu...
Feng Li, Maoyu Li, Zhiqiang Xiao, Pengfei Zhang, J...
CCGRID
2005
IEEE
13 years 9 months ago
A semantic grid-based data access and integration service for bioinformatics
Given the heterogeneous nature of biological data and their intensive use in many tools, in this paper we propose a semantic data access and integration (DAI) service, based on th...
Giovanni Aloisio, Massimo Cafaro, Italo Epicoco, S...
EVOW
2004
Springer
14 years 1 months ago
Two-Step Genetic Programming for Optimization of RNA Common-Structure
We present an algorithm for identifying putative non-coding RNA (ncRNA) using an RCSG (RNA Common-Structural Grammar) and show the effectiveness of the algorithm. The algorithm con...
Jin-Wu Nam, Je-Gun Joung, Y. S. Ahn, Byoung-Tak Zh...
ICRA
2002
IEEE
85views Robotics» more  ICRA 2002»
14 years 18 days ago
Locomotion and Navigation of a Planar Walker Based on Binary Actuation
: Locomotion and navigation of a surface walking/climbing robot – Planar Walker, based on a novel planar 8-bar mechanism are studied. The robot moves on a surface through decoupl...
I-Ming Chen, Song Huat Yeo