How to Specify and How to Prove Correctness of Secure Routing Protocols for MANET

Secure routing protocols for mobile ad hoc networks have been developed recently, yet, it has been unclear what are the properties they achieve, as a formal analysis of these protocols is mostly lacking. In this paper, we are concerned with this problem, how to specify and how to prove the correctness of a secure routing protocol. We provide a definition of what a protocol is expected to achieve independently of its functionality, as well as communication and adversary models. This way, we enable formal reasoning on the correctness of secure routing protocols. We demonstrate this by analyzing two protocols from the literature

Reasons for low aerodynamic performance of 13.5-centimeter-tip-diameter aircraft engine starter turbine

The reasons for the low aerodynamic performance of a 13.5 cm tip diameter aircraft engine starter turbine were investigated. Both the stator and the stage were evaluated. Approximately 10 percent improvement in turbine efficiency was obtained when the honeycomb shroud over the rotor blade tips was filled to obtain a solid shroud surface. Efficiency improvements were obtained for three rotor configurations when the shroud was filled. It is suggested that the large loss associated with the open honeycomb shroud is due primarily to energy loss associated with gas transportation as a result of the blade to blade pressure differential at the tip section

The dust SED in the dwarf galaxy NGC 1569: Indications for an altered dust composition?

We discuss the interpretation of the dust SED from the mid-infrared to the millimeter range of NGC 1569. The model developed by D\'esert et al. (1990) including three dust components (Polyaromatic Hydrocarbons, Very Small Grains and big grains) can explain the data using a realistic interstellar radiation field and adopting an enhanced abundance of VSGs. A simple three-temperature model is also able to reproduce the data but requires a very low dust temperature which is considered to be unlikely in this low-metallicity starburst galaxy. The high abundance of Very Small Grains might be due to large grain destruction in supernova shocks. This possibility is supported by ISO data showing that the emission at 14.3 $\mu$m, tracing VSGs, is enhanced with respect to the emission at 6.7 $\mu$m and 850 $\mu$m in regions of high star formation.Comment: 4 pages, conference proceedings paper, "The Spectral Energy Distribution of Gas-Rich Galaxies: Confronting Models with Data", Heidelberg, 4-8 Oct. 2004, eds. C.C. Popescu & R.J. Tuffs, AIP Conf. Ser., in pres

Frobenius theorem and invariants for Hamiltonian systems

We apply Frobenius integrability theorem in the search of invariants for one-dimensional Hamiltonian systems with a time-dependent potential. We obtain several classes of potential functions for which Frobenius theorem assures the existence of a two-dimensional foliation to which the motion is constrained. In particular, we derive a new infinite class of potentials for which the motion is assurately restricted to a two-dimensional foliation. In some cases, Frobenius theorem allows the explicit construction of an associated invariant. It is proven the inverse result that, if an invariant is known, then it always can be furnished by Frobenius theorem

Management of germ cell tumors in children: Approaches to cure

The introduction of cisplatinum chemotherapy and current advances in the surgical treatment have resulted in a dramatic improvement of the prognosis of children with malignant germ cell tumors (GCT). Cisplatinum chemotherapy generally results in sufficient systemic tumor control, but local relapses may still occur in patients who did not receive adequate local treatment. Therefore, the therapeutic consideration must take into account age, primary site of the tumor, and its histology. In gonadal tumors, there is a high chance of primary complete resection since these tumors tend to be encapsulated, and particularly testicular GCT are often detected at a low tumor stage. In contrast, a primary complete resection may be impossible in large nongonadal tumors such as sacrococcygeal or mediastinal GCT. In these tumors, a neoadjuvant or pre-operative chemotherapy after clinical diagnosis by imaging and evaluation of tumor markers significantly facilitates complete resection on delayed surgery. In addition, the impact of chemotherapy on local tumor control may be enhanced by locoregional hyperthermia. In most intracranial GCT complete resection is impossible and may be associated with significant morbidity. Nevertheless, biopsy is essential for diagnosis in nonsecreting tumors. In intracranial GCT, radiotherapy significantly contributes to local tumor control, and doses are stratified according to histology. These general considerations have been integrated into national and international cooperative treatment protocols. In most current protocols, treatment is stratified according to an initial risk assessment that includes the parameters age, site, histology, stage, completeness of resection and the tumor markers alpha(1)-fetoprotein (AFP) and human choriogonadotropin (beta-HCG). With such modern protocols overall cure rates above 80% can be achieved. Moreover, the previously high-risk groups may now expect a favorable prognosis with this risk-adapted treatment, whereas an increasing number of low-risk patients are treated expectantly or with significantly reduced chemotherapy. As current biologic studies reveal distinct genetic patterns in childhood GCT, it can be expected that further combined clinical and genetic studies will be valuable for risk assessment of childhood GCT

The uniting of Europe and the foundation of EU studies: revisiting the neofunctionalism of Ernst B. Haas

This article suggests that the neofunctionalist theoretical legacy left by Ernst B. Haas is somewhat richer and more prescient than many contemporary discussants allow. The article develops an argument for routine and detailed re-reading of the corpus of neofunctionalist work (and that of Haas in particular), not only to disabuse contemporary students and scholars of the normally static and stylized reading that discussion of the theory provokes, but also to suggest that the conceptual repertoire of neofunctionalism is able to speak directly to current EU studies and comparative regionalism. Neofunctionalism is situated in its social scientific context before the theory's supposed erroneous reliance on the concept of 'spillover' is discussed critically. A case is then made for viewing Haas's neofunctionalism as a dynamic theory that not only corresponded to established social scientific norms, but did so in ways that were consistent with disciplinary openness and pluralism