Projects per year
Fingerprint
Dive into the research topics where Computer Science is active. These topic labels come from the works of this organization's members. Together they form a unique fingerprint.
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
SLES: Vision-Based Maximally-Symbolic Safety Supervisor with Graceful Degradation and Procedural Validation
NSF - National Science Foundation
10/1/23 → 9/30/26
Project: Research project
-
NeTS: Medium: Foundations and Applications of Modular Verification of Networks
NSF - National Science Foundation
10/1/23 → 9/30/27
Project: Research project
-
Collaborative Research: CISE: Large: Systems Support for Run-Anywhere Serverless
NSF - National Science Foundation
10/1/23 → 9/30/28
Project: Research project
-
A computational process-tracing method for measuring people’s planning strategies and how they change over time
Jain, Y. R., Callaway, F., Griffiths, T. L., Dayan, P., He, R., Krueger, P. M. & Lieder, F., Jun 2023, In: Behavior Research Methods. 55, 4, p. 2037-2079 43 p.Research output: Contribution to journal › Article › peer-review
Open Access2 Scopus citations -
A Connection between One-Step RL and Critic Regularization in Reinforcement Learning
Eysenbach, B., Geist, M., Levine, S. & Salakhutdinov, R., 2023, In: Proceedings of Machine Learning Research. 202, p. 9485-9507 23 p.Research output: Contribution to journal › Conference article › peer-review
-
A Connectivity-Sensitive Approach to Consensus Dynamics
Chazelle, B. & Karntikoon, K., Jun 1 2023, 2nd Symposium on Algorithmic Foundations of Dynamic Networks, SAND 2023. Doty, D. & Spirakis, P. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 10. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 257).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution