CoolerSpace: A Language for Physically Correct and Computationally Efficient Color Programming

E Chen, J Chang, Y Zhu - Proceedings of the ACM on Programming …, 2024 - dl.acm.org
Color programmers manipulate lights, materials, and the resulting colors from light-material
interactions. Existing libraries for color programming provide only a thin layer of abstraction …

GPU Shader Analysis and Power Optimization Model

G Konnurmath, S Chickerur - Engineering, Technology & Applied Science …, 2024 - etasr.com
With the rapid advancements in 3D game technology, workload characterization has
become crucial for each new generation of games. The increased complexity of scenes in …

I♥ LA: compilable markdown for linear algebra

Y Li, S Kamil, A Jacobson, Y Gingold - ACM Transactions on Graphics …, 2021 - dl.acm.org
Communicating linear algebra in written form is challenging: mathematicians must choose
between writing in languages that produce well-formatted but semantically-underdefined …

Achieving Self-Sustainability in Interactive Graphical Programming Systems

J Jakubovic - 2024 - kar.kent.ac.uk
Programming is fraught with accidental complexity. Software, including tools used for
programming, is inflexible and hard to adapt to one's specific problem context. Programming …

Language Designs for Geometry and Heterogeneous Reasoning in Graphics Programming

D Geisler - 2024 - search.proquest.com
There has been growing demand for graphical image rendering in the past several decades.
This demand has arisen primarily in video games, but also from fields as broad as film, art …

Discalculia y el aprendizaje de matemática en niños del quinto año de una institución educativa pública de Daule, 2022

DE Salas Cox - 2022 - repositorio.ucv.edu.pe
Esta investigación tuvo como objetivo en determinar cómo se relaciona la discalculia en los
procesos de aprendizajes matemáticos en niños del quinto año de una institución educativa …

Online verification of commutativity

A Kabra, D Geisler, A Sampson - Proceedings of the 11th ACM SIGPLAN …, 2020 - dl.acm.org
Systems of transformations arise in many programming systems, such as in graphs of
implicit type conversion functions. It is important to ensure that these diagrams commute: that …

[PDF][PDF] Une approche déclarative pour la programmation graphique

P Sardinha - cui-unige.github.io
Résumé La programmation graphique permet de créer des applications 3D et est
notamment utilisée pour la conception de jeux vidéo ainsi que pour la modélisation. A …

[引用][C] I❤️ IQ: A Shader Graphing Calculator for Signed Distance Functions (SDFs)

H Kriel - 2023

[引用][C] Online Verification of Commutativity

AKDGA Sampson