Stephen Wright

发表

Formal construction of Instruction Set Architectures

Stephen Wright, Stephen Wright, 2009 .

The transmission of knowledge and justification

Stephen Wright, Stephen Wright, 2015, Synthese.

Using Event-B to construct instruction set architectures

Kerstin Eder, Stephen Wright, 2009, Formal Aspects of Computing.

MIDAS: A Formally Constructed Virtual Machine

Stephen Wright, 2009 .

PhD Thesis: Formal Construction of Instruction Set Architectures

Stephen Wright, 2009 .

Experience of Deploying Event-B in Industrial Microprocessor Development

Kerstin Eder, Stephen Wright, K. Eder, 2013, Industrial Deployment of System Engineering Methods.

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

Stephen Wright, S. Wright, 2017, Int. J. Model. Identif. Control..

Blended Conditonal Gradients

Sebastian Pokutta, Gábor Braun, Stephen Wright, 2019, ICML.

Dissipativity Theory for Accelerating Stochastic Variance Reduction: A Unified Analysis of SVRG and Katyusha Using Semidefinite Programs

Bin Hu, Laurent Lessard, Stephen Wright, 2018, ICML.

Bilinear Bandits with Low-rank Structure pdf

Robert D. Nowak, Rebecca Willett, Kwang-Sung Jun, 2019, ICML.

Automatic Generation of C from Event-B

Stephen Wright, Stephen Wright, 2009 .

Blended Conditional Gradients: the unconditioning of conditional gradients pdf

Sebastian Pokutta, Gábor Braun, Stephen Wright, 2018, ICML 2019.

Online Learning for Changing Environments using Coin Betting pdf

Rebecca Willett, Francesco Orabona, Kwang-Sung Jun, 2017, ArXiv.

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

Kerstin Eder, David May, Stephen Wright, 2011, ICFEM.

Dividends, Total Cash Flow to Shareholders, and Predictive Return Regressions

Stephen Wright, Donald Robertson, 2003 .

Use of imagery and GIS for humanitarian demining management

Stephen Wright, Glen C. Gustafson, Jack Gentile, 1997, Optics & Photonics.

Using EventB to Create a Virtual Machine Instruction Set Architecture

Stephen Wright, Stephen Wright, 2008, ABZ.

Convergence and Margin of Adversarial Training on Separable Data pdf

Stephen Wright, Dimitris Papailiopoulos, Shashank Rajput, 2019, ArXiv.

Stochastic Learning for Sparse Discrete Markov Random Fields with Controlled Gradient Approximation Error

Jie Liu, David Page, Sinong Geng, 2018, UAI.

ATOMO: Communication-efficient Learning via Atomic Sparsification

Dimitris S. Papailiopoulos, Stephen Wright, Scott Sievert, 2018, NeurIPS.

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

Stephen Wright, Stephen Wright, 2013, Synthese.

Inspecting the noisy mechanism: the stochastic growth model with partial information

Stephen Wright, Liam Graham, Liam Graham, 2006 .

Computing Generalized Matrix Inverse on Spiking Neural Substrate

Jing Li, Erik Jorgensen, Stephen Wright, 2018, Front. Neurosci..

Information, heterogeneity and market incompleteness in the stochastic growth model

Stephen Wright, Liam Graham, 2007 .

Enhanced Presence in Driving Simulators Using Autonomous Traffic with Virtual Personalities

Anthony G. Cohn, Nicholas J. Ward, Stephen Wright, 2002, Presence: Teleoperators & Virtual Environments.

The Endogenous Kalman Filter

Stephen Wright, Liam Graham, B. Baxter, 2007 .

Invertible and non-invertible information sets in linear rational expectations models

Stephen Wright, Liam Graham, B. Baxter, 2011 .