Anti-Lemons: School Reputation, Relative Diversity, and Educational Quality Friedman (1962) observed that the ability of firms to acquire and maintain reputations for quality is a key ingredient for the efficient provision of goods and services in a market economy. This paper explores the implications of school reputation for skill acquisition and labor market outcomes in an otherwise competiti...

Ladder Diagram (LD) is the most used programming language for Programmable Logical Controllers (PLCs). A PLC is a special purpose industrial computer used to automate industrial processes. Bugs in LD programs are very costly and sometimes are even a threat to human safety. We propose a model driven approach for formal verification of LD programs through model-checking. We provide a metamodel fo...

This paper focuses on estimating the magnitude of any potential weight discrimination by examining whether obese job applicants in Germany get treated or behave differently from non-obese applicants. Based on two waves of rich survey data from the IZA Evaluation dataset, which includes measures that control for education, demographic characteristics, labor market history, psychological factors ...

Background & aim: Organizational citizenship behavior (OCB) is a voluntary, organizationally desirable action that is not part of the employee’s formal job requirements. Job satisfaction and stress can affect mental health of midwives, and investigating the relationship between these variables can improve the quality of healthcare services. This study, therefore, was conducted to identify the r...

In this paper we present a verification strategy for signalling principles for the control of a railway interlocking system written in ladder logic. All translation steps have been implemented and tested on a real-world example of a railway interlocking system. The steps in this translation are as follows: 1. The development of a mathematical model of a railway interlocking system and the trans...

We find new facet-defining inequalities for the linear ordering polytope generalizing the well-known Möbius ladder inequalities. Our starting point is to observe that the natural derivation of the Möbius ladder inequalities as {0, 1 2 }-cuts produces triangulations of the Möbius band and of the corresponding (closed) surface, the projective plane. In that sense, Möbius ladder inequalities have ...

In this project the verification of safety conditions for the control of a railway interlocking system written in ladder logic is carried out. All translation steps have been implemented and tested for a real-world example of a railway interlocking system. The steps in this translation are as follows: 1. The development of a mathematical model of a railway interlocking system and the translatio...