Видео ютуба по тегу Doi:10.1145

SolMover:
SolMover:
DOI：
DOI：
10.1145/3185517 - A Review of User Interface Design for Interactive Machine Learning
10.1145/3185517 - A Review of User Interface Design for Interactive Machine Learning
HRI2023 Presentation Video
HRI2023 Presentation Video
JAPAN 2025 (Part 1) - Arriving in Yokohama, Exploring Tokyo, Shibuya Crossing
JAPAN 2025 (Part 1) - Arriving in Yokohama, Exploring Tokyo, Shibuya Crossing
[PEPM'25] Typed Program Analysis Without Encodings
[PEPM'25] Typed Program Analysis Without Encodings
Teaching Intel to love the television: Alex Zafiroglu and Genevieve Bell
Teaching Intel to love the television: Alex Zafiroglu and Genevieve Bell
JAPAN 2025 (Part 3) - Presenting at CHI, Rides, CupNoodles Museum, Shinjuku, Shinkansen
JAPAN 2025 (Part 3) - Presenting at CHI, Rides, CupNoodles Museum, Shinjuku, Shinkansen
cloud engineering is changing...
cloud engineering is changing...
Gleipnir: toward practical error analysis for Quantum programs
Gleipnir: toward practical error analysis for Quantum programs
[SOAP24] ValBench: Benchmarking exact value analysis
[SOAP24] ValBench: Benchmarking exact value analysis
JAPAN 2025 (Part 2) - CHI Opening, Interactivity Demos, Exploring Yokohama
JAPAN 2025 (Part 2) - CHI Opening, Interactivity Demos, Exploring Yokohama
New programming tool turns sketches, handwriting into code
New programming tool turns sketches, handwriting into code
Breaking Changes - Version 0.37
Breaking Changes - Version 0.37
Olivia Rodrigo Ages 0 to 100 in 12 Seconds! (AI) | #shorts
Olivia Rodrigo Ages 0 to 100 in 12 Seconds! (AI) | #shorts
Symbolic and Automatic Differentiation of Languages
Symbolic and Automatic Differentiation of Languages
DB4ML - An In-Memory Database Kernel with Machine Learning Support (SIGMOD'20)
DB4ML - An In-Memory Database Kernel with Machine Learning Support (SIGMOD'20)
[PLDI24] Jacdac: Service-Based Prototyping of Embedded Systems
[PLDI24] Jacdac: Service-Based Prototyping of Embedded Systems
[POPL'22] Dependently-Typed Data Plane Programming
[POPL'22] Dependently-Typed Data Plane Programming
Relational E-Matching (Teaser)
Relational E-Matching (Teaser)