Author: "Paterson, Michael" / Publication Type: eBooks - Searchworks@Jio Institute Digital Library Search Results

1. The complexity of mean payoff games

Author: Zwick, Uri, Paterson, Michael S., Goos, Gehard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Du, Ding-Zhu, editor, and Li, Ming, editor
Published: 1995
Full Text: View/download PDF

2. On nearest-neighbor graphs

Author: Paterson, Michael S., Yao, F. Frances, Goos, G., editor, Hartmanis, J., editor, and Kuich, W., editor
Published: 1992
Full Text: View/download PDF

3. Efficient Iterations for Algebraic Numbers

Author: Paterson, Michael S., Miller, Raymond E., editor, Thatcher, James W., editor, and Bohlinger, Jean D., editor
Published: 1972
Full Text: View/download PDF

4. Private Life in Britain's Stately Homes : Masters and Servants in the Golden Age

Author: Paterson, Michael and Paterson, Michael
Subjects: Household employees--England--Social conditions--19th century, Household employees--England--Social conditions--20th century, Gentry--England--Social conditions--19th century, Gentry--England--Social conditions--20th century, Country homes--England--History
Abstract: The Victorian and Edwardian eras in the run-up to 1914 marked the golden age of the English country house, when opulence and formality attained a level that would never be matched again. The ease of these perfect settings for flirtation and relaxation was maintained by a large and well-trained staff of servants. Although those'in service'worked very long hours and had little personal freedom, many were proud of their positions and grateful for the relative security these gave. Indeed, the strictly hierarchical world below stairs could be more snobbish than that of a house's owners. Mich.
Published: 2012

5. A Brief History of the Private Life of Elizabeth II

Author: Paterson, Michael and Paterson, Michael
Subjects: Queens--Great Britain--Biography
Abstract: Elizabeth II is within a few years of becoming the longest-reigning British monarch. A personally quiet, modest and dutiful person, she is far better-informed about the lives of her subjects than they often realize. She has known every Prime Minister since Winston Churchill and every American President since Eisenhower. Yet what of the woman behind the crown? The book seeks to take a new look at this exhaustively-documented life and show how Queen Elizabeth became the person she is. Who, and what, have been the greatest influences upon her? What are her likes and dislikes? What are her hobbie.
Published: 2012

6. Decision problems in computational models

Author: Paterson, Michael S., Goos, G., editor, Hartmanis, J., editor, Gries, D., editor, Brinch Hansen, P., editor, Moler, C., editor, Seegmüller, G., editor, Wirth, N., editor, Ershov, Andrei, editor, and Nepomniaschy, Valery A., editor
Published: 1974
Full Text: View/download PDF

7. Two-way automata with multiplicity

Author: Anselmo, M., Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Paterson, Michael S., editor
Published: 1990
Full Text: View/download PDF

8. ω-Continuous semirings, algebraic systems and pushdown automata

Author: Kuich, Werner, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Paterson, Michael S., editor
Published: 1990
Full Text: View/download PDF

9. On non-counting regular classes

Author: de Luca, Aldo, Varricchio, Stefano, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Paterson, Michael S., editor
Published: 1990
Full Text: View/download PDF

10. On the rectilinear art gallery problem

Author: Hoffmann, Frank, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Paterson, Michael S., editor
Published: 1990
Full Text: View/download PDF

11. Operational and algebraic semantics for facile: A symmetric integration of concurrent and functional programming

Author: Prasad, Sanjiva, Giacalone, Alessandro, Mishra, Prateek, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Paterson, Michael S., editor
Published: 1990
Full Text: View/download PDF

12. A complete system of B-rational identities

Author: KROB, Daniel, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Paterson, Michael S., editor
Published: 1990
Full Text: View/download PDF

13. On parallel hashing and integer sorting

Author: Matias, Yossi, Vishkin, Uzi, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Paterson, Michael S., editor
Published: 1990
Full Text: View/download PDF

14. Generic terms having no polymorphic types

Author: Malecki, Sophie, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Paterson, Michael S., editor
Published: 1990
Full Text: View/download PDF

15. Approximation of convex polygons

Author: Alt, Helmut, Blömer, Johannes, Wagener, Hubert, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Paterson, Michael S., editor
Published: 1990
Full Text: View/download PDF

16. The importance of the left merge operator in process algebras

Author: Moller, Faron, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Paterson, Michael S., editor
Published: 1990
Full Text: View/download PDF

17. The parallel simplicity of compaction and chaining

Author: Ragde, Prabhakar, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Paterson, Michael S., editor
Published: 1990
Full Text: View/download PDF

18. Equational formulas in order-sorted algebras

Author: Comon, Hubert, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Paterson, Michael S., editor
Published: 1990
Full Text: View/download PDF

19. An input-size/output-size trade-off in the time-complexity of rectilinear hidden surface removal

Author: Goodrich, Michael T., Atallah, Mikhail J., Overmars, Mark H., Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Paterson, Michael S., editor
Published: 1990
Full Text: View/download PDF

20. Provable computable functions on abstract data types

Author: Tucker, J. V., Wainer, S. S., Zucker, J. I., Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Paterson, Michael S., editor
Published: 1990
Full Text: View/download PDF

21. Static correctness of hierarchical procedures

Author: Schwartzbach, Michael I., Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Paterson, Michael S., editor
Published: 1990
Full Text: View/download PDF

22. An efficient algorithm for branching bisimulation and stuttering equivalence

Author: Groote, Jan Friso, Vaandrager, Frits, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Paterson, Michael S., editor
Published: 1990
Full Text: View/download PDF

23. Partial evaluation, self-application and types

