Engraftment outcomes after HPC co-culture with mesenchymal stromal cells and osteoblasts

Haematopoietic stem cell (HSC) transplantation is an established cell-based therapy for a number of haematological diseases. To enhance this therapy, there is considerable interest in expanding HSCs in artificial niches prior to transplantation. This study compared murine HSC expansion supported through co-culture on monolayers of either undifferentiated mesenchymal stromal cells (MSCs) or osteoblasts. Sorted Lineage− Sca-1+ c-kit+ (LSK) haematopoietic stem/progenitor cells (HPC) demonstrated proliferative capacity on both stromal monolayers with the greatest expansion of LSK shown in cultures supported by osteoblast monolayers. After transplantation, both types of bulk-expanded cultures were capable of engrafting and repopulating lethally irradiated primary and secondary murine recipients. LSKs co-cultured on MSCs showed comparable, but not superior, reconstitution ability to that of freshly isolated LSKs. Surprisingly, however, osteoblast co-cultured LSKs showed significantly poorer haematopoietic reconstitution compared to LSKs co-cultured on MSCs, likely due to a delay in short-term reconstitution. We demonstrated that stromal monolayers can be used to maintain, but not expand, functional HSCs without a need for additional haematopoietic growth factors. We also demonstrated that despite apparently superior in vitro performance, co-injection of bulk cultures of osteoblasts and LSKs in vivo was detrimental to recipient survival and should be avoided in translation to clinical practice.

Molecular characterization of "Candidatus Parilichlamydia carangidicola," a novel Chlamydia-like epitheliocystis agent in yellowtail kingfish, Seriola lalandi (Valenciennes), and the proposal of a new family, "Candidatus Parilichlamydiaceae" fam. nov. (order Chlamydiales).

Three cohorts of farmed yellowtail kingfish (Seriola lalandi) from South Australia were examined for Chlamydia-like organisms associated with epitheliocystis. To characterize the bacteria, 38 gill samples were processed for histopathology, electron microscopy, and 16S rRNA amplification, sequencing, and phylogenetic analysis. Microscopically, the presence of membrane-enclosed cysts was observed within the gill lamellae. Also observed was hyperplasia of the epithelial cells with cytoplasmic vacuolization and fusion of the gill lamellae. Transmission electron microscopy revealed morphological features of the reticulate and intermediate bodies typical of members of the order Chlamydiales. A novel 1,393-bp 16S chlamydial rRNA sequence was amplified from gill DNA extracted from fish in all cohorts over a 3-year period that corresponded to the 16S rRNA sequence amplified directly from laser-dissected cysts. This sequence was only 87% similar to the reported "Candidatus Piscichlamydia salmonis" (AY462244) from Atlantic salmon and Arctic charr. Phylogenetic analysis of this sequence against 35 Chlamydia and Chlamydia-like bacteria revealed that this novel bacterium belongs to an undescribed family lineage in the order Chlamydiales. Based on these observations, we propose this bacterium of yellowtail kingfish be known as "Candidatus Parilichlamydia carangidicola" and that the new family be known as "Candidatus Parilichlamydiaceae."

The heparan sulfate proteoglycan (HSPG) glypican-3 mediates commitment of MC3T3-E1 cells toward osteogenesis

Heparan sulfate (HS) sugar chains attached to core proteoglycans (PGs) termed HSPGs mediate an extensive range of cell-extracellular matrix (ECM) and growth factor interactions based upon their sulfation patterns. When compared with non-osteogenic (maintenance media) culture conditions, under established osteogenic culture conditions, MC3T3-E1 cells characteristically increase their osteogenic gene expression profile and switch their dominant fibroblast growth factor receptor (FGFR) from FGFR1 (0.5-fold decrease) to FGFR3 (1.5-fold increase). The change in FGFR expression profile of the osteogenic-committed cultures was reflected by their inability to sustain an FGF-2 stimulus, but respond to BMP-2 at day 14 of culture. The osteogenic cultures decreased their chondroitin and dermatan sulfate PGs (biglycan, decorin, and versican), but increased levels of the HS core protein gene expression, in particular glypican-3. Commitment and progress through osteogenesis is accompanied by changes in FGFR expression, decreased GAG initiation but increased N- and O-sulfation and reduced remodeling of the ECM (decreased heparanase expression) resulting in the production of homogenous (21 kDa) HS chain. With the HSPG glypican-3 expression strongly upregulated in these processes, siRNA was used to knockdown this gene to examine the effect on osteogenic commitment. Reduced glypican-3 abrogated the expression of Runx2, and thus differentiation. The reintroduction of this HSPG into Runx2-null cells allowed osteogenesis to proceed. These results demonstrate the dependence of osteogenesis on specific HS chains, in particular those associated with glypican-3.

