Desde una arqueología inclusiva, por un pasado mejor. Un ensayo epistemológico y axiológico

En este trabajo se reflexiona sobre la necesidad de un marco epistemológico inclusivo que aborde la multivocalidad de los procesos históricos objeto de estudio y permita crear relatos históricos más plurales y representativos. Pero el relato sobre el pasado será mejor si, además de ser inclusivo a nivel epistemológico, también contribuye de alguna manera a mejorar la sociedad actual. Por ello se reclama una arqueología que incluya una preocupación axiológica y busque posibles ámbitos de aplicación para los resultados de sus investigaciones. Ejemplificamos esta reivindicación con un caso de estudio sobre cerámica, que subraya que los objetos cotidianos fueron y son utilizados en las estrategias de construcción social de la desigualdad. En este contexto se reclama la toma de consciencia de esta práctica en la actualidad y la renuncia a determinados recursos discursivos. Por ejemplo, se propone retomar el concepto inclusivo, este vez para oponerlo a la significación social del adjetivo exclusivo. Aunque todas estas reflexiones derivan de casos de estudio de arqueología histórica, pueden ser útiles a la arqueología en general, sin sesgo cronológico alguno.

Magnetic field generation during intense laser channelling in underdense plasma

Channel formation during the propagation of a high-energy (120 J) and long duration (30 ps) laser pulse through an underdense deuterium plasma has been spatially and temporally resolved via means of a proton imaging technique, with intrinsic resolutions of a few micron and a few ps, respectively. Conclusive proof is provided that strong azimuthally symmetric magnetic fields with a strength of around 0.5 MG are created inside the channel, consistent with the generation of a collimated beam of
relativistic electrons. The inferred electron beam characteristics may have implications for the cone-free fast-ignition scheme of inertial confinement fusion

Food for Pollinators: Quantifying the Nectar and Pollen Resources of Urban Flower Meadows

Planted meadows are increasingly used to improve the biodiversity and aesthetic amenity value of urban areas. Although many ‘pollinator-friendly’ seed mixes are available, the floral resources these provide to flower-visiting insects, and how these change through time, are largely unknown. Such data are necessary to compare the resources provided by alternative meadow seed mixes to each other and to other flowering habitats. We used quantitative surveys of over 2 million flowers to estimate the nectar and pollen resources offered by two exemplar commercial seed mixes (one annual, one perennial) and associated weeds grown as 300m2 meadows across four UK cities, sampled at six time points between May and September 2013. Nectar sugar and pollen rewards per flower varied widely across 65 species surveyed, with native British weed species (including dandelion, Taraxacum agg.) contributing the top five nectar producers and two of the top ten pollen producers. Seed mix species yielding the highest rewards per flower included Leontodon hispidus, Centaurea cyanus and C. nigra for nectar, and Papaver rhoeas, Eschscholzia californica and Malva moschata for pollen. Perennial meadows produced up to 20x more nectar and up to 6x more pollen than annual meadows, which in turn produced far more than amenity grassland controls. Perennial meadows produced resources earlier in the year than annual meadows, but both seed mixes delivered very low resource levels early in the year and these were provided almost entirely by native weeds. Pollen volume per flower is well predicted statistically by floral morphology, and nectar sugar mass and pollen volume per unit area are correlated with flower counts, raising the possibility that resource levels can be estimated for species or habitats where they cannot be measured directly. Our approach does not incorporate resource quality information (for example, pollen protein or essential amino acid content), but can easily do so when suitable data exist. Our approach should inform the design of new seed mixes to ensure continuity in floral resource availability throughout the year, and to identify suitable species to fill resource gaps in established mixes.

Hyvinvointia mittaamalla–arvoa tuottava wellness-teknologian käyttö

Elintason kohoaminen, yhteiskunnan arvomuutokset ja väestön ikääntyminen ovat vaikuttaneet siihen, että kuluttajat kiinnittävät nykyään enemmän huomiota terveyteensä ja hyvinvointiinsa. Wellness-markkinat kasvavat voimakkaasti ja wellness-suuntautuneisuuden yleistyessä myös wellness-teknologian käyttö on yleistynyt. Teknologia on muuttunut mobiilimmaksi, integroituneemmaksi ja käyttäjäläheisemmäksi ja siten uudenlainen ihmisten ja koneiden yhteistyö on mahdollistunut. Hyvinvointia mittaavat elektroniset laitteet ovat yhä kehittyneempiä ja niillä mitataan esimerkiksi unta, kilometrejä, palautumista, kehonkoostumusta, sykettä, mielialaa ja kaloreita. Tämän tutkimuksen tarkoituksena oli kartoittaa millaista arvoa kuluttajat tavoittelevat ja kokevat käyttäessään wellness-teknologiaa. Tutkimuksen pääongelma, millaista arvoa kuluttajat tavoittelevat ja kokevat käyttäessään wellness-teknologiaa, jaettiin kolmeen osaongelmaan: Miten wellness-teknologian käyttäjät suhtautuvat terveyteen ja kokonaisvaltaiseen hyvinvointiin? Millaisista arvon tyypeistä wellness-teknologian käyttäjien kokema arvo muodostuu? Miten arvon yhteisluominen näyttäytyy wellness-teknologian käytössä? Tutkimuksen teoreettiseksi lähtökohdaksi otettiin wellness-mallit, koettu arvo ja arvon yhteisluominen. Tutkimuksen empiirinen aineisto kerättiin haastattelemalla wellness-teknologian käyttäjiä. Haastateltavien löytämiseksi tehtiin kartoittava kyselylomake, jonka tarkoituksena oli sekä löytää että luokitella haastateltavat sopiviin haastatteluryhmiin ja kartoittaa wellnesss-teknologian käytön syitä. Haastatteluryhmissä oli erilaisia hyvinvointia mittaavia laitteiden käyttäjiä. Haastatteluaineiston tutkimisessa käytettiin laadullista sisällönanalyysiä. Tutkimustulosten mukaan wellness-teknologian käyttäjät arvostivat terveyttä ja kokonaisvaltaista hyvinvointia ja olivat valmiita näkemään vaivaa niiden eteen. Wellness-teknologian käyttäjät mittasivat esimerkiksi unta, haitallisia mikrobeja, kilometrejä, palautumista, sykettä, kehonkoostumusta, mielialaa ja kaloreita. Yleisin käytetty wellness-laite oli aktiivisuusranneke. Suurin osa tutkituista oli käyttänyt wellness-teknologiaa kolme vuotta tai vähemmän. Tärkeimmät käyttäjien kokemat arvotyypit olivat tehokkuus ja erinomaisuus. Wellness-teknologian avulla saatua tehokkuutta päämäärien ja tavoitteiden toteuttamisessa sekä laitteiden ylivertaisia ominaisuuksia tai soveltuvuutta omaan käyttöön arvostettiin. Käyttäjät kokivat myös esteettistä ja eettistä arvoa, sekä status- ja leikkiarvoa. Henkisyyttä ei wellness-teknologian käytössä koettu. Arvon yhteisluominen näyttäytyi wellness-teknologian käytössä heikosti. Yritysten tulisikin tehostaa arvonluontiaan erityisesti ostotilanteessa tapahtuvassa vuorovaikutuksessa

Digitaalisen markkinoinnin ulkoistaminen: Kvantitatiivinen tutkimus Varsinais-Suomen alueen yritysten näkemyksestä

Digitaalisen markkinoinnin ulkoistamisesta ei ole merkittävissä määrin tehty tutkimusta, vaikka sekä ulkoistamista että digitaalista markkinointia on kumpaakin tahoillaan tutkittu paljonkin. Digitaalinen markkinointi lienee kuitenkin yksi niistä toiminnoista, joiden ulkoistamista yrityksen kannattaa harkita, jotta se pystyy paremmin keskittymään omiin ydintoimintoihinsa. Tässä tutkielmassa haluttiinkin tarkastella yritysten digitaalisen markkinoinnin ulkoistamista erityisesti ulkoistamiselta odotettavien hyötyjen ja siihen liittyvien huolien osalta sekä sitä, millaiselle toimistolle yritykset ulkoistavat digitaalista markkinointiaan. Lisäksi tarkasteltiin yritysten digitaalisen markkinoinnin hyödyntämistä: millaisia tavoitteita ja haasteita yrityksillä on digitaalisen markkinoinnin suhteen ja eroavatko nämä tavoitteet ja haasteet digitaalista markkinointia ulkoistavien ja ei-ulkoistavien yritysten kesken. Tutkimuksen empiirisessä osuudessa käytettiin kvantitatiivista tutkimusmenetelmää. Aiemman kirjallisuuden pohjalta muodostettiin hypoteeseja, joiden paikkansapitävyyttä tämän aineiston osalta tarkasteltiin. Aineisto kerättiin Internet-kyselyn avulla. Kyselyssä käytetyt mittarit pohjautuvat aiempaan kirjallisuuteen. Kyselylinkki lähetettiin Varsinais-Suomen alueella toimiviin yrityksiin eri rekistereiden kautta. Vastauksia saatiin 57 kappaletta, ja lopullinen aineisto muodostui 52 vastauksesta. Aineisto koostui enimmäkseen pienistä yrityksistä, ja vastaajien joukossa oli sekä B2C- että B2B-yrityksiä. Aineiston analysoinnissa käytettiin lähinnä kuvailevia tilastollisia menetelmiä, tässä tapauksessa frekvenssejä ja keskiarvoa. Digitaalisen markkinoinnin ulkoistamiseen liittyvien huolien osalta selvisi, että riippuvaisuus palveluntarjoajasta oli suurimpien huolten joukossa sekä ulkoistavilla että ei-ulkoistavilla yrityksillä. Palveluntarjoajan epäluotettavuus taas oli pienimpien huolten joukossa kummassakin ryhmässä. Sen sijaan ulkoistettujen taitojen menettäminen omassa yrityksessä oli ulkoistavien yritysten pienimpiä ja ei-ulkoistavien suurimpia huolia: digitaalisen markkinoinnin ulkoistamisella oli tilastollisesti merkitsevä vaikutus siihen, pitääkö yritys ulkoistettujen taitojen menettämistä omassa yrityksessä digitaalisen markkinoinnin ulkoistamiseen liittyvänä huolena. Digitaalisen markkinoinnin ulkoistamiselta odotettavien hyötyjen osalta laatu, tehokkuus sekä palveluntarjoajan hyvä reagointikyky olivat ulkoistaville yrityksille tärkeimmät odotetut hyödyt, kun taas pienemmät kiinteät kustannukset, kustannussäästöt sekä pienemmät riskit olivat vähiten tärkeitä odotettuja hyötyjä. Tutkimuksessa selvisi myös, että suurin osa digitaalista markkinointia ulkoistavista vastaajista ulkoistaa siihen erikoistuneelle toimistolle eli digitaalisen markkinoinnin toimistolle tai yksittäiseen osa-alueeseen erikoistuneelle toimistolle.

Wildlife as a Priority in Park Development: A Study of Illinois Park Professionals

