Respiratory rhythms in stingless bee workers: circadian and ultradian components throughout adult development

The workers of the stingless bee, Melipona quadrifasciata, assume different tasks during their adult life. Newly emerged individuals remain inside the nest, without contact with the external environment. Maturing workers go to more peripheral regions and only the oldest, the foragers, leave the nest. As this diversity of activities implies different metabolic patterns, oxygen consumption has been measured in workers of three different ages: 24-48 h (nurses), 10-15 days (builders), and older than 25 days (foragers). Oxygen consumption of individually isolated workers was determined by intermittent respirometry, under constant darkness and temperature of 25 +/- 1 degrees C. Sets of 24-h measurements were obtained from individuals belonging to each of the three worker groups. Rhythmicity has been assessed in the daily (24 h) and ultradian (5-14 h) domains. This experimental design allowed detection of endogenous rhythms without the influence of the social group and without inflicting stress on the individuals, as would be caused by their longer isolation from the colony. Significant 24-h rhythms in oxygen consumption were present in nurses, builders and foragers; therefore, workers are rhythmic from the age of 24-48 h. However, the amplitude of the circadian rhythm changed according to age: nurses showed the lowest values, while foragers consistently presented the largest ones, about ten times larger than the amplitude of nurses` respiratory rhythm. Ultradian frequencies were detected for all worker groups, the power and frequencies of which varied little with age. This means that the ultradian strength was relatively larger in nurses and apparently maintains some relationship with the queen`s oviposition episodes.

ISOELECTRIC FOCUSING STUDIES OF STEROID BINDING PROTEINS

Steroid binding proteins are an obvious choice in the search for genetic factors in plasma that might predispose to upper body obesity, a risk factor for non-insulin dependent diabetes and cardiovascular disease. The two steroid binding proteins studied by isoelectric focusing were sex hormone binding globulin (SHBG), the transport protein for sex hormones and corticosteroid binding globulin (CBG), the transport protein for corticosteroids. Auto-radiography and immunoblotting on polyacrylamide gels were used to detect polymorphism in SHBG. Immunoblotting on agarose gels was used to visualize corticosteroid binding globulin. SHBG showed similar structural variation in American Caucasians, American Blacks and Canadian Indians. Two alleles (1, 2) were hypothesized with highly polymorphic frequencies in all three ethnic groups. CBG was not found to be polymorphic, but two variants were found in Caucasian male twins and in a Black individual. The finding of a good assay and a polymorphic system for SHBG are the first steps for additional studies into disease associations. ^

A Flexible Crypto-system Based upon the REDEFINE Polymorphic ASIC Architecture

The highest levels of security can be achieved through the use of more than one type of cryptographic algorithm for each security function. In this paper, the REDEFINE polymorphic architecture is presented as an architecture framework that can optimally support a varied set of crypto algorithms without losing high performance. The presented solution is capable of accelerating the advanced encryption standard (AES) and elliptic curve cryptography (ECC) cryptographic protocols, while still supporting different flavors of these algorithms as well as different underlying finite field sizes. The compelling feature of this cryptosystem is the ability to provide acceleration support for new field sizes as well as new (possibly proprietary) cryptographic algorithms decided upon after the cryptosystem is deployed.

Malwise-an effective and efficient classification system for packed and polymorphic malware

Signature-based malware detection systems have been a much used response to the pervasive problem of malware. Identification of malware variants is essential to a detection system and is made possible by identifying invariant characteristics in related samples. To classify the packed and polymorphic malware, this paper proposes a novel system, named Malwise, for malware classification using a fast application-level emulator to reverse the code packing transformation, and two flowgraph matching algorithms to perform classification. An exact flowgraph matching algorithm is employed that uses string-based signatures, and is able to detect malware with near real-time performance. Additionally, a more effective approximate flowgraph matching algorithm is proposed that uses the decompilation technique of structuring to generate string-based signatures amenable to the string edit distance. We use real and synthetic malware to demonstrate the effectiveness and efficiency of Malwise. Using more than 15,000 real malware, collected from honeypots, the effectiveness is validated by showing that there is an 88 percent probability that new malware is detected as a variant of existing malware. The efficiency is demonstrated from a smaller sample set of malware where 86 percent of the samples can be classified in under 1.3 seconds.

Somatic and germ cell parasitism in a colonial ascidian: Possible role for a highly polymorphic allorecognition system

