Early Development and Putative Primordial Germ Cells Characterization in Dogs

Contents Previously, three distinct populations of putative primordial germ cells (PGCs), namely gonocytes, intermediate cells and pre-spermatogonia, have been described in the human foetal testis. According to our knowledge, these PGCs have not been studied in any other species. The aim of our study was to identify similar PGC populations in canine embryos. First, we develop a protocol for canine embryo isolation. Following our protocol, 15 canine embryos at 21-25 days of pregnancy were isolated by ovaryhysterectomy surgery. Our data indicate that dramatic changes occur in canine embryo development and PGCs specification between 21 to 25 days of gestation. At that moment, only two PGC populations with distinct morphology can be identified by histological analyses. Cell population 1 presented round nuclei with prominent nucleolus and a high nuclear to cytoplasm ratio, showing gonocyte morphology. Cell population 2 was often localized at the periphery of the testicular cords and presented typical features of PGC. Both germ cell populations were positively immunostained with anti-human OCT-4 antibody. However, at day 25, all cells of population 1 reacted positively with OCT-4, whereas in population 2, fewer cells were positive for this marker. These two PGCs populations present morphological features similar to gonocytes and intermediate cells from human foetal testis. It is expected that a population of pre-spermatogonia would be observed at later stages of canine foetus development. We also showed that anti-human OCT-4 antibody can be useful to identify canine PGC in vivo.

Fault Coverage-Driven Incremental Test Generation

In this paper, we consider a classical problem of complete test generation for deterministic finite-state machines (FSMs) in a more general setting. The first generalization is that the number of states in implementation FSMs can even be smaller than that of the specification FSM. Previous work deals only with the case when the implementation FSMs are allowed to have the same number of states as the specification FSM. This generalization provides more options to the test designer: when traditional methods trigger a test explosion for large specification machines, tests with a lower, but yet guaranteed, fault coverage can still be generated. The second generalization is that tests can be generated starting with a user-defined test suite, by incrementally extending it until the desired fault coverage is achieved. Solving the generalized test derivation problem, we formulate sufficient conditions for test suite completeness weaker than the existing ones and use them to elaborate an algorithm that can be used both for extending user-defined test suites to achieve the desired fault coverage and for test generation. We present the experimental results that indicate that the proposed algorithm allows obtaining a trade-off between the length and fault coverage of test suites.

Upgrading a TCABR data analysis and acquisition system for remote participation using Java, XML, RCP and modern client/server communication/authentication

The TCABR data analysis and acquisition system has been upgraded to support a joint research programme using remote participation technologies. The architecture of the new system uses Java language as programming environment. Since application parameters and hardware in a joint experiment are complex with a large variability of components, requirements and specification solutions need to be flexible and modular, independent from operating system and computer architecture. To describe and organize the information on all the components and the connections among them, systems are developed using the extensible Markup Language (XML) technology. The communication between clients and servers uses remote procedure call (RPC) based on the XML (RPC-XML technology). The integration among Java language, XML and RPC-XML technologies allows to develop easily a standard data and communication access layer between users and laboratories using common software libraries and Web application. The libraries allow data retrieval using the same methods for all user laboratories in the joint collaboration, and the Web application allows a simple graphical user interface (GUI) access. The TCABR tokamak team in collaboration with the IPFN (Instituto de Plasmas e Fusao Nuclear, Instituto Superior Tecnico, Universidade Tecnica de Lisboa) is implementing this remote participation technologies. The first version was tested at the Joint Experiment on TCABR (TCABRJE), a Host Laboratory Experiment, organized in cooperation with the IAEA (International Atomic Energy Agency) in the framework of the IAEA Coordinated Research Project (CRP) on ""Joint Research Using Small Tokamaks"". (C) 2010 Elsevier B.V. All rights reserved.

Studies of aberrant phyllotaxy1 Mutants of Maize Indicate Complex Interactions between Auxin and Cytokinin Signaling in the Shoot Apical Meristem

