Trabajo y postemancipación en Haití

[spa]Este artículo analiza las estructuras sociales subyacentes a la Revolución haitiana, y cómo las aspiraciones diferentes de negros y mulatos durante la Revolución de independencia (1791-1804) se trasladaron al período postabolición. Pese a los cambios en la legislación agraria después de la independencia, el fracaso a la hora de proporcionar unas condiciones de trabajo adaptadas a las demandas de los trabajadores rurales haitianos se añadió a las dificultades y los obstáculos enfrentados por Haití en su intento por construir una nación próspera y en libertad

Moderate-Vigorous physical activity across Body Mass Index in females: moderating effect of endocannabinoids and temperament

Background: Endocannabinoids and temperament traits have been linked to both physical activity and body mass index (BMI) however no study has explored how these factors interact in females. The aims of this cross-sectional study were to 1) examine differences among distinct BMI groups on daytime physical activity and time spent in moderate-vigorous physical activity (MVPA), temperament traits and plasma endocannabinoid concentrations; and 2) explore the association and interaction between MVPA, temperament, endocannabinoids and BMI. Methods: Physical activity was measured with the wrist-worn accelerometer Actiwatch AW7, in a sample of 189 female participants (43 morbid obese, 30 obese, and 116 healthy-weight controls). The Temperament and Character Inventory-Revised questionnaire was used to assess personality traits. BMI was calculated by bioelectrical impedance analysis via the TANITA digital scale. Blood analyses were conducted to measure levels of endocannabinoids and endocannabinoid-related compounds. Path-analysis was performed to examine the association between predictive variables and MVPA. Results: Obese groups showed lower MVPA and dysfunctional temperament traits compared to healthy-weight controls. Plasma concentrations of 2-arachidonoylglyceryl (2-AG) were greater in obese groups. Path-analysis identified a direct effect between greater MVPA and low BMI (b = −0.13, p = .039) and high MVPA levels were associated with elevated anandamide (AEA) levels (b = 0.16, p = .049) and N-oleylethanolamide (OEA) levels (b = 0.22, p = .004), as well as high Novelty seeking (b = 0.18, p<.001) and low Harm avoidance (b = −0.16, p<.001). Conclusions: Obese individuals showed a distinct temperament profile and circulating endocannabinoids compared to controls. Temperament and endocannabinoids may act as moderators of the low MVPA in obesity.

Construção de um calorímetro isotérmico diferencial de alta sensibilidade e baixo custo

The high cost of sensitivity commercial calorimeters may represent an obstacle for many calorimetric research groups. This work describes the construction and calibration of a batch differential heat conduction calorimeter with sample cells volumes of about 400 μL. The calorimeter was built using two small high sensibility square Peltier thermoelectric sensors and the total cost was estimated to be about US$ 500. The calorimeter was used to study the excess enthalpy of solution of binary mixtures of liquids, as a function of composition, for the following binary systems of solvents: water + 1,4-dioxane or + dimethylsulfoxide at 298,2 ± 0,5 K.

The history of the rectilinear diameter law

The formulation of the so-called law of rectilinear diameter for the determination of the critical volume of substances in the concluding decades of the nineteenth century became in a very useful and acceptably exact alternative tool for researchers in the field of critical phenomena. Its corresponding original expression, and even those of its early few modifications, were so mathematically simple that their use did not limit to exclusively contribute to remove the by then experimental obstacle for the estimating of this critical parameter, but also extended along several decades in the increasing applications of the principle of corresponding states.

Glicoproteína-P, resistência a múltiplas drogas (MDR) e relação estrutura-atividade de moduladores

Multidrug resistance, MDR is a major obstacle for cancer chemotherapy. MDR can be reversed by drugs that vary in their chemical structure and main biological activity. Many efforts have been done to overcome MDR based on studies of structure-activity relationships and in this review we summarize some aspects of MDR mediated by P-glycoprotein (P-gp), as the most experimentally and clinically tested form of drug resistance. The most significant MDR mechanisms revealed until now are shortly discussed. Physicochemical and structural properties of MDR modulators, measures of the MDR reversal, and QSAR studies are included.

Yhdenmiehen osakeyhtiö ja verotus - veroedullisuudesta, sivuuttamisesta ja sivuuttamisen oikeudenmukaisuudesta

