Search ResultsElectronic Resources
Limit Search Results
Author
Material Type
Language
Publication Date
-
Subject
Library
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
9 Results Found Subscribe to search results
000000000DEFAULT
Print
Select a list
Make this your default list.
The following items were successfully added.
    There was an error while adding the following items. Please try again.
      Cover image for Linear Logic and Coordination for Parallel Programming
      1. 
      Linear Logic and Coordination for Parallel Programming
      by 
      Cruz, Flávio Manuel Fernandes, author.
      http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10820622
      Format: 
      Excerpt: 
      Linear Logic and Coordination for Parallel Programming / Cruz, Flávio Manuel Fernandes, author.
      Cover image for Computer science and operations research : new developments in their interfaces
      2. 
      Computer science and operations research : new developments in their interfaces
      by 
      Balci, Osman.
      ScienceDirect http://www.sciencedirect.com/science/book/9780080408064
      Format: 
      Excerpt: 
      broad spectrum of research domains which include optimization techniques, linear programming, interior
      Cover image for Complex Scheduling
      3. 
      Complex Scheduling
      by 
      Brucker, Peter.
      http://dx.doi.org/10.1007/978-3-642-23929-8
      Format: 
      Excerpt: 
      , transportation or limited buffers are discussed. Dis-<br>crete optimization methods like linear and integer
      Cover image for Advances in computers. Volume 2
      4. 
      Advances in computers. Volume 2
      by 
      Alt, Franz L.
      ScienceDirect https://www.sciencedirect.com/science/book/9780120121021
      Format: 
      Excerpt: 
      . Linear Programming Applications; 6. Summary of Progress in Related Fields; 7. Linear Programming
      Cover image for Parallelization and Scalability Analysis of the 3D Spatially Variant Lattice Algorithm
      5. 
      Parallelization and Scalability Analysis of the 3D Spatially Variant Lattice Algorithm
      by 
      Lopez, Henry R. Moncada, author.
      http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10824303
      Format: 
      Excerpt: 
      programming. For the parallel code, we use the FFTW (Fastest Fourier Transform in the West) for handling the
      Cover image for Many-to-Many Survivability in Content Centric Networks
      6. 
      Many-to-Many Survivability in Content Centric Networks
      by 
      Davis, Dylan A.P., author.
      http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10836944
      Format: 
      Excerpt: 
      programming and heuristic solutions for provisioning survivable sets of routes from any number of consumers to
      Cover image for Game Theory for Effective Resource Utilisation in 5G Applications = Teoria de jogos para utilização efetiva dos recursos em aplicações para 5G
      7. 
      Cover image for Integrated Methods for Optimization
      8. 
      Integrated Methods for Optimization
      by 
      Hooker, John N.
      http://dx.doi.org/10.1007/978-1-4614-1900-6
      Format: 
      Excerpt: 
      material in linear, nonlinear, and dynamic programming.</li><li>Network flow theory, due to its importance
      Cover image for Generative Multi-Robot Task and Motion Planning Over Long Horizons
      9. 
      Generative Multi-Robot Task and Motion Planning Over Long Horizons
      by 
      Fernandez Gonzalez, Enrique, author.
      http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10903569
      Format: 
      Excerpt: 
      activity and trajectory planners that employ mixed integer programming within a discrete time formulation