heuristic information
111fuzzy logic — ☆ fuzzy logic n. 〚< fuzzy (set), coined (1965) by L. A. Zadeh, U.S. computer scientist〛 a type of logic used in computers and other electronic devices for processing imprecise or variable data: in place of the traditional binary values, fuzzy… …
112Dijkstra's algorithm — Not to be confused with Dykstra s projection algorithm. Dijkstra s algorithm Dijkstra s algorithm runtime Class Search algorithm Data structure Graph Worst case performance …
113Schrödinger equation — For a more general introduction to the topic, please see Introduction to quantum mechanics. Quantum mechanics …
114NOD32 — Infobox Software name = NOD32 caption = collapsible = author = developer = ESET released = latest release version = 3.0.672 latest release date = release date and age|2008|8|22 [cite web|url=http://www.eset.com/joomla/index.php?option=com content …
115K-means algorithm — The k means algorithm is an algorithm to cluster n objects based on attributes into k partitions, k < n. It is similar to the expectation maximization algorithm for mixtures of Gaussians in that they both attempt to find the centers of natural… …
116Pragma-dialectics — The pragma dialectical theory, developed by [http://home.medewerker.uva.nl/f.h.vaneemeren Frans H. van Eemeren] and Rob Grootendorst (see 1984; 1992; 2004) at the University of Amsterdam, is an argumentation theory that is used to analyze and… …
117AI winter — See also and An AI Winter is a collapse in the perception of artificial intelligence research. The term was coined by analogy with the relentless spiral of a nuclear winter: a chain reaction of pessimism in the AI community, followed by pessimism …
118John Scholz — Dr. John T. Scholz is the Francis Eppes Distinguished Professor of Political Science and a Courtesy Professor of Law at Florida State University. As the first political scientist to formulate the regulation game, [J.T. Scholz, Cooperation,… …
119IsaPlanner — [IsaPlanner 2: A Proof Planner in Isabelle. Lucas Dixon and Moa Johansson. System Description/Technical Report. 2007.] is a proof planner for the interactive proof assistant, Isabelle. Originally developed by Lucas Dixon [A Proof Planning… …
120Beschränkte Rationalität — Begrenzte Rationalität (oder eingeschränkte Rationalität) bezeichnet in der Wirtschaftswissenschaft ein Verhalten, das einerseits abgegrenzt wird von unbeschränkter Rationalität und Optimierung unter Nebenbedingungen, andererseits aber auch von… …