Musical notationMusic notation or musical notation is any system used to visually represent aurally perceived music played with instruments or sung by the human voice through the use of written, printed, or otherwise-produced symbols, including notation for durations of absence of sound such as rests. The types and methods of notation have varied between cultures and throughout history, and much information about ancient music notation is fragmentary.
E-readerAn e-reader, also called an e-book reader or e-book device, is a mobile electronic device that is designed primarily for the purpose of reading digital e-books and periodicals. Any device that can display text on a screen may act as an e-reader; however, specialized e-reader devices may optimize portability, readability, and battery life for this purpose. Their main advantage over printed books is portability. This is because an e-reader is capable of holding thousands of books while weighing less than one book, and the convenience provided due to add-on features.
Category theoryCategory theory is a general theory of mathematical structures and their relations that was introduced by Samuel Eilenberg and Saunders Mac Lane in the middle of the 20th century in their foundational work on algebraic topology. Category theory is used in almost all areas of mathematics. In particular, numerous constructions of new mathematical objects from previous ones that appear similarly in several contexts are conveniently expressed and unified in terms of categories.
LogicismIn the philosophy of mathematics, logicism is a programme comprising one or more of the theses that — for some coherent meaning of 'logic' — mathematics is an extension of logic, some or all of mathematics is reducible to logic, or some or all of mathematics may be modelled in logic. Bertrand Russell and Alfred North Whitehead championed this programme, initiated by Gottlob Frege and subsequently developed by Richard Dedekind and Giuseppe Peano.
Key (music)In music theory, the key of a piece is the group of pitches, or scale, that forms the basis of a musical composition in Western classical music, art music, and pop music. Tonality (from "Tonic") or key: Music which uses the notes of a particular scale is said to be "in the key of" that scale or in the tonality of that scale. A particular key features a tonic note and its corresponding chords, also called a tonic or tonic chord, which provides a subjective sense of arrival and rest, and also has a unique relationship to the other pitches of the same key, their corresponding chords, and pitches and chords outside the key.
Active usersActive users is a software performance metric that is commonly used to measure the level of engagement for a particular software product or object, by quantifying the number of active interactions from users or visitors within a relevant range of time (daily, weekly and monthly). The metric has many uses in software management such as in social networking services, online games, or mobile apps, in web analytics such as in web apps, in commerce such as in internet banking and in academia, such as in user behavior analytics and predictive analytics.
PrologProlog is a logic programming language associated with artificial intelligence and computational linguistics. Prolog has its roots in first-order logic, a formal logic, and unlike many other programming languages, Prolog is intended primarily as a declarative programming language: the program logic is expressed in terms of relations, represented as facts and rules. A computation is initiated by running a query over these relations.
.NET FrameworkThe .NET Framework (pronounced as "dot net") is a proprietary software framework developed by Microsoft that runs primarily on Microsoft Windows. It was the predominant implementation of the Common Language Infrastructure (CLI) until being superseded by the cross-platform .NET project. It includes a large class library called Framework Class Library (FCL) and provides language interoperability (each language can use code written in other languages) across several programming languages. Programs written for .
Linked listIn 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 element points to the next. It is a data structure consisting of a collection of nodes which together represent a sequence. In its most basic form, each node contains data, and a reference (in other words, a link) to the next node in the sequence. This structure allows for efficient insertion or removal of elements from any position in the sequence during iteration.
Stack machineIn computer science, computer engineering and programming language implementations, a stack machine is a computer processor or a virtual machine in which the primary interaction is moving short-lived temporary values to and from a push down stack. In the case of a hardware processor, a hardware stack is used. The use of a stack significantly reduces the required number of processor registers. Stack machines extend push-down automata with additional load/store operations or multiple stacks and hence are Turing-complete.
Electronic paperElectronic paper, also known as electronic ink (e-ink) or intelligent paper, is a display device that mimics the appearance of ordinary ink on paper. Unlike conventional flat panel displays that emit light, an electronic paper display reflects ambient light, like paper. This may make them more comfortable to read, and provide a wider viewing angle than most light-emitting displays. The contrast ratio in electronic displays available as of 2008 approaches newspaper, and newly developed displays are slightly better.
