Matthew Newton

According to our database, Matthew Newton authored at least 14 papers between 2001 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Sparse polynomial optimisation for neural network verification.

Matthew Newton, Antonis Papachristodoulou

Autom., November, 2023

Rational Neural Network Controllers.

Matthew Newton, Antonis Papachristodoulou

CoRR, 2023

Scalable Forward Reachability Analysis of Multi-Agent Systems with Neural Network Controllers.

Oliver Gates, Matthew Newton, Konstantinos Gatsis

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

2022

Stability of Non-linear Neural Feedback Loops using Sum of Squares.

Matthew Newton, Antonis Papachristodoulou

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Reachability Analysis of Neural Feedback Loops using Sparse Polynomial Optimisation.

Matthew Newton, Antonis Papachristodoulou

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

2021

Exploiting Sparsity for Neural Network Verification.

Matthew Newton, Antonis Papachristodoulou

Proceedings of the 3rd Annual Conference on Learning for Dynamics and Control, 2021

Neural Network Verification using Polynomial Optimisation.

Matthew Newton, Antonis Papachristodoulou

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

2020

Network Lyapunov Functions for Epidemic Models.

Matthew Newton, Antonis Papachristodoulou

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

2004

New Exact Results and Bounds for Bipartite Crossing Numbers of Meshes.

Matthew Newton, Ondrej Sýkora, Martin Uzovic, Imrich Vrto

Proceedings of the Graph Drawing, 12th International Symposium, 2004

2003

A Parallel Approach to Row-Based VLSI Layout Using Stochastic Hill-Climbing.

Matthew Newton, Ondrej Sýkora, Mark S. Withall, Imrich Vrto

Proceedings of the Developments in Applied Artificial Intelligence, 2003

2002

An overview of the BlueGene/L Supercomputer.

Narasimha R. Adiga, George Almási, George S. Almási, Yariv Aridor, Rajkishore Barik, Daniel K. Beece, Ralph Bellofatto, Gyan Bhanot, Randy Bickford, Matthias A. Blumrich, Arthur A. Bright, José R. Brunheroto, Calin Cascaval, José G. Castaños, Waiman Chan, Luis Ceze, Paul Coteus, Siddhartha Chatterjee, Dong Chen, George L.-T. Chiu, Thomas M. Cipolla, Paul Crumley, K. M. Desai, Alina Deutsch, Tamar Domany, Marc Boris Dombrowa, Wilm E. Donath, Maria Eleftheriou, C. Christopher Erway, J. Esch, Blake G. Fitch, Joseph Gagliano, Alan Gara, Rahul Garg, Robert S. Germain, Mark Giampapa, Balaji Gopalsamy, John A. Gunnels, Manish Gupta, Fred G. Gustavson, Shawn Hall, Ruud A. Haring, David F. Heidel, Philip Heidelberger, Lorraine Herger, Dirk Hoenicke, R. D. Jackson, T. Jamal-Eddine, Gerard V. Kopcsay, Elie Krevat, Manish P. Kurhekar, Alphonso P. Lanzetta, Derek Lieber, L. K. Liu, M. Lu, Mark P. Mendell, A. Misra, Yosef Moatti, Lawrence S. Mok, José E. Moreira, Ben J. Nathanson, Matthew Newton, Martin Ohmacht, Adam J. Oliner, Vinayaka Pandit, R. B. Pudota, Rick A. Rand, Richard D. Regan, Bradley Rubin, Albert E. Ruehli, Silvius Vasile Rus, Ramendra K. Sahoo, Alda Sanomiya, Eugen Schenfeld, M. Sharma, Edi Shmueli, Sarabjeet Singh, Peilin Song, Vijay Srinivasan, Burkhard D. Steinmacher-Burow, Karin Strauss, Christopher W. Surovic, Richard A. Swetz, Todd Takken, R. Brett Tremaine, Mickey Tsao, Arun R. Umamaheshwaran, P. Verma, Pavlos Vranas, T. J. Christopher Ward, Michael E. Wazlowski, W. Barrett, C. Engel, B. Drehmel, B. Hilgart, D. Hill, F. Kasemkhani, David J. Krolak, Chun-Tao Li, Thomas A. Liebsch, James A. Marcella, A. Muff, A. Okomo, M. Rouse, A. Schram, M. Tubbs, G. Ulsh, Charles D. Wait, J. Wittrup, Myung Bae, Kenneth A. Dockser, Lynn Kissel, Mark K. Seager, Jeffrey S. Vetter, K. Yates

