Search Results for Algorithms.

12 sonuç bulundu

Tümünü Seç

000000000000DEFAULTTR

Big Data – BigData 2019 8th International Congress, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings

Yazar

Chen, Keke. editor. (orcid)0000-0002-9996-156X

https://doi.org/10.1007/978-3-030-23551-2

Format:

Electronic Resources

Alıntı:

Algorithms; Big Data Architectures; Big Data Management; Big Data Protection, Integrity and Privacy; Security

NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings

Yazar

Badger, Julia M. editor.

https://doi.org/10.1007/978-3-030-20652-9

Format:

Electronic Resources

Alıntı:

; techniques and algorithms for scaling formal methods, such as abstraction and symbolic methods, compositional

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Yazar

Dillig, Isil. editor.

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

Format:

Electronic Resources

Alıntı:

Timed Automata -- Fast Algorithms for Handling Diagonal Constraints in Timed Automata -- Safety and

High Performance Computing 30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015, Proceedings

Yazar

Kunkel, Julian M. editor.

http://dx.doi.org/10.1007/978-3-319-20119-1

Format:

Electronic Resources

Alıntı:

Framework for Batched and GPU-Resident Factorization Algorithms Applied to Block Householder Transformations

Supercomputing 29th International Conference, ISC 2014, Leipzig, Germany, June 22-26, 2014. Proceedings

Yazar

Kunkel, Julian Martin. editor.

http://dx.doi.org/10.1007/978-3-319-07518-1

Format:

Electronic Resources

Alıntı:

for Sorting Algorithms -- Performance Analysis of Graph Algorithms on P7IH.- Sparsifying

Intelligent Data Engineering and Automated Learning – IDEAL 2019 20th International Conference, Manchester, UK, November 14–16, 2019, Proceedings, Part II

Yazar

Yin, Hujun. editor. (orcid)0000-0002-9198-5401

https://doi.org/10.1007/978-3-030-33617-2

Format:

Electronic Resources

Alıntı:

-- Special Session on Machine Learning Algorithms for Hard Problems -- Using Prior Knowledge to Facilitate

Intelligent Data Engineering and Automated Learning – IDEAL 2019 20th International Conference, Manchester, UK, November 14–16, 2019, Proceedings, Part I

Yazar

Yin, Hujun. editor. (orcid)0000-0002-9198-5401

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

Format:

Electronic Resources

Alıntı:

Classification with Shapelets -- An Ensemble Algorithm Based on Deep Learning for Tuberculosis Classification

Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part IV

Yazar

Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025

https://doi.org/10.1007/978-3-030-22747-0

Format:

Electronic Resources

Alıntı:

, Algorithms and Computation -- deal.II Implementation of a Weak Galerkin Finite Element Solver for Darcy Flow

Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part II

Yazar

Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025

https://doi.org/10.1007/978-3-030-22741-8

Format:

Electronic Resources

Alıntı:

Simulations of Flow and Transport: Modeling, Algorithms and Computation Part V: Track of Smart Systems

10.

Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part I

Yazar

Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025

https://doi.org/10.1007/978-3-030-22734-0

Format:

Electronic Resources

Alıntı:

Element-by-Element Kernel Algorithms in Unstructured Implicit Low-Order Finite-Element Earthquake Simulation for

11.

Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part III

Yazar

Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025

https://doi.org/10.1007/978-3-030-22744-9

Format:

Electronic Resources

Alıntı:

algorithm for automatic classification of medical data -- The Chain Alignment Problem -- Comparing Deep and

12.

Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part V

Yazar

Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025

https://doi.org/10.1007/978-3-030-22750-0

Format:

Electronic Resources

Alıntı:

Full-Vectorized GPU Implementation of Evolutionary Algorithms in an Online Crowd Model Simulation Framework

	{displayName}	{count}
{error}