Metzler, Björn Decomposing integrated specifications for verification. (English) Zbl 1213.68384 Davies, Jim (ed.) et al., Integrated formal methods. 6th international conference, IFM 2007, Oxford, UK, July 2–5, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73209-9/pbk). Lecture Notes in Computer Science 4591, 459-479 (2007). MSC: 68Q60 × Cite Format Result Cite Review PDF Full Text: DOI
Singh, Prabhjot; Dutta, Debasish A process planning framework for multi-direction layered deposition. (English) Zbl 1272.65019 Janardan, Ravi (ed.) et al., Geometric and algorithmic aspects of computer-aided design and manufacturing. DIMACS workshop computer aided design and manufacturing, October 7–9, 2003, Piscataway, New Jersey. Providence, RI: American Mathematical Society (AMS) (ISBN 0-8218-3628-5/hbk). DIMACS. Series in Discrete Mathematics and Theoretical Computer Science 67, 221-244 (2005). MSC: 65D17 90B30 68U07 × Cite Format Result Cite Review PDF
Pedregal, Pablo \(\Gamma\)-convergence through Young measures. (English) Zbl 1077.49012 SIAM J. Math. Anal. 36, No. 2, 423-440 (2004). Reviewer: Riccardo De Arcangelis (Napoli) MSC: 49J45 49J20 74Q05 × Cite Format Result Cite Review PDF Full Text: DOI
Duan, Naihua; Li, Ker-Chau Slicing regression: A link-free regression method. (English) Zbl 0738.62070 Ann. Stat. 19, No. 2, 505-530 (1991). Reviewer: Wang Songgui (Hefei) MSC: 62J02 62J99 62F12 × Cite Format Result Cite Review PDF Full Text: DOI