Multiple Dipole Source Models for Scalp-Recorded Event-Related Potentials: Example from Complex Visual Processing in the Human Brain

2000 Mathematics Subject Classification: 62P10, 92C20

Detection and quantification of protein oxidation in sarcopenic models:a mass spectrometry study

Oxidised biomolecules in aged tissue could potentially be used as biomarkers for age-related diseases; however, it is still unclear whether they causatively contribute to ageing or are consequences of the ageing process. To assess the potential of using protein oxidation as markers of ageing, mass spectrometry (MS) was employed for the identification and quantification of oxidative modifications in obese (ob/ob) mice. Lean muscle mass and strength is reduced in obesity, representing a sarcopenic model in which the levels of oxidation can be evaluated for different muscular systems including calcium homeostasis, metabolism and contractility. Several oxidised residues were identified by tandem MS (MS/MS) in both muscle homogenate and isolated sarcoplasmic reticulum (SR), an organelle that regulates intracellular calcium levels in muscle. These modifications include oxidation of methionine, cysteine, tyrosine, and tryptophan in several proteins such as sarcoplasmic reticulum calcium ATPase (SERCA), glycogen phosphorylase, and myosin. Once modifications had been identified, multiple reaction monitoring MS (MRM) was used to quantify the percentage modification of oxidised residues within the samples. Preliminary data suggests proteins in ob/ob mice are more oxidised than the controls. For example SERCA, which constitutes 60-70% of the SR, had approximately a 2-fold increase in cysteine trioxidation of Cys561 in the obese model when compared to the control. Other obese muscle proteins have also shown a similar increase in oxidation for various residues. Further analysis with complex protein mixtures will determine the potential diagnostic use of MRM experiments for analysing protein oxidation in small biological samples such as muscle needle biopsies.

A low mortality, high morbidity Reduced Intensity Status Epilepticus (RISE) model of epilepsy and epileptogenesis in the rat

Animal models of acquired epilepsies aim to provide researchers with tools for use in understanding the processes underlying the acquisition, development and establishment of the disorder. Typically, following a systemic or local insult, vulnerable brain regions undergo a process leading to the development, over time, of spontaneous recurrent seizures. Many such models make use of a period of intense seizure activity or status epilepticus, and this may be associated with high mortality and/or global damage to large areas of the brain. These undesirable elements have driven improvements in the design of chronic epilepsy models, for example the lithium-pilocarpine epileptogenesis model. Here, we present an optimised model of chronic epilepsy that reduces mortality to 1% whilst retaining features of high epileptogenicity and development of spontaneous seizures. Using local field potential recordings from hippocampus in vitro as a probe, we show that the model does not result in significant loss of neuronal network function in area CA3 and, instead, subtle alterations in network dynamics appear during a process of epileptogenesis, which eventually leads to a chronic seizure state. The model’s features of very low mortality and high morbidity in the absence of global neuronal damage offer the chance to explore the processes underlying epileptogenesis in detail, in a population of animals not defined by their resistance to seizures, whilst acknowledging and being driven by the 3Rs (Replacement, Refinement and Reduction of animal use in scientific procedures) principles.

Some extended psychological benefits of challenging social stereotypes:decreased dehumanization and a reduced reliance on heuristic thinking

One way to promote equality is to encourage people to generate counterstereotypic role models. In two experiments, we demonstrate that such interventions have much broader benefits than previously thoughtreducing a reliance on heuristic thinking and decreasing tendencies to dehumanize outgroups. In Experiment 1, participants who thought about a gender counterstereotype (e.g., a female mechanic) demonstrated a generalized decrease in dehumanization towards a range of unrelated target groups (including asylum seekers and the homeless). In Experiment 2 we replicated these findings using alternative targets and measures of dehumanization. Furthermore, we found the effect was mediated by a reduced reliance on heuristic thinking. The findings suggest educational initiatives that aim to challenge social stereotypes may not only have societal benefits (generalized tolerance), but also tangible benefits for individuals (enhanced cognitive flexibility).

Neumann versus Leontief. Két modell – két gazdaságkép (Neumann vs Leontief. Two models, two approaches to the economy)

