3CAM - A NOVEL TERNARY CONTENT ADDRESSABLE MEMORY USING THREE-VALUED LOGIC

Content Addressable Memory (CAM) is a special type of Complementary Metal-Oxide-Semiconductor (CMOS) storage element that allows for a parallel search operation on a memory stack in addition to the read and write operations yielded by a conventional SRAM storage array. In practice, it is often desirable to be able to store a “don’t care” state for faster searching operation. However, commercially available CAM chips are forced to accomplish this functionality by having to include two binary memory storage elements per CAM cell,which is a waste of precious area and power resources. This research presents a novel CAM circuit that achieves the “don’t care” functionality with a single ternary memory storage element. Using the recent development of multiple-voltage-threshold (MVT) CMOS transistors, the functionality of the proposed circuit is validated and characteristics for performance, power consumption, noise immunity, and silicon area are presented. This workpresents the following contributions to the field of CAM and ternary-valued logic:• We present a novel Simple Ternary Inverter (STI) transistor geometry scheme for achieving ternary-valued functionality in existing SOI-CMOS 0.18µm processes.• We present a novel Ternary Content Addressable Memory based on Three-Valued Logic (3CAM) as a single-storage-element CAM cell with “don’t care” functionality.• We explore the application of macro partitioning schemes to our proposed 3CAM array to observe the benefits and tradeoffs of architecture design in the context of power, delay, and area.

Cross-sectional observational study of 208 patients with non-classical urea cycle disorders

Urea cycle disorders (UCDs) are inherited disorders of ammonia detoxification often regarded as mainly of relevance to pediatricians. Based on an increasing number of case studies it has become obvious that a significant number of UCD patients are affected by their disease in a non-classical way: presenting outside the newborn period, following a mild course, presenting with unusual clinical features, or asymptomatic patients with only biochemical signs of a UCD. These patients are surviving into adolescence and adulthood, rendering this group of diseases clinically relevant to adult physicians as well as pediatricians. In preparation for an international workshop we collected data on all patients with non-classical UCDs treated by the participants in 20 European metabolic centres. Information was collected on a cohort of 208 patients 50% of which were ≥ 16 years old. The largest subgroup (121 patients) had X-linked ornithine transcarbamylase deficiency (OTCD) of whom 83 were female and 29% of these were asymptomatic. In index patients, there was a mean delay from first symptoms to diagnosis of 1.6 years. Cognitive impairment was present in 36% of all patients including female OTCD patients (in 31%) and those 41 patients identified presymptomatically following positive newborn screening (in 12%). In conclusion, UCD patients with non-classical clinical presentations require the interest and care of adult physicians and have a high risk of neurological complications. To improve the outcome of UCDs, a greater awareness by health professionals of the importance of hyperammonemia and UCDs, and ultimately avoidance of the still long delay to correctly diagnose the patients, is crucial.

Lower complexity bounds in justification logic

Justification Logic studies epistemic and provability phenomena by introducing justifications/proofs into the language in the form of justification terms. Pure justification logics serve as counterparts of traditional modal epistemic logics, and hybrid logics combine epistemic modalities with justification terms. The computational complexity of pure justification logics is typically lower than that of the corresponding modal logics. Moreover, the so-called reflected fragments, which still contain complete information about the respective justification logics, are known to be in~NP for a wide range of justification logics, pure and hybrid alike. This paper shows that, under reasonable additional restrictions, these reflected fragments are NP-complete, thereby proving a matching lower bound. The proof method is then extended to provide a uniform proof that the corresponding full pure justification logics are $\Pi^p_2$-hard, reproving and generalizing an earlier result by Milnikel.

Object-Oriented Legacy System Trace-based Logic Testing

When reengineering legacy systems, it is crucial to assess if the legacy behavior has been preserved or how it changed due to the reengineering effort. Ideally if a legacy system is covered by tests, running the tests on the new version can identify potential differences or discrepancies. However, writing tests for an unknown and large system is difficult due to the lack of internal knowledge. It is especially difficult to bring the system to an appropriate state. Our solution is based on the acknowledgment that one of the few trustable piece of information available when approaching a legacy system is the running system itself. Our approach reifies the execution traces and uses logic programming to express tests on them. Thereby it eliminates the need to programatically bring the system in a particular state, and handles the test-writer a high-level abstraction mechanism to query the trace. The resulting system, called TESTLOG, was used on several real-world case studies to validate our claims.

TRIO LOGIC REGRESSION - DETECTION OF SNP - SNP INTERACTIONS IN CASE-PARENT TRIOS

Statistical approaches to evaluate higher order SNP-SNP and SNP-environment interactions are critical in genetic association studies, as susceptibility to complex disease is likely to be related to the interaction of multiple SNPs and environmental factors. Logic regression (Kooperberg et al., 2001; Ruczinski et al., 2003) is one such approach, where interactions between SNPs and environmental variables are assessed in a regression framework, and interactions become part of the model search space. In this manuscript we extend the logic regression methodology, originally developed for cohort and case-control studies, for studies of trios with affected probands. Trio logic regression accounts for the linkage disequilibrium (LD) structure in the genotype data, and accommodates missing genotypes via haplotype-based imputation. We also derive an efficient algorithm to simulate case-parent trios where genetic risk is determined via epistatic interactions.

Post-mortem radiological CT identification based on classical ante-mortem X-ray examinations

Radiological identification is important in forensic medicine. Identification using comparison of individualising structures with ante- and post-mortem conventional radiographs has been known for a long time. New radiological procedures such as computed tomography (CT) and magnetic resonance imaging (MRI) are being increasingly used for identification. In this paper, a new comparative approach using various radiological methods is described and its application demonstrated. This new approach is the comparison of ante-mortem conventional radiographs with projected images calculated from post-mortem CT data. The identification procedure will be illustrated with reference to the frontal sinus and the pelvis.

Nonstructural proteins NS2-3 and NS4A of classical swine fever virus: essential features for infectious particle formation

The nonstructural protein NS2-3 of pestiviruses undergoes tightly regulated processing. For bovine viral diarrhea virus it was shown that uncleaved NS2-3 is required for infectious particle formation while cleaved NS3 is essential for genome replication. To further investigate the functions of NS2-3 and NS4A in the pestivirus life cycle, we established T7 RNA polymerase-dependent trans-complementation for p7-NS2-3-4A of classical swine fever virus (CSFV). Expression of NS2-3 and NS4A in trans restored the production of infectious particles from genomes lacking NS2-3 expression. Co-expression of cleaved NS4A was essential. None of the enzymatic activities harbored by NS2-3 were required for infectious particle formation. Importantly, expression of uncleavable NS2-3 together with NS4A rescued infectious particles from a genome lacking NS2, demonstrating that cleaved NS2 per se has no additional essential function. These data indicate that NS2-3 and NS3, each in association with NS4A, have independent functions in the CSFV life cycle.

Prevalence of classical swine fever, Aujeszky's disease and brucellosis in a population of wild boar in Switzerland

During two survey rounds of a national surveillance system for infectious diseases in wild boar in Switzerland, each lasting four months from November to February, between 2001 and 2003, 1949 blood samples and 62 tissue samples from the spleen and 50 from the reproductive organs were collected from hunted wild boar. The survey was designed so that freedom from infection could be detected with a probability of 95 per cent at a threshold prevalence of less than 1 per cent for classical swine fever and Aujeszky's disease and less than 1.5 per cent for brucellosis. There was no serological evidence of classical swine fever or Aujeszky's disease, but brucellosis due to Brucella suis biovar 2 was confirmed serologically and by bacterial isolation.

Unilateral focal polymicrogyria in a patient with classical Aarskog-Scott syndrome due to a novel missense mutation in an evolutionary conserved RhoGEF domain of the faciogenital dysplasia gene FGD1

Faciogenital dysplasia or Aarskog-Scott syndrome (AAS) is an X-linked disorder characterized by craniofacial, skeletal, and urogenital malformations and short stature. Mutations in the only known causative gene FGD1 are found in about one-fifth of the cases with the clinical diagnosis of AAS. FGD1 is a guanine nucleotide exchange factor (GEF) that specifically activates the Rho GTPase Cdc42 via its RhoGEF domain. The Cdc42 pathway is involved in skeletal formation and multiple aspects of neuronal development. We describe a boy with typical AAS and, in addition, unilateral focal polymicrogyria (PMG), a feature hitherto unreported in AAS. Sequencing of the FGD1 gene in the index case and his mother revealed the presence of a novel mutation (1396A>G; M466V), located in the evolutionary conserved alpha-helix 4 of the RhoGEF domain. M466V was not found in healthy family members, in >300 healthy controls and AAS patients, and has not been reported in the literature or mutation databases to date, indicating that this novel missense mutation causes AAS, and possibly PMG. Brain cortex malformations such as PMG could be initiated by mutations in the evolutionary conserved RhoGEF domain of FGD1, by perturbing the signaling via Rho GTPases such as Cdc42 known to cause brain malformation.