output
20032026
most citedThe effects of He I 10830 on helium abundance determinations

413 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2017Show all

2 papers · 1 filter

cs.LO2017

Star Height via Games

Mikolaj Bojanczyk

This paper proposes a new algorithm deciding the star height problem. As shown by Kirsten, the star height problem reduces to a problem concerning automata with counters, called li…

gr-qc2017★ 5 cited

Modeling Cosmic Expansion, and Possible Inflation, As a Thermodynamic Heat Engine

Christopher Pilot

Assuming a closed universe with slight positive curvature, cosmic expansion is modeled as a heat engine where the '"system'" is defined collectively as those regions of space withi…