Author: Jones, Neil D., Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Paterson, Michael S., editor
Published: 1990
Full Text: View/download PDF

24. A new approach to maximum matching in general graphs

Author: Blum, Norbert, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Paterson, Michael S., editor
Published: 1990
Full Text: View/download PDF

25. Proving partial order liveness properties

Author: Peled, Doron, Pnueli, Amir, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Paterson, Michael S., editor
Published: 1990
Full Text: View/download PDF

26. On the bit-complexity of discrete solutions of PDEs: Compact multigrid

Author: Pan, Victor, Reif, John, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Paterson, Michael S., editor
Published: 1990
Full Text: View/download PDF

27. On-line graph algorithms with SPQR-trees

Author: Di Battista, Giuseppe, Tamassia, Roberto, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Paterson, Michael S., editor
Published: 1990
Full Text: View/download PDF

28. A proof system for the parallel object-oriented language POOL

Author: de Boer, F. S., Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Paterson, Michael S., editor
Published: 1990
Full Text: View/download PDF

29. Structural and behavioural equivalences of networks

Author: Parrow, Joachim, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Paterson, Michael S., editor
Published: 1990
Full Text: View/download PDF

30. Algebraic properties of idempotent substitutions

Author: Palamidessi, Catuscia, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Paterson, Michael S., editor
Published: 1990
Full Text: View/download PDF

31. Compositionality through an operational semantics of contexts

Author: Larsen, Kim G., Xinxin, Liu, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Paterson, Michael S., editor
Published: 1990
Full Text: View/download PDF

32. A complete and decidable proof system for call-by-value equalities

Author: Riecke, Jon G., Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Paterson, Michael S., editor
Published: 1990
Full Text: View/download PDF

33. Boolean closure and unambiguity of rational sets

Author: Pelletier, Maryse, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Paterson, Michael S., editor
Published: 1990
Full Text: View/download PDF

34. Polynomial-time approximation algorithms for the ising model

Author: Jerrum, Mark, Sinclair, Alistair, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Paterson, Michael S., editor
Published: 1990
Full Text: View/download PDF

35. On parallelizing graph-partitioning heuristics

Author: Savage, John E., Wloka, Markus G., Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Paterson, Michael S., editor
Published: 1990
Full Text: View/download PDF

36. Decomposition of partial commutations

Author: Clerbout, Mireille, Latteux, Michel, Roos, Yves, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Paterson, Michael S., editor
Published: 1990
Full Text: View/download PDF

37. Iterated substitutions and locally catenative systems: a decidability result in the binary case

Author: Choffrut, Christian, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Paterson, Michael S., editor
Published: 1990
Full Text: View/download PDF

38. Local optimization and the Traveling Salesman Problem

Author: Johnson, David S., Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Paterson, Michael S., editor
Published: 1990
Full Text: View/download PDF

39. Merging free trees in parallel for efficient voronoi diagram construction

Author: Cole, Richard, Goodrich, Michael T., Dúnlaing, Colm Ó, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Paterson, Michael S., editor
Published: 1990
Full Text: View/download PDF

40. Randomized incremental construction of delaunay and Voronoi diagrams

Author: Guibas, Leonidas J., Knuth, Donald E., Sharir, Micha, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Paterson, Michael S., editor
Published: 1990
Full Text: View/download PDF

41. Determining the separation of preprocessed polyhedra — A unified approach

Author: Dobkin, David P., Kirkpatrick, David G., Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Paterson, Michael S., editor
Published: 1990
Full Text: View/download PDF

42. A new universal class of hash functions and dynamic hashing in real time

Author: Dietzfelbinger, Martin, Meyer auf der Heide, Friedhelm, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Paterson, Michael S., editor
Published: 1990
Full Text: View/download PDF

43. Term rewriting systems from Church-Rosser to Knuth-Bendix and beyond

Author: Klop, Jan Willem, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Paterson, Michael S., editor
Published: 1990
Full Text: View/download PDF

44. Nonoblivious normalization algorithms for nonlinear rewrite systems

Author: Verma, Rakesh M., Ramakrishnan, I. V., Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Paterson, Michael S., editor
Published: 1990
Full Text: View/download PDF

45. Markov decision processes and regular events

Author: Courcoubetis, Costas, Yannakakis, Mihalis, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Paterson, Michael S., editor
Published: 1990
Full Text: View/download PDF

46. Communication among relations

Author: Rabinovich, A., Trakhtenbrot, B. A., Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Paterson, Michael S., editor
Published: 1990
Full Text: View/download PDF

47. Stability and sequentiality in dataflow networks

Author: Panangaden, Prakash, Shanbhogue, Vasant, Stark, Eugene W., Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Paterson, Michael S., editor
Published: 1990
Full Text: View/download PDF

48. Automata for modeling real-time systems

Author: Alur, Rajeev, Dill, David, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Paterson, Michael S., editor
Published: 1990
Full Text: View/download PDF

49. Additional queries to random and pseudorandom oracles

Author: Book, Ronald V., Lutz, Jack H., Tang, Shouwen, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Paterson, Michael S., editor
Published: 1990
Full Text: View/download PDF

50. On the composition of zero-knowledge proof systems

Author: Goldreich, Oded, Krawczyk, Hugo, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Paterson, Michael S., editor
Published: 1990
Full Text: View/download PDF

Searchworks

Select search scope, currently: Articles Catalog books, media & more in Jio Institute collections Articles journal articles & other e-resources

Search

Search Constraints

Refine your results

Search Limiters

Topic

Publication Year Range

Language

Publication Type

Journal

Database

Publisher

63 results on '"Paterson, Michael"'

Search Results

Catalog

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources