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.

Framtagning av prototyp för att läsa och dokumentera kundspecifikationer

To increase the quality in their products ABB is working towards a cleared order concept. That means that all customer specified options are to be known before they start with order calculations and construction. As it is today they use paper checklists to achieve this. One order may have several reactors, and for a reactor there can be several different alternatives. For each alternative a new checklist must be filled out.As of today all reading of the customer specification and checklist fill in with is done by hand by different persons, and sometimes the same data is read more than one time. All data is also manually inserted into the calculation tools.To decrease the risk that data is left out or gets distorted they want to have a tool to aid with the reading of the specification and the documentation of that work. Already read data can be copied over to another alternative so that it not must be read one more time. The read data are to be stored in a database so that it easily can be per automation inserted into the different design tools.

Techno-economic Appraisal of Concentrating Solar Power Systems (CSP)

The diffusion of Concentrating Solar Power Systems (CSP) systems is currently taking place at a much slower pace than photovoltaic (PV) power systems. This is mainly because of the higher present cost of the solar thermal power plants, but also for the time that is needed in order to build them. Though economic attractiveness of different Concentrating technologies varies, still PV power dominates the market. The price of CSP is expected to drop significantly in the near future and wide spread installation of them will follow. The main aim of this project is the creation of different relevant case studies on solar thermal power generation and a comparison betwwen them. The purpose of this detailed comparison is the techno-economic appraisal of a number of CSP systems and the understanding of their behaviour under various boundary conditions. The CSP technologies which will be examined are the Parabolic Trough, the Molten Salt Power Tower, the Linear Fresnel Mirrors and the Dish Stirling. These systems will be appropriatly sized and simulated. All of the simulations aim in the optimization of the particular system. This includes two main issues. The first is the achievement of the lowest possible levelized cost of electricity and the second is the maximization of the annual energy output (kWh). The project also aims in the specification of these factors which affect more the results and more specifically, in what they contribute to the cost reduction or the power generation. Also, photovoltaic systems will be simulated under same boundary conditions to facolitate a comparison between the PV and the CSP systems. Last but not leats, there will be a determination of the system which performs better in each case study.

Common Features in Vector Nonlinear Time Series Models

This thesis consists of four manuscripts in the area of nonlinear time series econometrics on topics of testing, modeling and forecasting nonlinear common features. The aim of this thesis is to develop new econometric contributions for hypothesis testing and forecasting in these area. Both stationary and nonstationary time series are concerned. A definition of common features is proposed in an appropriate way to each class. Based on the definition, a vector nonlinear time series model with common features is set up for testing for common features. The proposed models are available for forecasting as well after being well specified. The first paper addresses a testing procedure on nonstationary time series. A class of nonlinear cointegration, smooth-transition (ST) cointegration, is examined. The ST cointegration nests the previously developed linear and threshold cointegration. An Ftypetest for examining the ST cointegration is derived when stationary transition variables are imposed rather than nonstationary variables. Later ones drive the test standard, while the former ones make the test nonstandard. This has important implications for empirical work. It is crucial to distinguish between the cases with stationary and nonstationary transition variables so that the correct test can be used. The second and the fourth papers develop testing approaches for stationary time series. In particular, the vector ST autoregressive (VSTAR) model is extended to allow for common nonlinear features (CNFs). These two papers propose a modeling procedure and derive tests for the presence of CNFs. Including model specification using the testing contributions above, the third paper considers forecasting with vector nonlinear time series models and extends the procedures available for univariate nonlinear models. The VSTAR model with CNFs and the ST cointegration model in the previous papers are exemplified in detail,and thereafter illustrated within two corresponding macroeconomic data sets.

Personlighetsbedömning i samband med rekrytering : En studie om bemanningsbranschens personlighetsbedömning vid en rekrytering

