Formal validation of automated policy refinement in the management of network security systems

Policy hierarchies and automated policy refinement are powerful approaches to simplify administration of security services in complex network environments. A crucial issue for the practical use of these approaches is to ensure the validity of the policy hierarchy, i.e. since the policy sets for the lower levels are automatically derived from the abstract policies (defined by the modeller), we must be sure that the derived policies uphold the high-level ones. This paper builds upon previous work on Model-based Management, particularly on the Diagram of Abstract Subsystems approach, and goes further to propose a formal validation approach for the policy hierarchies yielded by the automated policy refinement process. We establish general validation conditions for a multi-layered policy model, i.e. necessary and sufficient conditions that a policy hierarchy must satisfy so that the lower-level policy sets are valid refinements of the higher-level policies according to the criteria of consistency and completeness. Relying upon the validation conditions and upon axioms about the model representativeness, two theorems are proved to ensure compliance between the resulting system behaviour and the abstract policies that are modelled.

Acceptability of home-assessment post medical abortion and medical abortion in a low-resource setting in Rajasthan, India : Secondary outcome analysis of a non-inferiority randomized controlled trial

Background: Studies evaluating acceptability of simplified follow-up after medical abortion have focused on high-resource or urban settings where telephones, road connections, and modes of transport are available and where women have formal education. Objective: To investigate women's acceptability of home-assessment of abortion and whether acceptability of medical abortion differs by in-clinic or home-assessment of abortion outcome in a low-resource setting in India. Design: Secondary outcome of a randomised, controlled, non-inferiority trial. Setting Outpatient primary health care clinics in rural and urban Rajasthan, India. Population: Women were eligible if they sought abortion with a gestation up to 9 weeks, lived within defined study area and agreed to follow-up. Women were ineligible if they had known contraindications to medical abortion, haemoglobin < 85mg/l and were below 18 years. Methods: Abortion outcome assessment through routine clinic follow-up by a doctor was compared with home-assessment using a low-sensitivity pregnancy test and a pictorial instruction sheet. A computerized random number generator generated the randomisation sequence (1: 1) in blocks of six. Research assistants randomly allocated eligible women who opted for medical abortion (mifepristone and misoprostol), using opaque sealed envelopes. Blinding during outcome assessment was not possible. Main outcome measures: Women's acceptability of home-assessment was measured as future preference of follow-up. Overall satisfaction, expectations, and comparison with previous abortion experiences were compared between study groups. Results: 731 women were randomized to the clinic follow-up group (n = 353) or home-assessment group (n = 378). 623 (85%) women were successfully followed up, of those 597 (96%) were satisfied and 592 (95%) found the abortion better or as expected, with no difference between study groups. The majority, 355 (57%) women, preferred home-assessment in the event of a future abortion. Significantly more women, 284 (82%), in the home-assessment group preferred home-assessment in the future, as compared with 188 (70%) of women in the clinic follow-up group, who preferred clinic follow-up in the future (p < 0.001). Conclusion: Home-assessment is highly acceptable among women in low-resource, and rural, settings. The choice to follow-up an early medical abortion according to women's preference should be offered to foster women's reproductive autonomy.

Optimal performance fee and flow of funds in asset management contracts

This paper investigates the importance of ow of funds as an implicit incentive in the asset management industry. We build a two-period bi- nomial moral hazard model to explain the trade-o¤s between ow, per- formance and fees where e¤ort depends on the combination of implicit ( ow of funds) and explicit (performance fee) incentives. Two cases are considered. With full commitment, the investor s relevant trade-o¤ is to give up expected return in the second period vis-à-vis to induce e¤ort in the rst period. The more concerned the investor is with today s pay- o¤, the more willing he will be to give up expected return in the second period by penalizing negative excess return in the rst period. Without full commitment, the investor learns some symmetric and imperfect infor- mation about the ability of the manager to obtain positive excess return. In this case, observed returns reveal ability as well as e¤ort choices. We show that powerful implicit incentives may explain the ow-performance relationship with a numerical solution. Besides, risk aversion explains the complementarity between performance fee and ow of funds.

Optimal provision of implicit and explicit incentives in asset management contracts

