×

Found 72 Documents (Results 1–72)

Dynamic decentralized functional encryption. (English) Zbl 1504.94123

Micciancio, Daniele (ed.) et al., Advances in cryptology – CRYPTO 2020. 40th annual international cryptology conference, CRYPTO 2020, Santa Barbara, CA, USA, August 17–21, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12170, 747-775 (2020).
MSC:  94A60
PDFBibTeX XMLCite
Full Text: DOI

Numerical approximations for discounted continuous time Markov decision processes. (English) Zbl 1461.90164

Yin, George (ed.) et al., Modeling, stochastic control, optimization, and applications. Selected papers based on invited talks given at the IMA workshop in modeling, stochastic control, optimization, and related applications, Institute for Mathematics and Its Applications, University of Minnesota, Minneapolis, MN, USA, May 1 – June 30, 2018. Cham: Springer. IMA Vol. Math. Appl. 164, 147-171 (2019).
MSC:  90C40
PDFBibTeX XMLCite
Full Text: DOI

Fast and accurate elastic analysis of laminated composite plates via isogeometric collocation and an equilibrium-based stress recovery approach. arXiv:1901.08797

Preprint, arXiv:1901.08797 [math.NA] (2019).
BibTeX Cite
Full Text: arXiv

Decentralized multi-client functional encryption for inner product. (English) Zbl 1446.94119

Peyrin, Thomas (ed.) et al., Advances in cryptology – ASIACRYPT 2018. 24th international conference on the theory and application of cryptology and information security, Brisbane, QLD, Australia, December 2–6, 2018. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 11273, 703-732 (2018).
MSC:  94A60
PDFBibTeX XMLCite
Full Text: DOI Link

Approximation of infinite horizon discounted cost Markov decision processes. (English) Zbl 1374.90401

Hernández-Hernández, Daniel (ed.) et al., Optimization, control, and applications of stochastic systems. In honor of Onésimo Hernández-Lerma. Boston, MA: Birkhäuser (ISBN 978-0-8176-8336-8/hbk; 978-0-8176-8337-5/ebook). Systems and Control: Foundations and Applications, 59-76 (2012).
MSC:  90C40
PDFBibTeX XMLCite
Full Text: DOI

March_eq: Implementing additional reasoning into an efficient look-ahead SAT solver. (English) Zbl 1122.68599

Hoos, Holger H. (ed.) et al., Theory and applications of satisfiability testing. 7th international conference, SAT 2004, Vancouver, BC, Canada, May 10–13, 2004. Revised selected papers. Berlin: Springer (ISBN 3-540-27829-X/pbk). Lecture Notes in Computer Science 3542, 345-359 (2005).
MSC:  68T20
PDFBibTeX XMLCite
Full Text: DOI

The equational theory of \({\langle \mathbb N,0,1,+,\times,\uparrow\rangle}\) is decidable, but not finitely axiomatisable. (English) Zbl 1109.03006

Baader, Franz (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14–18, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25236-3/pbk). Lecture Notes in Computer Science 3452. Lecture Notes in Artificial Intelligence, 240-256 (2005).
MSC:  03B25 03C05
PDFBibTeX XMLCite
Full Text: DOI

Integrable systems and foliations. Feuilletages et systèmes intégrables. Papers from a colloquium, Montpellier, France, May 22–26, 1995. In honor of Pierre Molino’s 60th birthday. (English, French) Zbl 0857.00030

Progress in Mathematics (Boston, Mass.). 145. Boston, MA: Birkhäuser. x, 212 p. (1997).
MSC:  00B25 58-06
PDFBibTeX XMLCite

New developments in time series econometrics. Reprinted from the journal Empirical Economics 18, No. 4 (1993). (English) Zbl 0811.00010

Studies in Empirical Economics. Heidelberg: Physica-Verlag. 250 p. (1994).
MSC:  00B15 90-06 62-06
PDFBibTeX XMLCite

Filter Results by …

Database

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software