scholarly journals Collapsible Pushdown Automata and Labeled Recursion Schemes: Equivalence, Safety and Effective Selection

2012 ◽  
Author(s):  
Arnaud Carayol ◽  
Olivier Serre
Keyword(s):  
Effective Selection ◽  
Pushdown Automata

scholarly journals Higher-order Recursion Schemes and Collapsible Pushdown Automata: Logical Properties

2021 ◽  
Vol 22 (2) ◽  
pp. 1-37
Author(s):  
Christopher H. Broadbent ◽  
Arnaud Carayol ◽  
C.-H. Luke Ong ◽  
Olivier Serre
Keyword(s):  
Model Checking ◽  
Free Variable ◽  
Higher Order ◽  
Second Order ◽  
Effective Solution ◽  
Parity Games ◽  
Transition Graphs ◽  
Second Order Logic ◽  
Pushdown Automata ◽  
Monadic Second Order Logic

This article studies the logical properties of a very general class of infinite ranked trees, namely, those generated by higher-order recursion schemes. We consider, for both monadic second-order logic and modal -calculus, three main problems: model-checking, logical reflection (a.k.a. global model-checking, that asks for a finite description of the set of elements for which a formula holds), and selection (that asks, if exists, for some finite description of a set of elements for which an MSO formula with a second-order free variable holds). For each of these problems, we provide an effective solution. This is obtained, thanks to a known connection between higher-order recursion schemes and collapsible pushdown automata and on previous work regarding parity games played on transition graphs of collapsible pushdown automata.

scholarly journals From Security Protocols to Pushdown Automata

2015 ◽  
Vol 17 (1) ◽  
pp. 1-45 ◽  
Author(s):  
Rémy Chrétien ◽  
Véronique Cortier ◽  
Stéphanie Delaune
Keyword(s):  
Security Protocols ◽  
Pushdown Automata

scholarly journals Consumer Neuroscience as a Tool to Monitor the Impact of Aromas on Consumer Emotions When Buying Food

2021 ◽  
Vol 11 (15) ◽  
pp. 6692
Author(s):  
Jakub Berčík ◽  
Katarína Neomániová ◽  
Jana Gálová ◽  
Anna Mravcová
Keyword(s):  
Aromatic Compounds ◽  
Competitive Environment ◽  
Retail Operations ◽  
Consumer Neuroscience ◽  
Wide Range ◽  
Consumer Emotions ◽  
Affective Processes ◽  
Effective Selection ◽  
The Subject ◽  
The Impact

Building a unique USP sales argument (unique selling proposition) through various forms of in-store communication comes to the fore in a challenging competitive environment. Scent as a means to influence the purchase of goods or services has a long history, however, aromachology as field of in-store communication is a matter of the present. This new trend, the importance and use of which has grown in recent years, is the subject of a wide range of research. In order to increase the efficiency of these elements, it is necessary to familiarise ourselves with the factors that affect the customer, whether that be consciously or unconsciously. Consumer neuroscience is addressed in this area. This paper deals with the comprehensive interdisciplinary investigation of the impact of selected aromatic compounds on consumer cognitive and affective processes as well as assessing the effectiveness of their implementation in food retail operations. At the end of the paper, we recommend options for the effective selection and implementation of aromatisation of different premises, by which the retailer can achieve not only a successful form of in-store communication, but also an increase the retail turnover of the store.

scholarly journals Reachability relations of timed pushdown automata

2021 ◽  
Vol 117 ◽  
pp. 202-241
Author(s):  
Lorenzo Clemente ◽  
Sławomir Lasota
Keyword(s):  
Pushdown Automata

Effective customer selection for marketing campaigns based on net scores

2017 ◽  
Vol 11 (1) ◽  
pp. 2-15 ◽  
Author(s):  
René Michel ◽  
Igor Schnakenburg ◽  
Tobias von Martens
Keyword(s):  
Decision Trees ◽  
Direct Marketing ◽  
Real Data ◽  
Business Case ◽  
Added Value ◽  
Scoring Method ◽  
Content Type ◽  
Effective Selection ◽  
Selection For ◽  
Response Modeling

