Submission open
Verifying Autonomy: Formal Methods for Reliable Decision-Making
- ANTONIO DI STASIO
- Muhammad Najib
- Giuseppe Perelli
- Roxana Rădulescu
- 793 views
- 1 article
- Frontiers in Computer Science
- Theoretical Computer Science
- Research Topics
Type at least 3 characters
10 Research Topics
Guest edit your own article collection
Suggest a topic
research topics
Submission open
Balancing Expressiveness and Optimality in Modern Programming Paradigms
- Viviana Bono
- Aleksy Schubert
- 842 views
Submission open
Territorial and Spatial-Based Simulation
- Nuno Fachada
- João Pedro Matos-Carvalho
- Nuno David
- 14,015 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
- 18,248 views
- 5 articles
Interactive magazine
eBook
Submission closed
Experience with Quantum Annealing Computation
- Catherine McGeoch
- David Esteban Bernal Neira
- Susan Mniszewski
- Nicholas Chancellor
- 51,203 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
- 157,315 views
- 12 articles
Interactive magazine
Submission closed
Explainable Artificial Intelligence
- Chathurika S Wickramasinghe Brahmana
- Daniel Marino
- Kasun Amarasinghe
- 83,034 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
- 176,636 views
- 8 articles
Interactive magazine
Submission closed
Quantum Computing: Towards Practical Applications
- Xinhua Peng
- Deniz Türkpençe
- Jingfu Zhang
- Alexandre M Souza
- 76,601 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
- 291,577 views
- 14 articles