Defining Democracy: Voting Procedures in Decision-making, Elections and Governance

Book Review: Emerson, Peter, Defining Democracy: Voting Procedures in Decision-making, Elections and
Governance (2nd edn), Springer, London, 2012,

Exact and heuristic methods for solving Boolean games

Boolean games are a framework for reasoning about the rational behavior of agents whose goals are formalized using propositional formulas. Compared to normal form games, a well-studied and related game framework, Boolean games allow for an intuitive and more compact representation of the agents’ goals. So far, Boolean games have been mainly studied in the literature from the Knowledge Representation perspective, and less attention has been paid on the algorithmic issues underlying the computation of solution concepts. Although some suggestions for solving specific classes of Boolean games have been made in the literature, there is currently no work available on the practical performance. In this paper, we propose the first technique to solve general Boolean games that does not require an exponential translation to normal-form games. Our method is based on disjunctive answer set programming and computes solutions (equilibria) of arbitrary Boolean games. It can be applied to a wide variety of solution concepts, and can naturally deal with extensions of Boolean games such as constraints and costs. We present detailed experimental results in which we compare the proposed method against a number of existing methods for solving specific classes of Boolean games, as well as adaptations of methods that were initially designed for normal-form games. We found that the heuristic methods that do not require all payoff matrix entries performed well for smaller Boolean games, while our ASP based technique is faster when the problem instances have a higher number of agents or action variables.

A new Nawaz–Enscore–Ham-based heuristic for permutation flow-shop problem with bicriteria of makespan and machine idle-time

A new heuristic based on Nawaz–Enscore–Ham (NEH) algorithm is proposed for solving permutation flowshop scheduling problem in this paper. A new priority rule is proposed by accounting for the average, mean absolute deviation, skewness and kurtosis, in order to fully describe the distribution style of processing times. A new tie-breaking rule is also introduced for achieving effective job insertion for the objective of minimizing both makespan and machine idle-time. Statistical tests illustrate better solution quality of the proposed algorithm, comparing to existing benchmark heuristics.

Epidemiology of painful procedures performed in neonates: A systematic review of observational studies

Procedural pain in neonates has been a concern in the last two decades. The purpose of this review was to provide a critical appraisal and a synthesis of the published epidemiological studies about procedural pain in neonates admitted to intensive care units. The aims were to determine the frequency of painful procedures and pain management interventions as well as to identify their predictors. Academic Search, CINAHL, LILACS, Medic Latina, MEDLINE and SciELO databases were searched for observational studies on procedural pain in neonates admitted to intensive care units. Studies in which neonatal data could not be extracted from the paediatric population were excluded. Eighteen studies were included in the review. Six studies with the same study duration, the first 14 days of the neonate life or admission in the unit of care, identified 6832 to 42,413 invasive procedures, with an average of 7.5-17.3 per neonate per day. The most frequent procedures were heel lance, suctioning, venepuncture and insertion of peripheral venous catheter. Pharmacological and nonpharmacological approaches were inconsistently applied. Predictors of the frequency of procedures and analgesic use included the neonate's clinical condition, day of unit stay, type of procedure, parental presence and pain assessment. The existence of pain protocols was not a predictor of analgesia. Painful procedures were performed frequently and often with inadequate pain management. Unlike neonate clinical factors, organizational factors may be modified to promote a context of care more favourable to pain management. © 2015 European Pain Federation - EFIC®

A ingerência do conhecimento explícito no conhecimento tácito: a técnica Alexander e a prática e ensino da flauta

O presente trabalho é o resultado duma investigação heurística sobre os efeitos do estudo da Técnica Alexander (TA) na prática e no ensino da flauta. Submeti-me a uma centena de aulas de Técnica Alexander e procedi a uma análise reflexiva da minha aprendizagem e prática individual e pedagógica, registando a sua evolução através da progressiva incorporação dos princípios e metodologias daquela técnica. A primeira parte descreve os princípios e procedimentos da TA enquadrando-a na problemática das relações entre conhecimento tácito e explícito, nos processos de controlo motor voluntário e involuntário, e na eficácia e eficiência dos automatismos neuromusculares. A segunda parte constitui a descrição e análise do processo transformador catalisado pelo estudo da TA: modificações na coordenação muscular; na técnica respiratória; no empunhar da flauta e na preparação para a emissão da primeira nota, e na relação entre o equilíbrio do instrumento e o movimento dos dedos. Vários procedimentos e exercícios desenvolvidos para a resolução de problemas pessoais são apresentados justificando a sua eficácia. A TA não proporciona apenas alterações na coordenação muscular mas pode modificar os processos mentais. Por isso alguns princípios para uma organização eficiente da prática são discutidos e concretizados nalguns exercícios que promovem maior variabilidade, alternância entre análise e integração e clareza na concepção do gesto técnico-musical. Por último, a evolução da minha abordagem pedagógica, incorporando procedimentos inspirados na TA e desenvolvidos ao longo da investigação são ilustrados com alguns alunos. A tese argumenta que a TA pode desempenhar um papel fundamental na melhoria do desempenho dum músico e revela-se uma ferramenta pedagógica que merece ser explorada mais sistematicamente num ensino mais baseado numa experimentação guiada que promova uma maior autoconsciência dos processos neuromusculares do que na instrução prescritiva e explícita.

Modelo para a valorização partilhada da marca: a comunicação mediada por computador como suporte ao envolvimento dos recursos humanos na cocriação da marca organizacional

