Behavioral Types for Embedded Software - A Survey

At present, there is a variety of formalisms for modeling and analyzing the communication behavior of components. Due to a tremendous increase in size and complexity of embedded systems accompanied by shorter time to market cycles and cost reduction, so called behavioral type systems become more and more important. This chapter presents an overview and a taxonomy of behavioral types. The intentions of this taxonomy are to provide a guidance for software engineers and to form the basis for future research.

Receptor for Fc on the surfaces of schistosomes

Schistosoma mansoni masks its surface with adsorbed host proteins including erythrocyte antigens, immunoglobulins, major histocompatibility complex class I, and beta (2)-microglobulin (beta (2)m), presumably as a means of avoiding host immune responses, How this is accomplished has not been explained. To identify surface receptors for host proteins, we biotinylated the tegument of live S, mansoni adults and mechanically transformed schistosomula and then removed the parasite surface with detergent, Incubation of biotinylated schistosome surface extracts witt l human immunoglobulin G (IgG) Fc-Sepharose resulted in purification of a 97-kDa protein that was subsequently identified as paramyosin (Pmy), using antiserum specific for recombinant Pmy, Fc also bound recombinant S. mansoni Pmy and native S. japonicum Pmy, Antiserum to Pmy decreased the binding of Pmy to Fc-Sepharose, and no proteins bound after removal of Pmy from extracts. Fluoresceinated human Fe bound to the surface, vestigial penetration glands, and nascent oral cavity of mechanically transformed schistosomula, and rabbit anti-Pmy Fab fragments ablated the binding of Fc to the schistosome surface, Pmy coprecipitated with host IgG from parasite surface extracts, indicating that complexes formed on the parasite surface as well as in vitro. Binding of Pmy to Fe was not inhibited by soluble protein A, suggesting that Pmy does not bind to the region between the CH2 and CH3 domains used by many other Fc-binding proteins. beta (2)m did not bind to the schistosome Fc receptor (Pmy), a finding that contradicts reports from earlier workers but did bind to a heteromultimer of labeled schistosomula surface proteins, This is the first report of the molecular identity of a schistosome Fc receptor; moreover it demonstrates an additional aspect of the unusual and multifunctional properties of Pmy from schistosomes and other parasitic flatworms.

A novel approach to antigen-specific deletion of CTL with minimal cellular activation using alpha 3 domain mutants of MHC class I/peptide complex

