A state-contingent production approach to principal-agent problems with an application to point-source pollution control

Two basic representations of principal-agent relationships, the 'state-space' and 'parameterized distribution' formulations, have emerged. Although the state-space formulation appears more natural, analytical studies using this formulation have had limited success. This paper develops a state-space formulation of the moral-hazard problem using a general representation of production under uncertainty. A closed-form solution for the agency-cost problem is derived. Comparative-static results are deduced. Next we solve the principal's problem of selecting the optimal output given the agency-cost function. The analysis is applied to the problem of point-source pollution control. (C) 1998 Published by Elsevier Science S.A. All rights reserved.

Photolytic manipulation of [Ca2+](i) reveals slow kinetics of potassium channels underlying the afterhyperpolarization in hipppocampal pyramidal neurons

The identity of the potassium channel underlying the slow, apamin-insensitive component of the afterhyperpolarization current (sl(AHP)) remains unknown. We studied sl(AHP) in CA1 pyramidal neurons using simultaneous whole-cell recording, calcium fluorescence imaging, and flash photolysis of caged compounds. Intracellular calcium concentration ([Ca2+](i)) peaked earlier and decayed more rapidly than sl(AHP). Loading cells with low concentrations of the calcium chelator EGTA slowed the activation and decay of sl(AHP). In the presence of EGTA, intracellular calcium decayed with two time constants. When [Ca2+](i) was increased rapidly after photolysis of DM-Nitrophen, both apamin-sensitive and apamin-insensitive outward currents were activated. The apamin-sensitive current activated rapidly (<20 msec), whereas the apamin-insensitive current activated more slowly (180 msec). The apamin-insensitive current was reduced by application of serotonin and carbachol, confirming that it was caused by sl(AHP) channels. When [Ca2+](i) was decreased rapidly via photolysis of diazo-2, the decay of sl(AHP) was similar to control (1.7 sec). All results could be reproduced by a model potassium channel gated by calcium, suggesting that the channels underlying sl(AHP) have intrinsically slow kinetics because of their high affinity for calcium.

Effects of medium thermoelasticity on high Rayleigh number steady-state heat transfer and mineralization in deformable fluid-saturated porous media heated from below

In this paper, a solution method is presented to deal with fully coupled problems between medium deformation, pore-fluid flow and heat transfer in fluid-saturated porous media having supercritical Rayleigh numbers. To validate the present solution method, analytical solutions to a benchmark problem are derived for some special cases. After the solution method is validated, a numerical study is carried out to investigate the effects of medium thermoelasticity on high Rayleigh number steady-state heat transfer and mineralization in fluid-saturated media when they are heated from below. The related numerical results have demonstrated that: (1) medium thermoelasticity has a little influence on the overall pattern of convective pore-fluid flow, but it has a considerable effect on the localization of medium deformation, pore-fluid flow, heat transfer and mineralization in a porous medium, especially when the porous medium is comprised of soft rock masses; (2) convective pore-fluid flow plays a very important role in the localization of medium deformation, heat transfer and mineralization in a porous medium. (C) 1999 Elsevier Science S.A. All rights reserved.

A pore-size-dependent equation of state for multilayer adsorption in cylindrical mesopores

The chemical potential of adsorbed film inside cylindrical mesopores is dependent on the attractive interactions between the adsorbed molecules and adsorbent, the curvature of gas/adsorbed phase interface, and surface tension. A state equation of the adsorbed film is proposed to take into account the above factors. Nitrogen adsorption on model adsorbents, MCM-41, which exhibit uniform cylindrical channels, are used to verify the theoretical analysis. The proposed theory is capable of describing the important features of adsorption processes in cylindrical mesopores. According to this theory, at a given relative pressure, the smaller the pore radius is, the thicker the adsorbed film will be. The thickening of adsorbed films in the pores as the vapor pressure increases inevitably causes an increase in the interface curvature, which consequently leads to capillary condensation. Besides, this study confirmed that the interface tension depends substantially on the interface curvature in small mesopores. A quantitative relationship between the condensation pressure and the pore radius can be derived from the state equation and used to predict the pore radius from a condensation pressure, or vice versa.

Molecular recognition of macrocyclic peptidomimetic inhibitors by HIV-1 protease

