PORBS: A parallel observation-based slicer

Abstract—This paper presents PORBS, a parallelised observation-based slicing tool. The tool itself is written in Java making it platform independent and leverages the build chain of the system being sliced to avoid the need to replicate complex compiler analysis. The target audience of PORBS is software engineers and researchers working with and on tools and techniques for software comprehension, debugging, re-engineering, and maintenance.

A path-based framework for analyzing large markov models

Reliability and dependability modeling can be employed during many stages of analysis of a computing system to gain insights into its critical behaviors. To provide useful results, realistic models of systems are often necessarily large and complex. Numerical analysis of these models presents a formidable challenge because the sizes of their state-space descriptions grow exponentially in proportion to the sizes of the models. On the other hand, simulation of the models requires analysis of many trajectories in order to compute statistically correct solutions. This dissertation presents a novel framework for performing both numerical analysis and simulation. The new numerical approach computes bounds on the solutions of transient measures in large continuous-time Markov chains (CTMCs). It extends existing path-based and uniformization-based methods by identifying sets of paths that are equivalent with respect to a reward measure and related to one another via a simple structural relationship. This relationship makes it possible for the approach to explore multiple paths at the same time,· thus significantly increasing the number of paths that can be explored in a given amount of time. Furthermore, the use of a structured representation for the state space and the direct computation of the desired reward measure (without ever storing the solution vector) allow it to analyze very large models using a very small amount of storage. Often, path-based techniques must compute many paths to obtain tight bounds. In addition to presenting the basic path-based approach, we also present algorithms for computing more paths and tighter bounds quickly. One resulting approach is based on the concept of path composition whereby precomputed subpaths are composed to compute the whole paths efficiently. Another approach is based on selecting important paths (among a set of many paths) for evaluation. Many path-based techniques suffer from having to evaluate many (unimportant) paths. Evaluating the important ones helps to compute tight bounds efficiently and quickly.

A Phylogenetic Classification of the Video-Game Industry’s Business Model Ecosystem

Part 8: Business Strategies Alignment

Developing an Enhanced Model for Combined Heat and Air Infiltration Energy Simulation

The need for efficient, sustainable, and planned utilization of resources is ever more critical. In the U.S. alone, buildings consume 34.8 Quadrillion (1015) BTU of energy annually at a cost of $1.4 Trillion. Of this energy 58% is utilized for heating and air conditioning. Several building energy analysis tools have been developed to assess energy demands and lifecycle energy costs in buildings. Such analyses are also essential for an efficient HVAC design that overcomes the pitfalls of an under/over-designed system. DOE-2 is among the most widely known full building energy analysis models. It also constitutes the simulation engine of other prominent software such as eQUEST, EnergyPro, PowerDOE. Therefore, it is essential that DOE-2 energy simulations be characterized by high accuracy. Infiltration is an uncontrolled process through which outside air leaks into a building. Studies have estimated infiltration to account for up to 50% of a building’s energy demand. This, considered alongside the annual cost of buildings energy consumption, reveals the costs of air infiltration. It also stresses the need that prominent building energy simulation engines accurately account for its impact. In this research the relative accuracy of current air infiltration calculation methods is evaluated against an intricate Multiphysics Hygrothermal CFD building envelope analysis. The full-scale CFD analysis is based on a meticulous representation of cracking in building envelopes and on real-life conditions. The research found that even the most advanced current infiltration methods, including in DOE-2, are at up to 96.13% relative error versus CFD analysis. An Enhanced Model for Combined Heat and Air Infiltration Simulation was developed. The model resulted in 91.6% improvement in relative accuracy over current models. It reduces error versus CFD analysis to less than 4.5% while requiring less than 1% of the time required for such a complex hygrothermal analysis. The algorithm used in our model was demonstrated to be easy to integrate into DOE-2 and other engines as a standalone method for evaluating infiltration heat loads. This will vastly increase the accuracy of such simulation engines while maintaining their speed and ease of use characteristics that make them very widely used in building design.

Structured professional judgement approach to risk assessment: generalisability across patient groups for the prediction of adverse outcomes in secure mental health care

This is a redacted version of the the final thesis. Copyright material has been removed to comply with UK Copyright Law.

On the Segregation of Genetically Modified, Conventional, and Organic Products in European Agriculture: A Multi-market Equilibrium Analysis, October 2005

Evaluating the possible benefits of the introduction of genetically modified (GM) crops must address the issue of consumer resistance as well as the complex regulation that has ensued. In the European Union (EU) this regulation envisions the “co-existence” of GM food with conventional and quality-enhanced products, mandates the labelling and traceability of GM products, and allows only a stringent adventitious presence of GM content in other products. All these elements are brought together within a partial equilibrium model of the EU agricultural food sector. The model comprises conventional, GM and organic food. Demand is modelled in a novel fashion, whereby organic and conventional products are treated as horizontally differentiated but GM products are vertically differentiated (weakly inferior) relative to conventional ones. Supply accounts explicitly for the land constraint at the sector level and for the need for additional resources to produce organic food. Model calibration and simulation allow insights into the qualitative and quantitative effects of the large-scale introduction of GM products in the EU market. We find that the introduction of GM food reduces overall EU welfare, mostly because of the associated need for costly segregation of non-GM products, but the producers of quality-enhanced products actually benefit.

Cytogenetic analysis of Epicauta atomaria (Meloidae) and Palembus dermestoides (Tenebrionidae) with Xyp sex determination system using standard staining, C-bands, NOR and synaptonemal complex microspreading techniques

The mitotic and meiotic chromosomes of the beetles Epicauta atomaria (Meloidae) and Palembus dermestoides (Tenebrionidae) were analysed using standard staining, C-banding and silver impregnation techniques. We determine the diploid and haploid chromosome numbers, the sex determination system and describe the chromosomal morphology, the C-banding pattern and the chromosome(s) bearing NORs (nucleolar organizer regions). Both species shown 2n = 20 chromosomes, the chromosomal meioformula 9 + Xyp, and regular chromosome segregation during anaphases I and II. The chromosomes of E. atomaria are basically metacentric or submetacentric and P. dermestoides chromosomes are submetacentric or subtelocentric. In both beetles the constitutive heterochromatin is located in the pericentromeric region in all autosomes and in the Xp chromosome; additional C-bands were observed in telomeric region of the short arm in some autosomes in P. dermestoides. The yp chromosome did not show typical C-bands in these species. As for the synaptonemal complex, the nucleolar material is associated to the 7th bivalent in E. atomaria and 3rd and 7th bivalents in P. dermestoides. Strong silver impregnated material was observed in association with Xyp in light and electron microscopy preparations in these species and this material was interpreted to be related to nucleolar material.

Gene Expression Complex Networks: Synthesis, Identification, and Analysis

Thanks to recent advances in molecular biology, allied to an ever increasing amount of experimental data, the functional state of thousands of genes can now be extracted simultaneously by using methods such as cDNA microarrays and RNA-Seq. Particularly important related investigations are the modeling and identification of gene regulatory networks from expression data sets. Such a knowledge is fundamental for many applications, such as disease treatment, therapeutic intervention strategies and drugs design, as well as for planning high-throughput new experiments. Methods have been developed for gene networks modeling and identification from expression profiles. However, an important open problem regards how to validate such approaches and its results. This work presents an objective approach for validation of gene network modeling and identification which comprises the following three main aspects: (1) Artificial Gene Networks (AGNs) model generation through theoretical models of complex networks, which is used to simulate temporal expression data; (2) a computational method for gene network identification from the simulated data, which is founded on a feature selection approach where a target gene is fixed and the expression profile is observed for all other genes in order to identify a relevant subset of predictors; and (3) validation of the identified AGN-based network through comparison with the original network. The proposed framework allows several types of AGNs to be generated and used in order to simulate temporal expression data. The results of the network identification method can then be compared to the original network in order to estimate its properties and accuracy. Some of the most important theoretical models of complex networks have been assessed: the uniformly-random Erdos-Renyi (ER), the small-world Watts-Strogatz (WS), the scale-free Barabasi-Albert (BA), and geographical networks (GG). The experimental results indicate that the inference method was sensitive to average degree k variation, decreasing its network recovery rate with the increase of k. The signal size was important for the inference method to get better accuracy in the network identification rate, presenting very good results with small expression profiles. However, the adopted inference method was not sensible to recognize distinct structures of interaction among genes, presenting a similar behavior when applied to different network topologies. In summary, the proposed framework, though simple, was adequate for the validation of the inferred networks by identifying some properties of the evaluated method, which can be extended to other inference methods.

