Design smart city apps using activity theory.

In this paper we describe an innovative approach to the design process of Smart City interventions. We tested it with participants enrolled in the Master\u2019s Degree program in \u201cInnovators in enterprise and public administration\u201d: the objective of the Master was to stimulate the acquisition of technical and methodological skills useful in designing and implementing specific Smart City actions. During the "project work" phase, participants learned about a design method named SAM \u2013 Smart City Model - based on the Cultural Historical Activity Theory (CHAT). We present an overview of design criteria for Smart City projects, the description of the theoretical framework of Activity Theory, and our proposal of the SAM design model. We also present some examples of student\u2019s \u201cprojects\u201d and a more extensive description of one case study about the full design process of an App planned using SAM, for \u201csmart health\u201d vaccine management and monitoring services. The App was later published and made available to the citizens and was successful in attracting thousands of users. All the participants considered the model very useful in particular because it made possible to understand the interaction and solve contradictions between different stakeholders and systems involved

Encapsulating and representing the knowledge on the evaluation of an engineering system

This paper proposes a cross-disciplinary methodology for a fundamental question in product development: How can the innovation patterns during the evolution of an engineering system (ES) be encapsulated, so that it can later be mined through data mining analysis methods? Reverse engineering answers the question of which components a developed engineering system consists of, and how the components interact to make the working product. TRIZ answers the question of which problem-solving principles can be, or have been employed in developing that system, in comparison to its earlier versions, or with respect to similar systems. While these two methodologies have been very popular, to the best of our knowledge, there does not yet exist a methodology that reverseengineers and encapsulates and represents the information regarding the complete product development process in abstract terms. This paper suggests such a methodology, that consists of mathematical formalism, graph visualization, and database representation. The proposed approach is demonstrated by analyzing the design and development process for a prototype wrist-rehabilitation robot

Hyper-legalisation and delegalisation in the AFSJ: on contradictions in the external management of EU migration

The EU governance of migration has distinct internal and external facets, which may be viewed as innately contradictory. On the one hand, for example, there is legal competence for enhanced measures to combat illegal immigration but on the other hand, it is to manage efficiently migration flows, yet with fairness towards third country nationals. These contradictions define the EU’s Area of Freedom Security and Justice more generally, as a complex and evolving site of tremendous injustice and crisis. In times of crisis, there is an increasing number of soft law tools in EU external migration, used to enable flexibility, deploying management lexicon, principles and tools as a means to avoid or minimalize the need for ‘hard’ binding law (e.g. frameworks, compacts, action plans), in a process of ‘hyper-legalisation’ of external migration. Often, it results from the multiplicity of constitutional competences applying in external migration. It mirrors well other crisis-ridden subjects of EU law, in particular as to the financial crisis. On the other hand, there is also a trend in significant recent caselaw towards the ‘de-legalisation’ of migration policy, putting key legal and policy questions in forms beyond review and outside of the treaties, as in the financial crisis as well as other leading cases. They explicitly detail the nature of the contradictions at the heart of the external dimension to the AFSJ in the area of migration and the problematic nature of EU law-making. They also provide reason for concern about basic conceptualisations of the rule of law therein. The key decisions arbitrarily decide the scope of ‘non-legislative’, ‘non-application’ and ‘European’ as to EU law. They emphasise the contradictions at the heart of the AFSJ, increasingly excluded through judicial review

The Failure of State Formation, Identity Conflict and Civil Society Responses - The Case of Sri Lanka

Ye

Transforming teacher education, an activity theory analysis

This paper explores the work of teacher education in England and Scotland. It seeks to locate this work within conflicting socio-cultural views of professional practice and academic work. Drawing on an activity theory framework that integrates the analysis of these contradictory discourses with a study of teacher educators’ practical activities, including the material artefacts that mediate the work, the paper offers a critical perspective on the social organisation of university-based teacher education. Informed by Engeström’s activity theory concept of transformation, the paper extends the discussion of contradictions in teacher education to consider the wider socio-cultural relations of the work. The findings raise important questions about the way in which teacher education work within universities is organised and the division of labour between schools and universities

