Interprocedural and Flow-Sensitive Type Analysis for Memory and Type Safety of C Code

The explicit memory management and type conversion endow the C language with flexibility and performance that render it the de facto language for system programming. However, these appealing features come at the cost of programs’ safety. Due to the C language permissiveness, highly skilled but inadvertent programmers often spawn insidious programming errors that yield exploitable code. In this paper, we present a novel type and effect analysis for detecting memory and type errors in C source code. We extend the standard C type system with effect, region, and host annotations that hold valuable safety information. We also define static safety checks to detect safety errors using the aforementioned annotations. Our analysis performs in an intraprocedural phase and an interprocedural phase. The flow-sensitive and alias-sensitive intraprocedural phase propagates type annotations and applies safety checks at each program point. The interprocedural phase generates and propagates unification constraints on type annotations across function boundaries. We present an inference algorithm that automatically infers type annotations and applies safety checks to programs without programmers’ interaction.     

Robustness design of a dynamic output-feedback decentralized controller using <Emphasis Type="Italic">H</Emphasis><Subscript>∞</Subscript> synthesis and LMI paradigm

This paper proposes developing a H _∞ dynamic output-feedback decentralized control design method for nonlinear interconnected systems subject to time-varying parameters and external disturbances. The designed controller is formulated as an optimization problem subject to linear matrix inequalities (LMIs) for the concurrent computation of the decentralized observation and control gains, and for the external disturbance mitigation by means of a H _∞ performance criterion minimization. The propounded optimization problem, designed in LMI conditions, is expeditiously resolved by a one-step procedure to override the conservatism generated by using many step-based procedures often used in the analysis and synthesis of interconnected systems. The effectiveness of the developed control scheme is demonstrated through simulation results of multimachine power systems.     

An adaptive least squares channel estimation based on conjugate gradient approach for multipath fading CDMA systems

Multiple access interference (MAI) is the main factor affecting the performance of channel estimation techniques for code division multiple access (CDMA) systems. Although, several multi-user channel estimation algorithms have been proposed to mitigate MAI, these algorithms require high computational complexities. In this paper, we address the problem of iterative least squares (LS) mobile channel estimation at high channel efficiency that requires a short training sequence along with the spreading sequences. We employ an efficient iterative method based on conjugate gradient (CG) algorithm to reduce the computational complexity of the estimation method. Computer simulations illustrate that the proposed method performs almost identical to the exact LS estimate for reasonable training lengths.     

Comparison of alteplase (tissue plasminogen activator) high‐dose vs. low‐dose protocol in restoring hemodialysis catheter function: The ALTE‐DOSE study

Hemodialysis catheter (HDC) dysfunction due to thrombosis is common, and dysfunction incidence can reach up to 50% within 1 year of use. Although administration of intraluminal alteplase (tissue plasminogen activator [tPA]) is the standard of practice to pharmacologically restore HDC function, there are no evidence‐based guidelines concerning the optimal tPA dose. The purpose of this study was to compare the efficacy of 1.0‐mg vs. 2.0‐mg tPA dwell protocols in restoring the HDC function in thrombotic dysfunctional catheters. A retrospective, single‐center study was conducted on two independent cohorts of patients; the first (n = 129) received 2.0 mg tPA/catheter lumen, while the second (n = 108) received 1.0 mg tPA/catheter lumen. Kaplan–Meier and Cox regression analyses were performed to compare the catheter survival time between patients who received 1.0 mg tPA and those who received 2.0 mg tPA. Catheter removal occurred in 25 (19.4%) of those catheters treated with 1.0 mg tPA compared with 11 (10.2%) of catheters treated with 2.0 mg tPA (P = 0.05). The hazard ratio (HR) for catheter removal was 2.75 (95% confidence interval [^95%CI] = 1.25–6.04) for the 1.0‐mg tPA cohort compared with the 2.0‐mg tPA cohort. Correction added on 3 December 2012, after first online publication: The tPA cohort values were changed. Female gender (HR = 2.51; ^95%CI = 1.20–5.27) and age (HR = 0.96; ^95%CI = 0.94–0.98) were also associated with catheter survival. Our findings suggest that treatment of dysfunctional HDC with 2.0‐mg tPA dwells is superior to 1.0‐mg tPA dwells.     

Cultural Experience as a (Critical) Factor in Crisis Communication Planning

A key issue in crisis communication is the way people process crisis‐relevant information to minimize danger. This paper discusses the impact of previously experienced crises on the public's interpretation of warning messages. People may not have direct experience of a crisis, but they still have acquired mediated experiences of a variety of crises. The present study introduces the term cultural experience of crisis to label the synthesis of mediated crisis experiences, media and fictional narratives, collective memories of societal disasters, conversations, and immediate crisis experiences of witnesses and victims. The proposed model of cultural experience of crisis is elaborated on the basis of a qualitative text analysis derived from four qualitative interviews 16 focus groups interviews carried out in Estonia from 2008 to 2009.     

Unexploited Thapsia garganica,Orlaya maritima,and Retama raetam Seeds: Potential Sources of Unsaturated Fatty Acid and Natural Antioxidants

Total lipid contents, fatty acid compositions, phenolic profiles and antioxidants activities of seeds from Thapsia garganica, Orlaya maritima, and Retama raetam were investigated. The oil values were more than 26 %, except seeds of R. raetam (ca. 3 %). Unsaturated fatty acids accounted for the majority of the fatty acids (more than 75 %). Oleic and linoleic acid were the predominant fatty acids. Total phenolic compounds (24–104 mg GAE g^?1 DR), total flavonoids (4–102 mg QE g^?1g DR), total tannins (28–85 mg GAE g^?1 DR) and condensed tannins (0.62–131 mg CE g^?1 DR) were also determined. The antioxidant activities using different assays were evaluated. The predominant detected classes were the phenolic acids (42–85 %) and the flavonoids (11–48 %). The major phenolic acids were caffeic, trans‐4‐hydroxy‐3‐methoxycinnamic, p‐coumaric, and gallic acid. The predominant flavonoids were quercetin, luteolin, naringin, apigenin, and kaempferol. This study brings attention to the medicinal importance of these species as a source of oil and antioxidant molecules.     

Effect of mineral filler type on autogenous shrinkage of self-compacting concrete

Based on an experimental programme, including autogenous shrinkage tests on concrete, ultrasonic monitoring of fresh concrete, and mercury intrusion porosimetry, the influence of the filler type on the autogenous shrinkage of self-compacting concrete has been investigated. The onset of percolating structure formation (time zero) is influenced by the filler type due to a possible accelerating effect of the filler on the cement hydration. Limestone filler accelerates the hydration process, and reduces time zero, while this is not the case when using quartzite filler. Using fly ash, showing only a slight acceleration, a slight reduction of time zero is obtained. A very significant swelling peak is noticed during the first day. This swelling peak is not a measuring artefact, but is caused mainly by water absorption on the filler surface and resulting disjoining pressure. Some part of the swelling peak might also be caused by Ca(OH)₂ crystallisation. The fineness of the filler is an important factor for this swelling behaviour, although also the nature of the filler seems to have an influence. The superplasticiser also interacts with the fillers, influencing the swelling behaviour. The different filler types used in this study did not lead to significant differences in critical pore diameter of the microstructure. This might explain why no significant differences have been found in final autogenous shrinkage values using the different filler types.