Tämän tutkimuksen tarkoituksena oli tutkia yhdenmiehen osakeyhtiön sivuuttamista oikeudenmukaisuuden näkökulmasta. Vuosien saatossa osakeyhtiö on ollut yrittäjälle usein toimiva apuväline verokeinottelussa. Sivuuttamisen avulla tällaista keinottelua on pyritty estämään. Parin viime vuosikymmenen aikana instituution merkitys Suomen verojärjestelmässä on kuitenkin vähentynyt verokantojen laskiessa sekä veropohjien yhtenäistyessä ja nykyisellään osakeyhtiön avulla ei, eräitä erityistilanteita lukuun ottamatta, ole mahdollista veroetuja saavuttaa. Sivuuttamiseen liittyy oikeudenmukaisuusongelmia, jotka ovat pääosin johdettavissa siihen, että instituutio perustuu oikeuskäytäntöön. Instituution merkityksen vähentyessä monet aikaisemmassa oikeuskäytännössä olleissa ongelmista on kuitenkin korjaantunut kuin itsestään. Edelleen oikeudenmukaisuuskritiikkiä on mahdollista nostaa esiin sivuuttamisen ympärillä erityisesti oikeusvarmuuden ja maksukykyisyysperiaatteen osalta.

Modulaarinen kiinnitintekniikka alumiiniveneiden robottihitsauksessa

Tällä hetkellä hitsauksen automatisointiaste on hyvin pieni alumiinivenevalmistuksessa. Automatisointiasteen kasvattaminen on ensiarvoisen tärkeää kilpailukyvyn säilyttämiseksi, sekä edelleen nostamiseksi. Automatisointiasteen kasvattamisen esteenä ei ole teknologian puute, vaan suunnitellut tuotteet soveltuvat huonosti robotisoituun hitsaukseen. Lisäksi liitettävien osien tarkkuus on monissa tapauksissa puutteellinen, joten robottihitsaus on monessa tapauksessa mahdotonta. Robottihitsauksessa vaaditaan osien hyvää paikoittamista ja siihen tarvitaan kiinnittimiä. Kuitenkin alumiinivenevalmistuksessa valmistusmäärät ovat sen verran pieniä, että tuotekohtaisia kiinnittimiä ei kannata hankkia tai valmistaa. Siksi kiinnittimiltä vaaditaan joustavuutta ja modulaarisuutta, jotta samalla kiinnittimellä voi hitsata useita vastaavia piirteitä omaavia tuotteita. Tässä työssä tutkittiin modulaarisia kiinnittimiä, edistyneitä kiinnitinsuunnitteluprosesseja, osavalmistustarkkuuksia, tuotemoduloinnin hyödyntämistä ja alumiinin robottihitsauksen erityispiirteitä. Työssä suunniteltiin ja simuloitiin modulaarinen hitsauskiinnitin, jota käytetään tietyn alumiinivenemallin erillisenä osakokoonpanona valmistettavan jäykisterakennekonseptin hitsaamiseen. Suunnittelu ja simulointi tehtiin Delmia V5R20 -ohjelmistolla. Jäykisterakenne on modulaarinen tuoterakenne, jossa käytetään itsepaikoittavia liitoksia helpottamaan osien asettelua ja yksinkertaistamaan kiinnitintä. Kiinnitin soveltuu joustavasti erikokoisten jäykisterakenneosakokoonpanojen valmistukseen. Lisäksi suunniteltua kiinnitintä verrattiin kaupalliseen modulaariseen Demmeler -kiinnitinjärjestelmään. Jäykisterakenteen osakokoonpanon hitsaaminen robotilla lyhentää valmistusaikaa verrattuna nykytilaan, kun osat voidaan asettaa kiinnittimeen nopeasti ja luotettavasti. Samalla jäykisterakenteen tekeminen erillisenä osakokoonpanona lyhentää veneen rungon loppukokoonpanoaikaa ja mahdollistaa hitsausrobotin käytön myös veneen muiden hitsien hitsaamisessa. Modulaarisilla hitsauskiinnittimillä saavutetaan alumiiniveneiden nykyisillä valmistusmäärillä skaalaetuja, joita tuotekohtaisella kiinnittimellä ei voi saavuttaa.

Alumiiniveneen rungon modulointi robottihitsauksen tehostamiseksi

