Search results for "HD"
showing 10 items of 4547 documents
Visibly pushdown modular games,
2014
Games on recursive game graphs can be used to reason about the control flow of sequential programs with recursion. In games over recursive game graphs, the most natural notion of strategy is the modular strategy, i.e., a strategy that is local to a module and is oblivious to previous module invocations, and thus does not depend on the context of invocation. In this work, we study for the first time modular strategies with respect to winning conditions that can be expressed by a pushdown automaton. We show that such games are undecidable in general, and become decidable for visibly pushdown automata specifications. Our solution relies on a reduction to modular games with finite-state automat…
Resolving gas bubbles ascending in liquid metal from low-SNR neutron radiography images
2021
We demonstrate a new image processing methodology for resolving gas bubbles travelling through liquid metal from dynamic neutron radiography images with an intrinsically low signal-to-noise ratio. Image pre-processing, denoising and bubble segmentation are described in detail, with practical recommendations. Experimental validation is presented—stationary and moving reference bodies with neutron-transparent cavities are radiographed with imaging conditions representative of the cases with bubbles in liquid metal. The new methods are applied to our experimental data from previous and recent imaging campaigns, and the performance of the methods proposed in this paper is compared against our p…
Exact affine counter automata
2017
We introduce an affine generalization of counter automata, and analyze their ability as well as affine finite automata. Our contributions are as follows. We show that there is a language that can be recognized by exact realtime affine counter automata but by neither 1-way deterministic pushdown automata nor realtime deterministic k-counter automata. We also show that a certain promise problem, which is conjectured not to be solved by two-way quantum finite automata in polynomial time, can be solved by Las Vegas affine finite automata. Lastly, we show that how a counter helps for affine finite automata by showing that the language MANYTWINS, which is conjectured not to be recognized by affin…
Metal-organic magnets with large coercivity and ordering temperatures up to 242°C.
2020
International audience; Magnets derived from inorganic materials (e.g., oxides, rare-earth–based, and intermetallic compounds) are key components of modern technological applications. Despite considerable success in a broad range of applications, these inorganic magnets suffer several drawbacks, including energetically expensive fabrication, limited availability of certain constituent elements, high density, and poor scope for chemical tunability. A promising design strategy for next-generation magnets relies on the versatile coordination chemistry of abundant metal ions and inexpensive organic ligands. Following this approach, we report the general, simple, and efficient synthesis of light…
Social media as a strategic marketing tool in the Sicilian wine industry: Evidence from Facebook
2017
Abstract Over the last few years, many companies have integrated social media, and social networking sites in particular, into their communication and media plan, leading to a deep transformation of the organizational models and changing the companies׳ marketing dynamics. This study has dual aims: first, to recognize and validate the firm׳s social media (SM) efforts in its use of the Facebook platform; second, to examine the relationships among the firm׳s SM efforts and some firm and managerial characteristics. In order to achieve these research aims, data on 45 wineries were collected and analysed, using a model that considers three different dimensions of the firms׳ activity on the social…
Tietue 2011/3
2011
Yritysten markkinointi sosiaalisessa mediassa
2017
Kandidaatintutkielma käsittelee yritysten markkinointia sosiaalisessa mediassa. Tutkielmassa esitellään sosiaalisen median käsitteitä ja keskitytään kuluttaja-markkinointiin. Markkinoinnin teoreettisena viitekehyksenä pidetään asiakas-suhdemarkkinointia, joka sopii sosiaaliseen mediaan perinteistä markkinoin-tinäkökulmaa paremmin. Tutkielma tarkastelee sosiaalisen median palveluista eniten käytettyjä Facebookia ja Twitteriä. Tutkielman tarkoituksena on esitellä, millaisia hyötyjä yritys voi markkinoinnissaan saada sosiaalisessa mediassa olemisesta sekä millä keinoilla siellä voi tehokkaasti toimia. Tutkielman tulok-sina todetaan, että tehokasta toimintaa tukevat kilpailujen järjestäminen, ä…
Vinkkejä sosiaaliseen mediaan : postaus- ja keskustelustrategioita toimituksille - julkaisualustana yhteisöpalvelu Facebook. Strategiaopas.
2019
LUOTSIVA on Jyväskylän yliopiston kieli- ja viestintätieteiden laitoksella 2017–2019 aikana Media-alan tutkimussäätiön rahoituksella toteutettu tutkimushanke. Sen päämääränä oli löytää ja kokeilla keinoja, joilla sanomalehdet voisivat hyödyntää Facebook-sivujaan lukijasuhteen vahvistamiseen ja aktivoimiseen. Toimituksissa toteutetun kokeilujakson aikana neljä kotimaista sanomalehteä toteuttivat postaus- ja keskustelustrategioita omilla Facebook-sivuillaan. Kokeilujakso toteutettiin Keskisuomalaisen, Sisä-Suomen Lehden, Kalevan sekä Jämsän Seudun toimituksissa joulukuun 2018 ja tammikuun 2019 välisenä aikana. nonPeerReviewed
A content analysis on family firms' association annual questionnaire
2010
The aim of this paper is to analyze the content of a questionnaire that is used in order to conduct a Finnish Family Firms’ Association’s annual barometer for its members. The content of the questionnaire is reflected to a relevant theory and compared with two other fairly similar questionnaires. Based on the analysis, reflections, and comparisons some suggestions for questionnaire modification are presented. The research question concerns what kind of data may be essential to measure among Finnish family firms. This paper aims at enhancing the Finnish Family Firms’ Association to conduct a questionnaire that may allow even deeper understanding on the situation and position of family busine…
A study of emotions in the family business succession
2013
The aim of this paper is to analyze the family business literature in order to find out how emotions are studied in the context of family business succession. Methodologically, the data was collected by reviewing the chosen literature. The object is to search how the concept of emotions is understood in the succession process and what definitions of emotions there can be found in the literature. Based on the literature from the field of family business there is conducted a concept analysis. Accordingly the research question guiding this study is: How emotions in the succession process are studied and understood in the literature of family business field? To be able to find answer to this qu…