17
17

Aug 14, 2021
08/21

by
Ashur Cherry

texts

#
eye 17

#
favorite 0

#
comment 0

Factorial • Languages: Syriac • Author: Ashur Cherry (Toronto, Canada)

Topics: Algorithm, Factorial, Theoretical Computer Science in Syriac, Computer Science, Mathematics, Syriac

32
32

Aug 14, 2021
08/21

by
Ashur Cherry

texts

#
eye 32

#
favorite 0

#
comment 0

Fibonacci Sequence • Languages: Syriac • Author: Ashur Cherry (Toronto, Canada)

Topics: Algorithm, Fibonacci Sequence, Theoretical Computer Science in Syriac, Computer Science,...

16
16

Aug 14, 2021
08/21

by
Ashur Cherry

texts

#
eye 16

#
favorite 0

#
comment 0

Recursive Fibonacci Sequence • Languages: Syriac • Author: Ashur Cherry (Toronto, Canada)

Topics: Algorithm, Recursion, Fibonacci Sequence, Theoretical Computer Science in Syriac, Computer Science,...

22
22

Aug 14, 2021
08/21

by
Ashur Cherry

texts

#
eye 22

#
favorite 0

#
comment 0

Recursive Factorial • Languages: Syriac • Author: Ashur Cherry (Toronto, Canada)

Topics: Algorithm, Recursive Factorial, Recursion, Theoretical Computer Science in Syriac, Computer...

19
19

Aug 14, 2021
08/21

by
Ashur Cherry

texts

#
eye 19

#
favorite 0

#
comment 0

Least Common Multiple • Languages: Syriac • Author: Ashur Cherry (Toronto, Canada)

Topics: Algorithm, Least Common Multiple, Theoretical Computer Science in Syriac, Computer Science,...

14
14

Aug 14, 2021
08/21

by
Ashur Cherry

texts

#
eye 14

#
favorite 0

#
comment 0

Greatest Common Divisor • Languages: Syriac • Author: Ashur Cherry (Toronto, Canada)

Topics: Algorithm, Greatest Common Divisor, Theoretical Computer Science in Syriac, Computer Science,...

1,128
1.1K

Nov 13, 2012
11/12

by
David Eck; Carol Critchlow

texts

#
eye 1,128

#
favorite 2

#
comment 0

Topics: computer science history, formal language, computer science, discrete mathematics,...

