Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,984,646 papers from all fields of science
Search
Sign In
Create Free Account
Hasse diagram
Known as:
Hasse
, Hasse diagrams
In order theory, a Hasse diagram (/ˈhæsə/; German: /ˈhasə/) is a type of mathematical diagram used to represent a finite partially ordered set, in…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
25 relations
Bipolar orientation
C-element
Controlled grammar
Diagram
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Generalized Hasse invariants for Shimura varieties of Hodge type
Jean-Stefan Koskivirta
,
T. Wedhorn
2015
Corpus ID: 55951565
We construct canonical Hasse invariants for arbitrary Shimura varieties of Hodge type. MSC 2010. 14G35, 14K10, 20G40, 11G18
2010
2010
Hasse Diagram Generators and Petri Nets
Mateus de Oliveira Oliveira
Fundamenta Informaticae
2010
Corpus ID: 18714615
In [18] Lorenz and Juhas raised the question of whether there exists a suitable formalism for the representation of infinite…
Expand
2008
2008
A new model of evaluating concept similarity
Lidong Wang
,
Xiaodong Liu
Knowledge-Based Systems
2008
Corpus ID: 30722272
2004
2004
Hasse Principle" for Finite p-Groups with Cyclic Subgroups of Index p2
Michitaku Fuma
,
Y. Ninomiya
2004
Corpus ID: 118112263
Let G be a group. A map f : G −→ G satisfying f(xy) = f(x)f(y)x for every x, y ∈ G, where f(y)x = xf(y)x−1, is called a cocycle…
Expand
2003
2003
Merging individual conceptual models of requirements
D. Richards
Requirements Engineering
2003
Corpus ID: 35716812
While it is acknowledged that system requirements will never be complete, incompleteness is often due to an inadequate process…
Expand
2002
2002
A Controlled Language to Assist Conversion of Use Case Descriptions into Concept Lattices
D. Richards
,
Kathrin Böttger
,
Oscar Aguilera
Australian Joint Conference on Artificial…
2002
Corpus ID: 35052858
System requirements are often incomplete and riddled with contradictions leading to failed projects. Formal methods have been…
Expand
2001
2001
Bridging the gap between Use Case Analysis and Class Structure Design by Formal Concept Analysis
Stephan Düwel
,
W. Hesse
2001
Corpus ID: 12487590
The early stages of software development are increasingly supported by objectoriented analysis and design (OOA/OOD) techniques…
Expand
Review
1999
Review
1999
Excitation and visibility of high-degree modes in stars
L. Balona
,
W. Dziembowski
1999
Corpus ID: 84835913
ABSTRA C T Observational evidence for excitation of non-radial modes in stars is confronted with the results of linear stability…
Expand
Highly Cited
1998
Highly Cited
1998
Quasi-Upward Planarity
P. Bertolazzi
,
G. Battista
,
W. Didimo
Algorithmica
1998
Corpus ID: 18651701
AbstractAn upward planar drawing of a directed graph (digraph) is a planar drawing such that all the edges are represented by…
Expand
1987
1987
Codes on the Klein quartic, ideals, and decoding
J. Hansen
IEEE Transactions on Information Theory
1987
Corpus ID: 42978773
A sequence of codes with particular symmetries and with large rates compared to their minimal distances is constructed over the…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE