Find link

language:

jump to random article

Find link is a tool written by Edward Betts.

searching for String (computer science) 354 found (1775 total)

alternate case: string (computer science)

Formal grammar (3,450 words) [view diff] no match in snippet view article find links to article

grammars and languages. Its applications are found in theoretical computer science, theoretical linguistics, formal semantics, mathematical logic, and
Quine (computing) (2,564 words) [view diff] no match in snippet view article
standard terms for these programs in the computability theory and computer science literature are "self-replicating programs", "self-reproducing programs"
Parameter (computer programming) (3,596 words) [view diff] no match in snippet view article
character string based dictionary. As such, both data and key formal generic parameters are substituted with actual generic parameters of type STRING. my_dictionary:
Attribute (computing) (1,090 words) [view diff] no match in snippet view article
Attribute–value pair File attribute Extended file attributes Field (computer science) Property (programming) Java annotation Metadata Mössenböck, Hanspeter
Recursive grammar (314 words) [view diff] no match in snippet view article find links to article
In computer science, a grammar is informally called a recursive grammar if it contains production rules that are recursive, meaning that expanding a non-terminal
Hash collision (1,120 words) [view diff] no match in snippet view article find links to article
In computer science, a hash collision or hash clash is when two distinct pieces of data in a hash table share the same hash value. The hash value in this
Scheme (programming language) (8,139 words) [view diff] no match in snippet view article
programming languages. Scheme was created during the 1970s at the MIT Computer Science and Artificial Intelligence Laboratory (MIT CSAIL) and released by
Eval (2,948 words) [view diff] no match in snippet view article find links to article
theoretical computer science, a careful distinction is commonly made between eval and apply. Eval is understood to be the step of converting a quoted string into
Garbage collection (computer science) (4,054 words) [view diff] no match in snippet view article
In computer science, garbage collection (GC) is a form of automatic memory management. The garbage collector attempts to reclaim memory that was allocated
Production (computer science) (973 words) [view diff] no match in snippet view article
In computer science, a production or production rule is a rewrite rule that replaces some symbols with other symbols. A finite set of productions P {\displaystyle
Constructor (object-oriented programming) (4,271 words) [view diff] no match in snippet view article
private FName: string; public property Name: string read FName; constructor Create(AName: string); end; constructor TPerson.Create(AName: string); begin FName
Type signature (1,287 words) [view diff] no match in snippet view article find links to article
In computer science, a type signature or type annotation defines the inputs and outputs of a function, subroutine or method.[citation needed] A type signature
Ryan Rohm (451 words) [view diff] no match in snippet view article find links to article
professor at Boston University. In 1997 he earned a master's degree in computer science at NCSU. Since 1998 he has worked on experimental neutrino physics
Higher-order function (2,643 words) [view diff] no match in snippet view article find links to article
In mathematics and computer science, a higher-order function (HOF) is a function that does at least one of the following: takes one or more functions as
Chaitin's constant (2,319 words) [view diff] no match in snippet view article find links to article
In the computer science subfield of algorithmic information theory, a Chaitin constant (Chaitin omega number) or halting probability is a real number that
Invariant (mathematics) (2,787 words) [view diff] no match in snippet view article
object is constant on families or invariant under change of metric). In computer science, an invariant is a logical assertion that is always held to be true
Monad (functional programming) (9,297 words) [view diff] no match in snippet view article
early 1990s established that monads could bring seemingly disparate computer-science problems under a unified, functional model. Category theory also provides
String phenomenology (196 words) [view diff] no match in snippet view article find links to article
String phenomenology is a branch of theoretical physics that uses tools from mathematics and computer science to study the implications of string theory
Mutator method (2,756 words) [view diff] no match in snippet view article find links to article
In computer science, a mutator method is a method used to control changes to a variable. They are also widely known as setter methods. Often a setter is
Nondeterministic Turing machine (1,626 words) [view diff] no match in snippet view article find links to article
In theoretical computer science, a nondeterministic Turing machine (NTM) is a theoretical model of computation whose governing rules specify more than
NP (complexity) (2,784 words) [view diff] no match in snippet view article
problem in computer science P   = ?   N P {\displaystyle {\mathsf {P\ {\overset {?}{=}}\ NP}}} More unsolved problems in computer science In computational
Hash table (6,078 words) [view diff] no match in snippet view article find links to article
In computer science, a hash table is a data structure that implements an associative array, also called a dictionary or simply map; an associative array
Turing machine (9,386 words) [view diff] no match in snippet view article find links to article
abstract properties of Turing machines has yielded many insights into computer science, computability theory, and complexity theory. In his 1948 essay, "Intelligent
Method (computer programming) (1,837 words) [view diff] no match in snippet view article
Software Construction. Cambridge: Prentice Hall International Series in Computer Science. pp. 52–54. ISBN 0-13-629049-3. Bloch, Joshua (2018). "Effective Java:
Field (computer science) (629 words) [view diff] no match in snippet view article
in a class whose objects all possess the same copy Mutator method – Computer science method Jensen, Kathleen; Wirth, Niklaus (1974). PASCAL User Manual
Covariance and contravariance (computer science) (6,679 words) [view diff] no match in snippet view article
types. On the other hand, "function from Animal to String" is a subtype of "function from Cat to String" because the function type constructor is contravariant
Callback (computer programming) (1,825 words) [view diff] no match in snippet view article
Jack; Holzman, Albert G; Kent, Allen, eds. (1979). Encyclopedia of Computer Science and Technology: Volume 12. Marcel Dekker, inc. p. 164. ISBN 0-8247-2262-0
Regular language (3,422 words) [view diff] no match in snippet view article find links to article
In theoretical computer science and formal language theory, a regular language (also called a rational language) is a formal language that can be defined
Closure (computer programming) (6,372 words) [view diff] no match in snippet view article
the term comes from mathematics use, rather than the prior use in computer science. The authors consider this overlap in terminology to be "unfortunate
PSPACE (998 words) [view diff] no match in snippet view article find links to article
problem in computer science ⁠ P = ? P S P A C E {\displaystyle {\mathsf {P{\overset {?}{=}}PSPACE}}} ⁠ More unsolved problems in computer science In computational
Function composition (computer science) (2,164 words) [view diff] no match in snippet view article
In computer science, function composition is an act or mechanism to combine simple functions to build more complicated ones. Like the usual composition
Unary numeral system (1,251 words) [view diff] no match in snippet view article find links to article
Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science, Computer Science and Scientific Computing (2nd ed.), Academic Press, p. 117
Generator (computer programming) (3,218 words) [view diff] no match in snippet view article
In computer science, a generator is a routine that can be used to control the iteration behaviour of a loop. All generators are also iterators. A generator
Dynamic dispatch (2,935 words) [view diff] no match in snippet view article find links to article
In computer science, dynamic dispatch is the process of selecting which implementation of a polymorphic operation (method or function) to call at run time
Inversion (discrete mathematics) (1,905 words) [view diff] no match in snippet view article
In computer science and discrete mathematics, an inversion in a sequence is a pair of elements that are out of their natural order. Let π {\displaystyle
Immutable object (3,818 words) [view diff] no match in snippet view article find links to article
mutable versions of string. In Java: 84  these are StringBuffer and StringBuilder (mutable versions of Java String) and in .NET this is StringBuilder (mutable
Andrew J. Hanson (988 words) [view diff] no match in snippet view article find links to article
the two disciplines were rapidly unifying. His subsequent work in computer science focused on computer graphics and visualization of exotic mathematical
Object composition (2,285 words) [view diff] no match in snippet view article find links to article
In computer science, object composition and object aggregation are closely related ways to combine objects or data types into more complex ones. In conversation
Type introspection (1,452 words) [view diff] no match in snippet view article find links to article
same as : trace(describeType(flash.display.Sprite)); Reification (computer science) typeof Java Language Specification: instanceof Java API: java.lang
Linear bounded automaton (823 words) [view diff] no match in snippet view article find links to article
In computer science, a linear bounded automaton (plural linear bounded automata, abbreviated LBA) is a restricted form of Turing machine. A linear bounded
One-way function (1,957 words) [view diff] no match in snippet view article find links to article
Unsolved problem in computer science Do one-way functions exist? More unsolved problems in computer science In computer science, a one-way function is
Zvi Galil (2,124 words) [view diff] no match in snippet view article find links to article
cum laude, at Tel Aviv University. In 1975, he earned his Ph.D. in computer science at Cornell University under the supervision of John Hopcroft. He then
Generics in Java (2,786 words) [view diff] no match in snippet view article find links to article
example: final Entry<String, String> grade = new Entry<String, String>("Mike", "A"); final Entry<String, Integer> mark = new Entry<String, Integer>("Mike"
Filter (software) (776 words) [view diff] no match in snippet view article
imitating it. grep at its simplest prints any lines containing a character string to its output. The following is an example: cut -d : -f 1 /etc/passwd |
Aperiodic finite-state automaton (377 words) [view diff] no match in snippet view article find links to article
we have xymz in L if and only if xynz in L. For these languages, when a string contains enough repetitions of any substring (at least n repetitions), changing
Deterministic context-free language (633 words) [view diff] no match in snippet view article find links to article
admit simple practical parsers. They are thus widely used throughout computer science. The notion of the DCFL is closely related to the deterministic pushdown
Robofest (888 words) [view diff] no match in snippet view article find links to article
work-time without external help. Lawrence Tech's Robofest was founded by Computer Science Professor Dr. Chan-Jin Chung (or popularly known as CJ Chung) in 1999–2000
Macro (computer science) (4,015 words) [view diff] no match in snippet view article
teaching a computer or a robot new behaviors String interpolation – Replacing placeholders in a string with values Oxford English Dictionary, s.v. macro
Tata Institute of Fundamental Research (1,442 words) [view diff] no match in snippet view article find links to article
primarily in the natural sciences, the biological sciences and theoretical computer science. Homi J. Bhabha, known for his role in the development of the Indian
Shell (computing) (2,330 words) [view diff] no match in snippet view article
concept in all later shells. This is defined as a string... which is replaced by a character string return value before the command line containing it
Alfred Aho (1,739 words) [view diff] no match in snippet view article find links to article
2020 Turing Award, generally recognized as the highest distinction in computer science. Aho received a B.A.Sc. (1963) in Engineering Physics from the University
Reduction (complexity) (1,661 words) [view diff] no match in snippet view article
the language E is also undecidable. Fine-grained reduction Gadget (computer science) Many-one reduction Parsimonious reduction Reduction (recursion theory)
Universal Turing machine (2,963 words) [view diff] no match in snippet view article find links to article
In computer science, a universal Turing machine (UTM) is a Turing machine capable of computing any computable sequence, as described by Alan Turing in
Heap pollution (343 words) [view diff] no match in snippet view article find links to article
Generics". Algebraic Methodology and Software Technology. Lecture Notes in Computer Science. Vol. 5140. pp. 315–329. doi:10.1007/978-3-540-79980-1. ISBN 978-3-540-79979-5
Richard M. Karp (883 words) [view diff] no match in snippet view article find links to article
efficient combinatorial algorithms, and applying probabilistic methods in computer science. Born to parents Abraham and Rose Karp in Boston, Massachusetts, Karp
Manifest typing (387 words) [view diff] no match in snippet view article find links to article
In computer science, manifest typing is explicit identification by the software programmer of the type of each variable being declared. For example: if
Trait (computer programming) (2,057 words) [view diff] no match in snippet view article
Conference on Object-Oriented Programming (ECOOP). Lecture Notes in Computer Science. Vol. 2743. Springer. pp. 248–274. CiteSeerX 10.1.1.1011.8. doi:10
Join-pattern (6,440 words) [view diff] no match in snippet view article find links to article
of mobile agents". CONCUR '96: Concurrency Theory. Lecture Notes in Computer Science. Vol. 1119. Le Chesnay: Concurrency Theory. pp. 406–421. doi:10.1007/3-540-61604-7_67
Per Martin-Löf (2,874 words) [view diff] no match in snippet view article find links to article
the foundations of probability, statistics, mathematical logic, and computer science. Since the late 1970s, Martin-Löf's publications have been mainly in
Sergei Gukov (458 words) [view diff] no match in snippet view article find links to article
There he has organised a number of important conferences including Computer science for knotty math problems and was lead organiser for ‘The Amplituhedron
List of NP-complete problems (2,746 words) [view diff] no match in snippet view article find links to article
complexity of upward and rectilinear planarity testing". Lecture Notes in Computer Science. Vol. 894/1995. pp. 286–297. doi:10.1007/3-540-58950-3_384. ISBN 978-3-540-58950-1
Placeholder (174 words) [view diff] no match in snippet view article find links to article
or string. Interpoled variable of a string interpolation process. Metasyntactic variable, a placeholder name (see above) as used in computer science. Format
Probabilistic Turing machine (1,061 words) [view diff] no match in snippet view article find links to article
In theoretical computer science, a probabilistic Turing machine is a non-deterministic Turing machine that chooses between the available transitions at
Radix tree (2,333 words) [view diff] no match in snippet view article find links to article
In computer science, a radix tree (also radix trie or compact prefix tree or compressed trie) is a data structure that represents a space-optimized trie
DBLP (881 words) [view diff] no match in snippet view article find links to article
DBLP is a computer science bibliography website. Starting in 1993 at Universität Trier in Germany, it grew from a small collection of HTML files and became
Bounded quantification (661 words) [view diff] no match in snippet view article find links to article
return a; } else { return b; } } } Covariance and contravariance (computer science) Curiously recurring template pattern Wildcard (Java) F-bounded polymorphism
Heuristic (computer science) (1,365 words) [view diff] no match in snippet view article
In mathematical optimization and computer science, heuristic (from Greek εὑρίσκω eurísko "I find, discover") is a technique designed for problem solving
Queue automaton (785 words) [view diff] no match in snippet view article find links to article
the tape. A formal proof of this is often an exercise in theoretical computer science courses. Queue machines offer a simple model on which to base computer
Oracle machine (2,046 words) [view diff] no match in snippet view article find links to article
problem is an arbitrary natural number (or string). The solution to the instance is "YES" if the number (string) is in the set, and "NO" otherwise. A function
Helper class (329 words) [view diff] no match in snippet view article find links to article
"; } public static string WoofPrepend(this string text) { return $"Woof woof {text}!"; } public static string WoohPrepend(this string text) { return $"Wooh
JavaBeans (905 words) [view diff] no match in snippet view article find links to article
"name". */ public String getName() { return name; } /** * Setter for property "name". * * @param value */ public void setName(final String value) { this.name
Database connection (654 words) [view diff] no match in snippet view article find links to article
A database connection is a facility in computer science that allows client software to talk to database server software, whether on the same machine or
Grammar systems theory (487 words) [view diff] no match in snippet view article find links to article
theoretical computer science that studies systems of finite collections of formal grammars generating a formal language. Each grammar works on a string, a so-called
Coupling (computer programming) (2,453 words) [view diff] no match in snippet view article
C=1-{\frac {1}{5+2\times 5+5+2\times 5+10+0+3+4}}=0.98} Connascence (computer science) Coupling (physics) Dead code elimination Dependency hell Efferent
QMA (1,832 words) [view diff] no match in snippet view article find links to article
stands for Quantum Merlin Arthur, is the set of languages for which, when a string is in the language, there is a polynomial-size quantum proof (a quantum
Range (computer programming) (590 words) [view diff] no match in snippet view article
In computer science, the term range may refer to one of three things: The possible values that may be stored in a variable. The upper and lower bounds
Identity-based cryptography (868 words) [view diff] no match in snippet view article find links to article
cryptography in which a publicly known string representing an individual or organization is used as a public key. The public string could include an email address
Tunstall coding (982 words) [view diff] no match in snippet view article find links to article
In computer science and information theory, Tunstall coding is a form of entropy coding used for lossless data compression. Tunstall coding was the subject
BPP (complexity) (2,456 words) [view diff] no match in snippet view article
In computational complexity theory, a branch of computer science, bounded-error probabilistic polynomial time (BPP) is the class of decision problems solvable
Robert S. Boyer (221 words) [view diff] no match in snippet view article find links to article
professor of computer science, mathematics, and philosophy at The University of Texas at Austin. He and J Strother Moore invented the Boyer–Moore string-search
Constant (computer programming) (2,685 words) [view diff] no match in snippet view article
calculated based on inputs to a function, such as this C++ example: void f(std::string s) { const size_t l = s.length(); // ... } Some programming languages make
Mock object (1,634 words) [view diff] no match in snippet view article find links to article
In computer science, a mock object is an object that imitates a production object in limited ways. A programmer might use a mock object as a test double
Ellipsoid (5,909 words) [view diff] no match in snippet view article find links to article
pins-and-string construction of an ellipsoid is a transfer of the idea constructing an ellipse using two pins and a string (see diagram). A pins-and-string construction
List of formal systems (284 words) [view diff] no match in snippet view article find links to article
variable Proof Quantifier ∃ ! ∀ rank Sentence atomic spectrum Signature String Substitution Symbol function logical/constant non-logical variable Term
Finger tree (2,090 words) [view diff] no match in snippet view article find links to article
In computer science, a finger tree is a purely functional data structure that can be used to efficiently implement other functional data structures. A
Function object (4,383 words) [view diff] no match in snippet view article find links to article
functor is a synonym for function symbol. Callback (computer science) Closure (computer science) Function pointer Higher-order function Command pattern
List of computer scientists (5,250 words) [view diff] no match in snippet view article find links to article
This is a list of computer scientists, people who do work in computer science, in particular researchers and authors. Some persons notable as programmers
Recursively enumerable language (538 words) [view diff] no match in snippet view article find links to article
In mathematics, logic and computer science, a formal language is called recursively enumerable (also recognizable, partially decidable, semidecidable,
Lazy initialization (2,813 words) [view diff] no match in snippet view article find links to article
private string _typeName; private static IDictionary<string, Fruit> _typesDictionary = new Dictionary<string, Fruit>(); private Fruit(string typeName)
Simple Knowledge Organization System (3,368 words) [view diff] no match in snippet view article find links to article
string of Unicode characters, optionally with language tags, that are associated with a concept. The prefLabel is the preferred human-readable string
NL (complexity) (1,570 words) [view diff] no match in snippet view article
Unsolved problem in computer science ⁠ L = ? N L {\displaystyle {\mathsf {L{\overset {?}{=}}NL}}} ⁠ More unsolved problems in computer science In computational
Variable-length code (1,229 words) [view diff] no match in snippet view article find links to article
symbols to a variable number of bits. The equivalent concept in computer science is bit string. Variable-length codes can allow sources to be compressed and
Automata theory (3,851 words) [view diff] no match in snippet view article find links to article
problems that can be solved using them. It is a theory in theoretical computer science with close connections to cognitive science and mathematical logic
Enumerator (computer science) (565 words) [view diff] no match in snippet view article
strings. Every time the Turing machine wants to add a string to the list, it sends the string to the printer. Enumerator is a type of Turing machine
Ubiquitous computing (1,981 words) [view diff] no match in snippet view article find links to article
"ubicomp") is a concept in software engineering, hardware engineering and computer science where computing is made to appear seamlessly anytime and everywhere
László Babai (1,022 words) [view diff] no match in snippet view article find links to article
(born July 20, 1950, in Budapest) is a Hungarian-American professor of computer science and mathematics at the University of Chicago. His research focuses
Chomsky hierarchy (1,346 words) [view diff] no match in snippet view article find links to article
The Chomsky hierarchy in the fields of formal language theory, computer science, and linguistics, is a containment hierarchy of classes of formal grammars
Three Tales (opera) (715 words) [view diff] no match in snippet view article
material of both the Hindenburg and Bikini tragedies, and experts in computer science (e.g. Marvin Minsky and Kevin Warwick), artificial intelligence (Rodney
Lambert Meertens (723 words) [view diff] no match in snippet view article find links to article
2020[update], he is a researcher at the Kestrel Institute, a nonprofit computer science research center in Palo Alto's Stanford Research Park. As a student
Gad Landau (1,254 words) [view diff] no match in snippet view article find links to article
combinatorial pattern matching and string algorithms and is the founding department chair of the Computer Science Department at the University of Haifa
Namespace (3,357 words) [view diff] no match in snippet view article find links to article
Authority (IANA) number. A namespace name may provide context (scope in computer science) to a name, and the terms are sometimes used interchangeably. However
Label (computer science) (964 words) [view diff] no match in snippet view article
(let ((my-value 5)) (typecase my-value (list (print "a list")) (string (print "a string")) (number (print "a number")) (otherwise (print "any other type"))))
Marshalling (computer science) (2,143 words) [view diff] no match in snippet view article
In computer science, marshalling or marshaling (US spelling) is the process of transforming the memory representation of an object into a data format suitable
FM-index (1,330 words) [view diff] no match in snippet view article find links to article
In computer science, an FM-index is a compressed full-text substring index based on the Burrows–Wheeler transform, with some similarities to the suffix
Michael O. Rabin (1,633 words) [view diff] no match in snippet view article find links to article
Before moving to Harvard University as Gordon McKay Professor of Computer Science in 1981, he was a professor at the Hebrew University. In the late 1950s
Value object (949 words) [view diff] no match in snippet view article find links to article
In computer science, a value object is a small object that represents a simple entity whose equality is not based on identity: i.e. two value objects are
Value (computer science) (980 words) [view diff] no match in snippet view article
In computer science and software programming, a value is the representation of some entity that can be manipulated by a program. The members of a type
Finite thickness (293 words) [view diff] no match in snippet view article find links to article
algorithmic learning theory, a class C of languages has finite thickness if every string is contained in at most finitely many languages in C. This condition was
Code injection (3,107 words) [view diff] no match in snippet view article find links to article
commands. Many examples of interpretation errors can exist outside of computer science, such as the comedy routine "Who's on First?". Code injection can be
Daniel J. Bernstein (1,938 words) [view diff] no match in snippet view article find links to article
mathematician, cryptologist, and computer scientist. He was a professor of Computer Science at the University of Illinois at Chicago from 1995 to 2008. He was
Deterministic pushdown automaton (1,236 words) [view diff] no match in snippet view article find links to article
on Automata, Languages, and Programming (ICALP). Lecture Notes in Computer Science. Vol. 1256. pp. 671–681. doi:10.1007/3-540-63165-8_221. ISBN 978-3-540-63165-1
Balanced Boolean function (444 words) [view diff] no match in snippet view article find links to article
In mathematics and computer science, a balanced Boolean function is a Boolean function whose output yields as many 0s as 1s over its input set. This means
Intern (disambiguation) (215 words) [view diff] no match in snippet view article
physician who has completed medical school Intern (computer science), an immutable copy of a string The Interns (film), a 1962 film starring Michael Callan
Left recursion (2,312 words) [view diff] no match in snippet view article find links to article
In the formal language theory of computer science, left recursion is a special case of recursion where a string is recognized as part of a language by
Digital data (1,813 words) [view diff] no match in snippet view article find links to article
information theory and information systems, is information represented as a string of discrete symbols, each of which can take on one of only a finite number
Richard J. Cole (215 words) [view diff] no match in snippet view article find links to article
Richard J. Cole is a Silver Professor of Computer Science at the Courant Institute of Mathematical Sciences, New York University, and works on the Design
Distributed computing (6,618 words) [view diff] no match in snippet view article find links to article
Distributed computing is a field of computer science that studies distributed systems, defined as computer systems whose inter-communicating components
Applied mathematics (2,338 words) [view diff] no match in snippet view article find links to article
such as physics, engineering, medicine, biology, finance, business, computer science, and industry. Thus, applied mathematics is a combination of mathematical
Assignment (computer science) (3,367 words) [view diff] no match in snippet view article
statements, including assignment. Assignment operator (C++) Unification (computer science) Immutable object Assignment problem Use of = predates Fortran, though
Communication complexity (6,873 words) [view diff] no match in snippet view article find links to article
In theoretical computer science, communication complexity studies the amount of communication required to solve a problem when the input to the problem
Behat (software) (447 words) [view diff] no match in snippet view article
When I press the "blue" button Then the result is: """ A multiple line string of data """ #comments can be added as needed Scenario Outline: Scenario
Quantum complexity theory (3,625 words) [view diff] no match in snippet view article find links to article
every string in A yes {\displaystyle A_{\text{yes}}} with a probability of at least 2 3 {\displaystyle {\frac {2}{3}}} , and accepts every string in A
Matching (264 words) [view diff] no match in snippet view article find links to article
in computer science, a way to recognize patterns in strings or more general sequences of tokens String matching algorithm, in computer science, another
Backus–Naur form (2,908 words) [view diff] no match in snippet view article find links to article
In computer science, Backus–Naur form (BNF, pronounced /ˌbækəs ˈnaʊər/), also known as Backus normal form, is a notation system for defining the syntax
Augmented Backus–Naur form (1,154 words) [view diff] no match in snippet view article find links to article
In computer science, augmented Backus–Naur form (ABNF) is a metalanguage based on Backus–Naur form (BNF) but consisting of its own syntax and derivation
American Computer Science League (582 words) [view diff] no match in snippet view article find links to article
ACSL, or the American Computer Science League, is an international computer science competition among more than 300 schools. Originally founded in 1978
Michael J. Fischer (1,043 words) [view diff] no match in snippet view article find links to article
nominated as a professor of computer science at the University of Washington. Since 1981, he has been a professor of computer science at Yale University, where
Factor (500 words) [view diff] no match in snippet view article find links to article
in a string Authentication factor, a piece of information used to verify a person's identity for security purposes Decomposition (computer science), also
Pumping lemma for context-free languages (1,532 words) [view diff] no match in snippet view article find links to article
In computer science, in particular in formal language theory, the pumping lemma for context-free languages, also known as the Bar-Hillel lemma, is a lemma
Dan Hirschberg (223 words) [view diff] no match in snippet view article find links to article
Daniel S. Hirschberg is a full professor in Computer Science at University of California, Irvine. His research interests are in the theory of design and
Nigel Horspool (239 words) [view diff] no match in snippet view article find links to article
retired professor of computer science, formerly of the University of Victoria. He invented the Boyer–Moore–Horspool algorithm, a fast string search algorithm
Password Hashing Competition (256 words) [view diff] no match in snippet view article find links to article
impact on its recommendations. crypt (C) Password hashing List of computer science awards CAESAR Competition "Password Hashing Competition" Danielle Walker
Python (programming language) (14,442 words) [view diff] no match in snippet view article
exponentiation. Python uses the + operator for string concatenation. The language uses the * operator for duplicating a string a specified number of times. The @
JAR (file format) (1,472 words) [view diff] no match in snippet view article
entry point. An entry point is any class with a public static void main(String[] args) method. This information is provided in the manifest Main-Class
Mediator pattern (1,301 words) [view diff] no match in snippet view article find links to article
Patterns, the book which gave rise to the study of design patterns in computer science [citation needed] Software design pattern, a standard solution to common
Frame (1,038 words) [view diff] no match in snippet view article find links to article
triplets Frameshift mutation, when a single base-pair is added to a DNA string, causing incorrect transcription Frame analysis, a social science research
DisCoCat (1,503 words) [view diff] no match in snippet view article find links to article
Natural Language Processing". Electronic Proceedings in Theoretical Computer Science. 221: 67–75. arXiv:1608.01406. doi:10.4204/EPTCS.221.8. ISSN 2075-2180
Coinduction (1,962 words) [view diff] no match in snippet view article find links to article
In computer science, coinduction is a technique for defining and proving properties of systems of concurrent interacting objects. Coinduction is the mathematical
Graph rewriting (1,815 words) [view diff] no match in snippet view article find links to article
In computer science, graph transformation, or graph rewriting, concerns the technique of creating a new graph out of an original graph algorithmically
Guard (computer science) (1,110 words) [view diff] no match in snippet view article
(so subsequent calls are nops), as in the dispose pattern. public String foo(String username) { if (username == null) { throw new IllegalArgumentException("Username
Decidability (logic) (1,887 words) [view diff] no match in snippet view article
Decidable". Conference on Computability in Europe. Lecture Notes in Computer Science. Vol. 7318. Springer. pp. 78–88. arXiv:1201.5597. doi:10.1007/978-3-642-30870-3_9
Ontology (information science) (6,195 words) [view diff] no match in snippet view article
Knowledge Sharing" by Tom Gruber used ontology as a technical term in computer science closely related to earlier idea of semantic networks and taxonomies
Input enhancement (computer science) (2,103 words) [view diff] no match in snippet view article
In computer science, input enhancement is the principle that processing a given input to a problem and altering it in a specific way will increase runtime
Judy array (586 words) [view diff] no match in snippet view article find links to article
In computer science, a Judy array is an early-2000s Hewlett-Packard hand-optimized implementation of a 256-ary radix tree that uses many situational node
Schema (genetic algorithms) (1,149 words) [view diff] no match in snippet view article
template in computer science used in the field of genetic algorithms that identifies a subset of strings with similarities at certain string positions.
Edward M. McCreight (224 words) [view diff] no match in snippet view article find links to article
McCreight is an American computer scientist. He received his Ph.D. in computer science from Carnegie Mellon University in 1969, advised by Albert R. Meyer
PHP (12,680 words) [view diff] no match in snippet view article find links to article
$this->teachingCourses); } } $students = [ new Student("Alice", "Computer Science"), new Student("Bob", "Computer Science"), new Student("Charlie", "Business Studies"),
Coding theory (3,712 words) [view diff] no match in snippet view article find links to article
information theory, electrical engineering, mathematics, linguistics, and computer science—for the purpose of designing efficient and reliable data transmission
Longest palindromic substring (2,189 words) [view diff] no match in snippet view article find links to article
In computer science, the longest palindromic substring or longest symmetric factor problem is the problem of finding a maximum-length contiguous substring
Currying (5,036 words) [view diff] no match in snippet view article find links to article
In mathematics and computer science, currying is the technique of translating a function that takes multiple arguments into a sequence of families of functions
Closest string (849 words) [view diff] no match in snippet view article find links to article
In theoretical computer science, the closest string is an NP-hard computational problem, which tries to find the geometrical center of a set of input strings
Post correspondence problem (2,521 words) [view diff] no match in snippet view article find links to article
problem with lists consisting of two words is decidable". Theoretical Computer Science. 21 (2): 119–144. doi:10.1016/0304-3975(89)90080-7. T. Neary (2015)
Boolean expression (422 words) [view diff] no match in snippet view article find links to article
In computer science, a Boolean expression (also known as logical expression) is an expression used in programming languages that produces a Boolean value
String diagram (3,702 words) [view diff] no match in snippet view article find links to article
(2022). "Normalization for planar string diagrams and a quadratic equivalence algorithm". Logical Methods in Computer Science. 18. Selinger, Peter (2010),
Kevin Karplus (311 words) [view diff] no match in snippet view article find links to article
best known for work he did as a computer science graduate student at Stanford University on the Karplus–Strong string synthesis algorithm. He taught VLSI
Kevin Karplus (311 words) [view diff] no match in snippet view article find links to article
best known for work he did as a computer science graduate student at Stanford University on the Karplus–Strong string synthesis algorithm. He taught VLSI
Binary tree (5,236 words) [view diff] no match in snippet view article find links to article
In computer science, a binary tree is a tree data structure in which each node has at most two children, referred to as the left child and the right child
Computer file (4,425 words) [view diff] no match in snippet view article find links to article
enables user access. The word "file" derives from the Latin filum ("a thread, string"). "File" was used in the context of computer storage as early as January
Fingerprint (computing) (1,375 words) [view diff] no match in snippet view article
In computer science, a fingerprinting algorithm is a procedure that maps an arbitrarily large data item (such as a computer file) to a much shorter bit
L/poly (443 words) [view diff] no match in snippet view article find links to article
Complexity of Equivalence and Isomorphism Problems, Lecture Notes in Computer Science, vol. 1852, Springer-Verlag, p. 66, ISBN 978-3-540-41032-4. Cobham
Integer literal (1,109 words) [view diff] no match in snippet view article find links to article
In computer science, an integer literal is a kind of literal for an integer whose value is directly represented in source code. For example, in the assignment
Clique problem (9,905 words) [view diff] no match in snippet view article find links to article
In computer science, the clique problem is the computational problem of finding cliques (subsets of vertices, all adjacent to each other, also called complete
Cartesian tree (4,294 words) [view diff] no match in snippet view article find links to article
In computer science, a Cartesian tree is a binary tree derived from a sequence of distinct numbers. To construct the Cartesian tree, set its root to be
1969 in science (1,431 words) [view diff] no match in snippet view article find links to article
the original on 8 March 2008. Reilly, Edwin D. (2003). Milestones in Computer Science and Information Technology. Greenwood Press. p. 152. ISBN 1-57356-521-0
Lexical grammar (324 words) [view diff] no match in snippet view article find links to article
In computer science, a lexical grammar or lexical structure is a formal grammar defining the syntax of tokens. The program is written using characters
Extended Backus–Naur form (1,653 words) [view diff] no match in snippet view article find links to article
In computer science, extended Backus–Naur form (EBNF) is a family of metasyntax notations, any of which can be used to express a context-free grammar.
Chennai Mathematical Institute (2,550 words) [view diff] no match in snippet view article find links to article
undergraduate and postgraduate programmes in physics, mathematics and computer science. CMI is noted for its research in algebraic geometry, in particular
Canonicalization (1,373 words) [view diff] no match in snippet view article find links to article
In computer science, canonicalization (sometimes standardization or normalization) is a process for converting data that has more than one possible representation
Fusion tree (2,434 words) [view diff] no match in snippet view article find links to article
In computer science, a fusion tree is a type of tree data structure that implements an associative array on w-bit integers on a finite universe, where
Computability theory (6,414 words) [view diff] no match in snippet view article find links to article
also known as recursion theory, is a branch of mathematical logic, computer science, and the theory of computation that originated in the 1930s with the
Michael R. Douglas (510 words) [view diff] no match in snippet view article find links to article
1961) is an American theoretical physicist, best known for his work in string theory and mathematical physics. Douglas was born in Baton Rouge, Louisiana
Non-interactive zero-knowledge proof (2,465 words) [view diff] no match in snippet view article find links to article
Symposium on Foundations of Computer Science (FOCS'03). 2003 Rafael Pass. On Deniability in the Common Reference String and Random Oracle Model. Advances
Discrete mathematics (2,772 words) [view diff] no match in snippet view article find links to article
useful in studying and describing objects and problems in branches of computer science, such as computer algorithms, programming languages, cryptography,
Walter F. Tichy (154 words) [view diff] no match in snippet view article find links to article
engineering, the string-to-string correction problem, software configuration management, and extreme programming. "Computer Science Ph.D. Awards by Advisor"
Resource Description Framework (5,075 words) [view diff] no match in snippet view article find links to article
representing a relationship. The object is a URI, blank node or a Unicode string literal. As of RDF 1.1 resources are identified by Internationalized Resource
Divine Right: The Adventures of Max Faraday (766 words) [view diff] no match in snippet view article find links to article
computer science major and lovable loser, logs into Icore using his old professor's access codes. Something starts downloading: a binary code string.
Edge loop (420 words) [view diff] no match in snippet view article find links to article
last edge meets again with the first edge, thus forming a loop. The set or string of edges can, for example, be the outer edges of a flat surface or the edges
Semi-membership (380 words) [view diff] no match in snippet view article find links to article
In mathematics and theoretical computer science, the semi-membership problem for a set is the problem of deciding which of two possible elements is logically
Ukkonen's algorithm (1,069 words) [view diff] no match in snippet view article find links to article
In computer science, Ukkonen's algorithm is a linear-time, online algorithm for constructing suffix trees, proposed by Esko Ukkonen in 1995. The algorithm
Active record pattern (529 words) [view diff] no match in snippet view article find links to article
For example, if there is a table parts in a database with columns name (string type) and price (number type), and the Active Record pattern is implemented
Builder pattern (722 words) [view diff] no match in snippet view article find links to article
Object-Oriented Software. Addison-Wesley. ISBN 0-201-63361-2. The Wikibook Computer Science Design Patterns has a page on the topic of: Builder implementations
Mercury (programming language) (945 words) [view diff] no match in snippet view article
uses. The first version was developed at the University of Melbourne, Computer Science department, by Fergus Henderson, Thomas Conway, and Zoltan Somogyi
Ternary operation (708 words) [view diff] no match in snippet view article find links to article
elements of A and combines them to form a single element of A. In computer science, a ternary operator is an operator that takes three arguments as input
Rewrite (241 words) [view diff] no match in snippet view article find links to article
elements of a formula with other suitable expressions, in mathematics, computer science, and logic, such as: Graph rewriting, technique of creating a new graph
Uninterpreted function (410 words) [view diff] no match in snippet view article find links to article
satisfiability problem for certain other equational theories, see Unification (computer science). As an example of uninterpreted functions for SMT-LIB, if this input
Succinct data structure (2,896 words) [view diff] no match in snippet view article find links to article
In computer science, a succinct data structure is a data structure which uses an amount of space that is "close" to the information-theoretic lower bound
Front controller (766 words) [view diff] no match in snippet view article find links to article
getScreenFlowManager().forwardToNextScreen(request, response); } catch (Throwable ex) { String className = ex.getClass().getName(); nextScreen = getScreenFlowManager()
NEXPTIME (1,066 words) [view diff] no match in snippet view article find links to article
EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). CSL-LICS '14. New
Suffix (disambiguation) (167 words) [view diff] no match in snippet view article
additional identifying information about the person Suffix (computer science), the last part of a string of characters Suffix notation, a notation for manipulating
Dependency relation (631 words) [view diff] no match in snippet view article find links to article
In computer science, in particular in concurrency theory, a dependency relation is a binary relation on a finite domain Σ {\displaystyle \Sigma } ,: 4 
Instruction set architecture (4,329 words) [view diff] no match in snippet view article find links to article
In computer science, an instruction set architecture (ISA) is an abstract model that generally defines how software controls the CPU in a computer or a
Institute for Theoretical and Experimental Physics (810 words) [view diff] no match in snippet view article find links to article
nanotechnology, reactor and accelerator physics, medical physics, and computer science. ITEP also maintains an extensive educational program and organizes
Function (computer programming) (6,608 words) [view diff] no match in snippet view article
be passed a descriptor providing information about the argument, such as string lengths and array bounds. This allows the procedure to be more general and
Omega-regular language (652 words) [view diff] no match in snippet view article find links to article
In computer science and formal language theory, the ω-regular languages are a class of ω-languages that generalize the definition of regular languages
Made with Code (1,226 words) [view diff] no match in snippet view article find links to article
critical factors that would influence young females to pursue careers in computer science. It was reported that Google is providing $50 million in funding to
LL parser (4,481 words) [view diff] no match in snippet view article find links to article
In computer science, an LL parser (left-to-right, leftmost derivation) is a top-down parser for a restricted context-free language. It parses the input
Multiple dispatch (5,927 words) [view diff] no match in snippet view article find links to article
Object-Oriented Programming: A Unified Foundation. Progress in Theoretical Computer Science. Birkhäuser. p. 384. ISBN 978-0-8176-3905-1. Castagna, Giuseppe (1995)
Donald Knuth (6,292 words) [view diff] no match in snippet view article find links to article
of the ACM Turing Award, informally considered the Nobel Prize of computer science. Knuth has been called the "father of the analysis of algorithms".
LL parser (4,481 words) [view diff] no match in snippet view article find links to article
In computer science, an LL parser (left-to-right, leftmost derivation) is a top-down parser for a restricted context-free language. It parses the input
Conditional (computer programming) (3,947 words) [view diff] no match in snippet view article
In computer science, conditionals (that is, conditional statements, conditional expressions and conditional constructs) are programming language constructs
Graph edit distance (1,533 words) [view diff] no match in snippet view article find links to article
In mathematics and computer science, graph edit distance (GED) is a measure of similarity (or dissimilarity) between two graphs. The concept of graph edit
Static variable (973 words) [view diff] no match in snippet view article find links to article
defined and is not static. Object constants known at compile-time, such as string literals, are usually allocated statically. In object-oriented programming
Actor model (7,145 words) [view diff] no match in snippet view article find links to article
The actor model in computer science is a mathematical model of concurrent computation that treats an actor as the basic building block of concurrent computation
Paris Kanellakis Award (770 words) [view diff] no match in snippet view article find links to article
the ACM SIG Projects Fund, and individual contributions. List of computer science awards "Paris Kanellakis Theory and Practice Award". ACM. Archived
Solver (531 words) [view diff] no match in snippet view article find links to article
learning. No. CMU-CS-00-165. Carnegie-Mellon Univ Pittsburgh Pa School of Computer Science, 2000. "A neural net solves the three-body problem 100 million times
Session ID (375 words) [view diff] no match in snippet view article find links to article
In computer science, a session identifier, session ID or session token is a piece of data that is used in network communications (often over HTTPS) to
Monomorphization (383 words) [view diff] no match in snippet view article find links to article
T { return x; } fn main() { let int = id(10); let string = id("some text"); println!("{int}, {string}"); } After monomorphization, this would become equivalent
Cohesion (computer science) (1,120 words) [view diff] no match in snippet view article
cohesion are very good, and functional cohesion is superior. Coupling (computer science) List of object-oriented programming terms Static code analysis Yourdon
Maxime Crochemore (436 words) [view diff] no match in snippet view article find links to article
2009 as a special issue of Theoretical Computer Science. Crochemore published over 100 journal papers on string algorithms. He in particular introduced
Eleazar Eskin (424 words) [view diff] no match in snippet view article find links to article
Chair of the Department of Computational Medicine, and professor of computer science and human genetics at the University of California, Los Angeles. His
Universal hashing (4,886 words) [view diff] no match in snippet view article find links to article
Mathematical Foundations of Computer Science 1999. LNCS. Vol. 1672. pp. 262–272. doi:10.1007/3-540-48340-3_24. Thorup, Mikkel (2009). String hashing for linear
Integer factorization (2,977 words) [view diff] no match in snippet view article find links to article
problem in computer science Can integer factorization be solved in polynomial time on a classical computer? More unsolved problems in computer science In mathematics
Long code (mathematics) (425 words) [view diff] no match in snippet view article
In theoretical computer science and coding theory, the long code is an error-correcting code that is locally decodable. Long codes have an extremely poor
Simple precedence parser (326 words) [view diff] no match in snippet view article find links to article
In computer science, a simple precedence parser is a type of bottom-up parser for context-free grammars that can be used only by simple precedence grammars
Reference counting (4,785 words) [view diff] no match in snippet view article find links to article
In computer science, reference counting is a programming technique of storing the number of references, pointers, or handles to a resource, such as an
Rule 110 (2,025 words) [view diff] no match in snippet view article find links to article
Venice, Italy, July 10-14, 2006, Proceedings, Part I. Lecture Notes in Computer Science. Vol. 4051. Springer. pp. 132–143. doi:10.1007/11786986_13. Wolfram
S. Muthukrishnan (computer scientist) (286 words) [view diff] no match in snippet view article
Theoretical Computer Science. Muthukrishnan was inducted as an ACM Fellow in 2010 "For contributions to efficient algorithms for string matching, data
NC (complexity) (3,087 words) [view diff] no match in snippet view article
problem in computer science ⁠ N C = ? P {\displaystyle {\mathsf {NC}}{\overset {?}{=}}{\mathsf {P}}} ⁠ More unsolved problems in computer science In computational
Associative property (3,498 words) [view diff] no match in snippet view article find links to article
properties of real numbers, the addition of floating point numbers in computer science is not associative, and the choice of how to associate an expression
Scope (computer science) (10,518 words) [view diff] no match in snippet view article
significant issue in C, notably for string assignment, as string initialization can automatically allocate memory, while string assignment to an already initialized
Arity (1,464 words) [view diff] no match in snippet view article find links to article
In logic, mathematics, and computer science, arity (/ˈærɪti/ ) is the number of arguments or operands taken by a function, operation or relation. In mathematics
GNUnet (2,141 words) [view diff] no match in snippet view article find links to article
Jennifer (eds.). Efficient Sharing of Encrypted Data. Lecture Notes in Computer Science. Springer Berlin Heidelberg. pp. 107–120. CiteSeerX 10.1.1.19.9837
Syntactic sugar (1,936 words) [view diff] no match in snippet view article find links to article
In computer science, syntactic sugar is syntax within a programming language that is designed to make things easier to read or to express. It makes the
IMAP IDLE (144 words) [view diff] no match in snippet view article find links to article
server for new messages. IMAP4 servers that support IDLE will include the string "IDLE" in the result of their CAPABILITY command. This allows email users
Van Wijngaarden grammar (2,900 words) [view diff] no match in snippet view article find links to article
In computer science, a Van Wijngaarden grammar (also vW-grammar or W-grammar) is a formalism for defining formal languages. The name derives from the formalism
J Strother Moore (457 words) [view diff] no match in snippet view article find links to article
University of Texas at Austin, and was chair of the Department of Computer Science from 2001 to 2009. Before joining the Department of Computer Sciences
Trace monoid (1,976 words) [view diff] no match in snippet view article find links to article
In computer science, a trace is an equivalence class of strings, wherein certain letters in the string are allowed to commute, but others are not. Traces
Pseudorandom generators for polynomials (575 words) [view diff] no match in snippet view article find links to article
In theoretical computer science, a pseudorandom generator for low-degree polynomials is an efficient procedure that maps a short truly random seed to a
Recursion (3,669 words) [view diff] no match in snippet view article find links to article
logic. The most common application of recursion is in mathematics and computer science, where a function being defined is applied within its own definition
Zero-knowledge proof (7,955 words) [view diff] no match in snippet view article find links to article
Advances in Cryptology — CRYPTO' 89 Proceedings (PDF). Lecture Notes in Computer Science. Vol. 435. pp. 628–631. doi:10.1007/0-387-34805-0_60. ISBN 978-0-387-97317-3
Categorical quantum mechanics (2,203 words) [view diff] no match in snippet view article find links to article
foundations and quantum information using paradigms from mathematics and computer science, notably monoidal category theory. The primitive objects of study are
Polynomial hierarchy (2,826 words) [view diff] no match in snippet view article find links to article
problem in computer science ⁠ P = ? N P {\displaystyle \mathrm {P} {\overset {?}{=}}\mathrm {NP} } ⁠ More unsolved problems in computer science The question
Range minimum query (1,584 words) [view diff] no match in snippet view article find links to article
In computer science, a range minimum query (RMQ) solves the problem of finding the minimal value in a sub-array of an array of comparable objects. Range
Volatile (computer programming) (2,142 words) [view diff] no match in snippet view article
intel_syntax noprefix .section .rodata.str1.1,"aMS",@progbits,1 .LC0: .string "%d" .section .text.startup,"ax",@progbits .p2align 4,,15 .globl main .type
Code as data (728 words) [view diff] no match in snippet view article find links to article
In computer science, the expression code as data refers to the idea that source code written in a programming language can be manipulated as data, such
Top-down parsing (1,368 words) [view diff] no match in snippet view article find links to article
Top-down parsing in computer science is a parsing strategy where one first looks at the highest level of the parse tree and works down the parse tree by
Linear grammar (812 words) [view diff] no match in snippet view article find links to article
In computer science, a linear grammar is a context-free grammar that has at most one nonterminal in the right-hand side of each of its productions. A linear
Denotational semantics (3,768 words) [view diff] no match in snippet view article find links to article
In computer science, denotational semantics (initially known as mathematical semantics or Scott–Strachey semantics) is an approach of formalizing the meanings
CRS (477 words) [view diff] no match in snippet view article find links to article
Services, a NASA contract to deliver supplies to space Common reference string model, in cryptography Computer reservations system (or Central Reservation
Pancake sorting (2,201 words) [view diff] no match in snippet view article find links to article
February 14, 2012. Retrieved November 10, 2008. A team of UT Dallas computer science students and their faculty adviser have improved upon a longstanding
Numeral system (3,710 words) [view diff] no match in snippet view article find links to article
small numbers, although it plays an important role in theoretical computer science. Elias gamma coding, which is commonly used in data compression, expresses
Dartmouth BASIC (8,978 words) [view diff] no match in snippet view article find links to article
first courses in computer science: Basic," Abacus 1:4, pages 39–49, Summer 1984. Stephen J. Garland, Introduction to Computer Science with Applications
LCP array (4,379 words) [view diff] no match in snippet view article find links to article
In computer science, the longest common prefix array (LCP array) is an auxiliary data structure to the suffix array. It stores the lengths of the longest
Algorithms Unlocked (67 words) [view diff] no match in snippet view article find links to article
and deals with the topics of searching, sorting, basic graph algorithms, string processing, the fundamentals of cryptography and data compression, and an
Dependency graph (1,209 words) [view diff] no match in snippet view article find links to article
In mathematics, computer science and digital electronics, a dependency graph is a directed graph representing dependencies of several objects towards each
DFA minimization (3,043 words) [view diff] no match in snippet view article find links to article
In automata theory (a branch of theoretical computer science), DFA minimization is the task of transforming a given deterministic finite automaton (DFA)
PascalABC.NET (2,471 words) [view diff] no match in snippet view article find links to article
group of enthusiasts at the Institute of Mathematics, Mechanics, and Computer Science in Rostov-on-Don, Russia. In 2003, a predecessor of the modern PascalABC
Lambda calculus (12,168 words) [view diff] no match in snippet view article find links to article
many different areas in mathematics, philosophy, linguistics, and computer science. Lambda calculus has played an important role in the development of
NYU Paris (575 words) [view diff] no match in snippet view article find links to article
in New York City. As of 2018, NYU Paris began offering courses in computer science and mathematics, with a larger expansion in science courses planned
MD4 (879 words) [view diff] no match in snippet view article find links to article
is Not One-Way" (PDF). Fast Software Encryption. Lecture Notes in Computer Science. Vol. 5086. Springer. pp. 412–428. doi:10.1007/978-3-540-71039-4_26
Compiler (8,040 words) [view diff] no match in snippet view article find links to article
Principles, Techniques, and Tools. Jing-Shin Chang. Department of Computer Science & Information Engineering. National Chi-Nan University Naur, P. et
Quantum cryptography (9,126 words) [view diff] no match in snippet view article find links to article
Brassard met in 1979 at the 20th IEEE Symposium on the Foundations of Computer Science, held in Puerto Rico, that they discovered how to incorporate Wiesner's
Proof theory (2,669 words) [view diff] no match in snippet view article find links to article
Proof theory is a major branch of mathematical logic and theoretical computer science within which proofs are treated as formal mathematical objects, facilitating
Dan Gusfield (1,622 words) [view diff] no match in snippet view article find links to article
Gusfield is an American computer scientist, Distinguished Professor of Computer Science at the University of California, Davis. Gusfield is known for his research
Unbounded nondeterminism (2,718 words) [view diff] no match in snippet view article find links to article
In computer science, unbounded nondeterminism or unbounded indeterminacy refers to a behavior in concurrency (multiple tasks running at once) where a process
Backtick (1,894 words) [view diff] no match in snippet view article find links to article
Kuhn, Markus. "Apostrophe and acute accent confusion". Department of Computer Science and Technology, University of Cambridge. This key is on German typewriters
Hooking (2,981 words) [view diff] no match in snippet view article find links to article
VirtualProtect(funcptr, sizeof(LPVOID), oldrights, &newrights); } Callback (computer science) Delegation (programming) Terminate-and-stay-resident program User
Stanford Institute for Theoretical Physics (540 words) [view diff] no match in snippet view article find links to article
nature and applications of our basic frameworks (quantum field theory and string theory) for attacking these questions. Principal areas of research include:
Reverse Polish notation (6,743 words) [view diff] no match in snippet view article find links to article
calculators, and has continued to use it in some models into the 2020s. In computer science, reverse Polish notation is used in stack-oriented programming languages
Scott Shenker (921 words) [view diff] no match in snippet view article find links to article
of computer science at the University of California, Berkeley. He is also the leader of the Extensible Internet Group at the International Computer Science
Opcode (1,169 words) [view diff] no match in snippet view article find links to article
Collection. Iowa City, USA: The University of Iowa, Department of Computer Science. Archived from the original on 2020-03-02. Retrieved 2016-05-28. Schulman
Boolean algebra (9,571 words) [view diff] no match in snippet view article find links to article
satisfiability problem (SAT), and is of importance to theoretical computer science, being the first problem shown to be NP-complete. The closely related
Theory of everything (6,014 words) [view diff] no match in snippet view article find links to article
Scientist's View of Life, the Universe, and Everything. Lecture Notes in Computer Science. Vol. 1337. Springer. pp. 201–208. CiteSeerX 10.1.1.580.1970. doi:10
Lambda (2,844 words) [view diff] no match in snippet view article find links to article
age/size class matrix. In formal language theory and in computer science, lambda denotes the empty string. Lambda is a nonstandard symbol in the International
MIT Center for Theoretical Physics (783 words) [view diff] no match in snippet view article find links to article
for Nuclear Science and Department of Physics. CTP activities range from string theory and cosmology at the highest energies down through unification and
Threaded code (3,996 words) [view diff] no match in snippet view article find links to article
In computer science, threaded code is a programming technique where the code has a form that essentially consists entirely of calls to subroutines. It
Occam learning (1,710 words) [view diff] no match in snippet view article find links to article
distribution-free learning of probabilistic concepts. In Foundations of Computer Science, 1990. Proceedings., 31st Annual Symposium on (pp. 382-391). IEEE.
Member variable (624 words) [view diff] no match in snippet view article find links to article
Local variable return 0; } public class Program { public static void main(String[] args) { // This is a local variable. Its lifespan // is determined by
Esko Ukkonen (274 words) [view diff] no match in snippet view article find links to article
where he has been a full professor since 1985. He was the head of the computer science department at the University of Helsinki in 1998--1999 and in 2010--2013
Generalized suffix array (1,058 words) [view diff] no match in snippet view article find links to article
In computer science, a generalized suffix array (GSA) is a suffix array containing all suffixes for a set of strings. Given the set of strings S = S 1
Martin Farach-Colton (953 words) [view diff] no match in snippet view article find links to article
He is the Leonard J. Shustek Professor of Computer Science and chair of the Department of Computer Science and Engineering at New York University. Formerly
Apply (1,449 words) [view diff] no match in snippet view article find links to article
Look up apply in Wiktionary, the free dictionary. In mathematics and computer science, apply is a function that applies a function to arguments. It is central
Algebraic semantics (computer science) (1,666 words) [view diff] no match in snippet view article
In computer science, algebraic semantics is a formal approach to programming language theory that uses algebraic methods for defining, specifying, and
Abstract rewriting system (2,000 words) [view diff] no match in snippet view article find links to article
In mathematical logic and theoretical computer science, an abstract rewriting system (also (abstract) reduction system or abstract rewrite system; abbreviated
Recursive definition (1,585 words) [view diff] no match in snippet view article find links to article
In mathematics and computer science, a recursive definition, or inductive definition, is used to define the elements in a set in terms of other elements
Genetic algorithm (8,221 words) [view diff] no match in snippet view article find links to article
In computer science and operations research, a genetic algorithm (GA) is a metaheuristic inspired by the process of natural selection that belongs to the
Brzozowski derivative (1,363 words) [view diff] no match in snippet view article find links to article
In theoretical computer science, in particular in formal language theory, the Brzozowski derivative u − 1 S {\displaystyle u^{-1}S} of a set S {\displaystyle
Douglas McIlroy (1,677 words) [view diff] no match in snippet view article find links to article
engineer, and programmer. As of 2019 he is an Adjunct Professor of Computer Science at Dartmouth College. McIlroy is best known for having originally proposed
Frequent subtree mining (1,837 words) [view diff] no match in snippet view article find links to article
In computer science, frequent subtree mining is the problem of finding all patterns in a given database whose support (a metric related to its number of
2006 in science (1,184 words) [view diff] no match in snippet view article find links to article
September 19 – Lee Smolin publishes The Trouble with Physics: The Rise of String Theory, the Fall of a Science, and What Comes Next in the United States
Cryptocurrency wallet (3,784 words) [view diff] no match in snippet view article find links to article
UNIVERSITY OF TARTU FACULTY OF MATHEMATICS AND COMPUTER SCIENCE Institute of Computer Science Computer Science Curriculum: 48. Archived (PDF) from the original
James H. Morris (453 words) [view diff] no match in snippet view article find links to article
(emeritus) of Computer Science at Carnegie Mellon University. He was previously dean of the Carnegie Mellon School of Computer Science and Dean of Carnegie
David L. Fulton (587 words) [view diff] no match in snippet view article find links to article
Symphony Orchestra as a violinist. In 1970 he founded the Department of Computer Science at Bowling Green State University, serving as Professor and Chairman
Linked list (7,796 words) [view diff] no match in snippet view article find links to article
In computer science, a linked list is a linear collection of data elements whose order is not given by their physical placement in memory. Instead, each
Graph canonization (1,115 words) [view diff] no match in snippet view article find links to article
in computer science Is graph canonization polynomial-time equivalent to the graph isomorphism problem? More unsolved problems in computer science The
Expression problem (1,854 words) [view diff] no match in snippet view article find links to article
Object-Oriented Languages (FOOL), REX School/Workshop. Lecture Notes in Computer Science. Vol. 489. Noordwijkerhout, The Netherlands: Springer Berlin Heidelberg
Hub labels (276 words) [view diff] no match in snippet view article find links to article
In computer science, hub labels or the hub-labelling algorithm is a speedup technique that consumes much fewer resources than the lookup table but is still
John Corcoran (logician) (2,379 words) [view diff] no match in snippet view article
character-string theories, sciences of strings of characters over finite alphabets, are foundational for logic, formal linguistics, and computer science. Corcoran
Shortest common supersequence (1,034 words) [view diff] no match in snippet view article find links to article
In computer science, the shortest common supersequence of two sequences X and Y is the shortest sequence which has X and Y as subsequences. This is a problem
PSPACE-complete (1,564 words) [view diff] no match in snippet view article find links to article
Computer Science 2013 - 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013, Proceedings, Lecture Notes in Computer Science
Existence detection (137 words) [view diff] no match in snippet view article find links to article
detecting whether a worksheet exists: Function SheetExists(sheetName As String) As Boolean Dim sheetCount As Integer Dim t As Integer SheetExists = False
Applied category theory (683 words) [view diff] no match in snippet view article find links to article
theory are used to study other fields including but not limited to computer science, physics (in particular quantum mechanics), natural language processing
Metavariable (329 words) [view diff] no match in snippet view article find links to article
Atsushi Igarashi. "Calculi of Meta-variables[permanent dead link]" in Computer Science Logic. 17th International Workshop CSL 2003. 12th Annual Conference
Portland State Vikings men's basketball (238 words) [view diff] no match in snippet view article find links to article
Park Block Bombers" in reference to the school's proximity to Portland's string of park blocks. The school's team competes in the Big Sky Conference. The
Ring learning with errors signature (2,570 words) [view diff] no match in snippet view article find links to article
Henri (ed.). Advances in Cryptology – EUROCRYPT 2010. Lecture Notes in Computer Science. Vol. 6110. pp. 1–23. CiteSeerX 10.1.1.297.6108. doi:10.1007/978-3-642-13190-5_1
Digital signature (4,918 words) [view diff] no match in snippet view article find links to article
Advances in Cryptology – CRYPTO '89, vol. 435 of Lecture Notes in Computer Science, pp. 218–238, Spring Verlag, 1990. "Digitalized signatures as intractable
Perimeter (1,305 words) [view diff] no match in snippet view article find links to article
relevant to many fields, such as mathematical analysis, algorithmics and computer science. The perimeter and the area are two main measures of geometric figures
CycL (713 words) [view diff] no match in snippet view article find links to article
CycL in computer science and artificial intelligence, is an ontology language used by Douglas Lenat's Cyc artificial intelligence project. Ramanathan V
Jeffrey Vitter (1,412 words) [view diff] no match in snippet view article find links to article
highest honors from the University of Notre Dame in 1977, a Ph.D. in computer science from Stanford University under the supervision of Donald Knuth in 1980
Prefix (disambiguation) (336 words) [view diff] no match in snippet view article
to: In computing science: Prefix (computer science), a substring starting at the initial position of a reference string Prefix is one of the attributes
Variable shadowing (791 words) [view diff] no match in snippet view article find links to article
main(String[] args){ new Shadow().shadowTheVar(); } } However, the following code will not compile: public class Shadow { public static void main(String[]
Content similarity detection (4,752 words) [view diff] no match in snippet view article find links to article
very large collection, such as the Internet. String matching is a prevalent approach used in computer science. When applied to the problem of plagiarism
Andrei Alexandrescu (919 words) [view diff] no match in snippet view article find links to article
September 2001. Alexandrescu earned a M.S. (2003) and a PhD (2009) in computer science from the University of Washington. In 2006 Alexandrescu began assisting
Turnstile (symbol) (1,167 words) [view diff] no match in snippet view article
In mathematical logic and computer science the symbol ⊢ ( ⊢ {\displaystyle \vdash } ) has taken the name turnstile because of its resemblance to a typical
Quantum information (4,547 words) [view diff] no match in snippet view article find links to article
It is an interdisciplinary field that involves quantum mechanics, computer science, information theory, philosophy and cryptography among other fields
Compiler-compiler (5,129 words) [view diff] no match in snippet view article find links to article
In computer science, a compiler-compiler or compiler generator is a programming tool that creates a parser, interpreter, or compiler from some form of
Cyclic language (196 words) [view diff] no match in snippet view article find links to article
In computer science, more particularly in formal language theory, a cyclic language is a set of strings that is closed with respect to repetition, root
Women in computing (11,147 words) [view diff] no match in snippet view article find links to article
losing its position as computer science leader by 1974. Popular theories are favored about the lack of women in computer science, which discount historical
Free monoid (2,986 words) [view diff] no match in snippet view article find links to article
applications in combinatorics and in the study of parallelism in computer science. String operations Lothaire (1997, pp. 2–3), [1] Pytheas Fogg (2002, p
Mildly context-sensitive grammar formalism (2,034 words) [view diff] no match in snippet view article find links to article
and Tadao Kasami. "On Multiple Context-Free Grammars". Theoretical Computer Science, 88(2):191–229, 1991. Makoto Kanazawa. "The Pumping Lemma for Well-Nested
Worst-case complexity (599 words) [view diff] no match in snippet view article find links to article
In computer science (specifically computational complexity theory), the worst-case complexity measures the resources (e.g. running time, memory) that an
Tag system (2,134 words) [view diff] no match in snippet view article find links to article
complexity of small universal Turing machines: A survey" (PDF). Theoretical Computer Science. Computational Paradigms from Nature. 410 (4): 443–450. doi:10.1016/j
Vijay Balasubramanian (1,292 words) [view diff] no match in snippet view article find links to article
computer science, neurosciences, and humanities fields such as literature. Quanta described him as a "polymath who is prone to leaping from string theory
Computational geometry (2,116 words) [view diff] no match in snippet view article find links to article
Computational geometry is a branch of computer science devoted to the study of algorithms that can be stated in terms of geometry. Some purely geometrical
Swami Manohar (562 words) [view diff] no match in snippet view article find links to article
was actually the first designed in India. After obtaining his PhD in computer science from Brown University he was a faculty at the University of North Carolina
Vijay Balasubramanian (1,292 words) [view diff] no match in snippet view article find links to article
computer science, neurosciences, and humanities fields such as literature. Quanta described him as a "polymath who is prone to leaping from string theory
Callable object (344 words) [view diff] no match in snippet view article find links to article
in Dart using the call() method. class WannabeFunction { call(String a, String b, String c) => '$a $b $c!'; } main() { var wf = new WannabeFunction();
The Art of Computer Programming (2,943 words) [view diff] no match in snippet view article find links to article
"Robert W Floyd, In Memoriam", by Donald E. Knuth, 2003 - (on the influence of Bob Floyd) TAoCP and its Influence of Computer Science (Softpanorama)
Hindley–Milner type system (8,534 words) [view diff] no match in snippet view article find links to article
undecidable". Proceedings of the 9th Annual IEEE Symposium on Logic in Computer Science (LICS). pp. 176–185. doi:10.1109/LICS.1994.316068. ISBN 0-8186-6310-3
Transclusion (2,607 words) [view diff] no match in snippet view article find links to article
In computer science, transclusion is the inclusion of part or all of an electronic document into one or more other documents by reference via hypertext
Spectrum of a sentence (1,365 words) [view diff] no match in snippet view article find links to article
(2007). Finite model theory and its applications. Texts in Theoretical Computer Science. An EATCS Series. Berlin: Springer-Verlag. doi:10.1007/3-540-68804-8
Linearizability (3,291 words) [view diff] no match in snippet view article find links to article
not atomic with respect to memory. These include multiple-word stores and string operations. Should a high priority interrupt occur when a portion of the
Outline of academic disciplines (4,334 words) [view diff] no match in snippet view article find links to article
physics Thermodynamics Also a branch of electrical engineering Logic in computer science Formal methods (Formal verification) Logic programming Multi-valued
Vaughan Pratt (934 words) [view diff] no match in snippet view article find links to article
Emeritus at Stanford University, who was an early pioneer in the field of computer science. Since 1969, Pratt has made several contributions to foundational areas
Object copying (2,353 words) [view diff] no match in snippet view article find links to article
Problems and Solutions" (PDF). In Elisa Bertino (ed.). Lecture Notes in Computer Science. ECOOP 2000 — Object-Oriented Programming. Vol. 1850. Springer Berlin
Phrase search (344 words) [view diff] no match in snippet view article find links to article
In computer science, phrase searching allows users to retrieve content from information systems (such as documents from file storage systems, records from
ZX-calculus (2,751 words) [view diff] no match in snippet view article find links to article
for reasoning about linear maps between qubits, which are represented as string diagrams called ZX-diagrams. A ZX-diagram consists of a set of generators
99 Bottles of Beer (1,426 words) [view diff] no match in snippet view article find links to article
field trips, family road trips, or on Scout or Girl Guide outings. In computer science, printing the lyrics of 99 Bottles of Beer is a commonly used task
Critical exponent of a word (704 words) [view diff] no match in snippet view article find links to article
In mathematics and computer science, the critical exponent of a finite or infinite sequence of symbols over a finite alphabet describes the largest number
Random.org (493 words) [view diff] no match in snippet view article find links to article
numbers. The website was created in 1998 by Mads Haahr, a doctor and computer science professor at Trinity College in Dublin, Ireland. Random numbers are
Srinivas Aluru (1,269 words) [view diff] no match in snippet view article find links to article
Tech in computer science at the Indian Institute of Technology Madras in the year 1989. He then received M.S. and Ph.D. degrees in computer science in 1991
Ilka Agricola (733 words) [view diff] no match in snippet view article find links to article
applications in mathematical physics. She is dean of mathematics and computer science at the University of Marburg, where she has also been responsible for
Knuth–Bendix completion algorithm (2,412 words) [view diff] no match in snippet view article find links to article
in Computer Science. pp. 346–357. N. Dershowitz; J.-P. Jouannaud (1990). Jan van Leeuwen (ed.). Rewrite Systems. Handbook of Theoretical Computer Science
Tom Knight (scientist) (939 words) [view diff] no match in snippet view article
engineer, who was formerly a senior research scientist at the MIT Computer Science and Artificial Intelligence Laboratory, a part of the MIT School of
Reification (computer science) (2,270 words) [view diff] no match in snippet view article
In computer science, reification is the process by which an abstract idea about a program is turned into an explicit data model or other object created
Whirlpool (hash function) (1,054 words) [view diff] no match in snippet view article
In computer science and cryptography, Whirlpool (sometimes styled WHIRLPOOL) is a cryptographic hash function. It was designed by Vincent Rijmen (co-creator
Stack (abstract data type) (4,727 words) [view diff] no match in snippet view article
In computer science, a stack is an abstract data type that serves as a collection of elements with two main operations: Push, which adds an element to
Evolutionary computation (2,970 words) [view diff] no match in snippet view article find links to article
Evolutionary computation from computer science is a family of algorithms for global optimization inspired by biological evolution, and the subfield of
Circuit complexity (2,571 words) [view diff] no match in snippet view article find links to article
In theoretical computer science, circuit complexity is a branch of computational complexity theory in which Boolean functions are classified according
RIPEMD (884 words) [view diff] no match in snippet view article find links to article
Integrity Primitives Evaluation (RIPE-RACE 1040). Lecture Notes in Computer Science. Vol. 1007. doi:10.1007/3-540-60640-8. ISBN 978-3-540-60640-6. S2CID 12895857
ALGOL 68 (10,002 words) [view diff] no match in snippet view article find links to article
limited. Nevertheless, the contributions of ALGOL 68 to the field of computer science have been deep, wide-ranging and enduring, although many of these contributions
Infosys Prize (2,078 words) [view diff] no match in snippet view article find links to article
and Computer Science was added as a category. In 2012, a sixth category, Humanities, was added. The Infosys Prize in Engineering and Computer Science has
Noise-based logic (1,043 words) [view diff] no match in snippet view article find links to article
is a satisfactory condition for the universality of a Boolean logic. The string verification work over a slow communication channel shows a powerful computing
Random sequence (1,191 words) [view diff] no match in snippet view article find links to article
Stochasticity" in STACS 2007: 24th Annual Symposium on Theoretical Aspects of Computer Science by Wolfgang Thomas ISBN 3-540-70917-7 page 260 Church, Alonzo (1940)
Enumeration (1,633 words) [view diff] no match in snippet view article find links to article
items in a collection. The term is commonly used in mathematics and computer science to refer to a listing of all of the elements of a set. The precise
N-monoid (57 words) [view diff] no match in snippet view article find links to article
Burroni (1993). Higher dimensional word problems with applications to equational logic (PDF). Theoretical Computer Science. n-monoid at the nLab v t e
Conjunctive grammar (1,396 words) [view diff] no match in snippet view article find links to article
Synchronized Alternating Pushdown Automata". Computer Science – Theory and Applications. Lecture Notes in Computer Science. Vol. 6651. pp. 345–358. doi:10
Parser combinator (1,678 words) [view diff] no match in snippet view article find links to article
"Combinator parsers: From toys to tools". Electronic Notes in Theoretical Computer Science. 41: 38–59. doi:10.1016/S1571-0661(05)80545-6. Wadler, Philip (1985)
Hash consing (530 words) [view diff] no match in snippet view article find links to article
In computer science, particularly in functional programming, hash consing is a technique used to share values that are structurally equal. When a value
Stream processing (4,597 words) [view diff] no match in snippet view article find links to article
In computer science, stream processing (also known as event stream processing, data stream processing, or distributed stream processing) is a programming
Graph matching (383 words) [view diff] no match in snippet view article find links to article
matching. The class of algorithms is called error-tolerant graph matching. String matching Pattern matching Wikimedia Commons has media related to matching
Ronald V. Book (207 words) [view diff] no match in snippet view article find links to article
"Contributions of Ronald V Book to the theory of string-rewriting systems", Theoretical Computer Science, 207 (1): 13–23, doi:10.1016/s0304-3975(98)00053-x
Abstraction (4,777 words) [view diff] no match in snippet view article find links to article
information complexity' (AIC) of some string of bits is the shortest length computer program which can print out that string of bits. Ross, L. (1987). The Problem
Data Matrix (3,019 words) [view diff] no match in snippet view article find links to article
recovery. ECC 200 allows the routine reconstruction of the entire encoded data string when the symbol has sustained 30% damage, assuming the matrix can still