XPS study of Cu3TeO6 semiconductors synthesized at different pH values

Abstract. For this thesis, X-ray photoelectron spectroscopy (XPS) was used to study copper tellurates synthesized at different pH values using novel hydrothermal synthesis. Copper tellurate compound (Cu3TeO6) is a semiconductor that belongs to the metal tellurate family and exhibits fascinating electronic and magnetic properties like antiferromagnetism. It also has applications in ceramics and as a possible drug sensor. The new hydrothermal synthesis route provides better control over the composition and size of the nanoparticles. Since there is high interest in these materials and a new synthesis method has been used, a thorough characterization is needed. XPS is a surface-sensitive method based on the photoelectric effect and is suitable for identifying elements and chemical states in the sample. Here, XPS spectra were peak fitted to identify the binding energies of copper, tellurium, and oxygen species in the samples. Copper was revealed to be Cu(II) species, tellurium spectra included both Te(IV) and Te(VI) components, meanwhile, oxygen spectra had a strong shoulder peak for either hydroxide or defective oxygen, the latter of which would explain the unexpected Te(IV) peak. The results also showed the presence of a hydroxide component, which was removed by calcination. Chemical shifts were observed for copper and tellurium peaks. The findings of this study provide insights into the synthesis and properties of copper tellurates, which can guide future research

Rivilannoituksen vaikutus viljavuustutkimuksen tulokseen

vKirjasto Aj-

Kultananopartikkelien pinnan hapettumisen tutkiminen fotoelektronispektroskopialla

Tiivistelmä. Tämän tutkielman tarkoituksena oli tutkia kultananopartikkelien pinnan hapettumista fotoelektronispektroskopialla. Aluksi tutkielmassa käsitellään kiinteän aineen muodostumista ja ominaisuuksia, jonka jälkeen käydään läpi XPS:n (X-ray photoelectron spectroscopy) perusteita ja laitteiston toimintaa. Tutkielmassa kerrotaan myös hieman nanopartikkelien valmistuksesta ja datan käsittelystä

Efficient Certified Resolution Proof Checking

We present a novel propositional proof tracing format that eliminates complex processing, thus enabling efficient (formal) proof checking. The benefits of this format are demonstrated by implementing a proof checker in C, which outperforms a state-of-the-art checker by two orders of magnitude. We then formalize the theory underlying propositional proof checking in Coq, and extract a correct-by-construction proof checker for our format from the formalization. An empirical evaluation using 280 unsatisfiable instances from the 2015 and 2016 SAT competitions shows that this certified checker usually performs comparably to a state-of-the-art non-certified proof checker. Using this format, we formally verify the recent 200 TB proof of the Boolean Pythagorean Triples conjecture

Suomen uskomaton katsomusopetus ehdot, piirteet ja problematiikka

Tiivistelmä. Tämän kandidaatin tutkielman tavoitteena on kartoittaa Suomessa toteutettavalle katsomusopetukselle asetettuja juridisia rajoja ja pohtia katsomusaineiden eroavaisuuksia vuonna 2016 voimaan astuneen perusopetuksen opetussuunnitelman pohjalta. Tutkielman aihe valikoitui tekijöiden henkilökohtaisen mielenkiinnon ja aiheen ajankohtaisuuden perusteella. Mielenkiinnon herättäjänä on toiminut viime vuosina katsomusaineiden ympärillä käyty keskustelu, joka on nostanut esiin kysymyksiä katsomusaineiden opetuksen toteutustavasta ja eri katsomusten sekä monikulttuurisuuden huomioimisesta opetuksessa. Suomessa tapahtuva kansan monikulttuuristuminen ja kasvava maallistuminen asettavat jatkuvaa painetta katsomusopetuksen opetusjärjestelyiden muutoksille. Tutkielma on toteutettu kirjallisuuskatsauksena ja se vastaa kysymyksiin: millaisia ehtoja peruskoulun katsomusopetukselle on Suomessa ja millaisia ristiriitoja tai ongelmakohtia suomalaiseen katsomusopetukseen sisältyy Suomen lain, kansainvälisten sopimusten ja peruskoulun opetussuunnitelman perusteiden osalta. Aineistona tutkielman laadinnassa ovat toimineet katsomusaineiden opetusta koskevin osin Suomen laki, kansainväliset sopimukset ja peruskoulun opetussuunnitelman perusteet sekä katsomusopetusta käsittelevä kirjallisuus. Tutkielma esittää aineiston pohjalta ehtoja suomalaiselle katsomusopetukselle ja tuo esille epäkohtia katsomusopetusta läheisesti koskevista säädöksistä sekä vertailee katsomusaineita perusopetuksen opetussuunnitelman perusteiden (2014) pohjalta. Pohdinnan alle asettuvat katsomusopetuksen nykytila ja tulevaisuus. Tutkielma osoittaa, että valtauskontojen erityisasema on ristiriidassa valtakunnallisen opetussuunnitelman yhdenvertaisuusperiaatteen ja tasa-arvoa koskevien säädösten kanssa. Perusopetuslain 13 § takaa evankelis-luterilaiselle ja ortodoksiselle uskonnolle erityisaseman instituutioina, sillä kyseisiin uskontokuntiin kuuluvien oppilaiden tulee osallistua näiden uskontojen opetukseen. Vähemmistöuskontojen edustajille järjestetään oman uskonnon opetusta, mikäli opetusryhmälle säädetty kolmen oppilaan vähimmäismäärä täyttyy ja oppilaiden vanhemmat kyseessä olevan uskonnon opetusta erikseen pyytävät. Yhtenä ongelmakohtana voidaankin nähdä nykyjärjestelmän tapa jaotella oppilaat kotien katsomusten mukaan eri ryhmiin. Tämä häiritsee perusopetuksen opetussuunnitelmassakin mainittua vapaata keskustelua ja näkökulmien vaihtoa uskontojen ja vakaumusten välillä. Lisäksi uskonnon ja elämänkatsomustiedon oppiaineet eroavat niin tavoitteiltaan kuin sisällöiltään. Tarkasteluun ottamamme kansainväliset sopimukset takaavat yhtenäisesti vanhemmille oikeuden lastensa uskonnolliseen ja aatteelliseen kasvatukseen omien vakaumustensa mukaisesti. Tutkielma nostaa esiin problematiikan lasten oikeuksien huomioimisessa häntä itseään koskevissa asioissa kuten uskontokuntaan kuulumisessa. Lapsen oikeuksiin lukeutuu uskonnonvapaus, mikä on ristiriidassa kansainvälisissä sopimuksissa painotetun vanhempien vakaumuksellisen ja aatteellisen kasvatusoikeuden kanssa

