Stochastic linear multistep methods for the simulation of chemical kinetics

In this paper, we introduce the Stochastic Adams-Bashforth (SAB) and Stochastic Adams-Moulton (SAM) methods as an extension of the tau-leaping framework to past information. Using the theta-trapezoidal tau-leap method of weak order two as a starting procedure, we show that the k-step SAB method with k >= 3 is order three in the mean and correlation, while a predictor-corrector implementation of the SAM method is weak order three in the mean but only order one in the correlation. These convergence results have been derived analytically for linear problems and successfully tested numerically for both linear and non-linear systems. A series of additional examples have been implemented in order to demonstrate the efficacy of this approach.

Abstracting and correlating heterogeneous events to detect complex scenarios

The research presented in this thesis addresses inherent problems in signaturebased intrusion detection systems (IDSs) operating in heterogeneous environments. The research proposes a solution to address the difficulties associated with multistep attack scenario specification and detection for such environments. The research has focused on two distinct problems: the representation of events derived from heterogeneous sources and multi-step attack specification and detection. The first part of the research investigates the application of an event abstraction model to event logs collected from a heterogeneous environment. The event abstraction model comprises a hierarchy of events derived from different log sources such as system audit data, application logs, captured network traffic, and intrusion detection system alerts. Unlike existing event abstraction models where low-level information may be discarded during the abstraction process, the event abstraction model presented in this work preserves all low-level information as well as providing high-level information in the form of abstract events. The event abstraction model presented in this work was designed independently of any particular IDS and thus may be used by any IDS, intrusion forensic tools, or monitoring tools. The second part of the research investigates the use of unification for multi-step attack scenario specification and detection. Multi-step attack scenarios are hard to specify and detect as they often involve the correlation of events from multiple sources which may be affected by time uncertainty. The unification algorithm provides a simple and straightforward scenario matching mechanism by using variable instantiation where variables represent events as defined in the event abstraction model. The third part of the research looks into the solution to address time uncertainty. Clock synchronisation is crucial for detecting multi-step attack scenarios which involve logs from multiple hosts. Issues involving time uncertainty have been largely neglected by intrusion detection research. The system presented in this research introduces two techniques for addressing time uncertainty issues: clock skew compensation and clock drift modelling using linear regression. An off-line IDS prototype for detecting multi-step attacks has been implemented. The prototype comprises two modules: implementation of the abstract event system architecture (AESA) and of the scenario detection module. The scenario detection module implements our signature language developed based on the Python programming language syntax and the unification-based scenario detection engine. The prototype has been evaluated using a publicly available dataset of real attack traffic and event logs and a synthetic dataset. The distinct features of the public dataset are the fact that it contains multi-step attacks which involve multiple hosts with clock skew and clock drift. These features allow us to demonstrate the application and the advantages of the contributions of this research. All instances of multi-step attacks in the dataset have been correctly identified even though there exists a significant clock skew and drift in the dataset. Future work identified by this research would be to develop a refined unification algorithm suitable for processing streams of events to enable an on-line detection. In terms of time uncertainty, identified future work would be to develop mechanisms which allows automatic clock skew and clock drift identification and correction. The immediate application of the research presented in this thesis is the framework of an off-line IDS which processes events from heterogeneous sources using abstraction and which can detect multi-step attack scenarios which may involve time uncertainty.

Vaccination strategies for the prevention of cervical cancer

Infection with high-risk human papillomaviruses (HPVs) is an essential step in the multistep process leading to cervical cancer. There are approximately 120 different types of HPV identified: of these, 18 are high-risk types associated with cervical cancer, with HPV-16 being the dominant type in most parts of the world. The major capsid protein of papillomavirus, produced in a number of expression systems, self assembles to form virus-like particles. Virus-like particles are the basis of the first generation of HPV vaccines presently being tested in clinical trials. Virus-like particles are highly immunogenic and afford protection from infection both in animal models and in Phase IIb clinical trials. A number of Phase III trials are in progress to determine if the vaccine will protect against cervical disease and, in some cases, genital warts. However, it is predicted that these vaccines will be too expensive for the developing world, where they are desperately needed. Another problem is that they will be type specific. Novel approaches to the production of virus-like particles in plants, second-generation vaccine approaches including viral and bacterial vaccine vectors and DNA vaccines, as well as different routes of immunization, are also reviewed. © 2005 Future Drugs Ltd.

BSTA Promotes mTORC2-Mediated Phosphorylation of Akt1 to Suppress Expression of FoxC2 and Stimulate Adipocyte Differentiation

