본문

  1. Home
70 Results:SS:COMPUTERSCIENCE PP:CORNELL UNIVERSITY 0.156 sec.
RSS 
Multilingual
 Búsqueda Avanzada
 Nueva llegada Buscar
31
Lightweight Formal Methods for Correct, Efficient Systems Programming- [electronic resource]
Lightweight Formal Methods for Correct, Efficient Systems Programming- [electronic resource]
VanHattum, Alexa.Computer Science. | Cornell University. | 2023
Naver
Información de ubicación
32
Event-Based Signal Temporal Logic Synthesis for Single and Multi-Robot Tasks- [electronic resource]
Event-Based Signal Temporal Logic Synthesis for Single and Multi-Robot Tasks- [electronic resource]
Gundana, David.Mechanical Engineering. | Cornell University. | 2023
Naver
Información de ubicación
33
Challenges in Continuous Path Planning: Rarefactions, Uncertainty and Reinforcement Learning- [electronic resource]
Challenges in Continuous Path Planning: Rarefactions, Uncertainty and Reinforcement Learning- [electronic resource]
Qi, Dongping.Applied Mathematics. | Cornell University. | 2023
Naver
Información de ubicación
34
Statistically Efficient Reinforcement Learning- [electronic resource]
Statistically Efficient Reinforcement Learning- [electronic resource]
Uehara, Masatoshi.Computer Science. | Cornell University. | 2023
Naver
Información de ubicación
35
Adaptivity, Structure, and Objectives in Sequential Decision-Making- [electronic resource]
Adaptivity, Structure, and Objectives in Sequential Decision-Making- [electronic resource]
Sinclair, Sean R.Operations Research and Informati | Cornell University. | 2023
Naver
Información de ubicación
36
AI Explainability in the Global South: Towards an Inclusive Praxis for Emerging Technology Users- [electronic resource]
AI Explainability in the Global South: Towards an Inclusive Praxis for Emerging Technology Users- [electronic resource]
Okolo, Chinasa T.Computer Science. | Cornell University. | 2023
Naver
Información de ubicación
37
Data-Efficient Decision-Making- [electronic resource]
Data-Efficient Decision-Making- [electronic resource]
Hu, Yichun.Operations Research and Information Eng | Cornell University. | 2023
Naver
Información de ubicación
38
New Fluid Approximation, Inventory Placement and Discrete Choice Models for Revenue Management- [electronic resource]
New Fluid Approximation, Inventory Placement and Discrete Choice Models for Revenue Management- [electronic resource]
Bai, Yicheng.Operations Research and Information E | Cornell University. | 2023
Naver
Información de ubicación
39
Notes Towards Cooperative AI- [electronic resource]
Notes Towards Cooperative AI- [electronic resource]
Friedenberg, Meir David.Computer Science. | Cornell University. | 2023
Naver
Información de ubicación
40
Driving Simulation for Interaction- [electronic resource]
Driving Simulation for Interaction- [electronic resource]
Goedicke, David.Information Science. | Cornell University. | 2023
Naver
Información de ubicación
처음이전1234567이후마지막