natgillin/translations-raw huggingface dataset:
This thesis presents a density measure for scoring certain conjunctions of literals based on the number of implied assignments they yield under unit propagation, and a solving technique that uses this score as a heuristic for the expected refutation work.
Tässä työssä esitellään tiheysmitta, jolla pisteytetään literaalien konjunktioita sen perusteella, kuinka monta muuttujan totuusarvoa niistä seuraa yksikköpropagaatiota käyttämällä, sekä ratkaisutekniikka, joka käyttää tätä pisteytystä heuristiikkana odotetulle refutaatiotyölle.
SAT is NP-complete in the general case, meaning that no known solver can efficiently solve arbitrary SAT instances.
Ongelma on yleisessä muodossaan NP-täydellinen, eikä sellaista ratkaisumenetelmää tunneta, joka kykenisi ratkaisemaan mielivaltaisia SAT-instansseja tehokkaasti.
However, the instances that emerge from real-world applications often have plentiful internal structure, which modern solvers can exploit using various inference techniques, making them tractable in practice.
Monissa käytännön sovelluksissa vastaan tulevissa instansseissa on kuitenkin runsaasti sisäistä rakennetta, jota nykyratkaisimet kykenevät hyödyntämään erinäisin tekniikoin.
The modified solver is evaluated by comparing its running times on a set of benchmark instances to those of the original solver, using both the original-form benchmarks and their permutations.
Muutettua ratkaisinta arvioidaan vertaamalla sen ratkaisuaikoja alkuperäisen ratkaisimen aikoihin, kun ratkaistavana on joukko teollisia vertailuinstansseja sekä niiden sekoitettuja muotoja.
The Boolean satisfiability problem (SAT) is to determine whether a formula of propositional logic evaluates to true under some assignment of truth values to its variables.
Boolen toteutuvuusongelmana (SAT) on selvittää, voidaank1o propositiologiikan lauseen muuttujien totuusarvot valita siten, että lause on tosi.
Statistical analysis of geological space
Geologisen tilavuuden tilastollinen analyysi
Statistical analyses of geological properties needs specific statistical tools.
Geologisen aineiston tilastollinen analyysi tarvitsee oikeanlaiset tilastolliset työka- lut.
Diatexitic gneiss and mica gneiss are found to correlate positively with higher resistance.
Tämän perusteella diateksiittinen gneissi ja kiillegneissi korreloivat positiivisesti korkean resistanssin kanssa.
The multiple regression analysis gives insight into the relationship between the chosen variables and the transmissivity.
Lopullinen regressiomalli antaa selvemmän kuvan transmissiviteetin ja muiden muuttujien suhteesta toisiinsa.
The variables chosen to be examined against transmissivity values are fracture frequency, single point resistance, fracture types and fracture filling including carbonates, sulphides and clays.
Muuttujat joiden suhdetta transmissiviteettiin halutaan tutkia on rakotiheys, pisteresistanssi, rakotyyppi sekä rakotäytemineralogia, joista on mukana karbonaatti, sulfidi sekä savi.
The carbonate variable does not survive in the regression and the reason for this is probably from the complex relationship with specific fracture types.
Karbonaatti ei ole muuttujana lopullisessa mallissa, joka todennäköisesti johtuu rakotyypin ja karbonaatin monimutkaisesta suhteesta.
The data are processed with the possible transformations including Box-Cox and square root procedures if visual inspection and descriptive statistics indicates distribution other than normal.
Kerätylle ja sovitetulle datalle tehdään tarvittaessa Box-Cox tai neliöjuuri muunnos riippuen kuuluko data normaaliin jakaumaan vai mahdollisesti johonkin muuhun jakaumaan.
Data are discretised by inverse distance procedure and they are processed with principal factor analysis and multiple regression analysis with step- wise backward model selection.
Sovitetulle datalle tehdään pääkomponenttianalyysi sekä monta muuttujaa sisältävä lineaarinen regressiomalli takaisin askellus mallin avulla.
The principal factor analysis ends up with three principal factors where the first principal factor can be considered as the fragmentation of the bedrock.
Pääkomponenttianalyysissa päädytään kolmeen pääkomponenttiin, joista kolmas pääkomponentti on ensimmäinen pääkomponenttiryhmän alaryhmä.
The tools used in this thesis includes descriptive statistics, hypothesis testing and visual presentations in forms of histograms, kernel density plots and quantile- quantile plots.
Tässä diplomityössä käytetään tunnuslukuja ja visuaalisia keinoja kuvaamaan muuttujien jakaumaa.
The creep characteristics of particle boards with veneer, plastics film and laminate facings
Pinnoitettujen lastulevyjen viruminen
Residual strength of laterally loaded CFRP/PVC sandwich panels with impact damage
Iskuvaurioitetun lujitemuovisen kerroslevyn jäännöslujuus jakautuneessa kuormituksessa
The importance of services for industrial companies has increased substantially during the recent years and a large portion of the income comes from services in many companies.
Palveluiden merkitys teollisuusyrityksille on kasvanut huomattavasti viime vuosina ja useilla yrityksillä suuri osa tuloista tulee nykyään palveluista.
Contingency theoretical approach to harmonization of service operations
Kontingenssiteoreettinen lähestymistapa palveluoperaatioiden harmonisointiin
Local nature of service operations causes challenges for increasing the cost efficiency.
Palveluiden paikallinen luonne asettaa haasteita kustannustehokkuudelle.
Thesis consists of a literature review and three case studies.
Diplomityö koostuu kirjallisuustutkimuksesta sekä kolmesta tapaustutkimuksesta.
This master's thesis investigates the possibilities of industrial companies to gain cost savings through harmonization of service operations.
Tässä diplomityössä tutkitaan teollisuusyritysten mahdollisuuksia saada aikaan kustannussäästöjä palveluoperaatioita harmonisoimalla.
The most important situational factors supporting harmonization are economies of scale as the source of competitive advantage, homogeneity of customers, low intensity of customer inputs, arm's length communication with the customers and low variability of product portfolio.
Harmonisointia voimakkaimmin tukevia tilannetekijöitä ovat asiakkaiden homogeenisuus, asiakkaan vähäinen osallistuminen palveluprosessiin, mittakaavaedut kilpailuedun lähteenä, elektroninen kommunikaatio asiakkaan kanssa ja suppea tuotevalikoima.
If insufficient amount of attention is not paid to one of the four elements, it is very hard to successfully harmonize service operations.
Jos jokin palvelutoimitusketjun neljästä elementistä jää liian vähäiselle huomiolle, on yrityksen erittäin vaikea harmonisoida palveluoperaatioitaan.
Since the academic literature on harmonization of service operations is very scarce, situational factors and harmonization means were searched in literature sources related to service internationalization, service classifications, service operations management, product standardization and contingency theory.
Koska palveluoperaatioiden harmonisoinnista ei ole juurikaan kirjoitettu akateemisessa kirjallisuudessa, harmonisointiin vaikuttavia tilannetekijöitä sekä harmonisointikeinoja etsittiin pääasiassa yleisiä palvelukategorisointeja, palveluiden hallintaa, palveluiden kansainvälistämistä, tuotteiden standardointia ja kontingenssiteoriaa käsittelevistä artikkeleista.
Service operations are normally handled very locally and therefore services can vary significantly between different locations within a company.
Palveluiden toimittaminen on usein järjestetty paikallisesti ja asiakkaan kokema palvelu saattaa vaihdella alueittain huomattavasti.
One should however pay attention to each service supply chain element (process, data, people and parts).
Tärkeimmät yksittäiset harmonisointikeinot vaihtelevat tilanteittain, mutta palveluoperaatioita harmonisoitaessa on kuitenkin syytä kiinnittää huomiota jokaiseen palvelutoimitusketjun elementtiin (prosessit, data, ihmiset ja varaosat).
Also suitability of harmonization means to particular situations is investigated.
Myös keinojen sopivuutta eri tilanteisiin analysoidaan.
The role of the three case studies was to examine how the different situational factors affect harmonization, and to analyze which harmonization means have been actually utilized in different situations.
Kolmen tapaustutkimuksen roolina oli tutkia, miten eri tilannetekijät vaikuttavat harmonisointiin yrityksissä ja mitä harmonisointikeinoja yritykset ovat hyödyntäneet tai aikovat hyödyntää lähitulevaisuudessa.
The purpose of the literature review was to develop theoretical models for situational factors that have an effect on and for means that support harmonization of service operations.
Kirjallisuustutkimuksen tarkoituksena oli muodostaa teoreettiset mallit harmonisointiin vaikuttavista tilannetekijöistä sekä harmonisointikeinoista.
It is examined, which situational factors affect harmonization of service operations and which means assist in harmonization of service operations.
Työssä tutkitaan palvelu-operaatioiden harmonisointiin vaikuttavia tilannetekijöitä ja palveluoperaatioiden harmonisointia edistäviä keinoja.
Main findings of the thesis are a set of situational factors that affect strongly in harmonization of service operations and a set of harmonization means that can be used to assist in harmonization of service operations.
Työn tuloksena löydettiin useita tilannetekijöitä, jotka vaikuttavat voimakkaasti palveluoperaatioiden harmonisointiin.
Based on these analyses theoretical models of situational factors and harmonization means were validated.
Tapaustutkimuksissa kerätyn tiedon avulla validoitiin kirjallisuuskatsauksessa kehitettyjä teoreettisia malleja.
Cardiovascular magnetic resonance imaging: Error sources in phase contrast flow measurements
Sydämen magneettikuvaus: Virhelähteet virtausten vaihekontrastimittauksissa
Essential theoretical basis to understand the physics underlying the error mechanisms are presented and means to minimize the error are addressed.
Lisäksi käydään läpi mekanismien taustojen ymmärtämiseen vaadittava teoria ja esitellään keinoja syntyvän virheen minimoimiseksi.
Despite of numerous possibilities, the method remains underused.
Menetelmän kiistattomista eduista huolimatta sitä käytetään tällä hetkellä huomattavan vähän.
It is capable to visualize and quantify dynamic phenomena such as blood flow in any part of the human body without being invasive or using ionizing radiation.
Menetelmällä on mahdollista määrittää virtauksen nopeus missä tahansa paikassa ja suunnassa ihmiskehossa ilman ionisoivaa säteilyä tai kajoamista kehon sisälle.
In the work it was found that optimal location to measure arterial flow is approximately 2 cm distal from the aortic or pulmonal valve in case of accelerated flow.
Saatujen tulosten mukaan optimaalinen kuvatason paikka sijaitsee noin 2 cm etäisyydellä valtimoläpästä distaalisesti potilailla joilla on kiihtynyt valtimoveren virtaus.
However, phase contrast flow imaging carries some challenges that are limiting clinical applicability.
Nopeusherkän vaihekontrastikuvantamisen kliinistä käyttöä rajoittavat haasteet sovellettavuudessa jokapäiväiseen sairaalatyöhön.
In this work a research is presented where optimal measurement plane to quantify stroke volume is studied.
Tässä työssä on tehty kirjallisuustutkimus, jossa eritellään nopeusherkällä vaihekontrastikuvantamisella saatuihin tuloksiin vaikuttavat virhemekanismit.
Also, phase contrast flow imaging includes numerous physical and physiological error sources affecting the accuracy of flow measurements.
Itse nopeusherkkään vaihekontrastiin perustuva kuvantaminen on altis useille fysikaaliseen perustaan ja ihmisen fysiologiaan liittyville virhelähteille.
Currently velocity encoded flow imaging can be seen as a secondary modality which is used if necessary after alternative methods such as ultrasound.
Magneettikuvaus itsessään on tällä hetkellä suhteellisen kallis tutkimusmodaliteetti ja sitä on pidettävä sydänsairauksien osalta toisen linjan kuvantamisemenetelmänä ultraäänitutkimuksen jälkeen.
In controls no such relation was found between the measurement plane and the stroke volume.
Terveillä koehenkilöillä ei kuvatason paikalla havaittu olevan merkittävää vaikutusta mitattuun kammion iskutilavuuteen.
The dimensions of human arteries are varying considerably along the flow track beyond the ventricles.
Suurissa valtimoissa kulkevan veren virtauksen luonne on vahvasti paikkariippuvaista.
We are also considering the amount of hardware velocity offset in our measurement system and discussing how it affects to the results.
Näin ollen mitattaessa sydämen tunnuslukuja nopeusherkkään vaihekontrastiin perustuvalla menetelmällä on mittaukseen käytettävän kuvatason paikalla merkittävä vaikutus tuloksiin.
Changing geometrical dimension and individual characteristics of cardiac valves are giving a raise to several spatially alternating flow phenomena such as acceleration artefact and voxel dephasing.
Esimerkiksi kiihtyneessä valtimoverenkierrossa syntyvät turbulenssit ja sydämen rytmihäiriöt saattavat aiheuttaa merkittävää virhettä mitattuihin tuloksiin.
Recent publications even suggest that velocity encoded imaging should be used as a gold standard in the flow measurements of great arteries.
Nopeusherkkään vaihekontrastiin perustuva magneettikuvausmenetelmä on tehokas tapa suurten valtimoiden virtausten tutkimiseen.
An overview on these error sources is presented in this work.
Tutkimuksessa käsitellään lisäksi kokeellisessa osassa käytetyn laitteiston aiheuttamaa virhettä tuloksiin.
Enchancing a process model for product development
Tuotekehitysprosessimallin kehittäminen
Dynamic resource reallocation in cellular networks
Dynaaminen resurssien uudelleenjako solukkoverkoissa
Integration of 5 GHz radio frequency receiver parts for a Wireless Local Area Network system
5 GHz:n radiotajuisten vastaanotinosien integrointi langattomaan lähiverkkosysteemiin
Operator theory in optics
Operaattoriteoriaa optiikassa
Utilization of biomass fraction in energy production
Biomassafraktion hyödyntäminen energiantuotannossa
Residues from forest industry provide an ecologically sustainable raw material for the next generation bioethanol.
Metsäteollisuuden sivutuotteet tarjoavat ekologisen raaka-aineen uuden sukupolven bioetanolille.
The focus of these experiments was to study the importance of high temperature and CBM.
Kokeissa tarkkailtiin erityisesti korkean lämpötilan ja CBM:n merkitystä.
Benefits gained through these prehydrolysis steps remained evident even when a high dosage (30 FPU/g DM) of commercial enzyme preparation was used although the relative importance decreased.
Esihydrolyysien tuoma etu oli selkeästi nähtävissä myös korkealla kaupallisen entsyymivalmisteen määrällä (30 FPU/g ka.), vaikkakin edun suhteellinen merkitys väheni.
In the experimental part thermostable Pyrococcus horikoshii and Thermoascus aurantiacus endoglucanases were produced and characterized.
Kokeellisessa osassa tuotettiin ja karakterisoitiin kirjallisuuden avulla valikoituja termostabiileja Pyrococcus horikoshii ja Thermoascus aurantiacus endoglukanaaseja.
The most promising endoglucanase was P. horikoshii EG (PHc), which had a temperature optimum of 100 °C.
Tuotetuista endoglukanaaseista lupaavin oli P. horikoshii EG (PHc), jonka optimilämpötilaksi määritettiin 100 °C.
At the same time, Nordic softwoods are one of the most recalcitrant materials to process which creates a demand for new process configurations.
Samalla pohjoismainen havupuu on kuitenkin yksi vaikeimmin prosessoitavista selluloosamateriaaleista, minkä vuoksi uusien prosessireittien etsiminen on välttämätöntä.
The effect of these prehydrolysis steps could be further improved by additional process step, where the material was washed with hot water after the hemicellulase treatment.
Näiden esihydrolyysien vaikutusta voitiin edelleen lisätä erillisellä prosessivaiheella, jossa materiaali pestiin kuumalla vedellä hemisellulaasikäsittelyn jälkeen.
Moreover, the importance of CBM was especially obvious without mixing, in which case it almost doubled the hydrolytic activity of P. horikoshii EG towards crystalline cellulose.
Vastaavasti CBM:n merkitys korostui ilman sekoitusta, jolloin se lähes kaksinkertaisti P. horikoshii EG:n kiteisen selluloosan hydrolyysitehokkuuden.
Methods for improvement of enzymatic hydrolysis - high temperature prehydrolysis of cellulosic materials
Entsymaattisen hydrolyysin tehostamiskeinot - korkean lämpötilan esihydrolyysit selluloosamateriaaleilla
Moreover, hemicellulase treatment at 80 °C improved the yield by 20–33 % and the combined treatment with all accessory enzymes by 50–70 %.
Vastaavasti 80 °C:n hemisellulaasikäsittely paransi kuusipurun hydrolyysiastetta 20–33 % ja peräkkäisillä apuentsyymikäsittelyillä vaikutus oli jopa 50–70 %.
At 100 °C the PHc-prehydrolysis improved the hydrolysis yield by 15–30 % whereas at 80 °C the improvement was approximately 3-fold less.
100 °C:n PHc-esihydrolyysi paransi höyryräjäytetyn kuusen hydrolyysiastetta 15–30 %, kun taas 80 °C:ssa vaikutus jäi noin kolmannekseen tästä.
Furthermore, some promising thermostable cellulases are introduced and the role of CBM (carbohydrate binding module) is discussed.
Lisäksi kirjallisuuskatsauksessa esitellään lupaavia termostabiileja sellulaaseja, arvioidaan niiden selluloosaan sitoutuvan osan (carbohydrate binding module, CBM) roolia sekä käsitellään keinoja, joilla hydrolyysissä tarvittavaa entsyymiannostusta pystytään vähentämään.
The focus was especially on short prehydrolysis residence times performed at high temperature and high raw material consistency.
Painopiste oli erityisesti lyhyiden viipymäaikojen sekä korkean lämpötilan ja kiintoainepitoisuuden esihydrolyyseissä.
It is likely that CBM improves hydrolysis only at low solids content and with materials containing mainly pure cellulose.
Esitettyjen tulosten mukaan CBM:stä on hyötyä vain alhaisissa kiintoainepitoisuuksissa lähes puhtaasti selluloosasta koostuvilla materiaaleilla.
Literature survey focuses on the most common pretreatment technologies and methods for conducting enzymatic hydrolysis at extreme conditions, such as high temperature.
Kirjallisuusosassa käydään läpi yleisimmät lignoselluloosan esikäsittelymenetelmät ja perustellaan ääriolosuhteiden, kuten korkean lämpötilan, käyttämistä osana entsyymikäsittelyjä.
When crystalline cellulose was hydrolyzed with PHc, the addition of continuous mixing improved the hydrolysis by 70 % at 70 °C whereas at 100 °C no improvement was observed.
PHc:llä suoritetuissa kiteisen selluloosan hydrolyyseissä jatkuva sekoitus paransi hydrolyysiä 70 °C:ssa 70 %, kun taas 100 °C:ssa hydrolyysi oli käytännössä riippumaton sekoituksesta.
With the aid of these prehydrolysis steps, 56 % total hydrolysis yield of pretreated spruce was achieved.
Esihydrolyysien avulla höyryräjäytetyn kuusen kokonaishydrolyysiaste oli parhaimmillaan 56 %.
Nevertheless, the benefits of high temperature remained evident also in the prehydrolysis experiments of spruce.
Korkean lämpötilan tuomat edut sitä vastoin säilyivät myös kuusipurun esihydrolyyseissä.
However, CBM was irrelevant when concerning the hydrolytic efficiency of P. horikoshii EG towards pretreated spruce.
Kuusipurun esihydrolyyseissä CBM:llä ei kuitenkaan havaittu olevan merkitystä P. horikoshii EG:n tehokkuudelle.
The most promising variants were selected for the prehydrolysis experiments of steam pretreated spruce together with the hemicellulases.
Parhaat variantit valittiin edelleen höyryräjäytetyn kuusipurun esihydrolyyseihin, joissa endoglukanaasien ohella käytettiin myös hemisellulaaseja.
The aim of this thesis was to improve the enzymatic hydrolysis of steam pretreated (steam explosion) spruce by utilizing thermostable endoglucanases and hemicellulases.
Tämän diplomityön tavoitteena oli tehostaa höyryräjäytetyn kuusen entsyymihydrolyysiä termostabiileilla selluloosaa hajottavilla endoglukanaasi- ja hemisellulaasientsyymeillä.
Initial cell cultures showed the gels to be biocompatible.
Alustavat soluviljelykokeet näyttivät geelien olevan bioyhteensopivia.
Additionally, the basic principles of additive manufacturing techniques were introduced, and the machine used in the experimental section was described in more detail.
Lisäksi esitellään materiaalia lisäävien valmistusmenetelmien toimintaperiaatteet, ja tutustutaan tarkemmin kokeellisessa osuudessa käytettävään laitteeseen.
Nanofibrillated Cellulose Hydrogel for 3D Tissue Engineering
Nanokuituisen selluloosan käyttö 3D-kudosteknologiassa
A three dimensional porous scaffold was printed with the optimal parameters.
Geelistä tulostettiin optimaalisilla tulostusparametreilla kolmiulotteinen, huokoinen kappale.
They are also suitable for three dimensional printing.
Hydrogeelit soveltuivat myös kolmiulotteiseen tulostukseen.
The aim of this thesis was to find out if nanofibrillated cellulose based hydrogels are suitable for fabricating three dimensional tissue engineering constructs with additive manufacturing technologies.
Tämän opinnäytetyön tavoitteena oli selvittää, voiko nanokuituista selluloosaa sisältäviä hydrogeelejä käyttää kolmiulotteisten keinokudosten valmistamiseen materiaalia lisäävillä valmistusmenetelmillä.
Results showed that the nanofibrillated cellulose based hydrogels are shear thinning and highly viscous.
Kokeiden tulokset osoittivat, että nanokuitusta selluloosaa sisältävät hydrogeelit ovat leikkausohenevia, ja hyvin viskooseja.
Further experimentation should be conducted to explore the application possibilities of nanofibrillated cellulose hydrogels, and to improve print quality and resolution of the printing machine.
Jatkotutkimuksia tulisi tehdä, jotta voitaisiin tarkemmmin selvittää sopivat sovelluskohteet, sekä parantaa tulostuksen laatua ja tulostuslaitteen resoluutiota.
Previous studies concerning the properties and applications of nanofibrillated cellulose were reviewed.
Kirjallisuuskatsauksessa on käyty läpi tutkimuksia, joissa selvitetään nanokuituisen selluloosan ominaisuuksia ja sovelluskohteita.
Experiments were conducted to find out the rheological properties, optimal gel composition and printing parameters, and the biocompatibility of the hydrogels.
Kokeellisessa osiossa on tutkittu nanokuituista selluloosaa sisältävien geelien reologisia ominaisuuksia, sopivimpia geelikoostumuksia ja tulostusparametreja, sekä bioyhteensopivuutta.
The results of this experiment show that nanofibrillated cellulose is potentially very suitable for tissue engineering.
Tulosten perusteella voidaan sanoa, että nanokuitusta selluloosaa sisältäviä hydrogeelejä voidaan hyödyntää kudosteknologisiin sovelluksiin.
Planning of a control system for drying paper cores
Kartonkihylsyjen kuivatuksen säädön suunnittelu
A case study on the influence of IT system implementation success factors on technology acceptance and intention to use
Tapaustutkimus IT-järjestelmän käyttöönoton menestystekijöiden vaikutuksesta teknologian hyväksyntään ja käyttöaikomukseen
Fire design of double-layer steel space frames
Kaksipaarretasoisten teräksisten avaruusristikoiden palotekninen mitoitus
The aim of this work is to study and verify the operation of an energy recycling system in KSSHP Hospital Nova.
Työn tavoitteena on tutkia ja varmentaa KSSHP Sairaala Novan energiankierrätysjärjestelmän toimintaa.
Simulation of a hospital building's energy recycling system and the impact of control parameters on the system's energy performance and operation
Sairaalarakennuksen energiankierrätysjärjestelmän simulointi ja säätöparametrien vaikutus järjestelmän energiatehokkuuteen ja toimintaan
To this end, a simulation model was built using MATLAB Simscape, which enabled the creation of a dynamic simulation model describing the real-world system.
Tätä varten järjestelmästä luodaan simulointimalli Mathworksin MATLAB-ohjelmiston Simscape-laajennuksella, joka mahdollistaa todellista järjestelmää kuvaavan dynaamisen simulaatiomallin luomisen.
In simulations the annual district heat consumption varies from 3628 MWh to 3704 MWh and the annual total energy costs vary from 316 344 €/a to 319 532 €/a.
Simulaatioissa tarkastellun järjestelmän kaukolämmön vuotuinen kulutus on 3628 – 3704 MWh ja vuotuiset kokonaisenergiakustannukset 316 344 – 319 532 €/a.