Thomas Voice

27 papers A* 1A 5Journal 19Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Hilbert: Recursively Building Formal Proofs with Informal Reasoning.
CoRR
Sumanth Varambally, Thomas Voice, Yanchao Sun, Zhifeng Chen, Rose Yu, Ke Ye
2025 J jnl
Reusing Pre-Training Data at Test Time is a Compute Multiplier.
CoRR
Alex Fang, Thomas Voice, Ruoming Pang, Ludwig Schmidt, Tom Gunter
2021 J jnl
Global stability of the Rate Control Protocol (RCP) and some implications for protocol design.
Perform. Evaluation
Thomas Voice, Abuthahir Abdulrahman, Gaurav Raina
2020 J jnl
Learning Soft Labels via Meta Learning.
CoRR
Nidhi Vyas, Shreyas Saxena, Thomas Voice
2019 J jnl
Do we need two forms of feedback in the Rate Control Protocol (RCP)?
CoRR
Abuthahir, Gaurav Raina, Thomas Voice
2019 J jnl
Do we need two forms of feedback in the Rate Control Protocol (RCP)?
SIGMETRICS Perform. Evaluation Rev.
Abuthahir, Gaurav Raina, Thomas Voice
2018 J jnl
Global stability of the Rate Control Protocol (RCP) and some implications for protocol design.
CoRR
Thomas Voice, Abuthahir, Gaurav Raina
2018 J jnl
Stochastic Thermal Load Management.
IEEE Trans. Autom. Control.
Thomas Voice
2014 J jnl
Coalition Structure Generation over Graphs.
CoRR
Thomas Voice, Maria Polukarov, Nicholas R. Jennings
2013 J jnl
A Hierarchical Dynamic Programming Algorithm for Optimal Coalition Structure Generation.
CoRR
Meritxell Vinyals, Thomas Voice, Sarvapali D. Ramchurn, Nicholas R. Jennings
2012 J jnl
Coalition Structure Generation over Graphs.
J. Artif. Intell. Res.
Thomas Voice, Maria Polukarov, Nicholas R. Jennings
2012 A conf
On coalition formation with sparse synergies.
AAMAS
Thomas Voice, Sarvapali D. Ramchurn, Nicholas R. Jennings
2011 A* conf
Decentralised Control of Micro-Storage in the Smart Grid.
AAAI
Thomas Voice, Perukrishnen Vytelingum, Sarvapali D. Ramchurn, Alex Rogers, Nicholas R. Jennings
2011 J jnl
Graph Coalition Structure Generation
CoRR
Thomas Voice, Maria Polukarov, Nicholas R. Jennings
2011 J jnl
Theoretical and Practical Foundations of Large-Scale Agent-Based Micro-Storage in the Smart Grid.
J. Artif. Intell. Res.
Perukrishnen Vytelingum, Thomas Voice, Sarvapali D. Ramchurn, Alex Rogers, Nicholas R. Jennings
2010 A conf
A Hybrid Continuous Max-Sum Algorithm for Decentralised Coordination.
ECAI
Thomas Voice, Ruben Stranders, Alex Rogers, Nicholas R. Jennings
2010 A conf
Agent-based micro-storage management for the Smart Grid.
AAMAS
Perukrishnen Vytelingum, Thomas Voice, Sarvapali D. Ramchurn, Alex Rogers, Nicholas R. Jennings
2010 A conf
Intelligent agents for the smart grid.
AAMAS
Perukrishnen Vytelingum, Thomas Voice, Sarvapali D. Ramchurn, Alex Rogers, Nicholas R. Jennings
2010 A conf
Trading agents for the smart electricity grid.
AAMAS
Perukrishnen Vytelingum, Sarvapali D. Ramchurn, Thomas Voice, Alex Rogers, Nicholas R. Jennings
2009 — conf
On the Impact of Strategy and Utility Structures on Congestion-Averse Games.
WINE
Thomas Voice, Maria Polukarov, Andrew Byde, Nicholas R. Jennings
2009 J jnl
Stability Analysis of a Max-Min Fair Rate Control Protocol (RCP) in a Small Buffer Regime.
IEEE Trans. Autom. Control.
Thomas Voice, Gaurav Raina
2008 J jnl
Stability and fairness of explicit congestion control with small buffers.
Comput. Commun. Rev.
Frank P. Kelly, Gaurav Raina, Thomas Voice
2007 J jnl
Stability analysis of a max-min fair Rate Control Protocol (RCP) in a small buffer regime
CoRR
Thomas Voice, Gaurav Raina
2007 J jnl
Stability of multi-path dual congestion control algorithms.
IEEE/ACM Trans. Netw.
Thomas Voice
2006 — conf
Stability of multi-path dual congestion control algorithms.
VALUETOOLS
Thomas Voice
2005 J jnl
Stability of end-to-end algorithms for joint routing and rate control.
Comput. Commun. Rev.
Frank P. Kelly, Thomas Voice
2004 J jnl
A global stability result for primal-dual congestion control algorithms with routing.
Comput. Commun. Rev.
Thomas Voice