×

Found 40 Documents (Results 1–40)

Bayesian ranking for strategy scheduling in automated theorem provers. (English) Zbl 1520.68216

Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 559-577 (2022).
MSC:  68V15 68T05 68T20
PDFBibTeX XMLCite
Full Text: DOI

Implementation of full linearization in semismooth Newton method for 2D contact problem. (English) Zbl 1413.74079

Chleboun, J. (ed.) et al., Programs and algorithms of numerical mathematics 18. Proceedings of the 18th seminar (PANM), Janov nad Nisou, Czech Republic, June 19–24, 2016. Prague: Academy of Sciences of the Czech Republic, Institute of Mathematics. 30-36 (2017).
MSC:  74M15 65N30 49M15
PDFBibTeX XMLCite
Full Text: DOI

Learning intelligent controls in high speed networks: synergies of computational intelligence with control and Q-learning theories. (English) Zbl 1402.68026

Sgurev, Vassil (ed.) et al., Innovative issues in intelligent systems. Cham: Springer (ISBN 978-3-319-27266-5/hbk; 978-3-319-27267-2/ebook). Studies in Computational Intelligence 623, 111-139 (2016).
MSC:  68M10 68M20 68T05
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software