Numbers and Languages

The thesis presents results obtained during the authors PhD-studies. First systems of language equations of a simple form consisting of just two equations are proved to be computationally universal. These are systems over unary alphabet, that are seen as systems of equations over natural numbers. The systems contain only an equation X+A=B and an equation X+X+C=X+X+D, where A, B, C and D are eventually periodic constants. It is proved that for every recursive set S there exists natural numbers p and d, and eventually periodic sets A, B, C and D such that a number n is in S if and only if np+d is in the unique solution of the abovementioned system of two equations, so all recursive sets can be represented in an encoded form. It is also proved that all recursive sets cannot be represented as they are, so the encoding is really needed. Furthermore, it is proved that the family of languages generated by Boolean grammars is closed under injective gsm-mappings and inverse gsm-mappings. The arguments apply also for the families of unambiguous Boolean languages, conjunctive languages and unambiguous languages. Finally, characterizations for morphisims preserving subfamilies of context-free languages are presented. It is shown that the families of deterministic and LL context-free languages are closed under codes if and only if they are of bounded deciphering delay. These families are also closed under non-codes, if they map every letter into a submonoid generated by a single word. The family of unambiguous context-free languages is closed under all codes and under the same non-codes as the families of deterministic and LL context-free languages.

Museot yhteisen muistin tukena

Kirjallisuusarvostelu

Monitoimimiehen elämäkerta

Kirjallisuusarvostelu

Terapeuttinen hengitys

Kirjallisuusarvostelu

Venäjän rooli Syyrian sisällissodan sovittelemisessa

Arabikevään levottomuudet levisivät maaliskuussa 2011 myös Syyriaan. Levottomuudet laajenivat myöhemmin täysimittaiseksi sisällissodaksi. Venäjän läheiset suhteet Syyriaan ja sen pysyvä jäsenyys YK:n turvallisuusneuvostossa tekevät maasta vaikutusvaltaisen tekijän haettaessa ratkaisua Syyriassa edelleen jatkuvaan sisällissotaan. Tämän tutkimuksen tarkoituksena on tarkastella Venäjän politiikkaa ja näkemyksiä Syyrian sisällissotaan liittyen. Tarkastelun kohteena on mielikuva, jollaisena Venäjä pyrkii näyttäytymään kansainvälisen yhteisön jäsenenä. Tutkimusongelmana on millaisen roolin Venäjä on ottanut Syyrian suhteen sisällissotaan johtaneessa kansannousussa. Aihetta tarkastellaan aineistoon perustuvan sisällönanalyysin avulla. Pääasiallisena aineistona käytetään Venäjän federaation presidentin tiedotteita sekä YK:n dokumentteja ja niihin liittyviä lehdistötiedotteita vuosilta 2011 ja 2012. Aineiston voidaan katsoa ilmentävän Venäjän identiteettiä. Tutkimusaineiston perusteella Venäjän voidaan nähdä luovan julkista mielikuvaa itsestään demokratian puolustajana ja itsenäisten valtioiden suvereniteetin tukijana, kansainvälisen oikeuden periaatteiden puolustajana sekä sovittelijana. Toiminnallaan Venäjä on puolustanut omia intressejään. Se voidaan nähdä piilotettuna roolina muiden roolien taustalla. Edellä mainitut roolit on muodostettu tutkimuksen aineistosta nousseita teemoja ryhmittelemällä. Niitä ei ole Venäjälle kansainvälisen yhteisön taholta asetettu, eikä Venäjä itse ole niitä julkisesti maininnut.

Kuinka representoida representaatioita?

Kirjallisuusarvostelu

Maatalousalueiden luonnon monimuotoisuuden, kosteikkojen ja suojavyöhykkeiden yleissuunnitelma : Pihtipudas

Maatalousalueiden suojavyöhykkeiden, luonnon monimuotoisuuden ja kosteikkojen yleissuunnittelun tavoitteena on kannustaa viljelijöitä maatalotalousympäristön luonnon hoitoon ja vesiensuojeluun. Tämä yleissuunnitelma sijoittuu Pihtiputaan pohjoisosaan Rönnyn, Elämäjärven, Peningin ja Liitonjoen kylille. Alueelta kartoitettiin kesällä 2011 kohteita, joiden perustamisessa ja hoidossa voidaan hyödyntää maatalouden ympäristötuen erityistukia tai ei-tuotannollisten investointien tukia. Suunnitelmaan sisältyy yhteensä 17 perinnebiotooppia, 27 luonnon monimuotoisuuden ja maiseman edistämisen kohdetta, 22 suojavyöhykkeen paikkaa ja 5 kosteikkokohdetta. Yleissuunnitelma toimii pohjana tarkemmille kohdekohtaisille suunnitelmille. Kohteiden hoitaminen ja tukien hakeminen on vapaaehtoista.

Self-assessment report for international accreditation - Bachelor's and Master's degree programmes in Information Technology

Lappeenrannan teknillisen yliopiston Tietotekniikan kandidaatin ja maisterin tutkinto-ohjelmien itsearviointi toteutettiin v. 2012 kansainvälistä akkreditointia varten. Itsearviointiraportissa kuvataan tutkinto-ohjelmien tavoitteet, toteutus ja arviointimenettelyt sekä tulokset.