Publications
Export 7151 results:
Author Title Type [ Year] Filters: Block-preconditioners-discrete-incompressible-navier%E2%80%93stokes-equations is [Clear All Filters]
1983. A self-describing meta-schema for the RM/T data model. IEEE Workshop On Languages for Automation, IEEE Computer Society Press.
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.
1983. The Software Industry: A State of the Art Survey. Foundations of Empirical Software Engineering: The Legacy of Victor R. Basili. 1:383-383.
1983. Splicing of messenger RNA precursors is inhibited by antisera to small nuclear ribonucleoprotein. Cell. 35(1):101-107.
1983. Timing Requirements for Time-Driven Systems Using Augmented Petri Nets. IEEE Transactions on Software Engineering. SE-9(5):603-616.
1983. Trade-offs between depth and width in parallel computation. Foundations of Computer Science, 1983., 24th Annual Symposium on. :146-153.
1983. Transferability of medical decision support systems based on Bayesian classification. Medical Decision Making. 3(4):501-501.
1983. The U1 small nuclear RNA-protein complex selectively binds a 5′ splice site in vitro. Cell. 33(2):509-518.
1983. Variational Iterative Methods for Nonsymmetric Systems of Linear Equations. SIAM Journal on Numerical Analysis. 20(2):345-357.
1982. An architecture for automatic relational database sytem conversion. ACM Trans. Database Syst.. 7(2):235-257.
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.
1982. A catalogue of splice junction sequences. Nucleic Acids ResearchNucl. Acids Res.. 10(2):459-472.
1982. Complexity of finding k-path-free dominating sets in graphs. INFO. PROC. LETT.. 14(5):228-232.
1982. A complexity theory for unbounded fan-in parallelism. 23rd Annual Symposium on Foundations of Computer Science. :1-13.
1982. A Discrete Newton Algorithm for Minimizing a Function of Many Variables. Mathematical Programming. 23:20-33.
1982. Fighting for the User.. Bulletin of the American Society for Information ScienceBulletin of the American Society for Information Science. 9(2):27-29.
1982. The future of interactive systems and the emergence of direct manipulation. Behaviour & Information Technology. 1(3):237-256.
1982. Image Smoothing and Segmentation by Cost Minimization. IEEE Transactions on Systems, Man, and Cybernetics. SMC-12:91-96.
1982. Isomorphism of graphs with bounded eigenvalue multiplicity. Proceedings of the fourteenth annual ACM symposium on Theory of computing. :310-324.
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.