Osteogenic differentiation of murine embryonic stem cells is mediated by fibroblast growth factor receptors

The mechanisms involved in the control of embryonic stem (ES) cell differentiation are yet to be fully elucidated. However, it has become clear that the family of fibroblast growth factors (FGFs) are centrally involved. In this study we examined the role of the FGF receptors (FGFRs 1-4) during osteogenesis in murine ES cells. Single cells were obtained after the formation of embryoid bodies, cultured on gelatin-coated plates, and coaxed to differentiate along the osteogenic lineage. Upregulation of genes was analyzed at both the transcript and protein levels using gene array, relative-quantitative PCR (RQ-PCR), and Western blotting. Deposition of a mineralized matrix was evaluated with Alizarin Red staining. An FGFR1-specific antibody was generated and used to block FGFR1 activity in mES cells during osteogenic differentiation. Upon induction of osteogenic differentiation in mES cells, all four FGFRs were clearly upregulated at both the transcript and protein levels with a number of genes known to be involved in osteogenic differentiation including bone morphogenetic proteins (BMPs), collagen I, and Runx2. Cells were also capable of depositing a mineralized matrix, confirming the commitment of these cells to the osteogenic lineage. When FGFR1 activity was blocked, a reduction in cell proliferation and a coincident upregulation of Runx2 with enhanced mineralization of cultures was observed. These results indicate that FGFRs play critical roles in cell recruitment and differentiation during the process of osteogenesis in mES cells. In particular, the data indicate that FGFR1 plays a pivotal role in osteoblast lineage determination.

Cryptanalysis of RC4(n, m) stream cipher

RC4(n, m) is a stream cipher based on RC4 and is designed by G. Gong et al. It can be seen as a generalization of the famous RC4 stream cipher designed by Ron Rivest. The authors of RC4(n, m) claim that the cipher resists all the attacks that are successful against the original RC4. The paper reveals cryptographic weaknesses of the RC4(n, m) stream cipher. We develop two attacks. The first one is based on non-randomness of internal state and allows to distinguish it from a truly random cipher by an algorithm that has access to 24·n bits of the keystream. The second attack exploits low diffusion of bits in the KSA and PRGA algorithms and recovers all bytes of the secret key. This attack works only if the initial value of the cipher can be manipulated. Apart from the secret key, the cipher uses two other inputs, namely, initial value and initial vector. Although these inputs are fixed in the cipher specification, some applications may allow the inputs to be under the attacker control. Assuming that the attacker can control the initial value, we show a distinguisher for the cipher and a secret key recovery attack that for the L-bit secret key, is able to recover it with about (L/n) · 2n steps. The attack has been implemented on a standard PC and can reconstruct the secret key of RC(8, 32) in less than a second.

Security analysis of Australian and E.U. e-passport implementation

This paper makes a formal security analysis of the current Australian e-passport implementation using model checking tools CASPER/CSP/FDR. We highlight security issues in the current implementation and identify new threats when an e-passport system is integrated with an automated processing system like SmartGate. The paper also provides a security analysis of the European Union (EU) proposal for Extended Access Control (EAC) that is intended to provide improved security in protecting biometric information of the e-passport bearer. The current e-passport specification fails to provide a list of adequate security goals that could be used for security evaluation. We fill this gap; we present a collection of security goals for evaluation of e-passport protocols. Our analysis confirms existing security weaknesses that were previously identified and shows that both the Australian e-passport implementation and the EU proposal fail to address many security and privacy aspects that are paramount in implementing a secure border control mechanism. ACM Classification C.2.2 (Communication/Networking and Information Technology – Network Protocols – Model Checking), D.2.4 (Software Engineering – Software/Program Verification – Formal Methods), D.4.6 (Operating Systems – Security and Privacy Protection – Authentication)

