Search Results for Algorithms.

Computational Methods in Systems Biology 17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedings

Yazar

Bortolussi, Luca. editor. (orcid)0000-0001-8874-4001

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

Format:

Electronic Resources

Alıntı:

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

Parallel Computing Technologies 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19–23, 2019, Proceedings

Yazar

Malyshkin, Victor. editor. (orcid)0000-0002-7874-3686

https://doi.org/10.1007/978-3-030-25636-4

Format:

Electronic Resources

Alıntı:

Large-Scale Problems -- Data Processing -- Cellular Automata -- Distributed Algorithms.

High Performance Computing for Computational Science -- VECPAR 2014 11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers

Yazar

Daydé, Michel. editor.

http://dx.doi.org/10.1007/978-3-319-17353-5

Format:

Electronic Resources

Alıntı:

Algorithms for GPU and Many cores -- Large-Scale Applications -- Numerical Algorithms -- Direct

High Performance Computing in Science and Engineering Second International Conference, HPCSE 2015, Soláň, Czech Republic, May 25-28, 2015, Revised Selected Papers

Yazar

Kozubek, Tomáš. editor.

http://dx.doi.org/10.1007/978-3-319-40361-8

Format:

Electronic Resources

Alıntı:

applied and computational mathematics. The focus of HPCSE 2015 was on models, algorithms, and software

Petri Net Synthesis

Yazar

Badouel, Eric. author.

http://dx.doi.org/10.1007/978-3-662-47967-4

Format:

Electronic Resources

Alıntı:

-- Algorithms of Elementary Net Synthesis -- Variations of Elementary Net Synthesis -- A Unified Theory of Net

Handbook of Model Checking

Yazar

Clarke, Edmund M. editor.

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

Format:

Electronic Resources

Alıntı:

the research agenda: the algorithmic challenge, that is, designing model-checking algorithms that

Principles and Practice of Constraint Programming 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings

Yazar

Schiex, Thomas. editor. (orcid)0000-0001-6049-3415

https://doi.org/10.1007/978-3-030-30048-7

Format:

Electronic Resources

Alıntı:

Search for Incomplete MaxSAT and the Linear Algorithm: Varying Resolution and Solution-Guided Search -- A

Principles and Practice of Constraint Programming 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings

Yazar

Hooker, John. editor. (orcid)0000-0003-3169-1871

https://doi.org/10.1007/978-3-319-98334-9

Format:

Electronic Resources

Alıntı:

Domain-Independent Temporal Planning -- Decremental Consistency Checking of Temporal Constraints: Algorithms for the

	{displayName}	{count}
{error}