Faculty Research

Books

Real Infinite Series
Daniel D. Bonar and Michael J. Khoury '03, Mathematical Association of America (MAA), 2006.

A First Course in Abstract Algebra: Rings, Groups, and Fields, 2nd edition
Todd Feil and Marlow Anderson, Chapman & Hall/CRC Press, 2005.

Essential Mathematics for Computer Science
Todd Feil and Joan Krone, Prentice-Hall, 2003.

Lattice-Order Groups
Todd Feil and Marlow Anderson, D. Reidel, 1988.

On Annular Functions
Daniel D. Bonar, 1971.

Recent Research Papers

2008

The Homology of the Cyclic Coloring Complex
S. Crown. Journal of Combinatorial Theory, Series A, submitted, 2008.

Optimal online ring routing
J. T. Havill and K. R. Hutson. Submitted, 2008.

Competitive online scheduling of perfectly malleable jobs with setup times
J. T. Havill and W. Mao. European Journal of Operational Research 87(3), pp. 1126–1142, 2008.

When graph theory meets knot theory
L. Ludwig and J. Foisy.  Contemporary Mathemaitcs, to appear, 2008.

Spaces with a σ-point-discrete weak bases
L. Ludwig, C. Liu, and S. Lin. Tsukuba Journal of Mathematics 32(1), pp. 165-177, 2008.

Metric characterizations of isometries and of unital operator spaces and systems
M. Neal and D. Blecher.  Submitted, 2008.

Contractively complemented subspaces of pre-symmetric spaces
M. Neal and B. Russo.  Submitted, 2008.

Hereditary subalgebras of operator algebras
M. Neal, D. Blecher, and D. May.  Journal of Operator Theory, 2008.

Strategic Network Formation with Structural Holes
T. Wexler, J. Kleinberg, S. Suri, and E. Tardos. In Proceedings of the 9th ACM Conference on Electronic Commerce, 2008.

2007

Technically speaking: fostering the communication skills of computer science and mathematics students
J. T. Havill and L. D. Ludwig. In Proceedings of the ACM SIGCSE Technical Symposium on Computer Science Education, 2007.

Ordered involutive operator spaces
M. Neal, D. P. Blecher, K. Kirkpatrick, and W. Werner. Positivity 11 (2007), 497-510.

Open partial isometries and positivity in operator spaces
M. Neal and D. Blecher. Studia Math 182 (2007), 227-262.

2006

A neighborhood search technique for the freeze-tag problem
D. Bucatanschi '06, B. Hoffman '05, K. Hutson, and R. M. Kretchmar. INFORMS Computing Society Conference, submitted, 2006.

Performance Analysis Based upon Complete Profiles
J. Krone, W. F. Ogden, and M. Sitaraman. Workshop on Specification and Verification of Component-based Systems, 2006.

Software verification is not dead, but it needs a new way to express mathematics
J. Krone and W. F. Ogden. Proceedings of the RESOLVE Workshop, 2006.

Characterization of boolean topological logics
A. Fressola '04, J. Krone, S. Paunov '04, and M. Westmoreland. Journal of Multiple Valued Logic, 2006.

A project approach to programming language theory
J. Krone. Proceedings of the CCSC:MW Conference, 2006.

Open partial isometries and positivity in operator spaces
M. Neal and D. Blecher. submitted, 2006.

Hereditary subalgebras of operator algebras
M. Neal, D. Blecher and D. May. Journal of Operator Theory, in press, 2006.

Classification of contractively complemented Hilbertian operator spaces
M. Neal, B. Russo and E. Ricard. Journal of Functional Analysis, in press, 2006.

Quantum one-time keypad
M. Westmoreland and B. Schumacher. Physical Review A, in press, 2006.

Reverend Bayes takes the unexpected examination
M. Westmoreland and B. Schumacher. Math Horizons, in press, 2006.

2005

Pushing the virtual envelope: Internet suspend/resume over HTTP(S)
T. C. Bressoud, M. Kozuch, and P. Nath. Proceedings of IASTED Conference on Web Technologies, Applications, and Services, pp. 69-76, 2005.