Purpose This paper aims to address the effective selection of customers for direct marketing campaigns. It introduces a new method to forecast campaign-related uplifts (also known as incremental response modeling or net scoring). By means of these uplifts, only the most responsive customers are targeted by a campaign. This paper also aims at calculating the financial impact of the new approach compared to the classical (gross) scoring methods. Design/methodology/approach First, gross and net scoring approaches to customer selection for direct marketing campaigns are compared. After that, it is shown how net scoring can be applied in practice with regard to different strategical objectives. Then, a new statistic for net scoring based on decision trees is developed. Finally, a business case based on real data from the financial sector is calculated to compare gross and net scoring approaches. Findings Whereas gross scoring focuses on customers with a high probability of purchase, regardless of being targeted by a campaign, net scoring identifies those customers who are most responsive to campaigns. A common scoring procedure – decision trees – can be enhanced by the new statistic to forecast those campaign-related uplifts. The business case shows that the selected scoring method has a relevant impact on economical indicators. Practical implications The contribution of net scoring to campaign effectiveness and efficiency is shown by the business case. Furthermore, this paper suggests a framework for customer selection, given strategical objectives, e.g. minimizing costs or maximizing (gross or lift)-added value, and presents a new statistic that can be applied to common scoring procedures. Originality/value Despite its lever on the effectiveness of marketing campaigns, only few contributions address net scores up to now. The new χ2-statistic is a straightforward approach to the enhancement of decision trees for net scoring. Furthermore, this paper is the first to the application of net scoring with regard to different strategical objectives.

CIVIL GOVERNOR M.M. OREUS IN THE SERVICE IN THE VYBORG (FINLAND) PROVINCE IN 1799–1804

2021 ◽  
Vol 10 (1) ◽  
pp. 39-46
Author(s):  
T.V. BOGDANOVA ◽  
Keyword(s):  
Russian Empire ◽  
Management Problem ◽  
Effective Mechanism ◽  
Important Condition ◽  
Emergency Situations ◽  
Effective Selection ◽  
History Of ◽  
The Government ◽  
The Russian Empire ◽  
Selection Of

The purpose of the article is to review the activities of the civil governor M.M. Oreus in the service in the Vyborg (Finland) province in 1799–1804. The guarantee of an effective mechanism of admin-istration creation as for over than 200-year period of the Russian Empire existence, as for modern conditions, it was and still is the effectiveness of the government policy on the ground. Based on this key task, the most important condition for its implementation at different stages of the development of the country was the effective selection of personnel for the post of a governor. It was the governor responsible for everything happened in his province, and the government expected him to under-stand the tasks assigned to him and take definite steps to solve them. The urgent management problem in these conditions was the strength of administrative resources capable of retaining their effective power in cases of emerging extraordinary situations, including which, will be discussed in this article. Emergency situations in the border areas occurred regularly and required the ob-servance of certain administrative traditions that influenced the success of the governor's initiatives in state tasks implementation. It will be all the more important to consider the history of the life and activities of one of the governors of the Finland (Vyborg) province, Maxim Maksimovich Oreus, who was at the head of this territory from December 14, 1799 to April 9, 1804.

Assessment of the genetic variability using pedigree analysis of the Sahiwal breed in Kenya

2016 ◽  
Vol 59 ◽  
pp. 7-14 ◽  
Author(s):  
S. Mwangi ◽  
T.K. Muasya ◽  
E.D. Ilatsia ◽  
A.K. Kahi
Keyword(s):  
Genetic Variability ◽  
Genetic Drift ◽  
Reference Population ◽  
Pedigree Analysis ◽  
Breeding Strategy ◽  
Progeny Testing ◽  
Founding Population ◽  
Effective Selection ◽  
Inbreeding Level ◽  
Year 2000

Summary Pedigree analysis using genealogical information of 18 315 animals born between 1949 and 2008 was done to quantify genetic variability of the Sahiwal population in Kenya. Generation intervals for sire pathways were longer than dam pathways and increased over year periods, from about 4–16 years. The later was due to use of old bulls for breeding in the last 2 year groups and cessation of progeny testing in the year 2000. Average inbreeding level in last year period studied was 1.2 percent. Genetic variability of the population as assessed based on gene origin statistics decreased over the years. The ratio of effective number of founders to founders of 0.06 showed unequal contribution of founders to the reference population. However, since the founding population, ancestors contributed equally as shown by the ratio of f e/f a of 0.94, which could also be due to lack of effective selection in this population. The ratio of f g/f a of 0.63 indicated genetic loss of genetic variability occurred through genetic drift in the Kenyan Sahiwal population. The small number of ancestors (16) that accounted for 50 percent of the total variation in the reference population suggested overuse of a small number of some animals as parents over generations. The smaller ratio of f g/f e compared with f a/f e also confirms loss of genetic variability in the population by genetic drift than bottlenecks. Therefore the breeding strategy for the Sahiwal population in Kenya should incorporate tools that balance rate of genetic gain and the future rate of inbreeding.

Sign in / Sign up

Export Citation Format

Share Document