This paper investigates the importance of the fiow of funds as an implicit incetive provided by investors to portfolio managers in a two-period relationship. We show that the fiow of funds is a powerful incentive in an asset management contract. We build a binomial moral hazard model to explain the main trade-ofIs in the relationship between fiow, fees and performance. The main assumption is that efIort depend" on the combination of implicit and explicit incentives while the probability distrioutioll function of returns depends on efIort. In the case of full commitment, the investor's relevant trade-ofI is to give up expected return in the second period vis-à-vis to induce efIort in the first período The more concerned the investor is with today's payoff. the more willing he will be to give up expected return in the following periods. That is. in the second period, the investor penalizes observed low returns by withdrawing resources from non-performing portfolio managers. Besides, he pays performance fee when the observed excess return is positive. When commitment is not a plausible hypothesis, we consider that the investor also learns some symmetríc and imperfect information about the ability of the manager to generate positive excess returno In this case, observed returns reveal ability as well as efIort choices exerted by the portfolio manager. We show that implicit incentives can explain the fiow-performance relationship and, conversely, endogenous expected return determines incentives provision and define their optimal leveIs. We provide a numerical solution in Matlab that characterize these results.

Topographical characteristics and evaluating water quality in watershed management

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Spatial variability of soil physical properties in two management systems in sugarcane crop

O objetivo deste trabalho foi caracterizar a variabilidade espacial da densidade do solo (Ds), teor de água no solo (θ) e porosidade total (Pt) em dois sistemas de manejo da colheita da cana-de-açúcar, com queima e sem queima, em um Latossolo Vermelho, na camada de 0-0,20 m. A área de estudo está localizada no município de Rio Brilhante-MS, na Usina Eldorado. A parcela de cada talhão apresentou malha com comprimento de 180 m e largura de 145,6 m, perfazendo 90 pontos distribuídos na forma de uma grade de nove colunas por dez linhas, com pontos distanciados 20 m de seu vizinho. Foram coletadas amostras de solo na camada de 0-0,20 m, nos anos agrícolas de 2007/2008 e 2008/2009. O sistema de colheita com queima apresentou maior densidade em relação ao mecanizado, nos dois períodos de análise. O teor de água no solo, assim como a porosidade, teve aumento proporcional com relação à diminuição da densidade do sistema de colheita com queima para com o mecanizado.

Genotyping of Mycobacterium tuberculosis isolates from alow-endemic setting in northwestern state of Paraná in Southern Brazil

The purpose of this study was to provide information about the genetic diversity and prevalent genotype of Mycobacterium tuberculosis in a low-endemic setting in northwestern state of Paraná in Southern Brazil. We employed spoligotyping and mycobacterial interspersed repetitive units-variable number tandem repeat (MIRU-VNTR) techniques to genotype M. tuberculosisisolates from patients with pulmonary tuberculosis (TB). The 93 isolates analyzed by spoligotyping were divided into 36 different patterns, 30 of which were described in the SITVIT database. Latin American and Mediterranean, Haarlem and T families were responsible for 26.9%, 17.2% and 11.8% of TB cases, respectively. From the 84 isolates analyzed by MIRU-VNTR, 58 shared a unique pattern and the remaining 26 belonged to nine clusters. The MIRU loci 40, 23, 10 and 16 were the most discriminatory. A combination of MIRU-VNTR and spoligotyping resulted in 85.7% discriminatory power (Hunter-Gaston index = 0.995). Thus, combining spoligotyping and MIRU-VNTR typing proved to be most useful for epidemiological study in this low-endemic setting in Southern Brazil. The current study demonstrated that there is significant diversity in circulating strains in the city of Maringá and the surrounding regions, with no single genotype of M. tuberculosispredominating.

The Approach To The Administrative Mapping In Knowledge Management For Portugal Libraries

In the study of theoretical trends in Administration, the management of information follows the development of theories of Administration; constant-adaptations are suffered. Information Science as Museums, Archives and Libraries, understands and concerns itself with the changes wrought in these endeavour of the knowledge society as new forms of communication and integration. They interact in ways such as to maximize access to information and facilitate improvement on their structural environment. The research aims at identifies the requirements and specifications of an information system for knowledge management in the public's library enviromnent and proposes to achieve a pre-defined structure for the implementation of administration management. The research is conducted with public's library of the metropolian region of the North's Portugal. In the improvement of systems theoretical administrative trends become management decisions and result in the ultimate success of the organization.

Thorax ultrasound in the management of pediatric pneumonias complicated with empyema