The purpose of this thesis is to consider the factors that impact decision making in city park settings, with specific emphasis given to wildlife. Additionally, professional bias was considered as a possible response determinant. Studies connecting perceptions of wildlife and Illinois park managers have been rare or nonexistent, but offer the potential for the improvement of management strategies and recreational opportunities. Data was collected using mixed methods. City recreation practitioners statewide were invited to complete a self-administered questionnaire considering wildlife as a decision-making factor in land acquisition or restoration decisions. A small follow-up sample of park managers was interviewed via telephone for further explanation of their response. Analysis of responses from questionnaires and interviews suggested that wildlife habitat is a factor in land use decision making, but is not considered one of the highest importance. Respondents identified that nuisance wildlife, access to wildlife, and public value of wildlife were also factors in decision making. Factors associated with a high-ranking of the importance of wildlife were agencies with a high number of natural area acres, a high number of overall park acreage, personnel devoted to natural area management, the presence of hiking trails, and cities with a large population. Professional bias of recreation managers was suggested via anecdotal interview data, but could not be empirically connected with wildlife-related decision-making processes, as no managers identified themselves as having completed formal wildlife-related training. As a result, management implications include separate training for both practitioners and public. This study broadens the understanding of wildlife management in city park settings, and reaffirms that further understanding of public and pracitioner values of wildlife will lead to improved land use decisions and recreationally valuable experiences.

Composts addition may improve biology in cotton soils

Composts can provide a source of organic carbon and nutrients for soil biota and increase soil fertility as well as provide other biological and structural benefits hence compost addition to cotton soils is seen as a way to improve cotton soil biological health and fertility. In a six month incubation experiment we analysed the changes in microbial populations and activities related to C and N cycling following the application of feedlot, poultry manure and gin trash compost materials. A significant variation in the chemical composition, e.g. major nutrients and trace elements, was found between the three compost products. The feedlot compost generally contained higher levels of dissolved organic carbon, total nitrogen and bicarbonate extractable phosphorus whereas the Gin trash compost had lower carbon and nutrient concentrations. The effect of compost addition @ 5 and 10t/ha generally increased microbial activity but the effect was only evident during the first two weeks of incubation. Composts effects on the abundance of total bacteria (16S), nitrifying (amoA), nitrogen fixing (nifH) and denitrifying bacteria (nosZ) and total fungi (ITS gene) varied between different composts. The addition of feedlot and poultry compost material significantly increased the levels of dissolved organic carbon (DOC) and nitrogen (DON) in soil compared to that in control soils while ‘Gin trash’ compost had no effect. These differences reflected in the microbial catabolic diversity changes in the compost amended soils. Therefore, chemical analysis of the compost material before application is recommended to more fully consider its’ potential benefits.

Tulevaisuuden energiatehokas teollisuuspuisto

Tutkimuksessa selvitetään uusiutuvien energiateknologioiden soveltumista valmistavan teknologiateollisuuden toimintaan ja teollisuuspuistossa toimimisen tuottamia mahdollisia etuja yritysten energiankäytön osalta. Toimimalla teollisuuspuistossa yritykset voivat hyötyä alueen vahvasta infrastruktuurista ja vastata tulevaisuuden kiristyviin tehokkuus- tai vähähiilisyysvaatimuksiin. Teollisuuspuistot mahdollistavat teollisten symbioosien syntymisen sekä energianhankinnan ja -käytön huomattavat mittakaavahyödyt. Useissa teknologiayrityksissä energian kustannukset ovat olleet vähällä huomiolla, sillä ne eivät ole yritysten ydinliiketoimintaa tai vaikuta merkittävästi tuotantoprosessiin. Oikein mitoitettuna paikalliset energian tuotantotavat ja energiatehokkuustoimet voivat olla kannattavia investointeja jo tänään. Tulevaisuudessa teollisuuspuistot voivat osoittautua kiinnostaviksi sijaintikohteiksi energiavarastoille. Tuloksissa esitetään näkemys erilaisten paikallisten uusiutuvien energiantuotantomuotojen ja synteettisten polttoaineiden tuotannon soveltumisesta valmistavan teollisuuden keskittymään. Teollisuuspuiston yritykset voivat hyödyntää monia synteettisten polttoaineiden tuotannon sivuvirtoja vähentäen samalla nykyisiä kustannuksia sekä päästöjä. Uuden teollisuuspuiston ratkaisuja suunniteltaessa tulee ottaa huomioon tulevaisuuden vaatimukset ja uudenlaisten ratkaisujen kuten teollisuuden ylijäämälämpöjen hyödyntämisen mahdollisuudet.

