TCS-1

Results: 148



#Item
41Binary trees / Arrays / Knowledge representation / Data types / Theoretical computer science / Suffix tree / Tree / Suffix array / Rope / Lowest common ancestor / AVL tree / B-tree

Theoretical Computer Science – 254 www.elsevier.com/locate/tcs Longest repeats with a block of k don’t cares Maxime Crochemorea, b,1 , Costas S. Iliopoulosb,2 , Manal Mohamedb,∗ , Marie-France Sagotc

Add to Reading List

Source URL: pbil.univ-lyon1.fr

Language: English - Date: 2008-10-22 02:35:21
42Digital Research software / Graphical Environment Manager / Gemstone / Probability distribution

Algorithms and Data Structures Winter TermExercises for Unit 9 s 1. Assume there is a box containing n gems of distinct values, with a price tag on each gem

Add to Reading List

Source URL: www-tcs.cs.uni-sb.de

Language: English - Date: 2016-03-04 02:24:05
43Algorithm / Mathematical logic / Theoretical computer science / Combinatorial optimization / Operations research

Algorithms and Data Structures (WS15/16) Example Solutions for Unit 4 Problem 1 A simple algorithm to solve this problem is sorting both sets A and B and then doing a linear scan to check for common elements. We start fr

Add to Reading List

Source URL: www-tcs.cs.uni-sb.de

Language: English - Date: 2016-03-02 15:25:03
44Single Audit / Public finance / United States Office of Management and Budget / Administration of federal assistance in the United States / Federal Audit Clearinghouse / United States Environmental Protection Agency / Government procurement in the United States / Federal grants in the United States / Clean Water Act / Superfund / Title 1 of the Code of Federal Regulations / Compliance requirements

Microsoft Word - General National TCs as of

Add to Reading List

Source URL: www.usendowment.org

Language: English - Date: 2016-08-15 15:27:01
45Multiplication / Binary operations / Algebra / Computational complexity theory / Time complexity / Polynomial / Multiplication algorithm / Karatsuba algorithm

Algorithms and Data Structures Winter TermExercises for Unit 6 s 1. Spell out the general divide-and-conquer algorithm for multiplying polymomials that was

Add to Reading List

Source URL: www-tcs.cs.uni-sb.de

- Date: 2016-03-03 04:54:10
46

Vorteile, die Sie als TCS Mitglied nutzen sollten. Lauter tolle Vorteile* – TCS Karte zeigen genügt! * Nähere Infos, zusätzliche Konditionen bzw. Einschränkungen und weitere Rabatte: www.sparen.tcs.ch 1

Add to Reading List

Source URL: www.top-auto-basel.ch

Language: German
    47

    Nagroda Open Mind My mind is open Pául Erdős Reguły przyznawania nagrody Open Mind w roku 2012 są następujące: 1) Nagrodę może otrzymać osoba mająca polskie obywatelstwo lub prawo stałego pobytu

    Add to Reading List

    Source URL: 4pcc.tcs.uj.edu.pl

    Language: Polish - Date: 2012-06-10 07:01:18
      48

      An Extension of Martin-Löf Type Theory with Sized Types Andreas Abel1 and Théo Winterhalter2 1 Department of Computer Science and Eng., Gothenburg University, Sweden

      Add to Reading List

      Source URL: www2.tcs.ifi.lmu.de

      Language: English - Date: 2016-05-17 15:07:26
        49

        Particle Physics and Astronomy Research Council Isaac Newton Group INT-TCS-1

        Add to Reading List

        Source URL: www.ing.iac.es

        Language: English - Date: 2009-02-09 12:34:19
          50

          Sprinkles of extensionality for your vanilla type theory Jesper Cockx1 and Andreas Abel2 2 1

          Add to Reading List

          Source URL: www2.tcs.ifi.lmu.de

          Language: English - Date: 2016-05-17 15:07:48
            UPDATE