Tool-supported dataflow analysis of a security-critical embedded device

Defence organisations perform information security evaluations to confirm that electronic communications devices are safe to use in security-critical situations. Such evaluations include tracing all possible dataflow paths through the device, but this process is tedious and error-prone, so automated reachability analysis tools are needed to make security evaluations faster and more accurate. Previous research has produced a tool, SIFA, for dataflow analysis of basic digital circuitry, but it cannot analyse dataflow through microprocessors embedded within the circuit since this depends on the software they run. We have developed a static analysis tool that produces SIFA compatible dataflow graphs from embedded microcontroller programs written in C. In this paper we present a case study which shows how this new capability supports combined hardware and software dataflow analyses of a security critical communications device.

Calcium ions promote osteogenic differentiation and mineralization of human dental pulp cells : implication for pulp capping materials

Calcium (Ca) is the main element of most pulp capping materials and plays an essential role in mineralization. Different pulp capping materials can release various concentrations of Ca ions leading to different clinical outcomes. The purpose of this study was to investigate the effects of various concentrations of Ca ions on the growth and osteogenic differentiation of human dental pulp cells (hDPCs). Different concentrations of Ca ions were added to growth culture medium and osteogenic inductive culture medium. A Cell Counting Kit-8 (CCK-8) was used to determine the proliferation of hDPCs in growth culture medium. Osteogenic differentiation and mineralization were measured by alkaline phosphatase (ALP) assay, Alizarin red S/von kossa staining, calcium content quantitative assay. The selected osteogenic differentiation markers were investigated by quantitative real-time polymerase chain reaction (qRT-PCR). Within the range of 1.8–16.2 mM, increased concentrations of Ca ions had no effect on cell proliferation, but led to changes in osteogenic differentiation. It was noted that enhanced mineralized matrix nodule formation was found in higher Ca ions concentrations; however, ALP activity and gene expression were reduced. qRT-PCR results showed a trend towards down-regulated mRNA expression of type I collagen (COL1A2) and Runx2 at elevated concentrations of Ca ions, whereas osteopontin (OPN) and osteocalcin (OCN) mRNA expression was significantly up-regulated. Ca ions content in the culture media can significantly influence the osteogenic properties of hDPCs, indicating the importance of optimizing Ca ions release from dental pulp capping materials in order to achieve desirable clinical outcomes.

Hydrogen gas sensing performance of a Pt/graphene/SiC device

In this work, we present the development of a Pt/graphene/SiC device for hydrogen gas sensing. A single layer of graphene was deposited on 6H-SiC via chemical vapor deposition. The presence of graphene C-C bonds was observed via X-ray photoelectron spectroscopy analysis. Current-voltage characteristics of the device were measured at the presence of hydrogen at different temperatures, from 25°C to 170°C. The dynamic response of the device was recorded towards hydrogen gas at an optimum temperature of 130°C. A voltage shift of 191 mV was recorded towards 1% hydrogen at −1 mA constant current.

Secure authentication procedure with mobile device for ubiquitous health environments

Medical industries have brought Information Technology (IT) in their systems for both patients and medical staffs due to the numerous benefits of IT we experience at presently. Moreover, the Mobile healthcare (M-health) system has been developed as the first step of Ubiquitous Health Environment (UHE). With the mobility and multi-functions, M-health system will be able to provide more efficient and various services for both doctors and patients. Due to the invisible feature of mobile signals, hackers have easier access to hospital networks than wired network systems. This may result in several security incidents unless security protocols are well implemented. In this paper, user authentication and authorization procedures will applied as a featured component at each level of M-health systems inthe hospital environment. Accordingly, M-health system in the hospital will meet the optimal requirements as a countermeasure to its vulnerabilities.

Frank-starling control of a left ventricular assist device

A physiological control system was developed for a rotary left ventricular assist device (LVAD) in which the target pump flow rate (LVADQ) was set as a function of left atrial pressure (LAP), mimicking the Frank-Starling mechanism. The control strategy was implemented using linear PID control and was evaluated in a pulsatile mock circulation loop using a prototyped centrifugal pump by varying pulmonary vascular resistance to alter venous return. The control strategy automatically varied pump speed (2460 to 1740 to 2700 RPM) in response to a decrease and subsequent increase in venous return. In contrast, a fixed-speed pump caused a simulated ventricular suction event during low venous return and higher ventricular volumes during high venous return. The preload sensitivity was increased from 0.011 L/min/mmHg in fixed speed mode to 0.47L/min/mmHg, a value similar to that of the native healthy heart. The sensitivity varied automatically to maintain the LAP and LVADQ within a predefined zone. This control strategy requires the implantation of a pressure sensor in the left atrium and a flow sensor around the outflow cannula of the LVAD. However, appropriate pressure sensor technology is not yet commercially available and so an alternative measure of preload such as pulsatility of pump signals should be investigated.

Tooth fracture risk analysis based on a new finite element dental structure models using micro-CT data

The finite element (FE) analysis is an effective method to study the strength and predict the fracture risk of endodontically-treated teeth. This paper presents a rapid method developed to generate a comprehensive tooth FE model using data retrieved from micro-computed tomography (μCT). With this method, the inhomogeneity of material properties of teeth was included into the model without dividing the tooth model into different regions. The material properties of the tooth were assumed to be related to the mineral density. The fracture risk at different tooth portions was assessed for root canal treatments. The micro-CT images of a tooth were processed by a Matlab software programme and the CT numbers were retrieved. The tooth contours were obtained with thresholding segmentation using Amira. The inner and outer surfaces of the tooth were imported into Solidworks and a three-dimensional (3D) tooth model was constructed. An assembly of the tooth model with the periodontal ligament (PDL) layer and surrounding bone was imported into ABAQUS. The material properties of the tooth were calculated from the retrieved CT numbers via ABAQUS user's subroutines. Three root canal geometries (original and two enlargements) were investigated. The proposed method in this study can generate detailed 3D finite element models of a tooth with different root canal enlargements and filling materials, and would be very useful for the assessment of the fracture risk at different tooth portions after root canal treatments.

Videogame control device impact on the play experience

New types of control devices for videogames have emerged and expanded the demographics of the game playing public, yet little is known about which populations of gamers prefer which style of interaction and why. This paper presents data from a study that seeks to clarify the influence the control interface has on the play experience. Three commercial control devices were categorised using an existing typology, according to how the interface maps physical control inputs with the virtual gameplay actions. The devices were then used in a within-groups experimental design aimed at measuring differences in play experience across 64 participants. Descriptive analysis is undertaken on the performance, play experience and preference results for each device. Potential explanations for these results are discussed, as well as the direction of future work.

Efficacy of oral or intrauterine device-delivered progestin in patients with complex endometrial hyperplasia with atypia or early endometrial adenocarcinoma : a meta-analysis and systematic review of the literature

Objectives: To investigate the efficacy of progestin treatment to achieve pathological complete response (pCR) in patients with complex atypical endometrial hyperplasia (CAH) or early endometrial adenocarcinoma (EC). Methods: A systematic search identified 3245 potentially relevant citations. Studies containing less than ten eligible CAH or EC patients in either oral or intrauterine treatment arm were excluded. Only information from patients receiving six or more months of treatment and not receiving other treatments was included. Weighted proportions of patients achieving pCR were calculated using R software. Results: Twelve studies met the selection criteria. Eleven studies reported treatment of patients with oral (219 patients, 117 with CAH, 102 with grade 1 Stage I EC) and one reported treatment of patients with intrauterine progestin (11 patients with grade 1 Stage IEC). Overall, 74% (95% confidence interval [CI] 65-81%) of patients with CAH and 72% (95% CI 62-80%) of patients with grade 1 Stage I EC achieved a pCR to oral progestin. Disease progression while on oral treatment was reported for 6/219 (2.7%), and relapse after initial complete response for 32/159 (20.1%) patients. The weighted mean pCR rate of patients with grade 1 Stage I EC treated with intrauterine progestin from one prospective pilot study and an unpublished retrospective case series from the Queensland Centre of Gynaecologic Oncology (QCGC) was 68% (95% CI 45- 86%). Conclusions: There is a lack of high quality evidence for the efficacy of progestin in CAH or EC. The available evidence however suggests that treatment with oral or intrauterine progestin is similarly effective. The risk of progression during treatment is small but longer follow-up is required. Evidence from prospective controlled clinical trials is warranted to establish how the efficacy of progestin for the treatment of CAH and EC can be improved further.