Alumiiniveneiden valmistuksessa hitsauksen automatisointiaste on hyvin matala. Kilpailukyvyn säilyttämiseksi on tärkeää saada automatisointiastetta nostettua ja tätä kautta hitsauskustannuksia alennettua. Automatisoinnin esteenä ei ole teknologian puute, vaan ongelmana on alumiiniveneiden rakenteen huono soveltuvuus automatisoituun tuotantoon. Rakenteen kehittäminen modulaariseksi on yksi mahdollisuus tehostaa robottihitsausta venerunkojen valmistuksessa. Tässä diplomityössä tutkittiin modulaarisuutta, modulointiin johtavia tekijöitä sekä modulaarisuudella mahdollisesti saavutettavia etuja valmistavassa teollisuudessa ja erityisesti robottihitsauksessa. Lisäksi käsiteltiin modulointiin läheisesti liittyvää valmistus- ja kokoonpanoystävällistä suunnittelua. Työssä tehtiin modulointiesimerkki huviveneen rungon robottihitsauksen tehostamiseksi. Veneen runko ja siihen suunniteltu jäykisterakennemoduuli mallinnettiin käyttäen SolidWorks-ohjelmistoa sekä Delmia V5-ohjelmistoon sisällytettyä Catia V5-suunnitteluympäristöä. Suunnitellun modulaarisen rakenteen hitsattavuutta ja hitsaukseen kuluvaa aikaa simuloitiin Delmia V5-ohjelmistolla. Modulaarisen rakenteen avulla robottihitsattavuutta on mahdollista tehostaa erityisesti rungon sisäisen jäykisterakenteen osalta. Kun tuotteesta on suurempi osa hitsattavissa robotin avulla, on myös robotisointi-investoinnit kannattavampia. Modulaarisuuden avulla voidaan päästä myös pienillä tuotantomäärillä sarjatuotannon etuihin, kun samaa moduulia voidaan käyttää vähäisillä muutoksilla useammassa eri venemallissa.

Henkilökohtainen on poliittista. Neuvottelu politiikan sukupuolittuneesta työnjaosta Annan julkaisemissa poliitikkojen henkilökuvissa vuosina 1975–2005

