×

Found 117 Documents (Results 1–100)

Using observed functional data to simulate a stochastic process via a random multiplicative cascade model. (English) Zbl 1436.60002

Lechevallier, Yves (ed.) et al., Proceedings of COMPSTAT’2010. 19th international conference on computational statistics, Paris, France, August 22–27, 2010. Keynote, invited and contributed papers. Heidelberg: Physica Verlag. 453-460 (2010).
MSC:  60-08 62R10 62-08
PDFBibTeX XMLCite
Full Text: DOI

Semiparametric models with functional responses in a model assisted survey sampling setting: model assisted estimation of electricity consumption curves. (English) Zbl 1436.62715

Lechevallier, Yves (ed.) et al., Proceedings of COMPSTAT’2010. 19th international conference on computational statistics, Paris, France, August 22–27, 2010. Keynote, invited and contributed papers. Heidelberg: Physica Verlag. 413-420 (2010).
PDFBibTeX XMLCite
Full Text: DOI

Empirical dynamics and functional data analysis. (English) Zbl 1436.62719

Lechevallier, Yves (ed.) et al., Proceedings of COMPSTAT’2010. 19th international conference on computational statistics, Paris, France, August 22–27, 2010. Keynote, invited and contributed papers. Heidelberg: Physica Verlag. 209-218 (2010).
PDFBibTeX XMLCite
Full Text: DOI

Bootstrap calibration in functional linear regression models with applications. (English) Zbl 1436.62717

Lechevallier, Yves (ed.) et al., Proceedings of COMPSTAT’2010. 19th international conference on computational statistics, Paris, France, August 22–27, 2010. Keynote, invited and contributed papers. Heidelberg: Physica Verlag. 199-207 (2010).
PDFBibTeX XMLCite
Full Text: DOI

Anticipated and adaptive prediction in functional discriminant analysis. (English) Zbl 1436.62721

Lechevallier, Yves (ed.) et al., Proceedings of COMPSTAT’2010. 19th international conference on computational statistics, Paris, France, August 22–27, 2010. Keynote, invited and contributed papers. Heidelberg: Physica Verlag. 189-198 (2010).
MSC:  62R10 62H30 62-08
PDFBibTeX XMLCite
Full Text: DOI

Bisimulations generated from corecursive equations. (English) Zbl 1342.68049

Mislove, Michael (ed.) et al., Proceedings of the 26th conference on the mathematical foundations of programming semantics (MFPS 2010), Ottawa, Canada, May 6–10, 2010. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 265, 245-258 (2010).
MSC:  68N18 68Q65
PDFBibTeX XMLCite
Full Text: DOI

Regular, shape-polymorphic, parallel arrays in Haskell. (English) Zbl 1323.68127

Proceedings of the 15th ACM SIGPLAN international conference on functional programming, ICFP ’10, Baltimore, MD, USA, September 27–29, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-794-3). ACM SIGPLAN Notices 45, No. 9, 261-272 (2010).
MSC:  68N18 68P05
PDFBibTeX XMLCite
Full Text: DOI

Combining syntactic and semantic bidirectionalization. (English) Zbl 1323.68170

Proceedings of the 15th ACM SIGPLAN international conference on functional programming, ICFP ’10, Baltimore, MD, USA, September 27–29, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-794-3). ACM SIGPLAN Notices 45, No. 9, 181-192 (2010).
PDFBibTeX XMLCite
Full Text: DOI Link

Semantic subtyping with an SMT solver. (English) Zbl 1323.68096

Proceedings of the 15th ACM SIGPLAN international conference on functional programming, ICFP ’10, Baltimore, MD, USA, September 27–29, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-794-3). ACM SIGPLAN Notices 45, No. 9, 105-116 (2010).
MSC:  68N18 68N30 68Q55
PDFBibTeX XMLCite
Full Text: DOI

The gentle art of levitation. (English) Zbl 1323.68239

