Research Articles
(↑↑)
Dr. Michael D. Rice
♣
Publications

♣
Manuscripts

♣ Publications
(↑↑)

"The mRNA Landscape at Yeast Translation Initiation Sites" (with Adam RobbinsPianka and Michael Weir), Bioinformatics 26 (21), 2010, 26512655
(article).

"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).

"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, 21932
(abstract of article).

"Challenging the Spliceosome Machine" (with Michael Weir and Matt Eaton), Genome Biology, 2006, 7:R3
(article designated as highly accessed April, 2006).

"Relational Databases: A Transparent Framework for Encouraging Biology Students to Think Informatically"
(with Will Gladstone and Michael Weir), Cell Biology Education, 2004: 3, 241252
(article).

"Ordered Partitioning Reveals Extended Splice Site Consensus Information" (with Michael Weir), Genome Research 2004: 14, 6778 (article).

"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)]

"Describing Software Architectures and Architectural Styles" (with S.B. Seidman), First Working IFIP Conference on Software Architecture,
(WICSA1),
San Antonio, Texas, February 2224, 1999
(article)

"Architectural Issues in Componentbased Software Engineering"
(with S.B. Seidman), Proceedings of the Workshop on Foundations of ComponentBased Systems, Zurich, September 26, 1997 (psgz article).

"Continuous Algorithms",
Topology and Applications,
volume 85, numbers 13, May, 1998, 299318
(article)
(Invited Papers of Eighth Prague Topological Symposium, August 1824, 1996) (abstract).

"Reflexive Objects in Topological Categories", Mathematical Structures in Computer Science 6, 4 (1996), 375386
(article).

"A Formal Model for Module Interconnection Languages" (with S.B. Seidman),
IEEE Transactions on Software Engineering, 20, 1, (1994), 88101
(article).

"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, 210226
(article).

"Wavefront Computation: Language and Verification" (with S.B. Seidman), ATABLE92: Second International Workshop on Array Structures, June, 1992, Computer Science Department, University of Montreal (1992) (technical report).

"Complexity Measures on Trees", British Computer Society  Workshop on Formal Aspects of Measurement,
South Bank Polytechnic, London, May, 1991, SpringerVerlag (1992).
(invited submission)
(volume).

"Modeling the Serial and Parallel Fractions of a Parallel Algorithm"
(with E.A. Carmona), Journal of Parallel and Distributed Computing 13, 3 (1991), 286298
(article).

"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), 281295
(volume).

"Semantics for Data Parallel Computation",
International Journal of Parallel Programming 19, 6 (1990), 477509
(article).

"The Specification of Data Parallel Algorithms" (with S.B. Seidman and P. Y. Wang),
Journal of Parallel and Distributed Computing 8, 2 (1990), 191195
(article).

"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), 284286
(article).

"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), 745750
(article).

"A Formal Model for SIMD Computation" (with S.B. Seidman and P.Y. Wang), Proceedings Frontiers '88, October, 1988, IEEE Computer Society Press (1989), 601607
(article).

"A HighLevel Language for SIMD Computation  Part 1" (with S. B. Seidman and P.Y. Wang), Proceedings CONPAR 88,
Cambridge University Press (1989), 384391
(acm library).

"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), 95106
(A revised version was published by UNESCO, Science and Technology Education Series 44, Paris, October, 1992.)
(volume).

"Uembedded Subsets of Normed Linear Spaces" (with R. Levy), Proc. Amer. Math. Soc. 97, 4 (1986), 727733
(article).

"Atoms in the Family of Coreflective Subcategories of Uniform Spaces", Comm. Math. Univ. Carolinae 27, 2 (1986), 209220
(article).

"Techniques and Examples in Uembedding" (with R. Levy), Topology and Applications 22, 2 (1986), 157174
(article).

"The Extension of EquiUniformly Continuous Families of Mappings" (with R. Levy), Pacific J. of Math. 117, 1 (1985), 149161
(article).

"Discrete Uniform Structures and QuasiTopoi", Quaestiones Math. 7, 4 (1984), 385396
(article).

"The Approximation and Extension of Uniformly Continuous Banach Space Valued Mappings"
(with R. Levy), Comm. Math. Univ. Carolinae 24, 2 (1983), 251265
(article).

"Cartesianclosed Coreflective Subcategories of Uniform Spaces Generated by Classes of Metric Spaces" (with G.J. Tashjian),
Topology and Applications 15, 3 (1983), 301312
(article).

"Cartesianclosed Coreflective Subcategories of Uniform Spaces" (with G.J. Tashjian), Trans. Amer. Math. Soc. 276, 1 (1983), 289300
(article).

"The Extension of Uniformly Continuous Banach Spacevalued Mappings" (with R. Levy), Lecture Notes in Pure and Applied Mathematics, vol 95, Marcel Dekker (1982), 219236
(volume).

"The Approximation and Extension of Uniformly Continuous Mappings" (with R. Levy), Fifth Prague Topological Symposium 1981, HeldermannVerlag, Berlin, (1982), 455461 (conference page).

"Uniform Ideas in Analysis", Real Analysis Exchange 6, 2 (1981), 139185 (invited survey paper).

"Normal Pspaces and the G_{d}topology" (with R. Levy),
Colloq. Math 44, 2 (1981), 227240
(article).

