MacSphere: Browsing MacSphere

Browsing by Author Carette, Jacques

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:

Showing results 1 to 20 of 30 next >

Publication Date	Title	Author(s)
2022	Adding Types and Theory Kinds to Drasil	Balaci, Jason
May-2006	An Analysis of Program by Symbolic Computation	Zhai, Yun
26-Aug-2009	CHIRON: MECHANIZING MATHEMATICS IN OCAML	Ni, Hong
2020	A Design Language for Scientific Computing Software in Drasil	MacLachlan, Brooks
2021	Do-it-Yourself Module Systems	Al-hassy, Musa
Nov-2015	Effectively Communicating Critical Status Information in First-Person Shooter Games	Peacocke, Margaree
2017	Effects of visual scale on selection tasks	Browning, Graeme
Oct-2012	Existence, Continuity, and Computability of Unique Fixed Points in Analog Network Models	James, Nick D.
2017	Game Design Principles: A formal analysis	D'Amore, Salvatore
Apr-2014	Generating Learning Algorithms: Hidden Markov Models as a Case Study	Szymczak, Daniel
2024	Generating Player-Traversable Paths for Cyclescape From Real World Data	Trandinh, Thien
Sep-2010	A Generative Approach to Meshing Geometry	Elsheikh, Mustafa
Apr-2017	GLaDOS: Integrating Emotion-Based Behaviours into Non-Player Characters in Computer Role-Playing Games	Smith, Geneva
2015	Guidelines for Visual Scale Design: An Analysis of Minecraft	Thevathasan, Manivanna
2017	Implementing a family of tower defense games	Li, Ye
Oct-2009	A Language and a Library of Algebraic Theory-types	Zhang, Huan
2021	Leveraging Information Contained in Theory Presentations	Sharoda, Yasmine
Nov-2014	MAKU: A Code Generator for Bullet Hell Games	Collman, Nathan
2014	Modeling HUD Layouts for Selection Based Video Games	Thevathasan, Manivanna
2018	Ooh What's This Button Do?	Soraine, Sasha

Showing results 1 to 20 of 30 next >