A Reo model of Software Defined Networks

Reo is a compositional coordination language for component connectors with a formal semantics based on automata. In this paper, we propose a formal model of software defined networks (SDNs) based on Reo where declarative constructs comprising of basic Reo primitives compose to specify descriptive models of both data and control planes of SDNs. We first describe the model of an SDN switch which can be compactly represented as a single state constraint automaton with a memory storing its flow table. A full network can then be compositionally constructed by composing the switches with basic communication channels. The reactive and proactive behaviour of the controllers in the control plane of an SDN can also be modelled by Reo connectors, which can compose the connectors representing data plane. The resulting model is suitable for testing, simulation, visualization, verification, and ultimately compilation into SDN switch code using the standard tools already available for Reo

Field-induced quantum fluctuations in the heavy fermion superconductor CeCu2Ge2

Quantum-mechanical fluctuations in strongly correlated electron systems cause unconventional phenomena such as non-Fermi liquid behavior, and arguably high temperature superconductivity. Here we report the discovery of a field-tuned quantum critical phenomenon in stoichiometric CeCu2Ge2, a spin density wave ordered heavy fermion metal that exhibits unconventional superconductivity under ~ 10 GPa of applied pressure. Our finding of the associated quantum critical spin fluctuations of the antiferromagnetic spin density wave order, dominating the local fluctuations due to single-site Kondo effect, provide new information about the underlying mechanism that can be important in understanding superconductivity in this novel compound.Comment: Heavy Fermion, Quantum Critical Phenomeno

Validação conceitual das características definidoras de diagnósticos de enfermagem respiratórios em neonatos

OBJECTIVE:To develop and validate conceptual and operational definitions for the defining characteristics of the respiratory nursing diagnoses, ineffective breathing pattern, impaired gas exchange and impaired spontaneous ventilation, in newborns.METHODS:This was a methodological study of conceptual validation of the defining characteristics of three respiratory nursing diagnoses, by consensus analysis of a committee of five specialist nurses, and then a group of five non-nursing professionals, using the Delphi technique.RESULTS:After two rounds of evaluation, consensus was obtained that was equal to or greater than 80% on all of the definitions, which were then considered validated.CONCLUSION:The definitions developed for the defining characteristics of three nursing diagnoses were validated with a high level of consensus.OBJETIVO:Elaborar e validar definições conceituais e operacionais para as características definidoras dos diagnósticos de enfermagem respiratórios, Padrão Respiratório Ineficaz, Troca de Gases Prejudicada e Ventilação Espontânea Prejudicada em recém-nascidos.MÉTODOS:Estudo metodológico, de validação conceitual das características definidoras dos três diagnósticos de enfermagem respiratórios por meio da análise de consenso de um comitê de cinco enfermeiras especialistas e de cinco profissionais não enfermeiros, utilizando a técnica Delphi.RESULTADOS:Após duas rodadas de avaliação, obteve-se consenso igual ou superior a 80% na totalidade das definições, sendo consideradas validadas.CONCLUSÃO:As definições elaboradas para as características definidoras dos três diagnósticos de enfermagem foram validadas com elevado grau de consenso.Universidade Federal de São Paulo (UNIFESP) Escola Paulista de EnfermagemUNIFESP, EPESciEL

Health services research in the public healthcare system in Hong Kong: An analysis of over 1 million antihypertensive prescriptions between 2004-2007 as an example of the potential and pitfalls of using routinely collected electronic patient data

