Cuixia Miao

dblp:28/8243 · DBLP profile ↗
← Back
5ranked-venue papers
3as first author
2since 2021 · last 2024
0000-0003-2448-2158ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 5 · 3 first-author · 2 since 2021Databases, data management, data science and information retrieval · 1 · 1 first-author
YearPublicationVenuePosition
2024 A set-theoretic approach to algebraic L-domains
abstract
Abstract In this paper, the notion of locally algebraic intersection structure is introduced for algebraic L-domains. Essentially, every locally algebraic intersection structure is a family of sets, which forms an algebraic L-domain ordered by inclusion. It is shown that there is a locally algebraic intersection structure which is order-isomorphic to a given algebraic L-domain. This result extends the classic Stone’s representation theorem for Boolean algebras to the case of algebraic L-domains. In addition, it can be seen that many well-known representations of algebraic L-domains, such as logical algebras, information systems, closure spaces, and formal concept analysis, can be analyzed in the framework of locally algebraic intersection structures. Then, a set-theoretic uniformity across different representations of algebraic L-domains is established.
Cuixia Miao, Longchun Wang
Math. Struct. Comput. Sci.3
2022 A Set-Theoretic Representation of Algebraic L-domains
Cuixia Miao, Longchun Wang
TAMC3
2012 Scheduling of deteriorating jobs with release dates to minimize the maximum lateness
Cuixia Miao, Yuzhong Zhang, Cuilian Wu
Theor. Comput. Sci.1
2011 Bounded parallel-batch scheduling on single and multi machines for deteriorating jobs
Cuixia Miao, Yuzhong Zhang
Inf. Process. Lett.1
2010 Bounded Parallel-Batch Scheduling on Unrelated Parallel Machines
Cuixia Miao, Yuzhong Zhang, Chengfei Wang
AAIM1