Static analysis-based approaches for secure software development

Software security is a matter of major concern for software development enterprises that wish to deliver highly secure software products to their customers. Static analysis is considered one of the most effective mechanisms for adding security to software products. The multitude of static analysis tools that are available provide a large number of raw results that may contain security-relevant information, which may be useful for the production of secure software. Several mechanisms that can facilitate the production of both secure and reliable software applications have been proposed over the years. In this paper, two such mechanisms, particularly the vulnerability prediction models (VPMs) and the optimum checkpoint recommendation (OCR) mechanisms, are theoretically examined, while their potential improvement by using static analysis is also investigated. In particular, we review the most significant contributions regarding these mechanisms, identify their most important open issues, and propose directions for future research, emphasizing on the potential adoption of static analysis for addressing the identified open issues. Hence, this paper can act as a reference for researchers that wish to contribute in these subfields, in order to gain solid understanding of the existing solutions and their open issues that require further research

Haste Makes Waste: Accelerated Molt Adversely Affects the Expression of Melanin-Based and Depigmented Plumage Ornaments in House Sparrows

. Costly life-history events are adaptively separated in time, thus, when reproduction is extended, the time available for molt is curtailed and, in turn, molt rate is accelerated.We experimentally accelerated the molt rate by shortening the photoperiod in order to test whether this environmental constraint is mirrored in the expression of plumage ornaments. Sparrows which had undergone an accelerated molt developed smaller badges and less bright wing-bars compared to conspecifics that molted at a natural rate being held at natural-like photoperiod. There was no difference in the brightness of the badge or the size of the wing-bar.These results indicate that the time available for molt and thus the rate at which molt occurs may constrain the expression of melanin-based and depigmented plumage advertisements. This mechanism may lead to the evolution of honest signaling if the onset of molt is condition-dependent through the timing of and/or trade-off between breeding and molt

Bill color, not badge size, indicates testosterone-related information in house sparrows

The honesty of ornamental signals of quality is often argued to be enforced via costs associated with testosterone. It is still poorly understood, however, how seasonal variation of testosterone within individuals is related to the timing and extent of ornament development. Here, we studied inter- and intra-individual variability of plasma testosterone levels in a population of 150 captive male house sparrows (Passer domesticus) through the course of a full year. We further analyzed the relationship between plasma testosterone levels and two sexually dimorphic ornaments: badge size and bill coloration. Also, because of a known negative relation between molt and circulating testosterone levels, we analyzed the relationship between ornamentation and molt status during the fall. We found that testosterone levels increased towards the breeding season and decreased before the onset of annual molt. However, within individuals, relative testosterone titers demonstrated low repeatability between seasons. Plasma testosterone levels were not correlated with badge size in any season but were correlated strongly with bill coloration during all periods, except the breeding season when variation in bill color was low. Finally, we found that bill coloration strongly correlated with molt status during fall. Our results indicate that bill coloration, not badge size, is the best ornamental indicator of a “running average” of male testosterone in house sparrows and therefore the best potential indicator of qualities and/or behavioral strategies associated with testosterone

Evolutionary and pulsational properties of white dwarf stars

Abridged. White dwarf stars are the final evolutionary stage of the vast majority of stars, including our Sun. The study of white dwarfs has potential applications to different fields of astrophysics. In particular, they can be used as independent reliable cosmic clocks, and can also provide valuable information about the fundamental parameters of a wide variety of stellar populations, like our Galaxy and open and globular clusters. In addition, the high densities and temperatures characterizing white dwarfs allow to use these stars as cosmic laboratories for studying physical processes under extreme conditions that cannot be achieved in terrestrial laboratories. They can be used to constrain fundamental properties of elementary particles such as axions and neutrinos, and to study problems related to the variation of fundamental constants. In this work, we review the essentials of the physics of white dwarf stars. Special emphasis is placed on the physical processes that lead to the formation of white dwarfs as well as on the different energy sources and processes responsible for chemical abundance changes that occur along their evolution. Moreover, in the course of their lives, white dwarfs cross different pulsational instability strips. The existence of these instability strips provides astronomers with an unique opportunity to peer into their internal structure that would otherwise remain hidden from observers. We will show that this allows to measure with unprecedented precision the stellar masses and to infer their envelope thicknesses, to probe the core chemical stratification, and to detect rotation rates and magnetic fields. Consequently, in this work, we also review the pulsational properties of white dwarfs and the most recent applications of white dwarf asteroseismology.Comment: 85 pages, 28 figures. To be published in The Astronomy and Astrophysics Revie

Pulsating White Dwarf Stars and Precision Asteroseismology

Galactic history is written in the white dwarf stars. Their surface properties hint at interiors composed of matter under extreme conditions. In the forty years since their discovery, pulsating white dwarf stars have moved from side-show curiosities to center stage as important tools for unraveling the deep mysteries of the Universe. Innovative observational techniques and theoretical modeling tools have breathed life into precision asteroseismology. We are just learning to use this powerful tool, confronting theoretical models with observed frequencies and their time rate-of-change. With this tool, we calibrate white dwarf cosmochronology; we explore equations of state; we measure stellar masses, rotation rates, and nuclear reaction rates; we explore the physics of interior crystallization; we study the structure of the progenitors of Type Ia supernovae, and we test models of dark matter. The white dwarf pulsations are at once the heartbeat of galactic history and a window into unexplored and exotic physics.Comment: 70 pages, 11 figures, to be published in Annual Review of Astronomy and Astrophysics 200

Polymorphisms in the ADRB2 gene and Graves disease: a case-control study and a meta-analysis of available evidence

<p>Abstract</p> <p>Background</p> <p>The beta-2-Adrenergic receptor (<it>ADRB2</it>) gene on chromosome 5q33.1 is an important immunoregulatory factor. We and others have previously implicated chromosomal region 5q31-33 for contribution to the genetic susceptibility to Graves disease (GD) in East-Asian populations. Two recent studies showed associations between the single nucleotide polymorphism (SNP) rs1042714 in the <it>ADRB2 </it>gene and GD. In this study, we aimed to fully investigate whether the <it>ADRB2 </it>gene conferred susceptibility to GD in Chinese population, and to perform a meta-analysis of association between <it>ADRB2 </it>and GD.</p> <p>Methods</p> <p>Approximately 1 kb upstream the transcription start site and the entire coding regions of the <it>ADRB2 </it>gene were resequenced in 48 Han Chinese individuals to determine the linkage disequilibrium (LD) patterns. Tag SNPs were selected and genotyped in a case-control collection of 1,118 South Han Chinese subjects, which included 428 GD patients and 690 control subjects. A meta-analysis was performed with the data obtained in the present samples and those available from prior studies.</p> <p>Results</p> <p>Fifteen SNPs in the <it>ADRB2 </it>gene were identified by resequencing and one SNP was novel. Ten tag SNPs were investigated further to assess association of <it>ADRB2 </it>in the case-control collection. Neither individual tag SNP nor haplotypes showed association with GD in Han Chinese population (P > 0.05). Our meta-analysis of the <it>ADRB2 </it>SNP rs1042714 measured heterogeneity between the ethnic groups (I²= 53.1%) and no association to GD was observed in the overall three studies with a random effects model (OR = 1.13, 95% CI, 0.95 to 1.36; P = 0.18). However, significant association was found from the combined data of Caucasian population with a fixed effects model (OR = 1.18, 95% CI, 1.06 to 1.32; P = 0.002; I²= 5.9%).</p> <p>Conclusion</p> <p>Our study indicated that the <it>ADRB2 </it>gene did not exert a substantial influence on GD susceptibility in Han Chinese population, but contributed to a detectable GD risk in Caucasian population. This inconsistency resulted largely from between-ethnicity heterogeneity.</p

The clinical global impression scale and the influence of patient or staff perspective on outcome