The aim of this work is to prospectively study the value of thoracic ultrasound (US) before pleural drainage in children with parapneumonic effusion (PPE). All children hospitalized for PPE, identified by thoracic radiography, underwent US to assess pleural loculation, echogenicity, and pleural fluid quantity. From August 2001 to July 2003, 52 children were examined. US was performed on 48 of these children, of whom 35 received chest tube drainage and 13 only received clinical treatment. US identified 38 patients with free flowing and 10 with loculated pleural fluid. About 25 of the free flowing (65.8%) and 10 (100%) of the loculated patients received chest tube drainage. Echogenicity was anechoic in 13, echoic without septations in 17 and echoic with septations in 18. Chest tube drainage was required in 6 anechoic (46.15%), 14 echoic without septations (82.35%), and 15 echoic with septations (83.33%). Quantity of fluid estimated by US varied from 20 to 860 ml. Effusion volume was higher in patients that were echoic with septations and loculated effusions. Pleural glucose and pH were lower, and LDH was higher in loculated PPE patients. In conclusion, US is an auxiliary exam for determining whether thoracic drainage is needed in parapneumonic effusion; loculated or echoic effusion should be drained, and free anechoic fluid needs further investigation.

Use of an osteoconductive compound as an aid in the management of a maxillary fracture in a boa constrictor

A boa constrictor was presented with a short oblique compound fracture of the rostral third of the right maxilla. The fracture was reduced and biomaterial was placed around the fracture. A computed tomography scan at 1.5 mo post-surgery showed that the fracture had healed with slight displacement of the bone fragments.

Evaluation of different occlusal splints and counselling in the management of myofascial pain dysfunction

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Interspecific fish hybrids in Brazil: management of genetic resources for sustainable use

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Massage therapy in the management of myogenic TMD: A pilot study

Introduction: The Temporomandibular disorder (TMD) is greatly prevalent in the population and can be associated with bruxism. This disorder produces several signs and symptoms. Among them, pain is one of the most important because it reduces life quality and productivity of people who have such disorder. The aim of this research was to study if massage causes pain relief and/or electromyographic (EMG) changes. Materials and methods: The subjects were chosen by a questionnaire and divided into 2 different groups. Their ages varied from 19 to 22 years. The experimental group consisted of 6 TMD patients, who were submitted to the massage treatment and 4 EMG-sessions (the 1 st EMG-session occurred before the treatment and the others in the 1 st, 15 th and 30 th days after the treatment). The control group consisted of 6 TMD patients, who were submitted to the same 4 EMG-sessions. While EMG activity was recorded, subjects were asked to keep mandibular rest position (MRP) and to perform maximal voluntary clenching (MVC). The treatment consisted of 15 massage-sessions on face and neck and in application of Visual Analogue Scale (VAS) for measuring pain level. The massage sessions had 30 minutes of duration and were performed daily. The EMG data were processed to obtain the Root Mean Square (RMS), which were normalized by MVC. Results: It was demonstrated that (1) RMS-MRP of the right masseter in experimental group at the 1 st EMG-session was higher than at the 2 nd EMG-session and (2) statistically significant reduction was found for VAS values after massage session. Conclusion: Unfortunately the sample is insufficient to draw any conclusions, therefore, more studies regarding the use of massage in the management of myogenic TMD are necessary.

Model of a game for improving integrated decisions in production management

This paper presents the results obtained with a business game whose model represents the decision making process related to two moments at an industrial company. The first refers to the project of the industrial plant, and the second to its management. The game model was conceived so the player's first decision would establish capacity and other parameters such as quantities of each product to produce, marketing expenses, research and development, quality, advertising, salaries, if purchases will be made in installments or in cash, if there will be credit sales and how many installments will be allowed and the number of workers in the assembly area. An experiment was conducted with employees of a Brazilian company. Data obtained indicate that the players have lack of contents, especially in finances. Although these results cannot be generalized, they confirm prior results with undergraduate and graduate students and they indicate the need for reinforcement in this undergraduate area. © 2012 Springer-Verlag.

Informe de la Reunión de Expertos sobre Capacitación en Materia de Gestión de Proyectos y Sistemas de Recursos Hídricos = Report of the Expert Meeting on Training in the Management of Water Resources Projects and Systems

Presenta la organización y resumen de los debates de la reunión que tuvo como objetivo discutir los resultados de los estudios de casos sobre oferta y demanda de capacitación en materia de gestión de proyectos y sistemas de recursos hídricos en algunos países de la región.