Luokanopettajien käsityksiä katsomusten yhdenvertaisuuden toteutumisesta alakoulussa

Tiivistelmä. Tutkielma käsittelee luokanopettajien käsityksiä katsomusten yhdenvertaisuudesta alakoulussa. Katsomukset koulukontekstissa ovat herättäneet keskustelua läpi suomalaisen koulun historian aina nykypäivään saakka. Katsomusten yhdenvertainen kohtelu nousee ajoittain julkiseen keskusteluun, etenkin kristillisten juhlapyhien kynnyksellä, koskien muiden kuin katsomukseltaan evankelisluterilaisten oppilaiden huomiointia koulun tilaisuuksien järjestämisessä. Mielenkiinto tutkielman aiheeseen syntyi julkisen keskustelun seuraamisen pohjalta. Aiempaa tutkimusta aihepiirin parissa on tehty verrattain vähän, eikä luokanopettajien käsityksiä ole aiemmin kyseisestä aiheesta kartoitettu. Tällä fenomenografisella tutkimusotteella toteutetulla kvalitatiivisella kasvatustieteen pro gradu -tutkielmalla haettiin vastauksia tutkimuskysymyksiin: Kuinka luokanopettajat käsittävät katsomusten yhdenvertaisuuden toteutuvan alakoulussa? ja Millaista yhteistyötä alakoulut harjoittavat koulun ulkopuolisten katsomuksellisten toimijoiden kanssa? Tutkimuksen viitekehys tarkastelee katsomusten ja koulun suhteen historiaa, nykytilaa ja katsomusopetuksen tulevaisuuden skenaarioita sekä aiheen kannalta olennaisia juridisia säädöksiä ja päätöksiä. Tutkimuksen aineisto kerättiin sähköisellä kyselylomakkeella tunnetulla alakoulun opettajien sosiaalisen median foorumilla. Tutkimukseen vastasi 22 luokanopettajaa eri puolilta Suomea. Analyysimenetelmänä käytettiin aineistolähtöistä sisällönanalyysiä. Vaikka vastaajien lukumäärän tai aineistonkeruumenetelmän myötä tutkimusta ei voida pitää luotettavuuden suhteen merkittävänä ja yleistettävänä, on määrällisesti edustetuimmista käsityksistä todennettavissa suuntaviivoja, jotka mahdollisesti toistuvat suuremmallakin otannalla. Tuloksista havaitaan, että noin 55 % vastaajista käsitti, etteivät eri katsomukset ole yhdenvertaisessa asemassa alakoulussa. Pääosin yhdenvertaisuuden käsitettiin jäävän toteutumatta evankelisluterilaisen katsomuksen painottumisen ja normittamisen johdosta. Vastaajista 59 % ei pitänyt nykyistä katsomukseen perustuvaa jaottelua katsomusopetuksessa toimivana ratkaisuna ja 40 % vastanneista toi esille tarpeen yhteiselle katsomusaineelle. 86 % vastaajien kouluista on yhteistyössä katsomuksellisen toimijan kanssa, evankelis-luterilaisen seurakunnan ollen poikkeuksetta yksi yhteistyötahoista. Yleisimpiä yhteistyömuotoja ovat aamunavaukset ja kirkolliset jumalanpalvelukset

Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver API

