Computing explanations for interactive constraint-based systems

Constraint programming has emerged as a successful paradigm for modelling combinatorial problems arising from practical situations. In many of those situations, we are not provided with an immutable set of constraints. Instead, a user will modify his requirements, in an interactive fashion, until he is satisfied with a solution. Examples of such applications include, amongst others, model-based diagnosis, expert systems, product configurators. The system he interacts with must be able to assist him by showing the consequences of his requirements. Explanations are the ideal tool for providing this assistance. However, existing notions of explanations fail to provide sufficient information. We define new forms of explanations that aim to be more informative. Even if explanation generation is a very hard task, in the applications we consider, we must manage to provide a satisfactory level of interactivity and, therefore, we cannot afford long computational times. We introduce the concept of representative sets of relaxations, a compact set of relaxations that shows the user at least one way to satisfy each of his requirements and at least one way to relax them, and present an algorithm that efficiently computes such sets. We introduce the concept of most soluble relaxations, maximising the number of products they allow. We present algorithms to compute such relaxations in times compatible with interactivity, achieving this by indifferently making use of different types of compiled representations. We propose to generalise the concept of prime implicates to constraint problems with the concept of domain consequences, and suggest to generate them as a compilation strategy. This sets a new approach in compilation, and allows to address explanation-related queries in an efficient way. We define ordered automata to compactly represent large sets of domain consequences, in an orthogonal way from existing compilation techniques that represent large sets of solutions.

A smart wireless inertial measurement unit system: simplifying & encouraging usage of WIMU technology

Wireless Inertial Measurement Units (WIMUs) combine motion sensing, processing & communications functionsin a single device. Data gathered using these sensors has the potential to be converted into high quality motion data. By outfitting a subject with multiple WIMUs full motion data can begathered. With a potential cost of ownership several orders of magnitude less than traditional camera based motion capture, WIMU systems have potential to be crucially important in supplementing or replacing traditional motion capture and opening up entirely new application areas and potential markets particularly in the rehabilitative, sports & at-home healthcarespaces. Currently WIMUs are underutilized in these areas. A major barrier to adoption is perceived complexity. Sample rates, sensor types & dynamic sensor ranges may need to be adjusted on multiple axes for each device depending on the scenario. As such we present an advanced WIMU in conjunction with a Smart WIMU system to simplify this aspect with 3 usage modes: Manual, Intelligent and Autonomous. Attendees will be able to compare the 3 different modes and see the effects of good andbad set-ups on the quality of data gathered in real time.

Negotiating the boundaries between home and work practices: The case of home-workers

When people work from home, the domains of home and work are co-located, often under one roof. Home-workers have to cope with the meeting of two practices that have traditionally been physically separated. In light of this, we need to understand: how do people who work from home negotiate the boundaries between their home and work practices? What kinds of boundaries do people construct? How do boundaries affect the relationship between home and work as domains? What kinds of boundaries are available to home-workers? Are home-workers in charge of their boundaries or do they co-create them with others? How does this position home-workers in their domains? In order to address these questions, I analysed a variety of data, including newspaper columns, online forum discussions, interviews, and personal diary entries, using a discourse analytic approach that lends itself to issues of positioning. Current literature clashes over whether home-workers are in control of their boundaries, and over the relationship between home and work that arises out of boundary negotiations, i.e. whether home and work are dichotomous or layered. I seek to contribute to boundary theory by adopting a practice theory stance (Wenger, 1998) to guide my analysis. By viewing home and work as practices, I show that boundary negotiations depend on how home-workers are positioned, e.g. if they are positioned as peripheral in a domain, they lack influence over boundaries. I demonstrate that home and work constitute a number of different practices, rather than a rigid dichotomy, and that the way home and work are related are not the same for all home-workers. The application of practice concepts further shows how relationships between practices are created. The contribution of this work is a reconceptualisation of current boundary theory away from individual and cognitive notions (Nippert-Eng, 1996) into the realm of positioning.

Pervasive handheld computing systems

The technological role of handheld devices is fundamentally changing. Portable computers were traditionally application specific. They were designed and optimised to deliver a specific task. However, it is now commonly acknowledged that future handheld devices need to be multi-functional and need to be capable of executing a range of high-performance applications. This thesis has coined the term pervasive handheld computing systems to refer to this type of mobile device. Portable computers are faced with a number of constraints in trying to meet these objectives. They are physically constrained by their size, their computational power, their memory resources, their power usage, and their networking ability. These constraints challenge pervasive handheld computing systems in achieving their multi-functional and high-performance requirements. This thesis proposes a two-pronged methodology to enable pervasive handheld computing systems meet their future objectives. The methodology is a fusion of two independent and yet complementary concepts. The first step utilises reconfigurable technology to enhance the physical hardware resources within the environment of a handheld device. This approach recognises that reconfigurable computing has the potential to dynamically increase the system functionality and versatility of a handheld device without major loss in performance. The second step of the methodology incorporates agent-based middleware protocols to support handheld devices to effectively manage and utilise these reconfigurable hardware resources within their environment. The thesis asserts the combined characteristics of reconfigurable computing and agent technology can meet the objectives of pervasive handheld computing systems.

Home, family and society: women of the Irish landed class, 1860-1914. A Munster case study

The thesis analyses the roles and experiences of female members of the Irish landed class (wives, sisters and daughters of gentry and aristocratic landlords with estates over 1,000 acres) using primary personal material generated by twelve sample families over an important period of decline for the class, and growing rights for women. Notably, it analyses the experiences of relatively unknown married and unmarried women, something previously untried in Irish historiography. It demonstrates that women’s roles were more significant than has been assumed in the existing literature, and leads to a more rounded understanding of the entire class. Four chapters focus on themes which emerge from the sources used and which deal with their roles both inside and outside the home. These chapters argue that: Married and unmarried women were more closely bound to the priorities of their class than their sex, and prioritised male-centred values of family and estate. Male and female duties on the property overlapped, as marriage relationships were more equal than the legislation of the time would suggest. London was the cultural centre for this class. Due to close familial links with Britain (60% of sample daughters married English men) their self-perception was British or English, as well as Irish. With the self-confidence of their class, these women enjoyed cultural and political activities and movements outside the home (sport, travel, fashion, art, writing, philanthropy, (anti-)suffrage, and politics). Far from being pawns in arranged marriages, women were deeply conscious of their marriage decisions and chose socially, financially and personally compatible husbands; they also looked for sexual satisfaction. Childbirth sometimes caused lasting health problems, but pregnancy did not confine wealthy women to an invalid state. In opposition to the stereotypical distant aristocratic mother, these women breastfed their children, and were involved mothers. However, motherhood was not permitted to impinge on the more pressing role of wife

Developing a health and wellbeing platform in a living lab setting: An action design research study

The world’s population is rapidly aging, which affects healthcare budgets, resources, pensions and social security systems. Although most older adults prefer to live independently in their own home as long as possible, smart living solutions to support elderly people at home did not reach mass adoption, yet. To support people age-in-place a Living Lab is established in one of the metropolitan areas in the Netherlands. The main goal of the Living Lab is to develop an online health and wellbeing platform that matches service providers, caretakers and users and to implement that platform in one particular city district. In this paper we describe the narrative of the action design research process that will give researchers insight how to deal with complex multi-stakeholder design projects as well as cooperation issues to develop an artifact in a real-life setting.