×

Found 2,942 Documents (Results 1–100)

The arithmetic derivative. Discovering a new approach to number theory. (La derivata aritmetica. Alla scoperta di un nuovo approccio alla teoria dei numeri.) (Italian) Zbl 1506.11005

Milano: Ulrico Hoepli (ISBN 978-88-203-5864-8/pbk; 978-88-203-6038-2/ebook). 192 p. (2013).
MSC:  11A05 11A25 11-01
PDFBibTeX XMLCite

Random generation of nondeterministic finite-state tree automata. (English) Zbl 1464.68169

Maneth, Sebastian (ed.), Proceedings of the 2nd international workshop on trends in tree automata and tree transducers, TTATT’13, Hanoi, Vietnam, October 19, 2013. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 134, 11-16 (2013).
MSC:  68Q45 68Q87
PDFBibTeX XMLCite
Full Text: arXiv Link

Probabilistic concurrent Kleene algebra. (English) Zbl 1464.68254

Bortolussi, Luca (ed.) et al., Proceedings of the 11th international workshop on quantitative aspects of programming languages and systems, Rome, Italy, March 23–24, 2013. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 117, 97-115 (2013).
MSC:  68Q85 68Q70 68Q87
PDFBibTeX XMLCite
Full Text: arXiv Link

Probabilistic data flow analysis: a linear equational approach. (English) Zbl 1464.68076

Puppis, Gabriele (ed.) et al., Proceedings of the fourth international symposium on games, automata, logics and formal verification, GandALF 2013, Borca di Cadore, Dolomites, Italy, August 29–31, 2013. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 119, 150-165 (2013).
MSC:  68N30 68Q87
PDFBibTeX XMLCite
Full Text: arXiv Link

Simple strategies for Banach-Mazur games and fairly correct systems. (English) Zbl 1464.68153

Puppis, Gabriele (ed.) et al., Proceedings of the fourth international symposium on games, automata, logics and formal verification, GandALF 2013, Borca di Cadore, Dolomites, Italy, August 29–31, 2013. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 119, 21-34 (2013).
PDFBibTeX XMLCite
Full Text: arXiv Link

Compositionality of approximate bisimulation for probabilistic systems. (English) Zbl 1464.68245

Borgström, Johannes (ed.) et al., Combined 20th international workshop on expressiveness in concurrency and 10th workshop on structured operational semantics, Buenos Aires, Argentina, August, 26, 2013. Proceedings. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 120, 32-46 (2013).
MSC:  68Q85 68Q87
PDFBibTeX XMLCite
Full Text: arXiv Link

Optimizing investment stock portfolios with stochastic constraints. (English) Zbl 1440.91034

Akashi, Shigeo (ed.) et al., Proceedings of the seventh international conference on nonlinear analysis and convex analysis (NACA 2011), Busan, South Korea, August 2–5, 2011. Vol. I. Yokohama: Yokohama Publishers. 127-141 (2013).
MSC:  91G10
PDFBibTeX XMLCite

When is it worthwhile to propagate a constraint? A probabilistic analysis of AllDifferent. (English) Zbl 1430.68290

Nebel, Markus (ed.) et al., Proceedings of the 10th workshop on analytic algorithmics and combinatorics (ANALCO ’13), New Orleans, LA, USA, January 6, 2013. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM). 80-90 (2013).
MSC:  68T20 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Minimizing the number of lattice points in a translated polygon. (English) Zbl 1423.11173

Khanna, Sanjeev (ed.), Proceedings of the 24th annual ACM-SIAM symposium on discrete algorithms, SODA 2013, New Orleans, LA, USA, January 6–8, 2013. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM); New York, NY: Association for Computing Machinery (ACM). 1123-1130 (2013).
MSC:  11P21 52B55 68W30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Adaptive PORT-MVRB estimation of the extreme value index. (English) Zbl 1407.62415

Oliveira, Paulo Eduardo (ed.) et al., Recent developments in modeling and applications in statistics. Selected papers based on the presentations at the 18th annual congress of the Portuguese Statistical Society, S. Pedro do Sul, Portugal, September 29 – October 2, 2010. Studies in Theoretical and Applied Statistics. Selected Papers of the Statistical Societies. Berlin: Springer. 117-125 (2013).
MSC:  62P12 60G70 62F10
PDFBibTeX XMLCite
Full Text: DOI

Single-trial analysis of bioelectromagnetic signals: the quest for hidden information. (English) Zbl 1400.92089

Cazals, Frédéric (ed.) et al., Modeling in computational biology and biomedicine. A multidisciplinary endeavor. Forewords by Olivier Faugeras and Joél Janin. Berlin: Springer (ISBN 978-3-642-31207-6/hbk; 978-3-642-31208-3/ebook). 237-259 (2013).
MSC:  92C20
PDFBibTeX XMLCite
Full Text: DOI

Statistical shape analysis of surfaces in medical images applied to the tetralogy of Fallot heart. (English) Zbl 1400.92305

Cazals, Frédéric (ed.) et al., Modeling in computational biology and biomedicine. A multidisciplinary endeavor. Forewords by Olivier Faugeras and Joél Janin. Berlin: Springer (ISBN 978-3-642-31207-6/hbk; 978-3-642-31208-3/ebook). 165-191 (2013).
MSC:  92C55
PDFBibTeX XMLCite
Full Text: DOI

Deconvolution and denoising for confocal microscopy. (English) Zbl 1400.92308

Cazals, Frédéric (ed.) et al., Modeling in computational biology and biomedicine. A multidisciplinary endeavor. Forewords by Olivier Faugeras and Joél Janin. Berlin: Springer (ISBN 978-3-642-31207-6/hbk; 978-3-642-31208-3/ebook). 117-163 (2013).
MSC:  92C55 94A08
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 3

Main Field

Biographic Reference

all top 3

Software