본문

  1. Home
145 Results:SS:PROGRAMMING 0.125 sec.
RSS 
다국어입력
 상세검색
 신착검색
71
Human-Centered Program Synthesis
Human-Centered Program Synthesis
Ferdowsifard, Kasra. | University of California, San Diego | 2024
미리보기
위치정보
72
On Transparent Optimizations for Communication in Highly Parallel Systems
On Transparent Optimizations for Communication in Highly Parallel Systems
Wilkins, Michael. | Northwestern University | 2024
미리보기
위치정보
73
Multi-Agent Motion Planning for Collaborative and Large-Scale Applications
Multi-Agent Motion Planning for Collaborative and Large-Scale Applications
Zhang, Tianpeng. | Harvard University | 2024
미리보기
위치정보
74
Compositional Security for Smart Contracts
Compositional Security for Smart Contracts
Yao, Siqiu. | Cornell University | 2024
미리보기
위치정보
75
Optimizing Healthcare Decision-Making: Markov Decision Processes for Liver Transplants, Frequent Interventions, and Infectious Disease Control
Optimizing Healthcare Decision-Making: Markov Decision Processes for Liver Transplants, Frequent Interventions, and Infectious Disease Control
Zhang, Suyanpeng. | University of Southern California | 2024
미리보기
위치정보
76
Correctness of Software Tools Under Weak Memory Models
Correctness of Software Tools Under Weak Memory Models
Liu, Shuyang. | University of California, Los Angeles | 2024
미리보기
위치정보
77
Three Lenses on Improving Programmer Productivity: From Anecdote to Evidence
Three Lenses on Improving Programmer Productivity: From Anecdote to Evidence
Endres, Madeline. | University of Michigan | 2024
미리보기
위치정보
78
Machine Learning and Statistical Approaches for Efficient Disease Screening
Machine Learning and Statistical Approaches for Efficient Disease Screening
Landolfi, Nicholas Charles. | Stanford University | 2024
미리보기
위치정보
79
An Investigation of the Pragmatics of Debugging With Contracts and Gradual Types
An Investigation of the Pragmatics of Debugging With Contracts and Gradual Types
Lazarek, Lukas. | Northwestern University | 2024
미리보기
위치정보
80
Supervisory, Time-Distributed, and Optimization-Based Strategies for Model Predictive Control
Supervisory, Time-Distributed, and Optimization-Based Strategies for Model Predictive Control
Leung, Jordan. | University of Michigan | 2024
미리보기
위치정보
처음이전12345678910이후마지막