Psyykkinen työhyvinvointi turkulaisten opettajien kokemana

Opetushallituksen toteuttama laajasta raportista käy ilmi, että opetustyö koetaan henkisesti raskaana ja koettu stressi on yleisempää kuin muilla aloilla keskimäärin. Työssä viihtymistä heikentävät muun muassa fyysisen työympäristön puutteet, työtahti sekä työhön liittyvän stressin ja emotionaalisten paineiden kasvu. (Onnismaa 2010) Yhteiskunnassa vallitsevat nykyarvot tehokkuus, mittaus ja tuottavuus heijastuvat koulujen toimintaan väistämättä. Yhteiskunnalliset ilmiöt kuten oppilasaineksen muuttuminen muun muassa maahanmuuton ja kasvavien tuloerojen myötä kuormittavat nykypäivän opettajia uudella tavalla. Näiden ilmiöiden vaikutukset näkyvät kouluissa muun muassa käytöshäiriöinä, levottomuutena ja ahdistuneisuutena. (Syrjäläinen 2002) Tämän tutkimuksen tarkoituksena oli selvittää, millainen on turkulaisten luokan- ja erityisopettajien kokema psyykkisen työhyvinvoinnin taso. Tutkimuksen tarkoituksena oli kartoittaa opettajan työn stressitekijöitä, voimavaratekijöitä, työuupumuksen ja työn imun kokemista sekä keinoja stressin hallintaan ja sen vähentämiseksi. Tutkimuksen ulkopuolelle rajattiin työhyvinvointiin liittyvät tekijät kuten työturvallisuus ja koulu työyhteisönä. Tutkimus suoritettiin monimetodisesti. Määrällisinä mittareina käytettiin Maslach Burnout Inventorya, Työn imu –mittaria, Coping strategies for white collar workers -mittaria ja opettajan työn stressitekijät- mittaria. MBI:n ja Työn imun tulokset yhdistämällä luotiin työhyvinvointiprofiileja. Määrällisten mittareiden lisäksi käytettiin avoimia kysymyksiä muun muassa opettajien asenteiden ja kehitysehdotusten selvittämiseksi. Tämän tutkimuksen mukaan turkulaiset luokan- ja erityisopettajat voivat työssään suhteellisen hyvin. Aineistosta 78 % kuuluvat työssään hyvinvoivien klustereihin. Vakavasti uupuneita opettajia oli 4 % aineistosta. Eniten opettajan työssä stressaavaksi koettiin muun muassa kiire, melu, tietotekniikka, puutteelliset resurssit ja työn lisääntyneet vaatimukset. Stressiä opettajat vähentäisivät esimerkiksi lisäämällä oppilaiden tukemiseen käytettäviä resursseja sekä luokkakokoja pienentämällä. Stressinhallintaan opettajat käyttivät eniten ongelmanratkaisutyyppisiä keinoja, kuten laitan asiat tärkeysjärjestykseen ja yritän rauhoittua ja selvittää ongelmat. Voimavaroina tutkimukseen osallistuneet opettajat kokivat työyhteisön, toimivan kodin ja koulun välisen yhteistyön sekä oppilaat. Erityisesti tilanteet, joissa opettaja näki oppilaan kehittyvän ja koki auttavansa lasta kohti parempaa tulevaisuutta, antoivat voimaa.

Measuring and improving production efficiency of paint filling and packing line

