An efficient solver for weighted Max-SAT

We present a new branch and bound algorithm for weighted Max-SAT, called Lazy which incorporates original data structures and inference rules, as well as a lower bound of better quality. We provide experimental evidence that our solver is very competitive and outperforms some of the best performing Max-SAT and weighted Max-SAT solvers on a wide range of instances.

Sour orange bud regeneration and in vitro plant development related to culture medium composition and explant type

In order to evaluate the formation of adventitious buds and in vitro regeneration of sour orange plants (Citrus aurantium L.) two organogenesis-inducing experiments were conducted. In the first experiment, the induction and in vitro regeneration of adventitious buds were tested on epicotyl and internodal segments under the influence of BAP or KIN associated with NAA. The second experiment evaluated the in vitro regeneration of sour orange plants related to different explant types (epicotyls segments, internodal segments of in vitro germinated plantlets and internodal segments of greenhouse cultivated plants). Data collected on both experiments included the percentage of responsive explants (explants that formed buds), and the number of buds per explant. The addition of BAP showed the best organogenic response. In vitro germinated epicotyl segments and internodal segments are recommended as explants for sour orange in vitro organogenesis. Rooting of regenerated shoots was achieved without the need of auxin in the medium.

Moment Operators of Observables in Quantum Mechanics, with Applications to Quantization and Homodyne Detection

The questions studied in this thesis are centered around the moment operators of a quantum observable, the latter being represented by a normalized positive operator measure. The moment operators of an observable are physically relevant, in the sense that these operators give, as averages, the moments of the outcome statistics for the measurement of the observable. The main questions under consideration in this work arise from the fact that, unlike a projection valued observable of the von Neumann formulation, a general positive operator measure cannot be characterized by its first moment operator. The possibility of characterizing certain observables by also involving higher moment operators is investigated and utilized in three different cases: a characterization of projection valued measures among all the observables is given, a quantization scheme for unbounded classical variables using translation covariant phase space operator measures is presented, and, finally, a mathematically rigorous description is obtained for the measurements of rotated quadratures and phase space observables via the high amplitude limit in the balanced homodyne and eight-port homodyne detectors, respectively. In addition, the structure of the covariant phase space operator measures, which is essential for the above quantization, is analyzed in detail in the context of a (not necessarily unimodular) locally compact group as the phase space.

Composition, digestibility and nutritive value of cereals for dogs

Selostus: Kypsennettyjen viljojen sulavuus ja ravitsemuksellinen arvo koirien ruokinnassa

Annual and seasonal changes in production and composition of grazed clover-grass mixtures in organic farming

Selostus: Alsike-, puna- ja valkoapilan vaikutus laitumen tuottoon luonnonmukaisessa tuotannossa

BUSINESS CONCEPTS OF MOBILE VALUE-ADDED SERVICES FROM OPERATOR’S POINT OF VIEW

Tämä diplomityö on tehty Lappeenrannassa Telecom Business Research Centerin 5T-projektiin liittyen. Työssä tutkitaan matkaviestinnän lisäarvopalveluiden liiketoimintakonsepteja operaattoreiden näkökulmasta. Lisäarvopalvelut laajentavat operaattoreiden palveluvalikoimaa. Niiden osuuden telekommunikaatioalan yritysten ja erityisesti operaattoreiden tuotoista on ennustettu kasvavan huomattavasti. Työn tärkeimpänä tavoitteena on tuoda uusia näkökulmia ja lisätä ymmärrystä lisäarvopalveluiden liiketoimintakonseptin rakentamisprosessista. Tätä tietämystä käytetään edesauttamaan työn empiirisessä osuudessa tutkitun Content Gateway -tuotteen liiketoimintaa. Tarjoamalla nopean liitynnän ja laskutuskanavan ulkopuolisten palveluntarjoajien ja operaattorin välille tämä tuote mahdollistaa operaattorille ja palveluntarjoajille lisäarvopalveluiden liiketoiminnan käynnistämisen. Lisäarvopalveluiden arvonluontiprosessi vaatii lukuisia yhteistyötä tekeviä osapuolia, joiden yhteistoiminta on dynaamista ja tiedonvälitys avointa, interaktiivista ja nopeaa. Arvonluontiin liittyy myös monia konvergoituvia kehityssuuntia. Perinteinen arvoketjuajattelu on riittämätön uuteen, verkottuneeseen toimintaympäristöön ja sen tilalle on tullut modernimpi arvoverkostomalli. Arvoverkosto luo kilpailuetunsa muita verkostoja vastaan jakamalla resurssit ja kompetenssit optimaalisesti ja liittämällä strategisen ja operationaalisen johtamisen kulttuurit toisiinsa. Tässä työssä verrataan arvoverkoston teoreettisia tavoitteita kahteen lisäarvopalveluiden liiketoimintakonseptiin. Näistä ensimmäinen, i-mode –niminen konsepti on valittu vertailuun edistyksellisyytensä ja tulevaa kehitystä ennakoivien ominaispiirteidensä vuoksi. Toinen esimerkkikonsepti on rakennettu edellä mainitun Content Gateway -tuotteen ympärille. Tutkimus sisältää mm. liikekumppaneiden hankinnan, ansaintalogiikoiden ja verkostojen johtamisen analysoinnin. Työn tuloksena on saatu ohjeita siihen, miten operaattori voi rakentaa tällaista konseptia ja mitä seikkoja tulee ottaa huomioon erityisesti sanomapalveluihin liittyvässä liiketoiminnassa.

Diffusion-weighted MR imaging in musculoskeletal diseases: Current concepts.

