Federated Robust Embedded Systems: Concepts and Challenges

The development within the area of embedded systems (ESs) is moving rapidly, not least due to falling costs of computation and communication equipment. It is believed that increased communication opportunities will lead to the future ESs no longer being parts of isolated products, but rather parts of larger communities or federations of ESs, within which information is exchanged for the benefit of all participants. This vision is asserted by a number of interrelated research topics, such as the internet of things, cyber-physical systems, systems of systems, and multi-agent systems. In this work, the focus is primarily on ESs, with their specific real-time and safety requirements. While the vision of interconnected ESs is quite promising, it also brings great challenges to the development of future systems in an efficient, safe, and reliable way. In this work, a pre-study has been carried out in order to gain a better understanding about common concepts and challenges that naturally arise in federations of ESs. The work was organized around a series of workshops, with contributions from both academic participants and industrial partners with a strong experience in ES development. During the workshops, a portfolio of possible ES federation scenarios was collected, and a number of application examples were discussed more thoroughly on different abstraction levels, starting from screening the nature of interactions on the federation level and proceeding down to the implementation details within each ES. These discussions led to a better understanding of what can be expected in the future federated ESs. In this report, the discussed applications are summarized, together with their characteristics, challenges, and necessary solution elements, providing a ground for the future research within the area of communicating ESs

Empirical Study of the Civil Justice System

In this essay, we discuss empirical research on the economic effects of the civil justice system. We discuss research on the effects of three substantive bodies of law- contracts, torts, and property- and research on the effects of the litigation process. We begin with a review of studies of aggregate empirical trends and the important issues involving contracts and torts, both positive and normative. We survey some of the more interesting empirical issues, and we conclude with some suggestions for future work. Because studies involving property law are so divergent, there is no simple description of aggregates that adequately characterizes the subject. In its place, we offer an overview of a number of the most important issues of interest. We describe (selectively) the current state of empirical knowledge, and offer some suggestions for future research. The section on legal process builds on the previous substantive sections. With respect each of the steps, from violation to trial to appeal, we review some of the more important empirical contributions.

The computer revolution in science: steps towards the realization of computer-supported discovery environments

The tools that scientists use in their search processes together form so-called discovery environments. The promise of artificial intelligence and other branches of computer science is to radically transform conventional discovery environments by equipping scientists with a range of powerful computer tools including large-scale, shared knowledge bases and discovery programs. We will describe the future computer-supported discovery environments that may result, and illustrate by means of a realistic scenario how scientists come to new discoveries in these environments. In order to make the step from the current generation of discovery tools to computer-supported discovery environments like the one presented in the scenario, developers should realize that such environments are large-scale sociotechnical systems. They should not just focus on isolated computer programs, but also pay attention to the question how these programs will be used and maintained by scientists in research practices. In order to help developers of discovery programs in achieving the integration of their tools in discovery environments, we will formulate a set of guidelines that developers could follow

Coalition Formation Games for Collaborative Spectrum Sensing

Collaborative Spectrum Sensing (CSS) between secondary users (SUs) in cognitive networks exhibits an inherent tradeoff between minimizing the probability of missing the detection of the primary user (PU) and maintaining a reasonable false alarm probability (e.g., for maintaining a good spectrum utilization). In this paper, we study the impact of this tradeoff on the network structure and the cooperative incentives of the SUs that seek to cooperate for improving their detection performance. We model the CSS problem as a non-transferable coalitional game, and we propose distributed algorithms for coalition formation. First, we construct a distributed coalition formation (CF) algorithm that allows the SUs to self-organize into disjoint coalitions while accounting for the CSS tradeoff. Then, the CF algorithm is complemented with a coalitional voting game for enabling distributed coalition formation with detection probability guarantees (CF-PD) when required by the PU. The CF-PD algorithm allows the SUs to form minimal winning coalitions (MWCs), i.e., coalitions that achieve the target detection probability with minimal costs. For both algorithms, we study and prove various properties pertaining to network structure, adaptation to mobility and stability. Simulation results show that CF reduces the average probability of miss per SU up to 88.45% relative to the non-cooperative case, while maintaining a desired false alarm. For CF-PD, the results show that up to 87.25% of the SUs achieve the required detection probability through MWCComment: IEEE Transactions on Vehicular Technology, to appea

The Dark Side of Morality: Group Polarization and Moral Epistemology

This article argues that philosophers and laypeople commonly conceptualize moral truths or justified moral beliefs as discoverable through intuition, argument, or some other purely cognitive or affective process. It then contends that three empirically well-supported theories all predict that this ‘Discovery Model’ of morality plays a substantial role in causing social polarization. The same three theories are then used to argue that an alternative ‘Negotiation Model’ of morality—according to which moral truths are not discovered but instead created by actively negotiating compromises—promises to reduce polarization by fostering a progressive willingness to ‘work across the aisle’ to settle moral issues cooperatively. This article then examines potential methods for normatively evaluating polarization, arguing there are prima facie reasons to favor the Negotiation Model over the Discovery Model based on their hypothesized effects on polarization. Finally, I outline avenues for further empirical and philosophical research

Translating Charles S. Peirce’s Letters: A Creative and Cooperative Experience

In this article we wish to share the work in which the Group of Peirce Studies of the University of Navarra has been involved since 2007: the study of a very interesting part of the extensive correspondence of Charles S. Peirce, specifically, his European letters. Peirce wrote some of these letters over the course of his five trips to Europe (between 1870 and 1883), and wrote others to the many European scientists and intellectuals he communicated with over the course of his life. The translation of those letters has been an excellent practical example of the creative and abductive nature of translation, as well as of the cooperative character of research. Translating Peirce's letters has allowed us a deep study of some theoretical aspects, and at the same time it has permitted us to work creatively and cooperatively to enrich the common vision of this scientist and philosopher