Henkilökohtainen on poliittista Tutkimuksessa tarkastellaan tiedotusvälineissä käytyä neuvottelua miesten ja naisten mahdollisuuksista osallistua politiikkaan sekä siinä ilmenevää suomalaisen poliittisen julkisuuden muutosta. Tutkimuksen materiaalin muodostavat Anna-lehdessä vuosina 1975–2005 julkaistut 339 poliitikkojen henkilökuvaa, joita eritellään laadullisen tekstianalyysin keinoin. Politiikan sukupuolittunut työnjako Poliitikkojen henkilökuvat ovat Anna-lehdessä olleet henkilöhaastatteluja tai poliitikon haastatteluita yhdessä puolisonsa tai perheensä kanssa. Tutkittuna ajanjaksona Annassa on julkaistu selvästi enemmän naispoliitikkojen kuin miespoliitikkojen henkilökuvia. Poliitikkojen haastatteluissa neuvottellaan siitä, keillä on oikeus toimia politiikassa ja millaista politiikkaa miehet ja naiset voivat tehdä. Vaikka Annassa ilmestyneissä poliitikkojen henkilökuvissa on eri aikoina vastattu näihin kysymyksiin erilaisin tavoin, sukupuolittunut jako miesten yhteiskunnalliseen ja naisten yksityiseen tilaan säilyy teksteissä läpi koko tarkastellun 30 vuoden ajanjakson. Sukupuolittunut jako yhteiskunnalliseen ja yksityiseen ilmenee henkilökuvissa siten, että miehet esitetään toimimassa politiikassa vaivattomasti ja luonnollisesti, mutta naisten kuvataan ponnistelevan sen eteen, että he kykenisivät osallistumaan politiikkaan. Naispoliitikkojen henkilökuvissa toistuva kysymys on, millä edellytyksin tai millaisin rajoituksin naiset ovat voineet toimia politiikassa. Miehet edustavat poliitikon normia ja naiset poikkeusta normista. Poliitikkojen parisuhde- ja perhehaastatteluissa puolestaan käsitellään kysymystä sukupuolten välisestä työnjaosta perheessä. Kirjoituksissa toistuvat kysymykset siitä, millainen tulisi olla poliitikon ja hänen puolisonsa välinen työnjako, tulisiko miespoliitikon vaimon osallistua pyyteettömästi puolison uran tukemiseen tai millä tavoin naispoliitikon puolison tulisi suhtautua vaimonsa aikaa vievään poliittiseen uraan. Naispoliitikkojen haasteita Annan julkaisemat naispoliitikkojen henkilökuvat osoittavat sekä naisten poliittiseen osallistumiseen liittyviä ongelmia että joukon erilaisia ratkaisuja niihin. Naisten ruumiillisuus on näistä haasteista keskeisin. 1970-luvun Annassa ilmestyneissä naispoliitikkojen haastatteluissa käsiteltiin toistuvasti sitä, millä tavoin politiikassa työskentelevät naiset pukeutuvat, syövät ja lepäävät. 1980-luvulla Anna pyrki tekemään naisruumiista voimavaran osoittamalla, että naisten ”luonteva” taipumus hoivaamiseen teki heistä erityisen sopivia politiikan ”pehmeiden” asioiden puolestapuhujina, kuten rauhantyön ja sosiaalisektorin asioiden hoitajina. 1980-luvun lopussa ja 1990-luvun alussa julkaistuissa teksteissä luotiin naisten poliittista yhteisöllisyyttä korostamalla heidän kokemaansa ruumiillisuuteen perustuvaa sortoa, esimerkiksi ulkonäköön liittyviä epäasiallisia huomautuksia. 2000-luvulla naispoliitikkojen henkilökuvissa vakuutettiin, että naisen ikääntyminen ei heikennä hänen kykyään tehdä politiikkaa. Samana aikakautena julkaistuissa nuorehkojen naispoliitikkojen henkilökuvissa ruumiillisuuteen otettiin toinen näkökulma. Niissä naisruumiin väitetty sopimattomuus poliittiseen työhön ratkaistiin korostamalla, että haastatellut naiset kontrolloivat ruumistaan täydellisesti. Toinen naispoliitikkojen poliittista osallistumista uhkaavana tai häiritsevänä esitetty seikka Annassa on ollut yksityiselämä. Lehden mukaan kodin, puolison ja lasten yhdistäminen menestyksekkääseen poliittiseen uraan on ollut erityisen vaikeaa. 1980-luvun loppuun saakka henkilökuviin rakennettiin asetelma, jossa naispoliitikkojen tuli valita työn tai perheen välillä. Vuosituhannen taitteessa Anna otti yksityiselämän ja julkisen elämän väliseen ristiriitaan uuden näkökulman: lehti alkoi esittää, että lapset ovat naispoliitikkojen työelämän voimavara. Kirjoitusten mukaan tehokkaat nuoret naispoliitikot kykenivät halutessaan olemaan sekä ”pullantuoksuisia” äitejä että menestyviä poliitikkoja. Samalla kirjoitukset kuitenkin epäsuorasti osoittivat, ettei yksityisen ja julkisen elämän ristiriita kadonnut naispoliitikkojen kuvauksista: se vain muutti muotoaan ja sai uuden ratkaisun. Miespoliitikkojen luontevana esitetty asiantuntemus Annassa julkaistut miespoliitikkojen haastattelut ovat läpi tutkitun ajanjakson uusintaneet mielikuvaa yhteiskunnallisesta tilasta miehille luontaisesti sopivana ympäristönä. Niissä puhutaan politiikasta ikään kuin se olisi ainoastaan miesten hallitsema elämänpiiri. Poliitikka näyttäytyy miesten välisen kamppailun ja veljeyden kenttänä. Henkilökuvissa miespoliitikot pyrkivät kukistamaan vastustajansa, mutta samalla menestys miesten maailmassa edellyttää muiden miesten hyväksyntää. Henkilökuvissa rakennetaan vahvasti käsitystä miespoliitikoista yhteiskunnallisina asiantuntijoina. Kirjoituksissa heille annetaan tilaa ja mahdollisuuden käsitellä ajankohtaisia poliittisia ongelmia, kuten esimerkiksi terveydenhuollon tilaa tai yleissivistyksen tasoa Suomessa. Ero Annan julkaisemiin naispoliitikkojen haastatteluihin on selvä. Niiden joukossa vuosina 1975–2005 ei ole sellaisia kirjoituksia, joissa naispoliitikolla olisi itsestäänselvästi asiantuntemusta tai arvovaltaa käsitellä koko kansakuntaa askarruttavia yhteiskunnallisia kysymyksiä. Henkilökohtainen on poliittista Annan julkaisemat poliittikkojen henkilökuvat osoittavat, millä tavoin henkilökohtaisiksi mielletyt asiat ovat muuttuneet poliittisiksi. Kärjistäen voi sanoa, että 1970-luvun puolivälissä Suomessa oli vallalla mielikuva, jossa vastakkain asettuivat miesten politiikka ja naisten yksityiselämä. Kolmessakymmenessä vuodessa tilanne on muuttunut. 1980-luvun alussa Anna argumentoi, että naisten kokemus arkielämästä ja lasten kasvattamisesta antoi heille sellaista asiantuntemusta, jota tulisi hyödyntää myös politiikassa. Annan mukaan miesten hallitseva asema politiikassa oli johtanut tilanteeseen, jossa huomattava osa kansasta ei saanut ääntään politiikassa kuuluviin. 2000-luvulle tultaessa on mahdollista nähdä, että politiikkaan on muodostunut naisille sopivana nähty toiminnan sektori, johon kuuluvat esimerkiksi sosiaali- ja terveydenhuolto, opetus-, ympäristö- ja kulttuuripolitiikka sekä kansainvälinen kehitysyhteistyö. Verrattuna 1970-luvun puolivälin tilanteeseen naiset osallistuvat luontevasti huomattavaan osaan suomalaista politiikkaa. Sukupuolittunut yhteiskunnallinen jakolinja ei kulje enää politiikan ja yksityiselämän välillä, vaan politiikan sisällä. Samalla käsitys politiikasta on muuttunut. Hyvinvointivaltion ja valtion sosiaalisektoriin liittyvien vastuiden laajentuminen on johtanut tilanteeseen, jossa naisille sopiviksi miellettyjen poliittisten osaamisalueiden määrä on kasvanut. On myös puhuttu politiikan intimisaatiosta, jolla tarkoitetaan, että valtioiden poliittisen toiminnan piiri on tullut yhä lähemmäs ihmisten henkilökohtaista elämää. Naisten aikaisempaa laajempi poliittinen osallistuminen ei olisi ollut mahdollista ilman keskustelua aiheista, jotka koetaan hyvin henkilökohtaisiksi: ruumiin ja politiikan suhteesta, yksityiselämän ja julkisen elämän suhteesta tai arkielämän kokemusten suhteesta poliittiseen osallistumiseen. Näin henkilökohtainen ja poliittinen ovat olleet jatkuvassa vuorovaikutuksessa keskenään. Annan henkilökuvat kertovat muutoksesta, jossa yksityiselämän tapahtumat ovat tulleet kiinteäksi osaksi politiikan julkisuutta. Yksityiselämän julkisuus on ollut poliitikoille sekä mahdollisuus että haaste. Yhtäältä yksityiselämän julkisuus on tarjonnut miespoliitikoille oivallisen keinon tuoda esille henkilökohtaisensa elämänsä myönteisiä puolia, esimerkiksi omistautumista perheelle. Naispoliitikoille yksityiselämän tuleminen julkiseksi on tarjonnut keinon haastaa ja kyseenalaistaa niitä arvoja, joiden mukaan nainen ei voi onnistuneesti yhdistää menestystä työ- ja perhe-elämässä. Samalla poliittisen julkisuuden muutos on merkinnyt sitä, että yksityiselämästä on tullut poliitikoille myös rasite. Julkisuudessa ei tehdä selkeää rajaa yksityisen ja julkisen elämän välillä, vaan henkilökohtaisen elämän valinnoista ja tapahtumista on tullut erottamaton osa poliitikkojen julkisuuskuvaa. Annan julkaisemien poliitikkojen henkilökuvien analyysi osoittaa, että poliitikot symboloivat yhteiskunnallisia arvoja ja asenteita. Poliitikot eivät ole vain ihmisiä ansioineen ja puutteineen, vaan heidän saamansa julkisuuden kautta keskustellaan suuremmista yhteiskunnallisista kysymyksistä, kuten naisten oikeudesta osallistua politiikkaa tai sukupuolten välisestä työnjaosta yhteiskunnassa. Annassa ilmestyneet poliitikkojen henkilökuvat ovat olleet osa prosessia, jossa suomalainen sukupuolittunut työnjako on neuvoteltu merkittävältä osaltaan uuteen muotoon. Naiset ovat saaneet vastuulleen olennaisen osan suomalaista politiikkaa samalla kun politiikan sisältö on myös muuttunut. Julkisuudessa näkyvien poliitikkojen henkilökohtaisen elämän valinnat asettuvat kontekstiinsa osana neuvotteluprosessia, jossa mietitään ja kyseenlaistetaan yhteiskunnallisia arvoja ja asenteita. Tässäkin mielessä henkilökohtaisesta on tullut poliittista.

