Mint Era : a testing environment for Java programs

Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2004.Includes bibliographical references (p. 99-100).We introduce MintEra, an automatic testcase generator and verifier. Using an simple, easy-to-read yet expressive language called AAL, users can specify representation- invariants and assertions within programs. MintEra uses the representation-invariant to generate testcases and translates assertions into Java run-time checks, which verify testcases. The tool then graphically visualize failed testcases to help users debug their code. MintEra encourages documentation of programs by using specification to test and verify code. Effectively, the tool checks code and specification against each other. Thus, MintEra helps users ensure correctness of their programs as well as their specification. In this thesis, we provide a number of extra features that we hope would develop MintEra into an effective tool that could be used by the general software engineering community.by Basel Y. Al-Naffouri.M.Eng

An Expert System for Ankle Problems

Abstract— Anatomy of the anterior compartment includes the tibia and the fibula. It also includes the tibialis anterior tendon, the extensor hallucis longus tendon and the extensor digitorum longus tendons. The anterior tibial artery and the deep peroneal nerve and finally the superior and inferior extensor retinaculum. In this paper an expert system was designed to help users to correctly diagnose ankle problems. There are many structures present at the anterior aspect of the ankle; these structures are often susceptible to injury common injuries and conditions around the anterior ankle. Clips expert system language was used to design and implement this expert system

UNCLES: Method for the identification of genes differentially consistently co-expressed in a specific subset of datasets

Background: Collective analysis of the increasingly emerging gene expression datasets are required. The recently proposed binarisation of consensus partition matrices (Bi-CoPaM) method can combine clustering results from multiple datasets to identify the subsets of genes which are consistently co-expressed in all of the provided datasets in a tuneable manner. However, results validation and parameter setting are issues that complicate the design of such methods. Moreover, although it is a common practice to test methods by application to synthetic datasets, the mathematical models used to synthesise such datasets are usually based on approximations which may not always be sufficiently representative of real datasets. Results: Here, we propose an unsupervised method for the unification of clustering results from multiple datasets using external specifications (UNCLES). This method has the ability to identify the subsets of genes consistently co-expressed in a subset of datasets while being poorly co-expressed in another subset of datasets, and to identify the subsets of genes consistently co-expressed in all given datasets. We also propose the M-N scatter plots validation technique and adopt it to set the parameters of UNCLES, such as the number of clusters, automatically. Additionally, we propose an approach for the synthesis of gene expression datasets using real data profiles in a way which combines the ground-truth-knowledge of synthetic data and the realistic expression values of real data, and therefore overcomes the problem of faithfulness of synthetic expression data modelling. By application to those datasets, we validate UNCLES while comparing it with other conventional clustering methods, and of particular relevance, biclustering methods. We further validate UNCLES by application to a set of 14 real genome-wide yeast datasets as it produces focused clusters that conform well to known biological facts. Furthermore, in-silico-based hypotheses regarding the function of a few previously unknown genes in those focused clusters are drawn. Conclusions: The UNCLES method, the M-N scatter plots technique, and the expression data synthesis approach will have wide application for the comprehensive analysis of genomic and other sources of multiple complex biological datasets. Moreover, the derived in-silico-based biological hypotheses represent subjects for future functional studies.The National Institute for Health Research (NIHR) under its Programme Grants for Applied Research Programme (Grant Reference Number RP-PG-0310-1004)

Ischaemic strokes in patients with pulmonary arteriovenous malformations and hereditary hemorrhagic telangiectasia: associations with iron deficiency and platelets.

<div><p>Background</p><p>Pulmonary first pass filtration of particles marginally exceeding ∼7 µm (the size of a red blood cell) is used routinely in diagnostics, and allows cellular aggregates forming or entering the circulation in the preceding cardiac cycle to lodge safely in pulmonary capillaries/arterioles. Pulmonary arteriovenous malformations compromise capillary bed filtration, and are commonly associated with ischaemic stroke. Cohorts with CT-scan evident malformations associated with the highest contrast echocardiographic shunt grades are known to be at higher stroke risk. Our goal was to identify within this broad grouping, which patients were at higher risk of stroke.</p><p>Methodology</p><p>497 consecutive patients with CT-proven pulmonary arteriovenous malformations due to hereditary haemorrhagic telangiectasia were studied. Relationships with radiologically-confirmed clinical ischaemic stroke were examined using logistic regression, receiver operating characteristic analyses, and platelet studies.</p><p>Principal Findings</p><p>Sixty-one individuals (12.3%) had acute, non-iatrogenic ischaemic clinical strokes at a median age of 52 (IQR 41–63) years. In crude and age-adjusted logistic regression, stroke risk was associated not with venous thromboemboli or conventional neurovascular risk factors, but with low serum iron (adjusted odds ratio 0.96 [95% confidence intervals 0.92, 1.00]), and more weakly with low oxygen saturations reflecting a larger right-to-left shunt (adjusted OR 0.96 [0.92, 1.01]). For the same pulmonary arteriovenous malformations, the stroke risk would approximately double with serum iron 6 µmol/L compared to mid-normal range (7–27 µmol/L). Platelet studies confirmed overlooked data that iron deficiency is associated with exuberant platelet aggregation to serotonin (5HT), correcting following iron treatment. By MANOVA, adjusting for participant and 5HT, iron or ferritin explained 14% of the variance in log-transformed aggregation-rate (p = 0.039/p = 0.021).</p><p>Significance</p><p>These data suggest that patients with compromised pulmonary capillary filtration due to pulmonary arteriovenous malformations are at increased risk of ischaemic stroke if they are iron deficient, and that mechanisms are likely to include enhanced aggregation of circulating platelets.</p></div

L1CAM mutation in association with X-linked hydrocephalus and Hirschsprung’s disease

X-linked hydrocephalus (XLH) is characterized by increased intracranial ventricle size and head circumference secondary to aqueduct of Sylvius congenital stenosis. Exceedingly rare is the concurrence of XLH and Hirschsprung’s disease (HSCR) with a theoretical incidence of 1 in 125–250 million cases. Herein, we are describing a case of a patient with concurrent XLH and HSCR. The patient was delivered via cesarean section at 37 weeks gestation and underwent uneventful ventriculoperitoneal shunt placement. As a part of a workup for constipation, we performed a rectal biopsy, which was consistent with HSCR. Genetics testing showed hemizygous for R558X hemizygous mutation in the L1CAM gene. A C → T nucleotide substitution in exon 13 resulted in replacement of an arginine codon with a stop codon, a nonsense mutation. Although it is widely accepted that HSCR represents the failure of early embryonic neural crest cells to migrate properly, the exact mechanism is not known. The association of HSCR with XLH in the presence of L1CAM mutations remains quite interesting because cell adhesion molecules are involved in the proper migration of neural components throughout the body. Additional studies are necessary to fully elucidate the relationship between XLH and HSCR in the presence of L1CAM mutations

High incidence of Noonan Syndrome features including short stature and pulmonic stenosis in patients carrying NF1 missense mutations affecting p.Arg1809: genotype-phenotype correlation

Article first published online: 21 AUG 2015Abstract not availableKitiwan Rojnueangnit ... Christopher P. Barnett ... et al