"Weakly Borelcomplete Topological Spaces" (with G.D. Reynolds), Fund. Math. 5 105, 3 (1980), 179185
(article).

"Remarks on eLocally Fine Spaces" (with J. Pelant), Seminar Uniform Spaces 19761977 (directed by Z. Frolik), Mathematical Institute, Czechoslovak Academy of Sciences, Prague, 1978, 5162.

"Equireflective Subcategories of Uniform Spaces", Seminar Uniform Spaces 19761977 (directed by Z. Frolik), Mathematical Institute, Czechoslovak Academy of Sciences, Prague, 1978, 7578
(revised article).

"Completeness and Covering Properties of Uniform Spaces" (with G.D. Reynolds), Quart. J. of Math. Oxford (2), 29 (1978), 367374.

"Productivity of Coreflective Subcategories of Uniform Spaces" (with M. Husek), General Topology and Its Applications 9, 3 (1978), 295306
(article).

"Uniformities in the Descriptive Theory of Sets II: Measurable Functions", Amer. J. of Math. 100, 4 (1978), 717725 (article).

"Descriptive Sets in Uniform Spaces", Fourth Prague Topological Symposium, Contributed Papers, Society of Czechoslovak Mathematicians and Physicists (1977), 381389
(conference page).

"Composition Properties in Uniform Spaces", Acta Math. Hungarica 30, 3 (1977), 189195
(article).

"Equiuniform Continuity in Reflective Subcategories of Uniform Spaces",
Math. Colloq. Univ. Capetown 11 (1977), 101116.

"Finitedimensional Covers of Metricfine Spaces", Czechoslovak Math. Journal 27, 3 (1977), 339342
(article).

"Uniformities in the Descriptive Theory of Sets I: Basic Operators", Amer. J. of Math. 99, 2 (1977), 227237
(article).

"A Note on Uniform Paracompactness", Proc. Amer. Math. Soc. 62, 2 (1977), 359362
(article).

"Equimorphic Families in Categories", Quaestiones Math. 2 (1977), 307319
(article).

"A Strengthening of the Proximally Fine Condition", Seminar Uniform Spaces 19751976 (directed by Z. Frolik), Mathematical Institute, Czechoslovak Academy of Sciences, Prague 1976, 125134
(revised article).

"The Commuting of Coreflectors in Uniform Spaces with Completion" (with A. Hager), Czechoslovak Math. Journal 26, 3 (1976), 371380
(article).

"Metricfine, Proximally Fine, and Locally Fine Spaces", Comm. Math. Univ. Carolinae 17, 2 (1976), 307313
(article).

"Metric Fine Uniform Spaces", J. London Math. Soc. s211 (1) (1975), 5364
(article).

"Subcategories of Uniform Spaces", Trans. Amer. Math. Soc. 201 (1975), 305314
(article).

"Covering and Function Theoretic Properties of Uniform Spaces", Bull. Amer. Math. Soc. 80, 1 (1974), 159163
(article).

"Complete Uniform Spaces", Proceedings Second Pittsburgh Topology Conference 1972, SpringerVerlag Lecture Notes 378, 400418
(article).

"BorelComplete Topological Spaces" (with A. Hager and G. Reynolds), Fund. Math. 75, 2 (1972), 135143
(article).

"A Short Proof that Metric Spaces are Realcompact",
Proc. Amer. Math. Soc. 32, 1 (1972), 313314
(article).
♣ Manuscripts
(↑↑)

"LogoAlign: a motifsearching strategy for large paralogous datasets" (withThomas Tachibana and Robert P. Lane), December, 2008
(manuscript 
figures).

"Lattices of Random Variables (with Zhongyuan Che), 2005
(manuscript).

"Finite Metric Spaces and Data Analysis", position paper, Dagstuhl Seminar 231, Schloss Dagstuhl, June 49, 2000
(abstract 
manuscript).

"PAL  A Language for Describing and Simulating Concurrent Programs", Wesleyan University, 1999
(manuscript (html) 
manuscript (text)).

"An Approach to Architectural Analysis and Testing" (with S.B. Seidman),
Proc. 3rd International Software Architecture Workshop
(ISAW3),
ACM SIGSOFT, Orlando, November 12, 1998, pages 121123
(manuscript)

"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 2326, 1997
(volume).

"Describing Architectural Styles for IndustrialStrength Complex Computer Systems"
(with S.B. Seidman),
First Workshop on System Design Languages,
Cadence Design Systems, San Jose, CA, April 78, 1997.

"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.

"Describing the PGM Architectural Style" (with S.B. Seidman),
Technical Report 121,
Computer Science Department, Colorado State University, 1996.

"Formal Aspects of Software Architectures", position paper for Dagstuhl SeminarReport
9508,
ACM Software Engineering Notes 20, 3 (1995), 6383
(volume).

"A Signature Algorithm for the Hypercube" (with Lew Robertson), Wesleyan University, 1994
(abstract  manuscript).

"Parallel Performance Models" (with E.A. Carmona), Technical Report TR189,
Air Force Supercomputer Center, Albuquerque, NM, January, 1989.

"Constant Geometry Algorithms for Computing Fourier Transforms on Transputer Arrays"
(with J. Acquah), Melpar  ESystems Division,
Fairfax, Virginia, December, 1987.

"A Survey of Selected Geographic Information Systems",
United States Army Research Office, Research Triangle Park, North Carolina, September, 1985.