Personality and Depression

The aim of this study was to illustrate the associations of personality variables and depression. The first study population consisted of 50 patients with DSM-IV defined major depressive disorder. Subjects were randomized to receive either fluoxetine medication or short-term psychodynamic psychotherapy. The Hamilton Depression Rating Scale was completed at the baseline and in the follow-up at four months. Baseline mature defense style measured with the Defense Style Questionnaire predicted favourable outcome in the fluoxetine treatment group, whereas no associations were found in psychotherapy group. The Psychological Mindedness Scale scores were not predictive for recovery in patients receiving psychotherapy or medication. The Psychological Mindedness Scale seems not to be useful in selecting optimal treatment in major depressive disorder. Harm Avoidance measured with the Temperament and Character Inventory associated with the baseline severity of the depressive state. In the fluoxetine treatment group high Reward Dependence, high Self-Directedness and high Cooperativeness were predictive for more severe depression in the four months follow-up, whereas no associations were found in the psychotherapy treatment group. It is possible that the result reflects the differences in the placebo response. The second data were derived from the Finnish Public Sector Study. These prospective studies with four years follow-up focused on the predictive value of optimism and pessimism, first, to work disability with a diagnosis of depression lasting at least 90 days and returning to work (N= 38214) , and second, to the likelihood of initiating antidepressant medication treatment lasting at least 100 days and ending the treatment (N= 29930). Results show that low optimism associates with the elevated risk of work disability and higher likelihood of antidepressant use. High pessimism associated with higher likelihood starting at least 100 days antidepressant medication and not stopping medication during the follow up. High pessimism did not seem to predict the entering to depression related work disability, but in the case of disability period it associated with the lower likelihood of returning to work. The thesis shows that personality features play a role as a vulnerability factor, and influence the onset and course of depression. Taking these factors into account more than is currently done may increase the possibilities to enhance the treatment results in depression.