A szerző a tisztán elméleti célokra kifejlesztett Neumann-modellt és a gyakorlati alkalmazások céljára kifejlesztett Leontief-modellt veti össze. A Neumann-modell és a Leontief-modell éves termelési periódust feltételező, zárt, stacionárius változatának hasonló matematikai struktúrája azt a feltételezést sugallja, hogy az utóbbi a Neumann-modell sajátos eseteként értelmezhető. Az egyes modellek közgazdasági tartalmát és feltevéseit részletesen kibontva és egymással összevetve a szerző megmutatja, hogy a fenti következtetés félrevezető, két merőben különböző modellről van szó, nem lehet az egyikből a másikat levezetni. Az ikertermelés és technológiai választék lehetősége a Neumann-modell elengedhetetlen feltevése, az éves termelési periódus feltevése pedig kizárja folyam jellegű kibocsátások explicit figyelembevételét. Mindezek feltevések ugyanakkor idegenek a Leontief-modelltől. A két modell valójában egy általánosabb állomány–folyam jellegű zárt, stacionárius modell sajátos esete, méghozzá azok folyamváltozókra redukált alakja. _____ The paper compares the basic assumptions and methodology of the Von Neumann model, developed for purely abstract theoretical purposes, and those of the Leontief model, designed originally for practical applications. Study of the similar mathematical structures of the Von Neumann model and the closed, stationary Leontief model, with a unit length of production period, often leads to the false conclusion that the latter is just a simplified version of the former. It is argued that the economic assumptions of the two models are quite different, which makes such an assertion unfounded. Technical choice and joint production are indispensable features of the Von Neumann model, and the assumption of unitary length of production period excludes the possibility of taking service flows explicitly into account. All these features are completely alien to the Leontief model, however. It is shown that the two models are in fact special cases of a more general stock-flow stationary model, reduced to forms containing only flow variables.

Reduced-parameter model of head-related transfer functions for synthesized spatial audio

Digital systems can generate left and right audio channels that create the effect of virtual sound source placement (spatialization) by processing an audio signal through pairs of Head-Related Transfer Functions (HRTFs) or, equivalently, Head-Related Impulse Responses (HRIRs). The spatialization effect is better when individually-measured HRTFs or HRIRs are used than when generic ones (e.g., from a mannequin) are used. However, the measurement process is not available to the majority of users. There is ongoing interest to find mechanisms to customize HRTFs or HRIRs to a specific user, in order to achieve an improved spatialization effect for that subject. Unfortunately, the current models used for HRTFs and HRIRs contain over a hundred parameters and none of those parameters can be easily related to the characteristics of the subject. This dissertation proposes an alternative model for the representation of HRTFs, which contains at most 30 parameters, all of which have a defined functional significance. It also presents methods to obtain the value of parameters in the model to make it approximately equivalent to an individually-measured HRTF. This conversion is achieved by the systematic deconstruction of HRIR sequences through an augmented version of the Hankel Total Least Squares (HTLS) decomposition approach. An average 95% match (fit) was observed between the original HRIRs and those re-constructed from the Damped and Delayed Sinusoids (DDSs) found by the decomposition process, for ipsilateral source locations. The dissertation also introduces and evaluates an HRIR customization procedure, based on a multilinear model implemented through a 3-mode tensor, for mapping of anatomical data from the subjects to the HRIR sequences at different sound source locations. This model uses the Higher-Order Singular Value Decomposition (HOSVD) method to represent the HRIRs and is capable of generating customized HRIRs from easily attainable anatomical measurements of a new intended user of the system. Listening tests were performed to compare the spatialization performance of customized, generic and individually-measured HRIRs when they are used for synthesized spatial audio. Statistical analysis of the results confirms that the type of HRIRs used for spatialization is a significant factor in the spatialization success, with the customized HRIRs yielding better results than generic HRIRs.

Peak -to -average power ratio reduced parallel interference cancellation Multicarrier-Code Division Multiple Access system with anti -interference property

