Cambridge University Press

Displaying 1-6 of 6 results

  • White Papers // Nov 2011

    Shifting the Stage

    It is often hard to write programs that are efficient yet reusable. For example, an efficient implementation of Gaussian elimination should be specialized to the structure and known static properties of the input matrix. The most profitable optimizations, such as choosing the best pivoting or memoization, cannot be expected of...

    Provided By Cambridge University Press

  • White Papers // Aug 2011

    Purely Functional Lazy Nondeterministic Programming

    Functional logic programming and probabilistic programming have demonstrated the broad benefits of combining laziness (non-strict evaluation with sharing of the results) with non-determinism. Yet these benefits are seldom enjoyed in functional programming because the existing features for non-strictness, sharing, and non-determinism in functional languages are tricky to combine. The authors...

    Provided By Cambridge University Press

  • White Papers // Jun 2011

    Intra-Industry Trade

    Once, while visiting the World Trade Organization in Geneva, the author took a three-day side trip to Cleremont-Ferrand, France in order to visit some students who were on study abroad there. At one first buffet breakfast in the hotel, he noticed an exceptional-looking blue cheese. It was as exceptional to...

    Provided By Cambridge University Press

  • White Papers // May 2011

    Structural Recursion With Locally Scoped Names

    Locally scoped names are an important feature of the informal meta-theory of binding operations in programming languages and logics. Nominal sets provide a fruitful mathematical model of name scoping in the presence of recursive definitions. Previous work on formal languages based on this model (Pitts & Gabbay, 2000; Schopp &...

    Provided By Cambridge University Press

  • White Papers // Mar 2011

    Polymer-Based Micromachined Rectangular Coaxial Filters for Millimeter-Wave Applications

    In this paper, micromachined devices for millimeter-wave applications at U- and V-bands are presented. These structures are designed using a rectangular coaxial line built of gold-coated SU-8 photoresist layers, where the coaxial center conductor is suspended in air by stubs. The designs include a stepped CoPlanar Waveguide (CPW)-to-coaxial transition at...

    Provided By Cambridge University Press

  • White Papers // Aug 2010

    Network Coding in Bi-Directed and Peer-to-Peer Networks

    Network coding has been shown to help achieve optimal throughput in directed networks with known link capacities. However, as real-world networks in the Internet are bi-directed in nature, it is important to investigate theoretical and practical advantages of network coding in more realistic bi-directed and Peer-To-Peer (P2P) network settings. In...

    Provided By Cambridge University Press

  • White Papers // Aug 2010

    Network Coding in Bi-Directed and Peer-to-Peer Networks

    Network coding has been shown to help achieve optimal throughput in directed networks with known link capacities. However, as real-world networks in the Internet are bi-directed in nature, it is important to investigate theoretical and practical advantages of network coding in more realistic bi-directed and Peer-To-Peer (P2P) network settings. In...

    Provided By Cambridge University Press

  • White Papers // Jun 2011

    Intra-Industry Trade

    Once, while visiting the World Trade Organization in Geneva, the author took a three-day side trip to Cleremont-Ferrand, France in order to visit some students who were on study abroad there. At one first buffet breakfast in the hotel, he noticed an exceptional-looking blue cheese. It was as exceptional to...

    Provided By Cambridge University Press

  • White Papers // Nov 2011

    Shifting the Stage

    It is often hard to write programs that are efficient yet reusable. For example, an efficient implementation of Gaussian elimination should be specialized to the structure and known static properties of the input matrix. The most profitable optimizations, such as choosing the best pivoting or memoization, cannot be expected of...

    Provided By Cambridge University Press

  • White Papers // Aug 2011

    Purely Functional Lazy Nondeterministic Programming

    Functional logic programming and probabilistic programming have demonstrated the broad benefits of combining laziness (non-strict evaluation with sharing of the results) with non-determinism. Yet these benefits are seldom enjoyed in functional programming because the existing features for non-strictness, sharing, and non-determinism in functional languages are tricky to combine. The authors...

    Provided By Cambridge University Press

  • White Papers // May 2011

    Structural Recursion With Locally Scoped Names

    Locally scoped names are an important feature of the informal meta-theory of binding operations in programming languages and logics. Nominal sets provide a fruitful mathematical model of name scoping in the presence of recursive definitions. Previous work on formal languages based on this model (Pitts & Gabbay, 2000; Schopp &...

    Provided By Cambridge University Press

  • White Papers // Mar 2011

    Polymer-Based Micromachined Rectangular Coaxial Filters for Millimeter-Wave Applications

    In this paper, micromachined devices for millimeter-wave applications at U- and V-bands are presented. These structures are designed using a rectangular coaxial line built of gold-coated SU-8 photoresist layers, where the coaxial center conductor is suspended in air by stubs. The designs include a stepped CoPlanar Waveguide (CPW)-to-coaxial transition at...

    Provided By Cambridge University Press