722 search results - page 100 / 145 » Development of Support Tool for NMR Spectrum Analysis |
DATE
2006
IEEE
15 years 3 months ago
2006
IEEE
Practitioners of formal property verification often work around the capacity limitations of formal verification tools by breaking down properties into smaller properties that ca...
MSS
1999
IEEE
15 years 2 months ago
1999
IEEE
In common with many large institutes, CERN has traditionally developed and maintained its own data management solutions. Recently, a significant change of direction has taken plac...
115
click to vote
BMCBI
2006
14 years 9 months ago
2006
Background: The proliferation of data repositories in bioinformatics has resulted in the development of numerous interfaces that allow scientists to browse, search and analyse the...
GIS
2009
ACM
15 years 2 months ago
2009
ACM
Harnessing the potential of today’s ever growing and dynamic geospatial data requires the development of novel visual analysis interfaces, tools and technologies. In this paper,...
WSC
2007
15 years 2 days ago
2007
Agility, speed and flexibility in production networks are required in today's global competition in the flat world. The accuracy of order date delivery promises is a key elem...