Answer set programs with optional rules: a possibilistic approach

Many problems in artificial intelligence can be encoded as answer set programs (ASP) in which some rules are uncertain. ASP programs with incorrect rules may have erroneous conclusions, but due to the non-monotonic nature of ASP, omitting a correct rule may also lead to errors. To derive the most certain conclusions from an uncertain ASP program, we thus need to consider all situations in which some, none, or all of the least certain rules are omitted. This corresponds to treating some rules as optional and reasoning about which conclusions remain valid regardless of the inclusion of these optional rules. While a version of possibilistic ASP (PASP) based on this view has recently been introduced, no implementation is currently available. In this paper we propose a simulation of the main reasoning tasks in PASP using (disjunctive) ASP programs, allowing us to take advantage of state-of-the-art ASP solvers. Furthermore, we identify how several interesting AI problems can be naturally seen as special cases of the considered reasoning tasks, including cautious abductive reasoning and conformant planning. As such, the proposed simulation enables us to solve instances of the latter problem types that are more general than what current solvers can handle.

Factors influencing the success of rural cataract surgery programs in China:The study of hospital administration and relative productivity (SHARP)

PURPOSE. To explore factors potentially influencing the success or failure of rural Chinese hospitals in increasing cataract surgical output and quality. METHODS. Focus groups (FGs, n = 10) were conducted with hospital administrators, doctors, and nurses at 28 county hospitals in Guangdong Province. Discussions explored respondents' views on increasing surgical volume and quality and improving patient satisfaction. Respondents numerically ranked possible strategies to increase surgical volume and quality and patient satisfaction. FG transcripts were independently coded by two reviewers utilizing the constant comparative method following the grounded theory approach, and numerical responses were scored and ranked. RESULTS. Ten FGs and 77 ranking questionnaires were completed by 33 administrators, 23 doctors, and 21 nurses. Kappa values for the two coders were greater than 0.7 for all three groups. All groups identified a critical need for enhanced management training for hospital directors. Doctors and nurses suggested reducing surgical fees to enhance uptake, although administrators were resistant to this. Although doctors saw the need to improve equipment, administrators felt current material conditions were adequate. Respondents agreed that patient satisfaction was generally high, and did not view increasing patient satisfaction as a priority. CONCLUSIONS. Our findings highlight agreements and disagreements among the three stakeholder groups about improving surgical output and quality, which can inform strategies to improve cataract programs in rural China. Respondents' beliefs about high patient satisfaction are not in accord with other studies in the area, highlighting a potential area for intervention. © 2013 The Association for Research in Vision and Ophthalmology, Inc.

Triggering employee voice under the European Information and Consultation Directive: A non-union case study

The transposition of the 2002/14/EC Directive, establishing a general framework for information and consultation (I&C), has proven contentious in largely voluntarist systems of employment regulation. Receiving particular criticism is the employee ‘opt-in’ mechanism as a means to access I&C rights. For non-union employees in particular, the ability and potential to negotiate rights for I&C is widely seen to be problematic. This article uniquely examines the opt-in mechanism in the context of non-unionism, considering how non-union employers respond to non-union employees invoking their legislative rights to I&C. Drawing upon a case study conducted over four years in a large non-union multinational, the evidence shows how the opt-in and negotiation process function to the advantage of the employer rather than the intended regulatory impact to advance employee rights

Employment regulation, game theory, and the lacuna in employee participation in liberal economies

Employee participation is a vital ingredient of what the International Labour Organization (ILO) calls ‘representation security’. This article provides theoretical and empirical insights relating to social policy impact of worker participation, specifically the European Information and Consultation Directive (ICD) for employee voice rights. While existing research on the ICD offers important empirical insights, there is a need for further theoretical analysis to examine the potential effectiveness of the regulations in liberal market economies (LMEs). Drawing on data from 16 case studies, the article uses game theory and the prisoner's dilemma framework to explain why national implementing legislation is largely ineffective in diffusing mutual gains cooperation in two LMEs: UK and the Republic of Ireland. Three theoretical (metaphorical) propositions advance understanding of the policy impact of national information & consultation regulations in LMEs.