Proceedings of the 15th ACM SIGPLAN international conference on functional programming, ICFP ’10, Baltimore, MD, USA, September 27–29, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-794-3). ACM SIGPLAN Notices 45, No. 9, 3-14 (2010).
MSC:  68P05 68N18 68Q65
PDFBibTeX XMLCite
Full Text: DOI

Well-posedness for the complex Ginzburg-Landau equations. (English) Zbl 1208.35143

Aiki, T. (ed.) et al., Current advances in nonlinear analysis and related topics. Collected papers of the conference on nonlinear evolution equations and related topics, Tokyo, Japan, October 10–12, 2009, the 4th Polish-Japanese days on current advances in applied nonlinear analysis and mathematical modelling issues, Warsaw, Poland, May 18–21, 2009 and the RIMS conference on nonlinear evolution equations and mathematical modeling, Kyoto, Japan, October 20–24, 2009. Tokyo: Gakkōtosho (ISBN 978-4-7625-0457-0/hbk). GAKUTO International Series. Mathematical Sciences and Applications 32, 429-442 (2010).
PDFBibTeX XMLCite

Fibrational induction rules for initial algebras. (English) Zbl 1287.68113

Dawar, Anuj (ed.) et al., Computer science logic. 24th international workshop, CSL 2010, 19th annual conference of the EACSL, Brno, Czech Republic, August 23–27, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15204-7/pbk). Lecture Notes in Computer Science 6247, 336-350 (2010).
MSC:  68Q65 18C20 68N18
PDFBibTeX XMLCite
Full Text: DOI

Limit theorems for \(p\)-variations of solutions of SDEs driven by additive stable Lévy noise and model selection for Paleo-climatic data. (English) Zbl 1218.60027

Duan, Jinqiao (ed.) et al., Recent development in stochastic dynamics and stochastic analysis. Dedicated to Zhi-Yuan Zhang on the occasion of his 75th birthday. Hackensack, NJ: World Scientific (ISBN 978-981-4277-25-9/hbk). Interdisciplinary Mathematical Sciences 8, 161-175 (2010).
PDFBibTeX XMLCite

On arithmetic computations with hereditarily finite sets, functions and types. (English) Zbl 1286.68063

Cavalcanti, Ana (ed.) et al., Theoretical aspects of computing – ICTAC 2010. 7th international colloquium, Natal, Rio Grande do Norte, Brazil, September 1–3, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14807-1/pbk). Lecture Notes in Computer Science 6255, 367-381 (2010).
MSC:  68N18
PDFBibTeX XMLCite
Full Text: DOI

A unified formal description of arithmetic and set theoretical data types. (English) Zbl 1286.68062

Autexier, Serge (ed.) et al., Intelligent computer mathematics. 10th international conference, AISC 2010, 17th symposium, Calculemus 2010, and 9th international conference, MKM 2010, Paris, France, July 5–10, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14127-0/pbk). Lecture Notes in Computer Science 6167. Lecture Notes in Artificial Intelligence, 247-261 (2010).
MSC:  68N18
PDFBibTeX XMLCite
Full Text: DOI

Higher-order containers. (English) Zbl 1286.68327

Ferreira, Fernando (ed.) et al., Programs, proofs, processes. 6th conference on computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30–July 4, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13961-1/pbk). Lecture Notes in Computer Science 6158, 11-20 (2010).
MSC:  68Q65 68N18
PDFBibTeX XMLCite
Full Text: DOI

Amortised resource analysis with separation logic. (English) Zbl 1260.68083

Gordon, Andrew D. (ed.), Programming languages and systems. 19th European symposium on programming, ESOP 2010, held as part of the joint European conferences on theory and practice of software, ETAPS 2010, Paphos, Cyprus, March 20–28, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11956-9/pbk). Lecture Notes in Computer Science 6012, 85-103 (2010).
MSC:  68N30 03B70 68N18 68P05 68T15
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 3

Main Field

all top 3

Software