Joint decisions on inventory replenishment and emission reduction investment under different emission regulations

Cataloged from PDF version of article.Carbon emission regulation policies have emerged as mechanisms to control firms’ carbon emissions. To meet regulatory requirements, firms can make changes in their production planning decisions or invest in green technologies. In this study, we analyse a retailer’s joint decisions on inventory replenishment and carbon emission reduction investment under three carbon emission regulation policies. Particularly, we extend the economic order quantity model to consider carbon emissions reduction investment availability under carbon cap, tax and cap-and-trade policies. We analytically show that carbon emission reduction investment opportunities, additional to reducing emissions as per regulations, further reduce carbon emissions while reducing costs. We also provide an analytical comparison between various investment opportunities and compare different carbon emission regulation policies in terms of costs and emissions. We document the results of a numerical study to further illustrate the effects of investment availability and regulation parameters

An integrated model checking toolset for kernel P systems

P systems are the computational models introduced in the context of membrane computing, a computational paradigm within the more general area of unconventional computing. Kernel P (kP) systems are defined to unify the specification of different variants of P systems, motivated by challenging theoretical aspects and the need to model different problems. kP systems are supported by a software framework, called kPWORKBENCH, which integrates a set of related simulation and verification methodologies and tools. In this paper, we present an extension to kPWORKBENCH with a new model checking framework supporting the formal verification of kP system models. This framework supports both LTL and CTL properties. To make the property specification an easier task, we propose a property language, composed of natural language statements. We demonstrate our proposed methodology with an example

Qualitative and quantitative analysis of systems and synthetic biology constructs using P systems

YesComputational models are perceived as an attractive alternative to mathematical models (e.g., ordinary differential equations). These models incorporate a set of methods for specifying, modeling, testing, and simulating biological systems. In addition, they can be analyzed using algorithmic techniques (e.g., formal verification). This paper shows how formal verification is utilized in systems and synthetic biology through qualitative vs quantitative analysis. Here, we choose two well-known case studies: quorum sensing in P. aeruginosas and pulse generator. The paper reports verification analysis of two systems carried out using some model checking tools, integrated to the Infobiotics Workbench platform, where system models are based on stochastic P systems.EPSR

Examining increased flexibility in assessment formats

There have been calls in the literature for changes to assessment practices in higher education, to increase flexibility and give learners more control over the assessment process (Boud and Falchikov 2006; Nicol and MacFarlane-Dick 2006; Taras 2002). This article explores the possibilities of allowing student choice in the format used to present their work, as a starting point for changing assessment, based on recent studies and current examples of flexible assessment practice in Higher Education. The benefits of this flexible assessment format approach are highlighted, along with a discussion of classic assessment considerations such as validity, reliability and marking concerns. The role of technology in facilitating assessment method choice is considered, in terms of new opportunities for providing student choice in the way they evidence their learning and present their work. Considerations for implementing flexible assessment choices into the curriculum are presented, along with a call that further research into such practice is needed to develop a comprehensive set of practical recommendations and best practice for implementation of flexible assessment choice into the curriculum. The article should be of interest to curriculum developers and academics considering implementing changes to the assessment process to increase student ownership and control

Nitric oxide of human colorectal adenocarcinoma cell lines promotes tumour cell invasion

The present study investigates the role of nitric oxide and the involvement of nitric oxide synthase II isoform on the invasion of human colorectal adenocarcinoma cell lines HRT-18 and HT-29. HRT-18 cells, which constitutively express nitric oxide synthase II mRNA were three-fold more invasive in a Matrigel® invasion assay than nitric oxide synthase II mRNA negative HT-29 cells. Treatment of HT-29 cells with the nitric oxide donor Deta NONOate (50 nM) as well as induction of nitric oxide synthase II mRNA and production of endogenous nitric oxide by inflammatory cytokines (IFN-γ and IL-1α) increased the invasiveness of HT-29 cells by approximately 40% and 75%, respectively. In HT-29 cells nitric oxide synthase II mRNA was also induced in co-culture with human monocytes. The invasiveness of HRT-18 cells and stimulated HT-29 cells was partly inhibited by the nitric oxide synthase II inhibitor 1400 W. These results show that nitric oxide increases the invasion of human colorectal adenocarcinoma cell lines HRT-18 and HT-29, and the involvement of nitric oxide synthase II isoform in tumour cell invasion. Therefore, the production of nitric oxide and secretion of pro-inflammatory cytokines by tumour-associated macrophages, which in turn induce nitric oxide synthase II isoform in tumour cells, promotes tumour cell invasiveness