Similarity or Variation? Employee Representation and Consultation Approaches Amongst Liberal Market Economy Multinationals

This paper engages with the varieties of capitalism literature to investigate the employee representation and consultation approaches of liberal market economy multinational companies (MNCs), specifically Australian, British and US MNCs operating in Australia. While the literature would suggest commonality amongst these MNCs, the paper considers whether the evidence points to similarity or variation amongst liberal market headquartered MNCs. The findings contribute to filling a recognized empirical gap on MNC employment relations practice in Australia and to a better understanding of within category varieties of capitalism similarity and variation. Drawing on survey data from MNCs operating in Australia, the results demonstrated that UK-owned MNCs were the least likely to report collective structures of employee representation. Moreover, it was found that Australian MNCs were the most likely to engage in collective forms of employee representation and made less use of direct consultative mechanisms relative to their British and US counterparts. In spite of the concerted individualization of the employment relations domain over previous decades, Australian MNCs appear to have upheld more long-standing national institutional arrangements with respect to engaging with employees on a collective basis. This varies from British and US MNC approaches which denotes that our results display within category deviation in the variety of capitalism liberal market economy typology. Just as Hall and Soskice described their seminal work on liberal market economy (LME) and coordinated market economy (CME) categories as a “work-in-progress” (2001: 2), we too suggest that Australia’s evolution in the LME category, and more specifically its industrial relations system development, and the consequences for employment relations practices of its domestic MNCs, may be a work-in-progress.

Can group exercise programs improve health outcomes in pregnant women? A systematic review

Current scientific evidence supports the recommendation to initiate or continue the practice of physical exercise in healthy pregnant women. Group exercise programs have positive effects in improving health and well-being, as well as social support. In order to understand the scientific evidence in this field, and the outcomes in maternal health, it has generated wide interest in exploring the studies carried out with more relevant group exercise programs. The aim of this systematic review was to evaluate the available evidence on the effectiveness of group exercise programs in improving women’s and newborns health outcomes during pregnancy. Three databases were used to conduct literature searches and strict inclusion and exclusion criteria were employed. Seventeen studies were selected for analysis. All studies were randomized control trials conducted with pregnant women that evaluated the effect of group exercise programs on the health outcomes of mother and newborn. Most studies followed a supervised structured exercise program including a main aerobic part, resistance training, pelvic floor training and stretching and relaxation sections. The significant effects of the programs are related with improved maternal perception of health status, lower maternal weight gain, improved levels of maternal glucose tolerance, improved aerobic fitness and muscular strength, lower frequency of urinary incontinence, improved sick leave due to lumbopelvic pain, fewer cesarean and instrumental deliveries, higher newborn Apgar score and faster postpartum recovery. Exercise and health professionals should advise pregnant women that aerobic group exercise during pregnancy improves a wide range of health outcomes for the women and newborn

Automatic information and safety systems for driving assistance

O objeto principal desta tese é o estudo de algoritmos de processamento e representação automáticos de dados, em particular de informação obtida por sensores montados a bordo de veículos (2D e 3D), com aplicação em contexto de sistemas de apoio à condução. O trabalho foca alguns dos problemas que, quer os sistemas de condução automática (AD), quer os sistemas avançados de apoio à condução (ADAS), enfrentam hoje em dia. O documento é composto por duas partes. A primeira descreve o projeto, construção e desenvolvimento de três protótipos robóticos, incluindo pormenores associados aos sensores montados a bordo dos robôs, algoritmos e arquitecturas de software. Estes robôs foram utilizados como plataformas de ensaios para testar e validar as técnicas propostas. Para além disso, participaram em várias competições de condução autónoma tendo obtido muito bons resultados. A segunda parte deste documento apresenta vários algoritmos empregues na geração de representações intermédias de dados sensoriais. Estes podem ser utilizados para melhorar técnicas já existentes de reconhecimento de padrões, deteção ou navegação, e por este meio contribuir para futuras aplicações no âmbito dos AD ou ADAS. Dado que os veículos autónomos contêm uma grande quantidade de sensores de diferentes naturezas, representações intermédias são particularmente adequadas, pois podem lidar com problemas relacionados com as diversas naturezas dos dados (2D, 3D, fotométrica, etc.), com o carácter assíncrono dos dados (multiplos sensores a enviar dados a diferentes frequências), ou com o alinhamento dos dados (problemas de calibração, diferentes sensores a disponibilizar diferentes medições para um mesmo objeto). Neste âmbito, são propostas novas técnicas para a computação de uma representação multi-câmara multi-modal de transformação de perspectiva inversa, para a execução de correcção de côr entre imagens de forma a obter mosaicos de qualidade, ou para a geração de uma representação de cena baseada em primitivas poligonais, capaz de lidar com grandes quantidades de dados 3D e 2D, tendo inclusivamente a capacidade de refinar a representação à medida que novos dados sensoriais são recebidos.

Régulation physiologique et perception de stress chez des parents d'enfants diagnostiqués d'un trouble du spectre de l'autisme : la contribution de la présence d'un chien d'assistance et des représentations associées à l'attachement

Les troubles du spectre de l'autisme (TSAR se caractérisent par des altérations au niveau de la réciprocité des interactions sociales, des habiletés de communication verbale et non verbale, ainsi que la présence de comportements et champs d'intérêts stéréotypés. Compte tenu des conclusions décrivant leurs parents comme vivant plus de stress comparativement aux parents d'enfants non diagnostiqués sur le spectre de l'autisme, il devient nécessaire d'offrir un soutien susceptible d'alléger leur quotidien et celui de leur enfant. Le recueil de données sur l'application d'une intervention novatrice qu'est l'intégration permanente d'un chien d'assistance au sein du milieu familial offrirait une contribution considérable basée sur les conclusions des études précédentes. Le modèle conceptuel de la présente étude réfère aux transactions entre la régulation diurne du cortisol, la perception de stress parental, la sévérité des atteintes comportementales de l'enfant ainsi que les représentations d'attachement de la mère. L'approche analytique s'oriente ainsi sur le caractère multidimensionnel des variables et s'intéresse particulièrement aux différences intra-individuelles dans l'adaptation parentale illustrée par l'activité totale de cortisol sur une période de 15 semaines. L'ensemble des données soulève la présence d'une sous-activation de l'axe 1-IPA ainsi qu'une perception de niveaux élevés de stress parental. Suivant une approche centrée sur la personne, les analyses ont permis de dégager deux profils distincts de régulation basés sur l'activité totale de cortisol salivaire. La présence du chien d'assistance au sein de la famille apporte des changements notables décrits par une diminution de la réponse du cortisol au réveil spécifique au sous-groupe de mères ayant un profil de sécrétion supérieur. L'étude apporte une démonstration empirique d'une hétérogénéité des patrons de régulation hormonale issus d'un même échantillon caractérisé par le vécu d'un stress chronique. L'efficacité d'une nouvelle forme d'intervention pouvant soulager les difficultés rencontrées par les parents est discutée selon un point de vue transdisciplinaire.

Principles and Practical Grouping for the Use of Drill and Practice Programs

A previous paper showed that young children performed better when working as individuals rather than in pairs on a drill and practice program. This paper reports an analysis of behaviour and talk for individuals and single sex pairs using a computer-based drill and practice activity to explain differences in performance. Results indicated that individuals were more likely to be task-focused and to complete tasks successfully than children working in pairs. Differences were found in off-task activity, behaviours and type of talk. Grouping and verbal interaction are discussed in relation to the type of task/program that children are asked to undertake, and how both task and peer presence may constrain the child's task focus and performance when reinforcing pre-existing knowledge.

Do human resource practices enhance organizational commitment in SMEs with low employee satisfaction?

