Stephen Wright

According to our database, Stephen Wright authored at least 19 papers between 1997 and 2023.

Collaborative distances:

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

2023

Optimally Teaching a Linear Behavior Cloning Agent.

Shubham Kumar Bharti, Stephen Wright, Adish Singla, Xiaojin Zhu

CoRR, 2023

Learning physics-based reduced-order models from data using nonlinear manifolds.

Rudy Geelen, Laura Balzano, Stephen Wright, Karen Willcox

CoRR, 2023

A Fully First-Order Method for Stochastic Bilevel Optimization.

Jeongyeol Kwon, Dohyun Kwon, Stephen Wright, Robert D. Nowak

Proceedings of the International Conference on Machine Learning, 2023

Cut your Losses with Squentropy.

Like Hui, Mikhail Belkin, Stephen Wright

Proceedings of the International Conference on Machine Learning, 2023

2022

BOME! Bilevel Optimization Made Easy: A Simple First-Order Approach.

Mao Ye, Bo Liu, Stephen Wright, Peter Stone, Qiang Liu

CoRR, 2022

Operator inference for non-intrusive model reduction with nonlinear manifolds.

Rudy Geelen, Stephen Wright, Karen Willcox

CoRR, 2022

BOME! Bilevel Optimization Made Easy: A Simple First-Order Approach.

Bo Liu, Mao Ye, Stephen Wright, Peter Stone, Qiang Liu

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

2021

Systematic Assessment of Formal Methods Based Models Quality Criteria.

Lorenzo Maldini, Stephen Wright

Proceedings of the Advances in Model and Data Engineering in the Digitalization Era, 2021

2017

Model-based development of MAV altitude control via ground-based equipment.

Stephen Wright

Int. J. Model. Identif. Control., 2017

Transmission Performance of Large Aeff Ultra-Low-Loss Terrestrial Fibre in 200 Gb/s EDFA and Raman-Assisted Systems.

John D. Downie, Sergejs Makovejs, Nikolay Kaliteevskiy, Jason E. Hurley, Stephen Wright, Christopher R. Towery

Proceedings of the European Conference on Optical Communication, 2017

2016

The transmission of knowledge and justification.

Stephen Wright

Synth., 2016

2013

Does Klein's infinitism offer a response to Agrippa's trilemma?

Stephen Wright

Synth., 2013

Experience of Deploying Event-B in Industrial Microprocessor Development.

Stephen Wright, Kerstin Eder

Proceedings of the Industrial Deployment of System Engineering Methods, 2013

2011

Using Event-B to construct instruction set architectures.

Stephen Wright, Kerstin Eder

Formal Aspects Comput., 2011

Managing Complexity through Abstraction: A Refinement-Based Approach to Formalize Instruction Set Architectures.

Fangfang Yuan, Stephen Wright, Kerstin Eder, David May

Proceedings of the Formal Methods and Software Engineering, 2011

2009

Formal construction of Instruction Set Architectures.

Stephen Wright

PhD thesis, 2009

2008

Using EventB to Create a Virtual Machine Instruction Set Architecture.

Stephen Wright

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

2002

Enhanced Presence in Driving Simulators Using Autonomous Traffic with Virtual Personalities.

Stephen Wright, Nicholas J. Ward, Anthony G. Cohn

Presence Teleoperators Virtual Environ., 2002

1997

Stability of Augmented System Factorizations in Interior-Point Methods.

Stephen Wright

SIAM J. Matrix Anal. Appl., January, 1997