Upconverting Phosphor Technology: Exceptional Photoluminescent Properties Light Up Homogeneous Bioanalytical Assays

The aim of the present study was to demonstrate the wide applicability of the novel photoluminescent labels called upconverting phosphors (UCPs) in proximity-based bioanalytical assays. The exceptional features of the lanthanide-doped inorganic UCP compounds stem from their capability for photon upconversion resulting in anti-Stokes photoluminescence at visible wavelengths under near-infrared (NIR) excitation. Major limitations related to conventional photoluminescent labels are avoided, rendering the UCPs a competitive next-generation label technology. First, the background luminescence is minimized due to total elimination of autofluorescence. Consequently, improvements in detectability are expected. Second, at the long wavelengths (>600 nm) used for exciting and detecting the UCPs, the transmittance of sample matrixes is significantly greater in comparison with shorter wavelengths. Colored samples are no longer an obstacle to the luminescence measurement, and more flexibility is allowed even in homogeneous assay concepts, where the sample matrix remains present during the entire analysis procedure, including label detection. To transform a UCP particle into a biocompatible label suitable for bioanalytical assays, it must be colloidal in an aqueous environment and covered with biomolecules capable of recognizing the analyte molecule. At the beginning of this study, only UCP bulk material was available, and it was necessary to process the material to submicrometer-sized particles prior to use. Later, the ground UCPs, with irregular shape, wide size-distribution and heterogeneous luminescence properties, were substituted by a smaller-sized spherical UCP material. The surface functionalization of the UCPs was realized by producing a thin hydrophilic coating. Polymer adsorption on the UCP surface is a simple way to introduce functional groups for bioconjugation purposes, but possible stability issues encouraged us to optimize an optional silica-encapsulation method which produces a coating that is not detached in storage or assay conditions. An extremely thin monolayer around the UCPs was pursued due to their intended use as short-distance energy donors, and much attention was paid to controlling the thickness of the coating. The performance of the UCP technology was evaluated in three different homogeneous resonance energy transfer-based bioanalytical assays: a competitive ligand binding assay, a hybridization assay for nucleic acid detection and an enzyme activity assay. To complete the list, a competitive immunoassay has been published previously. Our systematic investigation showed that a nonradiative energy transfer mechanism is indeed involved, when a UCP and an acceptor fluorophore are brought into close proximity in aqueous suspension. This process is the basis for the above-mentioned homogeneous assays, in which the distance between the fluorescent species depends on a specific biomolecular binding event. According to the studies, the submicrometer-sized UCP labels allow versatile proximity-based bioanalysis with low detection limits (a low-nanomolar concentration for biotin, 0.01 U for benzonase enzyme, 0.35 nM for target DNA sequence).

