×

Found 1,229 Documents (Results 1–100)

More accurate geometric analysis on the impact of successful decryptions for IND-CCA secure Ring/Mod-LWE/LWR based schemes. (English) Zbl 1492.94171

Galbraith, Steven D. (ed.), Topics in cryptology – CT-RSA 2022. Cryptographers’ track at the RSA conference 2022, virtual event, March 1–2, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13161, 196-222 (2022).
MSC:  94A60
PDFBibTeX XMLCite
Full Text: DOI

Qualitative analysis in the reliability assessment of the steam turbine plant. (English) Zbl 1469.90067

Kumar, Amit (ed.) et al., The handbook of reliability, maintenance, and system safety through mathematical modeling. Amsterdam: Elsevier/Academic Press. 179-313 (2021).
MSC:  90B25
PDFBibTeX XMLCite
Full Text: DOI

Unbounded-time safety verification of stochastic differential dynamics. (English) Zbl 1478.68155

Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12225, 327-348 (2020).
MSC:  68Q60 60H10
PDFBibTeX XMLCite
Full Text: DOI arXiv

Reliability analysis of multi-state two-dimensional system by universal generating function. (English) Zbl 1456.60236

Roy, Priti Kumar (ed.) et al., Mathematical analysis and applications in modeling. Selected papers presented at the international conference, ICMAAM 2018, Kolkata, India, January 9–12, 2018. Singapore: Springer. Springer Proc. Math. Stat. 302, 85-100 (2020).
MSC:  60K10 62N05 90B25
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software