Orthogonal Frequency-Division Multiplexing (OFDM) has been proved to be a promising technology that enables the transmission of higher data rate. Multicarrier Code-Division Multiple Access (MC-CDMA) is a transmission technique which combines the advantages of both OFDM and Code-Division Multiplexing Access (CDMA), so as to allow high transmission rates over severe time-dispersive multi-path channels without the need of a complex receiver implementation. Also MC-CDMA exploits frequency diversity via the different subcarriers, and therefore allows the high code rates systems to achieve good Bit Error Rate (BER) performances. Furthermore, the spreading in the frequency domain makes the time synchronization requirement much lower than traditional direct sequence CDMA schemes. There are still some problems when we use MC-CDMA. One is the high Peak-to-Average Power Ratio (PAPR) of the transmit signal. High PAPR leads to nonlinear distortion of the amplifier and results in inter-carrier self-interference plus out-of-band radiation. On the other hand, suppressing the Multiple Access Interference (MAI) is another crucial problem in the MC-CDMA system. Imperfect cross-correlation characteristics of the spreading codes and the multipath fading destroy the orthogonality among the users, and then cause MAI, which produces serious BER degradation in the system. Moreover, in uplink system the received signals at a base station are always asynchronous. This also destroys the orthogonality among the users, and hence, generates MAI which degrades the system performance. Besides those two problems, the interference should always be considered seriously for any communication system. In this dissertation, we design a novel MC-CDMA system, which has low PAPR and mitigated MAI. The new Semi-blind channel estimation and multi-user data detection based on Parallel Interference Cancellation (PIC) have been applied in the system. The Low Density Parity Codes (LDPC) has also been introduced into the system to improve the performance. Different interference models are analyzed in multi-carrier communication systems and then the effective interference suppression for MC-CDMA systems is employed in this dissertation. The experimental results indicate that our system not only significantly reduces the PAPR and MAI but also effectively suppresses the outside interference with low complexity. Finally, we present a practical cognitive application of the proposed system over the software defined radio platform.

A generic model of execution for synthesizing domain-specific models

Software engineering researchers are challenged to provide increasingly more powerful levels of abstractions to address the rising complexity inherent in software solutions. One new development paradigm that places models as abstraction at the forefront of the development process is Model-Driven Software Development (MDSD). MDSD considers models as first class artifacts, extending the capability for engineers to use concepts from the problem domain of discourse to specify apropos solutions. A key component in MDSD is domain-specific modeling languages (DSMLs) which are languages with focused expressiveness, targeting a specific taxonomy of problems. The de facto approach used is to first transform DSML models to an intermediate artifact in a HLL e.g., Java or C++, then execute that resulting code.^ Our research group has developed a class of DSMLs, referred to as interpreted DSMLs (i-DSMLs), where models are directly interpreted by a specialized execution engine with semantics based on model changes at runtime. This execution engine uses a layered architecture and is referred to as a domain-specific virtual machine (DSVM). As the domain-specific model being executed descends the layers of the DSVM the semantic gap between the user-defined model and the services being provided by the underlying infrastructure is closed. The focus of this research is the synthesis engine, the layer in the DSVM which transforms i-DSML models into executable scripts for the next lower layer to process.^ The appeal of an i-DSML is constrained as it possesses unique semantics contained within the DSVM. Existing DSVMs for i-DSMLs exhibit tight coupling between the implicit model of execution and the semantics of the domain, making it difficult to develop DSVMs for new i-DSMLs without a significant investment in resources.^ At the onset of this research only one i-DSML had been created for the user- centric communication domain using the aforementioned approach. This i-DSML is the Communication Modeling Language (CML) and its DSVM is the Communication Virtual machine (CVM). A major problem with the CVM's synthesis engine is that the domain-specific knowledge (DSK) and the model of execution (MoE) are tightly interwoven consequently subsequent DSVMs would need to be developed from inception with no reuse of expertise.^ This dissertation investigates how to decouple the DSK from the MoE and subsequently producing a generic model of execution (GMoE) from the remaining application logic. This GMoE can be reused to instantiate synthesis engines for DSVMs in other domains. The generalized approach to developing the model synthesis component of i-DSML interpreters utilizes a reusable framework loosely coupled to DSK as swappable framework extensions.^ This approach involves first creating an i-DSML and its DSVM for a second do- main, demand-side smartgrid, or microgrid energy management, and designing the synthesis engine so that the DSK and MoE are easily decoupled. To validate the utility of the approach, the SEs are instantiated using the GMoE and DSKs of the two aforementioned domains and an empirical study to support our claim of reduced developmental effort is performed.^

Peak-to-Average Power Ratio Reduced Parallel Interference Cancellation Multicarrier-Code Division Multiple Access System with Anti-Interference Property