High-resolution crystal structures are described for seven macrocycles complexed with HIV-1 protease (HIVPR). The macrocycles possess two amides and an aromatic group within 15-17 membered rings designed to replace N- or C-terminal tripeptides from peptidic inhibitors of HIVPR. Appended to each macrocycle is a transition state isostere and either an acyclic peptide, nonpeptide, or another macrocycle. These cyclic analogues are potent inhibitors of HIVPR, and the crystal structures show them to be structural mimics of acyclic peptides, binding in the active site of HIVPR via the same interactions. Each macrocycle is restrained to adopt a P-strand conformation which is preorganized for protease binding. An unusual feature of the binding of C-terminal macrocyclic inhibitors is the interaction between a positively charged secondary amine and a catalytic aspartate of HIVPR. A bicyclic inhibitor binds similarly through its secondary amine that lies between its component N-terminal and C-terminal macrocycles. In contrast, the corresponding tertiary amine of the N-terminal macrocycles does not interact with the catalytic aspartates. The amine-aspartate interaction induces a 1.5 Angstrom N-terminal translation of the inhibitors in the active site and is accompanied by weakened interactions with a water molecule that bridges the ligand to the enzyme, as well as static disorder in enzyme flap residues. This flexibility may facilitate peptide cleavage and product dissociation during catalysis. Proteases [Aba(67,95)]HIVPR and [Lys(7),Ile(33),Aba(67,95)]- HIVPR used in this work were shown to have very similar crystal structures.

Formal derivation of finite state machines for class testing

Previous work on generating state machines for the purpose of class testing has not been formally based. There has also been work on deriving state machines from formal specifications for testing non-object-oriented software. We build on this work by presenting a method for deriving a state machine for testing purposes from a formal specification of the class under test. We also show how the resulting state machine can be used as the basis for a test suite developed and executed using an existing framework for class testing. To derive the state machine, we identify the states and possible interactions of the operations of the class under test. The Test Template Framework is used to formally derive the states from the Object-Z specification of the class under test. The transitions of the finite state machine are calculated from the derived states and the class's operations. The formally derived finite state machine is transformed to a ClassBench testgraph, which is used as input to the ClassBench framework to test a C++ implementation of the class. The method is illustrated using a simple bounded queue example.

Approach to designing rotating drum bioreactors for solid-state fermentation on the basis of dimensionless design factors

The development of large-scale solid-stale fermentation (SSF) processes is hampered by the lack of simple tools for the design of SSF bioreactors. The use of semifundamental mathematical models to design and operate SSF bioreactors can be complex. In this work, dimensionless design factors are used to predict the effects of scale and of operational variables on the performance of rotating drum bioreactors. The dimensionless design factor (DDF) is a ratio of the rate of heat generation to the rate of heat removal at the time of peak heat production. It can be used to predict maximum temperatures reached within the substrate bed for given operational variables. Alternatively, given the maximum temperature that can be tolerated during the fermentation, it can be used to explore the combinations of operating variables that prevent that temperature from being exceeded. Comparison of the predictions of the DDF approach with literature data for operation of rotating drums suggests that the DDF is a useful tool. The DDF approach was used to explore the consequences of three scale-up strategies on the required air flow rates and maximum temperatures achieved in the substrate bed as the bioreactor size was increased on the basis of geometric similarity. The first of these strategies was to maintain the superficial flow rate of the process air through the drum constant. The second was to maintain the ratio of volumes of air per volume of bioreactor constant. The third strategy was to adjust the air flow rate with increase in scale in such a manner as to maintain constant the maximum temperature attained in the substrate bed during the fermentation. (C) 2000 John Wiley & Sons, Inc.

Modeling of hepatic elimination and organ distribution kinetics with the extended convection-dispersion model

The conventional convection-dispersion (also called axial dispersion) model is widely used to interrelate hepatic availability (F) and clearance (Cl) with the morphology and physiology of the liver and to predict effects such as changes in liver blood flow on F and Cl. An extended form of the convection-dispersion model has been developed to adequately describe the outflow concentration-time profiles for vascular markers at both short and long times after bolus injections into perfused livers. The model, based on flux concentration and a convolution of catheters and large vessels, assumes that solute elimination in hepatocytes follows either fast distribution into or radial diffusion in hepatocytes. The model includes a secondary vascular compartment, postulated to be interconnecting sinusoids. Analysis of the mean hepatic transit time (MTT) and normalized variance (CV2) of solutes with extraction showed that the discrepancy between the predictions of MTT and CV2 for the extended and conventional models are essentially identical irrespective of the magnitude of rate constants representing permeability, volume, and clearance parameters, providing that there is significant hepatic extraction. In conclusion, the application of a newly developed extended convection-dispersion model has shown that the unweighted conventional convection-dispersion model can be used to describe the disposition of extracted solutes and, in particular, to estimate hepatic availability and clearance in booth experimental and clinical situations.

