Yazar
Aceto, Luca. editor.
Format:
Electronic Resources
Alıntı:
Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of
Yazar
Raynal, Michel. author.
Format:
Electronic Resources
Alıntı:
Fault-Tolerant Message-Passing Distributed Systems An Algorithmic Approach / Raynal, Michel. author.
View Other Search Results
Yazar
Rossi, Federico. editor. (orcid)0000-0002-1854-532X
Format:
Electronic Resources
Alıntı:
algorithms, genetic algorithms, bioinformatics and computational biology, modelling and simulation of
Yazar
Gaspers, Serge. editor. (orcid)0000-0002-6947-9238
Format:
Electronic Resources
Alıntı:
64 submissions. The papers are organized in the following topical sections: algorithms, complexity
Yazar
Chen, Keke. editor. (orcid)0000-0002-9996-156X
Format:
Electronic Resources
Alıntı:
Algorithms; Big Data Architectures; Big Data Management; Big Data Protection, Integrity and Privacy; Security
Yazar
Badger, Julia M. editor.
Format:
Electronic Resources
Alıntı:
; techniques and algorithms for scaling formal methods, such as abstraction and symbolic methods, compositional
Yazar
Dillig, Isil. editor.
Format:
Electronic Resources
Alıntı:
Timed Automata -- Fast Algorithms for Handling Diagonal Constraints in Timed Automata -- Safety and
Yazar
Kunkel, Julian M. editor.
Format:
Electronic Resources
Alıntı:
Framework for Batched and GPU-Resident Factorization Algorithms Applied to Block Householder Transformations
Yazar
Kunkel, Julian Martin. editor.
Format:
Electronic Resources
Alıntı:
for Sorting Algorithms -- Performance Analysis of Graph Algorithms on P7IH.- Sparsifying
Yazar
Yin, Hujun. editor. (orcid)0000-0002-9198-5401
Format:
Electronic Resources
Alıntı:
-- Special Session on Machine Learning Algorithms for Hard Problems -- Using Prior Knowledge to Facilitate
Yazar
Yin, Hujun. editor. (orcid)0000-0002-9198-5401
Format:
Electronic Resources
Alıntı:
Classification with Shapelets -- An Ensemble Algorithm Based on Deep Learning for Tuberculosis Classification
Yazar
Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786
Format:
Electronic Resources
Alıntı:
accelerated by GPU -- Tournament-Based Convection Selection in Evolutionary Algorithms -- Multi-agent systems
Arama Sonuçlarını Sınırlandır
Daraltılmış: