×

Found 596 Documents (Results 1–100)

Deep learning approach based on fault correction time for reliability assessment of cloud and edge open source software. (English) Zbl 07624807

Kumar, Vijay (ed.) et al., Predictive analytics in system reliability. Cham: Springer. Springer Ser. Reliab. Eng., 1-17 (2023).
MSC:  68T05 90B25
PDFBibTeX XMLCite
Full Text: DOI

Non-stationary difference equation and affine Laumon space II: Quantum Knizhnik-Zamolodchikov equation. arXiv:2309.15364

Preprint, arXiv:2309.15364 [math.QA] (2023).
BibTeX Cite
Full Text: arXiv

Architecture-guided test resource allocation via logic. (English) Zbl 1489.68043

Loulergue, Frédéric (ed.) et al., Tests and proofs. 15th international conference, TAP 2021, held as part of STAF 2021, virtual event, June 21–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12740, 22-38 (2021).
MSC:  68M15 03B70 68M07
PDFBibTeX XMLCite
Full Text: DOI arXiv

Semantic definition of anonymity in identity-based encryption and its relation to indistinguishability-based definition. (English) Zbl 1511.68043

Chen, Liqun (ed.) et al., Computer security – ESORICS 2020. 25th European symposium on research in computer security, ESORICS 2020, Guildford, UK, September 14–18, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12309, 65-85 (2020).
MSC:  68M25 68P25 94A60
PDFBibTeX XMLCite
Full Text: DOI

Relational differential dynamic logic. (English) Zbl 1507.68189

Biere, Armin (ed.) et al., Tools and algorithms for the construction and analysis of systems. 26th international conference, TACAS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12078, 191-208 (2020).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Topological Bayesian optimization with persistence diagrams. (English) Zbl 1464.68325

De Giacomo, Giuseppe (ed.) et al., ECAI 2020. 24th European conference on artificial intelligence, August 29 – September 8, 2020, Santiago de Compostela, Spain. Including 10th conference on prestigious applications of artificial intelligence, PAIS 2020. Amsterdam: IOS Press. Front. Artif. Intell. Appl. 325, 1483-1490 (2020).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Human factors in homograph attack recognition. (English) Zbl 07314401

Conti, Mauro (ed.) et al., Applied cryptography and network security. 18th international conference, ACNS 2020, Rome, Italy, October 19–22, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12147, 408-435 (2020).
MSC:  68M25 94A60
PDFBibTeX XMLCite
Full Text: DOI

Faster STR-EC-LCS computation. (English) Zbl 1440.68345

Chatzigeorgiou, Alexander (ed.) et al., SOFSEM 2020: theory and practice of computer science. 46th international conference on current trends in theory and practice of informatics, SOFSEM 2020, Limassol, Cyprus, January 20–24, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12011, 125-135 (2020).
MSC:  68W32 68W40
PDFBibTeX XMLCite
Full Text: DOI arXiv

Poster abstract: Relational differential dynamic logic. (English) Zbl 07120175

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 284-285 (2019).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference