Maximal regularity for second order non-autonomous Cauchy problems

We consider some non-autonomous second order Cauchy problems of the form u + B(t)(u) over dot + A(t)u = f (t is an element of [0, T]), u(0) = (u) over dot(0) = 0. We assume that the first order problem (u) over dot + B(t)u = f (t is an element of [0, T]), u(0) = 0, has L-p-maximal regularity. Then we establish L-p-maximal regularity of the second order problem in situations when the domains of B(t(1)) and A(t(2)) always coincide, or when A(t) = kappa B(t).

Working group report: Dictionary of Large Hadron Collider signatures

We report on a plan to establish a `Dictionary of LHC Signatures', an initiative that started at the WHEPP-X workshop in Chennai, January 2008. This study aims at the strategy of distinguishing 3 classes of dark matter motivated scenarios such as R-parity conserved supersymmetry, little Higgs models with T-parity conservation and universal extra dimensions with KK-parity for generic cases of their realization in a wide range of the model space. Discriminating signatures are tabulated and will need a further detailed analysis.

Solar powered high voltage energization for vehicular exhaust cleaning: A step towards possible retrofitting in vehicles

This paper proposes a novel way of generating high voltage for electric discharge plasma in controlling NOx emission in diesel engine exhaust. A solar powered high frequency electric discharge topology has been suggested that will improve the size and specific energy density required when compared to the traditional repetitive pulse or 50 Hz AC energization. This methodology has been designed, fabricated and experimentally verified by conducting studies on real diesel engine exhaust.

Prediction of a large-gap quantum-spin-Hall insulator: Diamond-like GaBi bilayer

A quantum-spin-Hall (QSH) state was achieved experimentally, albeit at a low critical temperature because of the narrow band gap of the bulk material. Twodimensional topological insulators are critically important for realizing novel topological applications. Using density functional theory (DFT), we demonstrated that hydrogenated GaBi bilayers (HGaBi) form a stable topological insulator with a large nontrivial band gap of 0.320 eV, based on the state-of-the-art hybrid functional method, which is implementable for achieving QSH states at room temperature. The nontrivial topological property of the HGaBi lattice can also be confirmed from the appearance of gapless edge states in the nanoribbon structure. Our results provide a versatile platform for hosting nontrivial topological states usable for important nanoelectronic device applications.

Security issues for future intelligent transport systems

Cooperative Intelligent Transportation Systems (C-ITS) allow in-vehicle systems, and ultimately the driver, to enhance their awareness of their surroundings by enabling communication between vehicles and road infrastructure. C-ITS are widely considered as the next major step in driving assistance systems, aiming at increasing safety, comfort and mobility for drivers. However, any communicating systems are subjected to security threats. A key component for providing secure communications at a large scale is a Public Key Infrastructure (PKI). Due to the safety-critical nature of Vehicle-to-Vehicle (V2V) communications, a C-ITS PKI has functional, performance and scalability requirements that differ from traditional non-automotive environments. This paper identifies and defines the key functional and security requirements for C-ITS PKI systems and analyses proposed C-ITS PKI standards against these requirements. In particular, the proposed US and European C-ITS PKI systems are identified as being too complex and not scalable. The paper also highlights various privacy, security and scalability concerns that should be considered for a secure C-ITS PKI solution in the Australian transport landscape.

From vision to actions: Towards adaptive and autonomous humanoid robots

Although robotics research has seen advances over the last decades robots are still not in widespread use outside industrial applications. Yet a range of proposed scenarios have robots working together, helping and coexisting with humans in daily life. In all these a clear need to deal with a more unstructured, changing environment arises. I herein present a system that aims to overcome the limitations of highly complex robotic systems, in terms of autonomy and adaptation. The main focus of research is to investigate the use of visual feedback for improving reaching and grasping capabilities of complex robots. To facilitate this a combined integration of computer vision and machine learning techniques is employed. From a robot vision point of view the combination of domain knowledge from both imaging processing and machine learning techniques, can expand the capabilities of robots. I present a novel framework called Cartesian Genetic Programming for Image Processing (CGP-IP). CGP-IP can be trained to detect objects in the incoming camera streams and successfully demonstrated on many different problem domains. The approach requires only a few training images (it was tested with 5 to 10 images per experiment) is fast, scalable and robust yet requires very small training sets. Additionally, it can generate human readable programs that can be further customized and tuned. While CGP-IP is a supervised-learning technique, I show an integration on the iCub, that allows for the autonomous learning of object detection and identification. Finally this dissertation includes two proof-of-concepts that integrate the motion and action sides. First, reactive reaching and grasping is shown. It allows the robot to avoid obstacles detected in the visual stream, while reaching for the intended target object. Furthermore the integration enables us to use the robot in non-static environments, i.e. the reaching is adapted on-the- fly from the visual feedback received, e.g. when an obstacle is moved into the trajectory. The second integration highlights the capabilities of these frameworks, by improving the visual detection by performing object manipulation actions.

Stability Of Large Damped Flexible Spacecraft With Stored Angular Momentum

Vibrational stability of large flexible structurally damped spacecraft carrying internal angular momentum and undergoing large rigid body rotations is analysed modeling the systems as elastic continua. Initially, analytical solutions to the motion of rigid gyrostats under torque-free conditions are developed. The solutions to the gyrostats modeled as axisymmetric and triaxial spacecraft carrying three and two constant speed momentum wheels, respectively, with spin axes aligned with body principal axes are shown to be complicated. These represent extensions of solutions for simpler cases existing in the literature. Using these solutions and modal analysis, the vibrational equations are reduced to linear ordinary differential equations. Equations with periodically varying coefficients are analysed applying Floquet theory. Study of a few typical beam- and plate-like spacecraft configurations indicate that the introduction of a single reaction wheel into an axisymmetric satellite does not alter the stability criterion. However, introduction of constant speed rotors deteriorates vibrational stability. Effects of structural damping and vehicle inertia ratio are also studied.

A comparative study of multiple attribute tree and inverted file structures for large bibliographic files

A variety of data structures such as inverted file, multi-lists, quad tree, k-d tree, range tree, polygon tree, quintary tree, multidimensional tries, segment tree, doubly chained tree, the grid file, d-fold tree. super B-tree, Multiple Attribute Tree (MAT), etc. have been studied for multidimensional searching and related problems. Physical data base organization, which is an important application of multidimensional searching, is traditionally and mostly handled by employing inverted file. This study proposes MAT data structure for bibliographic file systems, by illustrating the superiority of MAT data structure over inverted file. Both the methods are compared in terms of preprocessing, storage and query costs. Worst-case complexity analysis of both the methods, for a partial match query, is carried out in two cases: (a) when directory resides in main memory, (b) when directory resides in secondary memory. In both cases, MAT data structure is shown to be more efficient than the inverted file method. Arguments are given to illustrate the superiority of MAT data structure in an average case also. An efficient adaptation of MAT data structure, that exploits the special features of MAT structure and bibliographic files, is proposed for bibliographic file systems. In this adaptation, suitable techniques for fixing and ranking of the attributes for MAT data structure are proposed. Conclusions and proposals for future research are presented.

A large-scale analysis of genetic variants within putative miRNA binding sites in prostate cancer

Prostate cancer is the second most common malignancy among men worldwide. Genome-wide association studies have identified 100 risk variants for prostate cancer, which can explain approximately 33% of the familial risk of the disease. We hypothesized that a comprehensive analysis of genetic variations found within the 3' untranslated region of genes predicted to affect miRNA binding (miRSNP) can identify additional prostate cancer risk variants. We investigated the association between 2,169 miRSNPs and prostate cancer risk in a large-scale analysis of 22,301 cases and 22,320 controls of European ancestry from 23 participating studies. Twenty-two miRSNPs were associated (P<2.3×10(-5)) with risk of prostate cancer, 10 of which were within 7 genes previously not mapped by GWAS studies. Further, using miRNA mimics and reporter gene assays, we showed that miR-3162-5p has specific affinity for the KLK3 rs1058205 miRSNP T-allele, whereas miR-370 has greater affinity for the VAMP8 rs1010 miRSNP A-allele, validating their functional role. SIGNIFICANCE Findings from this large association study suggest that a focus on miRSNPs, including functional evaluation, can identify candidate risk loci below currently accepted statistical levels of genome-wide significance. Studies of miRNAs and their interactions with SNPs could provide further insights into the mechanisms of prostate cancer risk.

Andegraund : Istorija i mify leningradskoj neoficial'noj literatury

The history of the Leningrad underground is one of the key themes of late socialism. Samizdat, "black humour", religious syncretism, dissidence, apolitical bohemianism, the pathos of freedom of individuality and the mechanics of literature are closely interlinked with the cultural mythology of this passed epoch. Describing conceptions that, when taken together, form the contemporary understanding of unofficial culture, the author creates a historical portrait of this environment. Amongst the central figures here, there are well-known writers (Bitov, Brodsky, Dovlatov, Khvostenko, Krivulin) and literary activists who still await recognition. The analysis of works, many of which were only distributed in typewritten publications in the 1960s-1980s, gives a preliminary definition of the key factors that united the authors of the unofficial community. The book begins with a critique of the identification of the Soviet underground with political dissidence or with a society living in autonomous independence with regard to the state. Describing the historical development of the various names for this environment (the underground, samizdat, unofficial culture, podpolie and others), the author follows the genesis of the community from its appearance, in the years of "the Thaw", through to perestroika, when it dissolved. Taking the history of the publication of Bitov's "The Pushkin House" as an example, the concept of the unofficial is interpreted as a risky interaction with the authorities. Unofficial culture is then viewed as a late Soviet reflection of the Western underground in the 1950s-1960s. Unlike the radical-utopian-anarchistic source, it proclaimed a liberalist and democratic ideology in the context of the destruction of the socialist utopia. The historical portrait of the community is built up from the perceptions of its members regarding literature practice and rhetorical approaches, with the aid of which these perceptions are expressed. Taking typewritten publications as source material, four main representations are given: privacy, deviancy, criticism and irrationality. An understanding of literature as a private affair, neo-avant-garde deviancy in social and literary behaviour and the pathos of the critical relationship with officialdom and irrational message of literary work, comprise the basis for the worldview of unofficial authors, as well as the poetic system, genre preferences and dictums. An analysis of irrationality, based on the texts of Khvostenko and Bogdanov, leads to a review of the cultural mythologies that were crucial to the unofficial conception of the absurd. Absurd is an homonym. It contains ideas that are important for the worldview of unofficial authors and the poetics of their works. The irrationality of the Soviet order is reflected in the documentary nature of the satirical prose of Dovlatov. The existential absurd of Camus is perceived here as the pointlessness of social realities and the ontological alienation of man, while existentialist practices for consciousness in the "atmosphere of absurd" remain bracketed off. The third homonym of absurd - the conception of reality as an illusion - is a clear demonstration of religious syncretism, where neo-Christian ideas are interweaved with a modernized version of Hinduism, as taken from Rolland s books on Ramakrishna and Vivekananda. The unofficial community was influenced by the ideology of westernization. Even "the East" arrived here via French retellings and accounts. As a whole, unofficial Leningrad culture can be understood as a neo-modernist phenomenon which, unlike the western neo-modernism of the 1940s and 1950s, arose in the years of the Thaw and ended its existence in the mid-1980s.

Collision avoidance between UAV clusters using swarm intelligence techniques

In this article, several basic swarming laws for Unmanned Aerial Vehicles (UAVs) are developed for both two-dimensional (2D) plane and three-dimensional (3D) space. Effects of these basic laws on the group behaviour of swarms of UAVs are studied. It is shown that when cohesion rule is applied an equilibrium condition is reached in which all the UAVs settle at the same altitude on a circle of constant radius. It is also proved analytically that this equilibrium condition is stable for all values of velocity and acceleration. A decentralised autonomous decision-making approach that achieves collision avoidance without any central authority is also proposed in this article. Algorithms are developed with the help of these swarming laws for two types of collision avoidance, Group-wise and Individual, in 2D plane and 3D space. Effect of various parameters are studied on both types of collision avoidance schemes through extensive simulations.

SIR Analysis and Interference Cancellation in Uplink OFDMA with Large Carrier Frequency/Timing Offsets

In uplink orthogonal frequency division multiple access (OFDMA), large timing offsets (TO) and/or carrier frequency offsets (CFO) of other users with respect to a desired user can cause significant multiuser interference (MUI). In this letter, we analytically characterize the degradation in the average output signal-to-interference ratio (SIR) due to the combined effect of both TOs as well as CFOs in uplink OFDMA. Specifically, we derive closed-form expressions for the average SIR at the DFT output in the presence of large CFOs and TOs. The analyticalexpressions derived for the signal and various interference terms at the DFT output are used to devise an interference cancelling receiver to mitigate the effect of CFO/TO-induced interferences.

Timing the Emergence of Resistance to Anti-HIV Drugs with Large Genetic Barriers

New antiretroviral drugs that offer large genetic barriers to resistance, such as the recently approved inhibitors of HIV-1 protease, tipranavir and darunavir, present promising weapons to avert the failure of current therapies for HIV infection. Optimal treatment strategies with the new drugs, however, are yet to be established. A key limitation is the poor understanding of the process by which HIV surmounts large genetic barriers to resistance. Extant models of HIV dynamics are predicated on the predominance of deterministic forces underlying the emergence of resistant genomes. In contrast, stochastic forces may dominate, especially when the genetic barrier is large, and delay the emergence of resistant genomes. We develop a mathematical model of HIV dynamics under the influence of an antiretroviral drug to predict the waiting time for the emergence of genomes that carry the requisite mutations to overcome the genetic barrier of the drug. We apply our model to describe the development of resistance to tipranavir in in vitro serial passage experiments. Model predictions of the times of emergence of different mutant genomes with increasing resistance to tipranavir are in quantitative agreement with experiments, indicating that our model captures the dynamics of the development of resistance to antiretroviral drugs accurately. Further, model predictions provide insights into the influence of underlying evolutionary processes such as recombination on the development of resistance, and suggest guidelines for drug design: drugs that offer large genetic barriers to resistance with resistance sites tightly localized on the viral genome and exhibiting positive epistatic interactions maximally inhibit the emergence of resistant genomes.

Pin-Loaded Holes in Large Orthotropic Plates

Pin-loaded holes commonly occur in engineering structures. However, accurate analysis of such holes presents formidable difficulties because of the load-dependent contact of the pin with the plate. Significant progress has recently been achieved in the analysis of holes in isotropic plates. This paper develops a simple and accurate method for the partial contact analysis of pin-loaded holes in composites. The method is based on an inverse formulation that seeks to determine loads in a given contact-separation configuration. A unified approach for all types of fit was used. Continuum solutions were obtained for infinitely large plates of various typical orthotropic properties with holes loaded by smooth rigid pins. These solutions were then compared with those for isotropic plates. The effects of orthotropy and the type of fit were studied through load-contact relationships, distribution of stresses and displacements, and their variation with load. The results are of direct relevance to the analysis and design of pin joints in composite plates.