Intraspecific co-variation between egg and body size affects fertilisation kinetics of free-spawning marine invertebrates

Fertilisation of eggs of free-spawning marine invertebrates depends on factors affecting sperm concentration in the field and also on gamete characteristics such as egg size. In the free-spawning intertidal ascidian Pyura stolonifera mean egg size increased with maternal size in 2 separate populations. The largest ascidian produced eggs that were, on average, 50% greater in volume than the eggs produced by the smallest individual studied. There was no evidence to suggest that egg density varied with adult size and egg dry organic weight increased with maternal size. The fertilisation kinetics of this species were strongly affected by the variation in egg size, with the eggs of large individuals requiring much less concentrated sperm to achieve maximal levels of fertilisation success than the eggs of small individuals. We suggest that variation in egg size between individuals of different sizes and ages may be an important factor in determining fertilisation success for ascidians of this species.

Mesoionic pyridopyrimidinylium and pyridooxazinylium olates and non-mesoionic pyridopyrimidinones. Structures in the solid state, solution, and matrices

X-Ray crystal structures, C-13 NMR spectra and theoretical calculations (B3LYP/6-31G*) are reported for the mesoionic (zwitterionic) pyridopyrimidinylium- and pyridooxazinyliumolates 2a, 3a and 5a,b as well as the enol ether 11b and the enamine 11c. The 1-NH compounds like 1a, 2a and 3a exist in the mesoionic form in the crystal and in solution, but the OH tautomers such as 1b and 2b dominate in the gas phase as revealed by the Ar matrix IR spectra in conjunction with DFT calculations. All data indicate that the mesoionic compounds can be regarded as intramolecular pyridine-ketene zwitterions (cf. 16 --> 17) with a high degree of positive charge on the pyridinium nitrogen, a long pyridinium N-CO bond (ca. 1.44-1.49 Angstrom), and normal C=O double bonds (ca. 1.22 Angstrom). All mesoionic compounds exhibit a pronounced tilting of the olate C=O groups (the C=O groups formally derived from a ketene) towards the pyridinium nitrogen, giving NCO angles of 110-118 degrees. Calculations reveal a hydrogen bond with 6-CH, analogous to what is found in ketene-pyridine zwitterions and the C3O2-pyridine complex. The 2-OH tautomers of type 1b, 2b, and 11 also show a high degree of zwitterionic character as indicated by the canonical structures 11 12.

Signatures of the pair-coherent state

We explore in detail the possibility of generating a pair-coherent state in the nondegenerate parametric oscillator when decoherence is included. Such states are predicted in the transient regime in parametric oscillation where the pump mode is adiabatically eliminated. Two specific signatures are examined to indicate whether the state of interest has been generated, the Schrodinger cat state-like signatures, and the fidelity. Solutions in a transient regime reveal interference fringes which are indicative of the formation of a Schrodinger cat state. The fidelity indicates the purity of our prepared state compared with the ideal pair-coherent state.

An investigation of pretend play, mental state terms and false belief understanding: In search of a metarepresentational link

The aim of this study was to investigate the association between false belief comprehension, the exhibition of pretend play and the use of mental state terms in pre-school children. Ferry children, aged between 36 and 54 months were videotaped engaging in free play with each parent. The exhibit-ion of six distinct acts of pretend play and the expression of 16 mental sr:ate terms were coded during play. Each child was also administered a pantomime task and three standard false belief casks. Reliable associations were also found between false belief performance and the pretence categories of object substitution and role assignment, and the exhibition of imaginary object pantomimes. Moreover, the use of mental state terms was positively correlated with false belief and the pretence categories of object substitution, imaginary play and role assignment, and negatively correlated with the exhibition of body part object pantomimes. These findings indicate that the development of a mental state lexicon and some, bur not all, components of pretend play are dependent on the capacity for metarepresentational cognition.

Entangled coherent-state qubits in an ion trap

We show how entangled qubits can be encoded as entangled coherent states of two-dimensional center-of-mass vibrational motion for two ions in an ion trap. The entangled qubit state is equivalent to the canonical Bell state, and we introduce a proposal for entanglement transfer from the two vibrational modes to the electronic states of the two ions in order for the Bell state to be detected by resonance fluorescence shelving methods.