Role of price and enforcement in water allocation: Insights from Game Theory

As many countries are moving toward water sector reforms, practical issues of how water management institutions can better effect allocation, regulation, and enforcement of water rights have emerged. The problem of nonavailability of water to tailenders on an irrigation system in developing countries, due to unlicensed upstream diversions is well documented. The reliability of access or equivalently the uncertainty associated with water availability at their diversion point becomes a parameter that is likely to influence the application by users for water licenses, as well as their willingness to pay for licensed use. The ability of a water agency to reduce this uncertainty through effective water rights enforcement is related to the fiscal ability of the agency to monitor and enforce licensed use. In this paper, this interplay across the users and the agency is explored, considering the hydraulic structure or sequence of water use and parameters that define the users and the agency`s economics. The potential for free rider behavior by the users, as well as their proposals for licensed use are derived conditional on this setting. The analyses presented are developed in the framework of the theory of ""Law and Economics,`` with user interactions modeled as a game theoretic enterprise. The state of Ceara, Brazil, is used loosely as an example setting, with parameter values for the experiments indexed to be approximately those relevant for current decisions. The potential for using the ideas in participatory decision making is discussed. This paper is an initial attempt to develop a conceptual framework for analyzing such situations but with a focus on the reservoir-canal system water rights enforcement.

Galerkin finite element method for incompressible thermofluid flows framed within the bond graph theory

In this paper a bond graph methodology is used to model incompressible fluid flows with viscous and thermal effects. The distinctive characteristic of these flows is the role of pressure, which does not behave as a state variable but as a function that must act in such a way that the resulting velocity field has divergence zero. Velocity and entropy per unit volume are used as independent variables for a single-phase, single-component flow. Time-dependent nodal values and interpolation functions are introduced to represent the flow field, from which nodal vectors of velocity and entropy are defined as state variables. The system for momentum and continuity equations is coincident with the one obtained by using the Galerkin method for the weak formulation of the problem in finite elements. The integral incompressibility constraint is derived based on the integral conservation of mechanical energy. The weak formulation for thermal energy equation is modeled with true bond graph elements in terms of nodal vectors of temperature and entropy rates, resulting a Petrov-Galerkin method. The resulting bond graph shows the coupling between mechanical and thermal energy domains through the viscous dissipation term. All kind of boundary conditions are handled consistently and can be represented as generalized effort or flow sources. A procedure for causality assignment is derived for the resulting graph, satisfying the Second principle of Thermodynamics. (C) 2007 Elsevier B.V. All rights reserved.

Hardness and structure characterization of Ti(6)Al(4)V films produced by reactive magnetron sputtering on a conventional austenitic stainless steel

Ti(6)Al(4)V thin films were grown by magnetron sputtering on a conventional austenitic stainless steel. Five deposition conditions varying both the deposition chamber pressure and the plasma power were studied. Highly textured thin films were obtained, their crystallite size (C) 2008 Elsevier Ltd. All rights reserved.

A Functional Verification Methodology Based on Parameter Domains for Efficient Input Stimuli Generation and Coverage Modeling

Modern Integrated Circuit (IC) design is characterized by a strong trend of Intellectual Property (IP) core integration into complex system-on-chip (SOC) architectures. These cores require thorough verification of their functionality to avoid erroneous behavior in the final device. Formal verification methods are capable of detecting any design bug. However, due to state explosion, their use remains limited to small circuits. Alternatively, simulation-based verification can explore hardware descriptions of any size, although the corresponding stimulus generation, as well as functional coverage definition, must be carefully planned to guarantee its efficacy. In general, static input space optimization methodologies have shown better efficiency and results than, for instance, Coverage Directed Verification (CDV) techniques, although they act on different facets of the monitored system and are not exclusive. This work presents a constrained-random simulation-based functional verification methodology where, on the basis of the Parameter Domains (PD) formalism, irrelevant and invalid test case scenarios are removed from the input space. To this purpose, a tool to automatically generate PD-based stimuli sources was developed. Additionally, we have developed a second tool to generate functional coverage models that fit exactly to the PD-based input space. Both the input stimuli and coverage model enhancements, resulted in a notable testbench efficiency increase, if compared to testbenches with traditional stimulation and coverage scenarios: 22% simulation time reduction when generating stimuli with our PD-based stimuli sources (still with a conventional coverage model), and 56% simulation time reduction when combining our stimuli sources with their corresponding, automatically generated, coverage models.

Fast Transforms for Acoustic Imaging-Part I: Theory

The classical approach for acoustic imaging consists of beamforming, and produces the source distribution of interest convolved with the array point spread function. This convolution smears the image of interest, significantly reducing its effective resolution. Deconvolution methods have been proposed to enhance acoustic images and have produced significant improvements. Other proposals involve covariance fitting techniques, which avoid deconvolution altogether. However, in their traditional presentation, these enhanced reconstruction methods have very high computational costs, mostly because they have no means of efficiently transforming back and forth between a hypothetical image and the measured data. In this paper, we propose the Kronecker Array Transform ( KAT), a fast separable transform for array imaging applications. Under the assumption of a separable array, it enables the acceleration of imaging techniques by several orders of magnitude with respect to the fastest previously available methods, and enables the use of state-of-the-art regularized least-squares solvers. Using the KAT, one can reconstruct images with higher resolutions than was previously possible and use more accurate reconstruction techniques, opening new and exciting possibilities for acoustic imaging.

A Model for comparing reduced impact logging with conventional logging for an Eastern Amazonian Forest

Using data from a logging experiment in the eastern Brazilian Amazon region, we develop a matrix growth and yield model that captures the dynamic effects of harvest system choice on forest structure and composition. Multinomial logistic regression is used to estimate the growth transition parameters for a 10-year time step, while a Poisson regression model is used to estimate recruitment parameters. The model is designed to be easily integrated with an economic model of decisionmaking to perform tropical forest policy analysis. The model is used to compare the long-run structure and composition of a stand arising from the choice of implementing either conventional logging techniques or more carefully planned and executed reduced-impact logging (RIL) techniques, contrasted against a baseline projection of an unlogged forest. Results from log and leave scenarios show that a stand logged according to Brazilian management requirements will require well over 120 years to recover its initial commercial volume, regardless of logging technique employed. Implementing RIL, however, accelerates this recovery. Scenarios imposing a 40-year cutting cycle raise the possibility of sustainable harvest volumes, although at significantly lower levels than is implied by current regulations. Meeting current Brazilian forest policy goals may require an increase in the planned total area of permanent production forest or the widespread adoption of silvicultural practices that increase stand recovery and volume accumulation rates after RIL harvests. Published by Elsevier B.V.

Nitrogen fertilization in common bean crops under no-tillage and conventional systems.

Nitrogen fertilization in common bean crops under no-tillage and conventional systems. Nitrogen fertilizer is necessary for high yields in common bean crops and N responses under conditions of no-tillage and conventional systems are still basic needs. Thus, the objective of this research was to evaluate the effect of N application and common bean yield in no-tillage and conventional systems. The experimental design was a randomized block in a factorial scheme (2x8+1) with four replications. The treatments were constituted by the combination of two N doses (40 and 80 kg ha(-1)) applied at side dressing at eight distinct stadia during vegetative development of the common bean (V(4-3), V(4-4), V(4-5), V(4-6), V(4-7), V(4-8), V(4-9) and V(4-10)), in addition to a control plot without N in side dressing. The experiment was conducted over two years (2002 and 2003) in no-tillage on millet crop residues and conventional plow system. It was concluded that N fertilizer at the V(4) stadium of common bean promotes similar seed yields in no-tillage and conventional systems. Yield differences between no-tillage and conventional systems are inconsistent in the same agricultural area.

Interference of raw milk autochthonous microbiota on the performance of conventional methodologies for Listeria monocytogenes and Salmonella spp. detection

Pathogen detection in foods by reliable methodologies is very important to guarantee microbilogical safety. However, peculiar characteristics of certain foods, such as autochthonous microbiota, can directly influence pathogen development and detection. With the objective of verifying the performance of the official analytical methodologies for the isolation of Listeria monocytogenes and Salmonella in milk, different concentrations of these pathogens were inoculated in raw milk treatments with different levels of mesophilic aerobes, and then submitted to the traditional isolation procedures for the inoculated pathogens. Listeria monocytogenes was inoculated at the range of 0.2-5.2 log CFU/mL in treatments with 1.8-8.2 log CFU/mL. Salmonella Enteritidis was inoculated at 0.9-3.9 log CFU/mL in treatments with 3.0-8.2 log CFU/mL. The results indicated that recovery was not possible or was more difficult in the treatments with high counts of mesophilic aerobes and low levels of the pathogens, indicating interference of raw milk autochthonous microbiota. This interference was more evident for L. monocytogenes, once the pathogen recovery was not possible in treatments with mesophilic aerobes up to 4.0 log CFU/mL and inoculum under 2.0 log CFU/mL. For S. Enteritidis the interference appeared to be more non-specific. (C) 2007 Elsevier GmbH. All rights reserved.

Bioequivalence assay between orally disintegrating and conventional tablet formulations in healthy volunteers

The purpose of this study was to evaluate bioequivalence of two commercial 8 mg tablet formulations of ondansetrona available ill the Brazilian market. In this study, a simple, rapid, sensitive and selective liquid chromarography-tandem mass spectrometry method is described for the determination of ondansetron in human plasma samples. The method was validated over a concentration range of 2.5-60 ng/ml and used in a bioequivalence trial between orally disintegrating and conventional tablet ondansetron formulations, to assess its usefulness in this kind of Study. Vonau flash (R) (Biolab Sanus Farmaceutica, Brazil, as test formulations) and Zofran (R) (GlaxoSmithKline, Brazil, as reference formulation) were evaluated following a single 8 mg close to 23 healthy volunteers of both genders. The dose was administered after an overnight fast according to a two-way crossover design. Bioequivalence between the products was determinated by Calculating 90% confidence interval (90% CI) for the ratio of C(max), AUC(0-t) and AUC(0-(sic)) values for the test and reference products, using logarithmically transformed data. The 90% confidence interval for the ratio of C(max) (87.5-103.8%), AUC(0-t) (89.3-107.2%) and AUC(0--(sic)) (89.7-106.0%) values for the test and reference products is Within the 80-125% interval, proposed by FDA, EMEA and ANVISA. It was concluded that two ondansetron formulations are bioequivalent ill their rate and extent of absorption. (C) 2008 Elsevier B.V. All rights reserved.

IB Theory and the Entry of MNCs in Brazil from 1850 to 2007

This paper analyses the applicability of the main enterprise internationalization theories to the entry of the multinational corporations into Brazil, throughout five phases of Brazilian economy, from 1850 to nowadays. It seeks to verify the explanation power of each theory over the FDI flows in Brazil. It concludes that there is a contingency relation between the theories and the phases of the economy, and. it shows such relationship in a table. In addition, it concludes that the most powerful theory along the researched period was Dunning`s eclectic paradigm, mainly due to the Localization considerations. Theoretical propositions are put forward as a contribution to future research.

