L-Drawings of Directed Graphs

We introduce L-drawings, a novel paradigm for representing directed graphs aiming at combining the readability features of orthogonal drawings with the expressive power of matrix representations. In an L-drawing, vertices have exclusive $x$- and $y$-coordinates and edges consist of two segments, one exiting the source vertically and one entering the destination horizontally. We study the problem of computing L-drawings using minimum ink. We prove its NP-completeness and provide a heuristics based on a polynomial-time algorithm that adds a vertex to a drawing using the minimum additional ink. We performed an experimental analysis of the heuristics which confirms its effectiveness.Comment: 11 pages, 7 figure

Tracking advanced persistent threats in critical infrastructures through opinion dynamics

Advanced persistent threats pose a serious issue for modern industrial environments, due to their targeted and complex attack vectors that are difficult to detect. This is especially severe in critical infrastructures that are accelerating the integration of IT technologies. It is then essential to further develop effective monitoring and response systems that ensure the continuity of business to face the arising set of cyber-security threats. In this paper, we study the practical applicability of a novel technique based on opinion dynamics, that permits to trace the attack throughout all its stages along the network by correlating different anomalies measured over time, thereby taking the persistence of threats and the criticality of resources into consideration. The resulting information is of essential importance to monitor the overall health of the control system and cor- respondingly deploy accurate response procedures. Advanced Persistent Threat Detection Traceability Opinion Dynamics.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

Spinoza

"Spinoza", second edition. Encyclopedia entry for the Springer Encyclopedia of EM Phil and the Sciences, ed. D. Jalobeanu and C. T. Wolfe

The effect of cigarette price increase on the cigarette consumption in Taiwan: evidence from the National Health Interview Surveys on cigarette consumption

BACKGROUND: This study uses cigarette price elasticity to evaluate the effect of a new excise tax increase on cigarette consumption and to investigate responses from various types of smokers. METHODS: Our sample consisted of current smokers between 17 and 69 years old interviewed during an annual face-to-face survey conducted by Taiwan National Health Research Institutes between 2000 to 2003. We used Ordinary Least Squares (OLS) procedure to estimate double logarithmic function of cigarette demand and cigarette price elasticity. RESULTS: In 2002, after Taiwan had enacted the new tax scheme, cigarette price elasticity in Taiwan was found to be -0.5274. The new tax scheme brought about an average annual 13.27 packs/person (10.5%) reduction in cigarette consumption. Using the cigarette price elasticity estimate from -0.309 in 2003, we calculated that if the Health and Welfare Tax were increased by another NT$ 3 per pack and cigarette producers shifted this increase to the consumers, cigarette consumption would be reduced by 2.47 packs/person (2.2%). The value of the estimated cigarette price elasticity is smaller than one, meaning that the tax will not only reduce cigarette consumption but it will also generate additional tax revenues. Male smokers who had no income or who smoked light cigarettes were found to be more responsive to changes in cigarette price. CONCLUSIONS: An additional tax added to the cost of cigarettes would bring about a reduction in cigarette consumption and increased tax revenues. It would also help reduce incidents smoking-related illnesses. The additional tax revenues generated by the tax increase could be used to offset the current financial deficiency of Taiwan's National Health Insurance program and provide better public services

Drawing Trees with Perfect Angular Resolution and Polynomial Area

We study methods for drawing trees with perfect angular resolution, i.e., with angles at each node v equal to 2{\pi}/d(v). We show: 1. Any unordered tree has a crossing-free straight-line drawing with perfect angular resolution and polynomial area. 2. There are ordered trees that require exponential area for any crossing-free straight-line drawing having perfect angular resolution. 3. Any ordered tree has a crossing-free Lombardi-style drawing (where each edge is represented by a circular arc) with perfect angular resolution and polynomial area. Thus, our results explore what is achievable with straight-line drawings and what more is achievable with Lombardi-style drawings, with respect to drawings of trees with perfect angular resolution.Comment: 30 pages, 17 figure

Sharper and Simpler Nonlinear Interpolants for Program Verification

Interpolation of jointly infeasible predicates plays important roles in various program verification techniques such as invariant synthesis and CEGAR. Intrigued by the recent result by Dai et al.\ that combines real algebraic geometry and SDP optimization in synthesis of polynomial interpolants, the current paper contributes its enhancement that yields sharper and simpler interpolants. The enhancement is made possible by: theoretical observations in real algebraic geometry; and our continued fraction-based algorithm that rounds off (potentially erroneous) numerical solutions of SDP solvers. Experiment results support our tool's effectiveness; we also demonstrate the benefit of sharp and simple interpolants in program verification examples

New zebrafish models of neurodegeneration

In modern biomedicine, the increasing need to develop experimental models to further our understanding of disease conditions and delineate innovative treatments has found in the zebrafish (Danio rerio) an experimental model, and indeed a valuable asset, to close the gap between in vitro and in vivo assays. Translation of ideas at a faster pace is vital in the field of neurodegeneration, with the attempt to slow or prevent the dramatic impact on the society's welfare being an essential priority. Our research group has pioneered the use of zebrafish to contribute to the quest for faster and improved understanding and treatment of neurodegeneration in concert with, and inspired by, many others who have primed the study of the zebrafish to understand and search for a cure for disorders of the nervous system. Aware of the many advantages this vertebrate model holds, here, we present an update on the recent zebrafish models available to study neurodegeneration with the goal of stimulating further interest and increasing the number of diseases and applications for which they can be exploited. We shall do so by citing and commenting on recent breakthroughs made possible via zebrafish, highlighting their benefits for the testing of therapeutics and dissecting of disease mechanisms

Pleiotropic functions of the tumor- and metastasis-suppressing Matrix Metalloproteinase-8 in mammary cancer in MMTV-PyMT transgenic mice

Matrix metalloproteinase-8 (MMP-8; neutrophil collagenase) is an important regulator of innate immunity which has onco-suppressive actions in numerous tumor types

Alterations in vascular function in primary aldosteronism - a cardiovascular magnetic resonance imaging study

Introduction: Excess aldosterone is associated with increased cardiovascular risk. Aldosterone has a permissive effect on vascular fibrosis. Cardiovascular magnetic resonance imaging (CMR) allows study of vascular function by measuring aortic distensibility. We compared aortic distensibility in primary aldosteronism (PA), essential hypertension (EH) and normal controls and explored the relationship between aortic distensibility and pulse wave velocity (PWV).<p></p> Methods: We studied PA (n=14) and EH (n=33) subjects and age-matched healthy controls (n=17) with CMR, including measurement of aortic distensibility, and measured PWV using applanation tonometry. At recruitment, PA and EH patients had similar blood pressure and left ventricular mass.<p></p> Results: Subjects with PA had significantly lower aortic distensibilty and higher PWV compared to EH and healthy controls. These changes were independent of other factors associated with reduced aortic distensibility, including aging. There was a significant relationship between increasing aortic stiffness and age in keeping with physical and vascular aging. As expected, aortic distensibility and PWV were closely correlated.<p></p> Conclusion: These results demonstrate that PA patients display increased arterial stiffness compared to EH, independent of vascular aging. The implication is that aldosterone invokes functional impairment of arterial function. The long-term implications of arterial stiffening in aldosterone excess require further study.<p></p&gt