In this paper, we present the framework of constraint functional programming (CFP) for constructing constraint systems over functional programs. The idea is that functional programs can be used in a multiple way either to evaluate expressions or to solve constraints. The ability to solve constraints provides CFP with the novel feature of computing queries over functional programs. A constraint ...

In chapter 10 migration is described in terms of double focussing. In chapter 11 focussing in emission is used to synthesize common focus point gathers (CFP gathers). By comparing aCFPgather with its related focussing operator velocity errors can be detected and the focussing operator can be corrected (Berkhout and Rietveld (1994), Rietveld and Berkhout (1994) , Berkhout (1992), Rietveld and Th...

The contentious relationship between corporate social responsibility (CSR) and financial performance (CFP) has been extensively yet inconclusively debated in the sustainability literature. We further investigate link CSR CFP by examining mediating role of green innovation (GIP). perform pooled ordinary least squares (OLS) analysis on a panel data UK firms from 2006 to 2017 provided ASSET4 datab...

Figure 1. Identification of subcellular markers for in vivo imaging of zebrafish cells. Images of zebrafish Pac2 fibroblasts transfected with pCS2+ constructs encoding fluorescently tagged markers for subcellular labeling 24 h after transfection. (A) b3-Tubulin-GFP, (B) GFP-tubulin, (C) EB1-GFP, (D) GFP-DCX, (E) Tau-GFP, and (F) EB3-GFP. (G) mito-DsRed to label mitochondria in red, YFP-DCX to l...

The factors determining trafficking of the gastric H,K-ATPase to the apical membrane remain elusive. To identify such determinants in the gastric H,K-ATPase, fusion proteins of yellow fluorescent protein (YFP) and the gastric H,K-ATPase beta-subunit (YFP-beta) and cyan fluorescent protein (CFP) and the gastric H,K-ATPase alpha-subunit (CFP-alpha) were expressed in HEK-293 cells. Then plasma mem...

Combination of lactam antibiotic with lactamase inhibitor has been proven to overcome resistance caused by lactamase production. An evaluation to the MIC of some lactam antibiotics to b-lactamase producing isolates will be reported. A.anitratus, E.coli, K.pneumoniae, Proteus sp, Pseudomonas sp, S.aureus, S.epidermidis, S.pneumoniae, S.viridans, and hemolytic Streptococcus, were challe...

Life-cycle (LC) approaches play a significant role in energy policy making to determine the environmental impacts associated with the choice of energy source. Data envelopment analysis (DEA) can be combined with LC approaches to provide quantitative benchmarks that orientate the performance of energy systems towards environmental sustainability, with different implications depending on the sele...

Background: Mycobacterium (M.) bovis is the agent of bovine tuberculosis (TB) in a range of animal species, including humans. Recent advances in immunology and the molecular biology of Mycobacterium have allowed identification of a large number of antigens with the potential for the development of a new TB vaccine. The ESAT-6 and CFP-10 proteins of M. bovis are important structural and function...

We study finite convergence of the modified cyclic subgradient projections (MCSP) algorithm for the convex feasibility problem (CFP) in the Euclidian space. Expanding control sequences allow the indices of the sets of the CFP to re-appear and be used again by the algorithm ∗Currently with the Department of Radiation Oncology, Massachusetts General Hospital and Harvard Medical School, Boston, Ma...

Vaccination of mice with Mycobacterium bovis culture filtrate proteins (CFP), prepared in a variety of adjuvants (aluminum hydroxide, Quil-A, and dimethyldioctyldecyl ammonium bromide [DDA]), provided significant protection against an aerosol challenge of virulent M. bovis. Additionally, vaccination with CFP in DDA or Quil-A did not sensitize mice to M. bovis purified protein derivative.