Leveraging Data Science for Global Health
Free
Towards Interoperable Research Infrastructures for Environmental and Earth Sciences
Representation Learning for Natural Language Processing
Knowledge Graphs and Big Data Processing
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
Technology, Design and the Arts - Opportunities and Challenges
Software for Exascale Computing - SPPEXA 2016-2019
The Ethics of Cybersecurity
Data Journeys in the Sciences
Computational Cognitive Modeling and Linguistic Theory
Data and Text Processing for Health and Life Sciences
Fundamental Approaches to Software Engineering
CyberParks – The Interface Between People, Places and Technology New Approaches and Perspectives
Automated Machine Learning: Methods, Systems, Challenges
Cyber Security
How AI Impacts Urban Living and Public Health
Semantic Systems. The Power of AI and Knowledge Graphs
Agile Processes in Software Engineering and Extreme Programming – Workshops
Computer Aided Verification :31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
