نتایج جستجو برای: enriched category

تعداد نتایج: 141231  

Journal: :Mathematical Proceedings of the Cambridge Philosophical Society 2018

Journal: :International Journal of Artificial Intelligence & Applications 2021

This paper presents a batch classifier that splits dataset into tree branches depending on the category type. It has been improved from earlier version and fixed mistake in paper. Two important changes have made. The first is to represent each with separate classifier. Each then classifies its own subset of data rows, using input values create centroid also itself. If contains more than one how...

Journal: :Mathematical Structures in Computer Science 2010
Mateusz Kostanek Pawel Waszkiewicz

In 1973 William Lawvere published a paper (reprinted as (Lawvere 2002)) where he explained that partial orders and metric spaces are examples of categories enriched in a closed category. Indeed, preorders are categories enriched over the two-element Boolean algebra 2, while (generalized) metric spaces are categories enriched over ([0,∞],+). Lawvere’s idea has been extremely influential in the f...

2014

The appropriateness of the Analytical Hierarchy Process (AHP) technique to analyze consumers’ acceptance of eggs was assessed for the first time and compared with the traditional 9-point hedonic scale. In addition, the relative importance of egg attributes (egg type: regular, free-range, enriched with omega-3; egg size: small, medium, large; origin: local, regional, other Spanish origin; and pr...

2006
Hongliang Lai Dexue Zhang

Suppose (Ω, ∗, I) is a commutative, unital quantale. Categories enriched over Ω can be studied as generalized, or many-valued, ordered structures. Because many concepts, such as complete distributivity, in lattice theory can be characterized by existence of certain adjunctions, they can be reformulated in the many-valued setting in terms of categorical postulations. So, it is possible, by aid o...

Journal: :Theor. Comput. Sci. 2005
Lutz Schröder Till Mossakowski Andrzej Tarlecki Bartek Klin Piotr Hoffman

We present a semantics for architectural specifications in Casl, including an extended static analysis compatible with model-theoretic requirements. The main obstacle here is the lack of amalgamation for Casl models. To circumvent this problem, we extend the Casl logic by introducing enriched signatures, where subsort embeddings form a category rather than just a preorder. The extended model fu...

Journal: :Indiana University Mathematics Journal 2021

Every $F$-inverse monoid can be equipped with the unary operation which maps each element to maximum of its $\sigma$-class. In this enriched signature, class all monoids forms a variety algebraic structures. We describe universal objects in several classes monoids, particular free monoids. More precisely, for every $X$-generated group $G$ we initial object category $F$ $F/\sigma=G$.

2015
Sang-Hun Bae Hyun Wook Han Jisook Moon

Genes can be divided into TATA-containing genes and TATA-less genes according to the presence of TATA box elements at promoter regions. TATA-containing genes tend to be stress-responsive, whereas many TATA-less genes are known to be related to cell growth or "housekeeping" functions. In a previous study, we demonstrated that there are striking differences among four gene sets defined by the pre...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید