scholarly journals Complete trace models of state and control

2021 ◽  
pp. 348-374
Author(s):  
Guilhem Jaber ◽  
Andrzej S. Murawski
Keyword(s):  
Higher Order ◽  
Original Model ◽  
Game Semantics ◽  
Trace Model ◽  
Systematic Development ◽  
Operational Game ◽  
And Control ◽  
The Impact ◽  
The Relationship ◽  
Trace Equivalence

AbstractWe consider a hierarchy of four typed call-by-value languages with either higher-order or ground-type references and with either $$\mathrm {call/cc}$$ call / cc or no control operator.Our first result is a fully abstract trace model for the most expressive setting, featuring both higher-order references and $$\mathrm {call/cc}$$ call / cc , constructed in the spirit of operational game semantics. Next we examine the impact of suppressing higher-order references and callcc in contexts and provide an operational explanation for the game-semantic conditions known as visibility and bracketing respectively. This allows us to refine the original model to provide fully abstract trace models of interaction with contexts that need not use higher-order references or $$\mathrm {call/cc}$$ call / cc . Along the way, we discuss the relationship between error- and termination-based contextual testing in each case, and relate the two to trace and complete trace equivalence respectively.Overall, the paper provides a systematic development of operational game semantics for all four cases, which represent the state-based face of the so-called semantic cube.

The impact of higher-order state and control effects on local relational reasoning

2012 ◽  
Vol 22 (4-5) ◽  
pp. 477-528 ◽  
Author(s):  
DEREK DREYER ◽  
GEORG NEIS ◽  
LARS BIRKEDAL
Keyword(s):  
Recent Work ◽  
Possible Worlds ◽  
Higher Order ◽  
Local State ◽  
Relational Reasoning ◽  
Logical Relation ◽  
Game Semantics ◽  
And Control ◽  
The Impact ◽  
Order State

AbstractReasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relations, for reasoning about equivalence in the setting of increasingly realistic languages—languages nearly as complex as ML or Haskell. Much of the recent work in this direction has considered the interesting representation independence principles enabled by the use of local state, but it is also important to understand the principles that powerful features like higher-order state and control effects disable. This latter topic has been broached extensively within the framework of game semantics, resulting in what Abramsky dubbed the “semantic cube”: fully abstract game-semantic characterizations of various axes in the design space of ML-like languages. But when it comes to reasoning about many actual examples, game semantics does not yet supply a useful technique for proving equivalences.In this paper, we marry the aspirations of the semantic cube to the powerful proof method of step-indexed Kripke logical relations. Building on recent work of Ahmed et al. (2009), we define the first fully abstract logical relation for an ML-like language with recursive types, abstract types, general references and call/cc. We then show how, under orthogonal restrictions to the expressive power of our language—namely, the restriction to first-order state and/or the removal of call/cc—we can enhance the proving power of our possible-worlds model in correspondingly orthogonal ways, and we demonstrate this proving power on a range of interesting examples. Central to our story is the use of state transition systems to model the way in which properties of local state evolve over time.

scholarly journals The Impact of the Direct Participation of Workers on the Rates of Absenteeism in the Spanish Labor Environment

2020 ◽  
Vol 17 (7) ◽  
pp. 2477 ◽  
Author(s):  
Raúl Payá Castiblanque
Keyword(s):  
Multinomial Logistic Regression ◽  
Management Plan ◽  
Risk Prevention ◽  
Prevention Measures ◽  
Direct Participation ◽  
High Level ◽  
And Control ◽  
The Impact ◽  
The Relationship ◽  
Transversal Study

The aim of this research was to study the relationship between the different levels of direct participation of workers (passive, consultative or active-delegated) in risk prevention management with the levels of absenteeism in Spain. To this end, a transversal study was carried out using microdata from the Second European Survey of Companies on New and Emerging Risks (ESENER-2-Spain, 2014) with a master population of 3162 work centres. A multinomial logistic regression model was carried out, with the dependent variable being the levels of absenteeism and the independent variables, the participation indicators and preventive management, calculating the adjusted odds ratio (aOR) between all the independent and control variables, with their corresponding 95% confidence intervals (95% IC). The results obtained showed how the active-delegative participation of workers in the design and adoption of psychosocial risk prevention measures reported 2.33 less probabilities of having a very high or fairly high level of absenteeism (aOR = 0.43; 95%IC:0.27–0.69). However, having documented aspects of preventive management (plan, risk assessment, planning measures) did not have any impact on absenteeism levels, which shows that we can fall into an unrealistic institutional mirage of security with active policies of co-education or co-management being necessary to reduce absenteeism.

scholarly journals The impact of air quality on its Baidu index: grey model analysis

2021 ◽  
Author(s):  
Leping Tu ◽  
Yan Chen
Keyword(s):  
Air Pollution ◽  
Air Quality ◽  
Quality Index ◽  
Air Quality Index ◽  
Grey Correlation ◽  
Convolution Model ◽  
Grey Correlation Analysis ◽  
And Control ◽  
The Impact ◽  
The Relationship

Abstract To investigate the relationship between air quality and its Baidu index, we collect the annual Baidu index of air pollution hazards, causes and responses. Grey correlation analysis, particle swarm optimization and grey multivariate convolution model are used to simulate and forecast the comprehensive air quality index. The result shows that the excessive growth of the comprehensive air quality index will lead to an increase in the corresponding Baidu index. The number of search for the causes of air quality has the closest link with the comprehensive air quality index. Strengthening the awareness of public about air pollution is conducive to the improvement of air quality. The result provides a reference for relevant departments to prevent and control air pollution.

5. Partners and Each Other

2020 ◽  
pp. 157-204
Author(s):  
Geoffrey Morse ◽  
Thomas Braithwaite
Keyword(s):  
Good Faith ◽  
Fiduciary Duties ◽  
Detailed Consideration ◽  
Internal Management ◽  
Contractual Agreements ◽  
And Control ◽  
The Impact ◽  
The Relationship

This chapter concerns the relationship between partners and the interface between the contractual and fiduciary duties implicit in such a relationship, including the internal management of the firm. It examines the impact of equity on contractual agreements, including the doctrine of forfeiture. The nebulous overriding duty of good faith is followed by the statutory duties of honesty, no conflict/no profit and no competition. The implied terms in relation to management (including access to partnership information) and control, financial affairs (detailing capital, capital profits and income profits) and the limits on change of partners are followed by a detailed consideration of the validity and exercise of expulsion clauses. Finally, the chapter details the limited effects of both voluntary and involuntary assignments of a partner's share.

Making and measuring “good” HR practice in an SME: the case of a Yorkshire bakery

2013 ◽  
Vol 36 (2) ◽  
pp. 128-147 ◽  
Author(s):  
Liz Doherty ◽  
Ann Norton
Keyword(s):  
Action Research ◽  
Design Methodology ◽  
Participant Observation ◽  
Good Practice ◽  
Original Model ◽  
Structured Interviews ◽  
Action Research Project ◽  
Content Type ◽  
The Impact ◽  
The Relationship

Purpose – The purpose of this paper is to understand how “good” HR practice is characterised in SMEs and what the drivers are for adopting this good practice. The paper also explores methods for measuring the impact of HR practice which are helpful and realistic in the context of an SME. Design/methodology/approach – The research was carried out in one SME, a bakery based in South Yorkshire. It was an action research project which utilised semi-structured interviews, participant observation on the factory floor and analysis of company documentation in the diagnosis phase. In addition, reflections on action interventions have informed the findings, together with post-project, semi-structured interviews with key actors three years after the completion of the project. Findings – The drivers of good HR practice were found to be size, market position, external “coercive networks”, presenting issues, the ideology of the managing director and the energy of an HR champion. The findings demonstrate that the impact of “good” HR practice can be best evaluated in SMEs through one-shot, cost-based metrics or more strategic qualitative measures. Originality/value – The paper develops an original model to show the relationship between the drivers, the HR practices adopted and measurable outcomes. This makes an important contribution to the debate about HRM within SMEs and it has practical value for informing the development of good HR practice in SMEs.

scholarly journals Shareholding Patterns and its Impact on Firm Performance: A Contemporary Study of Indian NIFTY 50 Companies

2018 ◽  
Vol 7 (1) ◽  
pp. 31-41
Author(s):  
Raghu Katragadda ◽  
A. Sreeram
Keyword(s):  
Firm Performance ◽  
Empirical Study ◽  
Vital Role ◽  
Monitoring And Control ◽  
Book Value ◽  
Contemporary Study ◽  
And Control ◽  
The Impact ◽  
The Relationship