One of the most fascinating aspects of plant morphology is the regular geometric arrangement of leaves and flowers, called phyllotaxy. The shoot apical meristem (SAM) determines these patterns, which vary depending on species and developmental stage. Auxin acts as an instructive signal in leaf initiation, and its transport has been implicated in phyllotaxy regulation in Arabidopsis (Arabidopsis thaliana). Altered phyllotactic patterns are observed in a maize (Zea mays) mutant, aberrant phyllotaxy1 (abph1, also known as abphyl1), and ABPH1 encodes a cytokinin-inducible type A response regulator, suggesting that cytokinin signals are also involved in the mechanism by which phyllotactic patterns are established. Therefore, we investigated the interaction between auxin and cytokinin signaling in phyllotaxy. Treatment of maize shoots with a polar auxin transport inhibitor, 1-naphthylphthalamic acid, strongly reduced ABPH1 expression, suggesting that auxin or its polar transport is required for ABPH1 expression. Immunolocalization of the PINFORMED1 (PIN1) polar auxin transporter revealed that PIN1 expression marks leaf primordia in maize, similarly to Arabidopsis. Interestingly, maize PIN1 expression at the incipient leaf primordium was greatly reduced in abph1 mutants. Consistently, auxin levels were reduced in abph1, and the maize PIN1 homolog was induced not only by auxin but also by cytokinin treatments. Our results indicate distinct roles for ABPH1 as a negative regulator of SAM size and a positive regulator of PIN1 expression. These studies highlight a complex interaction between auxin and cytokinin signaling in the specification of phyllotactic patterns and suggest an alternative model for the generation of altered phyllotactic patterns in abph1 mutants. We propose that reduced auxin levels and PIN1 expression in abph1 mutant SAMs delay leaf initiation, contributing to the enlarged SAM and altered phyllotaxy of these mutants.

Formalization of an architectural model for exception handling coordination based on CA action concepts

Architectures based on Coordinated Atomic action (CA action) concepts have been used to build concurrent fault-tolerant systems. This conceptual model combines concurrent exception handling with action nesting to provide a general mechanism for both enclosing interactions among system components and coordinating forward error recovery measures. This article presents an architectural model to guide the formal specification of concurrent fault-tolerant systems. This architecture provides built-in Communicating Sequential Processes (CSPs) and predefined channels to coordinate exception handling of the user-defined components. Hence some safety properties concerning action scoping and concurrent exception handling can be proved by using the FDR (Failure Divergence Refinement) verification tool. As a result, a formal and general architecture supporting software fault tolerance is ready to be used and proved as users define components with normal and exceptional behaviors. (C) 2010 Elsevier B.V. All rights reserved.

Efficient solutions to factored MDPs with imprecise transition probabilities

When modeling real-world decision-theoretic planning problems in the Markov Decision Process (MDP) framework, it is often impossible to obtain a completely accurate estimate of transition probabilities. For example, natural uncertainty arises in the transition specification due to elicitation of MOP transition models from an expert or estimation from data, or non-stationary transition distributions arising from insufficient state knowledge. In the interest of obtaining the most robust policy under transition uncertainty, the Markov Decision Process with Imprecise Transition Probabilities (MDP-IPs) has been introduced to model such scenarios. Unfortunately, while various solution algorithms exist for MDP-IPs, they often require external calls to optimization routines and thus can be extremely time-consuming in practice. To address this deficiency, we introduce the factored MDP-IP and propose efficient dynamic programming methods to exploit its structure. Noting that the key computational bottleneck in the solution of factored MDP-IPs is the need to repeatedly solve nonlinear constrained optimization problems, we show how to target approximation techniques to drastically reduce the computational overhead of the nonlinear solver while producing bounded, approximately optimal solutions. Our results show up to two orders of magnitude speedup in comparison to traditional ""flat"" dynamic programming approaches and up to an order of magnitude speedup over the extension of factored MDP approximate value iteration techniques to MDP-IPs while producing the lowest error of any approximation algorithm evaluated. (C) 2011 Elsevier B.V. All rights reserved.

Diagnostic tools in beta regression with varying dispersion

We consider the issue of performing residual and local influence analyses in beta regression models with varying dispersion, which are useful for modelling random variables that assume values in the standard unit interval. In such models, both the mean and the dispersion depend upon independent variables. We derive the appropriate matrices for assessing local influence on the parameter estimates under different perturbation schemes. An application using real data is presented and discussed.