Search Results for Complexity.

24 sonuç bulundu

Tümünü Seç

1 2

000000000000DEFAULTTR

An Introduction to Kolmogorov Complexity and Its Applications

Yazar

Li, Ming. author.

https://doi.org/10.1007/978-3-030-11298-1

Format:

Electronic Resources

Alıntı:

An Introduction to Kolmogorov Complexity and Its Applications Li, Ming. author.

Multidimensional Queueing Models in Telecommunication Networks

Yazar

Melikov, Agassi. author.

http://dx.doi.org/10.1007/978-3-319-08669-9

Format:

Electronic Resources

Alıntı:

Algorithm Analysis and Problem Complexity.

Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings

Yazar

Beyersdorff, Olaf. editor.

https://doi.org/10.1007/978-3-319-94144-8

Format:

Electronic Resources

Alıntı:

Computational complexity.

Adventures Between Lower Bounds and Higher Altitudes Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday

Yazar

Böckenhauer, Hans-Joachim. editor.

https://doi.org/10.1007/978-3-319-98355-4

Format:

Electronic Resources

Alıntı:

Computational complexity.

Transactions on Petri Nets and Other Models of Concurrency XIII

Yazar

Koutny, Maciej. editor.

https://doi.org/10.1007/978-3-662-58381-4

Format:

Electronic Resources

Alıntı:

Computational complexity.

Autonomous Agents and Multiagent Systems AAMAS 2017 Workshops, Best Papers, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers

Yazar

Sukthankar, Gita. editor. (orcid)0000-0002-6863-6609

https://doi.org/10.1007/978-3-319-71682-4

Format:

Electronic Resources

Alıntı:

Computational complexity.

Algebraic Informatics 8th International Conference, CAI 2019, Niš, Serbia, June 30–July 4, 2019, Proceedings

Yazar

Ćirić, Miroslav. editor. (orcid)0000-0001-8625-4682

https://doi.org/10.1007/978-3-030-21363-3

Format:

Electronic Resources

Alıntı:

Algorithm Analysis and Problem Complexity. https://scigraph.springernature.com/ontologies/product

An Introduction to Metaheuristics for Optimization

Yazar

Chopard, Bastien. author.

https://doi.org/10.1007/978-3-319-93073-2

Format:

Electronic Resources

Alıntı:

Problems, Algorithms, Computational Complexity -- Search Space -- Tabu Search -- Simulated

Computational Matter

Yazar

Stepney, Susan. editor.

https://doi.org/10.1007/978-3-319-65826-1

Format:

Electronic Resources

Alıntı:

, Programming and Programmability -- Non-Boolean Algebras -- Complexity Issues -- Amorphous Substrates

10.

Space in Weak Propositional Proof Systems

Yazar

Bonacina, Ilario. author.

https://doi.org/10.1007/978-3-319-73453-8

Format:

Electronic Resources

Alıntı:

space lower bounds. The first chapter in Part II addresses the proof complexity and space complexity of

11.

Forward Error Correction Based On Algebraic-Geometric Theory

Yazar

A. Alzubi, Jafar. author.

http://dx.doi.org/10.1007/978-3-319-08293-6

Format:

Electronic Resources

Alıntı:

proposes algebraic-geometric irregular block turbo codes (AG-IBTC) to reduce system complexity. Simulation

12.

Theory and Applications of Satisfiability Testing – SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings

Yazar

Gaspers, Serge. editor. (orcid)0000-0002-6947-9238

https://doi.org/10.1007/978-3-319-66263-3

Format:

Electronic Resources

Alıntı:

64 submissions. The papers are organized in the following topical sections: algorithms, complexity

	{displayName}	{count}
{error}