We consider the incremental computation of minimal unsatisfiable cores (MUCs) of QBFs. To this end, we equipped our incremental QBF solver DepQBF with a novel API to allow for incremental solving based on clause groups. A clause group is a set of clauses which is incrementally added to or removed from a previously solved QBF. Our implementation of the novel API is related to incremental SAT solving based on selector variables and assumptions. However, the API entirely hides selector variables and assumptions from the user, which facilitates the integration of DepQBF in other tools. We present implementation details and, for the first time, report on experiments related to the computation of MUCs of QBFs using DepQBF's novel clause group API.Comment: (fixed typo), camera-ready version, 6-page tool paper, to appear in proceedings of SAT 2015, LNCS, Springe

The association of maternal-fetal attachment with smoking and smoking cessation during pregnancy in The FinnBrain Birth Cohort Study

BackgroundSmoking in pregnancy constitutes a preventable risk factor for fetal/child development and maternal-fetal attachment (MFA) seems to contain a momentum that can break the chain of adverse outcomes by promoting maternal prenatal health practices. This study aimed to explore the association of MFA with smoking at any time during pregnancy and smoking cessation in early pregnancy, and the modifying role of MFA on the expected effects of education and prenatal psychological distress (PPD) on prenatal smoking behavior.MethodsThe pregnant women (n=3766) participated in the The FinnBrain Birth Cohort Study in Finland between December 2011 and April 2015. The binary outcomes, smoking at any time during pregnancy and smoking cessation in early pregnancy, were obtained from self-reports at gestational weeks (gwks) 14 and 34 and The Finnish Medical Birth Register. MFA was assessed with the Maternal-Fetal Attachment Scale (MFAS) at gwks 24 and 34. Logistic regression analyses were used to determine the association between MFA and maternal prenatal smoking behavior.FindingsThe prevalence of smoking was 16.5%, and 58.1% of the smokers quit smoking during pregnancy. The independent associations of total MFA scores with prenatal smoking behavior were not established (aOR=1.00-1.02, multiplicity adjusted p>0.05). A higher score in the altruistic subscale of MFA, Giving of self, associated with a higher probability of smoking cessation (24 gwks: aOR=1.13, 95% CI [1.04, 1.24], p=0.007, multiplicity adjusted p=0.062; 34 gwks: aOR=1.17, 95% CI [1.07, 1.29], p<0.001, multiplicity adjusted p=0.008). The modifying effect of MFA on the observed associations between PPD and smoking in pregnancy and between maternal education and smoking in pregnancy / smoking cessation in early pregnancy was not demonstrated. ConclusionsThe altruistic dimension of maternal-fetal attachment associates with an increased probability of smoking cessation during pregnancy and therefore strengthening altruistic maternal-fetal attachment may constitute a promising novel approach for interventions aiming at promoting smoking cessation during pregnancy

Network development in biological gels: role in lymphatic vessel development

In this paper, we present a model that explains the prepatterning of lymphatic vessel morphology in collagen gels. This model is derived using the theory of two phase rubber material due to Flory and coworkers and it consists of two coupled fourth order partial differential equations describing the evolution of the collagen volume fraction, and the evolution of the proton concentration in a collagen implant; as described in experiments of Boardman and Swartz (Circ. Res. 92, 801–808, 2003). Using linear stability analysis, we find that above a critical level of proton concentration, spatial patterns form due to small perturbations in the initially uniform steady state. Using a long wavelength reduction, we can reduce the two coupled partial differential equations to one fourth order equation that is very similar to the Cahn–Hilliard equation; however, it has more complex nonlinearities and degeneracies. We present the results of numerical simulations and discuss the biological implications of our model

Resting state fMRI reveals a default mode dissociation between retrosplenial and medial prefrontal subnetworks in ASD despite motion scrubbing

In resting state functional magnetic resonance imaging (fMRI) studies of autism spectrum disorders (ASDs) decreased frontal-posterior functional connectivity is a persistent finding. However, the picture of the default mode network (DMN) hypoconnectivity remains incomplete. In addition, the functional connectivity analyses have been shown to be susceptible even to subtle motion. DMN hypoconnectivity in ASD has been specifically called for re-evaluation with stringent motion correction, which we aimed to conduct by so-called scrubbing. A rich set of default mode subnetworks can be obtained with high dimensional group independent component analysis (ICA) which can potentially provide more detailed view of the connectivity alterations. We compared the DMN connectivity in high-functioning adolescents with ASDs to typically developing controls using ICA dual-regression with decompositions from typical to high dimensionality. Dual-regression analysis within DMN subnetworks did not reveal alterations but connectivity between anterior and posterior DMN subnetworks was decreased in ASD. The results were very similar with and without motion scrubbing thus indicating the efficacy of the conventional motion correction methods combined with ICA dual-regression. Specific dissociation between DMN subnetworks was revealed on high ICA dimensionality, where networks centered at the medial prefrontal cortex and retrosplenial cortex showed weakened coupling in adolescents with ASDs compared to typically developing control participants. Generally the results speak for disruption in the anterior-posterior DMN interplay on the network level whereas local functional connectivity in DMN seems relatively unaltered