natgillin/translations-raw huggingface dataset:
Larger problem instances may even be solved faster by minisat with the xor -reasoning module than by the unmodified version.
Isompien ongelmainstanssien ratkaisuun tarvittava aika on yhdistetyllä menetelmällä ajoittain jopa lyhyempi kuin minisat-ratkaisimella teoriamoduulin ansiosta.
However, modern SAT solvers scale poorly with problems involving parity constraints (linear equations modulo 2).
Lauselogiikan toteutuvuustarkistimen laajentaminen lineaariyhtälöillä (modulo 2)
The applicability of the hybrid approach is evaluated experimentally and compared with a number of modern SAT solvers on three challenging benchmarks: randomly generated regular linear problems, a known keystream attack on the stream cipher Trivium, and a known plaintext attack on the block cipher DES.
Yhdistetyn menetelmän soveltuvuutta tutkitaan satunnaisesti tuotettujen lineaaristen ongelmien kanssa sekä kryptoanalyysin työkaluna tutkimuskohteina jonosalain Trivium ja lohkosalain DES.
Key design principles along with alternative ways to compute clausal explanations and to integrate the xor -reasoning module into a SAT solver are presented, analyzed, and compared.
Diplomityössä kuvataan ja analysoidaan tärkeimpien suunnitteluperiaatteiden lisäksi erilaisia tapoja laskea klausuulipohjaisia selityksiä konflikteille ja integroida teoriamoduuli SAT-ratkaisimeen.
We have integrated the xor -reasoning module into a state-of-the-art CDCL SAT solver, minisat.
Teoriamoduuli on integroitu tehokkaaseen konfliktioppivaan SAT-ratkaisimeen (minisat).
Representing parity constraints in CNF results in an inefficient encoding which partly makes solving the problem harder.
Lineaarisen ongelman esittäminen konjunktiivisessa normaalimuodossa kasvattaa ongelmakuvauksen kokoa muuttujien tai rajoitteiden lukumäärän suhteen, mikä tekee ongelman ratkaisemisesta laskennallisesti vaativampaa.
Communication security of process-oriented integration software
Prosessiorientoituneen integraatio-ohjelmiston tietoliikenteen tietoturva
Middlewares for Home Network Management
Väliohjelmistot kotiverkon hallinnassa
Smartphones are expected to replace feature phones in the developed markets.
Älypuhelinten odotetaan korvaavan peruspuhelimet erityisesti kehittyneillä markkinoilla.
During the research, factors that may lead to smartphones that appeal more to men than to women were identified and practical recommendations on how to fix that are presented.
Tutkimuksen edetessä pystyttiin löytämään tekijöitä, jotka saattavat johtaa älypuhelimiin, jotka vetoavat enemmän miehiin kuin naisiin, ja käytännön suosituksia, joilla tilannetta voi parantaa.
Gendered perceptions of design on smartphones - A study of designing appealing smartphones for women
Sukupuolittuneet käsitykset älypuhelinsuunnittelusta - tutkimus naisiin vetoavien älypuhelinten suunnittelusta
In addition it is important to use gender-balanced testing groups with varying technical competences and to always analyse user research results by gender and to report any found gendered differences.
Lisäksi on tärkeää, että käyttäjätestaukseen osallistetaan tasaisesti naisia ja miehiä, ja että tulokset tarkistetaan myös sukupuolen mukaan ja mahdolliset sukupuolittuneet löydökset raportoidaan.
Men are adopting them faster than women and that creates a market opportunity for companies that succeed in offering products that appeal to women.
Miehet ovat siirtyneet naisia nopeammin älypuhelinkäyttäjiksi, joten naiset muodostavat kiinnostavan kuluttajaryhmän valmistajille, jotka onnistuvat tarjoamaan naisiin vetoavia älypuhelimia.
A preliminary study investigates consumers' gendered perceptions of smartphone design appeal and a main study tries to reveal what is the current role of gender in smartphone design and what kind of knowledge the experts working in a smartphone company have formed on women through their work.
Tutkimus on laadullista ja empiria-aineisto kerätään haastattelujen avulla, Esitutkimuksessa kartoitetaan kuluttajien käsityksiä älypuhelinsuunnittelun sukupuolittuneesta vetoavuudesta ja päätutkimuksessa selvitetään, millainen rooli sukupuolella on tällä hetkellä älypuhelinsuunnittelussa ja minkälaista tämän tutkimuksen kannalta hyödyllistä tietoa asiantuntijat, jotka kehittävät ja suunnittelevat älypuhelimia, ovat muodostaneet työnsä kautta naisista.
On the contrary, it requires making sure that the products meet the needs and wishes of both men and women.
Sukupuolineutraalien tuotteiden suunnittelu ei tarkoita sitä, että sukupuoli pitäisi jättää huomiotta - päinvastoin se edellyttää, että sekä miesten että naisten tarpeiden ja toiveiden täyttyminen tietoisesti varmistetaan.
That is accomplished by studying the differences between men and women, role of gender in product design, gendered perceptions of smartphone appeal, and women as users of technology and smartphones in particular.
Julkaistua tutkimustietoa miten suunnitella naisille löytyy kuitenkin vain vähän, sillä sukupuolta ei yleensä erikseen huomioida käyttäjäkeskeisessä suunnittelussa, Tämä työ tutkii kuinka suunnitella naisiin vetoavia älypuhelimia: Vastauksia etsitään tutkimalla miesten ja naisten välisiä eroja, sukupuolen asemaa tuotesuunnittelussa, sukupuolittuneita käsityksiä älypuhelinsuunnittelun vetoavuudesta sekä naisia teknologian ja erityisesti älypuhelinten käyttäjinä.
The videos are analyzed using multimodal interaction analysis and the interviews using content analysis, applying a theoretical background of symbolic interactionism.
Videot on analysoitu multimodaalisella vuorovaikutusanalyysilla, käyttäen symbolista interaktionismia teoreettisena linssinä tulosten tulkinnassa.
Augmented Sociality - How the Digital and Physical Worlds Merge in the Social Use of ICT
Laajennettu sosiaalisuus: kuinka digitaalinen ja fyysinen maailma sulautuvat yhteen ICT:n sosiaalisessa käytössä
With ICT impacting their ongoing sociality, this combining gives rise to complex social phenomena that come with both opportunities and risks for individuals' productivity and well-being.
Näissä toistaiseksi vähän tutkituissa prosesseissa, joissa ihmiset yhdistävät digitaalista ja fyysistä maailmaa ICT:n avulla, kahden maailman törmäyksistä syntyy sekä sosiaalisia mahdollisuuksia että haasteita, jotka voivat vaikuttaa ICT:n käyttäjien tuottavuuteen ja hyvinvointiin.
Each incident of achieving this social acceptability reinforces Augmented Sociality.
Tulosten perusteella väitöskirjassa esitellään muuntunut sosiaalisuuden tila, laajennettu sosiaalisuus (Augmented Sociality).
Over repeated achievements, individuals tend to adapt their social tolerances toward ICT use and help ICT to adjust itself accordingly, to comprise humans and ICT as one social group, across the digital and physical worlds as one hybrid social environment.
Näin tapahtuu silloin, kun he onnistuvat ottamaan huomioon molempien maailmojen sosiaaliset odotukset riittävän hyvin kokeakseen ICT:n käytön sosiaalisesti hyväksyttäväksi ja ollakseen valmiita sietämään siitä johtuvia poikkeamia sosiaalisista vaatimuksistaan.Laajennetun sosiaalisuuden saavuttaminen ja ylläpitäminen vaatii hienotunteisuutta ja monipuolisia sosiaalisia taitoja, sillä onnistuakseen ICT:n käyttäjien on huomioitava yhtä aikaa sekä ihmisten että ICT:n sosiaaliset vaatimukset fyysisessä ja digitaalisessa maailmassa.
The thesis positions Augmented Sociality as a state in social behavior, an interactional co-achievement of humans and ICT, where the digital and physical worlds merge into one hybrid environment for social behavior.
Laajennettu sosiaalisuus syntyy, kun ihmiset onnistuvat ICT:n kanssa toimiessaan sulauttamaan fyysisen ja digitaalisen sosiaalisen maailman hybridiksi, yhdeksi sosiaaliseksi maailmaksi.
As a result, individuals can be left struggling in their efforts to keep their combining behaviors benign.
Onnistumisten seurauksena he kokevat toimivansa hybridiympäristössä uudenlaisten käyttäytymissääntöjen ja odotusten ohjaamina.
Based on the findings, the thesis introduces a novel theoretical device, the concept of Augmented Sociality, for understanding how the combining of the digital and physical worlds can be obtained in the social use of ICT in a way that is benign to the ongoing sociality.
Väitöskirjan empiirisenä materiaalina on käytetty videointeja oikeista työ- ja vapaa-ajan sosiaalisista tilanteista, joissa ICT:n käyttäjät yhdistävät digitaalista ja fyysistä maailmaa.
This thesis focuses on how these struggles unfold, affect individuals' sociality and lead to the positive and negative effects on their productivity and well-being, by examining the social tensions arising and becoming resolved in the combining processes.
Laajennetun sosiaalisuuden ymmärtäminen auttaa löytämään siihen liittyviä liiketoimintamahdollisuuksia, suunnittelemaan käyttäjien tuottavuutta ja hyvinvointia tukevia palveluja, sekä jäsentämään teoreettisesti digitalisaation ja teknologian käytön mukanaan tuomaa muutosta sosiaalisissa suhteissamme.
The thesis contributes to the knowledge on the effects of the increasing use of ICT and social use of ICT.
Digitalisaation myötä sekä työ että vapaa-aika on yhä laajemmin tieto- ja viestintäteknologian (ICT) käytön läpäisemää.
Within this social tolerance, the combining behaviors are deemed socially acceptable ICT use, and as a result, the state of Augmented Sociality emerges.
Samalla sosiaalisuudesta on tullut ICT-sidonnainen ilmiö, joka kuuluu myös digitalisaatiokehityksen piiriin.
Information that the reporting system produces should make cost accounting more effective, support product selecting and help to find out targets of development in the operations of the factory.
Raportointijärjestelmän tuottaman tiedon tulisi tehostaa kustannuslaskentaa, tukea tuotevalintoja sekä auttaa löytämään kehityskohteita yrityksen toiminnasta.
Renewal of hourly reporting in a metal product factory
Metallituotetehtaan tuntiraportoinnin uudistaminen
These factors can be catered for cost accounting and pricing to forthcoming similar products.
Tällöin kyseiset seikat voidaan huomioida kustannuslaskennassa ja tulevia vastaavia tuotteita hinnoiteltaessa.
This makes cost accounting more effective especially in the cases of new products, repeatedly made products and in serial production.
Tämä tarkentaa kustannuslaskentaa erityisesti uusissa tuotteissa, usein toistuvissa töissä ja sarjatöissä.
Factory's departments have had different hourly reporting customs, some of them even manual, and that's why the reporting system has been disorganized and difficult to control.
Aikaisemmin eri osastoilla on ollut käytössä erilaisia, manuaalisiakin, raportointikäytäntöjä, minkä takia järjestelmä on ollut sekava ja vaikeasti hallittavissa.
Research was made by studying the factory's operational environment and plotting limitations and opportunities that it gives for hourly reporting.
Tutkimus tehtiin tutustumalla yrityksen toimintaympäristöön ja kartoittamalla sen asettamat rajoitukset ja mahdollisuudet tuntien raportoinnissa sekä perehtymällä vanhaan tuntiraportointijärjestelmään.
Calculation of salaries will be based on access control system and that's why hourly reporting may be concentrated mainly on placing costs correctly.
Palkanlaskentaan ollaan ottamassa käyttöön kulunvalvontajärjestelmään perustuva menetelmä, joten uudessa tuntiraportoinnissa voidaan keskittyä pääasiassa kustannusten kohdistamiseen.
In addition to this study couple of visits were made to other Finnish factories to learn how they handle their hourly reporting.
Näiden lisäksi tutustuttiin muihin suomalaisiin konepajoihin ja heidän tuntiraportointikäytäntöihin.
The new reporting system also gives an opportunity to separate used time for example for taking a new product in to the production or fixing some kind of mistake.
Kustannuslaskentaa tehostaa myös se, että uudessa raportointijärjestelmässä on mahdollisuus eritellä esimerkiksi uuden tuotteen sisäänajoon tai erilaisten poikkeamien korjaamiseen kulunut aika.
Workers have experience in using Lean and it's easier to learn new feature to a familiar program than totally new system.
Koska järjestelmä on jo käytössä yrityksessä, ei se aiheuta hankintakustannuksia ja lisäksi Leanin käyttö on jo tuttua työntekijöille, joten uuden ominaisuuden oppiminen tuttuun ohjelmaan onnistunee paremmin kuin täysin uuden järjestelmän oppiminen.
On the basis of the survey made, it was concluded to mobilize the hourly reporting module that is included in the production control system Lean.
Edellä kuvatun taustakartoituksen pohjalta päädyttiin siihen, että otetaan käyttöön yrityksessä käytettävään toiminnanohjausjärjestelmään, Leaniin, kuuluva tuntiraportointiominaisuus.
Experiences got from there can be used when mobilizing the system to other departments.
Järjestelmä otetaan aluksi käyttöön yhdellä verstaalla, mistä saatuja kokemuksia voidaan hyödyntää muilla osastoilla käyttöönottovaiheessa.
The objective of the research is to find a new hourly reporting system for Metso Drives's factory in Karkkila.
Tavoitteena on löytää Metso Drives Oy:n Karkkilan tehtaalle tuntiraportointijärjestelmä, joka on helppokäyttöinen, toimintavarma ja mukautuu yrityksen toimintaan.
The new system will be mobilized to all departments and will be completely computer based.
Nyt sen sijaan kaikilla osastoilla otetaan käyttöön sama sähköinen raportointijärjestelmä.
Of course, we also want to store all the equipment data in the same format, which makes the system more logical.
Tietysti haluamme myös esittää eri laitteiden tiedot samassa sovitussa muodossa, mikä osaltaan tekee järjestelmästä loogisemman.
An Interoperable Equipment Server for Building Automation Systems
Rakennusautomaatiojärjestelmien Yhteentoimiva Laitepalvelin
We should not limit the user interface to only one but to make it possible to make general as well as customized, mobile or automated user interfaces.
Ei ole tarkoituksenmukaista rajata käyttöliittymää yhdenlaiseen toteutukseen vaan mahdollistaa niin yleisten, räätälöityjen, mobiilien kuin automatisoitujenkin käyttöliittymien kehittäminen.
First step to make building automation systems centrally manageable is to use some standard way for communication between the different parts of the system.
Askel oikeaan suuntaan keskitetyn hallinnan kannalta on käyttää yhteisesti sovittua yhteyskäytäntöä järjestelmän eri osien väliseen kommunikointiin.
Furthermore, these servers could be connected together to make the system more scalable and flexible.
Hallintapalvelimet voidaan liittää toisiinsa, jolloin järjestelmästä tulee skaalautuvampi ja joustavampi.
Purpose of this Master's Thesis is to explore the possibilities to integrate the management of the building automation systems and equipment.
Tämän diplomityön tarkoituksena on tutkia taloautomaatiojärjestelmien ja -laitteiden hallinnan yhdistämistä.
It also opens new possibilities for developing different kind of user interfaces.
Se mahdollistaa paremmin erilaisten käyttöliittymien kehittämisen.
Nowadays, there are a considerable number of different protocols and industry standards at the building automation sector.
Nykyisissä järjestelmissä esiintyy huomattava määrä erilaisia laitevalmistajien kehittämiä käytäntöjä ja standardeja.
Manufacturers have made their own customized tools to control the equipment.
Usein valmistajat tarjoavat laitteisiinsa juuri kyseistä tuotetta varten räätälöityä ohjausjärjestelmää.
We would like to have a centralized management server, which integrates the monitoring and operating with different automation systems into one.
Visiona on toteuttaa keskitetty hallintapalvelin, jossa eri laitteiden valvonta ja hallinta yhdistyy.
All the equipment data available in standard format makes the development of the user interface easier.
Tietojen säilyttäminen samassa muodossa tekee käyttöliittymäsuunnittelusta entistä helpompaa.
Analog Baseband Signal Processing in Wide-Band Direct Conversion Receivers
Analoginen kantataajuinen signaalinkäsittely laajakaistaisissa suoramuunnosvastaanottimissa
Strategic Technologic Success Factor's among SM Export Enterprises in the Metal Industry
Metallialan PK-vientiyritysten strategiset teknologiset menestysmistekijät
The maintenance work in a boiling water reactor's reactor hall and potential of the work
Kiehutusvesireaktorin reaktorihallissa tehtävät huoltotyöt ja niiden kehittäminen
Interviewed experts were a total of 9, 5 of which were from Finland and 4 from Sweden.
Haastateltavia asiantuntijoita oli yhteensä 9, joista 5 oli Suomesta ja 4 Ruotsista.
Promotion of intelligent transport services
Älykkäiden liikkumisen palveluiden edistäminen
Interviewees were both public and private sector representatives from ministries, city, public transport network and companies in industry of intelligent transport.
Haastateltavina oli sekä julkisen että yksityisen sektorin edustajia ministeriöistä, kaupungista, joukkoliikenneverkostosta sekä älyliikenteen alan palveluidentuottajayrityksistä.
Enabling services requires, in particular, the elimination of regulatory barriers as well as the production of information and opening data interfaces.
Uudenlaisten palveluiden mahdollistaminen vaatii etenkin sääntelyyn liittyvien esteiden purkamista sekä tiedontuotantoa ja datarajapintojen avaamista.
What is important is that the services are taken into account at the national, provincial and the municipal level particular at the development work of the transport system.
Tärkeää on, että älykkäät liikkumisen palvelut huomioidaan niin kansallisella, maakunnallisella kuin kunnallisella tasollakin etenkin liikennejärjestelmän kehittämistyössä.
The aim is also to increase the understanding of factors that affect intelligent transport services and their operating environment.
Työn tavoitteena on lisäksi lisätä ymmärrystä älykkäisiin liikkumisen palveluihin vaikuttavista tekijöistä ja niiden toimintaympäristöstä.
Development work should promote transport policy goals such as the reduction of cars in cities, the increased use of public transport and an improvement in productivity of transport system.
Kehittämistyössä tulisi edistää liikennepoliittisia tavoitteita, kuten yksityisautojen määrän vähentymistä kaupungeissa, julkisen liikenteen käytön lisääntymistä sekä liikennejärjestelmän tuottavuuden parantumista ja pohtia sitä, kuinka älykkäiden liikkumisen palveluiden kehitys saataisiin edistämään niitä mahdollisimman hyvin.
According to the results of the study the emergence and development of intelligent transport services requires the public sector to perform enabling, promoting and guiding acts.
Työn tulosten mukaan älykkäiden liikkumisen palveluiden syntyminen ja kehittyminen vaatii julkiselta sektorilta mahdollistavia, edistäviä sekä ohjaavia keinoja.
Important basis of this work is to target acts, on consumers, infrastructure and service providers.
Edistämisessä ja ohjaamisessa tärkeää on tämän työn perusteella kohdistaa markkinoiden ohjaamiskeinoja kuluttajiin, infrastruktuuriin ja palveluiden tarjoajiin.
Promoting and controlling acts are needed to take whole potential of intelligent transport services supporting the goals, which are set to the transport system.
Edistämis- ja ohjaamistoimia tarvitaan siksi, että saataisiin älykkäiden liikkumisen palveluiden koko liikennejärjestelmää hyödyttävä potentiaali käyttöön ja tukemaan yhteiskunnallisesti asetettuja tavoitteita.
The study will focus in particular on the Mobility as a Service and its conditions and how it could be promoted.
Kiinnostuksen kohteena ovat erityisesti liikkuminen palveluna -konsepti (MaaS), sen edellytykset ja edistäminen.
In addition, the material has been collected by theme interviews.
Tutkimuksessa kerättiin kirjallisuusselvityksen lisäksi aineistoa asiantuntijoille tehtyjen teemahaastatteluiden kautta.
The aim of the study is to provide knowledge and understanding of how public sector could promote market-based intelligent transport services in passenger transport while taking social goals into account.
Tämän diplomityön tavoitteena on tuottaa tietoa ja ymmärrystä siitä, kuinka henkilöliikenteen älykkäiden liikkumisen palveluiden syntyä ja kehittymistä markkinaehtoisesti tulisi edistää, yhteiskunnalliset tavoitteet samalla huomioiden.
The aim of the theme interviews was to seek views of experts related to the needs and promotion of the Mobility as a Service -concept.
Teemahaastatteluiden avulla haettiin asiantuntijoiden näkemyksiä MaaS:iin liittyvistä tarpeista sekä tarvittavista edistämiskeinoista.
In literature survey, information were collected from factors that affect intelligent transport services.
Kirjallisuusselvityksessä etsittiin tietoa kirjallisuuslähteistä älykkäiden liikkumisen palveluiden syntyyn ja kehitykseen vaikuttavista tekijöistä.
Software analyzer for 80386 microprosessor in DX 200 digital exchange system
Ohjelmistoanalysaattori 80386-mikroprosessorille DX 200 -puhelinkeskusjärjestelmässä
The consequences of the selection of the degree of utilization on design and cost of a hydroelectric power plant
Rakennusasteen valinnan vaikutus vesivoimalaitoksen suunnitteluun ja kustannuksiin
Model test measurements of ice loads on ship's hull
Runkoon kohdistuvien jääkuormien mittausmenetelmät laivamallikokeissa
Effect of the equipment opening on design of prestressed concrete containment of a nuclear power plant
Materiaaliaukon vaikutus ydinvoimalaitoksen jännitetyn teräsbetonisuojakuoren mitoitukseen
During these decades fashion began to question itself and the heteronormative and binary assumptions about gender and its ‘natural’ presentations.
Näinä vuosikymmeninä muoti alkoi kyseenalaistamaan itsensä ja heteronormatiiviset ja binääriset olettamukset sukupuolesta ja sen "luonnollisesta" presentaatiosta.
It shows that the design process is a form of critical thinking through which it is possible to acknowledge, challenge, deconstruct and change culturally predominant binary oppositions.
Työ osoittaa, että suunnitteluprosessi on kriittisen ajattelun muoto, jonka kautta on mahdollista tunnistaa, haastaa, dekonstruktoida ja muuttaa kulttuurillisesti hallitsevia, kaksijakoisia käsityksiä.
This thesis draws from research that has shown that the dualistic idea of gender is deeply rooted in culture and therefore also in the very core of fashion as an embodied practice.
Tämä opinnäyte pohjaa tutkimuksiin, jotka ovat paljastaneet, että dualistinen idean sukupuolesta on juurtunut syvälle kulttuuriin ja täten se on myös muodin ytimessä, käsitteen ruumiillistumana.
The thesis draws from examples from the 1980s and 1990s – the period defined by a rise in the philosophy of clothing and increasing conceptuality.
Tämä opinnäyte esittelee esimerkkejä 1980- ja 1990-luvuilta – aikakaudelta, jolloin vaatteen filosofia ja lisääntynyt konseptuaalisuus nousivat muodin kentälle.
Through the experimental approach, this thesis aims to reinforce the acknowledgement of clothes as interpretations of social and cultural constructions.
Kokeellisen lähestymistavan kautta opinnäyte pyrkii vahvistamaan käsitystä vaatteista sosiaalisten ja kulttuurillisten konstruktioiden ilmentäjinä.
By acknowledging the gender dichotomy inherent in fashion this thesis utilises it as a filter to investigate also other oppositions such as functional/unfunctional and that of natural/artificial in order to reveal ambiguities between these assumed oppositions in fashion.
Opinnäyte käyttää muodin sukupuolidikotomiaa suodattimena huomatakseen myös muita kontrasteja, kuten funktionaalinen/epäfuntionaalinen ja luonnollinen/epäluonnollinen, paljastaakseen moniselitteisyydet oletettujen vastakohtien välillä.
The thesis investigates, through theory and the process of creating a clothing collection, how the actual design process from pattern making to final garments and their photography can be seen as a method of changing the conventional meanings of clothes as gendered.
Tämä opinnäyte tutkii teorian ja vaatesuunnitteluprosessin kautta, kuinka suunnitteluprosessi kaavojen valmistamisesta lopullisiin vaatteisiin ja niiden valokuvaukseen voidaan nähdä sukupuolitettujen vaatteiden konventionaalisten merkityksien muuttamisen metodina.