A colonial protochordate, Botryllus schlosseri, undergoes a natural transplantation reaction in the wild that results alternatively in colony fusion (chimera formation) or inflammatory rejection. A single, highly polymorphic histocompatibility locus (called Fu/HC) is responsible for rejection versus fusion. Gonads are seeded and gametogenesis can occur in colonies well after fusion, and involves circulating germ-line progenitors. Buss proposed that colonial organisms might develop self/non-self histocompatibility systems to limit the possibility of interindividual germ cell “parasitism” (GCP) to histocompatible kin [Buss, L. W. (1982) Proc. Natl. Acad. Sci. USA 79, 5337–5341 and Buss, L. W. (1987) The Evolution of Individuality (Princeton Univ. Press, Princeton]. Here we demonstrate in laboratory and field experiments that both somatic cell and (more importantly) germ-line parasitism are a common occurrence in fused chimeras. These experiments support the tenet in Buss’s hypothesis that germ cell and somatic cell parasitism can occur in fused chimeras and that a somatic appearance may mask the winner of a gametic war. They also provide an interesting challenge to develop formulas that describe the inheritance of competing germ lines rather than competing individuals. The fact that fused B. schlosseri have higher rates of GCP than unfused colonies additionally provides a rational explanation for the generation and maintenance of a high degree of Fu/HC polymorphism, largely limiting GCP to sibling offspring.

The development of an improved PCR-based marker system for Sw-5, an important TSWV resistance gene of tomato

Sw-5 is an important disease resistance gene of tomato, providing broad resistance to Tomato spotted wilt virus (TSWV). A cleaved amplified polymorphic sequence (CAPS) marker, closely linked to the gene, has been reported. Although the Sw-5 locus has been characterised, a gene-specific marker has not been developed. This paper presents a PCR-based marker-system that consists of the co-amplification of a dominant marker representing the Sw-5 gene sequence, and the modified CAPS marker as a positive control and indicator of genotype.

An identification tool for the Australian weedy Sporobolus species based on random amplified polymorphic DNA (RAPD) profiles

Based on morphological features alone, there is considerable difficulty in identifying the 5 most economically damaging weed species of Sporobolus [viz. S. pyramidalis P. Beauv., S. natalensis (Steud.) Dur and Schinz, S. fertilis (Steud.) Clayton, S. africanus (Poir.) Robyns and Tourney, and S. jacquemontii Kunth.] found in Australia. A polymerase chain reaction (PCR)-based random amplified polymorphic DNA (RAPD) technique was used to create a series of genetic markers that could positively identify the 5 major weeds from the other less damaging weedy and native Sporobolus species. In the initial RAPD profiling experiment, using arbitrarily selected primers and involving 12 species of Sporobolus, 12 genetic markers were found that, when used in combination, could consistently identify the 5 weedy species from all others. Of these 12 markers, the most diagnostic were UBC51490 for S. pyramidalis and S. natalensis; UBC43310.2000.2100 for S. fertilis and S. africanus; and ORA20850 and UBC43470 for S. jacquemontii. Species-specific markers could be found only for S. jacquemontii. In an effort to understand why there was difficulty in obtaining species-specific markers for some of the weedy species, a RAPD data matrix was created using 40 RAPD products. These 40 products amplified by 6 random primers from 45 individuals belonging to 12 species, were then subjected to numerical taxonomy and multivariate system (NTSYS pc version 1.70) analysis. The RAPD similarity matrix generated from the analysis indicated that S. pyramidalis was genetically more similar to S. natalensis than to other species of the 'S. indicus complex'. Similarly, S. jacquemontii was more similar to S. pyramidalis, and S. fertilis was more similar to S. africanus than to other species of the complex. Sporobolus pyramidalis, S. jacquemontii, S. africanus, and S. creber exhibited a low within-species genetic diversity, whereas high genetic diversity was observed within S. natalensis, S. fertilis, S. sessilis, S. elongates, and S. laxus. Cluster analysis placed all of the introduced species (major and minor weedy species) into one major cluster, with S. pyramidalis and S. natalensis in one distinct subcluster and S. fertilis and S. africanus in another. The native species formed separate clusters in the phenograms. The close genetic similarity of S. pyramidalis to S. natalensis, and S. fertilis to S. africanus may explain the difficulty in obtaining RAPD species-specific markers. The importance of these results will be within the Australian dairy and beef industries and will aid in the development of integrated management strategy for these weeds.

An Input Triggered Polymorphic ASIC for H.264 Decoding

This paper reports the design of an input-triggered polymorphic ASIC for H.264 baseline decoder. Hardware polymorphism is achieved by selectively reusing hardware resources at system and module level. Complete design is done using ESL design tools following a methodology that maintains consistency in testing and verification throughout the design flow. The proposed design can support frame sizes from QCIF to 1080p.

Adding Polymorphic Abstraction to ML (Detailed Abstract)

The ML programming language restricts type polymorphism to occur only in the "let-in" construct and requires every occurrence of a formal parameter of a function (a lambda abstraction) to have the same type. Milner in 1978 refers to this restriction (which was adopted to help ML achieve automatic type inference) as a serious limitation. We show that this restriction can be relaxed enough to allow universal polymorphic abstraction without losing automatic type inference. This extension is equivalent to the rank-2 fragment of system F. We precisely characterize the additional program phrases (lambda terms) that can be typed with this extension and we describe typing anomalies both before and after the extension. We discuss how macros may be used to gain some of the power of rank-3 types without losing automatic type inference. We also discuss user-interface problems in how to inform the programmer of the possible types a program phrase may have.

Programming Examples Needing Polymorphic Recursion

Inferring types for polymorphic recursive function definitions (abbreviated to polymorphic recursion) is a recurring topic on the mailing lists of popular typed programming languages. This is despite the fact that type inference for polymorphic recursion using for all-types has been proved undecidable. This report presents several programming examples involving polymorphic recursion and determines their typability under various type systems, including the Hindley-Milner system, an intersection-type system, and extensions of these two. The goal of this report is to show that many of these examples are typable using a system of intersection types as an alternative form of polymorphism. By accomplishing this, we hope to lay the foundation for future research into a decidable intersection-type inference algorithm. We do not provide a comprehensive survey of type systems appropriate for polymorphic recursion, with or without type annotations inserted in the source language. Rather, we focus on examples for which types may be inferred without type annotations.

System F with Constraint Types

System F is a type system that can be seen as both a proof system for second-order propositional logic and as a polymorphic programming language. In this work we explore several extensions of System F by types which express subtyping constraints. These systems include terms which represent proofs of subtyping relationships between types. Given a proof that one type is a subtype of another, one may use a coercion term constructor to coerce terms from the first type to the second. The ability to manipulate type constraints as first-class entities gives these systems a lot of expressive power, including the ability to encode generalized algebraic data types and intensional type analysis. The main contributions of this work are in the formulation of constraint types and a proof of strong normalization for an extension of System F with constraint types.

Faithful Translations between Polyvariant Flows and Polymorphic Types

Recent work has shown equivalences between various type systems and flow logics. Ideally, the translations upon which such equivalences are based should be faithful in the sense that information is not lost in round-trip translations from flows to types and back or from types to flows and back. Building on the work of Nielson & Nielson and of Palsberg & Pavlopoulou, we present the first faithful translations between a class of finitary polyvariant flow analyses and a type system supporting polymorphism in the form of intersection and union types. Additionally, our flow/type correspondence solves several open problems posed by Palsberg & Pavlopoulou: (1) it expresses call-string based polyvariance (such as k-CFA) as well as argument based polyvariance; (2) it enjoys a subject reduction property for flows as well as for types; and (3) it supports a flow-oriented perspective rather than a type-oriented one.

Safe Compositional Specification of Network Systems With Polymorphic, Constrained Types

In the framework of iBench research project, our previous work created a domain specific language TRAFFIC [6] that facilitates specification, programming, and maintenance of distributed applications over a network. It allows safety property to be formalized in terms of types and subtyping relations. Extending upon our previous work, we add Hindley-Milner style polymorphism [8] with constraints [9] to the type system of TRAFFIC. This allows a programmer to use for-all quantifier to describe types of network components, escalating power and expressiveness of types to a new level that was not possible before with propositional subtyping relations. Furthermore, we design our type system with a pluggable constraint system, so it can adapt to different application needs while maintaining soundness. In this paper, we show the soundness of the type system, which is not syntax-directed but is easier to do typing derivation. We show that there is an equivalent syntax-directed type system, which is what a type checker program would implement to verify the safety of a network flow. This is followed by discussion on several constraint systems: polymorphism with subtyping constraints, Linear Programming, and Constraint Handling Rules (CHR) [3]. Finally, we provide some examples to illustrate workings of these constraint systems.

Molecular pedigree reconstruction and estimation of evolutionary parameters in a wild Atlantic salmon river system with incomplete sampling: a power analysis

Background: Pedigree reconstruction using genetic analysis provides a useful means to estimate fundamental population biology parameters relating to population demography, trait heritability and individual fitness when combined with other sources of data. However, there remain limitations to pedigree reconstruction in wild populations, particularly in systems where parent-offspring relationships cannot be directly observed, there is incomplete sampling of individuals, or molecular parentage inference relies on low quality DNA from archived material. While much can still be inferred from incomplete or sparse pedigrees, it is crucial to evaluate the quality and power of available genetic information a priori to testing specific biological hypotheses. Here, we used microsatellite markers to reconstruct a multi-generation pedigree of wild Atlantic salmon (Salmo salar L.) using archived scale samples collected with a total trapping system within a river over a 10 year period. Using a simulation-based approach, we determined the optimal microsatellite marker number for accurate parentage assignment, and evaluated the power of the resulting partial pedigree to investigate important evolutionary and quantitative genetic characteristics of salmon in the system.

Results: We show that at least 20 microsatellites (ave. 12 alleles/locus) are required to maximise parentage assignment and to improve the power to estimate reproductive success and heritability in this study system. We also show that 1.5 fold differences can be detected between groups simulated to have differing reproductive success, and that it is possible to detect moderate heritability values for continuous traits (h(2) similar to 0.40) with more than 80% power when using 28 moderately to highly polymorphic markers.

Conclusion: The methodologies and work flow described provide a robust approach for evaluating archived samples for pedigree-based research, even where only a proportion of the total population is sampled. The results demonstrate the feasibility of pedigree-based studies to address challenging ecological and evolutionary questions in free-living populations, where genealogies can be traced only using molecular tools, and that significant increases in pedigree assignment power can be achieved by using higher numbers of markers.