Ownership structure or the stakeholder structure of an organization often play significant role in operations decision, monitoring and control. This as a result possesses influences over process and hence performance. On the other hand, the role of stakeholders and respective conflict of interests can also be not ruled out. Under such circumstances, assessing the impact of organizational structure or stakeholder pattern and firm performance becomes inevitable to assess. In addition, the relationship between the investment pattern and respective conflicts of interests is inevitable to be examined. To ensure investment security corporate governance has played vital role that suggests assessing the inter-relationship between the stakeholder pattern and firm performance. With this motivation, in this paper an empirical study has been done to examine the impact of internal shareholding patterns on the associated firm’s performance. In this paper we have performed an empirical study where the aforementioned relationship has been examined for Indian listed NIFTY 50 companies for the duration of the financial year 2011 to 2016. Our empirical results provide evidence that insider shareholding is positively and significantly related to the firm performance as measured by market capitalization; market value by book value and Tobin’s Q.

scholarly journals Influence of Passenger Flow at the Station Entrances on Passenger Satisfaction Amid COVID-19

2020 ◽  
Vol 6 (4) ◽  
pp. 150 ◽  
Author(s):  
Roman Sidorchuk ◽  
Anastasia Lukina ◽  
Ilya Markin ◽  
Stanislav Korobkov ◽  
Natalia Ivashkova ◽  
...  
Keyword(s):  
Secondary Data ◽  
Railway Stations ◽  
Passenger Flow ◽  
Passenger Satisfaction ◽  
Perceived Satisfaction ◽  
Passenger Flows ◽  
Centers Of Mass ◽  
And Control ◽  
The Impact ◽  
The Relationship

Railway stations are centers of mass accumulation of people. Additional regulations change the intensity of the flow of visitors and the time of entering the station. Delays become an essential factor affecting the perceived satisfaction with all services at stations. This paper analyzes the impact of the intensity of passenger flow in the key areas of the station (entrance groups) on the satisfaction of visitors with station functioning (by the example of Moscow railway stations). The authors of the paper used methods of observation to measure the current passenger flows at the entrances to the station and also collected secondary data on transport flows at city railway stations. To predict passenger flow, the authors used statistical methods to assess the relationship between variables and regression. The paper used a survey of passengers to analyze satisfaction with the functioning of railway station facilities and assess the acceptable delay time at the entrance/exit to the station. The article substantiates that in the context of current requirements for transport security, an important factor for perceived satisfaction with station services is the forecasting and management of passenger flows and control of time of entering the station.

Toxocariasis. Difficult diagnosis in practice of pediatrician

2021 ◽  
pp. 37-41
Author(s):  
K. D. Ermolenko
Keyword(s):  
Neurological Disorders ◽  
Web Of Science ◽  
Oral Route ◽  
Parasitic Nematodes ◽  
Clinical Center ◽  
Key Aspects ◽  
And Control ◽  
The Impact ◽  
The Relationship ◽  
Epidemiological Information

Parasitic nematodes of the genus Toxocara are socio-economically important zoonotic pathogens. These parasites are usually directly transmitted to the human host through the fecal-oral route and can cause toxocariasis and related complications, including allergic and neurological disorders. Although tens of millions of people are estimated to have been exposed to Toxocara spp. or are infected with them, global epidemiological information on the relationship between seropositivity and toxocariasis is limited. Recent results show that in some countries the impact of toxocariasis on human health is increasing. The purpose of this review was to analyze modern data on the epidemiology, pathogenesis, clinical and laboratory manifestations and therapy of toxocariasis. Material and methods. The analysis of publications in PubMed, EMBASE and Web of Science systems in the period from January 1950 to September 2020, highlighting studies documenting the epidemiological, pathogenetic, clinical and laboratory aspects of toxocariasis. In addition, we analyzed clinical cases of toxocariasis among patients of the departments of the Pediatric Research and Clinical Center for Infectious Diseases. The article discusses the basic information about toxocars, summarizes the key aspects of the pathogenesis, diagnosis and treatment of toxocariasis, its prevalence, and gives recommendations for the prevention and control of this disease.

Sign in / Sign up

Export Citation Format

Share Document