Att medarbetare är av existentiell betydelse för en organisations överlevnad är sedan länge känt. Därmed är rekrytering en av de viktigaste funktionerna inom HR för att attrahera rätt kompetens till organisationen då en misslyckad rekrytering vanligen leder till bortkastad tid och dyra rekryteringsprocesser. Något som kommit att få allt större betydelse vid urvalet och bedömningen av nya medarbetare är kandidaters personlighet. Forskning visar att personlighetsdrag spelar en stor roll när det kommer till framtida arbetsprestationer och förmågan att göra rätt bedömningar av människor är därför central. Teorier om synen på personlighet, kompetens, kompetensbaserad rekrytering och urval samt bedömningsmetoder och personlighetsbedömning används för att analysera studiens resultat. Denna kvalitativa studies övergripande syfte var att öka förståelsen för hur rekryterare bedömer en kandidats personlighet vid en rekryteringsprocess inom bemanningsföretag. Bemanningsföretag är företag som ständigt arbetar med rekrytering och uthyrning av personal, varför ett proaktivt bemanningsarbete krävs för att skapa en konkurrensfördel på marknaden. Inför denna fallstudie kontaktades tre av den svenska bemanningsbranschens största aktörer varav två rekryterare på vardera företag deltog i semistrukturerade intervjuer. Personlighet ansågs generellt som något viktigt som samtliga rekryterare lade stor vikt vid under hela processens gång, från utformandet av kravprofilen till avslutande bedömning. Bedömningen skedde genom såväl test som intervju och referenstagning. Samtliga poängterade vikten av att alltid göra en helhetsbedömning av kandidaten och att det därmed var svårt att vikta exempelvis formella kompetenser mot personliga egenskaper. Resultatet visar att bemanningsbranschens arbete med personlighetsbedömning vid rekrytering utgår ifrån strukturerade bedömningsmetoder. Deras gedigna och proaktiva arbete med rekrytering lever upp till påståendet om att personalen är en organisations viktigaste resurs och vikten av att förstå innebörden av personlighetens betydelse i uttrycket ”rätt person på rätt plats”.

Describing Web Service Architectures through Design-by-Contract

Architectural description languages (ADLs) are used to specify a high-level, compositional view of a software application, specifying how a system is to be composed from coarse-grain components. ADLs usually come equipped with a formal dynamic semantics, facilitating specification and analysis of distributed and event-based systems. In this paper, we describe the TrustME, an ADL framework that provides both a process and a structural view of web service-based systems. We use Petri-net descriptions to give a dynamic view of business workflow for web service collaboration. We adapt the approach of Schmidt to define a form of Meyer's design-by-contract for configuring workflow architectures. This serves as a configuration-level means of constructing safer, more robust systems.

An Architectural Description Language for Enterprise Computing

Architectural description languages (ADLs) are used to specify high-level, compositional view of a software application. ADLs usually come equipped with a rigourous state-transition style semantics, facilitating specification and analysis of distributed and event-based systems. However, enterprise system architectures built upon newer middleware (implementations of Java’s EJB specification, or Microsoft’s COM+/ .NET) require additional expressive power from an ADL. The TrustME ADL is designed to meet this need. In this paper, we describe several aspects of TrustME that facilitate specification and anlysis of middleware-based architectures for the enterprise.

Trust-By-Contract: Modelling, Analysing and Predicting Behaviour in Software Architectures

Architecture description languages (ADLs) are used to specify high-level, compositional views of a software application. ADL research focuses on software composed of prefabricated parts, so-called software components. ADLs usually come equipped with rigorous state-transition style semantics, facilitating verification and analysis of specifications. Consequently, ADLs are well suited to configuring distributed and event-based systems. However, additional expressive power is required for the description of enterprise software architectures – in particular, those built upon newer middleware, such as implementations of Java’s EJB specification, or Microsoft’s COM+/.NET. The enterprise requires distributed software solutions that are scalable, business-oriented and mission-critical. We can make progress toward attaining these qualities at various stages of the software development process. In particular, progress at the architectural level can be leveraged through use of an ADL that incorporates trust and dependability analysis. Also, current industry approaches to enterprise development do not address several important architectural design issues. The TrustME ADL is designed to meet these requirements, through combining approaches to software architecture specification with rigorous design-by-contract ideas. In this paper, we focus on several aspects of TrustME that facilitate specification and analysis of middleware-based architectures for trusted enterprise computing systems.

A Compositional Semantics of UML-RSDS

This paper provides a semantics for the UML-RSDS (Reactive System Development Support) subset of UML, using the real-time action logic (RAL) formalism. We show how this semantics can be used to resolve some ambiguities and omissions in UML semantics, and to support reasoning about specifications using the B formal method and tools. We use `semantic profiles' to provide precise semantics for different semantic variation points of UML. We also show how RAL can be used to give a semantics to notations for real-time specification in UML. Unlike other approaches to UML semantics, which concentrate on the class diagram notation, our semantic representation has behaviour as a central element, and can be used to define semantics for use cases, state machines and interactions, in addition to class diagrams.