Stakeholders Theory and Theory of the Firm: a study on the hierarchy of objective-functions in Brazilian companies

Discussion opposing the Theory of the Firm to the Theory of Stakeholders are contemporaneous and polemical. One focal point of such debates refers to which objective-function companies, should choose, whether that of the shareholders or that of the stakeholders, and whether it is possible to opt for both simultaneously. Several empirical studies. have attempted-to test a possible correlation between both functions, and there has not been any consensus-so far. The objective of the present research is to examine a gap in such discussions: is there (or not) a subordination of the stakeholders` objective-function to that of the shareholders? The research is empirical,and analytical and employs quantitative methods. Hypotheses were tested and data analyzed by using non-parametrical (chi-square test) and parametrical procedures (frequency. correlation `coefficient). Secondary data was collected from he Economitica database and from the Brazilian Institute of Social and-Economic Analyses (IBASE) website, relative to public companies that have published their Social Balance Statements following the IBASE model from 1999 to 2006, whose sample amounted to 65 companies; In order to assess the objective-function of shareholders a proxy was created based on the following three indices: ROE (return on equity), EnterpriseValue and Tobin`s Q. In order to assess the objective-function of stakeholders a proxy was created by employing the following IBASE social balance indices: internal ones (ISI), external ones (ISE), and environmental ones (IAM). The results have shown no evidence of subordination of stakeholders` objective-function to that of the shareholders in analyzed companies, negating initial expectations and calling for deeper investigation of results. Its main conclusion, which states that the attempted subordination does not take place, is limited to the sample herein investigated and calls for ongoing research aiming at improvements which may lead to sample enlargement and, as a consequence, may make feasible the application of other statistical techniques which may yield a more thorough, analysis of the studied phenomehon.