Formal security analysis of Australian e-passport implementation

This paper provides a detailed description of the current Australian e-passport implementation and makes a formal verification using model checking tools CASPER/CSP/FDR. We highlight security issues present in the current e-passport implementation and identify new threats when an e-passport system is integrated with an automated processing systems like SmartGate. Because the current e-passport specification does not provide adequate security goals, to perform a rational security analysis we identify and describe a set of security goals for evaluation of e-passport protocols. Our analysis confirms existing security issues that were previously informally identified and presents weaknesses that exists in the current e-passport implementation.

The past, present and future of carbon labelling for construction materials – a review

Global climate change is one of the most significant environmental issues that can harm human development. One central issue for the building and construction industry to address global climate change is the development of a credible and meaningful way to measure greenhouse gas (GHG) emissions. While Publicly Available Specification (PAS) 2050, the first international GHG standard, has been proven to be successful in standardizing the quantification process, its contribution to the management of carbon labels for construction materials is limited. With the recent publication of ISO 14067: Greenhouse gases – carbon footprint of products – requirements and guidelines for quantification and communication in May 2013, it is necessary for the building and construction industry to understand the past, present and future of the carbon labelling practices for construction materials. A systematic review shows that international GHG standards have been evolving in terms of providing additional guidance on communication and comparison, as well as less flexibility on the use of carbon labels. At the same time, carbon labelling schemes have been evolving on standardization and benchmarking. In addition, future actions are needed in the aspect of raising consumer awareness, providing benchmarking, ensuring standardization and developing simulation technologies in order for carbon labelling schemes for construction materials to provide credible, accurate and transparent information on GHG emissions.

Structural abstraction of process specifications

Software engineers constantly deal with problems of designing, analyzing, and improving process specifications, e.g., source code, service compositions, or process models. Process specifications are abstractions of behavior observed or intended to be implemented in reality which result from creative engineering practice. Usually, process specifications are formalized as directed graphs in which edges capture temporal relations between decisions, synchronization points, and work activities. Every process specification is a compromise between two points: On the one hand engineers strive to operate with less modeling constructs which conceal irrelevant details, while on the other hand the details are required to achieve the desired level of customization for envisioned process scenarios. In our research, we approach the problem of varying abstraction levels of process specifications. Formally, developed abstraction mechanisms exploit the structure of a process specification and allow the generalization of low-level details into concepts of a higher abstraction level. The reverse procedure can be addressed as process specialization.

Causal behavioural profiles : efficient computation, applications, and evaluation

Analysis of behavioural consistency is an important aspect of software engineering. In process and service management, consistency verification of behavioural models has manifold applications. For instance, a business process model used as system specification and a corresponding workflow model used as implementation have to be consistent. Another example would be the analysis to what degree a process log of executed business operations is consistent with the corresponding normative process model. Typically, existing notions of behaviour equivalence, such as bisimulation and trace equivalence, are applied as consistency notions. Still, these notions are exponential in computation and yield a Boolean result. In many cases, however, a quantification of behavioural deviation is needed along with concepts to isolate the source of deviation. In this article, we propose causal behavioural profiles as the basis for a consistency notion. These profiles capture essential behavioural information, such as order, exclusiveness, and causality between pairs of activities of a process model. Consistency based on these profiles is weaker than trace equivalence, but can be computed efficiently for a broad class of models. In this article, we introduce techniques for the computation of causal behavioural profiles using structural decomposition techniques for sound free-choice workflow systems if unstructured net fragments are acyclic or can be traced back to S- or T-nets. We also elaborate on the findings of applying our technique to three industry model collections.

Efficient computation of causal behavioural profiles using structural decomposition

Identification of behavioural contradictions is an important aspect of software engineering, in particular for checking the consistency between a business process model used as system specification and a corresponding workflow model used as implementation. In this paper, we propose causal behavioural profiles as the basis for a consistency notion, which capture essential behavioural information, such as order, exclusiveness, and causality between pairs of activities. Existing notions of behavioural equivalence, such as bisimulation and trace equivalence, might also be applied as consistency notions. Still, they are exponential in computation. Our novel concept of causal behavioural profiles provides a weaker behavioural consistency notion that can be computed efficiently using structural decomposition techniques for sound free-choice workflow systems if unstructured net fragments are acyclic or can be traced back to S- or T-nets.

