Open scientific dataOpen scientific data or open research data is a type of open data focused on publishing observations and results of scientific activities available for anyone to analyze and reuse. A major purpose of the drive for open data is to allow the verification of scientific claims, by allowing others to look at the reproducibility of results, and to allow data from many sources to be integrated to give new knowledge. The modern concept of scientific data emerged in the second half of the 20th century, with the development of large knowledge infrastructure to compute scientific information and observation.
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Renku, or haikai no renga, is a Japanese form of popular collaborative linked verse poetry. It is a development of the older Japanese poetic tradition of ushin renga, or orthodox collaborative linked verse. At renku gatherings participating poets take turns providing alternating verses of 17 and 14 morae. Initially haikai no renga distinguished itself through vulgarity and coarseness of wit, before growing into a legitimate artistic tradition, and eventually giving birth to the haiku form of Japanese poetry.
DataIn common usage and statistics, data (USˈdætə; UKˈdeɪtə) is a collection of discrete or continuous values that convey information, describing the quantity, quality, fact, statistics, other basic units of meaning, or simply sequences of symbols that may be further interpreted formally. A datum is an individual value in a collection of data. Data is usually organized into structures such as tables that provide additional context and meaning, and which may themselves be used as data in larger structures.
Type theoryIn mathematics, logic, and computer science, a type theory is the formal presentation of a specific type system, and in general, type theory is the academic study of type systems. Some type theories serve as alternatives to set theory as a foundation of mathematics. Two influential type theories that were proposed as foundations are Alonzo Church's typed λ-calculus and Per Martin-Löf's intuitionistic type theory. Most computerized proof-writing systems use a type theory for their foundation, a common one is Thierry Coquand's Calculus of Inductive Constructions.
Type safetyIn computer science, type safety and type soundness are the extent to which a programming language discourages or prevents type errors. Type safety is sometimes alternatively considered to be a property of facilities of a computer language; that is, some facilities are type-safe and their usage will not result in type errors, while other facilities in the same language may be type-unsafe and a program using them may encounter type errors.
Hokkuis the opening stanza of a Japanese orthodox collaborative linked poem, renga, or of its later derivative, renku (haikai no renga). From the time of Matsuo Bashō (1644–1694), the hokku began to appear as an independent poem, and was also incorporated in haibun (in combination with prose). In the late 19th century, Masaoka Shiki (1867–1902) renamed the standalone hokku as "haiku", and the latter term is now generally applied retrospectively to all hokku appearing independently of renku or renga, irrespective of when they were written.
Reproducibility ProjectThe Reproducibility Project: Psychology was a crowdsourced collaboration of 270 contributing authors to repeat 100 published experimental and correlational psychological studies. This project was led by the Center for Open Science and its co-founder, Brian Nosek, who started the project in November 2011. The results of this collaboration were published in August 2015. Reproducibility is the ability to produce the same findings, using the same methodologies as the original work, but on a different dataset (for instance, collected from a different set of participants).
Type inferenceType inference refers to the automatic detection of the type of an expression in a formal language. These include programming languages and mathematical type systems, but also natural languages in some branches of computer science and linguistics. Types in a most general view can be associated to a designated use suggesting and restricting the activities possible for an object of that type. Many nouns in language specify such uses. For instance, the word leash indicates a different use than the word line.
ReproducibilityReproducibility, closely related to replicability and repeatability, is a major principle underpinning the scientific method. For the findings of a study to be reproducible means that results obtained by an experiment or an observational study or in a statistical analysis of a data set should be achieved again with a high degree of reliability when the study is replicated. There are different kinds of replication but typically replication studies involve different researchers using the same methodology.
Data typeIn computer science and computer programming, a data type (or simply type) is a collection or grouping of data values, usually specified by a set of possible values, a set of allowed operations on these values, and/or a representation of these values as machine types. A data type specification in a program constrains the possible values that an expression, such as a variable or a function call, might take. On literal data, it tells the compiler or interpreter how the programmer intends to use the data.
Kirejiare a special category of words used in certain types of Japanese traditional poetry. It is regarded as a requirement in traditional haiku, as well as in the hokku, or opening verse, of both classical renga and its derivative renku (haikai no renga). There is no exact equivalent of kireji in English, and its function can be difficult to define. It is said to supply structural support to the verse. When placed at the end of a verse, it provides a dignified ending, concluding the verse with a heightened sense of closure.
RengaRenga (連歌, linked poem) is a genre of Japanese collaborative poetry in which alternating stanzas, or ku (句), of 5-7-5 and 7-7 mora (sound units, not to be confused with syllables) per line are linked in succession by multiple poets. Known as tsukuba no michi (筑波の道 The Way of Tsukuba) after the famous Tsukuba Mountain in the Kantō region, the form of poetry is said to have originated in a two-verse poetry exchange by Yamato Takeru and later gave birth to the genres haikai (俳諧) and haiku (俳句).
Replication crisisThe replication crisis (also called the replicability crisis and the reproducibility crisis) is an ongoing methodological crisis in which the results of many scientific studies are difficult or impossible to reproduce. Because the reproducibility of empirical results is an essential part of the scientific method, such failures undermine the credibility of theories building on them and potentially call into question substantial parts of scientific knowledge.
Computational biologyComputational biology refers to the use of data analysis, mathematical modeling and computational simulations to understand biological systems and relationships. An intersection of computer science, biology, and big data, the field also has foundations in applied mathematics, chemistry, and genetics. It differs from biological computing, a subfield of computer engineering which uses bioengineering to build computers. Bioinformatics, the analysis of informatics processes in biological systems, began in the early 1970s.
Type conversionIn computer science, type conversion, type casting, type coercion, and type juggling are different ways of changing an expression from one data type to another. An example would be the conversion of an integer value into a floating point value or its textual representation as a string, and vice versa. Type conversions can take advantage of certain features of type hierarchies or data representations.
HaikuHaiku is a type of short form poetry that originated in Japan. Traditional Japanese haiku consist of three phrases composed of 17 phonetic units (called on in Japanese, which are similar to syllables) in a 5, 7, 5 pattern; that include a kireji, or "cutting word"; and a kigo, or seasonal reference. Similar poems that do not adhere to these rules are generally classified as senryū. Haiku originated as an opening part of a larger Japanese poem called renga.
Dependent typeIn computer science and logic, a dependent type is a type whose definition depends on a value. It is an overlapping feature of type theory and type systems. In intuitionistic type theory, dependent types are used to encode logic's quantifiers like "for all" and "there exists". In functional programming languages like Agda, ATS, Coq, F*, Epigram, and Idris, dependent types help reduce bugs by enabling the programmer to assign types that further restrain the set of possible implementations.
Open scienceOpen science is the movement to make scientific research (including publications, data, physical samples, and software) and its dissemination accessible to all levels of society, amateur or professional. Open science is transparent and accessible knowledge that is shared and developed through collaborative networks. It encompasses practices such as publishing open research, campaigning for open access, encouraging scientists to practice open-notebook science (such as openly sharing data and code), broader dissemination and engagement in science and generally making it easier to publish, access and communicate scientific knowledge.
HaikaiHaikai (Japanese 俳諧 comic, unorthodox) may refer in both Japanese and English to haikai no renga (renku), a popular genre of Japanese linked verse, which developed in the sixteenth century out of the earlier aristocratic renga. It meant "vulgar" or "earthy", and often derived its effect from satire and puns, though "under the influence of [Matsuo] Bashō (1644–1694) the tone of haikai no renga became more serious".