"Freedom" through Repression: Epistemic Closure in Agricultural Trade Negotiations

A central concern of critical theory is that of how the forces of Modern reason cause certain logics to become reified in the name of rational progress. Two such logics – the ongoing spread of liberal capitalism, and territorial particularism – are simultaneously embodied within social institutions such as the World Trade Organization (WTO) that regulate the global economy, a phenomenon that occurs on the premise of maximising global welfare. Building upon a critical reading of Jürgen Habermas' theory of communicative action, this article undertakes an empirical immanent critique of the extent to which such logics repress the possibility of normative imperatives being considered within agricultural trade negotiations. Specifically, it argues that the dialectic of functionalist and communicative rationality, operating as a theoretical heuristic, reveals that the DDA is susceptible to an ethical indictment that arises from its inability to countenance the alternatives to the dual logics of neo-liberalism and state-interest that could otherwise emerge from a free and rational discussion. The nature of the WTO as a site of social action is revealed to be that of a closed epistemic community in which important normative claims are repressed, and as such, one in which the underlying rational bases for communication are fundamentally distorted

Analysis of the computational complexity of solving random satisfiability problems using branch and bound search algorithms

The computational complexity of solving random 3-Satisfiability (3-SAT) problems is investigated. 3-SAT is a representative example of hard computational tasks; it consists in knowing whether a set of alpha N randomly drawn logical constraints involving N Boolean variables can be satisfied altogether or not. Widely used solving procedures, as the Davis-Putnam-Loveland-Logeman (DPLL) algorithm, perform a systematic search for a solution, through a sequence of trials and errors represented by a search tree. In the present study, we identify, using theory and numerical experiments, easy (size of the search tree scaling polynomially with N) and hard (exponential scaling) regimes as a function of the ratio alpha of constraints per variable. The typical complexity is explicitly calculated in the different regimes, in very good agreement with numerical simulations. Our theoretical approach is based on the analysis of the growth of the branches in the search tree under the operation of DPLL. On each branch, the initial 3-SAT problem is dynamically turned into a more generic 2+p-SAT problem, where p and 1-p are the fractions of constraints involving three and two variables respectively. The growth of each branch is monitored by the dynamical evolution of alpha and p and is represented by a trajectory in the static phase diagram of the random 2+p-SAT problem. Depending on whether or not the trajectories cross the boundary between phases, single branches or full trees are generated by DPLL, resulting in easy or hard resolutions.Comment: 37 RevTeX pages, 15 figures; submitted to Phys.Rev.

The contradictions of the Asian Monetary Fund

Focuses on the issue of an Asian Monetary Fund (AMF). At the time of its launch in March 2010, the Chiang Mai Initiative Multilateralisation (CMIM) was widely reported, particularly in Asia, as heralding the establishment of an AMF that would provide both an independent alternative to the IMF and distance from the influence of the USA. However, while the CMIM may well be a major step towards the establishment of such an AMF, as presently constituted it is neither separate from the IMF nor fully functional

Formalization and Validation of Safety-Critical Requirements

The validation of requirements is a fundamental step in the development process of safety-critical systems. In safety critical applications such as aerospace, avionics and railways, the use of formal methods is of paramount importance both for requirements and for design validation. Nevertheless, while for the verification of the design, many formal techniques have been conceived and applied, the research on formal methods for requirements validation is not yet mature. The main obstacles are that, on the one hand, the correctness of requirements is not formally defined; on the other hand that the formalization and the validation of the requirements usually demands a strong involvement of domain experts. We report on a methodology and a series of techniques that we developed for the formalization and validation of high-level requirements for safety-critical applications. The main ingredients are a very expressive formal language and automatic satisfiability procedures. The language combines first-order, temporal, and hybrid logic. The satisfiability procedures are based on model checking and satisfiability modulo theory. We applied this technology within an industrial project to the validation of railways requirements

Political economy, political class, and political system in recivilianized Nigeria

African Studies Center Working Paper No. 4