Search results for "Akka"
showing 10 items of 295 documents
All congruences below stability-preserving fair testing or CFFD
2020
AbstractIn process algebras, a congruence is an equivalence that remains valid when any subsystem is replaced by an equivalent one. Whether or not an equivalence is a congruence depends on the set of operators used in building systems from subsystems. Numerous congruences have been found, differing from each other in fine details, major ideas, or both, and none of them is good for all situations. The world of congruences seems thus chaotic, which is unpleasant, because the notion of congruence is at the heart of process algebras. This study continues attempts to clarify the big picture by proving that in certain sub-areas, there are no other congruences than those that are already known or …
Sara Stridsberg: Rakkauden Antarktis
2019
Kirja-arvostelu teoksesta Sara Stridsberg: Rakkauden Antarktis (Kärlekens Antarktis). Suom. Outi Menna. Tammi 2019. 303 s. nonPeerReviewed
Perceptions of convenience, risk and enjoyment in online shopping
2015
As online shopping is getting more common all the time and competition over customers increases, companies should draw attention to the customer perception of online shopping. Therefore, the present study aims to describe and understand the customer online shopping perception in every stage of the online shopping process. Online shopping has been studied earlier from the viewpoints of the ease of use and the usefulness but as the quickness and easiness of shopping have been found to be factors that motivate customers to use online stores, the customer perception of the convenience of online shop use will be investigated in the present study. In addition to the convenience, the risk and the …
Arvon yhteisluonti Saas-ohjelmistojen kehityksessä
2016
Tässä tutkimuksessa tarkastellaan arvon yhteisluomisen ilmiötä SaaS-mallisten ohjelmistojen kehityksessä. Tutkimuksen tavoitteena on lisätä ymmärrystä arvon yhteisluonnin ilmiöstä SaaS-ohjelmistojen kehityksen näkökulmasta. Tutkimuksessa tehdään johtopäätöksiä tutkittavasta ilmiöstä ensiksi kirjallisuuskatsauksen avulla. Kirjallisuuskatsauksen perusteella tehtyjen havaintojen avulla muodostetaan arvon yhteisluontia SaaS-ohjelmistojen kehityksessä kuvaava malli. Tämän mallin avulla suoritetaan laadullisia haastatteluita, joista tehtyjä havaintoja verrataan kirjallisuuskatsauksessa tehtyihin havaintoihin. Tutkimuksen tuloksena on havainto vuorovaikutussuhteen tarpeellisuudesta arvon yhteisluo…
Kalmbergin kartasto R VI : List 7
1855
Pohjoismaisen Vastarintaliikkeen kieltäminen ja sen seuraukset
2020
Kansallissosialistisen Pohjoismaisen Vastarintaliikkeen toiminta on kielletty Suomessa. Järjestö vaikuttaa reagoineen kieltoon perustamalla uusia ryhmiä sekä hajauttamalla toimintaansa. Tulevan kehityksen kannalta merkityksellistä on, millaisia johtopäätöksiä viranomaiset tekevät järjestön kieltämisestä, sekä miten he reagoivat mahdollisiin yrityksiin jatkaa järjestön toimintaa. nonPeerReviewed
Values of love: two forms of infinity characteristic of human persons
2020
AbstractIn his late reflections on values and forms of life from the 1920s and 1930s, Husserl develops the concept of personal value and argues that these values open two kinds of infinities in our lives. On the one hand personal values disclose infinite emotive depths in human individuals while on the other hand they connect human individuals in continuous and progressive chains of care. In order to get at the core of the concept, I will explicate Husserl’s discussion of personal values of love by distinguishing between five related features. I demonstrate that values of love (1) are rooted in egoic depts and define who we are as persons, (2) differ from objective values in being absolute …
Kalmbergin kartasto R V : List 8
1855
Fast Poisson solvers for graphics processing units
2013
Two block cyclic reduction linear system solvers are considered and implemented using the OpenCL framework. The topics of interest include a simplified scalar cyclic reduction tridiagonal system solver and the impact of increasing the radix-number of the algorithm. Both implementations are tested for the Poisson problem in two and three dimensions, using a Nvidia GTX 580 series GPU and double precision floating-point arithmetic. The numerical results indicate up to 6-fold speed increase in the case of the two-dimensional problems and up to 3- fold speed increase in the case of the three-dimensional problems when compared to equivalent CPU implementations run on a Intel Core i7 quad-core CPU…