Sciweavers

376 search results - page 75 / 76
» Multiple Sequence Alignment using Fuzzy Logic
Sort
View
BMCBI
2005
75views more  BMCBI 2005»
13 years 6 months ago
Prediction of a common structural scaffold for proteasome lid, COP9-signalosome and eIF3 complexes
Background: The 'lid' subcomplex of the 26S proteasome and the COP9 signalosome (CSN complex) share a common architecture consisting of six subunits harbouring a so-call...
Hartmut Scheel, Kay Hofmann
TACAS
2000
Springer
149views Algorithms» more  TACAS 2000»
13 years 9 months ago
Proof General: A Generic Tool for Proof Development
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...
David Aspinall
DFG
2007
Springer
14 years 13 days ago
PointCloudXplore 2: Visual Exploration of 3D Gene Expression
: To better understand how developmental regulatory networks are defined in the genome sequence, the Berkeley Drosophila Transcription Network Project (BDNTP) has developed a suit...
Oliver Rübel, Gunther H. Weber, Min-Yu Huang,...
CGO
2005
IEEE
13 years 12 months ago
Compiler Managed Dynamic Instruction Placement in a Low-Power Code Cache
Modern embedded microprocessors use low power on-chip memories called scratch-pad memories to store frequently executed instructions and data. Unlike traditional caches, scratch-p...
Rajiv A. Ravindran, Pracheeti D. Nagarkar, Ganesh ...
DAC
2009
ACM
14 years 7 months ago
Context-sensitive timing analysis of Esterel programs
Traditionally, synchronous languages, such as Esterel, have been compiled into hardware, where timing analysis is relatively easy. When compiled into software ? e.g., into sequent...
Lei Ju, Bach Khoa Huynh, Samarjit Chakraborty, Abh...