Filters
A Catalytic P System with Two Catalysts Generating a Non-Semilinear Set
example of such a P system generating a non-semilinear set was known. The present to generate a non-semilinear set in a catalytic P system with two catalysts remains open....
IN - Informatika
- 2013 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
On the Home-Space Problem for Petri Nets
-space problem” for Petri nets (that asks if a given semilinear set H is a home-space for a given semilinear set X of markings of a Petri net). We used an approach constructing semilinear “non-rea...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2024 •
- C •
- Link
Rok uplatnění
C - Kapitola v odborné knize
Výsledek na webu
The Semilinear Home-Space Problem Is Ackermann-Complete for Petri Nets
, given a Petri net and semilinear sets of configurations X, H, if H is a home-space set of configurations L we can effectively compute a semilinear set C of configurations, called a non-reachabil...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2023 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
On the home-space problem for Petri nets and its Ackermannian complexity
, given a Petri net and semilinear sets of configurations X, H, if H is a home-space semilinear set of configurations H we can effectively compute a semilinear set C of configurations, called a
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2024 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
On the Power of Catalytic P Systems with One Catalyst
a language with non-semilinear Parikh image as well as an example of a P system with one catalyst generating a non-semilinear vector set....
IN - Informatika
- 2015 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Implicational (Semilinear) Logics II: Additional Connectives and Characterizations of Semilinearity
(4):417–446, 2010). We continue the abstract study of non-classical logics based on the kind of generalized implication connectives they possess and we focus on semilinear the implication defines a linear order. We obtain general ch...
BA - Obecná matematika
- 2016 •
- Jx •
- Link
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Fuzzy Relation Equations in Semilinear Space
The problem of solvability of a system of equations with infr composition has been considered in semilinear spaces. We used the fact that a set of solutions is determined by maximal solutions and therefore, we focused on characteriz...
BA - Obecná matematika
- 2006 •
- A
Rok uplatnění
A - Audiovizuální tvorba
Stability of Solutions to Semilinear Stochastic Evolution Equations.
Global and local stabilities of the zero solution to semilinear stochastic partial differential equations with non-Lipschitz drift terms are studied....
BA - Obecná matematika
- 1999 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
System of fuzzy relation equations with inf-> composition: complete set of solutions
The problem of solvability of a system of equations with infr composition has been considered in semilinear spaces. We used the fact that a set of solutions is determined by maximal solutions and therefore, we focused on characteriz...
BA - Obecná matematika
- 2008 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Contraction and Dilation Operators in a Semilinear Space over Residuated Lattice
The notion of a semilinear space over residuated lattice is introduced. Two problems of solvability of systems of linear-like equations with sup-* or inf--> compositions are considered in a finite semilinear space. We prove that eac...
BA - Obecná matematika
- 2008 •
- D
Rok uplatnění
D - Stať ve sborníku
- 1 - 10 out of 148 242