×

Found 404 Documents (Results 1–100)

100
MathJax

Verifying the gaming strategy of self-learning game by using PRISM-games. (English) Zbl 1458.68189

Vasant, Pandian (ed.) et al., Intelligent computing and optimization. Proceedings of the 2nd international conference on intelligent computing and optimization 2019 (ICO 2019), Koh Samui, Thailand, October 3–4, 2019. Cham: Springer. Adv. Intell. Syst. Comput. 1072, 148-159 (2020).
PDF BibTeX XML Cite
Full Text: DOI

Identifying codes in the complementary prism of cycles. (English) Zbl 07515184

Coutinho, Gabriel (ed.) et al., Proceedings of LAGOS 2019, the tenth Latin and American algorithms, graphs and optimization symposium, Belo Horizonte, Brazil, June 2–7 2019. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 346, 241-251 (2019).
MSC:  05Cxx 90Cxx
PDF BibTeX XML Cite
Full Text: DOI

Wake flow dynamic characteristics of triangular prisms. (English. Russian original) Zbl 1434.76033

Fluid Dyn. 54, No. 6, 785-796 (2019); translation from Izv. Ross. Akad. Nauk, Mekh. Zhidk. Gaza 2019, No. 6, 48-59 (2019).
PDF BibTeX XML Cite
Full Text: DOI

Towards a call behavior-based compositional verification framework for SysML activity diagrams. (English) Zbl 07142678

Hierons, Robert Mark (ed.) et al., Theoretical aspects of computing – ICTAC 2019. 16th international colloquium, Hammamet, Tunisia, October 31 – November 4, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11884, 216-234 (2019).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Tree \(t\)-spanners of a graph: minimizing maximum distances efficiently. (English) Zbl 07116372

Kim, Donghyun (ed.) et al., Combinatorial optimization and applications. 12th international conference, COCOA 2018, Atlanta, GA, USA, December 15–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11346, 46-61 (2018).
MSC:  68T20 90C27
PDF BibTeX XML Cite
Full Text: DOI

Visualization of supersonic low-noise flow over surface-mounted two-dimensional prisms. (English) Zbl 1391.76013

Fluid Dyn. 53, No. 1, 169-175 (2018); translation from Izv. Ross. Akad. Nauk, Mekh. Zhidk. Gaza 2018, No. 1, 174-180 (2018).
MSC:  76-05 76J20 76L05
PDF BibTeX XML Cite
Full Text: DOI

On edge-graceful regular graphs with particular 3-factors. (English) Zbl 1383.05291

Sinha, Deepa (ed.) et al., International conference on current trends in graph theory and computation, CTGTC-2016, New Delhi, India, September 17–19, 2016. Amsterdam: Elsevier. Electronic Notes in Discrete Mathematics 63, 33-40 (2017).
MSC:  05C78
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Database

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

Biographic Reference

all top 3

Software