|
Derivation
Derivation may refer to: Language * Morphological derivation, a word-formation process * Parse tree or concrete syntax tree, representing a string's syntax in formal grammars Law * Derivative work, in copyright law * Derivation proceeding, a proceeding in United States patent law Music * The creation of a derived row, in the twelve-tone musical technique Science and mathematics * Derivation (differential algebra), a unary function satisfying the Leibniz product law * Formal proof or derivation, a sequence of sentences each of which is an axiom or follows from the preceding sentences in the sequence by a rule of inference * An after-the-fact justification for an action, in the work of sociologist Vilfredo Pareto See also *Derive (other), for meanings of "derive" and "derived" *Derivative, in calculus *Derivative (other) The derivative of a function is the rate of change of the function's output relative to its input value. Derivative may also refer to: In m ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Morphological Derivation
Morphological derivation, in linguistics, is the process of forming a new word from an existing word, often by adding a prefix or suffix, such as For example, ''unhappy'' and ''happiness'' derive from the root word ''happy.'' It is differentiated from inflection, which is the modification of a word to form different grammatical categories without changing its core meaning: ''determines'', ''determining'', and ''determined'' are from the root ''determine''. Derivational patterns Derivational morphology often involves the addition of a derivational suffix or other affix. Such an affix usually applies to words of one lexical category (part of speech) and changes them into words of another such category. For example, one effect of the English derivational suffix ''-ly'' is to change an adjective into an adverb (''slow'' → ''slowly''). Here are examples of English derivational patterns and their suffixes: * adjective-to-noun: ''-ness'' (''slow'' → ''slowness'') * adjective-to- ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Parse Tree
A parse tree or parsing tree or derivation tree or concrete syntax tree is an ordered, rooted tree that represents the syntactic structure of a string according to some context-free grammar. The term ''parse tree'' itself is used primarily in computational linguistics; in theoretical syntax, the term ''syntax tree'' is more common. Concrete syntax trees reflect the syntax of the input language, making them distinct from the abstract syntax trees used in computer programming. Unlike Reed-Kellogg sentence diagrams used for teaching grammar, parse trees do not use distinct symbol shapes for different types of constituents. Parse trees are usually constructed based on either the constituency relation of constituency grammars (phrase structure grammars) or the dependency relation of dependency grammars. Parse trees may be generated for sentences in natural languages (see natural language processing), as well as during processing of computer languages, such as programming languages. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Derivative Work
In copyright law, a derivative work is an expressive creation that includes major copyrightable elements of an original, previously created first work (the underlying work). The derivative work becomes a second, separate work independent in form from the first. The transformation, modification or adaptation of the work must be substantial and bear its author's personality sufficiently to be original and thus protected by copyright. Translations, Film adaptation, cinematic adaptations and Arrangement, musical arrangements are common types of derivative works. Most countries' legal systems seek to protect both original and derivative works. They grant authors the right to impede or otherwise control their integrity and the author's commercial interests. Derivative works and their authors benefit in turn from the full protection of copyright without prejudicing the rights of the original work's author. Definition Berne The Berne Convention for the Protection of Literary and Art ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Derivation Proceeding
In United States patent law since the Leahy-Smith America Invents Act (AIA), a derivation proceeding is a trial proceeding under conducted at the Patent Trial and Appeal Board to determine whether (i) an inventor named in an earlier patent application derived the claimed invention from an inventor named in the petitioner's application, and (ii) the earlier application claiming such invention was filed without authorization. Derivation proceedings are only applicable to applications for patent, and any patent issuing thereon, that are subject to the first-inventor-to-file provisions of the AIA. This is in contrast to an interference proceeding under pre-AIA law, which determined the priority of invention. An applicant subject to the first-inventor-to-file provisions may file a petition to institute a derivation proceeding with the Board. During the derivation proceeding, the Board has jurisdiction over any involved patent or application, and the patent examiner A patent examiner ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Derived Row
In music using the twelve-tone technique, derivation is the construction of a row through segments. A derived row is a tone row whose entirety of twelve tones is constructed from a segment or portion of the whole, the generator. Anton Webern often used derived rows in his pieces. A partition is a segment created from a set through partitioning. Derivation Rows may be derived from a sub-set of any number of pitch classes that is a divisor of 12, the most common being the first three pitches or a trichord. This segment may then undergo transposition, inversion, retrograde, or any combination to produce the other parts of the row (in this case, the other three segments). One of the side effects of derived rows is invariance. For example, since a segment may be equivalent to the generating segment inverted and transposed, say, 6 semitones, when the entire row is inverted and transposed six semitones the generating segment will now consist of the pitch classes of the derived segment. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Derivation (differential Algebra)
In mathematics, a derivation is a function on an algebra which generalizes certain features of the derivative operator. Specifically, given an algebra ''A'' over a ring or a field ''K'', a ''K''-derivation is a ''K''-linear map that satisfies Leibniz's law: : D(ab) = a D(b) + D(a) b. More generally, if ''M'' is an ''A''-bimodule, a ''K''-linear map that satisfies the Leibniz law is also called a derivation. The collection of all ''K''-derivations of ''A'' to itself is denoted by Der''K''(''A''). The collection of ''K''-derivations of ''A'' into an ''A''-module ''M'' is denoted by . Derivations occur in many different contexts in diverse areas of mathematics. The partial derivative with respect to a variable is an R-derivation on the algebra of real-valued differentiable functions on R''n''. The Lie derivative with respect to a vector field is an R-derivation on the algebra of differentiable functions on a differentiable manifold; more generally it is a derivation on the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Formal Proof
In logic and mathematics, a formal proof or derivation is a finite sequence of sentences (called well-formed formulas in the case of a formal language), each of which is an axiom, an assumption, or follows from the preceding sentences in the sequence by a rule of inference. It differs from a natural language argument in that it is rigorous, unambiguous and mechanically verifiable. If the set of assumptions is empty, then the last sentence in a formal proof is called a theorem of the formal system. The notion of theorem is not in general effective, therefore there may be no method by which we can always find a proof of a given sentence or determine that none exists. The concepts of Fitch-style proof, sequent calculus and natural deduction are generalizations of the concept of proof. The theorem is a syntactic consequence of all the well-formed formulas preceding it in the proof. For a well-formed formula to qualify as part of a proof, it must be the result of applying a rule of th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Vilfredo Pareto
Vilfredo Federico Damaso Pareto ( , , , ; born Wilfried Fritz Pareto; 15 July 1848 – 19 August 1923) was an Italian polymath (civil engineer, sociologist, economist, political scientist, and philosopher). He made several important contributions to economics, particularly in the study of income distribution and in the analysis of individuals' choices. He was also responsible for popularising the use of the term "elite" in social analysis. He introduced the concept of Pareto efficiency and helped develop the field of microeconomics. He was also the first to discover that income follows a Pareto distribution, which is a power law probability distribution. The Pareto principle was named after him, and it was built on his observations that 80% of the wealth in Italy belonged to about 20% of the population. He also contributed to the fields of sociology and mathematics. According to the mathematician Benoit Mandelbrot and Richard L. Hudson: Biography Pareto was born of an e ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Derive (other)
Derive may refer to: * Derive (computer algebra system), a commercial system made by Texas Instruments * ''Dérive'' (magazine), an Austrian science magazine on urbanism *Dérive, a psychogeographical concept See also * *Derivation (other) Derivation may refer to: Language * Morphological derivation, a word-formation process * Parse tree or concrete syntax tree, representing a string's syntax in formal grammars Law * Derivative work, in copyright law * Derivation proceeding, a p ... * Derivative (other) {{disambiguation ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Derivative
In mathematics, the derivative of a function of a real variable measures the sensitivity to change of the function value (output value) with respect to a change in its argument (input value). Derivatives are a fundamental tool of calculus. For example, the derivative of the position of a moving object with respect to time is the object's velocity: this measures how quickly the position of the object changes when time advances. The derivative of a function of a single variable at a chosen input value, when it exists, is the slope of the tangent line to the graph of the function at that point. The tangent line is the best linear approximation of the function near that input value. For this reason, the derivative is often described as the "instantaneous rate of change", the ratio of the instantaneous change in the dependent variable to that of the independent variable. Derivatives can be generalized to functions of several real variables. In this generalization, the derivativ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