MR imaging is currently regarded as a pivotal technique for the assessment of a variety of musculoskeletal conditions. Diffusion-weighted MR imaging (DWI) is a relatively recent sequence that provides information on the degree of cellularity of lesions. Apparent diffusion coefficient (ADC) value provides information on the movement of water molecules outside the cells. The literature contains many studies that have evaluated the role of DWI in musculoskeletal diseases. However, to date they yielded conflicting results on the use and the diagnostic capabilities of DWI in the area of musculoskeletal diseases. However, many of them have showed that DWI is a useful technique for the evaluation of the extent of the disease in a subset of musculoskeletal cancers. In terms of tissue characterization, DWI may be an adjunct to the more conventional MR imaging techniques but should be interpreted along with the signal of the lesion as observed on conventional sequences, especially in musculoskeletal cancers. Regarding the monitoring of response to therapy in cancer or inflammatory disease, the use of ADC value may represent a more reliable additional tool but must be compared to the initial ADC value of the lesions along with the knowledge of the actual therapy.

Disruption of embryonic blood-CSF barrier in chick embryos reveals the actual importance of this barrier to control E-CSF composition and homeostasis in early brain development

In vertebrates, early brain development takes place at the expanded anterior end of the neural tube. After closure of the anterior neuropore, the brain wall forms a physiologically sealed cavity that encloses embryonic cerebrospinal fluid (E-CSF), a complex and protein-rich fluid that is initially composed of trapped amniotic fluid. E-CSF has several crucial roles in brain anlagen development. Recently, we reported the presence of transient blood-CSF barrier located in the brain stem lateral to the ventral midline, at the mesencephalon and prosencephalon level, in chick and rat embryos by transporting proteins, water, ions and glucose in a selective manner via transcellular routes. To test the actual relevance of the control of E-CSF composition and homeostasis on early brain development by this embryonic blood-CSF barrier, we block the activity of this barrier by treating the embryos with 6-aminonicotinamide gliotoxin (6-AN). We demonstrate that 6-AN treatment in chick embryos blocks protein transport across the embryonic blood-CSF barrier, and that the disruption of the barrier properties is due to the cease transcellular caveolae transport, as detected by CAV-1 expression cease. We also show that the lack of protein transport across the embryonic blood-CSF barrier influences neuroepithelial cell survival, proliferation and neurogenesis, as monitored by neurepithelial progenitor cells survival, proliferation and neurogenesis. The blockage of embryonic blood-CSF transport also disrupts water influx to the E-CSF, as revealed by an abnormal increase in brain anlagen volume. These experiments contribute to delineate the actual extent of this blood-CSF embryonic barrier controlling E-CSF composition and homeostasis and the actual important of this control for early brain development, as well as to elucidate the mechanism by which proteins and water are transported thought transcellular routes across the neuroectoderm, reinforcing the crucial role of E-CSF for brain development.

Multimedia Messaging Service Center in a Component Based Architecture

Multimedia-sanomanvälityspalvelu (MMS) on matkapuhelinten väliseen viestintään kehitetty palvelu, joka mahdollistaa yhteyden Internet maailmaan. Multimedia-sanomanvälityspalvelua voidaan käyttää luomaan yhteys matkapuhelimen käyttäjän ja ulkoisen sovelluspalvelimen välille. MMS voidaan nähdä sovelluksena, joka yhdistää multimediaviestin luonnin, käsittelyn sekä toimituksen monelle eri sisältö tyypille. Multimedia-viestikeskus (MMSC) on uusi verkkoelementti, joka on vastuussa multimediaviestien varastoinnista ja toimituksesta. Multimedia-viestikeskuksella on kolme loogista elementtiä, jotka ovat välityspalvelin, sovellusrajapinnat ja matkapuhelinverkkorajapinta. Operaattorit sekä kolmannen osapuolen sovelluskehittäjät voivat kehittää lisäarvopalveluita multimedia-sanomanvälityspalvelulle hyödyntämällä sovellusrajapintoja. Sovellusrajapinnat perustuvat olemassa oleviin Internet protokolliin. Tämä diplomityö tutkii Multimedia-sanomanvälityspalvelun verkkoelementtien rajapintoja. Tulevaisuudessa on tarkoitus lisätä Multimedia-sanomanvälityspalvelun verkkoelementtejä sähköisen kaupankäynnin kehysarkkitehtuuriin, joka perustuu komponentteihin.

Fingermark initial composition and aging using Fourier transform infrared microscopy (μ-FTIR)

This study investigated fingermark residues using Fourier transform infrared microscopy (μ- FTIR) in order to obtain fundamental information about the marks' initial composition and aging kinetics. This knowledge would be an asset for fundamental research on fingermarks, such as for dating purposes. Attenuated Total Reflection (ATR) and single-point reflection modes were tested on fresh fingermarks. ATR proved to be better suited and this mode was subsequently selected for further aging studies. Eccrine and sebaceous material was found in fresh and aged fingermarks and the spectral regions 1000-1850 cm-1 and 2700-3600 cm-1 were identified as the most informative. The impact of substrates (aluminium and glass slides) and storage conditions (storage in the light and in the dark) on fingermark aging was also studied. Chemometric analyses showed that fingermarks could be grouped according to their age regardless of the substrate when they were stored in an open box kept in an air-conditioned laboratory at around 20°C next to a window. On the contrary, when fingermarks were stored in the dark, only specimens deposited on the same substrate could be grouped by age. Thus, the substrate appeared to influence aging of fingermarks in the dark. Furthermore, PLS regression analyses were conducted in order to study the possibility of modelling fingermark aging for potential fingermark dating applications. The resulting models showed an overall precision of ±3 days and clearly demonstrated their capability to differentiate older fingermarks (20 and 34-days old) from newer ones (1, 3, 7 and 9-days old) regardless of the substrate and lighting conditions. These results are promising from a fingermark dating perspective. Further research is required to fully validate such models and assess their robustness and limitations in uncontrolled casework conditions.