Orthogonal Frequency-Division Multiplexing (OFDM) has been proved to be a promising technology that enables the transmission of higher data rate. Multicarrier Code-Division Multiple Access (MC-CDMA) is a transmission technique which combines the advantages of both OFDM and Code-Division Multiplexing Access (CDMA), so as to allow high transmission rates over severe time-dispersive multi-path channels without the need of a complex receiver implementation. Also MC-CDMA exploits frequency diversity via the different subcarriers, and therefore allows the high code rates systems to achieve good Bit Error Rate (BER) performances. Furthermore, the spreading in the frequency domain makes the time synchronization requirement much lower than traditional direct sequence CDMA schemes. There are still some problems when we use MC-CDMA. One is the high Peak-to-Average Power Ratio (PAPR) of the transmit signal. High PAPR leads to nonlinear distortion of the amplifier and results in inter-carrier self-interference plus out-of-band radiation. On the other hand, suppressing the Multiple Access Interference (MAI) is another crucial problem in the MC-CDMA system. Imperfect cross-correlation characteristics of the spreading codes and the multipath fading destroy the orthogonality among the users, and then cause MAI, which produces serious BER degradation in the system. Moreover, in uplink system the received signals at a base station are always asynchronous. This also destroys the orthogonality among the users, and hence, generates MAI which degrades the system performance. Besides those two problems, the interference should always be considered seriously for any communication system. In this dissertation, we design a novel MC-CDMA system, which has low PAPR and mitigated MAI. The new Semi-blind channel estimation and multi-user data detection based on Parallel Interference Cancellation (PIC) have been applied in the system. The Low Density Parity Codes (LDPC) has also been introduced into the system to improve the performance. Different interference models are analyzed in multi-carrier communication systems and then the effective interference suppression for MC-CDMA systems is employed in this dissertation. The experimental results indicate that our system not only significantly reduces the PAPR and MAI but also effectively suppresses the outside interference with low complexity. Finally, we present a practical cognitive application of the proposed system over the software defined radio platform.

Exploring business models to provide a foundation for enhanced eye care services in high street optometric practice

High street optometric practices are for-profit businesses. They mostly provide sight testing and eye examination services and sell optical products, such as spectacles and contact lenses. The sight testing services are often sold at a vastly reduced price and profits are generated primarily through high margin spectacle sales, in a loss leading strategy. Published literature highlights weaknesses in this strategy as it forms a barrier to widening the scope of services provided within optometric practices. This includes specialist non-refraction based services, such as shared care. In addition this business strategy discourages investment in advanced diagnostic equipment and higher professional qualifications. The aim of this thesis was to develop a greater understanding of the traditional loss-leading strategy. The thesis also aimed to assess the plausibility of alternative business models to support the development of specialist non-refraction services within high street optometric practice. This research was based on a single independent optometric practice that specialises in advanced retinal imaging and offers a broad range of shared care services. Specialist non-refraction based services were found to be poor generators of spectacle sales likely due to patient needs and presenting concerns. Alternative business strategies to support these services included charging more realistic professional fees via cost-based pricing and monthly payment plans. These strategies enabled specialist services to be more self-sustainable with less reliance on cross-subsidy from spectacle sales. Furthermore, improving operational efficiency can increase stand-alone profits for specialist services.Practice managers may be reluctant to increase professional fees due to market pressures and confidence. However, this thesis found that patients were accepting of increased professional fees. Practice managers can implement alternative business models to enhance eye care provision in high street optometric practices. These alternative business models also improve revenues and profits generated via clinical services and improve patient loyalty.

Maternal HIV-1 envelope-specific antibody responses and reduced risk of perinatal transmission.

Despite the wide availability of antiretroviral drugs, more than 250,000 infants are vertically infected with HIV-1 annually, emphasizing the need for additional interventions to eliminate pediatric HIV-1 infections. Here, we aimed to define humoral immune correlates of risk of mother-to-child transmission (MTCT) of HIV-1, including responses associated with protection in the RV144 vaccine trial. Eighty-three untreated, HIV-1-transmitting mothers and 165 propensity score-matched nontransmitting mothers were selected from the Women and Infants Transmission Study (WITS) of US nonbreastfeeding, HIV-1-infected mothers. In a multivariable logistic regression model, the magnitude of the maternal IgG responses specific for the third variable loop (V3) of the HIV-1 envelope was predictive of a reduced risk of MTCT. Neutralizing Ab responses against easy-to-neutralize (tier 1) HIV-1 strains also predicted a reduced risk of peripartum transmission in secondary analyses. Moreover, recombinant maternal V3-specific IgG mAbs mediated neutralization of autologous HIV-1 isolates. Thus, common V3-specific Ab responses in maternal plasma predicted a reduced risk of MTCT and mediated autologous virus neutralization, suggesting that boosting these maternal Ab responses may further reduce HIV-1 MTCT.

Association of HIV-1 Envelope-Specific Breast Milk IgA Responses with Reduced Risk of Postnatal Mother-to-Child Transmission of HIV-1.