Convergence among Non-Sister Dendritic Branches: An Activity-Controlled Mean to Strengthen Network Connectivity

The manner by which axons distribute synaptic connections along dendrites remains a fundamental unresolved issue in neuronal development and physiology. We found in vitro and in vivo indications that dendrites determine the density, location and strength of their synaptic inputs by controlling the distance of their branches from those of their neighbors. Such control occurs through collective branch convergence, a behavior promoted by AMPA and NMDA glutamate receptor activity. At hubs of convergence sites, the incidence of axo-dendritic contacts as well as clustering levels, pre- and post-synaptic protein content and secretion capacity of synaptic connections are higher than found elsewhere. This coupling between synaptic distribution and the pattern of dendritic overlapping results in ‘Economical Small World Network’, a network configuration that enables single axons to innervate multiple and remote dendrites using short wiring lengths. Thus, activity-mediated regulation of the proximity among dendritic branches serves to pattern and strengthen neuronal connectivity

Macrophages promote angiogenesis in human breast tumour spheroids in vivo

An in vivo model has been established to study the role of macrophages in the initiation of angiogenesis by human breast tumour spheroids in vivo. The extent of the angiogenic response induced by T47D spheroids implanted into the dorsal skinfold chamber in nude mice was measured in vivo and compared to that induced by spheroids infiltrated with human macrophages prior to implantation. Our results indicate that the presence of macrophages in spheroids resulted in at least a three-fold upregulation in the release of vascular endothelial growth factor (VEGF) in vitro when compared with spheroids composed only of tumour cells. The angiogenic response measured around the spheroids, 3 days after in vivo implantation, was significantly greater in the spheroids infiltrated with macrophages. The number of vessels increased (macrophages vs no macrophages 34±1.9 vs 26±2.5, P<0.01), were shorter in length (macrophages vs no macrophages 116±4.92 vs 136±6.52, P<0.008) with an increased number of junctions (macrophages vs no macrophages 14±0.93 vs 11±1.25, P<0.025) all parameters indicative of new vessel formation. This is the first study to demonstrate a role for macrophages in the initiation of tumour angiogenesis in vivo

Emerging issues and current trends in assistive technology use 2007-1010: practising, assisting and enabling learning for all

Following an earlier review in 2007, a further review of the academic literature relating to the uses of assistive technology (AT) by children and young people was completed, covering the period 2007-2011. As in the earlier review, a tripartite taxonomy: technology uses to train or practise, technology uses to assist learning and technology uses to enable learning, was used in order to structure the findings. The key markers for research in this field and during these three years were user involvement, AT on mobile mainstream devices, the visibility of AT, technology for interaction and collaboration, new and developing interfaces and inclusive design principles. The paper concludes by locating these developments within the broader framework of the Digital Divide

A framework for the first‑person internal sensation of visual perception in mammals and a comparable circuitry for olfactory perception in Drosophila

Perception is a first-person internal sensation induced within the nervous system at the time of arrival of sensory stimuli from objects in the environment. Lack of access to the first-person properties has limited viewing perception as an emergent property and it is currently being studied using third-person observed findings from various levels. One feasible approach to understand its mechanism is to build a hypothesis for the specific conditions and required circuit features of the nodal points where the mechanistic operation of perception take place for one type of sensation in one species and to verify it for the presence of comparable circuit properties for perceiving a different sensation in a different species. The present work explains visual perception in mammalian nervous system from a first-person frame of reference and provides explanations for the homogeneity of perception of visual stimuli above flicker fusion frequency, the perception of objects at locations different from their actual position, the smooth pursuit and saccadic eye movements, the perception of object borders, and perception of pressure phosphenes. Using results from temporal resolution studies and the known details of visual cortical circuitry, explanations are provided for (a) the perception of rapidly changing visual stimuli, (b) how the perception of objects occurs in the correct orientation even though, according to the third-person view, activity from the visual stimulus reaches the cortices in an inverted manner and (c) the functional significance of well-conserved columnar organization of the visual cortex. A comparable circuitry detected in a different nervous system in a remote species-the olfactory circuitry of the fruit fly Drosophila melanogaster-provides an opportunity to explore circuit functions using genetic manipulations, which, along with high-resolution microscopic techniques and lipid membrane interaction studies, will be able to verify the structure-function details of the presented mechanism of perception