18
18
Aug 14, 2021
08/21
by
Ashur Cherry
texts
eye 18
favorite 0
comment 0
Factorial • Languages: Syriac • Author: Ashur Cherry (Toronto, Canada)
Topics: Algorithm, Factorial, Theoretical Computer Science in Syriac, Computer Science, Mathematics, Syriac
33
33
Aug 14, 2021
08/21
by
Ashur Cherry
texts
eye 33
favorite 0
comment 0
Fibonacci Sequence • Languages: Syriac • Author: Ashur Cherry (Toronto, Canada)
Topics: Algorithm, Fibonacci Sequence, Theoretical Computer Science in Syriac, Computer Science,...
15
15
Aug 14, 2021
08/21
by
Ashur Cherry
texts
eye 15
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,...
24
24
Aug 14, 2021
08/21
by
Ashur Cherry
texts
eye 24
favorite 0
comment 0
Recursive Factorial • Languages: Syriac • Author: Ashur Cherry (Toronto, Canada)
Topics: Algorithm, Recursive Factorial, Recursion, Theoretical Computer Science in Syriac, Computer...
21
21
Aug 14, 2021
08/21
by
Ashur Cherry
texts
eye 21
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,...
17
17
Aug 14, 2021
08/21
by
Ashur Cherry
texts
eye 17
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,...
1,133
1.1K
Nov 13, 2012
11/12
by
David Eck; Carol Critchlow
texts
eye 1,133
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,...
20
20
Aug 13, 2021
08/21
by
Ashur Cherry
texts
eye 20
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...
14
14
Aug 13, 2021
08/21
by
Ashur Cherry
texts
eye 14
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...
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,...
14
14
Aug 21, 2021
08/21
by
Ashur Cherry
texts
eye 14
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...
16
16
Aug 21, 2021
08/21
by
Ashur Cherry
texts
eye 16
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...
18
18
Aug 21, 2021
08/21
by
Ashur Cherry
texts
eye 18
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...
26
26
Aug 14, 2021
08/21
by
Ashur Cherry
texts
eye 26
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,...
15
15
Aug 21, 2021
08/21
by
Ashur Cherry
texts
eye 15
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...
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...
16
16
Aug 21, 2021
08/21
by
Ashur Cherry
texts
eye 16
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...
9
9.0
Aug 21, 2021
08/21
by
Ashur Cherry
texts
eye 9
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...
19
19
Aug 21, 2021
08/21
by
Ashur Cherry
texts
eye 19
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...
17
17
Aug 21, 2021
08/21
by
Ashur Cherry
texts
eye 17
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...
15
15
Aug 21, 2021
08/21
by
Ashur Cherry
texts
eye 15
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...
13
13
Aug 21, 2021
08/21
by
Ashur Cherry
texts
eye 13
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...
22
22
Aug 21, 2021
08/21
by
Ashur Cherry
texts
eye 22
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...
27
27
Aug 21, 2021
08/21
by
Ashur Cherry
texts
eye 27
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 13, 2021
08/21
by
Ashur Cherry
texts
eye 19
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,...
19
19
Aug 21, 2021
08/21
by
Ashur Cherry
texts
eye 19
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...
22
22
Aug 13, 2021
08/21
by
Ashur Cherry
texts
eye 22
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,...
21
21
Aug 21, 2021
08/21
by
Ashur Cherry
texts
eye 21
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 14, 2021
08/21
by
Ashur Cherry
texts
eye 16
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...
26
26
Aug 21, 2021
08/21
by
Ashur Cherry
texts
eye 26
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...
25
25
Aug 21, 2021
08/21
by
Ashur Cherry
texts
eye 25
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...
Folkscanomy Miscellaneous
774
774
Dec 30, 2015
12/15
by
Montanari, Ugo; International Colloquium on Automata, Languages and Programming
texts
eye 774
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,...
Topics: Radio Program, Cricket terminology, Cadbury brands, Theoretical computer science, Cricket laws and...
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, 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,...
Topics: Radio Program, Brain, Sports terminology, Team sports, Theoretical computer science, Computer data,...
13
13
audio
eye 13
favorite 0
comment 0
Topics: Radio Program, Business law, Payment systems, Electrical engineering, Geography terminology,...
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,...
Topics: Radio Program, Theoretical computer science, Legislatures, Medicinal plants, Central banks,...
