×

Found 2,234 Documents (Results 1–100)

Recent developments in the interplay between function theory and operator theory for block Toeplitz, Hankel, and model operators. (English) Zbl 07817174

Binder, Ilia (ed.) et al., Function spaces, theory and applications. Selected papers based on the presentations at the workshop, Toronto, Canada, July 1 – December 31, 2021. Cham: Springer. Fields Inst. Commun. 87, 287-329 (2023).
MSC:  32-XX
PDFBibTeX XMLCite
Full Text: DOI

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

Quantitative verification for neural networks using probstars. (English) Zbl 07807945

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. 4, 12 p. (2023).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Finding the cyclic covers of a string. (English) Zbl 07770288

Lin, Chun-Cheng (ed.) et al., WALCOM: algorithms and computation. 17th international conference and workshops, WALCOM 2023, Hsinchu, Taiwan, March 22–24, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13973, 139-150 (2023).
MSC:  68Wxx
PDFBibTeX XMLCite
Full Text: DOI

A Multiscale Finite Element Method for an Elliptic Distributed Optimal Control Problem with Rough Coefficients and Control Constraints. arXiv:2309.16062

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

Branching pomsets for choreographies. (English) Zbl 07811912

Aubert, Clément (ed.) et al., Proceedings of the 15th interaction and concurrency experience workshop, ICE 2022, Lucca, Italy, June 17, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 365, 37-52 (2022).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

How to settle the ReDoS problem: back to the classical automata theory. (English) Zbl 07572310

Caron, Pascal (ed.) et al., Implementation and application of automata. 26th international conference, CIAA 2022, Rouen, France, June 28 – July 1, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13266, 34-49 (2022).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI

On quasi norm attaining operators between Banach spaces. (English) Zbl 1500.46010

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