본문

  1. Home
6 Results:SS:PROGRAMMING PP:CORNELL UNIVERSITY 0.156 sec.
RSS 
Multilingual
 Расширенный поиск
 Новый поиск книги прибытия
1
On Graph Coloring, Max Cut, and Semidefinite Rank
On Graph Coloring, Max Cut, and Semidefinite Rank
Mirka, Renee. | Cornell University | 2024
Preview
Местоположение
2
Compositional Security for Smart Contracts
Compositional Security for Smart Contracts
Yao, Siqiu. | Cornell University | 2024
Preview
Местоположение
3
Towards Trustworthy Machine Learning: An Integer Programming Approach
Towards Trustworthy Machine Learning: An Integer Programming Approach
Lawless, Connor Aram. | Cornell University | 2024
Preview
Местоположение
4
Stochastic Optimal Control: Threshold-Aware Policies and Impact of Random Disruptions
Stochastic Optimal Control: Threshold-Aware Policies and Impact of Random Disruptions
Wang, MingYi. | Cornell University | 2024
Preview
Местоположение
5
Language Designs for Geometry and Heterogeneous Reasoning in Graphics Programming
Language Designs for Geometry and Heterogeneous Reasoning in Graphics Programming
Geisler, Dietrich. | Cornell University | 2024
Preview
Местоположение
6
Formal Modeling Languages for High-assurance Domain-specific Systems : 高保障特定领域系统的形式化建模语言
Formal Modeling Languages for High-assurance Domain-specific Systems : 高保障特定领域系统的形式化建模语言
Ni, Haobin. | Cornell University | 2024
Preview
Местоположение
처음1마지막