research
∙
05/03/2023
The independence ratio of 4-cycle-free planar graphs
We prove that every n-vertex planar graph G with no triangle sharing an ...
share
research
∙
09/01/2022
Large-Scale Auto-Regressive Modeling Of Street Networks
We present a novel generative method for the creation of city-scale road...
research
∙
01/25/2022
Projective Urban Texturing
This paper proposes a method for automatic generation of textures for 3D...
research
∙
11/05/2021
Seamless Satellite-image Synthesis
We introduce Seamless Satellite-image Synthesis (SSS), a novel neural ar...
research
∙
09/23/2021
A special case of Vu's conjecture: Coloring nearly disjoint graphs of bounded maximum degree
A collection of graphs is nearly disjoint if every pair of them intersec...
research
∙
08/12/2021
How Computer Science Can Aid Forest Restoration
The world faces two interlinked crises: climate change and loss of biodi...
research
∙
06/25/2021
Graph and hypergraph colouring via nibble methods: A survey
This paper provides a survey of methods, results, and open problems on g...
research
∙
06/04/2021
SketchGen: Generating Constrained CAD Sketches
Computer-aided design (CAD) is the most widely used modeling approach fo...
research
∙
04/01/2021
Retrofitting Effect Handlers onto OCaml
Effect handlers have been gathering momentum as a mechanism for modular ...
research
∙
11/26/2020
Generative Layout Modeling using Constraint Graphs
We propose a new generative model for layout generation. We generate lay...
research
∙
04/24/2020
Retrofitting Parallelism onto OCaml
OCaml is an industrial-strength, multi-paradigm programming language, wi...
research
∙
11/06/2019
A local epsilon version of Reed's Conjecture
In 1998, Reed conjectured that every graph G satisfies χ(G) ≤1/2(Δ(G) + ...
research
∙
11/06/2019
On the density of critical graphs with no large cliques
A graph G is k-critical if χ(G) = k and every proper subgraph of G is (k...
research
∙
11/28/2018
Fractional coloring with local demands
We investigate fractional colorings of graphs in which the amount of col...
research
∙
07/02/2018
Simplifying Urban Data Fusion with BigSUR
Our ability to understand data has always lagged behind our ability to c...
research
∙
06/19/2018
FrankenGAN: Guided Detail Synthesis for Building Mass-Models Using Style-Synchonized GANs
Coarse building mass models are now routinely generated at scales rangin...
research
∙
09/12/2017