Operations Research

College of Engineering

Works Published in 2007

Sorted by most recent date added to the index first, which may not be the same as publication date order.

2007 conference paper

Proofchecker: an accessible environment for automata theory correctness proofs

ACM SIGCSE Bulletin, 39(3), 48–52.

By: M. Stallmann, S. Balik, R. Rodman, S. Bahram, M. Grace & S. High

Event: ACM

Source: ORCID
Added: December 6, 2019

2007 conference paper

High-contrast algorithm behavior: observation, hypothesis, and experimental design

Proceedings of the 2007 workshop on Experimental computer science, 12.

By: M. Stallmann & F. Brglez

Event: ACM

Source: ORCID
Added: December 6, 2019

2007 journal article

A case for smaller class size with integrated lab for introductory computer science

ACM SIGCSE Bulletin, 39(1), 341–345.

By: K. Boyer, R. Dwight, C. Miller, C. Raubenheimer, M. Stallmann & M. Vouk

Source: ORCID
Added: December 6, 2019

2007 article

Convergence Analysis of the {DIRECT} Algorithm

By: D. Finkel & C. Kelley

Source: ORCID
Added: August 29, 2019

2007 article

A Case Study in Using Local {I/O} and {GPFS} to Improve Simulation Scalability

8th LCI International Conference on High-Performance Clustered Computing.

Source: ORCID
Added: August 29, 2019

2007 journal article

Analysis of A Scalable Preconditioner for the Wigner-Poisson Equation

International Journal of Pure and Applied Mathematics, 37, 247–270.

By: M. Lasater, C. Kelley, A. Salinger, D. Woolard, G. Recine & P. Zhao

Sources: ORCID, NC State University Libraries
Added: August 29, 2019

2007 journal article

Pagerank computation, with special attention to dangling nodes

SIAM Journal on Matrix Analysis and Applications, 29(4), 1281–1296.

By: I. Ipsen & T. Selee

Source: ORCID
Added: August 29, 2019

2007 journal article

Problems and techniques: Introduction

SIAM Review, 49(4).

By: I. Ipsen

Source: ORCID
Added: August 29, 2019

2007 journal article

Problems and techniques

SIAM Review, 49(3), 419–420.

By: I. Ipsen

Source: ORCID
Added: August 29, 2019

2007 journal article

Model-Based Failure Detection on Nonlinear Systems: Theory and Transition

Naval Engineers Journal, 119(2), 93–107.

By: K. Drake, S. Campbell, I. Andjelkovic & K. Sweetingham

Sources: ORCID, Crossref
Added: August 18, 2019

2007 journal article

The Hill–Robertson effect is a consequence of interplay between linkage, selection and drift: a commentary on ‘The effect of linkage on limits to artificial selection’ by W. G. Hill and A. Robertson

Genetics Research, 89(5-6), 309–310.

By: Z. Zeng

Source: Crossref
Added: July 20, 2019

2007 journal article

Strategic analysis of speed and flexibility in sourcing textile products

By: L. Hartman

Source: ORCID
Added: December 6, 2018

2007 conference paper

AC 2007-3009: COMPUTER-BASED MODELING FOR ENGINEERS USING EXCEL AND VBA

2007 ASEE, 12, 1.

By: S. Roberts

Source: ORCID
Added: December 6, 2018

2007 conference paper

Computer-Based Modeling for Engineers using Excel and VBA

Proceedings of the ASEE International Conference. Retrieved from http://www.asee.org/acPapers/code/getPaper.cfm?paperID=13338

By: J. Joines, S. Roberts & D. Raubenheimer

Sources: NC State University Libraries, ORCID
Added: November 2, 2018

2007 conference paper

A Comparison Meta-Heuristics for Large Scale Facility Location Problems with Economies of Scale

Proceedings of the Industrial Engineering Research Conference. Nashville, Tennessee.

By: M. Bucci, M. Kay, D. Warsing & J. Joines

Source: NC State University Libraries
Added: November 2, 2018

2007 chapter

An Experimental Study on Security Protocols in WLANs

In X. S. Yang Xiao & D.-Z. Du (Eds.), Wireless network security.

Ed(s): X. Yang Xiao & D. Du

Sources: NC State University Libraries, ORCID
Added: August 6, 2018

2007 conference paper

Formalizing communication protocols for multiagent systems

IJCAI International Joint Conference on Artificial Intelligence, 1519–1524.

By: M. Singh

Sources: NC State University Libraries, ORCID
Added: August 6, 2018

2007 conference paper

Formal trust model for multiagent systems

IJCAI International Joint Conference on Artificial Intelligence, 1551–1556.

By: Y. Wang & M. Singh

Sources: NC State University Libraries, ORCID
Added: August 6, 2018

2007 journal article

Reduced-order optimal control based on approximate inertial manifolds for nonlinear dynamical systems

SIAM Journal on Numerical Analysis, 46(6), 2867–2891.

By: K. Ito & K. Kunisch

Source: NC State University Libraries
Added: August 6, 2018

2007 journal article

Projected pseudotransient continuation

SIAM Journal on Numerical Analysis, 46(6), 3071–3083.

By: C. Kelley, L. Liao, L. Qi, M. Chu, J. Reese & C. Winton

Source: NC State University Libraries
Added: August 6, 2018