No atual contexto de disseminação e uso das tecnologias da comunicação para a geração de conteúdo não especializado, igualmente partilhado e utilizado, torna-se pertinente sublinhar a participação dos recursos humanos na cocriação da marca organizacional. Esta participação, todavia, encontra alguns constrangimentos e necessidades, tais como a falta de orientação no uso devido da marca gráfica, e a adequação das ferramentas comunicacionais e de gestão do conhecimento de que estes indivíduos são portadores. Neste enquadramento, pretende-se validar um modelo heurístico que explique, satisfatoriamente, de que forma as organizações podem envolver os seus recursos humanos em atividades de valorização da marca, em contextos de informação e comunicação tecnologicamente mediados, e que possa assumirse como um impulsionador da adoção destas práticas. A abordagem metodológica é de natureza exploratória, iterativa e qualitativa, assentando na Grounded Theory e, portanto, num processo indutivo de produção de conhecimento, reconhecendo a existência de momentos de descoberta e, aproximando-se do paradigma construtivista. O estudo que conduz à proposta final de um modelo de comunicação mediada por computador para a valorização da marca assenta, essencialmente, na revisão da literatura através da pesquisa bibliográfica, e num estudo de caso, que assume como procedimentos técnicos os inquéritos por entrevista, para uma primeira verificação dos pressupostos do modelo, a construção de um protótipo não-funcional de uma Central Participativa de Marca (CPM), capaz de expressar a componente tecnológica presente no modelo, e a realização de grupos focais, com o intuito de alcançar a sua validação não-experimental. O estudo de caso realizado debruça-se sobre a Universidade de Aveiro (UA) e sobre o uso e apropriação da sua marca, por parte dos membros da sua comunidade docente e não-docente. Os resultados das entrevistas exploratórias, para as quais se recorre a uma amostra por conveniência composta por entidades relevantes no que à promoção da marca da UA concerne, são combinados com os conteúdos extraídos do levantamento bibliográfico, de modo a serem contemplados tanto na aferição dos domínios de interação que informam o modelo, como na conceção do protótipo de uma plataforma de colaboração online, especificamente orientada à marca, apresentado a cinco grupos focais que neles integram a população-alvo estudada. Este estudo empírico permite uma primeira validação do modelo heurístico proposto, confirmando que a participação na cocriação de artefactos de marca tende a acontecer de forma não oficial, por falta de iniciativas organizacionais que valorizem o capital humano, e que a orientação para o uso e apropriação da marca é fundamental na concretização deste tipo de contributos, dados por indivíduos não especializados em branding, design, comunicação ou estratégia de marketing. Os resultados permitem validar ainda a configuração e a estrutura de interação propostas para o sistema subjacente ao protótipo da CPM, assim como a generalidade das suas funcionalidades, permitindo a proposta de uma heurística focada na experimentação da marca no seio organizacional. Finalmente, são identificadas linhas de investigação futura nesta área, decorrentes dos resultados alcançados e das limitações do estudo realizado.

AGREED-UPON PROCEDURES REPORT ON CONTRACT FOR PURCHASE OF NURSING CARE SERVICES WITH STATE OF SOUTH CAROLINA DEPARTMENT OF HEALTH AND HUMAN SERVICES

The Medicaid Audits Section of the South Carolina Office of the State Auditor performs audits and reviews of cost reports filed by institutional providers of Medicaid services. These cost reports are used by the Health and Human Services Finance Commission to establish amounts to be paid to these providers for services provided to qualified Medicaid recipients. This report deals with A. Sam Karesh Long Term Care Nursing Facility in North Augusta, S.C.

A Meta-Heuristic Load Balancer for Cloud Computing Systems

This paper introduces a strategy to allocate services on a cloud system without overloading the nodes and maintaining the system stability with minimum cost. We specify an abstract model of cloud resources utilization, including multiple types of resources as well as considerations for the service migration costs. A prototype meta-heuristic load balancer is demonstrated and experimental results are presented and discussed. We also propose a novel genetic algorithm, where population is seeded with the outputs of other meta-heuristic algorithms.

An heuristic approach for optimal location of gas supply units in transportation system

The best places to locate the Gas Supply Units (GSUs) on a natural gas systems and their optimal allocation to loads are the key factors to organize an efficient upstream gas infrastructure. The number of GSUs and their optimal location in a gas network is a decision problem that can be formulated as a linear programming problem. Our emphasis is on the formulation and use of a suitable location model, reflecting real-world operations and constraints of a natural gas system. This paper presents a heuristic model, based on lagrangean approach, developed for finding the optimal GSUs location on a natural gas network, minimizing expenses and maximizing throughput and security of supply.The location model is applied to the Iberian high pressure natural gas network, a system modelised with 65 demand nodes. These nodes are linked by physical and virtual pipelines – road trucks with gas in liquefied form. The location model result shows the best places to locate, with the optimal demand allocation and the most economical gas transport mode: by pipeline or by road truck.

Intelligent electric vehicle heuristic for energy resource management using simulated annealing

The smart grid concept appears as a suitable solution to guarantee the power system operation in the new electricity paradigm with electricity markets and integration of large amounts of Distributed Energy Resources (DERs). Virtual Power Player (VPP) will have a significant importance in the management of a smart grid. In the context of this new paradigm, Electric Vehicles (EVs) rise as a good available resource to be used as a DER by a VPP. This paper presents the application of the Simulated Annealing (SA) technique to solve the Energy Resource Management (ERM) of a VPP. It is also presented a new heuristic approach to intelligently handle the charge and discharge of the EVs. This heuristic process is incorporated in the SA technique, in order to improve the results of the ERM. The case study shows the results of the ERM for a 33-bus distribution network with three different EVs penetration levels, i. e., with 1000, 2000 and 3000 EVs. The results of the proposed adaptation of the SA technique are compared with a previous SA version and a deterministic technique.