3273 search results - page 238 / 655 » Structured Design of Microelectromechanical Systems |
161
click to vote
BMCBI
2011
14 years 8 months ago
2011
Background: High-throughput mass spectrometry (MS) proteomics data is increasingly being used to complement traditional structural genome annotation methods. To keep pace with the...
195
click to vote
SIGMOD
2007
ACM
16 years 4 months ago
2007
ACM
In contrast to classical databases and IR systems, real-world information systems have to deal increasingly with very vague and diverse structures for information management and s...
123
click to vote
CHARME
2001
Springer
15 years 9 months ago
2001
Springer
Formal analysis remains outside the mainstream of system design practice. Interactive methods and tools are regarded by some to be on the margin of useful research in this area. Al...
120
click to vote
WWW
2003
ACM
16 years 5 months ago
2003
ACM
Conference time-tables provide information that is indispensable for all attendees. Since there are a lot of reusable data structures and tasks, we have designed the Conference Ti...
119
click to vote
ISSAC
2007
Springer
15 years 10 months ago
2007
Springer
Approximate symbolic computation problems can be formulated as constrained or unconstrained optimization problems, for example: GCD [3, 8, 12, 13, 23], factorization [5, 10], and ...