natgillin/translations-raw huggingface dataset:
In the fourth article weighted composition operators are studied on the scalar-valued BMOA space and its subspace VMOA.
Viimeisessä artikkelissa tutkitaan painotettuja kompositio-operaattoreita skalaariarvoisessa BMOA-avaruudessa ja sen aliavaruudessa VMOA.
A composition operator is a linear operator between spaces of analytic or harmonic functions on the unit disk, which precomposes a function with a fixed self-map of the disk.
Kompositio-operaattori on lineaarinen kuvaus, joka yhdistää funktioon sisältä päin symbolin eli jonkin analyyttisen kuvauksen yksikkökiekolta itselleen.
A fundamental problem is to relate properties of a composition operator to the function-theoretic properties of the self-map.
Tutkimuksen tavoitteena on kuvata kompositio-operaattorin ominaisuuksia symbolin funktioteoreettisten ominaisuuksien avulla.
In addition, the relationship of different vector-valued function spaces is analyzed.
Lisäksi eri avaruuksien välisiä eroja valaistaan esimerkein.
Moreover, the essential norm of a weighted composition operator on VMOA is estimated.
Työssä karakterisoidaan painotetun kompositio-operaattorin kompaktisuus BMOA-avaruudessa ja annetaan arvio operaattorin olennaiselle normille VMOA-avaruudessa.
Assuming that the measurement vector is a realization of fractional Brownian motion, the goal is to retrieve the amplitude and the Hurst parameter.
Oletamme, että molemmat näistä komponenteista ovat fraktionaalisen Brownin liikkeen realisaatioita Fraktionaalinen Browin liike määräytyy kahdesta parametrista, amplitudista ja ns. Hurstin parametrista, joka määrää kuinka säännöllinen kuvaaja on.
The measurement data is usually noisy, and we assume the data to be the sum of two vectors: the trend and the noise.
Tyypillisesti tällaisten mittausten muodostama aikasarja koostuu kahdesta komponentista, nopeasti heilahtelevasta kohinasta, ja trendistä, jonka voi ajatella kuvaavan suureen kehitystä pitkällä aikavälillä.
Moreover, with the support of numerical simulations, we show that in certain cases the solution is reliable and the reconstruction of the trend vector is quite accurate.
Tässä työssä todistetaan, että lisättäessä mittausten määrää saamme tietyin oletuksin määrättyä sekä kohinatermin että trenditermin parametrit.
The problem of recovering information about a physical phenomenon from measurement data is an inverse problem.
Työssä tarkastellaan seuraavaa ongelmaa: oletetaan että mittaamme jotain fysikaalista suuretta tasavälisin ajanhetkin.
Both vectors are supposed to be realizations of fractional Brownian motions, and the goal is to retrieve their parameters using the statistical inversion method.
Käyttäen Bayesiläisiä menetelmiä tutkimme myös kuinka hyvin nämä parametrit on mahdollista määrätä simuloidusta aineistosta.
Also, by inspecting the form of the translated formulas, one can see how an aspect of one logic can be expressed in the other logic.
Lisäksi tarkastelemalla käännettyjä kaavoja voidaan havaita, miten yhden logiikan tietyt piirteet siirtyvät toiseen logiikkaan.
Also game theoretic semantics are considerd in the light of 1-semantics.
Myös peliteoreettista semantiikkaa tarkastellaan 1-semantiikan valossa.
Translations are useful for showing relationships between the expressive powers of logics.
Käännösten avulla voidaan vertailla logiikoiden ilmaisuvoimia keskenään.
The thesis contains detailed proofs of several translations between dependence logic, team logic, second order logic and its existential fragment.
Abstraktimpiin tuloksiin kuuluvat useat yksityiskohtaiset käännöstulokset riippuvuuslogiikan, tiimilogiikan, toisen kertaluvun logiikan ja sen eksistentiaalisen fragmentin välillä.
Negation in 1-semantics is a semantic operation and satisfies the law of excluded middle.
1-semantiikan negaatio toteuttaa lisäksi kolmannen poissuljetun lain.
Finally, the thesis investigates the very foundation of dependence logic.
Väitöskirjassa tutkitaan myös riippuvuuslogiikan todistusteoriaa.
This thesis is a study of a rather new logic called dependence logic and its closure under classical negation, team logic.
Tiimilogiikka on riippuvuuslogiikan sulkeuma klassisen negaation suhteen.
A key problem is identified and addressed in adapting a known proof system of classical propositional logic to become a proof system for the fragment, namely that the rule of contraction is needed but is unsound in its unrestricted form.
Tälle fragmentille määritellään klassisen propositiologiikan todistusjärjestelmää muistuttava järjestelmä, jossa supistussääntöä joudutaan rajoittamaan.
Therefore 1-semantics reflects an established semantics in a coherent manner.
1-semantiikka eroaa aiemmista semantiikoista useilla tavoilla.
A translation is provided from unrestricted formulas of existential second order logic into 1-semantics.
1-semantiikan ilmaisuvoiman todistetaan käännöksen avulla kattavan täsmälleen eksistentiaalinen toisen kertaluvun logiikan siinä, missä aiemmat semantiikat ovat kattaneet vain sen alaspäin suljetun fragmentin.
Such rules are among the basic tools one must be familiar with in order to gain the required intuition for using the logic for practical purposes.
Nämä tulokset auttavat osaltaan ymmärtämään riippuvuuslogiikkaa ja edesauttavat intuition kehittämistä sen käytössä.
Some rules are presented for quantifier swapping in dependence logic and team logic.
Väitöskirjan käytännöllisempiin tuloksiin kuuluvat kvanttorien vaihtosäännöt riippuvuuslogiikan kaavoissa.
An alternative semantics called 1-semantics is suggested for the syntax of dependence logic.
Lopuksi väitöskirja pureutuu riippuvuuslogiikan ytimeen ja määrittelee sille vaihtoehtoisen semantiikan nimeltään 1-semantiikka.
Attempts focus on finding a complete proof system for a modest yet nontrivial fragment of dependence logic.
Tutkimus keskittyy riippuvuuslogiikan erääseen yksinkertaiseen fragmenttiin, joka muistuttaa klassista propositiologiikkaa.
The thesis makes preliminary investigations into proof theory of dependence logic.
Lisäksi väitöskirja tutkii Ehrenfeucht-Fraïssé-pelien suhteita riippuvuuslogiikan ja predikaattilogiikan välillä.
Proofs of the stated results are provided in the appendix.
Työssa saadut tulokset antavat tukea näille otaksumille.
The second article studies SLE variants that represent models with boundary conditions implemented by primary fields.
Työssä tarkastellaan erityisesti muunnelmia alkuperäisestä SLE:stä, jotka sallivat yleisempiä reunaehtoja.
We conjecture a relation between the topological configurations and CFT concepts of conformal blocks and operator product expansions.
Näistä muunnelmista moni-SLE:t kuvaavat useita käyriä samassa alueessa ja niiden topologisten konfiguraatioidenn yhteyttä konformikenttäteorian käsitteisiin operaattoritulokehitelmä ja konforminen blokki selvitetään.
It has been succesfully used by physicists since 1980's.
1980-luvulta alkaen teoreettisessa fysiikassa tällaisia kriittisiä ilmiöitä on tutkittu kvanttikenttäteorian menetelmin.
The fourth article states results of applications of the Virasoro structure to the open questions of SLE reversibility and duality.
Erityisesti tätä luokittelua sovelletaan kahteen tunnettuun SLE:hen liittyvään avoimeen ongelmaan, SLE:n kääntämiseen ja duaalisuuteen.
The first and second included articles argue on basis of statistical mechanics what would be a plausible relation between SLEs and conformal field theory.
Tilastollisen mekaniikan perusteella esitetään, miten yhteys voidaan ymmärtää.
The thesis studies relations between two different approaches to continuum limit of models of two dimensional statistical mechanics at criticality.
SLE:t ovat satunnaisia käyriä kaksiulotteisissa alueissa ja ne ovat konformisymmetriansa takia vahva ehdokas kuvaamaan kriittisen tilastollisen mekaniikan käyriä ja rajapintoja.
Example applications of multiple SLEs include crossing probabilities for percolation and Ising model.
Kriittisessä pisteessä mallit ovat skaalainvariantteja ja on paljon todisteita vielä vahvemmasta symmetriasta, konformisymmetriasta.
The approach of conformal field theory (CFT) could be thought of as the algebraic classification of some basic objects in these models.
Työssä osoitetaan myös, että lähestymistapojen yhteys mahdollistaa SLE:n tiettyjen suureiden luokittelun kvanttikenttäteorioiden konformisymmetriaan liittyvän Virasoro algebran avulla.
In the third article the space of local martingales for variants of SLE is shown to carry a representation of Virasoro algebra.
Konformisymmetriaa kuvaa Virasoro algebraksi kutsuttu ääretönulotteinen Lien algebra.
The curves of multiple SLE may form different topological configurations, ``pure geometries''.
Niitä kvanttikenttäteorioita, joilla on tämä symmetria, sanotaan konformikenttäteorioiksi.
The first article studies multiple SLEs, several random curves simultaneously in a domain.
Duaalisuus taas liittyy kysymykseen onko tietyn SLE:n nk. rungon reuna paikallisesti samanlainen kuin toisen SLE:n käyrä.
This article, too, emphasizes multiple SLEs and proposes a possible way of treating pure geometries in terms of Coulomb gas.
Konformikenttäteoriaa käytetään myös nk. säieteorioissa, hiukkasfysiikan teorioissa jotka pyrkivät gravitaation kvanttiteoriaan.
The most well known of these, SLE(kappa, rho), is shown to be simple in terms of the Coulomb gas formalism of CFT.
Myös konformikenttäteorioiden Coulombin kaasu menetelmän näytetään soveltuvan joihinkin SLE:n muunnelmia koskeviin kysymyksiin.
The other approach, Schramm-Loewner evolutions (SLEs), is a recently introduced set of mathematical methods to study random curves or interfaces occurring in the continuum limit of the models.
Työn menetelmillä voidaan jatkossa parantaa ymmärrystä SLE:istä ja mahdollisesti muista samankaltaisista konformisymmetrisistä satunnaisista käyristä.
Finding this structure is guided by the relation of SLEs and CFTs in general, but the result is established in a straightforward fashion.
Tässä väitöskirjassa tutkitaan konformikenttäteorioiden ja SLE:n välistä yhteyttä.
Bayesian fisheries stock assessment : integrating and updating knowledge
Bayesläinen kalakantojen arviointi : tietojen yhdistäminen ja päivittäminen
The work was conducted in collaboration of the Finnish Game and Fisheries Research Institute by using the problem of monitoring and prediction of the juvenile salmon population in the River Tornionjoki as an example application.
Tutkimus on tehty yhteistyössä riista- ja kalatalouden tutkimuslaitoksen (RKTL) kanssa soveltamalla päättelyperiaatetta esimerkiksi Tornionjoen lohenpoikasten runsauden seurantaan ja ennustamiseen.
In this thesis the use of the Bayesian approach to statistical inference in fisheries stock assessment is studied.
Väitöskirjassani olen tutkinut Bayes -päättelyn mahdollisuuksia ja ongelmia kalakantojen arvioinnissa.
Each article of the thesis provides a novel method either for extracting information from data obtained via a particular type of sampling system or for integrating the information about the fish stock from multiple sources in terms of a population dynamics model.
Mittaukset koostuvat perinteisesti kalamerkinnöistä ja erilaisista koepyynneistä, mutta nykyisin voidaan käyttää hyväksi myös viimeisimmän DNA -tutkimuksen tuottamia tietoja kalojen alkuperän selvittämiseksi.
It is argued that the role of subjective prior knowledge needed in practically all parts of a Bayesian model should be recognized and consequently fully utilised in the process of model formulation.
Bayes- päättelyn soveltaminen kalakantojen arvioinnissa ei kuitenkaan näytä täysin ongelmattomalta, sillä useissa tapauksissa biologista realismia joudutaan vielä vähentämään, jotta laskelmien tekoon kuluva aika ei venyisi liian pitkäksi.
Mark-recapture and removal sampling schemes and a random catch sampling method are covered for the estimation of the population size.
Kalakantojen arvioinnissa joudutaan usein käyttämään useita erilaisia epäsuoria mittauksia kannan tilan selvittämiseksi.
In addition, a method for estimating the stock composition of a salmon catch based on DNA samples is also presented.
Osa kehitetyistä menetelmistä on jo käytössä kalakantojen arvioinnissa, esimerkiksi mereen vaeltavien lohenpoikasten rysäpyyntiaineiston analysointiin tarkoitettu malli on jo otettu käyttöön kansainvälisen merentutkimusneuvoston lohi- ja meritaimentyöryhmässä.
These tori foliate the whole phase space.
Nämä torukset folioivat koko vaiheavaruuden.
We shall proceed by solving a sequence of problems in which theperturbations are analytic approximations of the original one.
Tämö tapahtuu ratkaisemalla jono ongelmia, jossa häiriöt ovat alkuperäisen analyyttisiä approksimaatioita.
It is well known that an integrable (in the sense of Arnold-Jost) Hamiltonian system gives rise to quasi-periodic motion with trajectories running on invariant tori.
On hyvin tunnettua, että (Arnoldin ja Jostin mielessä) integroituva Hamiltonin systeemi synnyttää kvasiperiodisia ratoja invarianteilla toruksilla.
If we perturb an integrable system, the Kolmogorow-Arnold-Moser (KAM) theorem states that, provided some non-degeneracy condition and that the perturbation is sufficiently small, most of the invariant tori carrying quasi-periodic motion persist, getting only slightly deformed.
Jos systeemiä häiritään, kertoo Kolmogorovin, Arnoldin ja Moserin (KAM-) lause, että erään ei-degeneroituvuus-ehdon vallitessa ja häiriön ollessa riittävän pieni suurin osa toruksista säilyy hieman muotoaan muuttaneena.
We will finally show that the approximate solutions will converge to a differentiable solution of our original problem.
Näiden ratkaisuiden osoitetaan suppenevan alkuperäisen ongelman ratkaisuun.
In the second part we will use an RG scheme using continuous scales, so that instead of solving an iterative equation as in the classical RG KAM, we will end up solving a partial differential equation.
Klassisessa KAM-lauseen renormalisaatiotodistuksessa esiintyvän iteratiivisen yhtälön sijaan päädytään nyt osittaisdifferentiaaliyhtälöön.
In the first part of the thesis we shall use a Renormalization Group (RG) scheme in order to prove the classical KAM result in the case of a non analytic perturbation (the latter will only be assumed to have continuous derivatives up to a sufficiently large order).
Väitöskirjan ensimmäisessä osassa todistetaan klassinen KAM-lause renormalisaatioryhmän avulla siinä tapauksessa, että häiriö on riittävän useasti derivoituva.
This will allow us to reduce the complications of treating a sequence of iterative equations to the use of the Banach fixed point theorem in a suitable Banach space.
Tätä hyödyntäen pelkistyy ongelma lopulta Banachin kiintopistelauseeseen sopivassa avaruudessa.
The main result in the dissertation can be interpreted as a T1 theorem for weakly singular integral operators.
Väitöskirjassa todistettu päätulos voidaan tulkita T1 lauseeksi työssä käsiteltäville heikosti singulaarisille integraalioperaattoreille.
The Lp-boundedness of singular integrals is characterized by the T1 theorem, which is originally due to David and Journé and was published in 1984 (Ann. of Math. 120).
Singulaaristen integraalien Lp-kuvausominaisuuksia luonnehtii T1 lause, jonka David ja Journé julkaisivat vuonna 1984.
The associated kernels are weakly singular and examples of such are given by Green functions of certain elliptic partial differential equations.
Käsiteltävät ytimet ovat heikosti singulaarisia ja esimerkkejä näistä ovat eräiden elliptisten osittaisdifferentiaaliyhtälöiden Greenin funktiot, joita vastaavien operaattoreiden kuvausominaisuuksien avulla voidaan tunnetusti johtaa ominaisuuksia yhtälöiden ratkaisuille.
The dissertation deals also with special convolution type weakly singular integral operators that are defined on Euclidean spaces.
Väitöskirjassa tarkastellaan lisäksi erityisiä konvoluutiotyyppisiä heikosti singulaarisia integraalioperaattoreita euklidisissa avaruuksissa.
In case the aforementioned kernels are defined in the whole Euclidean space, their partial derivatives of prescribed order turn out to be so called standard kernels that arise in connection with singular integral operators.
Jos alue on koko euklidinen avaruus, niin työssä määriteltyjen ytimien sopivan kertaluvun osittaisderivaatat ovat standardiytimiä jotka liittyvät singulaarisiin integraalioperaattoreihin.
The main object of study in this dissertation being the boundedness properties of such compositions, the main result is the characterization of their Lp-boundedness on suitably regular domains.
Työn päätulos on Lp-rajoittuneisuuden karakterisointi riittävän säännöllisillä alueilla.
The monograph dissertation deals with kernel integral operators and their mapping properties on Euclidean domains.
Monografiamuotoisessa väitöskirjassa tarkastellaan euklidisten avaruuksien alueissa määriteltyjä ytimellisiä integraalioperaattoreita ja niiden kuvausominaisuuksia.
These kernels induce integral operators which are then composed with any partial differential operator of prescribed order, depending on the size of the kernel.
Väitöskirjassa kvantifioidaan luonnollisia koko- ja kumoutumisehtoja alueissa määritellyille ytimille ja annetaan eräs vastaus seuraavaan kysymykseen: milloin nämä ehdot toteuttavaa ydintä vastaava operaattori on rajoitettu, kun se yhdistetään mihin tahansa ytimen kokoa vastaavan kertaluvun osittaisderivaattaan.
Discovering hidden structures in molecular data using a Bayesian partition model approach
Molekyylitason biologisten aineistojen rakenteen selvittäminen bayesläistä ositusmallia hyödyntäen
Generalizations and modifications of the partition model are developed and applied to various problems.
Osatöissä kehitetään mallista eri tilanteisiin soveltuvia muotoiluja ja yleistyksiä.
Such data often are in the form of sequences of observations, examples including DNA sequences and amino acid sequences of proteins.
Toisenlaisen esimerkin sekvenssimuotoisesta aineistosta tarjoavat proteiinit, joiden rakenteen määrää peräkkäisten aminohappojen muodostama ketju.
For example, one may wish to identify areas in an amino acid sequence, which are important for the function of the corresponding protein, or investigate how characteristics on the level of DNA sequence affect the adaptation of a bacterial species to its environment.
Käytännön sovellutusten kannalta on kiinnostavaa tutkia esimerkiksi kuinka bakteerit kehittävät lääkkeille vastustuskykyisiä kantoja, tai pyrkiä tunnistamaan automaattisesti aminohapposekvenssien pohjalta niitä kohtia sekvenssissä, jotka ovat proteiinin toiminnan kannalta keskeisiä.
As the basis of our modeling approach we utilize a partition model, which is used to describe the structure of data by appropriately dividing the data items into clusters of related items.
Lähtökohtana on todennäköisyyksiin perustuva ositusmalli, jolla kuvataan aineistoon kuuluvien yksilöiden muodostamia eriytyneitä ryhmiä.
The computational efficiency stems from the ability to integrate out the parameters of the partition model analytically, which enables the use of efficient stochastic search algorithms.
Tähän haasteeseen on työssä vastattu kehittämällä uudenlaisia laskennallisia lähestymistapoja, jotka mahdollistavat isojenkin aineistojen analysoinnin kohtuullisessa ajassa.
The scale and quality of the data give promises of answering various biologically relevant questions in more detail than what has been possible before.
Jatkuvasti kehittyvien laboratoriomenetelmien ansiosta molekyylitason biologista aineistoa on tarjolla tutkijoille enemmän kuin koskaan aiemmin.
Many of the interesting questions are intimately associated with the understanding of the evolutionary relationships among the items under consideration.
Tässä työssä kehitämme sekvenssimuotoiselle aineistolle soveltuvia malllinnustyökaluja, joita käyttämällä tutkijoilla on mahdollisuus ymmärtää havaittujen yksilöiden evolutiivisia suhteita, sekä mallintaa evoluutioon vaikuttavia mekanismeja.
Our main concern is on modeling the evolutionary relationships based on the observed molecular data.
Geeni- tai proteiinisekvensseihin perustuva aineisto tarjoaa oivan lähtökohdan yksilöiden evolutiivisten suhteiden arvioimiseen.
The aim of this work is to develop novel statistical models and computational techniques to meet with the challenge of deriving meaning from the increasing amounts of data.
Näiden evolutiivisten suhteiden selvittäminen tarjoaa mielenkiintoista tietoa evoluutiosta itsestään sekä sen mekanismeista ja vaikutuksesta esimerkiksi uusien lajien syntyyn.
The most important result is the following.
Selitän, mitä tämä tarkoittaa.
Definability of naturals in function algebras
Luonnollisten lukujen joukon määriteltävyys funktioalgebroissa
Let X be a topological space, K the real algebra of the reals, the compelex numbers, the quaternions, or the octonions, and R a subalgebra of the algebra of all functions from X to K containing all constants.
Tavoitteena on löytää kaava joka on tosi, kun x on luonnollinen luku, ja epätosi, kun x on kyseisen joukon alkio, joka ei ole luonnollinen luku.
We study first-order definability of the constant function set N' corresponding to the set of the naturals in certain subalgebras of T(X,K).
Tutkimuskohteena on luonnollisten lukujen joukon määriteltävyys tietynlaisissa joukoissa.
In the vocabulary the symbols Constant, +, *, 0', and 1' are used, where Constant denotes the predicate defining the constants, and 0' and 1' denote the constant functions with values 0 and 1 respectively.
Tällöin luonnollisten lukujen joukko voidaan määritellä kaavalla, joka sanoo: "On olemassa sellainen y, että x=y+1."
(4) The algebra R contains a piecewise open mapping from X to the set of the reals and function whose range contains a nonempty open subset of K. Furthermore R does not contain an everywhere unbounded function.
Luonnollisten lukujen joukko voidaan helposti määritellä hyvin monella kaavalla, mutta ongelma onkin siinä, että mikä tahansa kaava ei kelpaa.
The topic of this dissertation is the geometric and isometric theory of Banach spaces.
Tämä matematiikan väitöskirja käsittelee Banach-avaruuksien geometristä ja isometristä teoriaa.
This work is motivated by the known Banach-Mazur rotation problem, which asks whether each transitive separable Banach space is isometrically a Hilbert space.
Rotaatio-ongelma kysyy onko jokainen separoituva transitiivinen Banach-avaruus itseasiassa Hilbert-avaruus.
The convex-transitivity of some vector-valued function spaces is studied as well.
Lisäksi tutkitaan myös vektoriarvoisten funktioavaruuksien rotaatioita, jossa nämä funktioavaruudet tunnetaan ennalta epäisomorfisiksi Hilbert-avaruuden kanssa.
Namely, we attempt to characterize Hilbert spaces by using convex-transitivity together with the existence of a 1-dimensional bicontractive projection on the space, and some mild geometric assumptions.
Väitöskirjan tulokset liittyvät avaruuksiin, joissa on lähtökohtaisesti vähemmän symmetrioita kuin rotaatio-ongelma edellyttää mutta toisaalta tässä tutkituilta avaruuksilta edellytetään lisäksi rakenteellisia ominaisuuksia, jotka liittyvät yksikköpallon geometriaan ja avaruuden ortogonaalistyyppisiin hajoitelmiin.
Another investigated condition is convex-transitivity, which requires that the closed convex hull of the orbit of any point of the unit sphere under the rotation group is the whole unit ball.
Banach-avaruutta kutsutaan transitiiviseksi, jos mille tahansa kahdelle pisteelle, joiden normi on 1, löytyy rotaatio joka vie näistä pisteistä yhden pisteparin toiselle pisteelle.
Convex-transitive Banach spaces and their hyperplanes
Väitöskirjassa tutkitaan siis Banach-avaruuksien symmetrioita.
In this thesis we formulate and analyze Bayesian models for genetic marker data of contemporary individuals.
Tässä väitöskirjassa kehitetään Bayesläisen tilastotieteen malleja eräille geneettisille prosesseille sekä sovelletaan malleja esimerkkiaineistoihin.
In order that most information from such data can be extracted, the analyses need to be carried out using statistical models that are tailored to take account of the particular genetic processes.
Tällaisten aineistojen käsittelemiseksi tarvitaan tilastollisia malleja, jotka hyödyntävät mahdollisimman tarkasti käytettävissä olevaa tietämystä biologisista prosesseista, joiden tuloksena kerätyt aineistot ovat muodostuneet.