Mathematics and Computer Science
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
2006
Technically speaking: fostering the communication skills of computer science and mathematics students
J. T. Havill and L. D. Ludwig. ACM SIGCSE Technical Symposium on Computer Science Education, to appear, 2007.
Competitive online scheduling of perfectly malleable jobs with setup times
J. T. Havill and W. Mao. European Journal of Operational Research, in press, 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.
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.