Josef Tkadlec

Electron. J. Comb., 2024

2023

A Note on the 2-Colored Rectilinear Crossing Number of Random Point Sets in the Unit Square.

[BibT_eX]

[DOI]

CoRR, 2023

Reachability Poorman Discrete-Bidding Games.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

2022

On Compatible Matchings.

[BibT_eX]

[DOI]

J. Graph Algorithms Appl., 2022

Token Swapping on Trees.

[BibT_eX]

[DOI]

Discret. Math. Theor. Comput. Sci., 2022

Social Balance on Networks: Local Minima and Best Edge Dynamics.

[BibT_eX]

[DOI]

CoRR, 2022

Reconfiguration of Non-crossing Spanning Trees.

[BibT_eX]

[DOI]

CoRR, 2022

Lattice and Non-lattice Piercing of Axis-Parallel Rectangles: Exact Algorithms and a Separation Result.

[BibT_eX]

[DOI]

Adrian Dumitrescu

CoRR, 2022

Finding a Battleship of Uncertain Shape.

[BibT_eX]

[DOI]

CoRR, 2022

Disjoint Compatibility via Graph Classes.

[BibT_eX]

[DOI]

Proceedings of the Graph-Theoretic Concepts in Computer Science, 2022

Invasion Dynamics in the Biased Voter Process.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Long Plane Trees.

[BibT_eX]

[DOI]

Proceedings of the 38th International Symposium on Computational Geometry, 2022

Quasi-Twisting Convex Polyhedra.

[BibT_eX]

Proceedings of the 34th Canadian Conference on Computational Geometry, 2022

Fixation Maximization in the Positional Moran Process.

[BibT_eX]

[DOI]

Joachim Brendborg

Panagiotis Karras

Asger Ullersted Rasmussen

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2020

Limits on amplifiers of natural selection under death-Birth updating.

[BibT_eX]

[DOI]

Martin A. Nowak

PLoS Comput. Biol., 2020

All-Pay Bidding Games on Graphs.

[BibT_eX]

[DOI]

Guy Avni

Rasmus Ibsen-Jensen

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2018

Fixation probability and fixation time in structured populations.

[BibT_eX]

[DOI]

Martin A. Nowak

CoRR, 2018

Strong Amplifiers of Natural Selection: Proofs.

[BibT_eX]

[DOI]

Martin A. Nowak

CoRR, 2018

2016

Distributivity and associativity in effect algebras.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2016

Robust Draws in Balanced Knockout Tournaments.

[BibT_eX]

[DOI]

Rasmus Ibsen-Jensen

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

2013

107 Geometry Problems - From The AwesomeMath Year-Round Program.

[BibT_eX]

[DOI]

Titu Andreescu

Michal Rolínek

XYZ Press, ISBN: 978-0-9799269-7-6, 2013

106 Geometry Problems - From The AwesomeMath Summer Program.

[BibT_eX]

[DOI]

Titu Andreescu

Michal Rolínek

XYZ Press, ISBN: 978-0-9799269-4-5, 2013

2010

Commutative bounded integral residuated orthomodular lattices are Boolean algebras.

[BibT_eX]

[DOI]

Esko Turunen

Soft Comput., 2010

2009

On the solution of trivalent decision problems by quantum state identification.

[BibT_eX]

[DOI]

Karl Svozil

Nat. Comput., 2009

2003

Formal Aspects of a Multiple-Rule Classifier.

[BibT_eX]

[DOI]

Ivan Bruha

Int. J. Pattern Recognit. Artif. Intell., 2003

Rule quality for multiple-rule classifier: Empirical expertise and theoretical methodology.

[BibT_eX]

[DOI]

Ivan Bruha