Calculus of Variations and Optimal Control Optimization Business/Management Science, general Operation Research/Decision Theory Industry Sectors Automotive Finance, Business & Banking IT & Software Telec
As an upshot, I will observe that the setting allows for interpretations of computational calculi (like the lambda calculus, both typed and untyped; the recently introduced differential lambda calculus of Ehrhard and Regnier; etc ) that can be directly seen as translations into a more basic ...
S. Roman The Umbral Calculus Academic Press, New York (1984) Google Scholar [20] F. Ruskey On the average shape of binary trees SIAM J. Algebraic Discrete Methods I, 1 (1980), pp. 43-49 CrossrefGoogle Scholar [21] B. Salvy Private communication (1992) [22] L.V. Shapiro, S. ...
Sistla, On model-checking for fragments of μ-calculus, in: C. Courcoubetis (Ed.), Computer Aided Verification, Proceedings of the Fifth International Conference, Lecture Notes in Computer Science, vol. 697, 1993, pp. 385–396. Google Scholar [20] V.A. Gurvich, A.V. Karzanov, L.G....
Trench WF (1978) Advanced calculus. Harper & Row, New York Google Scholar Xu J (2005) Rapid protein side-chain packing via tree decomposition. In: Research in computational molecular biology, 9th annual international conference, pp 408–422 Download references ...
Existing graph drawing systems imply the use of specific algorithms for each kind of data structures. This paper provide a description of the Adocs program. The program is based on a generic description of the structures, and thus allows to draw structur
Sistla, On model-checking for fragments of μ-calculus, in: C. Courcoubetis (Ed.), Computer Aided Verification, Proceedings of the Fifth International Conference, Lecture Notes in Computer Science, vol. 697, 1993, pp. 385–396. Google Scholar [20] V.A. Gurvich, A.V. Karzanov, L.G....