Multiple issues wikify December 2010 unreferenced December 2009 Higherorder control is contrasted to first order control . In second and higherorder control, the way the mechanism is used may change. It can be said that first order control is how much something is done, second order control is what is done, and third order control is inventing new things to do . Example The problem is that people become addicted to drugs and steal things to pay for their addiction. First order solution increase police presence and introduce stricter laws against trafficking in drugs. Second order solution legalize drugs make a clear distinction between acceptable drug users who don t steal and criminals who do. There is no reason to believe a higherorder solution is preferable in all situations but higherorder solutions should be attempted when first order solutions have been shown to be ineffectual. DEFAULTSORT HigherOrder Control Category Control theory ... more details
Unreferenced date December 2009 Orphan date March 2008 Higherorder modulation is a type of digital modulation usually with an order of 4 or higher. Examples quadrature phase shift keying QPSK , m ary quadrature amplitude modulation m QAM , etc. See also phase shift keying modulation order DEFAULTSORT HigherOrder Modulation Category Quantized radio modulation modes ... more details
Expert subject Statistics date February 2009 Higherorder statistics HOS are descriptive measures of, among other things, qualities of probability distribution s and sample distribution s, and are, themselves, extensions of first and second order measures such as the mean , variance , autocorrelation function , and power spectrum to higher orders. Skewness and kurtosis are examples of this. Arguably, the estimates of coefficients and associated significance test s, in a regression analysis , of terms for effects higher than quadratic could be included here, too. In statistical theory , one long established approach to higherorder statistics, for univariate and multivariate distributions is through the use of cumulant s and cumulant joint cumulants . ref Kendall, MG., Stuart, A. 1969 The Advanced Theory of Statistics, Volume 1 Distribution Theory, 3rd Edition , Griffin. ISBN 0852641419 Chapter 3 ref In time series analysis , the extension of these is to higherorder spectra, for example the bispectrum and trispectrum . An alternative to generalising the use of moments is to consider L moment s which allow higherorder statistics to be based on linear combinations of order statistic s. References reflist External links http www.maths.leeds.ac.uk Applied news.dir issue2 hos intro.html http lpce.cnrs orleans.fr ddwit lalonde lalonde presentations horbury2.pdf http www.ics.uci.edu welling publications papers RobCum aistats.pdf Category Summary statistics statistics stub ... more details
mergeto Higherorder thinking discuss Talk Higherorder thinking Merger proposal date March 2010 The concept of higherorder thinking skills became a major educational agenda item with the 1956 publication of Taxonomy of Educational Objectives Bloom s taxonomy of educational objectives . The simplest thinking skills are learning facts and recall, while higherorder skills include critical thinking, analysis, and problem solving. Including higherorder thinking skills HOTS in learning outcome s is a very common feature of standards based education reform . Advocates of traditional education object to elevating HOTS above direct instruction of basic skills . Many forms of education reform, such as inquiry based science, reform mathematics and whole language emphasize HOTS to solve problems and learn, sometimes deliberately omitting direct instruction of traditional methods, facts, or knowledge. Critics of standards based assessment s which use open response items which require higherorder analysis and writing instead of multiple choice questions point out that this style of testing is even more difficult for students who are behind academically. Indeed, while minorities may lag by 10 to 25 points on standardized percentile rankings, the failure rates of minorites are two to four times the best scoring groups on tests like the Washington Assessment of Student Learning WASL . It is debated whether it is correct to raise the importance of teaching process over content. ref http www.ceap.wcu.edu Houghton Learner think thinkhigherorder.html Communities Resolving Our Problems Applying HigherOrder Bloom s Taxonomy Thinking ref See also Benjamin Bloom Higherorder thinking Taxonomy of Educational Objectives Notes references External links http www.higherorderthinkingskills.com HigherOrder Thinking Skills development Category Education reform he ... more details
unreferenced date February 2010 Unreferenced stub auto yes date December 2009 Higherorder volitions or higherorder desire , as opposed to action determining volitions, are volitions about volitions. Higherorder volitions are potentially more often guided by long term convictions and reason ing. A first order volition is a desire about anything else, such as to own a new car, to meet the pope, or to drink alcohol. Second order volitions to parallel these examples would be to desire to want to own a new car to desire indifference about meeting the pope or to desire to not want to drink alcohol. A higherorder desire can go unfulfilled due to uncontrolled lower order volitions. An example for a failure to follow higherorder volitions is the drug addict who takes drugs even though he would like to quit taking drugs. According to Harry Frankfurt the drug addict has established free will , in respect to that single aspect, when his higherorder desire to stop wanting drugs determines the precedence of his changing, action determining desires either to take drugs or not to take drugs. Following this definition the establishment of free will is a continual challenge with a changing degree of difficulty. This view of free will conforms with compatibilism and incompatibilism compatibilism . See also Akrasia Meta emotion DEFAULTSORT HigherOrder Volition Category Free will Category Motivation Philo stub de H herstufiger Wunsch ... more details
NOTOC In mathematics and logic , a higherorder logic is a form of predicate logic that is distinguished from first order logic by additional quantifiers and a stronger semantics. Higherorder logics with their standard ... behaved than those of first order logic. Higherorder simple predicate logic The term higherorder logic , abbreviated as HOL , is commonly used to mean higherorder simple predicate logic . Here simple ... for each higherorder type. Thus, for example, quantifiers over sets of individuals may range .... Criticism Quine has criticized higherorder logic with standard semantics as set theory in sheep ... Press., ISBN 0 19 825029 0 Stewart Shapiro , 2001, Classical Logic II HigherOrder Logic, in Lou ... Lambek, J. and Scott, P. J., 1986. Introduction to HigherOrder Categorical logic Categorical Logic ... Logic Higherorder, Encyclopedia of Artificial Intelligence , 2nd ed. Herbert B. Enderton, http plato.stanford.edu entries logic higherorder Second order and Higherorder Logic in Stanford Encyclopedia ... or full semantics , quantifiers over higher type objects range over all possible objects ... order logic. For example, HOL admits categorical axiomatization s of the natural numbers, and of the real numbers, which are impossible with first order logic. However, by a result of G del , HOL with standard ... those of first order logic. For example, the L wenheim number of second order logic is already larger ... numbers for extensions of first order logic , Report No. 15 2009 2010 of the Mittag Leffler Institute. ref The L wenheim number of first order logic, in contrast, is Aleph nought &alefsym sub 0 sub , the smallest ... to many sorted first order logic , rather than being stronger than first order logic. In particular, HOL with Henkin semantics has all the model theoretic properties of first order logic, and has a complete, sound, effective proof system inherited from first order logic. Examples Examples of higherorder logics include HOL, Alonzo Church Church s simply typed lambda calculus Simple Theory of Types ... more details
Portal Cryptography In cryptography , higherorder differential cryptanalysis is a generalization of differential cryptanalysis , an attack against block cipher s. Developed in 1994 by Lars Knudsen , the technique has been applied to a number of ciphers. Whereas ordinary differential cryptanalysis analyzes the differences between two texts, the higherorder variant considers differences between differences, etc. It has been shown to be more powerful than a first order attack in some cases see KN Cipher . References cite conference author Lars Knudsen title Truncated and HigherOrder Differentials booktitle Fast Software Encryption FSE 1994 pages 196 211 publisher Springer Verlag date 1994 location url http citeseer.ist.psu.edu knudsen95truncated.html format PDF PostScript accessdate 2007 02 14 Categories Category Cryptographic attacks crypto stub ja ... more details
Confusing date March 2010 Higherorder factor analysis is a statistical method consisting of repeating steps factor analysis oblique rotation factor analysis of rotated factors. Its merit is to enable the researcher to see the hierarchical structure of studied phenomena. To interpret the results, one proceeds either by matrix multiplication post multiplying the primary factor pattern matrix by the higherorder factor pattern matrices Gorsuch, 1983 and perhaps applying a Varimax rotation to the result Thompson, 1990 or by using a Schmid Leiman solution SLS, Schmid & Leiman, 1957, also known as Schmid Leiman transformation which attributes the variation from the primary factors to the second order factors. Literature http eric.ed.gov ERICWebPortal contentdelivery servlet ERICServlet?accno ED407418 B.T. Gray HigherOrder Factor Analysis http cat.inist.fr ?aModele afficheN&cpsidt 16877522 Hans Georg Wolff, Katja Preising Exploring item and higherorder factor structure with the schmid leiman solution Syntax codes for SPSS and SAS Category Multivariate statistics ... more details
mergefrom Higherorder thinking skills discuss Talk Higherorder thinking Merger proposal date March 2010 Image BloomsCognitiveDomain.svg right thumb 250px Categories in the cognitive domain of Bloom s Taxonomy Anderson & Krathwohl, 2001 Higherorder thinking is a concept of Education reform based on learning taxonomies such as Bloom s Taxonomy . The idea is that some types of learning require more cognitive processing than others, but also have more generalized benefits. In Bloom s taxonomy, for example, skills involving analysis, evaluation and synthesis creation of new knowledge are thought to be of a higherorder, requiring different learning and teaching methods, than the learning of facts and concepts. Higherorder thinking involves the learning of complex judgmental skills such as critical thinking and problem solving. Higherorder thinking is more difficult to learn or teach but also more valuable because such skills are more likely to be usable in novel situations i.e., situations other than those in which the skill was learned . Standards based testing Standards based test s rely on HOTS for many test items released by U.S. states such as Washington U.S. state Washington . For example, one fourth grade Washington Assessment of Student Learning WASL problem published in 1997 asked how to measure the height of a flagpole given a sun , shadow s, a ruler and a fire hydrant . A standard solution for this problem uses similar triangles , a skill not remembered by most adults, and which does not appear on state mathematics standards until the 10th grade. However, the solution published in the Seattle Post Intelligencer does not even use this method. Citation needed date October 2009 Mathematics Similarly, textbook s such as Dale Seymour s Investigations omit many standard ... an average. See also Higherorder thinking skills External links http www.nwlink.com donclark hrd bloom.html Learning Domains or Bloom s Taxonomy DEFAULTSORT HigherOrder Thinking Category Education ... more details
Higherorder programming is a style of computer programming that uses functions as values. It is usually instantiated with, or borrowed from, models of computation like the lambda calculus which make heavy use of higherorder function s. For example, in higherorder programming, one can pass function programming functions as arguments to other functions and functions can be the return value of other functions such as in macro computer science macros or for interpreter computing interpreting . This style of programming is mostly used in functional programming , but it can also be very useful in regular object oriented programming . A slightly different interpretation of higherorder programming in the context of object oriented programming are HigherOrder Messages , which let messages have other messages as arguments, rather than functions. Prominent examples of languages supporting this are C Sharp programming language C , ECMAScript ActionScript , JavaScript , F Sharp programming language F , Haskell programming language Haskell , Lisp programming language Lisp Common Lisp , Scheme programming language Scheme , Clojure , others , Lua programming language Lua , Oz programming language Oz , Perl programming language Perl , Python programming language Python , Ruby programming language Ruby , Smalltalk . External links http w3future.com html stories hop.xml HigherOrder Programming by Sjoerd Visscher Uses JavaScript as example language compu prog stub Category Programming paradigms ... more details
Infobox Book name HigherOrder Perl title orig translator image File HigherOrder Perl front cover 2005.jpg thumb image caption The cover of HigherOrder Perl author Mark Jason Dominus illustrator cover artist Yvo Riezebos country USA language English language English series subject Computer programming , Perl programming language publisher Morgan Kaufmann pub date 2005 media type print pages 600 isbn ISBN 1558607013 dewey 005.13 3 22 congress QA76.73.P22 D56 2005 oclc 56086063 preceded by followed by HigherOrder Perl Transforming programs with programs , ISBN 1 55860 701 3 ISBN 978 1 55860 701 9 , is a book written by Mark Jason Dominus with the goal to teach Perl programmers with a strong C programming language C and Unix background how to use techniques with roots in functional programming languages like Lisp programming language Lisp that are available in Perl as well, but less known. The book is often referred to as HOP. The provisional title of HOP was Perl Advanced Techniques Handbook . The author has made the full text of HOP available in http hop.perl.plover.com book MOD MOD a derivative of Plain Old Documentation POD , as well as a http hop.perl.plover.com book PDF PDF . Contents Recursion and callback s Dispatch table s Cache Caching and memoization Iterator s From recursion to iterators lazy evaluation Infinite streams Higherorder function s and currying Parsing Declarative programming External links http hop.perl.plover.com HigherOrder Perl by Mark Jason Dominus Category Books on Perl Category Computer book stubs compu prog stub Compu lang stub ... more details
In mathematics and computer science , higherorder functions , functional forms , or functional mathematics ... order functions . In mathematics higherorder functions are also known as Operator mathematics operator ... function. In the lambda calculus untyped lambda calculus , all functions are higherorder in a typed ..., higherorder functions are values with types of the form math tau 1 to tau 2 to tau 3 math . The code Map higherorder function map code function found in many functional programming languages is one example of a higherorder function. It takes as arguments a function f and a list of elements ... common kind of higherorder function in those languages which support them are sorting functions which ... computer science function code qsort code , is an example of this. Other examples of higherorder functions include Fold higherorder function fold , function composition computer science function composition ... This Python programming language Python Scripting language script contains the higherorder function ... g f, 7 source In this Scheme programming language Scheme example the higherorder function g takes ... programming language Erlang example the higherorder function or else 2 takes a list of functions ... function in Fs with argument Y will be evaluated. If the function F returns R the higherorder ... function pointers as function parameters can emulate higherorder functions. Such languages include ... use of higherorder functions by dynamically executing code sometimes called Eval or Execute operations ... less efficient code. Macros can also be used to achieve some of the effects of higherorder functions ... languages that do not support higherorder functions, Object computer science objects can be an effective ... Kappa calculus a formalism for functions which excludes higherorder functions Strategy pattern HigherOrder Messages External links http ergodicity.iamganesh.com 2006 08 07 higherorder functions Higherorder functions and variational calculus http boost.org doc html lambda.html Boost Lambda Library ... more details
sent to them, still get it delivered in a special hook method, called code forward code . HigherOrder Messaging was implemented in a number of languages that share this feature . ref Ruby, Smalltalk ... between verbs and adverbs. Adverbs modify the functioning of verbs. This is similar to HigherOrder Messages being modified by being sent messages to. References references Category Programming ... more details
HigherOrder grammar HOG is a grammar theory based on higherorder logic . It can be viewed simultaneously as generative enumerative like Categorial grammar Categorial Grammar and Principles and parameters Principles & Parameters or model theoretic like Head Driven Phrase Structure Grammar or Lexical Functional Grammar . Key features There is a Propositional calculus propositional logic of types , which denote sets of linguistic phonological, syntactic, or semantic entities. For example, the type NP denotes the syntactic category or form class of Noun phrase noun phrases . HOG maintains Haskell Curry s distinction between tectogrammatical structure abstract syntax and phenogrammatical structure concrete syntax . Abstract syntactic entities are identified with structuralism Structuralism in linguistics structuralist Leonard Bloomfield Bloomfield Hockett free forms words and phrases . For example, the NP your cat is distinct from its phonology or its semantics . Concrete syntax is identified with phonology , broadly construed to include word order. The modelling of Sense and reference Fregean senses is broadly similar to Montague grammar Montague s, but with intensions replaced by finer grained hyperintensions . There is a Curry Howard proof term calculus , whose terms denote linguistic phonological, syntactic, or semantic entities. The term calculus is embedded in a classical higherorder logic HOL . The syntax phonology and syntax semantics interfaces are expressed as axiomatic theories in the HOL. The HOL admits separation style subtyping , e.g. NPacc, the type of accusative case accusative noun phrases, is a subtype of NP, and denotes a subset of the category denoted by NP. External links http www.ling.ohio state.edu hana hog HigherOrder Grammar , Ohio State Category Grammar frameworks ... more details
No footnotes date August 2010 In computer science , higherorder abstract syntax abbreviated HOAS is a technique for the representation of abstract syntax trees for languages with variable name binding binders . Relation to first order abstract syntax An abstract syntax tree is abstract because it is a mathematical object that has certain structure by its very nature. For instance, in first order abstract syntax FOAS trees, as commonly used in compiler s, the tree structure implies the subexpression relation, meaning that no parentheses are required to disambiguate programs as they are in the concrete syntax . HOAS exposes additional structure the relationship between variables and their binding sites. In FOAS representations, a variable is typically represented with an identifier, with the relation between binding site and use being indicated by using the same identifier. With HOAS, there is no name for the variable each use of the variable refers directly to the binding site. There are a number ... . Use in logical frameworks In the domain of logical framework s, the term higherorder abstract syntax ... is the higherorder part an expression with a free variable is represented as an expression ... 0 89791 269 1 cite journal author J. Despeyroux, A. Felty, A. Hirschowitz year 1995 title HigherOrder ... author Martin Hofmann year 1999 title Semantical analysis of higherorder abstract syntax url ... author Eli Barzilay, Stuart Allen title Reflecting HigherOrder Abstract Syntax in Nuprl url http www.barzilay.org misc hoas paper.pdf booktitle Theorem Proving in HigherOrder Logics 2002 year 2002 ... HigherOrder Abstract Syntax Category Type theory Category Logic programming Category Dependently ... LF logical framework LF has a construct, which has arrow type. A first order encoding of an object ... Programming pages 379 388 cite conference author Frank Pfenning , Conal Elliott year 1988 title Higherorder abstract syntax url http www.cs.cmu.edu fp papers pldi88.pdf booktitle Proceedings of the Association ... more details
In mathematics , the higherorder derivative test is used to find maxima, minima, and points of inflection for sufficiently differentiable functions. The test Let &fnof be a differentiable function on the interval I and let c be a point on it such that math f c cdots f n 1 c 0 math math f n c , math exists and is non zero. Then, if n is even math f n x 0 implies x c math is a point of local maximum math f n x 0 implies x c math is a point of local minimum if n is odd math f n x 0 implies x c math is a strictly decreasing point of inflection math f n x 0 implies x c math is a strictly increasing point of inflection See also Extremum First derivative test Second derivative test Hessian matrix Second derivative test Saddle point Inflection point Saddle point method Stationary point Category Calculus mathanalysis stub es Criterio de la derivada de mayor orden ... more details
Italic title HigherOrder and Symbol Computation formerly LISP and Symbolic Computation print ISSN 1388 3690 , online ISSN 1573 0557 is a computer science academic journal journal published by Springer Science Business Media . It focusses on programming concepts and abstractions and programming language theory . Editors Former Editor in chief editors in chief of the journal have been Richard P. Gabriel , Sun Microsystems, Inc. , USA 1988 &ndash 1991 Guy L. Steele, Jr. Guy L. Steele Jr. , Sun Microsystems, Inc., USA 1988 &ndash 1991 Robert R. Kessler , University of Utah , USA 1991 &ndash 1998 The current editors in chief are Olivier Danvy Aarhus University and Carolyn Talcott SRI International . Abstracting and indexing The journal is abstracted and indexed in InfoTrac Academic OneFile , ACM Computing Reviews , Association for Computing Machinery ACM Digital Library , Computer Abstracts International Database , Computer Science Index , Current Abstracts , EBSCO Industries EBSCO , EI Compendex , Inspec INSPEC , io port.net , PASCAL database PASCAL , Scopus , Serials Solutions Summon by Serial Solutions , VINITI Database RAS , and Zentralblatt MATH . See also Journal of Functional Programming Journal of Functional and Logic Programming Journal of Symbolic Computation External links Official http www.springer.com computer theoretical computer science journal 10990 http www.brics.dk hosc Journal page at Aarhus University http springerlink.metapress.com content 1573 0557 Online access http www.informatik.uni trier.de ley db journals lisp index.html DBLP http liinwww.ira.uka.de bibliography Ai higherordersymbcomput.html The Collection of Computer Science Bibliographies comp sci stub sci journal stub Category Computer science journals Category Springer academic journals ... more details
In many programming language s, code map code is the name of a higherorder function that applies a Procedural parameter given function to each element of a list computing list , returning a list of results. They are examples of both catamorphism s and anamorphism s. ex, map f foldr . f This is often called apply to all when considered a functional form . For example, if we define a function code square code as follows source lang haskell square x x x source Then calling code map square 1,2,3,4,5 code will return code 1,4,9,16,25 code , as map will go through the list, and apply the function code square code to each element. Language comparison The map function originated in functional programming languages but is today supported or may be defined in many procedural programming procedural , object oriented , and multi paradigm languages as well In C s Standard Template Library , it is called code transform code , in C 3.0 s LINQ library, it is provided as an extension method called code Select code . Map is also a frequently used operation in high level languages such as Perl , Python programming language Python and Ruby programming language Ruby the operation is called code map code in all three of these languages. A code collect code alias for code map code is also provided in Ruby from Smalltalk . Common Lisp provides a family of map like functions the one corresponding to the behavior described here is called code mapcar code code car code indicating access using the CAR and CDR CAR operation . There are also languages with syntactic constructs providing the same functionality ... ref . Map functions can be and often are defined in terms of a Fold higherorder function fold ... a mapped list, but is tail recursive. Here is an implementation which utilizes the fold higherorder ... References See also List comprehension foreach Fold higherorder function Convolution computer science , also known as conv or zip Free monoid MapReduce Category Higherorder functions Category ... more details
In functional programming , filter is a higherorder function that processes a data structure typically a list data structure list in some order to produce a new data structure containing exactly those elements of the original data structure for which a given predicate computer programming predicate returns the boolean value true. Example In Haskell programming language Haskell , the code example filter even 1..10 evaluates to the list 2, 4, 10 by applying the predicate code even code to every element of the list of integers 1, 2, 10 in that order and creating a new list of those elements for which the predicate returns the boolean value true, thereby giving a list containing only the even members of that list. Conversely, the code example filter not . even 1..10 evaluates to the list 1, 3, 9 by collecting those elements of the list of integers 1, 2 10 for which the predicate code even code returns the boolean value false with code . code being the function composition operator . Implementation Filter is a standard function for many programming language s, e.g. Haskell, ref name HaskellStandard http haskell.org onlinereport standard prelude.html vfilter code filter code in the Haskell Standard Prelude ref Objective Caml , ref name OcamlManual http caml.inria.fr pub docs manual ocaml libref List.html code filter code in the Objective Caml standard library module code list code ref Standard ML , ref cite web url http www.standardml.org Basis list.html SIG LIST.filter VAL work The Standard ML Basis Library title The List structure accessdate 2007 09 25 ref or Erlang programming language Erlang . ref http www.erlang.org doc doc 5.5.4 lib stdlib 1.14.4 doc html lists.html filter 2 code filter 2 code in the Erlang STDLIB Reference Manual documentation of the module code lists ... sharing . References references See also Map higherorder function List comprehension Guard computing Category Higherorder functions Category Articles with example Haskell code comp sci stub it Filter ... more details
function. Another easy result to see from this vantage point is to write the higherorder Map higherorder function map function in terms of code foldr code , by composing the function to act on the elements ... , a generalization of fold Homomorphism Map higherorder function Prefix sum Recursive data type ... Reflist External links http www.cse.unsw.edu.au en1000 haskell hof.html Higherorder functions map, fold and filter http www.cs.bham.ac.uk ard modules swh06.html Unit 6 The Higherorder fold ... 11 20 foldr the magic function The magic foldr Category Higherorder functions Category Recursion Category ... way to perform the structural transformation in a consistent manner, with the order of the two links ... binary functions, the order in which the elements are combined may influence the final result s value ... foldi1 f x x foldi1 f x xs f x foldi1 f pairs f xs source Evaluation order considerations In the presence ... code f code so it reverses the order of its arguments i.e. code foldr f z foldl flip f z . foldl ... of the traditional order. Universality Fold is a Type polymorphism polymorphic function . For any ... more details
primary sources date September 2011 Theorem Proving in HigherOrder Logics TPHOLs is an annual international academic conference on the topic of automated reasoning in higherorder logic s. The first TPHOLs was held in Cambridge , United Kingdom UK in 1987, but in the early years was an informal gathering of researchers interested in the HOL theorem prover HOL system and had no formal proceedings. Since 1990 TPHOLs has published formal peer reviewed proceedings, published by Springer Science Business Media Springer s Lecture Notes in Computer Science LNCS series. TPHOLs brings together the communities using many systems based on higherorder logic such as Coq , Isabelle theorem prover Isabelle , NuPRL , Prototype Verification System PVS , and Twelf . Individual workshops or meetings devoted to individual systems are usually held concurrently with the conference. Together with Conference on Automated Deduction CADE and TABLEAUX , TPHOLs is usually one of the three main conferences of the International Joint Conference on Automated Reasoning IJCAR whenever it convenes, In 2006, TPHOLs was part of the Federated Logic Conference FLoC held in Seattle , United States of America USA . TPHOLs is superseded by the international conference on Interactive Theorem Proving ITP , which combines the old TPHOLs with the ACL2 Workshop series. The first ITP meeting was in 2010, held as part of FLoC in Edinburgh , Scotland . External links http www.cl.cam.ac.uk Research HVG HOL Home page of the HOL group at the University of Cambridge , the traditional home of TPHOLs. DEFAULTSORT Theorem Proving In HigherOrder Logics Category Theoretical computer science conferences Category Logic conferences Compu conference stub ... more details
refimprove date October 2010 Definition The higherorder sinusoidal input describing functions HOSIDF were first introduced ref P.W.J.M. Nuij, O.H. Bosgra, M. Steinbuch, HigherOrder Sinusoidal Input Describing Functions for the Analysis of Nonlinear Systems with Harmonic Responses, Mechanical Systems and Signal Processing, 20 8 , 1883 1904, 2006 ref by http w3.wtb.tue.nl en people pages ?script showemp.php&pid 901 dr. ir. P.W.J.M. Nuij . The HOSIDFs are an extension of the sinusoidal input describing function ref Gelb, A., and W. E. Vander Velde Multiple Input Describing Functions and Nonlinear System Design, McGraw Hill, 1968. ref which describe the response gain and Phase waves phase of a system at harmonics of the base frequency of a sinusoidal input signal. The HOSIDFs bear an intuitive resemblance to the classical frequency response function and define the periodic output of a stable, Causal system causal , time invariant nonlinear system to a Sine wave sinusoidal input signal math u t gamma sin omega 0 t varphi 0 math This output is denoted by math y t math and consists of harmonics of the input frequency math y t sum limits k 0 K H k omega 0, gamma gamma k cos big k omega 0t varphi 0 angle H k omega 0, gamma big math Defining the single sided spectra of the input and output as math U omega math and math Y omega math , such that math U omega 0 gamma math yields the definition of the k th order HOSIDF math H k omega 0, gamma frac Y k omega 0, gamma U k omega 0, gamma math Advantages and applications The application and analysis of the HOSIDFs is advantageous both when a nonlinear model is already identified and when no model is known yet. In the latter case the HOSIDFs require little model assumptions and can easily be identified while requiring no advanced mathematical tools. Moreover, even when a model is already identified, the analysis of the HOSIDFs often yields significant advantages over the use of the identified nonlinear model. First of all, the HOSIDFs ... more details
Processing. ref Cite journal author L. Omberg, G. H. Golub and O. Alter title A Tensor HigherOrder .... References Reflist DEFAULTSORT HigherOrder Singular Value Decomposition Category Multilinear ... more details
Summary Non free use rationale Article HigherOrder Perl Description cover of the book described in this article Source author Portion entire cover Low resolution no Purpose to illustrate the article about the book Replaceability impossible to replace other information Licensing Non free book cover ... more details
Wiktionary higherHigher may refer to TOC right Education Higher Scottish , a Scottish national school leaving certificate exam and university entrance qualification Music The Higher , an American pop rock band Songs Higher Creed song Higher Creed song Higher Erik Gr nwall song Higher Erik Gr nwall song Higher Gloria Estefan song Higher Gloria Estefan song Higher Heidi Montag song Higher Heidi Montag song Higher The Saturdays song Higher The Saturdays song Higher Taio Cruz song Higher Taio Cruz song Higher The Game song Higher The Game song Higher , a song by Breakage from Foundation Breakage album Higher , a song by Ice Cube from the soundtrack for the film Higher Learning Higher , a song by Jason Becker from Perspective Jason Becker album Perspective Higher , a song by Sly & the Family Stone from Dance to the Music Sly and the Family Stone album Dance to the Music I Want to Take You Higher , a song by Sly & the Family Stone, a reworked version of HigherHigher , a song by Starstylers Higher , a song by Tiffany singer Tiffany Albums Higher Ala Boratyn album Higher Ala Boratyn album Higher Ezio album Higher Ezio album Higher Harem Scarem album Higher Harem Scarem album Higher ReinXeed album Higher ReinXeed album Higher Roch Voisine album Higher Roch Voisine album Higher Abundant Life Church album Higher Abundant Life Church album , an album by Abundant Life Church Higher Russell Robertson album Higher Russell Robertson album , an album by Russell Robertson Higher , a Sly and the Family Stone discography Compilations and other releases compilation album by Sly and the Family Stone disambig it Higher sv Higher ... more details
Encyclopedia
top
