Publications

Export 7151 results:
Author Title Type [ Year(Asc)]
1983
Roussopoulos N, Mark L.  1983.  A self-describing meta-schema for the RM/T data model. IEEE Workshop On Languages for Automation, IEEE Computer Society Press.
Steitz JA, Wolin SL, Rinke J, Pettersson I, Mount SM, Lerner EA, Hinterberger M, Gottlieb E.  1983.  Small Ribonucleoproteins from Eukaryotes: Structures and Roles in RNA Biogenesis. Cold Spring Harbor Symposia on Quantitative BiologyCold Spring Harb Symp Quant Biol. 47:893-900.
Zelkowitz MV, Yeh R, Hamlet RG, Gannon JD, Basili VR.  1983.  The Software Industry: A State of the Art Survey. Foundations of Empirical Software Engineering: The Legacy of Victor R. Basili. 1:383-383.
Padgett RA, Mount SM, Steitz JA, Sharp PA.  1983.  Splicing of messenger RNA precursors is inhibited by antisera to small nuclear ribonucleoprotein. Cell. 35(1):101-107.
Berwick RC, Weinberg A.  1983.  Syntactic constraints and efficient parsability. :119-122.
Coolahan JE, Roussopoulos N.  1983.  Timing Requirements for Time-Driven Systems Using Augmented Petri Nets. IEEE Transactions on Software Engineering. SE-9(5):603-616.
Vishkin U, Wigderson A.  1983.  Trade-offs between depth and width in parallel computation. Foundations of Computer Science, 1983., 24th Annual Symposium on. :146-153.
Zagoria RJ, Reggia JA.  1983.  Transferability of medical decision support systems based on Bayesian classification. Medical Decision Making. 3(4):501-501.
Mount SM, Pettersson I, Hinterberger M, Karmas A, Steitz JA.  1983.  The U1 small nuclear RNA-protein complex selectively binds a 5′ splice site in vitro. Cell. 33(2):509-518.
Eisenstat SC, Elman H, Schultz MH.  1983.  Variational Iterative Methods for Nonsymmetric Systems of Linear Equations. SIAM Journal on Numerical Analysis. 20(2):345-357.
1982
Shneiderman B, Thomas G.  1982.  An architecture for automatic relational database sytem conversion. ACM Trans. Database Syst.. 7(2):235-257.
Shneiderman B, Thomas G.  1982.  Automatic database system conversion: schema revision, data translation, and source-to-source program transformation. Proceedings of the June 7-10, 1982, national computer conference. :579-587.
Mount SM.  1982.  A catalogue of splice junction sequences. Nucleic Acids ResearchNucl. Acids Res.. 10(2):459-472.
Bar-Yehuda R, Vishkin U.  1982.  Complexity of finding k-path-free dominating sets in graphs. INFO. PROC. LETT.. 14(5):228-232.
Chandra AK, Stockmeyer LJ, Vishkin U.  1982.  A complexity theory for unbounded fan-in parallelism. 23rd Annual Symposium on Foundations of Computer Science. :1-13.
Shneiderman B.  1982.  Control flow and data structure documentation: two experiments. Commun. ACM. 25(1):55-63.
Shneiderman B.  1982.  Designing computer system messages. Communications of the ACM. 25(9):610-611.
Badre A, Shneiderman B.  1982.  Directions in human/computer interaction..
O'Leary DP.  1982.  A Discrete Newton Algorithm for Minimizing a Function of Many Variables. Mathematical Programming. 23:20-33.
Shneiderman B.  1982.  Fighting for the User.. Bulletin of the American Society for Information ScienceBulletin of the American Society for Information Science. 9(2):27-29.
Shneiderman B.  1982.  The future of interactive systems and the emergence of direct manipulation. Behaviour & Information Technology. 1(3):237-256.
Narayanan KA, O'Leary DP, Rosenfeld A.  1982.  Image Smoothing and Segmentation by Cost Minimization. IEEE Transactions on Systems, Man, and Cybernetics. SMC-12:91-96.
Babai L, Grigoryev Y.D, Mount D.  1982.  Isomorphism of graphs with bounded eigenvalue multiplicity. Proceedings of the fourteenth annual ACM symposium on Theory of computing. :310-324.
Elman H.  1982.  Iterative methods for large, sparse, nonsymmetric systems of linear equations.. Dissertation Abstracts International Part B: Science and Engineering[DISS. ABST. INT. PT. B- SCI. & ENG.],. 43(5):1982-1982.
Reggia JA, Perricone B.  1982.  KMS reference manual. Dep. Comput. Sci., Univ. Maryland, College Park, Tech. Rep. TR-1136.

Pages