This paper considers a large matched employee–employer data set to estimate a model of organizational commitment. In particular, it focuses on the role of firm size and management formality to explain organizational commitment in British small and medium-sized enterprises (SMEs) with high and low levels of employee satisfaction. It is shown that size ‘in itself’ can explain differences in organizational commitment, and that organizational commitment tends to be higher in organizations with high employee satisfaction compared with organizations of similar size with low employee satisfaction. Crucially, the results suggest that formal human resource (HR) practices can be used as important tools to increase commitment and thus, potentially, effort and performance within underperforming SMEs with low employee satisfaction. However, formal HR practices commonly used by large firms may be unnecessary in SMEs which benefit from high employee satisfaction and positive employment relations within a context of informality.

Virtual power players demand response programs management based on locational marginal prices

Power systems have been suffering huge changes mainly due to the substantial increase of distributed generation and to the operation in competitive environments. Virtual power players can aggregate a diversity of players, namely generators and consumers, and a diversity of energy resources, including electricity generation based on several technologies, storage and demand response. Resource management gains an increasing relevance in this competitive context, while demand side active role provides managers with increased demand elasticity. This makes demand response use more interesting and flexible, giving rise to a wide range of new opportunities.This paper proposes a methodology for managing demand response programs in the scope of virtual power players. The proposed method is based on the calculation of locational marginal prices (LMP). The evaluation of the impact of using demand response specific programs on the LMP value supports the manager decision concerning demand response use. The proposed method has been computationally implemented and its application is illustrated in this paper using a 32 bus network with intensive use of distributed generation.

A simulation tool for demand response programs implementation

The design and development of simulation models and tools for Demand Response (DR) programs are becoming more and more important for adequately taking the maximum advantages of DR programs use. Moreover, a more active consumers’ participation in DR programs can help improving the system reliability and decrease or defer the required investments. DemSi, a DR simulator, designed and implemented by the authors of this paper, allows studying DR actions and schemes in distribution networks. It undertakes the technical validation of the solution using realistic network simulation based on PSCAD. DemSi considers the players involved in DR actions, and the results can be analyzed from each specific player point of view.

Using data mining techniques to support DR programs definition in smart grids

In recent years, Power Systems (PS) have experimented many changes in their operation. The introduction of new players managing Distributed Generation (DG) units, and the existence of new Demand Response (DR) programs make the control of the system a more complex problem and allow a more flexible management. An intelligent resource management in the context of smart grids is of huge important so that smart grids functions are assured. This paper proposes a new methodology to support system operators and/or Virtual Power Players (VPPs) to determine effective and efficient DR programs that can be put into practice. This method is based on the use of data mining techniques applied to a database which is obtained for a large set of operation scenarios. The paper includes a case study based on 27,000 scenarios considering a diversity of distributed resources in a 32 bus distribution network.

Demand response programs definition supported by clustering and classification techniques

The growing importance and influence of new resources connected to the power systems has caused many changes in their operation. Environmental policies and several well know advantages have been made renewable based energy resources largely disseminated. These resources, including Distributed Generation (DG), are being connected to lower voltage levels where Demand Response (DR) must be considered too. These changes increase the complexity of the system operation due to both new operational constraints and amounts of data to be processed. Virtual Power Players (VPP) are entities able to manage these resources. Addressing these issues, this paper proposes a methodology to support VPP actions when these act as a Curtailment Service Provider (CSP) that provides DR capacity to a DR program declared by the Independent System Operator (ISO) or by the VPP itself. The amount of DR capacity that the CSP can assure is determined using data mining techniques applied to a database which is obtained for a large set of operation scenarios. The paper includes a case study based on 27,000 scenarios considering a diversity of distributed resources in a 33 bus distribution network.

Numerical experiments with a modified regularization scheme for mathematical programs with complementarity constraints

On this paper we present a modified regularization scheme for Mathematical Programs with Complementarity Constraints. In the regularized formulations the complementarity condition is replaced by a constraint involving a positive parameter that can be decreased to zero. In our approach both the complementarity condition and the nonnegativity constraints are relaxed. An iterative algorithm is implemented in MATLAB language and a set of AMPL problems from MacMPEC database were tested.