William Spencer - ViCAR: Visualizing Categories with Automated Rewriting in Coq

William Spencer - ViCAR: Visualizing Categories with Automated Rewriting in Coq

Using Knowledge Graphs and SHACL to Validate Declaration Forms: an Experiment - Christophe DebruyneПодробнее

Using Knowledge Graphs and SHACL to Validate Declaration Forms: an Experiment - Christophe Debruyne

ASPLOS'24 - Lightning Talks - Session 3D - MAGIS: Memory Optimization via Coordinated Graph TransforПодробнее

ASPLOS'24 - Lightning Talks - Session 3D - MAGIS: Memory Optimization via Coordinated Graph Transfor

Techniques for effective graph visualisation, Dan Williams, Cambridge IntelligenceПодробнее

Techniques for effective graph visualisation, Dan Williams, Cambridge Intelligence

Composable Data AnalyticsПодробнее

Composable Data Analytics

Visualize your data, datasaurus, anscombe's quartetПодробнее

Visualize your data, datasaurus, anscombe's quartet

Process-as-Code: Real-World Examples That Scale - Electric CloudПодробнее

Process-as-Code: Real-World Examples That Scale - Electric Cloud

Falx: Synthesis-Powered Visualization AuthoringПодробнее

Falx: Synthesis-Powered Visualization Authoring

4000 developers on AI generating codeПодробнее

4000 developers on AI generating code

InChorus: Designing Consistent Multimodal Interactions for Data Visualization on Tablet DevicesПодробнее

InChorus: Designing Consistent Multimodal Interactions for Data Visualization on Tablet Devices

ASPLOS'24 - Lightning Talks - Session 11A - LazyDP: Co Designing Algorithm Software for Scalable TraПодробнее

ASPLOS'24 - Lightning Talks - Session 11A - LazyDP: Co Designing Algorithm Software for Scalable Tra

03: Lesson-3 Multi-label; SGD from scratch | fast.ai 2019 & Things Jeremy Howard says to doПодробнее

03: Lesson-3 Multi-label; SGD from scratch | fast.ai 2019 & Things Jeremy Howard says to do