English
Related papers

Related papers: Future Directions of the Cyberinfrastructure for S…

200 papers

The workshop 'AI-based Planning for Cyber-Physical Systems', which took place on February 26, 2024, as part of the 38th Annual AAAI Conference on Artificial Intelligence in Vancouver, Canada, brought together researchers to discuss recent…

Artificial Intelligence · Computer Science 2024-10-11 Oliver Niggemann , Gautam Biswas , Alexander Diedrich , Jonas Ehrhardt , René Heesch , Niklas Widulle

The SYNT workshop aims to bring together researchers interested in the broad area of synthesis of computing systems. The goal is to foster the development of frontier techniques in automating the development of computing system.…

Logic in Computer Science · Computer Science 2016-11-23 Ruzica Piskac , Rayna Dimitrova

This USER Workshop was convened with the goal of defining future research directions for the burgeoning intelligent agent research community and to communicate them to the National Science Foundation. It took place in Pittsburgh…

Computation and Language · Computer Science 2020-06-12 Maxine Eskenazi , Tiancheng Zhao

This report documents the program and results of the GI-Dagstuhl Seminar 19023 on Explainable Software for Cyber-Physical Systems (ES4CPS). The seminar was concerned with the challenge that for future Cyber-Physical Systems (CPS), it will…

Software Engineering · Computer Science 2019-04-29 Joel Greenyer , Malte Lochau , Thomas Vogel

This white paper highlights the work that is needed to anticipate the challenges and societal impacts of a possible technosignature detection. We recommend practical steps to strengthen NASA's astrobiology agenda, guided by the existing…

The Computing Community Consortium (CCC) sponsored a workshop on "Robotic Materials" in Washington, DC, that was held from April 23-24, 2018. This workshop was the second in a series of interdisciplinary workshops aimed at transforming our…

Robotics · Computer Science 2019-03-26 Nikolaus Correll , Ray Baughman , Richard Voyles , Lining Yao , Dan Inman

The workshop will focus on the application of AI to problems in cyber security. Cyber systems generate large volumes of data, utilizing this effectively is beyond human capabilities. Additionally, adversaries continue to develop new…

This report records and discusses the Fourth Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE4). The report includes a description of the keynote presentation of the workshop, the mission and vision statements…

With the advancement of information retrieval (IR) technologies, robustness is increasingly attracting attention. When deploying technology into practice, we consider not only its average performance under normal conditions but, more…

Information Retrieval · Computer Science 2025-03-25 Yu-An Liu , Haya Nachimovsky , Ruqing Zhang , Oren Kurland , Jiafeng Guo , Moshe Tennenholtz

Our Critical Infrastructure (CI) systems are, by definition, critical to the safe and proper functioning of society. Nearly all of these systems utilize industrial Process Control Systems (PCS) to provide clean water, reliable electricity,…

Cryptography and Security · Computer Science 2018-05-10 James Christopher Foreman

This article describes experiences and lessons learned from the Trusted CI project, funded by the US National Science Foundation to serve the community as the NSF Cybersecurity Center of Excellence. Trusted CI is an effort to address…

Participatory design initiatives, especially within the realm of digital civics, are often integrated and co-developed with the very citizens and communities they intend to assist. Digital civics research aims to create positive social…

The evolution of the global scientific cyberinfrastructure (CI) has, over the last 10+ years, led to a large diversity of CI instances. While specialized, competing and alternative CI building blocks are inherent to a healthy ecosystem, it…

Distributed, Parallel, and Cluster Computing · Computer Science 2012-10-12 Jarek Nabrzyski , Krzysztof Kurowski , Daniel S. Katz , Andre Merzky

Theoretical computer science (TCS) is a subdiscipline of computer science that studies the mathematical foundations of computational and algorithmic processes and interactions. Work in this field is often recognized by its emphasis on…

Computers and Society · Computer Science 2021-07-08 Shuchi Chawla , Jelani Nelson , Chris Umans , David Woodruff

On May $28^{th}$ and $29^{th}$, a two day workshop was held virtually, facilitated by the Beyond Center at ASU and Moogsoft Inc. The aim was to bring together leading scientists with an interest in Network Science and Epidemiology to…

Resilience in cyber-physical systems (CPS) is the fundamental ability to maintain safety and critical functionality despite adverse "perturbations," which includes security attacks, environmental disruptions, and hardware or software…

Education for sustainable development has evolved to include more constructive approaches and a better understanding of what is needed to align education with the cultural, societal, and pedagogical changes required to avoid the risks posed…

Cyber Physical Systems (CPS) are the conjoining of an entities' physical and computational elements. The development of a typical CPS system follows a sequence from conceptual modeling, testing in simulated (virtual) worlds, testing in…

Computers and Society · Computer Science 2014-08-05 Vijay Gadepally , Ashok Krishnamurthy , Umit Ozguner

This Brightest Light Initiative (BLI) Workshop Report captures the important research ideas and recommendations for enabling that work developed by over 100 leading scientists at a community-initiated workshop held March 27-29, 2019 in…

Research software is essential to modern research, but it requires ongoing human effort to sustain: to continually adapt to changes in dependencies, to fix bugs, and to add new features. Software sustainability institutes, amongst others,…

Software Engineering · Computer Science 2021-05-21 Daniel S. Katz , Jeffrey C. Carver , Neil P. Chue Hong , Sandra Gesing , Simon Hettrick , Tom Honeyman , Karthik Ram , Nicholas Weber