831 search results - page 27 / 167 » Coalgebraic Correspondence Theory |
JCC
2002
13 years 7 months ago
2002
: The quasi-degenerate perturbation theory (QDPT) with complete active space (CAS) self-consistent field (SCF) reference functions is extended to the general multiconfiguration (MC...
LATIN
2010
Springer
14 years 2 months ago
2010
Springer
Concurrent compositions of recursive programs with finite a natural abstraction model for concurrent programs. Since reachability is undecidable for this class, a restricted form ...
GG
2004
Springer
14 years 23 days ago
2004
Springer
The concept of typed attributed graph transformation is most significant for modeling and meta modeling in software engineering and visual languages, but up to now there is no ade...
IADIS
2003
13 years 8 months ago
2003
The authors introduce a decision chart previously developed to identify web site features that would be suitable for small businesses in their interactions with customers. The dec...
TSP
2008
13 years 7 months ago
2008
Shannon's sampling theory and its variants provide effective solutions to the problem of reconstructing a signal from its samples in some "shift-invariant" space, wh...