A molecular phylogeny of the checkered beetles and a description of Epiclininae a new subfamily (Coleoptera: Cleroidea: Cleridae)

We provide the first molecular phylogeny of the clerid lineage (Coleoptera: Cleridae, Thanerocleridae) within the superfamily Cleroidea to examine the two most recently-proposed hypotheses of higher-level classification. Phylogenetic relationships of checkered beetles were inferred from approximately ~5,000nt of both nuclear and mitochondrial rDNA (28S, 16S, and 12S) and the mitochondrial protein-coding gene COI. A worldwide sample of ~70 genera representing almost a quarter of generic diversity of the clerid lineage was included and phylogenies were reconstructed using Bayesian and Maximum Likelihood approaches. Results support the monophyly of many proposed subfamilies but were not entirely congruent with either current classification system. The subfamilial relationships within the Cleridae are resolved with support for three main lineages. Tillinae are supported as the sister group to all other subfamilies within the Cleridae, whereas Thaneroclerinae, Korynetinae and a new subfamily formally described here, Epiclininae subf. n, form a sister group to Clerinae + Hydnocerinae.

Identification and characterization of flowering genes in kiwifruit : sequence conservation and role in kiwifruit flower development

Background Flower development in kiwifruit (Actinidia spp.) is initiated in the first growing season, when undifferentiated primordia are established in latent shoot buds. These primordia can differentiate into flowers in the second growing season, after the winter dormancy period and upon accumulation of adequate winter chilling. Kiwifruit is an important horticultural crop, yet little is known about the molecular regulation of flower development. Results To study kiwifruit flower development, nine MADS-box genes were identified and functionally characterized. Protein sequence alignment, phenotypes obtained upon overexpression in Arabidopsis and expression patterns suggest that the identified genes are required for floral meristem and floral organ specification. Their role during budbreak and flower development was studied. A spontaneous kiwifruit mutant was utilized to correlate the extended expression domains of these flowering genes with abnormal floral development. Conclusions This study provides a description of flower development in kiwifruit at the molecular level. It has identified markers for flower development, and candidates for manipulation of kiwifruit growth, phase change and time of flowering. The expression in normal and aberrant flowers provided a model for kiwifruit flower development.

Understanding the academic environments : from field study to design

Ethnographic methods have been widely used for requirements elicitation purposes in systems design, especially when the focus is on understanding users? social, cultural and political contexts. Designing an on-line search engine for peer-reviewed papers could be a challenge considering the diversity of its end users coming from different educational and professional disciplines. This poster describes our exploration of academic research environments based on different in situ methods such as contextual interviews, diary-keeping, job-shadowing, etc. The data generated from these methods is analysed using a qualitative data analysis software and subsequently is used for developing personas that could be used as a requirements specification tool.

An approach for extending Building Information Models (BIM) to specifications

The Construction industry accounts for a tenth of global GDP. Still, challenges such as slow adoption of new work processes, islands of information, and legal disputes, remain frequent, industry-wide occurrences despite various attempts to address them. In response, IT-based approaches have been adopted to explore collaborative ways of executing construction projects. Building Information Modelling (BIM) is an exemplar of integrative technologies whose 3D-visualisation capabilities have fostered collaboration especially between clients and design teams. Yet, the ways in which specification documents are created and used in capturing clients' expectations based on industry standards have remained largely unchanged since the 18th century. As a result, specification-related errors are still common place in an industry where vast amounts of information are consumed as well as produced in the course project implementation in the built environment. By implication, processes such as cost planning which depend on specification-related information remain largely inaccurate even with the use of BIM-based technologies. This paper briefly distinguishes between non-BIM-based and BIM-based specifications and reports on-going efforts geared towards the latter. We review exemplars aimed at extending Building Information Models to specification information embedded within the objects in a product library and explore a viable way of reasoning about a semi-automated process of specification using our product library.