myTrustedCloud: Trusted cloud infrastructure for security-critical computation and data managment

Copyright @ 2012 IEEECloud Computing provides an optimal infrastructure to utilise and share both computational and data resources whilst allowing a pay-per-use model, useful to cost-effectively manage hardware investment or to maximise its utilisation. Cloud Computing also offers transitory access to scalable amounts of computational resources, something that is particularly important due to the time and financial constraints of many user communities. The growing number of communities that are adopting large public cloud resources such as Amazon Web Services [1] or Microsoft Azure [2] proves the success and hence usefulness of the Cloud Computing paradigm. Nonetheless, the typical use cases for public clouds involve non-business critical applications, particularly where issues around security of utilization of applications or deposited data within shared public services are binding requisites. In this paper, a use case is presented illustrating how the integration of Trusted Computing technologies into an available cloud infrastructure - Eucalyptus - allows the security-critical energy industry to exploit the flexibility and potential economical benefits of the Cloud Computing paradigm for their business-critical applications

Is the even distribution of insecticide-treated cattle essential for tsetse control? Modelling the impact of baits in heterogeneous environments

Background: Eliminating Rhodesian sleeping sickness, the zoonotic form of Human African Trypanosomiasis, can be achieved only through interventions against the vectors, species of tsetse (Glossina). The use of insecticide-treated cattle is the most cost-effective method of controlling tsetse but its impact might be compromised by the patchy distribution of livestock. A deterministic simulation model was used to analyse the effects of spatial heterogeneities in habitat and baits (insecticide-treated cattle and targets) on the distribution and abundance of tsetse. Methodology/Principal Findings: The simulated area comprised an operational block extending 32 km from an area of good habitat from which tsetse might invade. Within the operational block, habitat comprised good areas mixed with poor ones where survival probabilities and population densities were lower. In good habitat, the natural daily mortalities of adults averaged 6.14% for males and 3.07% for females; the population grew 8.46in a year following a 90% reduction in densities of adults and pupae, but expired when the population density of males was reduced to <0.1/km2; daily movement of adults averaged 249 m for males and 367 m for females. Baits were placed throughout the operational area, or patchily to simulate uneven distributions of cattle and targets. Gaps of 2–3 km between baits were inconsequential provided the average imposed mortality per km2 across the entire operational area was maintained. Leaving gaps 5–7 km wide inside an area where baits killed 10% per day delayed effective control by 4–11 years. Corrective measures that put a few baits within the gaps were more effective than deploying extra baits on the edges. Conclusions/Significance: The uneven distribution of cattle within settled areas is unlikely to compromise the impact of insecticide-treated cattle on tsetse. However, where areas of >3 km wide are cattle-free then insecticide-treated targets should be deployed to compensate for the lack of cattle

Functional microRNA high throughput screening reveals miR-9 as a central regulator of liver oncogenesis by affecting the PPARA-CDH1 pathway

Background: Hepatocellular carcinoma (HCC) is the second leading cause of cancer-related deaths, reflecting the aggressiveness of this type of cancer and the absence of effective therapeutic regimens. MicroRNAs have been involved in the pathogenesis of different types of cancers, including liver cancer. Our aim was to identify microRNAs that have both functional and clinical relevance in HCC and examine their downstream signaling effectors. Methods: MicroRNA and gene expression levels were measured by quantitative real-time PCR in HCC tumors and controls. A TargetScan algorithm was used to identify miR-9 downstream direct targets. Results: A high-throughput screen of the human microRNAome revealed 28 microRNAs as regulators of liver cancer cell invasiveness. MiR-9, miR-21 and miR-224 were the top inducers of HCC invasiveness and also their expression was increased in HCC relative to control liver tissues. Integration of the microRNA screen and expression data revealed miR-9 as the top microRNA, having both functional and clinical significance. MiR-9 levels correlated with HCC tumor stage and miR-9 overexpression induced SNU-449 and HepG2 cell growth, invasiveness and their ability to form colonies in soft agar. Bioinformatics and 3’UTR luciferase analyses identified E-cadherin (CDH1) and peroxisome proliferator-activated receptor alpha (PPARA) as direct downstream effectors of miR-9 activity. Inhibition of PPARA suppressed CDH1 mRNA levels, suggesting that miR-9 regulates CDH1 expression directly through binding in its 3’UTR and indirectly through PPARA. On the other hand, miR-9 inhibition of overexpression suppressed HCC tumorigenicity and invasiveness. PPARA and CDH1 mRNA levels were decreased in HCC relative to controls and were inversely correlated with miR-9 levels. Conclusions: Taken together, this study revealed the involvement of the miR-9/PPARA/CDH1 signaling pathway in HCC oncogenesis

Theory of differential inclusions and its application in mechanics

The following chapter deals with systems of differential equations with discontinuous right-hand sides. The key question is how to define the solutions of such systems. The most adequate approach is to treat discontinuous systems as systems with multivalued right-hand sides (differential inclusions). In this work three well-known definitions of solution of discontinuous system are considered. We will demonstrate the difference between these definitions and their application to different mechanical problems. Mathematical models of drilling systems with discontinuous friction torque characteristics are considered. Here, opposite to classical Coulomb symmetric friction law, the friction torque characteristic is asymmetrical. Problem of sudden load change is studied. Analytical methods of investigation of systems with such asymmetrical friction based on the use of Lyapunov functions are demonstrated. The Watt governor and Chua system are considered to show different aspects of computer modeling of discontinuous systems

Energy dependence of kaon production in central Pb+Pb collisions

Recent results from the NA49 experiment on the energy dependence of charged kaon production in central Pb+Pb collisions are presented. First results from the new data at 80 AGeV beam energy are compared with those from lower and higher energies. A difference in the energy dependence of the / and / ratios is observed. The / ratio shows a non-monotonic behaviour with a maximum near 40 AGeV.Comment: 8 pages, 7 figures, proceedings of talk at SQM2001, Frankfurt, Germany, to appear in J. Phys.

Prospects for the development of odour baits to control the tsetse flies Glossina tachinoides and G. palpalis s.l.

Field studies were done of the responses of Glossina palpalis palpalis in Côte d'Ivoire, and G. p. gambiensis and G. tachinoides in Burkina Faso, to odours from humans, cattle and pigs. Responses were measured either by baiting (1.) biconical traps or (2.) electrocuting black targets with natural host odours. The catch of G. tachinoides from traps was significantly enhanced (~5×) by odour from cattle but not humans. In contrast, catches from electric targets showed inconsistent results. For G. p. gambiensis both human and cattle odour increased (>2×) the trap catch significantly but not the catch from electric targets. For G. p. palpalis, odours from pigs and humans increased (~5×) the numbers of tsetse attracted to the vicinity of the odour source but had little effect on landing or trap-entry. For G. tachinoides a blend of POCA (P = 3-n-propylphenol; O = 1-octen-3-ol; C = 4-methylphenol; A = acetone) alone or synthetic cattle odour (acetone, 1-octen-3-ol, 4-methylphenol and 3-n-propylphenol with carbon dioxide) consistently caught more tsetse than natural cattle odour. For G. p. gambiensis, POCA consistently increased catches from both traps and targets. For G. p. palpalis, doses of carbon dioxide similar to those produced by a host resulted in similar increases in attraction. Baiting traps with super-normal (~500 mg/h) doses of acetone also consistently produced significant but slight (~1.6×) increases in catches of male flies. The results suggest that odour-baited traps and insecticide-treated targets could assist the AU-Pan African Tsetse and Trypanosomiasis Eradication Campaign (PATTEC) in its current efforts to monitor and control Palpalis group tsetse in West Africa. For all three species, only ~50% of the flies attracted to the vicinity of the trap were actually caught by it, suggesting that better traps might be developed by an analysis of the visual responses and identification of any semiochemicals involved in short-range interaction

The effect of time constraint on anticipation, decision making, and option generation in complex and dynamic environments

Researchers interested in performance in complex and dynamic situations have focused on how individuals predict their opponent(s) potential courses of action (i.e., during assessment) and generate potential options about how to respond (i.e., during intervention). When generating predictive options, previous research supports the use of cognitive mechanisms that are consistent with long-term working memory (LTWM) theory (Ericsson and Kintsch in Phychol Rev 102(2):211–245, 1995; Ward et al. in J Cogn Eng Decis Mak 7:231–254, 2013). However, when generating options about how to respond, the extant research supports the use of the take-the-first (TTF) heuristic (Johnson and Raab in Organ Behav Hum Decis Process 91:215–229, 2003). While these models provide possible explanations about how options are generated in situ, often under time pressure, few researchers have tested the claims of these models experimentally by explicitly manipulating time pressure. The current research investigates the effect of time constraint on option-generation behavior during the assessment and intervention phases of decision making by employing a modified version of an established option-generation task in soccer. The results provide additional support for the use of LTWM mechanisms during assessment across both time conditions. During the intervention phase, option-generation behavior appeared consistent with TTF, but only in the non-time-constrained condition. Counter to our expectations, the implementation of time constraint resulted in a shift toward the use of LTWM-type mechanisms during the intervention phase. Modifications to the cognitive-process level descriptions of decision making during intervention are proposed, and implications for training during both phases of decision making are discussed

Connectivity-based parcellation of the thalamus explains specific cognitive and behavioural symptoms in patients with bilateral thalamic infarct

A novel approach based on diffusion tractography was used here to characterise the cortico-thalamic connectivity in two patients, both presenting with an isolated bilateral infarct in the thalamus, but exhibiting partially different cognitive and behavioural profiles. Both patients (G.P. and R.F.) had a pervasive deficit in episodic memory, but only one of them (R.F.) suffered also from a dysexecutive syndrome. Both patients had an MRI scan at 3T, including a T1-weighted volume. Their lesions were manually segmented. T1-volumes were normalised to standard space, and the same transformations were applied to the lesion masks. Nineteen healthy controls underwent a diffusion-tensor imaging (DTI) scan. Their DTI data were normalised to standard space and averaged. An atlas of Brodmann areas was used to parcellate the prefrontal cortex. Probabilistic tractography was used to assess the probability of connection between each voxel of the thalamus and a set of prefrontal areas. The resulting map of corticothalamic connections was superimposed onto the patients' lesion masks, to assess whether the location of the thalamic lesions in R.F. (but not in G. P.) implied connections with prefrontal areas involved in dysexecutive syndromes. In G.P., the lesion fell within areas of the thalamus poorly connected with prefrontal areas, showing only a modest probability of connection with the anterior cingulate cortex (ACC). Conversely, R.F.'s lesion fell within thalamic areas extensively connected with the ACC bilaterally, with the right dorsolateral prefrontal cortex, and with the left supplementary motor area. Despite a similar, bilateral involvement of the thalamus, the use of connectivity-based segmentation clarified that R.F.'s lesions only were located within nuclei highly connected with the prefrontal cortical areas, thus explaining the patient's frontal syndrome. This study confirms that DTI tractography is a useful tool to examine in vivo the effect of focal lesions on interconnectivity brain patterns