Tree traversals and permutations
T. Feil, K. Hutson, and R. M. Kretchmar. Congressus Numerantium 172, pp. 201-221, 2005.

κ-Fréchect Urysohn spaces
C. Liu and L. D. Ludwig. Houston Journal of Mathematics 31(2), pp. 391-401, 2005.

Nagata-Smirnov revisited: spaces with σ-wHCP bases
C. Liu and L. D. Ludwig. Topology Proceedings 29(2), 2005.

Representation of contractively complemented Hilbertian operator spaces on the Fock space
M. Neal and B. Russo. Proceedings of the American Mathematical Society 134(2), pp. 475-485, 2005.

Reversibility of local transformations of multiparty entanglement
N. Linden, S. Popescu, B. Schumacher, and M. Westmoreland. Journal of Quantum Information Processing 4(3), pp. 241-250, 2005.

Locality and information transfer in quantum operations
B. Schumacher and M. Westmoreland. Journal of Quantum Information Processing 4(1), pp. 3-34, 2005.

2004

OpenCAS: A flexible architecture for content addressable storage
T. C. Bressoud, M. Kozuch, C. Helfrich, and M. Satyanarayanan. ISCA International Conference on Parallel and Distributed Computing Systems, pp. 580-587, 2004.

Seamless mobile computing on fixed infrastructure
M. Kozuch, M. Satyanarayanan, T. C. Bressoud, C. Helfrich, and S. Sinnamohideen. IEEE Computer 37(7), pp. 65-72, 2004.

Robust reinforcement learning for heating, ventilation, and air conditioning control of buildings
C. W. Anderson, D. Hittle, R. M. Kretchmar, and P. Young. chapter in Handbook of Learning and Approximate Dynamic Programming, IEEE Press, 2004.

Robust reinforcement learning using integral quadratic constraints
C. W. Anderson, R. M. Kretchmar, P. Young, and D. Hittle. chapter in Handbook of Learning and Approximate Dynamic Programming, IEEE Press, 2004.

Keeping pointers or references under control: a component based approach to list based data structures
J. Krone. The Journal of Computing Sciences in Colleges 20(1), pp. 42-53, 2004.

State spaces of JB*-triples
M. Neal and B. Russo. Mathematische Annalen 328(4), pp. 585-624, 2004.

Normal contractive projections preserve type
M. Neal, C. H. Chu, and B. Russo. Journal of Operator Theory 51(2), pp. 281-301, 2004.

2003

Engineering fault-tolerant TCP/IP servers using FT-TCP
D. Zagorodnov, K. Marzullo, L. Alvisi, and T. C. Bressoud. Proceedings of the International Conference on Dependable Systems and Networks, pp. 393-402, 2003.

Opportunistic use of content addressable storage for distributed file systems
N. Tolia, M. Kozuch, M. Satyanarayanan, B. Karp, T. C. Bressoud, and T. Perrig. Proceedings of the USENIX Annual Technical Conference, General Track, pp. 127-140, 2003.

Optimal configuration for BGP route selection
T. C. Bressoud, R. Rastogi, and M. Smith, Proceedings of INFOCOM, 2003.

Improved automatic discovery of subgoals for options in hierarcical reinforcement learning
T. Feil, R. M. Kretchmar, and Rohit Bansal '03. Journal of Computer Science and Technology 3(2), pp. 9-14, 2003.

Improved parallel job scheduling with overhead
J. T. Havill, W. Mao and Vesselin Dimitrov '03. Proceedings of the Seventh Joint Conference on Information Sciences, pp. 393-396, 2003.

Abstract OO big O
J. Krone and W. F. Ogden. Proceedings of the Workshop on Specification and Verification of Component-Based Systems, 2003.

Multiple implementations for component based software using Java interfaces
J. Krone. The Jounal of Computing Sciences in Colleges 19(1), 2003.

Contractive projections and operator spaces
M. Neal and B. Russo. Transactions of the American Mathematical Society 355(6), pp. 2223-2262, 2003.

Operator space characterizations of C*-algebras and ternary rings
M. Neal and B. Russo. Pacific Journal of Mathematics 209(2), 2003.