783 search results - page 6 / 157 » The Bio-PEPA Tool Suite |
BMCBI
2008
13 years 8 months ago
2008
Background: High-throughput genome biological experiments yield large and multifaceted datasets that require flexible and user-friendly analysis tools to facilitate their interpre...
SERA
2004
Springer
14 years 1 months ago
2004
Springer
NuEditor is a tool suite supporting specification and verification of software requirements written in NuSCR. NuSCR extends SCR (Software Cost Reduction) notation that has been us...
ITICSE
2000
ACM
14 years 7 days ago
2000
ACM
A collection of tools for creation of advanced and comprehensive course home pages is presented. The tools cover the spectrum from course overview pages and hypertext teaching mat...
MICCAI
2000
Springer
13 years 11 months ago
2000
Springer
We describe a new magnetic resonance (MR) image analysis tool that produces cortical surface representations with spherical topology from MR images of the human brain. The tool pr...
ICRA
2002
IEEE
14 years 25 days ago
2002
IEEE
This paper describes a set of tools that allows a developer to instrument an autonomous control system to log data at run-time and then analyze that data to verify correct program...