Learning Robot Environment through Simulation

Traditionally simulators have been used extensively in robotics to develop robotic systems without the need to build expensive hardware. However, simulators can be also be used as a “memory”for a robot. This allows the robot to try out actions in simulation before executing them for real. The key obstacle to this approach is an uncertainty of knowledge about the environment. The goal of the Master’s Thesis work was to develop a method, which allows updating the simulation model based on actual measurements to achieve a success of the planned task. OpenRAVE was chosen as an experimental simulation environment on planning,trial and update stages. Steepest Descent algorithm in conjunction with Golden Section search procedure form the principle part of optimization process. During experiments, the properties of the proposed method, such as sensitivity to different parameters, including gradient and error function, were examined. The limitations of the approach were established, based on analyzing the regions of convergence.

Scheduling of guarded command based models

Formal methods provide a means of reasoning about computer programs in order to prove correctness criteria. One subtype of formal methods is based on the weakest precondition predicate transformer semantics and uses guarded commands as the basic modelling construct. Examples of such formalisms are Action Systems and Event-B. Guarded commands can intuitively be understood as actions that may be triggered when an associated guard condition holds. Guarded commands whose guards hold are nondeterministically chosen for execution, but no further control flow is present by default. Such a modelling approach is convenient for proving correctness, and the Refinement Calculus allows for a stepwise development method. It also has a parallel interpretation facilitating development of concurrent software, and it is suitable for describing event-driven scenarios. However, for many application areas, the execution paradigm traditionally used comprises more explicit control flow, which constitutes an obstacle for using the above mentioned formal methods. In this thesis, we study how guarded command based modelling approaches can be conveniently and efficiently scheduled in different scenarios. We first focus on the modelling of trust for transactions in a social networking setting. Due to the event-based nature of the scenario, the use of guarded commands turns out to be relatively straightforward. We continue by studying modelling of concurrent software, with particular focus on compute-intensive scenarios. We go from theoretical considerations to the feasibility of implementation by evaluating the performance and scalability of executing a case study model in parallel using automatic scheduling performed by a dedicated scheduler. Finally, we propose a more explicit and non-centralised approach in which the flow of each task is controlled by a schedule of its own. The schedules are expressed in a dedicated scheduling language, and patterns assist the developer in proving correctness of the scheduled model with respect to the original one.

Estimation of Fetal Weight during Labor: Still a Challenge

Objective To evaluate the accuracy of fetal weight prediction by ultrasonography labor employing a formula including the linear measurements of femur length (FL) and mid-thigh soft-tissue thickness (STT). Methods We conducted a prospective study involving singleton uncomplicated term pregnancies within 48 hours of delivery. Only pregnancies with a cephalic fetus admitted in the labor ward for elective cesarean section, induction of labor or spontaneous labor were included. We excluded all non-Caucasian women, the ones previously diagnosed with gestational diabetes and the ones with evidence of ruptured membranes. Fetal weight estimates were calculated using a previously proposed formula [estimated fetal weight = [1] 1687.47 + (54.1 x FL) + (76.68 x STT). The relationship between actual birth weight and estimated fetal weight was analyzed using Pearson's correlation. The formula's performance was assessed by calculating the signed and absolute errors. Mean weight difference and signed percentage error were calculated for birth weight divided into three subgroups: < 3000 g; 3000-4000g; and > 4000 g. Results We included for analysis 145 cases and found a significant, yet low, linear relationship between birth weight and estimated fetal weight (p < 0.001; R2 = 0.197) with an absolute mean error of 10.6%. The lowest mean percentage error (0.3%) corresponded to the subgroup with birth weight between 3000 g and 4000 g. Conclusions This study demonstrates a poor correlation between actual birth weight and the estimated fetal weight using a formula based on femur length and mid-thigh soft-tissue thickness, both linear parameters. Although avoidance of circumferential ultrasound measurements might prove to be beneficial, it is still yet to be found a fetal estimation formula that can be both accurate and simple to perform.

Formal development and quantitative verification of dependable systems

-