Research Articles (↑↑)

Dr. Michael D. Rice


   ♣    Publications
   ♣    Manuscripts




   ♣  Publications (↑↑)

  1. "The mRNA Landscape at Yeast Translation Initiation Sites" (with Adam Robbins-Pianka and Michael Weir), Bioinformatics 26 (21), 2010, 2651-2655 (article).
  2. "TRII: A Probabilistic Scoring of Drosophila melanogaster Translation Initiation Sites" (with Michael Weir), EURASIP Journal on Bioinformatics and Systems Biology, vol. 2010, Article ID 814127, 14 pages, 2010 (article).
  3. "Discovery of functional elements in 12 Drosophila genomes using evolutionary signatures", A. Stark, M. F. Lin, P. Kheradoiyr, J.S. Pedersen et al. (including Michael Weir and Michael Rice), Nature, 2007, 450, 219-32 (abstract of article).
  4. "Challenging the Spliceosome Machine" (with Michael Weir and Matt Eaton), Genome Biology, 2006, 7:R3 (article designated as highly accessed April, 2006).
  5. "Relational Databases: A Transparent Framework for Encouraging Biology Students to Think Informatically" (with Will Gladstone and Michael Weir), Cell Biology Education, 2004: 3, 241-252 (article).
  6. "Ordered Partitioning Reveals Extended Splice Site Consensus Information" (with Michael Weir), Genome Research 2004: 14, 67-78 (article).
  7. "Clusters, Concepts, and Pseudometrics" (with Michael Siff), Proceedings First Irish Conference on Mathematical Foundations of Computer Science and Information Technology, 2001; Elsevier - ENTCS 40, 2002. [abstract (html) - applications (html)]
  8. "Describing Software Architectures and Architectural Styles" (with S.B. Seidman), First Working IFIP Conference on Software Architecture, (WICSA1), San Antonio, Texas, February 22-24, 1999 (article)
  9. "Architectural Issues in Component-based Software Engineering" (with S.B. Seidman), Proceedings of the Workshop on Foundations of Component-Based Systems, Zurich, September 26, 1997 (psgz -article).
  10. "Continuous Algorithms", Topology and Applications, volume 85, numbers 1-3, May, 1998, 299-318 (article)
    (Invited Papers of Eighth Prague Topological Symposium, August 18-24, 1996) (abstract).
  11. "Reflexive Objects in Topological Categories", Mathematical Structures in Computer Science 6, 4 (1996), 375-386 (article).
  12. "A Formal Model for Module Interconnection Languages" (with S.B. Seidman), IEEE Transactions on Software Engineering, 20, 1, (1994), 88-101 (article).
  13. "Covering Spaces, Boundary Sets, and Interconnection Networks", Papers on General Topology and Applications, Eighth Summer Topology Conference, Queens College, June, 1992, Annals of New York Academy of Sciences, volume 728, 1994, 210-226 (article).
  14. "Wavefront Computation: Language and Verification" (with S.B. Seidman), ATABLE-92: Second International Workshop on Array Structures, June, 1992, Computer Science Department, University of Montreal (1992) (technical report).
  15. "Complexity Measures on Trees", British Computer Society - Workshop on Formal Aspects of Measurement, South Bank Polytechnic, London, May, 1991, Springer-Verlag (1992). (invited submission) (volume).
  16. "Modeling the Serial and Parallel Fractions of a Parallel Algorithm" (with E.A. Carmona), Journal of Parallel and Distributed Computing 13, 3 (1991), 286-298 (article).
  17. "A Multiprocessor TestBed for Generalized Systolic Computation" (with S.B. Seidman), Transputing '91, Proceedings of World Transputer User Group Conference, IOS Press, Amsterdam, 1 (1991), 281-295 (volume).
  18. "Semantics for Data Parallel Computation", International Journal of Parallel Programming 19, 6 (1990), 477-509 (article).
  19. "The Specification of Data Parallel Algorithms" (with S.B. Seidman and P. Y. Wang), Journal of Parallel and Distributed Computing 8, 2 (1990), 191-195 (article).
  20. "A Formal Framework for the Design of Development Environments" (with M. Pett and S.B. Seidman), Proceedings Fifth International Workshop on Software Specification and Design, Pittsburgh, IEEE Computer Society Press (1989), 284-286 (article).
  21. "An Object Method Programming Language for Data Parallel Computation" (with T. Gerasch, S.B. Seidman, and P.Y. Wang), Proceedings 22nd Hawaii Conference on System Sciences, January, 1989, IEEE Computer Society Press (1989), 745-750 (article).
  22. "A Formal Model for SIMD Computation" (with S.B. Seidman and P.Y. Wang), Proceedings Frontiers '88, October, 1988, IEEE Computer Society Press (1989), 601-607 (article).
  23. "A High-Level Language for SIMD Computation - Part 1" (with S. B. Seidman and P.Y. Wang), Proceedings CONPAR 88, Cambridge University Press (1989), 384-391 (acm library).
  24. "A Fundamental Course in Higher Mathematics Incorporating Discrete and Continuous Themes" (with S.B. Seidman), Proceedings of Influence of Computers and Informatics on Mathematics and its Teaching, Strasbourg, France, March, 1985, Cambridge University Press, ICMI Study 1 (1986), 95-106 (A revised version was published by UNESCO, Science and Technology Education Series 44, Paris, October, 1992.) (volume).
  25. "U-embedded Subsets of Normed Linear Spaces" (with R. Levy), Proc. Amer. Math. Soc. 97, 4 (1986), 727-733 (article).
  26. "Atoms in the Family of Coreflective Subcategories of Uniform Spaces", Comm. Math. Univ. Carolinae 27, 2 (1986), 209-220 (article).
  27. "Techniques and Examples in U-embedding" (with R. Levy), Topology and Applications 22, 2 (1986), 157-174 (article).
  28. "The Extension of Equi-Uniformly Continuous Families of Mappings" (with R. Levy), Pacific J. of Math. 117, 1 (1985), 149-161 (article).
  29. "Discrete Uniform Structures and QuasiTopoi", Quaestiones Math. 7, 4 (1984), 385-396 (article).
  30. "The Approximation and Extension of Uniformly Continuous Banach Space Valued Mappings" (with R. Levy), Comm. Math. Univ. Carolinae 24, 2 (1983), 251-265 (article).
  31. "Cartesian-closed Coreflective Subcategories of Uniform Spaces Generated by Classes of Metric Spaces" (with G.J. Tashjian), Topology and Applications 15, 3 (1983), 301-312 (article).
  32. "Cartesian-closed Coreflective Subcategories of Uniform Spaces" (with G.J. Tashjian), Trans. Amer. Math. Soc. 276, 1 (1983), 289-300 (article).
  33. "The Extension of Uniformly Continuous Banach Space-valued Mappings" (with R. Levy), Lecture Notes in Pure and Applied Mathematics, vol 95, Marcel Dekker (1982), 219-236 (volume).
  34. "The Approximation and Extension of Uniformly Continuous Mappings" (with R. Levy), Fifth Prague Topological Symposium 1981, Heldermann-Verlag, Berlin, (1982), 455-461 (conference page).
  35. "Uniform Ideas in Analysis", Real Analysis Exchange 6, 2 (1981), 139-185 (invited survey paper).
  36. "Normal P-spaces and the Gd-topology" (with R. Levy), Colloq. Math 44, 2 (1981), 227-240 (article).
  37. "Weakly Borel-complete Topological Spaces" (with G.D. Reynolds), Fund. Math. 5 105, 3 (1980), 179-185 (article).
  38. "Remarks on e-Locally Fine Spaces" (with J. Pelant), Seminar Uniform Spaces 1976-1977 (directed by Z. Frolik), Mathematical Institute, Czechoslovak Academy of Sciences, Prague, 1978, 51-62.
  39. "Equi-reflective Subcategories of Uniform Spaces", Seminar Uniform Spaces 1976-1977 (directed by Z. Frolik), Mathematical Institute, Czechoslovak Academy of Sciences, Prague, 1978, 75-78 (revised article).
  40. "Completeness and Covering Properties of Uniform Spaces" (with G.D. Reynolds), Quart. J. of Math. Oxford (2), 29 (1978), 367-374.
  41. "Productivity of Coreflective Subcategories of Uniform Spaces" (with M. Husek), General Topology and Its Applications 9, 3 (1978), 295-306 (article).
  42. "Uniformities in the Descriptive Theory of Sets II: Measurable Functions", Amer. J. of Math. 100, 4 (1978), 717-725 (article).
  43. "Descriptive Sets in Uniform Spaces", Fourth Prague Topological Symposium, Contributed Papers, Society of Czechoslovak Mathematicians and Physicists (1977), 381-389 (conference page).
  44. "Composition Properties in Uniform Spaces", Acta Math. Hungarica 30, 3 (1977), 189-195 (article).
  45. "Equi-uniform Continuity in Reflective Subcategories of Uniform Spaces", Math. Colloq. Univ. Capetown 11 (1977), 101-116.
  46. "Finite-dimensional Covers of Metric-fine Spaces", Czechoslovak Math. Journal 27, 3 (1977), 339-342 (article).
  47. "Uniformities in the Descriptive Theory of Sets I: Basic Operators", Amer. J. of Math. 99, 2 (1977), 227-237 (article).
  48. "A Note on Uniform Paracompactness", Proc. Amer. Math. Soc. 62, 2 (1977), 359-362 (article).
  49. "Equi-morphic Families in Categories", Quaestiones Math. 2 (1977), 307-319 (article).
  50. "A Strengthening of the Proximally Fine Condition", Seminar Uniform Spaces 1975-1976 (directed by Z. Frolik), Mathematical Institute, Czechoslovak Academy of Sciences, Prague 1976, 125-134 (revised article).
  51. "The Commuting of Coreflectors in Uniform Spaces with Completion" (with A. Hager), Czechoslovak Math. Journal 26, 3 (1976), 371-380 (article).
  52. "Metric-fine, Proximally Fine, and Locally Fine Spaces", Comm. Math. Univ. Carolinae 17, 2 (1976), 307-313 (article).
  53. "Metric Fine Uniform Spaces", J. London Math. Soc. s2-11 (1) (1975), 53-64 (article).
  54. "Subcategories of Uniform Spaces", Trans. Amer. Math. Soc. 201 (1975), 305-314 (article).
  55. "Covering and Function Theoretic Properties of Uniform Spaces", Bull. Amer. Math. Soc. 80, 1 (1974), 159-163 (article).
  56. "Complete Uniform Spaces", Proceedings Second Pittsburgh Topology Conference 1972, Springer-Verlag Lecture Notes 378, 400-418 (article).
  57. "Borel-Complete Topological Spaces" (with A. Hager and G. Reynolds), Fund. Math. 75, 2 (1972), 135-143 (article).
  58. "A Short Proof that Metric Spaces are Realcompact", Proc. Amer. Math. Soc. 32, 1 (1972), 313-314 (article).

   ♣  Manuscripts (↑↑)

  1. "LogoAlign: a motif-searching strategy for large paralogous datasets" (withThomas Tachibana and Robert P. Lane), December, 2008 (manuscript - figures).
  2. "Lattices of Random Variables (with Zhongyuan Che), 2005 (manuscript).
  3. "Finite Metric Spaces and Data Analysis", position paper, Dagstuhl Seminar 231, Schloss Dagstuhl, June 4-9, 2000 (abstract - manuscript).
  4. "PAL - A Language for Describing and Simulating Concurrent Programs", Wesleyan University, 1999 (manuscript (html) - manuscript (text)).
  5. "An Approach to Architectural Analysis and Testing" (with S.B. Seidman), Proc. 3rd International Software Architecture Workshop (ISAW3), ACM SIGSOFT, Orlando, November 1-2, 1998, pages 121-123 (manuscript)
  6. "Using Architectural Style to Support Software Understanding and Reuse" (with S. B. Seidman), Position Paper, WISR8 - 8th Annual Workshop on Software Reuse, Ohio State University, March 23-26, 1997 (volume).
  7. "Describing Architectural Styles for Industrial-Strength Complex Computer Systems" (with S.B. Seidman), First Workshop on System Design Languages, Cadence Design Systems, San Jose, CA, April 7-8, 1997.
  8. "Using Z as a Substrate for an Architectural Style Description Language" (with S.B. Seidman), Technical Report 120, Computer Science Department, Colorado State University, 1996.
  9. "Describing the PGM Architectural Style" (with S.B. Seidman), Technical Report 121, Computer Science Department, Colorado State University, 1996.
  10. "Formal Aspects of Software Architectures", position paper for Dagstuhl Seminar-Report 9508, ACM Software Engineering Notes 20, 3 (1995), 63-83 (volume).
  11. "A Signature Algorithm for the Hypercube" (with Lew Robertson), Wesleyan University, 1994 (abstract - manuscript).
  12. "Parallel Performance Models" (with E.A. Carmona), Technical Report TR-1-89, Air Force Supercomputer Center, Albuquerque, NM, January, 1989.
  13. "Constant Geometry Algorithms for Computing Fourier Transforms on Transputer Arrays" (with J. Acquah), Melpar - E-Systems Division, Fairfax, Virginia, December, 1987.
  14. "A Survey of Selected Geographic Information Systems", United States Army Research Office, Research Triangle Park, North Carolina, September, 1985.