Sciweavers

2826 search results - page 16 / 566
» A resource-based analysis of IT sourcing
Sort
View
FOSAD
2009
Springer
14 years 3 months ago
The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...
Sebastian Mödersheim, Luca Viganò
SNPD
2004
13 years 10 months ago
Prediction of Protein Dispensability through Integrated Analysis of Multiple-Source High-Throughput Data
Protein dispensability is fundamental to understanding of gene function and evolution. It is usually studied at the individual gene phenotype level. Recent advances in generating ...
Yu Chen, Dong Xu
BMCBI
2008
122views more  BMCBI 2008»
13 years 8 months ago
OpenDMAP: An open source, ontology-driven concept analysis engine, with applications to capturing knowledge regarding protein tr
Background: Information extraction (IE) efforts are widely acknowledged to be important in harnessing the rapid advance of biomedical knowledge, particularly in areas where import...
Lawrence Hunter, Zhiyong Lu, James Firby, William ...
ICASSP
2007
IEEE
14 years 2 months ago
Analysis of Musical Instrument Sounds by Source-Filter-Decay Model
This paper proposes a way of modelling the time-varying spectral energy distribution of musical instrument sounds. The model consists of an excitation signal, a body response fil...
Anssi Klapuri