Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Memoria: Resolving Fateful Forgetting Problem through Human-Inspired Memory ArchitecturePark, Sangjun ; Bak, JinYeongarXiv.org, 2024-06Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
Fully Automated Verification of Linear Time-Invariant Systems against Signal Temporal Logic Specifications via Reachability AnalysisKochdumper, Niklas ; Bak, StanleyarXiv.org, 2024-04Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
The (1,0) tensor and hypermultiplets in loop spaceBak, Dongsu ; Gustavsson, AndreasarXiv.org, 2024-02Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
Coverage Explorer: Coverage-guided Test Generation for Cyber Physical SystemsSheikhi, Sanaz ; Bak, StanleyarXiv.org, 2023-12Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
Diversity Enhanced Narrative Question Generation for StorybooksYoon, Hokeun ; Bak, JinYeongarXiv.org, 2023-10Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
Real-Time Capable Decision Making for Autonomous Driving Using Reachable SetsKochdumper, Niklas ; Bak, StanleyarXiv.org, 2023-09Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
KpopMT: Translation Dataset with Terminology for Kpop FandomKim, JiWoo ; Kim, Yunsu ; Bak, JinYeongarXiv.org, 2024-07Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
Verification of Neural Network Control Systems in Continuous TimeArjomandBigdeli, Ali ; Mata, Andrew ; Bak, StanleyarXiv.org, 2024-05Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Information and Coarse-Graining in Eternal Black HolesBak, DongsuarXiv.org, 2018-03Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Information metric and Euclidean Janus correspondenceBak, DongsuarXiv.org, 2017-08Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |