Submission open
Verifying Autonomy: Formal Methods for Reliable Decision-Making
- ANTONIO DI STASIO
- Muhammad Najib
- Giuseppe Perelli
- Roxana Rădulescu
- 245 views
- Frontiers in Computer Science
- Theoretical Computer Science
- Research Topics
Type at least 3 characters
11 Research Topics
Guest edit your own article collection
Suggest a topic
Submission open
Balancing Expressiveness and Optimality in Modern Programming Paradigms
- Viviana Bono
- Aleksy Schubert
- 540 views
Submission open
Territorial and Spatial-Based Simulation
- Nuno Fachada
- João Pedro Matos-Carvalho
- Nuno David
- 7,579 views
- 3 articles
Submission open
Developments in Quantum Algorithms and Computational Complexity for Quantum Computational Models
- Kamil Khadiev
- Stanislav Protasov
- Junde Wu
- 6,154 views
- 3 articles
Submission closed
Realizing Quantum Utility: Grand Challenges of Secure & Trustworthy Quantum Computing
- Edo Giusto
- Shuai Xu
- Kaitlin N Smith
- Ed Younis
- Phuong Cao
- 7,866 views
- 4 articles
Interactive magazine
eBook
Submission closed
Experience with Quantum Annealing Computation
- Catherine McGeoch
- David Esteban Bernal Neira
- Susan Mniszewski
- Nicholas Chancellor
- 36,880 views
- 14 articles
Interactive magazine
eBook
Submission closed
2022 Computer Science – Editor’s Pick
- Kaleem Siddiqi
- Roberto Therón
- Kostas Karpouzis
- Sven Schewe
- Nicola Zannone
- Marcello Pelillo
- Kristof Van Laerhoven
- Paul Lukowicz
- 137,046 views
- 12 articles
Interactive magazine
Submission closed
Explainable Artificial Intelligence
- Chathurika S Wickramasinghe Brahmana
- Daniel Marino
- Kasun Amarasinghe
- 60,552 views
- 6 articles
Interactive magazine
Submission closed
Horizons in Computer Science 2022
- Kaleem Siddiqi
- Chintha Tellambura
- Kristof Van Laerhoven
- Nicola Zannone
- Paul Lukowicz
- Marcello Pelillo
- Anton Nijholt
- Sven Schewe
- 160,099 views
- 8 articles
Interactive magazine
Submission closed
Quantum Computing: Towards Practical Applications
- Xinhua Peng
- Deniz Türkpençe
- Jingfu Zhang
- Alexandre M Souza
- 63,499 views
- 8 articles
Interactive magazine
eBook
Submission closed
Current Thoughts on the Brain-Computer Analogy - All Metaphors Are Wrong, But Some Are Useful
- Giorgio Matassi
- Pedro Martinez
- Bud (Bhubaneswar) Mishra
- 247,471 views
- 14 articles