Tutkittu yritys on suomalainen maaleja ja lakkoja kansainvälisesti valmistava ja myyvä toimija. Yrityksessä otettiin vuonna 2010 käyttöön uudet tuotannon ja toimitusketjun tavoitteet ja suunnitelmat ja tämä tutkimus on osa tuota kokonaisvaltaista kehittämissuuntaa. Tutkimuksessa käsitellään tuotannon ja kunnossapidon tehokkuuden parantamis- ja mittaustyökalu OEE:tä ja tuotevaihtoaikojen pienentämiseen tarkoitettua SMED -työkalua. Työn teoriaosuus perustuu lähinnä akateemisiin julkaisuihin, mutta myös haastatteluihin, kirjoihin, internet sivuihin ja yhteen vuosikertomukseen. Empiriaosuudessa OEE:n käyttöönoton ongelmia ja onnistumista tutkittiin toistettavalla käyttäjäkyselyllä. OEE:n potentiaalia ja käyttöönottoa tutkittiin myös tarkastelemalla tuotanto- ja käytettävyysdataa, jota oli kerätty tuotantolinjalta. SMED:iä tutkittiin siihen perustuvan tietokoneohjelman avulla. SMED:iä tutkittiin teoreettisella tasolla, eikä sitä implementoitu vielä käytäntöön. Tutkimustuloksien mukaan OEE ja SMED sopivat hyvin esimerkkiyritykselle ja niissä on paljon potentiaalia. OEE ei ainoastaan paljasta käytettävyyshäviöiden määrää, mutta myös niiden rakenteen. OEE -tulosten avulla yritys voi suunnata rajalliset tuotannon ja kunnossapidon parantamisen resurssit oikeisiin paikkoihin. Työssä käsiteltävä tuotantolinja ei tuottanut mitään 56 % kaikesta suunnitellusta tuotantoajasta huhtikuussa 2016. Linjan pysähdyksistä ajallisesti 44 % johtui vaihto-, aloitus- tai lopetustöistä. Tuloksista voidaan päätellä, että käytettävyyshäviöt ovat vakava ongelma yrityksen tuotannontehokkuudessa ja vaihtotöiden vähentäminen on tärkeä kehityskohde. Vaihtoaikaa voitaisiin vähentää ~15 % yksinkertaisilla ja halvoilla SMED:illä löydetyillä muutoksilla työjärjestyksessä ja työkaluissa. Parannus olisi vielä suurempi kattavimmilla muutoksilla. SMED:in suurin potentiaali ei välttämättä ole vaihtoaikojen lyhentämisessä vaan niiden standardisoinnissa.

A critical study of John Hick's religious pluralism

