×

Found 484 Documents (Results 1–100)

Verification of recurrent neural networks with star reachability. (English) Zbl 07807947

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 6, 13 p. (2023).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Neural network repair with reachability analysis. (English) Zbl 07643437

Bogomolov, Sergiy (ed.) et al., Formal modeling and analysis of timed systems. 20th international conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13465, 221-236 (2022).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Reachability analysis of deep ReLU neural networks using facet-vertex incidence. (English) Zbl 07807691

Proceedings of the 24th ACM international conference on hybrid systems: computation and control, HSCC 2021, part of CPS-IoT week, Nashville, TN, USA, May 19–21, 2021. New York, NY: Association for Computing Machinery (ACM). Paper No. 18, 7 p. (2021).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

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

Dynamic programming approach to the generalized minimum Manhattan network problem. (English) Zbl 1457.90128

Baïou, Mourad (ed.) et al., Combinatorial optimization. 6th international symposium, ISCO 2020, Montreal, QC, Canada, May 4–6, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12176, 237-248 (2020).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Hidden-charm and bottom meson-baryon molecules coupled with five-quark states. (English) Zbl 1437.81132

Orr, N. A. (ed.) et al., Recent progress in few-body physics. Proceedings of the 22nd international conference on few-body problems in physics, FB22, Caen, France, July 9–13, 2018. Cham: Springer. Springer Proc. Phys. 238, 621-627 (2020).
MSC:  81V05 81V35 81U35
PDFBibTeX XMLCite
Full Text: DOI arXiv

Two-player competitive diffusion game: graph classes and the existence of a Nash equilibrium. (English) Zbl 1440.91011

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, 627-635 (2020).
MSC:  91A43 05C57 91A68
PDFBibTeX XMLCite
Full Text: DOI

Entanglement between hash encodings and signatures from ID schemes with non-binary challenges: a case study on lightweight code-based signatures. (English) Zbl 1518.94124

Su, Chunhua (ed.) et al., Information security practice and experience. 14th international conference, ISPEC 2018, Tokyo, Japan, September 25–27, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11125, 248-262 (2018).
MSC:  94A62 94A60
PDFBibTeX XMLCite
Full Text: DOI

An edge-extrusion approach to generate extruded Miura-Ori and its double tiling origami patterns. (English) Zbl 1443.52018

Lang, Robert J. (ed.) et al., Origami\(^7\). The proceedings from the 7th international meeting on origami in science, mathematics, and education, 7 OSME, Oxford, UK, September 4–7, 2018. Volume 2. Mathematics. St. Albans: Tarquin. 435-450 (2018).
MSC:  52C20 51M15 51M20
PDFBibTeX XMLCite
Full Text: arXiv

Stochastic packing integer programs with few queries. (English) Zbl 1410.90140

Czumaj, Artur (ed.), Proceedings of the 29th annual ACM-SIAM symposium on discrete algorithms, SODA 2018, New Orleans, LA, USA, January 7–10, 2018. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM); New York, NY: Association for Computing Machinery (ACM). 293-310 (2018).
MSC:  90C15 90C10
PDFBibTeX XMLCite
Full Text: Link

Day-Ahead Energy Market as Adjustable Robust Optimization: Spatio-Temporal Pricing of Dispatchable Generators, Storage Batteries, and Uncertain Renewable Resources. arXiv:1803.04751

Preprint, arXiv:1803.04751 [math.OC] (2018).
BibTeX Cite
Full Text: DOI arXiv

Recovering attacks against linear sketch in fuzzy signature schemes of ACNS 2015 and 2016. (English) Zbl 1506.94087

Liu, Joseph K. (ed.) et al., Information security practice and experience. 13th international conference, ISPEC 2017, Melbourne, VIC, Australia, December 13–15, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10701, 409-421 (2017).
MSC:  94A62 94A60
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

all top 3

Software