issues
search
mirelon
/
membrane_computing
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
3 kopie protokolu o originalite
#261
mirelon
closed
7 years ago
0
Navrh skolitela na oponentov
#260
mirelon
closed
7 years ago
0
Vytlacit ziadost o povolenie obhajoby
#259
mirelon
closed
7 years ago
0
Vytlacit titulny list
#258
mirelon
closed
7 years ago
0
Vyzdvihnut pevnu vazbu
#257
mirelon
closed
7 years ago
0
Posudok od skolitela
#256
mirelon
closed
7 years ago
0
Potvrdenie o vysporiadani zavazkov
#255
mirelon
closed
7 years ago
0
Kopia VS diplomu
#254
mirelon
closed
7 years ago
0
Licencna zmluva
#253
mirelon
closed
7 years ago
0
Autoreferat
#252
mirelon
closed
7 years ago
0
Zivotopis
#251
mirelon
closed
7 years ago
0
Acknowledgement
#250
mirelon
closed
7 years ago
0
Answer the question why we have not done the bisimulation completely
#249
mirelon
closed
6 years ago
1
Define bisimulation for inhibitors proof
#248
mirelon
closed
7 years ago
2
Introduce chapter 4
#247
mirelon
closed
7 years ago
0
Introduce 3rd chapter
#246
mirelon
closed
7 years ago
0
Change goal formulation in introduction
#245
mirelon
closed
7 years ago
0
Extend intro for chapter 4
#244
mirelon
closed
7 years ago
0
Switch order of CLS and P systems in chapter 1
#243
mirelon
closed
7 years ago
1
More models in chapter 1
#242
mirelon
closed
7 years ago
2
Chapter with title case (in the introduction)
#241
mirelon
closed
7 years ago
0
Change year to 2015 on the front page
#240
mirelon
closed
7 years ago
0
Remove Lemma 4.2.1 or use new definition of add operation
#239
mirelon
closed
7 years ago
1
Nahrať prácu do AISu
#238
mirelon
closed
7 years ago
0
Clean up references
#237
mirelon
closed
8 years ago
0
Explain 'boustrophedonic'
#236
mirelon
closed
8 years ago
0
Fix example 1
#235
mirelon
closed
8 years ago
0
Fix definition of n-register machine
#234
mirelon
closed
8 years ago
0
Reformulate computation step definition
#233
mirelon
closed
8 years ago
1
Add a constraint on presence of dissolution rules
#232
mirelon
closed
8 years ago
1
Clarify membrane structure string representation
#231
mirelon
closed
8 years ago
0
Compare the three semantics in other way
#230
mirelon
closed
7 years ago
1
PsFL is never used
#229
mirelon
closed
8 years ago
0
Grammatical issues
#228
mirelon
closed
8 years ago
0
Illustrate Matryoshka doll encoding
#227
mirelon
closed
8 years ago
0
Allow skin to have label other than 1
#226
mirelon
closed
8 years ago
0
Add a precondition to membrane creation rule
#225
mirelon
closed
8 years ago
0
Define skin properties
#224
mirelon
closed
8 years ago
0
Propose further study in the end of section 4
#223
mirelon
closed
8 years ago
0
Add an image showing membrane structure
#222
mirelon
closed
7 years ago
0
Mention finite trees
#221
mirelon
closed
8 years ago
0
Explain better why the set membrane systems are deterministic in maximal parallel mode
#220
mirelon
closed
8 years ago
0
Define application of rule
#219
mirelon
closed
7 years ago
0
Inspirations from "Decidability questions for Petri nets"
#218
mirelon
closed
7 years ago
0
Use inhibitor set instead of just one inhibitor in theorem 4.1.2
#217
mirelon
closed
8 years ago
0
Switch the direction of a reduction in subsection Existence of halting computation
#216
mirelon
closed
8 years ago
0
Add a note after Lemma 4.2.4 that it does not have to correspond with a computation
#215
mirelon
closed
8 years ago
0
Explain the open problem in the discussion after Theorem 4.2.1
#214
mirelon
closed
7 years ago
0
Remove precondition for the type of P system in Lemma 4.2.2
#213
mirelon
closed
7 years ago
0
Add "which can simulate register machines" to the proof 4.2.1
#212
mirelon
closed
8 years ago
0
Next