×

Found 725 Documents (Results 1–100)

Using automated algorithm configuration for parameter control. (English) Zbl 07809163

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). 38-49 (2023).
MSC:  68T20 68W50 90C59

Bayesian parameter estimation with guarantees via interval analysis and simulation. (English) Zbl 1533.65013

Dragoi, Cezara (ed.) et al., Verification, model checking, and abstract interpretation. 24th international conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13881, 106-128 (2023).
Full Text: DOI

On the parallel parameterized complexity of MaxSAT variants. (English) Zbl 07880740

Meel, Kuldeep S. (ed.) et al., 25th international conference on theory and applications of satisfiability testing, SAT 2022, Haifa, Israel, August 2–5, 2022. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 236, Article 19, 19 p. (2022).
MSC:  68Q25 68R07 68T20

Robust design of inhibitory neuronal networks displaying rhythmic activity. (English) Zbl 1482.92027

Awrejcewicz, Jan (ed.), Perspectives in dynamical systems III: control and stability. Selected papers based on the presentations at the 15th international conference on dynamical systems – theory and applications, DSTA, Łódź, Poland, December 2–5, 2019. Cham: Springer. Springer Proc. Math. Stat. 364, 187-198 (2021).
MSC:  92B20
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

all top 3

Software