UNLABELLED: Infants born to HIV-1-infected mothers in resource-limited areas where replacement feeding is unsafe and impractical are repeatedly exposed to HIV-1 throughout breastfeeding. Despite this, the majority of infants do not contract HIV-1 postnatally, even in the absence of maternal antiretroviral therapy. This suggests that immune factors in breast milk of HIV-1-infected mothers help to limit vertical transmission. We compared the HIV-1 envelope-specific breast milk and plasma antibody responses of clade C HIV-1-infected postnatally transmitting and nontransmitting mothers in the control arm of the Malawi-based Breastfeeding Antiretrovirals and Nutrition Study using multivariable logistic regression modeling. We found no association between milk or plasma neutralization activity, antibody-dependent cell-mediated cytotoxicity, or HIV-1 envelope-specific IgG responses and postnatal transmission risk. While the envelope-specific breast milk and plasma IgA responses also did not reach significance in predicting postnatal transmission risk in the primary model after correction for multiple comparisons, subsequent exploratory analysis using two distinct assay methodologies demonstrated that the magnitudes of breast milk total and secretory IgA responses against a consensus HIV-1 envelope gp140 (B.con env03) were associated with reduced postnatal transmission risk. These results suggest a protective role for mucosal HIV-1 envelope-specific IgA responses in the context of postnatal virus transmission. This finding supports further investigations into the mechanisms by which mucosal IgA reduces risk of HIV-1 transmission via breast milk and into immune interventions aimed at enhancing this response. IMPORTANCE: Infants born to HIV-1-infected mothers are repeatedly exposed to the virus in breast milk. Remarkably, the transmission rate is low, suggesting that immune factors in the breast milk of HIV-1-infected mothers help to limit transmission. We compared the antibody responses in plasma and breast milk of HIV-1-transmitting and -nontransmitting mothers to identify responses that correlated with reduced risk of postnatal HIV-1 transmission. We found that neither plasma nor breast milk IgG antibody responses were associated with risk of HIV-1 transmission. In contrast, the magnitudes of the breast milk IgA and secretory IgA responses against HIV-1 envelope proteins were associated with reduced risk of postnatal HIV-1 transmission. The results of this study support further investigations of the mechanisms by which mucosal IgA may reduce the risk of HIV-1 transmission via breastfeeding and the development of strategies to enhance milk envelope-specific IgA responses to reduce mother-to-child HIV transmission and promote an HIV-free generation.

Interpreting Human Genetic Variation through Genomics and In Vivo Models

Improvements in genomic technology, both in the increased speed and reduced cost of sequencing, have expanded the appreciation of the abundance of human genetic variation. However the sheer amount of variation, as well as the varying type and genomic content of variation, poses a challenge in understanding the clinical consequence of a single mutation. This work uses several methodologies to interpret the observed variation in the human genome, and presents novel strategies for the prediction of allele pathogenicity.

Using the zebrafish model system as an in vivo assay of allele function, we identified a novel driver of Bardet-Biedl Syndrome (BBS) in CEP76. A combination of targeted sequencing of 785 cilia-associated genes in a cohort of BBS patients and subsequent in vivo functional assays recapitulating the human phenotype gave strong evidence for the role of CEP76 mutations in the pathology of an affected family. This portion of the work demonstrated the necessity of functional testing in validating disease-associated mutations, and added to the catalogue of known BBS disease genes.

Further study into the role of copy-number variations (CNVs) in a cohort of BBS patients showed the significant contribution of CNVs to disease pathology. Using high-density array comparative genomic hybridization (aCGH) we were able to identify pathogenic CNVs as small as several hundred bp. Dissection of constituent gene and in vivo experiments investigating epistatic interactions between affected genes allowed for an appreciation of several paradigms by which CNVs can contribute to disease. This study revealed that the contribution of CNVs to disease in BBS patients is much higher than previously expected, and demonstrated the necessity of consideration of CNV contribution in future (and retrospective) investigations of human genetic disease.

Finally, we used a combination of comparative genomics and in vivo complementation assays to identify second-site compensatory modification of pathogenic alleles. These pathogenic alleles, which are found compensated in other species (termed compensated pathogenic deviations [CPDs]), represent a significant fraction (from 3 – 10%) of human disease-associated alleles. In silico pathogenicity prediction algorithms, a valuable method of allele prioritization, often misrepresent these alleles as benign, leading to omission of possibly informative variants in studies of human genetic disease. We created a mathematical model that was able to predict CPDs and putative compensatory sites, and functionally showed in vivo that second-site mutation can mitigate the pathogenicity of disease alleles. Additionally, we made publically available an in silico module for the prediction of CPDs and modifier sites.