This study examines the pluralistic hypothesis advanced by the late Professor John Hick viz. that all religious faiths provide equally salvific pathways to God, irrespective of their theological and doctrinal differences. The central focus of the study is a critical examination of (a) the epistemology of religious experience as advanced by Professor Hick, (b) the ontological status of the being he understands to be God, and further asks (c) to what extent can the pluralistic view of religious experience be harmonised with the experience with which the Christian life is understood to begin viz. regeneration. Tracing the theological journey of Professor Hick from fundamentalist Christian to religious pluralist, the study notes the reasons given for Hick’s gradual disengagement from the Christian faith. In addition to his belief that the pre-scientific worldview of the Bible was obsolete and passé, Hick took the view that modern biblical scholarship could not accommodate traditionally held Christian beliefs. He conceded that the Incarnation, if true, would be decisive evidence for the uniqueness of Christianity, but rejected the same on the grounds of logical incoherence. This study affirms the view that the doctrine of the Incarnation occupies a place of crucial importance within world religion, but rejects the claim of incoherence. Professor Hick believed that God’s Spirit was at work in all religions, producing a common religious experience, or spiritual awakening to God. The soteriological dimension of this spiritual awakening, he suggests, finds expression as the worshipper turns away from self-centredness to the giving of themselves to God and others. At the level of epistemology he further argued that religious experience itself provided the rational basis for belief in God. The study supports the assertion by Professor Hick that religious experience itself ought to be trusted as a source of knowledge and this on the principle of credulity, which states that a person’s claim to perceive or experience something is prima facie justified, unless there are compelling reasons to the contrary. Hick’s argument has been extensively developed and defended by philosophers such as Alvin Plantinga and William Alston. This confirms the importance of Hick’s contribution to the philosophy of religion, and further establishes his reputation within the field as an original thinker. It is recognised in this thesis, however, that in affirming only the rationality of belief, but not the obligation to believe, Professor Hick’s epistemology is not fully consistent with a Christian theology of revelation. Christian theology views the created order as pre-interpreted and unambiguous in its testimony to God’s existence. To disbelieve in God’s existence is to violate one’s epistemic duty by suppressing the truth. Professor Hick’s critical realist principle, which he regards as the key to understanding what is happening in the different forms of religious experience, is examined within this thesis. According to the critical realist principle, there are realities external to us, yet we are never aware of them as they are in themselves, but only as they appear to us within our particular cognitive machinery and conceptual resources. All awareness of God is interpreted through the lens of pre-existing, culturally relative religious forms, which in turn explains the differing theologies within the world of religion. The critical realist principle views God as unknowable, in the sense that his inner nature is beyond the reach of human conceptual categories and linguistic systems. Professor Hick thus endorses and develops the view of God as ineffable, but employs the term transcategorial when speaking of God’s ineffability. The study takes the view that the notion of transcategoriality as developed by Professor Hick appears to deny any ontological status to God, effectively arguing him out of existence. Furthermore, in attributing the notion of transcategoriality to God, Professor Hick would appear to render incoherent his own fundamental assertion that we can know nothing of God that is either true or false. The claim that the experience of regeneration with which the Christian life begins can be classed as a mere species of the genus common throughout all faiths, is rejected within this thesis. Instead it is argued that Christian regeneration is a distinctive experience that cannot be reduced to a salvific experience, defined merely as an awareness of, or awakening to, God, followed by a turning away from self to others. Professor Hick argued against any notion that the Christian community was the social grouping through which God’s Spirit was working in an exclusively redemptive manner. He supported his view by drawing attention to (a) the presence, at times, of comparable or higher levels of morality in world religion, when contrasted with that evidenced by the followers of Christ, and (b) the presence, at times, of demonstrably lower levels of morality in the followers of Christ, when contrasted with the lives of other religious devotees. These observations are fully supported, but the conclusion reached is rejected, on the grounds that according to Christian theology the saving work of God’s Spirit is evidenced in a life that is changing from what it was before. Christian theology does not suggest or demand that such lives at every stage be demonstrably superior, when contrasted with other virtuous or morally upright members of society. The study concludes by paying tribute to the contribution Professor Hick has made to the field of the epistemology of religious experience.

W stronę radykalnego pluralizmu religijnego

Książka stanowi poszerzoną i uzupełnioną wersję pracy magisterskiej, napisanej pod kierunkiem prof. Tadeusza Buksińskiego w Instytucie Filozofii im. Adama Mickiewicza w Poznaniu.

Language-based Techniques for Practical and Trustworthy Secure Multi-party Computations

