Scott Johnson

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2024

Utility-Based Reinforcement Learning: Unifying Single-objective and Multi-objective Reinforcement Learning.

[BibT_eX]

[DOI]

Gabriel de Oliveira Ramos

Roxana Radulescu

Willem Röpke

Diederik M. Roijers

CoRR, 2024

2023

Model Predictive Control-Based Energy Management System for a Hybrid Electric Agricultural Tractor.

[BibT_eX]

[DOI]

Gonzalo Curiel-Olivares

Scott Johnson

Gerardo Escobar

Ricardo Schacht-Rodríguez

IEEE Access, 2023

2022

Rapidly Generating Realistic Virtual Environment Contexts.

[BibT_eX]

[DOI]

Sarah H. Creem-Regehr

Jeanine K. Stefanucci

Proceedings of the 2022 IEEE International Symposium on Mixed and Augmented Reality Adjunct (ISMAR-Adjunct), 2022

2020

Automotive 3.0 µm Pixel High Dynamic Range Sensor with LED Flicker Mitigation.

[BibT_eX]

[DOI]

Maheedhar Suryadevara

Sensors, 2020

2011

An APS-C format 14b digital CMOS image sensor with a dynamic response pixel.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Solid-State Circuits Conference, 2011

2010

The Ballarat Incremental Knowledge Engine.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Management and Acquisition for Smart Systems and Services, 2010

2007

Mechanism design with multidimensional, continuous types and interdependent valuations.

[BibT_eX]

[DOI]

Nolan Miller

John W. Pratt

Richard J. Zeckhauser

Scott Johnson

J. Econ. Theory, 2007

2005

Smart diagnostics for configurable processor verification.

[BibT_eX]

[DOI]

Sadik Ezer

Scott Johnson

Proceedings of the 42nd Design Automation Conference, 2005

2003

Calisto: A Low-Power Single-Chip Multiprocessor Communications Platform.

[BibT_eX]

[DOI]

IEEE Micro, 2003

Measuring CPU Time from Hyper-Threading Enabled Intel Processors.

[BibT_eX]

[DOI]

Scott Johnson

Proceedings of the 29th International Computer Measurement Group Conference, 2003

1986

A new proof of the Erdos-Szekeres convex <i>k</i>-gon result.

[BibT_eX]

[DOI]

Scott Johnson

J. Comb. Theory, Ser. A, 1986

1983

Practical Program Verification: Automatic Program Proving for Real-Time Embedded Software.

[BibT_eX]

[DOI]

John Nagle

Scott Johnson

Proceedings of the Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, 1983

1982

An Introduction to the PL/CV2 Programming Logic

[BibT_eX]

[DOI]

Robert L. Constable

Scott Johnson

C. D. Eichenlaub

Lecture Notes in Computer Science 135, Springer, ISBN: 3-540-11492-0, 1982

1981

A Computer System for Checking Proofs.

[BibT_eX]

Scott Johnson

PhD thesis, 1981

1979

A PL/CV Precis.

[BibT_eX]

[DOI]

Robert L. Constable

Scott Johnson

Proceedings of the Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, 1979

Scott Johnson

Bibliography

Loading...