These studies have advanced the ability to interpret the pathogenicity of multiple types of human variation, as well as made available tools for others to do so as well.

Bile acids destabilise HIF-1α and promote anti-tumour phenotypes in cancer cell models

BACKGROUND: The role of the microbiome has become synonymous with human health and disease. Bile acids, as essential components of the microbiome, have gained sustained credibility as potential modulators of cancer progression in several disease models. At physiological concentrations, bile acids appear to influence cancer phenotypes, although conflicting data surrounds their precise physiological mechanism of action. Previously, we demonstrated bile acids destabilised the HIF-1α subunit of the Hypoxic-Inducible Factor-1 (HIF-1) transcription factor. HIF-1 overexpression is an early biomarker of tumour metastasis and is associated with tumour resistance to conventional therapies, and poor prognosis in a range of different cancers. METHODS: Here we investigated the effects of bile acids on the cancer growth and migratory potential of cell lines where HIF-1α is known to be active under hypoxic conditions. HIF-1α status was investigated in A-549 lung, DU-145 prostate and MCF-7 breast cancer cell lines exposed to bile acids (CDCA and DCA). Cell adhesion, invasion, migration was assessed in DU-145 cells while clonogenic growth was assessed in all cell lines. RESULTS: Intracellular HIF-1α was destabilised in the presence of bile acids in all cell lines tested. Bile acids were not cytotoxic but exhibited greatly reduced clonogenic potential in two out of three cell lines. In the migratory prostate cancer cell line DU-145, bile acids impaired cell adhesion, migration and invasion. CDCA and DCA destabilised HIF-1α in all cells and significantly suppressed key cancer progression associated phenotypes; clonogenic growth, invasion and migration in DU-145 cells. CONCLUSIONS: These findings suggest previously unobserved roles for bile acids as physiologically relevant molecules targeting hypoxic tumour progression.

A Generic Model of Execution for Synthesizing Domain-Specific Models

Software engineering researchers are challenged to provide increasingly more pow- erful levels of abstractions to address the rising complexity inherent in software solu- tions. One new development paradigm that places models as abstraction at the fore- front of the development process is Model-Driven Software Development (MDSD). MDSD considers models as first class artifacts, extending the capability for engineers to use concepts from the problem domain of discourse to specify apropos solutions. A key component in MDSD is domain-specific modeling languages (DSMLs) which are languages with focused expressiveness, targeting a specific taxonomy of problems. The de facto approach used is to first transform DSML models to an intermediate artifact in a HLL e.g., Java or C++, then execute that resulting code. Our research group has developed a class of DSMLs, referred to as interpreted DSMLs (i-DSMLs), where models are directly interpreted by a specialized execution engine with semantics based on model changes at runtime. This execution engine uses a layered architecture and is referred to as a domain-specific virtual machine (DSVM). As the domain-specific model being executed descends the layers of the DSVM the semantic gap between the user-defined model and the services being provided by the underlying infrastructure is closed. The focus of this research is the synthesis engine, the layer in the DSVM which transforms i-DSML models into executable scripts for the next lower layer to process. The appeal of an i-DSML is constrained as it possesses unique semantics contained within the DSVM. Existing DSVMs for i-DSMLs exhibit tight coupling between the implicit model of execution and the semantics of the domain, making it difficult to develop DSVMs for new i-DSMLs without a significant investment in resources. At the onset of this research only one i-DSML had been created for the user- centric communication domain using the aforementioned approach. This i-DSML is the Communication Modeling Language (CML) and its DSVM is the Communication Virtual machine (CVM). A major problem with the CVM’s synthesis engine is that the domain-specific knowledge (DSK) and the model of execution (MoE) are tightly interwoven consequently subsequent DSVMs would need to be developed from inception with no reuse of expertise. This dissertation investigates how to decouple the DSK from the MoE and sub- sequently producing a generic model of execution (GMoE) from the remaining appli- cation logic. This GMoE can be reused to instantiate synthesis engines for DSVMs in other domains. The generalized approach to developing the model synthesis com- ponent of i-DSML interpreters utilizes a reusable framework loosely coupled to DSK as swappable framework extensions. This approach involves first creating an i-DSML and its DSVM for a second do- main, demand-side smartgrid, or microgrid energy management, and designing the synthesis engine so that the DSK and MoE are easily decoupled. To validate the utility of the approach, the SEs are instantiated using the GMoE and DSKs of the two aforementioned domains and an empirical study to support our claim of reduced developmental effort is performed.