In this study, we have compared the effector functions and fate of a number of human CTL clones in vitro or ex vivo following contact with variant peptides presented either on the cell surface or in a soluble multimeric format. In the presence of CD8 coreceptor binding, there is a good correlation between TCR signaling, killing of the targets, and Fast-mediated CTL apoptosis. Blocking CD8 binding using (alpha3 domain mutants of MHC class I results in much reduced signaling and reduced killing of the targets. Surprisingly, however, Fast expression is induced to a similar degree on these CTLs, and apoptosis of CTL is unaffected. The ability to divorce these events may allow the deletion of antigen-specific and pathological CTL populations without the deleterious effects induced by full CTL activation.

Complementation analysis of the flavivirus Kunjin NS3 and NS5 proteins defines the minimal regions essential for formation of a replication complex and shows a requirement of NS3 in cis for virus assembly

We have previously reported successful trans-complementation of defective Kunjin virus genomic RNAs with a range of large lethal deletions in the nonstructural genes NSI, NS3, and NS5 (A. A. Khromykh et al., J. Virol. 74:3253-3263, 2000). In this study we have mapped further the minimal region in the NS5 gene essential for efficient trans-complementation of genome-length RNAs in repBHK cells to the first 316 of the 905 codons. To allow amplification and easy detection of complemented defective RNAs with deletions apparently affecting virus assembly, we have developed a dual replicon complementation system. In this system defective replicon RNAs with a deletion(s) in the nonstructural genes also encoded the puromycin resistance gene (PAC gene) and the reporter gene for beta-galactosidase (beta-Gal). Complementation of these defective replicon RNAs in repBHK cells resulted in expression of PAC and beta-Gal which allowed establishment of cell lines stably producing replicating defective RNAs by selection with puromycin and comparison of replication efficiencies of complemented defective RNAs by beta-Gal assay. Using this system we demonstrated that deletions in the C-terminal 434 codons of NS3 (codons 178 to 611) were complemented for RNA replication, while any deletions in the first 178 codons were not. None of the genome-length RNAs containing deletions in NS3 shown to be complementable for RNA replication produced secreted defective viruses during complementation in repBHK cells. In contrast, structural proteins produced from these complemented defective RNAs were able to package helper replicon RNA. The results define minimal regions in the NS3 and NS5 genes essential for the formation of complementable replication complex and show a requirement of NS3 in cis for virus assembly.

Empirical evidence for ultrametric structure in multi-layer perceptron error surfaces

Combinatorial optimization problems share an interesting property with spin glass systems in that their state spaces can exhibit ultrametric structure. We use sampling methods to analyse the error surfaces of feedforward multi-layer perceptron neural networks learning encoder problems. The third order statistics of these points of attraction are examined and found to be arranged in a highly ultrametric way. This is a unique result for a finite, continuous parameter space. The implications of this result are discussed.

Hand-assisted laparoscopic adrenalectomy: An alternative minimal invasive surgical technique for the adrenal gland

Background: Presently the surgical approach to the adrenal gland is in a state of flux. While the traditional approach to the adrenal gland has been the open transabdominal technique, more recently laparoscopic approaches, particularly via the transabdominal route, have increasingly been utilized. However, laparoscopic intervention for the adrenal gland can be problematic in certain circumstances, particularly for large adrenal masses and in instances of adrenal malignancies. Methods: In this report we describe the use of hand-assisted laparoscopic adrenalectomy as an alternative minimal invasive surgical approach to the adrenal gland. Hand-assisted laparoscopic adrenalectomy using the HandPort system (Smith & Nephew, Sydney, Australia) was undertaken in three patients requiring adrenalectomy for mass lesions including one patient with Conn's syndrome. Results: In all three cases, surgery proceeded promptly and uneventfully. In the present paper, the details of the technique of hand-assisted adrenalectomy are described. This is the first report in the world literature of this new technique for the adrenal gland. Conclusions: Hand-assisted laparoscopic adrenalectomy is an easily performed technique, which can be completed within a short operative time span and which has the advantage of providing intraoperative tactile localization for the adrenal gland. It may be particularly applicable for large adrenal tumours, yet only involves the performance of a small abdominal incision. Postoperative recovery is comparable with that reported for the laparoscopic-only technique. Hand-assisted adrenalectomy is a new technique which has great potential and which warrants further evaluation.

Exploring complex fitness surfaces: Multiple ornamentation and polymorphism in male guppies

The sexual ornamentation used by male guppies to attract females comprises many components, each of which varies considerably among males. Although natural and sexual selection have been shown to contribute to divergence among populations in male sexual ornaments, the role of sexual selection in maintaining polymorphism within populations is less clear. We used both parametric quadratic regression and nonparametric projection pursuit regression techniques to reveal the major axes of non-linear sexual selection on male ornaments. We visualized the fitness surfaces defined by these axes using thin-plate splines to allow a direct comparison of the two methodologies. Identification of the major axes of selection and their visualization was critical in determining the form and strength of nonlinear selection. Both types of analysis revealed fitness surfaces comprising three peaks, suggesting that there is more than one way to make an attractive guppy. Disruptive selection may be an important process underlying the presence of multiple sexual ornaments and may contribute to the maintenance of the high levels of polymorphism in male sexual ornaments found in guppy populations.

The spectrum of minimal defining sets of some Steiner systems

For a design D, define spec(D) = {\M\ \ M is a minimal defining set of D} to be the spectrum of minimal defining sets of D. In this note we give bounds on the size of an element in spec(D) when D is a Steiner system. We also show that the spectrum of minimal defining sets of the Steiner triple system given by the points and lines of PG(3,2) equals {16,17,18,19,20,21,22}, and point out some open questions concerning the Steiner triple systems associated with PG(n, 2) in general. (C) 2002 Elsevier Science B.V. All rights reserved.

Learning the dynamics of embedded clauses

Recent work by Siegelmann has shown that the computational power of recurrent neural networks matches that of Turing Machines. One important implication is that complex language classes (infinite languages with embedded clauses) can be represented in neural networks. Proofs are based on a fractal encoding of states to simulate the memory and operations of stacks. In the present work, it is shown that similar stack-like dynamics can be learned in recurrent neural networks from simple sequence prediction tasks. Two main types of network solutions are found and described qualitatively as dynamical systems: damped oscillation and entangled spiraling around fixed points. The potential and limitations of each solution type are established in terms of generalization on two different context-free languages. Both solution types constitute novel stack implementations - generally in line with Siegelmann's theoretical work - which supply insights into how embedded structures of languages can be handled in analog hardware.

Link invariants associated with gauge equivalent solutions of the Yang-Baxter equation: The one-parameter family of minimal typical representations of Uq[gl(2|1)]

In this paper we investigate the construction of state models for link invariants using representations of the braid group obtained from various gauge choices for a solution of the trigonometric Yang-Baxter equation. Our results show that it is possible to obtain invariants of regular isotopy (as defined by Kauffman) which may not be ambient isotopic. We illustrate our results with explicit computations using solutions of the trigonometric Yang-Baxter equation associated with the one-parameter family of minimal typical representations of the quantum superalgebra U-q,[gl(2/1)]. We have implemented MATHEMATICA code to evaluate the invariants for all prime knots up to 10 crossings.