|
Lattice Miner
Lattice Miner is a formal concept analysis software tool for the construction, visualization and manipulation of concept lattices. It allows the generation of formal concepts and association rules as well as the transformation of formal contexts via apposition, subposition, reduction and object/attribute generalization, and the manipulation of concept lattices via approximation, projection and selection. Lattice Miner allows also the drawing of nested line diagrams. Introduction Formal concept analysis (FCA) is a branch of applied mathematics based on the formalization of concept and concept hierarchy and mainly used as a framework for conceptual clustering and rule mining. Over the last two decades, a collection of tools have emerged to help FCA users visualize and analyze concept lattices. They range from the earliest DOS-based implementations (e.g., ConImp and GLAD) to more recent implementations in Java like ToscanaJ, Galicia, ConExp and Coron. A main issue in the develo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lattice (order)
A lattice is an abstract structure studied in the mathematical subdisciplines of order theory and abstract algebra. It consists of a partially ordered set in which every pair of elements has a unique supremum (also called a least upper bound or join) and a unique infimum (also called a greatest lower bound or meet). An example is given by the power set of a set, partially ordered by inclusion, for which the supremum is the union and the infimum is the intersection. Another example is given by the natural numbers, partially ordered by divisibility, for which the supremum is the least common multiple and the infimum is the greatest common divisor. Lattices can also be characterized as algebraic structures satisfying certain axiomatic identities. Since the two definitions are equivalent, lattice theory draws on both order theory and universal algebra. Semilattices include lattices, which in turn include Heyting and Boolean algebras. These ''lattice-like'' structures ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Rudolf Wille
Rudolf Wille (2 November 1937 – 22 January 2017) was a German mathematician and was professor of General Algebra from 1970 to 2003 at Technische Universität Darmstadt (TU Darmstadt). His most celebrated work is the invention of formal concept analysis, an unsupervised machine learning technique that applies mathematical lattice theory to organize data based on objects and their shared attributes. An accomplished musician and has also made contributions to Mathematics in Music, Mathematical Pedagogy and the Philosophy of Science, Wille played an active leadership role in the concept lattice research community. Wille was a member of the Board of Directors of the Institute for Philosophy at TU Darmstadt from 1976. From 1983, was leader of the research group on Formal concept analysis and from 1993 Chairman of the "Ernst Schröder Center for Conceptual Knowledge Engineering". Wille was also a founding member of the Center for Inter-Disciplinary Research in Darmstadt and main ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Pascal Hitzler
Pascal Hitzler is a German American computer scientist specializing in Semantic Web and Artificial Intelligence. He is endowed Lloyd T. Smith Creativity in Engineering Chair and Director of the Center for Artificial Intelligence and Data Science at Kansas State University, and the founding Editor-in-Chief of the Semantic Web journal and the IOS Press book series ''Studies on the Semantic Web''. Education Hitzler received a Diplom in Mathematics from the University of Tübingen in Germany in 1998. He has a PhD in Mathematics from the National University of Ireland, University College Cork, 2001. Career Hitzler received the title of 2018 Brage Golding Distinguished Professor of Research during his tenure at Wright State University, where he was endowed NCR Distinguished Professor. From 2004 to 2009 he was first Wissenschaftlicher Mitarbeiter (as postdoc) and then Akademischer Rat at the Institute for Applied Informatics and Formal Description Methods at the University of Karlsr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Henrik Schärfe
Henrik Schärfe (born 1968) is a Danish former professor at Aalborg University, where he directed the Center for Computer-mediated Epistemology within the Department of Communication and Psychology at Aalborg University. He has been known through the Hiroshi Ishiguro Hiroshi Ishiguro (石黒浩 ''Ishiguro Hiroshi'') is director of the Intelligent Robotics Laboratory, part of the Department of Systems Innovation in the Graduate School of Engineering Science at Osaka University, Japan. A notable development of ...-inspired and Kokoro-built robot Geminoid-DK, built to resemble himself. The Geminoid-DK project landed him on the Time top 100 list of the most influential people in 2012. References External links Henrik Scharfes website at Aalborg UniversityHenrik Scharfes personal websiteGeminoid-DK project website Geminoid DK Mechanical Test demonstration video on YouTube {{DEFAULTSORT:Scharfe, Henrik 1968 births Living people Aalborg University faculty ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Shaker Verlag
Shaker Verlag is a German publishing house located in Düren and Maastricht, established in 1986 by Dr. Chaled Shaker. Shaker Verlag is a publisher of scientific literature, especially monographs and dissertations. More than 20,000 booksShaker Verlag''25 Jahre wissenschaftliches Publizieren.''Retrieved 26 August 2010 are in stock, many of them in English, also sold as PDF-files for immediate download. In addition, more than 400 series have been published (publications by scientific institutions, research results as well as conference and congress proceedings of European events and meetings). In 2007, the subsidiary ''Shaker Media GmbH'' in Herzogenrath was formed to promote a hybrid solution combining the original publishing activity and modern Print on demand technology. In contrast to the main business, this company addresses the general book market. Similar to other Book on Demand services, anyone can upload a finished book without additional costs. Criticism Similarly to Omn ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hasse Diagram
In order theory, a Hasse diagram (; ) is a type of mathematical diagram used to represent a finite partially ordered set, in the form of a drawing of its transitive reduction. Concretely, for a partially ordered set ''(S, ≤)'' one represents each element of ''S'' as a vertex in the plane and draws a line segment or curve that goes ''upward'' from ''x'' to ''y'' whenever ''y'' ≠ ''x'' and ''y'' covers ''x'' (that is, whenever ''x'' ≤ ''y'' and there is no ''z'' such that ''x'' ≤ ''z'' ≤ ''y''). These curves may cross each other but must not touch any vertices other than their endpoints. Such a diagram, with labeled vertices, uniquely determines its partial order. The diagrams are named after Helmut Hasse (1898–1979); according to , they are so called because of the effective use Hasse made of them. However, Hasse was not the first to use these diagrams. One example that predates Hasse can be found in . Although Hasse diagrams were originally devised as a technique fo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
