[IEEE 2018 OCEANS - MTS/IEEE Kobe Techno-Ocean (OTO) - Kobe (2018.5.28-2018.5.31)] 2018 OCEANS - MTS/IEEE Kobe Techno-Oceans (OTO) - DCT-PLS Gap Filling and DMD Analysis of the Coastal Ocean Surface Current in the Gulf of Thailand
- 作者Kongkulsiri, Siriwat; Tomkratoke, Saifhon; Sirisup, Sirod
- 文件大小1249.54KB
- 发表时间2018
- DOI10.1109/oceanskobe.2018.8559274
- 页码1-6
[IEEE 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Vancouver, BC, Canada (2019.6.24-2019.6.27)] 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Matching μ-LogicChen, Xiaohong; Rosu, Grigore · 2019
[IEEE 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Vancouver, BC, Canada (2019.6.24-2019.6.27)] 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - LICS 2019 Foreword2019
[IEEE 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Vancouver, BC, Canada (2019.6.24-2019.6.27)] 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Perspective GamesKupferman, Orna; Vardi, Gal · 2019
[IEEE 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Vancouver, BC, Canada (2019.6.24-2019.6.27)] 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Completeness for Game LogicEnqvist, Sebastian; Hansen, Helle Hvid; Kupke, Clemens; Marti, Johannes; Venema, Yde · 2019
[IEEE 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Vancouver, BC, Canada (2019.6.24-2019.6.27)] 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Quantum Hoare Logic with Ghost VariablesUnruh, Dominique · 2019
[IEEE 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Vancouver, BC, Canada (2019.6.24-2019.6.27)] 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Template games and differential linear logicMellies, Paul-Andre · 2019
[IEEE 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Vancouver, BC, Canada (2019.6.24-2019.6.27)] 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - MSO+∇ is undecidableBojanczyk, Mikolaj; Kelmendi, Edon; Skrzypczak, Michal · 2019
[IEEE 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Vancouver, BC, Canada (2019.6.24-2019.6.27)] 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - The Logic of Action Lattices is UndecidableKuznetsov, Stepan · 2019