Neutron Activation Analysis: A Primary (Ratio) Method to Determine SI-Traceable Values of Element Content in Complex Samples

The metrological principles of neutron activation analysis are discussed. It has been demonstrated that this method can provide elemental amount of substance with values fully traceable to the SI. The method has been used by several laboratories worldwide in a number of CCQM key comparisons - interlaboratory comparison tests at the highest metrological level - supplying results equivalent to values from other methods for elemental or isotopic analysis in complex samples without the need to perform chemical destruction and dissolution of these samples. The CCOM accepted therefore in April 2007 the claim that neutron activation analysis should have the similar status as the methods originally listed by the CCOM as `primary methods of measurement`. Analytical characteristics and scope of application are given.

Synthesis of [Cu-2(Me-2[9]aneN(2)S)(2)(OH)(2)] (PF6)(2), a hydroxo-bridged copper(II) complex of N,N '-dimethyl-1-thia-4,7-diazacyclononane (Me-2[9]aneN(2)S). X-ray structural analysis, magnetic susceptibility, EPR and visible spectroscopy

The bis(mu-hydroxo) complex [Cu-2(Me-2[9]aneN(2)S)(2)(OH)(2)](PF6)(2) (Me-2[9]aneN(2)S = N,N'-dimethyl-1-thia-4,7-diazacyclononane) results after reaction of [Cu(Me-2[9]aneN(2)S)(MeCN)] (PF6) with dioxygen at -78 degrees C in acetonitrile. The complex has been characterized by X-ray crystallography: orthorhombic, space group Pnma, with a 18.710(3), b 16.758(2), c 9.593(2) Angstrom, and Z = 4. The structure refined to a final R value of 0.051. The complex contains two copper(II) ions bridged by two hydroxo groups with Cu ... Cu 2.866(1) Angstrom. The solid-state magnetic susceptibility study reveals ferromagnetic coupling, the fitting parameters being J = +46+/-5 cm(-1), g = 2.01+/-0.01 and theta = -0.58+/-0.03 K. The frozen-solution e.p.r. spectrum in dimethyl sulfoxide is characteristic of a monomeric copper(II) ion (g(parallel to) 2.300, g(perpendicular to) 2.063; A(parallel to) 156.2 x 10(-4) cm(-1), A(perpendicular to) 9.0 x 10(-4) cm(-1)) with an N2O2 donor set. Thioether coordination to the copper(II) in solution is supported by the presence of an intense absorption assigned to a sigma(S)-->Cu-II LMCT transition at c. 34000 cm(-1). The single-crystal spectrum of [Cu-2(Me-2[9]aneN(2)S)(2)(OH)(2)] (PF6)(2) (273 K) reveals d-->d transitions at 14500 and 18300 cm(-1) and a weak pi(S)-->Cu-II charge-transfer band at approximately 25000 cm(-1).

Evaluating design proposals for complex systems with work domain analysis

In this paper we propose a new framework for evaluating designs based on work domain analysis, the first phase of cognitive work analysis. We develop a rationale for a new approach to evaluation by describing the unique characteristics of complex systems and by showing that systems engineering techniques only partially accommodate these characteristics. We then present work domain analysis as a complementary framework for evaluation. We explain this technique by example by showing how the Australian Defence Force used work domain analysis to evaluate design proposals for a new system called Airborne Early Warning and Control. This case study also demonstrates that work domain analysis is a useful and feasible approach that complements standard techniques for evaluation and that promotes a central role for human factors professionals early in the system design and development process. Actual or potential applications of this research include the evaluation of designs for complex systems.

Designing teams for first-of-a-kind, complex systems using the initial phases of cognitive work analysis: Case study

We present a technique for team design based on cognitive work analysis (CWA). We first develop a rationale for this technique by discussing the limitations of conventional approaches for team design in light of the special characteristics of first-of-a-kind, complex systems. We then introduce the CWA-based technique for team design and provide a case study of how we used this technique to design a team for a first-of-a-kind, complex military system during the early stages of its development. In addition to illustrating the CWA-based technique by example, the case study allows us to evaluate the technique. This case study demonstrates that the CWA-based technique for team design is both feasible and useful, although empirical validation of the technique is still necessary. Applications of this work include the design of teams for first-of-a-kind, complex systems in military, medical, and industrial domains.

Mutational analysis of the necdin gene in patients with congenital isolated hypogonadotropic hypogonadism

Context: Necdin activates GNRH gene expression and is fundamental for the development, migration, and axonal extension of murine GNRH neurons. In humans, necdin plays a potential role in the hypogonadotropic hypogonadism phenotype in patients with Prader-Willi syndrome. Aim: To investigate necdin gene (NDN) variants in patients with isolated hypogonadotropic hypogonadism (IHH). Patients and methods: We studied 160 Brazilian patients with IHH, which includes 92 with Kallmann syndrome and 68 with normosmic IHH. Genomic DNA was extracted and the single NDN exon was amplified and sequenced. To measure GNRH transcriptional activity, luciferase reporter plasmids containing GNRH regulatory regions were transiently transfected into GT1-7 cells in the presence and absence of overexpressed wild-type or mutant necdin. Results: A heterozygous variant of necdin, p.V318A, was identified in a 23-year-old male with Kallmann syndrome. The p.V318A was also present in affected aunt and his father and was absent in 100 Brazilian control subjects. Previous FGFR1 gene analysis revealed a missense mutation (p.P366L) in this family. Functional studies revealed a minor difference in the activation of GNRH transcription by mutant protein compared with wild type in that a significant impairment of the necdin protein activity threshold was observed. Conclusion: A rare variant of necdin (p.V318A) was described in a family with Kallmann syndrome associated with a FGFR1 mutation. Familial segregation and in vitro analysis suggested that this non-synonymous variant did not have a direct causative role in the hypogonadism phenotype. NDN mutations are not a frequent cause of congenital IHH.

Ligand-field analysis of an Er(III) complex with a heptadentate tripodal N4O3 ligand

Polarized absorption and emission spectra of trigonal single crystals of an Er(III) complex coordinated to a heptadentate tripodal ligand are reported at temperatures between 8 and 298 K. The assigned energy levels below the onset of ligand absorption (< 25 000 cm(-1)) are fitted to a parametrized electronic Hamiltonian. The C-3 site symmetry of the Er(HI) ion requires eight parameters for a full description of the ligand field within a one-electron operator description. This compound shows unusually large splittings of the multiplets, and the fitted parameters imply that this heptadentate ligand imparts the largest ligand field reported for an Er(III) complex. The ligand field was also interpreted within the angular overlap model (AOM). We derive the AOM matrix to include both sigma and anisotropic pi bonding and show that a useful description of the C-3 ligand field can be made using only five parameters. The success of the AOM description is encouraging for applications on isomorphous complexes within the lanthanide series and in describing the ligand field of low-symmetry complexes with less parameters than in the usual spherical harmonic expansion.

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.