Student engagement in virtual space

In this paper, a university course (subject or unit of study) that currently enjoys positive formal student reviews is used as a case study to demonstrate how theoretical knowledge about student engagement is effectively put into practice. This investigation identifies key aspects that have contributed to the positive student feedback with particular emphasis on student engagement online, or in virtual space. The investigation involves identifying what is considered good practice with respect to student engagement and then benchmarking the case study course against this. A key contribution of this paper is the presentation of practical examples demonstrating how the current theory is effectively realised in practice. The conclusion was that the course complied with key elements of what is considered good practice and successfully engaged students. Other practitioners may use the examples in their own context to help inform the practice of engaging students when teaching in virtual space

Angelique: An Angel in Distress, Morality in Crisis

Michael H. Mitias argues that friendship is a central moral value constituting an integral part of the good life and therefore deserving a prominent place in ethical theory. He consequently calls upon ethicists to make immediate and decisive adjustments toward accommodating what he regards as a neglected organic relationship between friendship and morality. This is not a fanciful amendment to our standard conception of morality but a radical proposal grounded in a unifying vision to recapture the right way of doing ethics. While the assessment is compelling, and the plea well-placed, neither has been fully understood in the scholarly reception of Mitias. This paper clarifies both. What sets it apart from other reactions to Mitias is a holistic approach drawing on literary considerations as well as philosophical ones. The combined aim is to demonstrate that Mitias is not seeking simply to restore friendship to its rightful place in normative ethical theory, which is indeed the full extent of his formal mission, but that he is seeking to do so specifically within virtue ethics. This interpretation rests on a broad engagement with Mitias’s publications beyond the recent treatise often taken understandably yet erroneously to be his only work on the subject

Correct-by-Construction Tactical Planners for Automated Cars

One goal of developing automated cars is to completely free people from driving tasks. Automated cars that require no human driver need to handle all traffic situations that a human driver is expected to handle, and possibly more. Although human drivers cause a lot of traffic accidents, they still have a very low accident and failure rate that automated systems must match.Tactical planners are responsible for making discrete decisions during the coming seconds or minute. As with all subsystems in an automated car, these planners need to be supported with a credible and convincing argument of their correctness. The planners\u27 decisions affect the environment and the planners need to interact with other road users in a feedback loop, so the correctness of the planners depend on their behavior in relation to other drivers and the environment over time. One possibility to ascertain their correctness is to deploy the planners in real traffic. To be sufficiently certain that a tactical planner is safe by that methods, it needs to be tested on 255 million miles without having an accident.Formal methods can, in contrast to testing, mathematically prove that the requirements are fulfilled. Hence, they are a promising alternative for making credible arguments of tactical planners\u27 correctness. The topic of this thesis is how formal methods can be used in the automotive industry to design safe tactical planners. What is interesting is both how automotive systems should be modeled in formal frameworks, and how formal methods can be used practically within the automotive development process.The main findings of this thesis are that it is natural to express desired properties of tactical planners in formal languages and use formal methods to prove their correctness. Model Checking, Reactive Synthesis, and Supervisory Control Theory have been used in the design and development process of tactical planners, and all three methods have their benefits, depending on the application.Formal synthesis is an especially interesting class of formal methods because they can automatically generate a planner based on requirements and models. Formal synthesis removes the need to manually develop and implement the planner, so the development efforts can be directed to formalizing good requirements on the planner and good assumptions on the environment. However, formal synthesis has two limitations: the resulting planner is a black box that is difficult to inspect, and it is difficult to find a level of abstraction that allows detailed requirements and generic planners

Ritual and Rightness in the Analects

Li (禮) and yi (義) are two central moral concepts in the Analects. Li has a broad semantic range, referring to formal ceremonial rituals on the one hand, and basic rules of personal decorum on the other. What is similar across the range of referents is that the li comprise strictures of correct behavior. The li are a distinguishing characteristic of Confucian approaches to ethics and socio-political thought, a set of rules and protocols that were thought to constitute the wise practices of ancient moral exemplars filtered down through dynasties of the past. However, even while the li were extensive and meant to be followed diligently, they were also understood as incapable of exhausting the whole range of activity that constitutes human life. There were bound to be situations in life where there would be no obvious recourse to the li for guidance. As part of their reflections on the good life, the Confucians maintained another moral concept that seemed to cover morally upright exemplary behavior in these types of situations. This concept is that of yi or rightness. In this chapter, I begin with a brief historical sketch to provide some context, and will then turn to li and yi in turn. In the end, I will suggest how li and yi were both meant to facilitate the supreme value of social harmony that pervades much of the Analects and serves as its ultimate orientation

What determines trust in international organizations? An empirical analysis for the IMF, the World Bank, and the WTO

So far no existing study has analyzed what determines people’s trust in the IMF, the World Bank, and the WTO even though – in the absence of democratic accountability – this is one of the few ways to assess the legitimacy of these institutions. This study is intended to fill this gap in the literature based on Eurobarometer survey data from the EU-15 countries. The estimation results suggest that individual characteristics (gender, international background, formal education level, personal income, ideological preferences, interest in politics, and exposure to media) as well as the extent of globalization influence trust in the three international organizations. The state of the economy only has a significant effect on trust in the WTO. Moreover, respondents’ attitudes towards globalization have a bearing on trust in all three international organizations. Survey items on individual knowledge and perceptions of the WTO allow us to test additional hypotheses that apply to this institution alone. We find that familiarity with the WTO fosters trust. Finally, beliefs that the EU is well-represented in the WTO, that the WTO has a good reputation and that it is a democratic and necessary institution increases repondents’ propensity to trust the WTO.Institutional trust; International economic organizations; Globalization; International Monetary Fund; World Bank; World Trade Organization

What Determines Trust in International Organizations?

So far no existing study has analyzed what determines people’s trust in the IMF, the World Bank, and the WTO even though – in the absence of democratic accountability – this is one of the few ways to assess the legitimacy of these institutions. This study is intended to fill this gap in the literature based on Eurobarometer survey data from the EU-15 countries. The estimation results suggest that individual characteristics (gender, international background, formal education level, personal income, ideological preferences, interest in politics, and exposure to media) as well as the extent of globalization influence trust in the three international organizations. The state of the economy only has a significant effect on trust in the WTO. Moreover, respondents’ attitudes towards globalization have a bearing on trust in all three international organizations. Survey items on individual knowledge and perceptions of the WTO allow us to test additional hypotheses that apply to this institution alone. We find that familiarity with the WTO fosters trust. Finally, beliefs that the EU is well-represented in the WTO, that the WTO has a good reputation and that it is a democratic and necessary institution increases repondents’ propensity to trust the WTO.Institutional trust, International economic organizations, Globalization, International Monetary Fund, World Bank, World Trade Organization

Model Checkers Are Cool: How to Model Check Voting Protocols in Uppaal

The design and implementation of an e-voting system is a challenging task. Formal analysis can be of great help here. In particular, it can lead to a better understanding of how the voting system works, and what requirements on the system are relevant. In this paper, we propose that the state-of-art model checker Uppaal provides a good environment for modelling and preliminary verification of voting protocols. To illustrate this, we present an Uppaal model of Pr\^et \`a Voter, together with some natural extensions. We also show how to verify a variant of receipt-freeness, despite the severe limitations of the property specification language in the model checker

Learning deterministic probabilistic automata from a model checking perspective

Probabilistic automata models play an important role in the formal design and analysis of hard- and software systems. In this area of applications, one is often interested in formal model-checking procedures for verifying critical system properties. Since adequate system models are often difficult to design manually, we are interested in learning models from observed system behaviors. To this end we adopt techniques for learning finite probabilistic automata, notably the Alergia algorithm. In this paper we show how to extend the basic algorithm to also learn automata models for both reactive and timed systems. A key question of our investigation is to what extent one can expect a learned model to be a good approximation for the kind of probabilistic properties one wants to verify by model checking. We establish theoretical convergence properties for the learning algorithm as well as for probability estimates of system properties expressed in linear time temporal logic and linear continuous stochastic logic. We empirically compare the learning algorithm with statistical model checking and demonstrate the feasibility of the approach for practical system verification

Contractual Obligations in the Pre-Award Phase of Public Tendering

The law of public tendering has received vigorous scrutiny since the Supreme Court of Canada\u27s landmark decision in R. v. Ron Engineering. The Supreme Court\u27s two-contract model re-defined the juristic boundaries of the tendering process, imposing a scheme of obligations in what was formerly regarded as a pre-contractual phase of the transaction. This article considers the ramifications of this development, with particular reference to the relationship between discretionary functions and legal duty. It is argued that the dynamics of tendering do not conveniently mesh with formal contract analysis and that the vision of Ron Engineering has been sustained by recourse to broader doctrines of fairness and good faith

Contractual Obligations in the Pre-Award Phase of Public Tendering

The law of public tendering has received vigorous scrutiny since the Supreme Court of Canada\u27s landmark decision in R. v. Ron Engineering. The Supreme Court\u27s two-contract model re-defined the juristic boundaries of the tendering process, imposing a scheme of obligations in what was formerly regarded as a pre-contractual phase of the transaction. This article considers the ramifications of this development, with particular reference to the relationship between discretionary functions and legal duty. It is argued that the dynamics of tendering do not conveniently mesh with formal contract analysis and that the vision of Ron Engineering has been sustained by recourse to broader doctrines of fairness and good faith