×

Found 1,124 Documents (Results 1–100)

Qualitative dynamics of chemical reaction networks: an investigation using partial tropical equilibrations. (English) Zbl 07643445

Petre, Ion (ed.) et al., Computational methods in systems biology. 20th international conference, CMSB 2022, Bucharest, Romania, September 14–16, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13447, 61-85 (2022).
MSC:  92C42 92C40 14T90
PDF BibTeX XML Cite
Full Text: DOI arXiv

Static analysis of ReLU neural networks with tropical polyhedra. (English) Zbl 1497.68304

Drăgoi, Cezara (ed.) et al., Static analysis. 28th international symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12913, 166-190 (2021).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Filter Results by …

Document Type

Reviewing State

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