On recent developments in the theory of abstract differential equations with fractional derivatives

This note is motivated from some recent papers treating the problem of the existence of a solution for abstract differential equations with fractional derivatives. We show that the existence results in [Agarwal et al. (2009) [1], Belmekki and Benchohra (2010) [2], Darwish et al. (2009) [3], Hu et al. (2009) [4], Mophou and N`Guerekata (2009) [6,7], Mophou (2010) [8,9], Muslim (2009) [10], Pandey et al. (2009) [11], Rashid and El-Qaderi (2009) [12] and Tai and Wang (2009) [13]] are incorrect since the considered variation of constant formulas is not appropriate. In this note, we also consider a different approach to treat a general class of abstract fractional differential equations. (C) 2010 Elsevier Ltd. All rights reserved.

Constancy check of beam quality in conventional diagnostic X-ray equipment

A tandem ionization chamber was developed for quality control programs of X-ray equipment used in conventional radiography and mammography. A methodology for the use of the tandem chamber in the constancy check of diagnostic X-ray beam qualities was established. The application at a medical X-ray imaging facility of this established methodology is presented. The use of the tandem chamber in the constancy check of diagnostic X-ray beam qualities is a useful method to control the performance of the X-ray equipment. (c) 2008 Elsevier Ltd. All rights reserved.

Icelandic Control Really Is A-Movement: Reply to Bobaljik and Landau

This article discusses the challenges that Bobaljik and Landau (2009) pose to Boeckx and Hornstein`s (2006) movement-based analysis of control in Icelandic. We show in detail that contrary to what Bobaljik and Landau claim, the movement theory of control (with a modification to accommodate quirky Case, a specialty of Icelandic) makes the right empirical cuts regarding the issues they raise, namely, (a) the differences in Case agreement between control and raising constructions, (b) the different patterns of Case transmission (un)available, and (c) the fact that allegedly Case-marked PROs are phonetically null. We argue that rather than being problematic, the data bearing on these issues actually provide independent support to the movement theory of control.

Relativizing Minimality for A-movement: phi- and theta-relations

This paper discusses two arguments raised against Hornstein`s (1999, 2001) Movement Theory of Control (MTC): Landau`s (2003) contrast between raising and passivized subject control predicates and Culicover and Jackendoff`s (2001) contrast between control and raising within nominals. I show that rather than counter-arguments, the data they present can actually be analyzed as arguments in favor of the MTC. More specifically, I argue that the puzzling contrasts discussed by these authors can be adequately accounted for within the MTC if minimality computations regarding A-movement are relativized in terms of phi- or theta-relations.