Secure Multi-party Computation (MPC) enables a set of parties to collaboratively compute, using cryptographic protocols, a function over their private data in a way that the participants do not see each other's data, they only see the final output. Typical MPC examples include statistical computations over joint private data, private set intersection, and auctions. While these applications are examples of monolithic MPC, richer MPC applications move between "normal" (i.e., per-party local) and "secure" (i.e., joint, multi-party secure) modes repeatedly, resulting overall in mixed-mode computations. For example, we might use MPC to implement the role of the dealer in a game of mental poker -- the game will be divided into rounds of local decision-making (e.g. bidding) and joint interaction (e.g. dealing). Mixed-mode computations are also used to improve performance over monolithic secure computations. Starting with the Fairplay project, several MPC frameworks have been proposed in the last decade to help programmers write MPC applications in a high-level language, while the toolchain manages the low-level details. However, these frameworks are either not expressive enough to allow writing mixed-mode applications or lack formal specification, and reasoning capabilities, thereby diminishing the parties' trust in such tools, and the programs written using them. Furthermore, none of the frameworks provides a verified toolchain to run the MPC programs, leaving the potential of security holes that can compromise the privacy of parties' data. This dissertation presents language-based techniques to make MPC more practical and trustworthy. First, it presents the design and implementation of a new MPC Domain Specific Language, called Wysteria, for writing rich mixed-mode MPC applications. Wysteria provides several benefits over previous languages, including a conceptual single thread of control, generic support for more than two parties, high-level abstractions for secret shares, and a fully formalized type system and operational semantics. Using Wysteria, we have implemented several MPC applications, including, for the first time, a card dealing application. The dissertation next presents Wys*, an embedding of Wysteria in F*, a full-featured verification oriented programming language. Wys* improves on Wysteria along three lines: (a) It enables programmers to formally verify the correctness and security properties of their programs. As far as we know, Wys* is the first language to provide verification capabilities for MPC programs. (b) It provides a partially verified toolchain to run MPC programs, and finally (c) It enables the MPC programs to use, with no extra effort, standard language constructs from the host language F*, thereby making it more usable and scalable. Finally, the dissertation develops static analyses that help optimize monolithic MPC programs into mixed-mode MPC programs, while providing similar privacy guarantees as the monolithic versions.

Trace Oblivious Program Execution

The big data era has dramatically transformed our lives; however, security incidents such as data breaches can put sensitive data (e.g. photos, identities, genomes) at risk. To protect users' data privacy, there is a growing interest in building secure cloud computing systems, which keep sensitive data inputs hidden, even from computation providers. Conceptually, secure cloud computing systems leverage cryptographic techniques (e.g., secure multiparty computation) and trusted hardware (e.g. secure processors) to instantiate a “secure” abstract machine consisting of a CPU and encrypted memory, so that an adversary cannot learn information through either the computation within the CPU or the data in the memory. Unfortunately, evidence has shown that side channels (e.g. memory accesses, timing, and termination) in such a “secure” abstract machine may potentially leak highly sensitive information, including cryptographic keys that form the root of trust for the secure systems. This thesis broadly expands the investigation of a research direction called trace oblivious computation, where programming language techniques are employed to prevent side channel information leakage. We demonstrate the feasibility of trace oblivious computation, by formalizing and building several systems, including GhostRider, which is a hardware-software co-design to provide a hardware-based trace oblivious computing solution, SCVM, which is an automatic RAM-model secure computation system, and ObliVM, which is a programming framework to facilitate programmers to develop applications. All of these systems enjoy formal security guarantees while demonstrating a better performance than prior systems, by one to several orders of magnitude.

A multi-sectoral version of the Post-Keynesian growth model

Neste artigo, pretende-se desenvolver uma versão desagregada da abordagem pós-Keynesiana para o crescimento econômico, mostrando que de fato esse modelo pode ser tratado como um caso particular do modelo Pasinettiano de mudança estrutural e crescimento econômico. Utilizando-se o conceito de integração vertical, torna-se possível conduzir a análise iniciada por Kaldor (1956) e Robinson (1956, 1962), e seguido por Dutt (1984), Rowthorn (1982) e, posteriormente, Bhaduri e Marglin (1990) em um modelo multi-sectorial em que há aumentos da demanda e produtividade em ritmos diferentes em cada setor. Ao adotar essa abordagem, é possível mostrar que a dinâmica de mudança estrutural está condicionada não apenas aos padrões de demanda de evolução das preferências e da difusão do progresso tecnológico, mas também com as características distributivas da economia, que podem dar origem a diferentes regimes setoriais de crescimento econômico. Além disso, é possível determinar a taxa natural de lucro que faz com que a taxa de mark-up seja constante ao longo do tempo. _________________________________________________________________________________ ABSTRACT