Phosphorylation and activation of Akt1 is a crucial signaling event that promotes adipogenesis. However, neither the complex multistep process that leads to activation of Akt1 through phosphorylation at Thr308 and Ser473 nor the mechanism by which Akt1 stimulates adipogenesis is fully understood. We found that the BSD domain–containing signal transducer and Akt interactor (BSTA) promoted phosphorylation of Akt1 at Ser473 in various human and murine cells, and we uncovered a function for the BSD domain in BSTA-Akt1 complex formation. The mammalian target of rapamycin complex 2 (mTORC2) facilitated the phosphorylation of BSTA and its association with Akt1, and the BSTA-Akt1 interaction promoted the association of mTORC2 with Akt1 and phosphorylation of Akt1 at Ser473 in response to growth factor stimulation. Furthermore, analyses of bsta gene-trap murine embryonic stem cells revealed an essential function for BSTA and phosphorylation of Akt1 at Ser473 in promoting adipocyte differentiation, which required suppression of the expression of the gene encoding the transcription factor FoxC2. These findings indicate that BSTA is a molecular switch that promotes phosphorylation of Akt1 at Ser473 and reveal an mTORC2-BSTA-Akt1-FoxC2–mediated signaling mechanism that is critical for adipocyte differentiation.

Adams-Type Methods for the Numerical Solution of Stochastic Ordinary Differential Equations

Stochastic differential equations (SDEs) arise fi om physical systems where the parameters describing the system can only be estimated or are subject to noise. There has been much work done recently on developing numerical methods for solving SDEs. This paper will focus on stability issues and variable stepsize implementation techniques for numerically solving SDEs effectively. (C) 2000 Elsevier Science B.V. All rights reserved.

Framework for evaluating collaborative intrusion detection systems

Securing IT infrastructures of our modern lives is a challenging task because of their increasing complexity, scale and agile nature. Monolithic approaches such as using stand-alone firewalls and IDS devices for protecting the perimeter cannot cope with complex malwares and multistep attacks. Collaborative security emerges as a promising approach. But, research results in collaborative security are not mature, yet, and they require continuous evaluation and testing. In this work, we present CIDE, a Collaborative Intrusion Detection Extension for the network security simulation platform ( NeSSi 2 ). Built-in functionalities include dynamic group formation based on node preferences, group-internal communication, group management and an approach for handling the infection process for malware-based attacks. The CIDE simulation environment provides functionalities for easy implementation of collaborating nodes in large-scale setups. We evaluate the group communication mechanism on the one hand and provide a case study and evaluate our collaborative security evaluation platform in a signature exchange scenario on the other.

Rediscovering the double Friedel-Crafts acylation : an expedient entry to phenanthrene-9,10-diones

The double Friedel–Crafts acylation of readily accessible biaryls with oxalyl chloride delivers the respective phenanthrene-9,10-diones, providing an alternative to the traditional methods, which require harsh oxidizing conditions and multistep sequences. This simple method allows the synthesis of various symmetrical and non-symmetrical targets, and is even effective for the synthesis of the parent ring system from (unactivated) biphenyl.

Mechanisms of tumour invasion and metastasis : emerging targets for therapy

The progression of a tumour from one of benign and delimited growth to one that is invasive and metastatic is the major cause of poor clinical outcome in cancer patients. The invasion and metastasis of tumours is a highly complex and multistep process that requires a tumour cell to modulate its ability to adhere, degrade the surrounding extracellular matrix, migrate, proliferate at a secondary site and stimulate angiogenesis. Knowledge of the process has greatly increased and this has resulted in the identification of a number of molecules that are fundamental to the process. The involvement of these molecules has been shown to relate not only to the survival and proliferation of the tumour cell but, also to the processes of tumour cell adhesion, migration, and the tumour cells ability to degrade and escape the primary site as well as play a role in angiogenesis. These molecules may provide important therapeutic targets that represent the ability to target specific steps in the process of invasion and metastasis and provide additional therapies. The review focuses on representative key targets in each of these processes and summarises the state of play in each case.

Numerical algorithms for time-fractional subdiffusion equation with second-order accuracy

This article aims to fill in the gap of the second-order accurate schemes for the time-fractional subdiffusion equation with unconditional stability. Two fully discrete schemes are first proposed for the time-fractional subdiffusion equation with space discretized by finite element and time discretized by the fractional linear multistep methods. These two methods are unconditionally stable with maximum global convergence order of $O(\tau+h^{r+1})$ in the $L^2$ norm, where $\tau$ and $h$ are the step sizes in time and space, respectively, and $r$ is the degree of the piecewise polynomial space. The average convergence rates for the two methods in time are also investigated, which shows that the average convergence rates of the two methods are $O(\tau^{1.5}+h^{r+1})$. Furthermore, two improved algorithms are constrcted, they are also unconditionally stable and convergent of order $O(\tau^2+h^{r+1})$. Numerical examples are provided to verify the theoretical analysis. The comparisons between the present algorithms and the existing ones are included, which show that our numerical algorithms exhibit better performances than the known ones.