×

Found 1,375 Documents (Results 1–100)

Neural networks as black-box benchmark functions optimized for exploratory landscape features. (English) Zbl 07809171

Chicano, Francisco (ed.) et al., Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 – September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 129-139 (2023).
MSC:  68T20 68W50 90C59
PDFBibTeX XMLCite
Full Text: DOI

On the impact of vote delegation. (English) Zbl 07805511

Pardalos, Panos (ed.) et al., Mathematical research for blockchain economy. 3rd international conference MARBLE 2022, Vilamoura, Portugal, July 12–14, 2022. Cham: Springer. Lect. Notes Oper. Res., 47-57 (2023).
MSC:  91B12
PDFBibTeX XMLCite
Full Text: DOI

A matching pursuit approach to the geophysical inverse problem of seismic travel time tomography under the ray theory approximation. arXiv:2309.00085

Preprint, arXiv:2309.00085 [math.NA] (2023).
BibTeX Cite
Full Text: arXiv

Systematic study of decryption and re-encryption leakage: the case of Kyber. (English) Zbl 1528.94030

Balasch, Josep (ed.) et al., Constructive side-channel analysis and secure design. 13th international workshop, COSADE 2022, Leuven, Belgium, April 11–12, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13211, 236-256 (2022).
MSC:  94A60 81P94
PDFBibTeX XMLCite
Full Text: DOI

Estimation of cable bundle stiffness based on Gaussian process regression. (English) Zbl 07737850

Ehrhardt, Matthias (ed.) et al., Progress in industrial mathematics at ECMI 2021. Proceedings of the 21st European conference on mathematics for industry, ECMI 2021, Wuppertal, Germany, April 13–15, 2021. Selected and reviewed papers. Cham: Springer. Math. Ind. 39, 329-335 (2022).
MSC:  65-XX
PDFBibTeX XMLCite
Full Text: DOI

VeriMon: a formally verified monitoring tool. (English) Zbl 07719820

Seidl, Helmut (ed.) et al., Theoretical aspects of computing – ICTAC 2022. 19th international colloquium, Tbilisi, Georgia, September 27–29, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13572, 1-6 (2022).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI

How to backdoor (classic) McEliece and how to guard against backdoors. (English) Zbl 1517.94108

Cheon, Jung Hee (ed.) et al., Post-quantum cryptography. 13th international workshop, PQCrypto 2022, virtual event, September 28–30, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13512, 24-44 (2022).
MSC:  94A60 81P94
PDFBibTeX XMLCite
Full Text: DOI

Invariant analysis for multi-agent graph transformation systems using \(k\)-induction. (English) Zbl 1514.68093

Behr, Nicolas (ed.) et al., Graph transformation. 15th international conference, ICGT 2022, held as part of STAF 2022, Nantes, France, July 7–8, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13349, 173-192 (2022).
MSC:  68Q42 68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Probabilistic metric temporal graph logic. (English) Zbl 1514.68147

Behr, Nicolas (ed.) et al., Graph transformation. 15th international conference, ICGT 2022, held as part of STAF 2022, Nantes, France, July 7–8, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13349, 58-76 (2022).
MSC:  68Q60 03B70 68Q42
PDFBibTeX XMLCite
Full Text: DOI arXiv

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

all top 3

Software