Halpern, Moses and Tuttle presented a definition of interactive proofs using a notion they called practical knowledge, but left open the question of finding an epistemic formula that completely characterizes zero knowledge; that is, a formula that holds iff a proof is zero knowledge. We present such a formula, and show that it does characterize zero knowledge. Moreover, we show that variants of the formula characterize variants of zero knowledge such as concurrent zero knowledge [Dwork, Naor,...

Topics: DTIC Archive, Halpern,Joseph Y, Cornell University Ithaca United States, MATHEMATICAL LOGIC,...

12
12

Aug 13, 2021
08/21

by
Ashur Cherry

texts

#
eye 12

#
favorite 0

#
comment 0

Binary Search • Languages: Syriac • Author: Ashur Cherry (Toronto, Canada)

Topics: Data Structure, Search Algorithm, Algorithm, Theoretical Computer Science in Syriac, Computer...

19
19

Aug 13, 2021
08/21

by
Ashur Cherry

texts

#
eye 19

#
favorite 0

#
comment 0

Linear Search • Languages: Syriac • Author: Ashur Cherry (Toronto, Canada)

Topics: Data Structure, Search Algorithm, Algorithm, Theoretical Computer Science in Syriac, Computer...

7
7.0

Aug 21, 2021
08/21

by
Ashur Cherry

texts

#
eye 7

#
favorite 0

#
comment 0

Shell Sort • Languages: Syriac • Author: Ashur Cherry (Toronto, Canada)

Topics: Data Structure, Sort Algorithm, Algorithm, Sort, Theoretical Computer Science in Syriac, Computer...

15
15

Aug 21, 2021
08/21

by
Ashur Cherry

texts

#
eye 15

#
favorite 0

#
comment 0

Insertion Sort • Languages: Syriac • Author: Ashur Cherry (Toronto, Canada)

Topics: Data Structure, Sort Algorithm, Algorithm, Sort, Theoretical Computer Science in Syriac, Computer...

This result generalizes in a straightforward way to automata on finite trees. I rediscovered this generalization in connection with work on finitely presented algebras, and stated it without proof or attribution in [7, 8], being at that time under the impression that it was folklore and completely elementary. It was again rediscovered independently by Z. Fulop and S. Vagvolgyi and reported in a recent contribution to this Bulletin. In that paper they attribute the result to me.

Topics: DTIC Archive, Kozen,Dexter, CORNELL UNIV ITHACA NY ITHACA United States, theoretical computer...

13
13

Aug 21, 2021
08/21

by
Ashur Cherry

texts

#
eye 13

#
favorite 0

#
comment 0

Selection Sort • Languages: Syriac • Author: Ashur Cherry (Toronto, Canada)

Topics: Data Structure, Sort Algorithm, Algorithm, Sort, Theoretical Computer Science in Syriac, Computer...

23
23

Aug 14, 2021
08/21

by
Ashur Cherry

texts

#
eye 23

#
favorite 0

#
comment 0

Greatest Common Divisor - Euclid’s Algorithm • Languages: Syriac • Author: Ashur Cherry (Toronto, Canada)

Topics: Algorithm, Greatest Common Divisor - Euclid’s Algorithm, Euclid’s Algorithm, Euclid,...

13
13

Aug 21, 2021
08/21

by
Ashur Cherry

texts

#
eye 13

#
favorite 0

#
comment 0

Bubble Sort • Languages: Syriac • Author: Ashur Cherry (Toronto, Canada)

Topics: Data Structure, Sort Algorithm, Algorithm, Sort, Theoretical Computer Science in Syriac, Computer...

15
15

Aug 21, 2021
08/21

by
Ashur Cherry

texts

#
eye 15

#
favorite 0

#
comment 0

Shell Sort • Languages: Syriac • Author: Ashur Cherry (Toronto, Canada)

Topics: Data Structure, Sort Algorithm, Algorithm, Sort, Theoretical Computer Science in Syriac, Computer...

16
16

Aug 21, 2021
08/21

by
Ashur Cherry

texts

#
eye 16

#
favorite 0

#
comment 0

Selection Sort • Languages: Syriac • Author: Ashur Cherry (Toronto, Canada)

Topics: Data Structure, Sort Algorithm, Algorithm, Sort, Theoretical Computer Science in Syriac, Computer...

17
17

Aug 21, 2021
08/21

by
Ashur Cherry

texts

#
eye 17

#
favorite 0

#
comment 0

Exchange Sort • Languages: Syriac • Author: Ashur Cherry (Toronto, Canada)

Topics: Data Structure, Sort Algorithm, Algorithm, Sort, Theoretical Computer Science in Syriac, Computer...

Inspired by developments in attribute based encryption and signatures, there has recently been a spurt of progress in the direction of threshold attribute based signatures (t-ABS). In this work we propose a novel approach to construct threshold attribute based signatures inspired by ring signatures. Threshold attribute based signatures, defined by a (t, n) threshold predicate, ensure that the signer holds at least out of a specified set of n attributes to pass the verification. Another way to...

Topics: DTIC Archive, Selvi,S S, INDIAN INSTITUTE OF TECHNOLOGY BHUBANESWAR BHUBANESWAR India,...

17
17

Aug 21, 2021
08/21

by
Ashur Cherry

texts

#
eye 17

#
favorite 0

#
comment 0

Quick Sort • Languages: Syriac • Author: Ashur Cherry (Toronto, Canada)

Topics: Data Structure, Sort Algorithm, Algorithm, Sort, Theoretical Computer Science in Syriac, Computer...

17
17

Aug 13, 2021
08/21

by
Ashur Cherry

texts

#
eye 17

#
favorite 0

#
comment 0

Recursive Binary Search • Languages: Syriac • Author: Ashur Cherry (Toronto, Canada)

Topics: Data Structure, Search Algorithm, Algorithm, Recursion, Theoretical Computer Science in Syriac,...

12
12

Aug 21, 2021
08/21

by
Ashur Cherry

texts

#
eye 12

#
favorite 0

#
comment 0

Smart Bubble Sort • Languages: Syriac • Author: Ashur Cherry (Toronto, Canada)

Topics: Data Structure, Sort Algorithm, Algorithm, Sort, Theoretical Computer Science in Syriac, Computer...

24
24

Aug 21, 2021
08/21

by
Ashur Cherry

texts

#
eye 24

#
favorite 0

#
comment 0

Quick Sort • Languages: Syriac • Author: Ashur Cherry (Toronto, Canada)

Topics: Data Structure, Sort Algorithm, Algorithm, Sort, Theoretical Computer Science in Syriac, Computer...

19
19

Aug 21, 2021
08/21

by
Ashur Cherry

texts

#
eye 19

#
favorite 0

#
comment 0

Bidirectional Bubble Sort • Languages: Syriac • Author: Ashur Cherry (Toronto, Canada)

Topics: Data Structure, Sort Algorithm, Algorithm, Sort, Theoretical Computer Science in Syriac, Computer...

12
12

Aug 21, 2021
08/21

by
Ashur Cherry

texts

#
eye 12

#
favorite 0

#
comment 0

Merge Sort • Languages: Syriac • Author: Ashur Cherry (Toronto, Canada)

Topics: Data Structure, Sort Algorithm, Algorithm, Sort, Theoretical Computer Science in Syriac, Computer...

21
21

Aug 13, 2021
08/21

by
Ashur Cherry

texts

#
eye 21

#
favorite 0

#
comment 0

Recursive Linear Search • Languages: Syriac • Author: Ashur Cherry (Toronto, Canada)

Topics: Data Structure, Search Algorithm, Algorithm, Recursion, Theoretical Computer Science in Syriac,...

18
18

Aug 21, 2021
08/21

by
Ashur Cherry

texts

#
eye 18

#
favorite 0

#
comment 0

Quick Sort • Languages: Syriac • Author: Ashur Cherry (Toronto, Canada)

Topics: Data Structure, Sort Algorithm, Algorithm, Sort, Theoretical Computer Science in Syriac, Computer...

16
16

Aug 21, 2021
08/21

by
Ashur Cherry

texts

#
eye 16

#
favorite 0

#
comment 0

Heap Sort • Languages: Syriac • Author: Ashur Cherry (Toronto, Canada)

Topics: Data Structure, Sort Algorithm, Algorithm, Sort, Theoretical Computer Science in Syriac, Computer...

23
23

Aug 21, 2021
08/21

by
Ashur Cherry

texts

#
eye 23

#
favorite 0

#
comment 0

Recursive Insertion Sort • Languages: Syriac • Author: Ashur Cherry (Toronto, Canada)

Topics: Data Structure, Sort Algorithm, Algorithm, Sort, Theoretical Computer Science in Syriac, Computer...

22
22

Aug 21, 2021
08/21

by
Ashur Cherry

texts

#
eye 22

#
favorite 0

#
comment 0

Recursive Selection Sort • Languages: Syriac • Author: Ashur Cherry (Toronto, Canada)

Topics: Data Structure, Sort Algorithm, Algorithm, Sort, Theoretical Computer Science in Syriac, Computer...

15
15

Aug 14, 2021
08/21

by
Ashur Cherry

texts

#
eye 15

#
favorite 0

#
comment 0

Recursive Greatest Common Divisor - Euclid’s Algorithm • Languages: Syriac • Author: Ashur Cherry (Toronto, Canada)

Topics: Algorithm, Recursion, Recursive Greatest Common Divisor - Euclid’s Algorithm, Euclid’s...

Folkscanomy Miscellaneous

758
758

Dec 30, 2015
12/15

by
Montanari, Ugo; International Colloquium on Automata, Languages and Programming

texts

#
eye 758

#
favorite 0

#
comment 0

Automata, Languages and Programming: 27th International Colloquium, ICALP 2000 Geneva, Switzerland, July 9–15, 2000 Proceedings Author: Ugo Montanari, José D. P. Rolim, Emo Welzl Published by Springer Berlin Heidelberg ISBN: 978-3-540-67715-4 DOI: 10.1007/3-540-45022-X Table of Contents: Game Semantics: Achievements and Prospects Clique Is Hard to Approximate within n Approximating the Independence Number and the Chromatic Number in Expected Polynomial Time Closed Types as a Simple Approach...

Topics: ABSTRAKTE MASCHINEN + UNIVERSELLE MASCHINEN (THEORETISCHE INFORMATIK), THEORIE DER PROGRAMMIERUNG,...

The initial goal of this project was to study information flow in computational systems using techniques from information theory, domain theory andother areas of mathematics and computer science. Over time, the focus shifted toward a better understanding of random variables, in particular froma domain-theoretic perspective. The research focused more narrowly on the relationship between random variables, domain theory and related work on information theory. The results produced by the project...

Topics: DTIC Archive, Mislove,Michael, Administrators Of The Tulane Educational Fund, The Tulane University...

19
19

Jan 8, 2020
01/20

by
Conference on Foundations of Software Technology and Theoretical Computer Science (25th : 2005 : Hyderabad, India)

texts

#
eye 19

#
favorite 1

#
comment 0

1 online resource (xiv, 566 pages) :

Topics: Software engineering -- Congresses, Computer science -- Congresses, Génie logiciel -- Congrès,...

4
4.0

audio

#
eye 4

#
favorite 0

#
comment 0

Topics: Radio Program, E-commerce, Marketing, Theoretical computer science, Animal anatomy

11
11

audio

#
eye 11

#
favorite 0

#
comment 0

Topics: Radio Program, Musical quintets, Theoretical computer science, Computer science, Felids, Model...

4
4.0

audio

#
eye 4

#
favorite 0

#
comment 0

Topics: Radio Program, Computer science, Parking, Theoretical computer science, Latin American studies,...

Topics: Radio Program, Political terminology, Theoretical computer science, National security, Fictional...

7
7.0

audio

#
eye 7

#
favorite 0

#
comment 0

Topics: Radio Program, American rock music groups, Theoretical computer science, Types of organization,...

4
4.0

audio

#
eye 4

#
favorite 0

#
comment 0

Topics: Radio Program, English male singers, English rock guitarists, English songwriters, Lead guitarists,...

Topics: Radio Program, Cricket terminology, Cadbury brands, Theoretical computer science, Cricket laws and...

Topics: Radio Program, Economic problems, Income, Health, Formal sciences, Business terms, Climate change,...

6
6.0

audio

#
eye 6

#
favorite 0

#
comment 0

Topics: Radio Program, English stage actors, Alumni of the London Academy of Music and Dramatic Art, BBC...

Topics: Radio Program, Oral hygiene, Business law, Payment systems, Dental equipment, Law enforcement,...

4
4.0

audio

#
eye 4

#
favorite 0

#
comment 0

Topics: Radio Program, Business, Marketing, Technical communication, Data management, Mass media,...

Topics: Radio Program, Theoretical computer science, Federal architecture in Washington, D.C., Health,...

13
13

audio

#
eye 13

#
favorite 0

#
comment 0

Topics: Radio Program, Business law, Payment systems, Electrical engineering, Geography terminology,...

Topics: Radio Program, Brain, Sports terminology, Team sports, Theoretical computer science, Computer data,...

Topics: Radio Program, Theoretical computer science, Legislatures, Medicinal plants, Central banks,...