An Empirical Study on Type Annotations

2021 ◽  
Vol 30 (2) ◽  
pp. 1-29
Author(s):  
John-Paul Ore ◽  
Carrick Detweiler ◽  
Sebastian Elbaum

Type annotations connect variables to domain-specific types. They enable the power of type checking and can detect faults early. In practice, type annotations have a reputation of being burdensome to developers. We lack, however, an empirical understanding of how and why they are burdensome. Hence, we seek to measure the baseline accuracy and speed for developers making type annotations to previously unseen code. We also study the impact of one or more type suggestions. We conduct an empirical study of 97 developers using 20 randomly selected code artifacts from the robotics domain containing physical unit types. We find that subjects select the correct physical type with just 51% accuracy, and a single correct annotation takes about 2 minutes on average. Showing subjects a single suggestion has a strong and significant impact on accuracy both when correct and incorrect, while showing three suggestions retains the significant benefits without the negative effects. We also find that suggestions do not come with a time penalty. We require subjects to explain their annotation choices, and we qualitatively analyze their explanations. We find that identifier names and reasoning about code operations are the primary clues for selecting a type. We also examine two state-of-the-art automated type annotation systems and find opportunities for their improvement.

2014 ◽  
Vol 623 ◽  
pp. 305-309 ◽  
Author(s):  
Guo Zhen Wang ◽  
Zi Yue Wang ◽  
Yuan Jie Li

This paper studied the impact of free cash flow and capital structure on the performance of the company. It is based on the theories of the free cash flow and the capital structure, combined with the actual situation of China, using different property listed corporations’ sample, makes an empirical study on the impact of free cash flow and capital structure on the performance of the company. The result shows that on the one hand, having more free cash flow will cause negative effects on the performance of corporation, on the other hand, with the increase in liabilities financing, the listed corporation's performance fall.


2019 ◽  
Vol 21 (3) ◽  
pp. 264-279 ◽  
Author(s):  
Felix Dominik Weber ◽  
Reinhard Schütte

PurposeIn the most abstract way, artificial intelligence (AI) allows human work to be shifted toward technological systems that are currently not fully capable. Following this, the domain of retail can be sketched as a natural fit for the application of AI tools, which are known for their high proportion of human work and concurrent low profit margins. This paper aims to explore the current dissemination of the application of AI within the industry. The value-added core tasks of retail companies are examined to determine the possible utilization and the market adoption within the globally largest retail companies is given.Design/methodology/approachThe paper uses two different approaches to identify the scientific state-of-the-art: a search on the major scientific databases and an empirical study of the ten largest international retail companies and their adoption of AI technologies in the domains of wholesale and retail.FindingsThe application within the different value-added core tasks varies greatly depending on the area. In summary, there are numerous possible applications in all areas. Especially, in areas where future forecasts are needed within the task areas (such as marketing or replenishment), the use of AI, today, is both scientifically and practically highly developed. In contrast, the market adoption of AI is highly variable. The pioneers have integrated extensive applications into everyday business, while the challengers are investing heavily in new initiatives. Some others, however, show neither active use nor any effort to adopt such technology.Originality/valueTo the best of the author’s knowledge, this is one of the first research contributions to analyze the areas of application and the impact of AI structured along the value-added core processes of retail companies.


2008 ◽  
Vol 16 (3) ◽  
pp. 112-115 ◽  
Author(s):  
Stephan Bongard ◽  
Volker Hodapp ◽  
Sonja Rohrmann

Abstract. Our unit investigates the relationship of emotional processes (experience, expression, and coping), their physiological correlates and possible health outcomes. We study domain specific anger expression behavior and associated cardio-vascular loads and found e.g. that particularly an open anger expression at work is associated with greater blood pressure. Furthermore, we demonstrated that women may be predisposed for the development of certain mental disorders because of their higher disgust sensitivity. We also pointed out that the suppression of negative emotions leads to increased physiological stress responses which results in a higher risk for cardiovascular diseases. We could show that relaxation as well as music activity like singing in a choir causes increases in the local immune parameter immunoglobuline A. Finally, we are investigating connections between migrants’ strategy of acculturation and health and found e.g. elevated cardiovascular stress responses in migrants when they where highly adapted to the German culture.


Author(s):  
Jeeyun Oh ◽  
Mun-Young Chung ◽  
Sangyong Han

Despite of the popularity of interactive movie trailers, rigorous research on one of the most apparent features of these interfaces – the level of user control – has been scarce. This study explored the effects of user control on users’ immersion and enjoyment of the movie trailers, moderated by the content type. We conducted a 2 (high user control versus low user control) × 2 (drama film trailer versus documentary film trailer) mixed-design factorial experiment. The results showed that the level of user control over movie trailer interfaces decreased users’ immersion when the trailer had an element of traditional story structure, such as a drama film trailer. Participants in the high user control condition answered that they were less fascinated with, absorbed in, focused on, mentally involved with, and emotionally affected by the movie trailer than participants in the low user control condition only with the drama movie trailer. The negative effects of user control on the level of immersion for the drama trailer translated into users’ enjoyment. The impact of user control over interfaces on immersion and enjoyment varies depending on the nature of the media content, which suggests a possible trade-off between the level of user control and entertainment outcomes.


2020 ◽  
pp. 41-50
Author(s):  
Ph. S. Kartaev ◽  
I. D. Medvedev

The paper examines the impact of oil price shocks on inflation, as well as the impact of the choice of the monetary policy regime on the strength of this influence. We used dynamic models on panel data for the countries of the world for the period from 2000 to 2017. It is shown that mainly the impact of changes in oil prices on inflation is carried out through the channel of exchange rate. The paper demonstrates the influence of the transition to inflation targeting on the nature of the relationship between oil price shocks and inflation. This effect is asymmetrical: during periods of rising oil prices, inflation targeting reduces the effect of the transfer of oil prices, limiting negative effects of shock. During periods of decline in oil prices, this monetary policy regime, in contrast, contributes to a stronger transfer, helping to reduce inflation.


2019 ◽  
pp. 46-64 ◽  
Author(s):  
Vladimir V. Klimanov ◽  
Sofiya М. Kazakova ◽  
Anna A. Mikhaylova

The article examines the impact of various socio-economic and financial indicators on the resilience of Russian regions. For each region, the integral index of resilience is calculated, and its correlation dependence with the selected indicators is revealed. The study confirms the relationship between fiscal resilience and socio-economic resilience of the regions. The analysis of panel data for 75 regions from 2007 to 2016 shows that there are significant differences in the dynamics of indicators in different periods. In particular, the degree of exposure to the negative effects of the crises of 2008—2009 and 2014—2015 in non-resilient regions is higher than in resilient ones.


Sign in / Sign up

Export Citation Format

Share Document