<p>Abstract</p> <p>Background</p> <p>Since its first publication, the Clinical Global Impression Scale (CGI) has become one of the most widely used assessment instruments in psychiatry. Although some conflicting data has been presented, studies investigating the CGI's validity have only rarely been conducted so far. It is unclear whether the improvement index CGI-I or a difference score of the severity index CGI-S_difis more valid in depicting clinical change. The current study examined the validity of these two measures and investigated whether therapists' CGI ratings correspond to the view the patients themselves have on their condition.</p> <p>Methods</p> <p>Thirty-one inpatients of a German psychotherapeutic hospital suffering from a major depressive disorder (age M = 45.3, SD = 17.2; 58.1% women) participated. Patients filled in the Beck Depression Inventory (BDI). CGI-S and CGI-I were rated from three perspectives: the treating therapist (THER), the team of therapists involved in the patient's treatment (TEAM), and the patient (PAT). BDI and CGI-S were filled in at admission and discharge, CGI-I at discharge only. Data was analysed using effect sizes, Spearman's <it>ρ </it>and intra-class correlations (ICC).</p> <p>Results</p> <p>Effect sizes between CGI-I and CGI-S _difratings were large for all three perspectives with substantially higher change scores on CGI-I than on CGI-S _dif. BDI_difcorrelated moderately with PAT ratings, but did not correlate significantly with TEAM or THER ratings. Congruence between CGI-ratings from the three perspectives was low for CGI-S _dif(ICC = .37; Confidence Interval [CI] .15 to .59; <it>F</it>_30,60= 2.77, <it>p </it>< .001; mean <it>ρ </it>= 0.36) and moderate for CGI-I (ICC = .65 (CI .47 to .80; <it>F</it>_30,60= 6.61, <it>p </it>< .001; mean <it>ρ </it>= 0.59).</p> <p>Conclusions</p> <p>Results do not suggest a definite recommendation for whether CGI-I or CGI-S _difshould be used since no strong evidence for the validity of neither of them could be found. As congruence between CGI ratings from patients' and staff's perspective was not convincing it cannot be assumed that CGI THER or TEAM ratings fully represent the view of the patient on the severity of his impairment. Thus, we advocate for the incorporation of multiple self- and clinician-reported scales into the design of clinical trials in addition to CGI in order to gain further insight into CGI's relation to the patients' perspective.</p

Three dimensional evaluation of posture in standing with the PosturePrint: an intra- and inter-examiner reliability study

Abstract Background Few digitizers can measure the complexity of upright human postural displacements in six degrees of freedom of the head, rib cage, and pelvis. Methods In a University laboratory, three examiners performed delayed repeated postural measurements on forty subjects over two days. Three digital photographs (left lateral, AP, right lateral) of each of 40 volunteer participants were obtained, twice, by three examiners. Examiners placed 13 markers on the subjects before photography and chose 16 points on the photographic images. Using the PosturePrint® internet computer system, head, rib cage, and pelvic postures were calculated as rotations (Rx, Ry, Rz) in degrees and translations (Tx, Tz) in millimeters. For reliability, two different types (liberal = ICC3,1 & conservative = ICC2,1) of inter- and intra-examiner correlation coefficients (ICC) were calculated. Standard error of measurements (SEM) and mean absolute differences within and between observers' measurements were also determined. Results All of the "liberal" ICCs were in the excellent range (> 0.84). For the more "conservative" type ICCs, four Inter-examiner ICCs were in the interval (0.5–0.6), 10 ICCs were in the interval (0.61–0.74), and the remainder were greater than 0.75. SEMs were 2.7° or less for all rotations and 5.9 mm or less for all translations. Mean absolute differences within examiners and between examiners were 3.5° or less for all rotations and 8.4 mm or less for all translations. Conclusion For the PosturePrint® system, the combined inter-examiner and intra-examiner correlation coefficients were in the good (14/44) and excellent (30/44) ranges. SEMs and mean absolute differences within and between examiners' measurements were small. Thus, this posture digitizer is reliable for clinical use

Audiovisual time perception is spatially specific

Our sensory systems face a daily barrage of auditory and visual signals whose arrival times form a wide range of audiovisual asynchronies. These temporal relationships constitute an important metric for the nervous system when surmising which signals originate from common external events. Internal consistency is known to be aided by sensory adaptation: repeated exposure to consistent asynchrony brings perceived arrival times closer to simultaneity. However, given the diverse nature of our audiovisual environment, functionally useful adaptation would need to be constrained to signals that were generated together. In the current study, we investigate the role of two potential constraining factors: spatial and contextual correspondence. By employing an experimental design that allows independent control of both factors, we show that observers are able to simultaneously adapt to two opposing temporal relationships, provided they are segregated in space. No such recalibration was observed when spatial segregation was replaced by contextual stimulus features (in this case, pitch and spatial frequency). These effects provide support for dedicated asynchrony mechanisms that interact with spatially selective mechanisms early in visual and auditory sensory pathways

Morphological and Geochemical Evidence of Eumelanin Preservation in the Feathers of the Early Cretaceous Bird, Gansus yumenensis

Recent studies have shown evidence for the preservation of colour in fossilized soft tissues by imaging melanosomes, melanin pigment containing organelles. This study combines geochemical analyses with morphological observations to investigate the preservation of melanosomes and melanin within feathers of the Early Cretaceous bird, Gansus yumenensis. Scanning electron microscopy reveals structures concordant with those previously identified as eumelanosomes within visually dark areas of the feathers but not in lighter areas or sedimentary matrices. Fourier transform infrared analyses show different spectra for the feathers and their matrices; melanic functional groups appear in the feather including carboxylic acid and ketone groups that are not seen in the matrix. When mapped, the carboxylic acid group absorption faithfully replicates the visually dark areas of the feathers. Electron Paramagnetic Resonance spectroscopy of one specimen demonstrates the presence of organic signals but proved too insensitive to resolve melanin. Pyrolysis gas chromatography mass spectrometry shows a similar distribution of aliphatic material within both feathers that are different from those of their respective matrices. In combination, these techniques strongly suggest that not only do the feathers contain endogenous organic material, but that both geochemical and morphological evidence supports the preservation of original eumelanic pigment residue