DCS

Results: 1966



#Item
141Aachen Department of Computer Science Technical Report A Linear Operational Semantics for Termination and Complexity Analysis

Aachen Department of Computer Science Technical Report A Linear Operational Semantics for Termination and Complexity Analysis

Add to Reading List

Source URL: www.dcs.bbk.ac.uk

- Date: 2011-07-19 18:04:54
    142Learning to select a ranking function Jie Peng, Craig Macdonald, and Iadh Ounis Department of Computing Science, University of Glasgow, G12 8QQ, UK {pj, craigm, ounis}@dcs.gla.ac.uk

    Learning to select a ranking function Jie Peng, Craig Macdonald, and Iadh Ounis Department of Computing Science, University of Glasgow, G12 8QQ, UK {pj, craigm, ounis}@dcs.gla.ac.uk

    Add to Reading List

    Source URL: terrierteam.dcs.gla.ac.uk

    - Date: 2010-03-05 12:05:34
      143Dept. of Computer Science and Information Systems Revision Timetable Level Postgraduate Undergraduate Undergraduate/Postgraduate Undergraduate

      Dept. of Computer Science and Information Systems Revision Timetable Level Postgraduate Undergraduate Undergraduate/Postgraduate Undergraduate

      Add to Reading List

      Source URL: dcs.bbk.ac.uk

      - Date: 2016-05-03 08:30:33
        144Graphs and Functions:Recurring Themes in Databases

        Graphs and Functions:Recurring Themes in Databases

        Add to Reading List

        Source URL: www.dcs.bbk.ac.uk

        - Date: 2015-10-17 15:48:42
          145           

                     

          Add to Reading List

          Source URL: terrierteam.dcs.gla.ac.uk

          - Date: 2010-03-05 12:05:36
            146Synthesizing Shortest Linear Straight-Line Programs over GF(2) for the AES using SAT? Carsten Fuhs LuFG Informatik 2, RWTH Aachen University, Germany

            Synthesizing Shortest Linear Straight-Line Programs over GF(2) for the AES using SAT? Carsten Fuhs LuFG Informatik 2, RWTH Aachen University, Germany

            Add to Reading List

            Source URL: www.dcs.bbk.ac.uk

            - Date: 2011-06-23 09:19:29
              147Theory of Randomised Search Heuristics Exercise Sheet 1 Dirk Sudholt Midlands Graduate SchoolExercise 1: A function is called unimodal if for every non-optimal search point x there is a search

              Theory of Randomised Search Heuristics Exercise Sheet 1 Dirk Sudholt Midlands Graduate SchoolExercise 1: A function is called unimodal if for every non-optimal search point x there is a search

              Add to Reading List

              Source URL: staffwww.dcs.shef.ac.uk

              - Date: 2014-04-20 15:03:24
                148A CUDA implementation of the High Performance Conjugate Gradient benchmark Everett Phillips and Massimiliano Fatica NVIDIA Corporation Santa Clara, CA 95050, USA

                A CUDA implementation of the High Performance Conjugate Gradient benchmark Everett Phillips and Massimiliano Fatica NVIDIA Corporation Santa Clara, CA 95050, USA

                Add to Reading List

                Source URL: www.dcs.warwick.ac.uk

                - Date: 2014-11-13 12:51:32
                  149Center for Information Services and High Performance Computing (ZIH) SPEC ACCEL A Standard Application Suite for Measuring Hardware Accelerator Performance Guido Juckeland (),

                  Center for Information Services and High Performance Computing (ZIH) SPEC ACCEL A Standard Application Suite for Measuring Hardware Accelerator Performance Guido Juckeland (),

                  Add to Reading List

                  Source URL: www.dcs.warwick.ac.uk

                  - Date: 2014-11-22 16:56:03
                    150Welcome to the DCS User Interface Web Page! Introduction The DCS User Interface Web Page facilitates individual registration as a DCS user. Once registered, users will be granted access to DCS platform and message data.

                    Welcome to the DCS User Interface Web Page! Introduction The DCS User Interface Web Page facilitates individual registration as a DCS user. Once registered, users will be granted access to DCS platform and message data.

                    Add to Reading List

                    Source URL: dcs3.noaa.gov

                    - Date: 2015-10-27 19:27:36