12 search results - page 3 / 3 » Surrounding Theorem: Developing Parallel Programs for Matrix... |
JCC
2008
13 years 6 months ago
2008
Abstract: We have developed a fitting algorithm able to extract spectral and dynamic properties of a three level oscillator from a two-dimensional infrared spectrum (2D-IR) detecte...
ICLP
2011
Springer
12 years 10 months ago
2011
Springer
Transaction Logic is an extension of classical logic that gracefully integrates both declarative and procedural knowledge and has proved itself as a powerful formalism for many ad...