<b>Objectives</b> Increasing use is being made of routinely collected electronic patient data in health services research. The aim of the present study was to evaluate the potential usefulness of a comprehensive database used routinely in the public healthcare system in Hong Kong, using antihypertensive drug prescriptions in primary care as an example.<p></p> <b>Methods</b> Data on antihypertensive drug prescriptions were retrieved from the electronic Clinical Management System (e-CMS) of all primary care clinics run by the Health Authority (HA) in the New Territory East (NTE) cluster of Hong Kong between January 2004 and June 2007. Information was also retrieved on patients’ demographic and socioeconomic characteristics, visit type (new or follow-up), and relevant diseases (International Classification of Primary Care, ICPC codes). <p></p> <b>Results</b> 1,096,282 visit episodes were accessed, representing 93,450 patients. Patients’ demographic and socio-economic details were recorded in all cases. Prescription details for anti-hypertensive drugs were missing in only 18 patients (0.02%). However, ICPC-code was missing for 36,409 patients (39%). Significant independent predictors of whether disease codes were applied included patient age > 70 years (OR 2.18), female gender (OR 1.20), district of residence (range of ORs in more rural districts; 0.32-0.41), type of clinic (OR in Family Medicine Specialist Clinics; 1.45) and type of visit (OR follow-up visit; 2.39). <p></p> In the 57,041 patients with an ICPC-code, uncomplicated hypertension (ICPC K86) was recorded in 45,859 patients (82.1%). The characteristics of these patients were very similar to those of the non-coded group, suggesting that most non-coded patients on antihypertensive drugs are likely to have uncomplicated hypertension. <p></p> <b>Conclusion</b> The e-CMS database of the HA in Hong Kong varies in quality in terms of recorded information. Potential future health services research using demographic and prescription information is highly feasible but for disease-specific research dependant on ICPC codes some caution is warranted. In the case of uncomplicated hypertension, future research on pharmaco-epidemiology (such as prescription patterns) and clinical issues (such as side-effects of medications on metabolic parameters) seems feasible given the large size of the data set and the comparability of coded and non-coded patients

Superconformal Flavor Simplified

A simple explanation of the flavor hierarchies can arise if matter fields interact with a conformal sector and different generations have different anomalous dimensions under the CFT. However, in the original study by Nelson and Strassler many supersymmetric models of this type were considered to be 'incalculable' because the R-charges were not sufficiently constrained by the superpotential. We point out that nearly all such models are calculable with the use of a-maximization. Utilizing this, we construct the simplest vector-like flavor models and discuss their viability. A significant constraint on these models comes from requiring that the visible gauge couplings remain perturbative throughout the conformal window needed to generate the hierarchies. However, we find that there is a small class of simple flavor models that can evade this bound.Comment: 43 pages, 1 figure; V3: small corrections and clarifications, references adde

Global asthma prevalence in adults: findings from the cross-sectional world health survey

<p>Abstract</p> <p>Background</p> <p>Asthma is a major cause of disability, health resource utilization and poor quality of life world-wide. We set out to generate estimates of the global burden of asthma in adults, which may inform the development of strategies to address this common disease.</p> <p>Methods</p> <p>The World Health Survey (WHS) was developed and implemented by the World Health Organization in 2002-2003. A total of 178,215 individuals from 70 countries aged 18 to 45 years responded to questions related to asthma and related symptoms. The prevalence of asthma was based on responses to questions relating to self-reported doctor diagnosed asthma, clinical/treated asthma, and wheezing in the last 12 months.</p> <p>Results</p> <p>The global prevalence rates of doctor diagnosed asthma, clinical/treated asthma and wheezing in adults were 4.3%, 4.5%, and 8.6% respectively, and varied by as much as 21-fold amongst the 70 countries. Australia reported the highest rate of doctor diagnosed, clinical/treated asthma, and wheezing (21.0%, 21.5%, and 27.4%). Amongst those with clinical/treated asthma, almost 24% were current smokers, half reported wheezing, and 20% had never been treated for asthma.</p> <p>Conclusions</p> <p>This study provides a global estimate of the burden of asthma in adults, and suggests that asthma continues to be a major public health concern worldwide. The high prevalence of smoking remains a major barrier to combating the global burden of asthma. While the highest prevalence rates were observed in resource-rich countries, resource-poor nations were also significantly affected, posing a barrier to development as it stretches further the demands of non-communicable diseases.</p

Paternal obesity is associated with IGF2 hypomethylation in newborns: results from a Newborn Epigenetics Study (NEST) cohort

Data from epidemiological and animal model studies suggest that nutrition during pregnancy may affect the health status of subsequent generations. These transgenerational effects are now being explained by disruptions at the level of the epigenetic machinery. Besides in vitro environmental exposures, the possible impact on the reprogramming of methylation profiles at imprinted genes at a much earlier time point, such as during spermatogenesis or oogenesis, has not previously been considered. In this study, our aim was to determine associations between preconceptional obesity and DNA methylation profiles in the offspring, particularly at the differentially methylated regions (DMRs) of the imprinted Insulin-like Growth Factor 2 (IGF2) gene