The spectrum of a first-order sentence is the set of cardinalities of its finite models. Given a spectrum S and a function f, it is not always clear whether or not the image of S under f is also a spectrum. In this paper, we consider questions of this form for functions that increase very quickly and for functions that increase very slowly. Roughly speaking, we prove that the class of all spectra is closed under functions that increase arbitrarily quickly, but it is not closed under some natural slowly increasing functions., Peer-reviewed article, Published.
Proceedings of 2010 IEEE Transforming Engineering Education: Creating Interdisciplinary Skills for Complex Global Environments, Dublin, Ireland, 6-9 April 2010. Most engineering careers will require engineers to work in multi-disciplinary teams. It is necessary for post-secondary institutions to provide opportunities for engineering students to work in multi-disciplinary teams during their education so that they can function and thrive in these environments upon graduation. One model for introducing and sustaining multi-disciplinary engineering education has been to link a number of the British Columbia Institute of Technology's (BCIT) engineering and technology capstone projects with the hub of multi-disciplinary researchers at the BCIT Technology Centre., Conference paper, Published.
Proceedings of 2016 14th Annual Conference on Privacy, Security and Trust (PST) in Auckland, New Zealand 12-14 Dec. 2016. We discuss two related forms of trust. One form of trust is related to the perceived knowledge of other agents; we accept the information that another agent provides if we believe they have sufficient expertise in a particular domain. The second form is related to action; we trust another agent to act on our behalf if we believe they will choose acceptable actions. In this paper, we explore the relationship between these two forms of trust. In particular, we use an existing model of trust to demonstrate how trust over knowledge can determine when trust over actions is appropriate. We take a formal approach to this problem, using logic-based tools for representing and reasoning about actions and beliefs to characterize trust over action. While our primary aim is to develop a formal methodology that permits trust over actions to be defined in terms of trust over knowledge, we also consider applications that are both practical and speculative. On the practical side, we consider how our methods can be used to reason about trusted third parties in communication protocols. On the speculative side, we suggest that models of trust have a role to play in the development of ethical decision-making agents., Conference paper, Published.
The objective of this study was to evaluate the potential use of wood shavings as a raw material for the low consistency (LC) refining at the primary refining stage to significantly reduce electrical energy consumption. It was possible to produce wood shavings with longer fibre length than wood chips. Oxalic acid, followed by alkaline peroxide, was applied to both wood shavings and wood chips before LC refining. LC refined wood shavings were found to be a low energy raw material. The refining energy was reduced by about 33% using wood shavings compared to wood chips at a given freeness, and oxalic acid pretreatment of wood shavings further reduced the refining energy by approximately 57%. Tensile strength and brightness of LC refined wood shavings was found to be higher than high-consistency refined wood chips. Oxalic acid pretreatment further improved the tensile strength of LC refined wood shavings, but not the brightness. This study demonstrates the potential to develop a novel mechanical pulping process that produces high tensile, high brightness pulp with half the electrical energy consumption. Both wood chips and wood shavings produced in the laboratory were used as a feeding material in HC and LC refining processes, respectively. Fibre length of wood shavings was longer than that of wood chips. As refining proceeded, fibre length of LC refined wood shavings was reduced more than that of HC refined wood chips. Oxalic acid pretreatment further reduced the fibre length of LC refined wood shavings. A great advantage of using wood shavings was found in reducing refining energy over wood chips. LC refined wood shavings reduced the refining energy about 33% compared to HC refined wood chips at a given freeness. Oxalic acid followed by alkaline peroxide pretreatment of wood shavings further reduced refining energy by approximately 57%., Peer-reviewed article, Published.
Proceeding of IEEE 8th Conference on PowerElectronics, Jeju Island, South Korea, June 2011.
A strategy is proposed to introduce a limited set of monitoring and control functions into a legacy low voltage distribution substation, and as such integrate it into a larger command and control architecture of a smart Microgrid. The focus of the work shall be on the retrofit strategy of some of the key components for measurement, monitoring, protection and control systems of the substation. Also Volt/VAR optimization of the feeder shall be considered as a part of the design. The article discusses the structure of the substation under study, followed by the actual design of IEC 61850 subsystems for the substation. A simulation model of the pilot project and its results is also included in the paper., Conference paper, Published.
Background & aims: Lycopene has been credited with a number of health benefits including a decrease in prostate cancer risk. Our study investigates the molecular mechanism underlying anti-cancer activity of lycopene-based products in androgen-responsive (LNCaP) and androgen-independent (PC3) cells.
Methods: The effect of lycopene-based agents on prostate cancer growth and survival were examined using proliferation assays, bromodeoxyuridine incorporation and flow cytometric analysis of cellular DNA content. Biochemical effects of lycopene treatment were investigated by immunoblotting for changes in the absolute levels and phosphorylation states of cell cycle regulatory and signalling proteins.
Results: LNCaP and PC3 cells treated with the lycopene-based agents undergo mitotic arrest, accumulating in G0/G1 phase. Immunoblot screening indicated that lycopene's antiproliferative effects are likely achieved through a block in G1/S transition mediated by decreased levels of cyclins D1 and E and cyclin dependent kinase 4 and suppressed Retinoblastoma phosphorylation. These responses correlated with decreased insulin-like growth factor-I receptor expression and activation, increased insulin-like growth factor binding protein 2 expression and decreased AKT activation. Exposure to lycopene at doses as low as 10nM for 48h induced a profound apoptotic response in LNCaP cells. In contrast PC3 cells were resistant to apoptosis at doses up to 1μM.
Conclusions: Lycopene exposure can suppress phosphatidylinositol 3-kinase-dependent proliferative and survival signalling in androgen-responsive LNCaP and androgen-independent PC3 cells suggesting that the molecular mechanisms for the cytostatic and cytotoxic actions of lycopene involve induction of G0/G1 cell cycle arrest. This study supports further examination of lycopene as a potential agent for both the prevention and treatment of prostate cancer., Peer-reviewed article, Published.
This study describes the generation and test of a genetic resource suited to identify determinants of cell biological traits in plants. The use of quantitative trait loci (QTL) mapping for a better genetic understanding of cell biological traits is still at an early stage, even for biotechnologically important cell properties, such as the dimensions of fiber cells. A common strategy, the mapping of QTLs in recombinant inbred line (RIL) populations, is limited by the fact that the existing RIL populations exploit only a small fraction of the existing natural variation. Here, we report the mapping of QTLs impacting on the length of fiber cells in Arabidopsis inflorescence stems in a newly generated RIL population derived from a cross between the accessions Berkeley and the little known Lz-0. Through inbreeding of individual F(2) plants, a total of 159 new F8 lines were produced and genotyped with a set of 49 single nucleotide polymorphism markers. The population was successfully used not only for the mapping of three QTLs controlling fiber length, but also to map five QTL controlling flowering time under short and long-day conditions. Our study demonstrates the usefulness of this new genetic resource by mapping in it QTLs underlying a poorly explored cellular trait as well as an already better explored regulatory pathway. The new RIL population and an online platform for the continuous supplementation of genetic markers will be generally available to substantially broaden the genetic diversity through which loci with impact on plant quantitative traits can be identified., Peer-reviewed article, Published. Received: 1 October 2012, Accepted: 25 January 2014; Published online: 15 February 2014.
We study the dependence of the particle loading rate of a rubidium vapor cell magneto-optic trap (MOT). Using a trap depth determination of the MOT that relies on measurements of loss rates during optical excitation of colliding atoms to a repulsive molecular state, we experimentally determine the MOT escape velocity and show that the loading rate scales with escape velocity to the fourth power, or, equivalently, with the square of the trap depth. We also demonstrate that the loading rate is directly proportional to the background rubidium density. We thus experimentally confirm the loading rate model used in the literature since the invention of the MOT. In addition to confirming this long-standing conjecture, we show that the loading rate dependence can be used to reliably infer the trap depth and to tune the relative depth of a MOT (i.e., capture and escape velocities) when the background density is held fixed. The measurements have allowed an experimental determination of the relationship between capture and escape velocities in our MOTs of 𝑣𝑐=1.29(0.12)𝑣𝑒., Peer-reviewed article, Published.
A kinetic model is developed for cell differentiation in the fern gametophyte to test hypotheses on the role of spatially patterned plasmodesmata networks in development. Of particular interest is the establishment and maintenance of apical cell type in a single cell, with concurrent suppression of this character in all other cells (apical dominance). Steps towards understanding apical cell localization in geometrically simple gametophytes may shed light on the establishment and maintenance of apical meristems in higher plants. The model, based on the plasmodesmata maps of Tilney and colleagues and involving kinetics for a requisite minimum of two morphogens, successfully produces the apical/non‐apical cell differentiation patterns of normal development, and redifferentiation due to cell isolation, in six stages from 0–30 d of development. Our results indicate that increasing apical cell plasmodesmata number, as development progresses, is not required for effective transport across apical cell walls in maintaining apical dominance., Peer-reviewed article, Published. Received: 3 August 2001; Returned for revision: 12 November 2001; Accepted: 17 December 2001.
This paper investigates a novel approach for maintenance scheduling of volt-VAR control components (VVCCs) of distribution networks with the aid of new generation of volt-VAR optimization (VVO) solutions called quasi-real-time VVO. The new quasi-real-time VVO technique optimizes distribution network using advanced metering infrastructure (AMI) data of each quasi-real-time stage. As this VVO performs automatically and online, it is necessary for VVCCs to undergo maintenance without disturbing VVO performance. Moreover, the lost benefits that could be gained by online VVO have to be minimized. Hence, this paper proposes an AMI-based VVO consisting of a VVO engine and a maintenance scheduling engine (MSE) that operate in tandem to optimize distribution network and find the optimal maintenance scheduling of different VVCCs. To test the accuracy and the applicability of the proposed solution, a 33-node distribution feeder is employed. Furthermore, five different maintenance scenarios are investigated to check the proposed VVO performance. The results prove that the integration of VVO with MSE could be a reliable approach that can solve maintenance scheduling of VVCCs without interrupting and/or resetting VVO., Article, Published
We quantify fluctuations in protein expression for three of the segmentation genes in the fruit fly, Drosophila melanogaster. These proteins are representative members of the first three levels of a signalling hierarchy which determines the segmented body plan: maternal (Bicoid protein); gap (Hunchback protein); and pair-rule (Even-skipped protein). We quantify both inter-embryo and inter-nucleus (within a single embryo) variability in expression, especially with respect to positional specification by concentration gradient reading. Errors are quantified both early and late in cleavage cycle 14, during which the protein patterns develop, to study the dynamics of error transmission. We find that Bicoid displays very large positional errors, while expression of the downstream genes, Hunchback and Even-skipped, displays far more precise positioning. This is evidence that the pattern formation of the downstream proteins is at least partially independent of maternal signal, i. e. evidence against simple concentration gradient reading. We also find that fractional errors in concentration increase during cleavage cycle 14., Peer-reviewed article, Published. Received 30 September 2002; Accepted 12 December 2002; Published 16 December 2002.
Mammalian artificial chromosomes (MACs) provide a means to introduce large payloads of genetic information into the cell in an autonomously replicating, non-integrating format. Unique among MACs, the mammalian satellite DNA-based Artificial Chromosome Expression (ACE) can be reproducibly generated de novo in cell lines of different species and readily purified from the host cells' chromosomes. Purified mammalian ACEs can then be re-introduced into a variety of recipient cell lines where they have been stably maintained for extended periods in the absence of selective pressure. In order to extend the utility of ACEs, we have established the ACE System, a versatile and flexible platform for the reliable engineering of ACEs. The ACE System includes a Platform ACE, containing >50 recombination acceptor sites, that can carry single or multiple copies of genes of interest using specially designed targeting vectors (ATV) and a site-specific integrase (ACE Integrase). Using this approach, specific loading of one or two gene targets has been achieved in LMTK− and CHO cells. The use of the ACE System for biological engineering of eukaryotic cells, including mammalian cells, with applications in biopharmaceutical production, transgenesis and gene-based cell therapy is discussed., Peer-reviewed article, Publsihed.