Proceedings of the 2002 ACM/IEEE conference on Supercomputing, 2002

Two New Heuristics for Two-Sided Bipartite Graph Drawing.

Matthew Newton, Ondrej Sýkora, Imrich Vrto

Proceedings of the Graph Drawing, 10th International Symposium, 2002

Blue Gene/L, a System-On-A-Chip.

George S. Almási, Daniel K. Beece, Ralph Bellofatto, Gyan Bhanot, Randy Bickford, Matthias A. Blumrich, Arthur A. Bright, José R. Brunheroto, Calin Cascaval, José G. Castaños, Luis Ceze, Paul Coteus, Siddhartha Chatterjee, Dong Chen, George L.-T. Chiu, Thomas M. Cipolla, Paul Crumley, Alina Deutsch, Marc Boris Dombrowa, Wilm E. Donath, Maria Eleftheriou, Blake G. Fitch, Joseph Gagliano, Alan Gara, Robert S. Germain, Mark Giampapa, Manish Gupta, Fred G. Gustavson, Shawn Hall, Ruud A. Haring, David F. Heidel, Philip Heidelberger, Lorraine Herger, Dirk Hoenicke, T. Jamal-Eddine, Gerard V. Kopcsay, Alphonso P. Lanzetta, Derek Lieber, M. Lu, Mark P. Mendell, Lawrence S. Mok, José E. Moreira, Ben J. Nathanson, Matthew Newton, Martin Ohmacht, Rick A. Rand, Richard D. Regan, Ramendra K. Sahoo, Alda Sanomiya, Eugen Schenfeld, Sarabjeet Singh, Peilin Song, Burkhard D. Steinmacher-Burow, Karin Strauss, Richard A. Swetz, Todd Takken, R. Brett Tremaine, Mickey Tsao, Pavlos Vranas, T. J. Christopher Ward, Michael E. Wazlowski, J. Brown, Thomas A. Liebsch, A. Schram, G. Ulsh

Proceedings of the 2002 IEEE International Conference on Cluster Computing (CLUSTER 2002), 2002

2001

Blue Gene: A vision for protein science using a petaflop supercomputer.

Frances E. Allen, George S. Almási, Wanda Andreoni, Daniel K. Beece, Bruce J. Berne, Arthur A. Bright, José R. Brunheroto, Calin Cascaval, José G. Castaños, Paul Coteus, Paul Crumley, Alessandro Curioni, Monty Denneau, Wilm E. Donath, Maria Eleftheriou, Blake G. Fitch, Bruce M. Fleischer, Christos J. Georgiou, Robert S. Germain, Mark Giampapa, Donna L. Gresh, Manish Gupta, Ruud A. Haring, C. T. Howard Ho, Peter H. Hochschild, Susan Flynn Hummel, Tiziana Jonas, Derek Lieber, Glenn J. Martyna, Kiran K. Maturu, José E. Moreira, Dennis M. Newns, Matthew Newton, Robert Philhower, Thomas Picunko, Jed W. Pitera, Michael Pitman, Rick A. Rand, Ajay K. Royyuru, Valentina Salapura, Alda Sanomiya, Rahul S. Shah, Yuk Yin Sham, Sarabjeet Singh, Marc Snir, Frank Suits, Richard A. Swetz, William C. Swope, Nagesh K. Vishnumurthy, T. J. Christopher Ward, Henry S. Warren Jr., Ruhong Zhou

IBM Syst. J., 2001