The Long Run Demand for Lighting: Elasticities and Rebound Effects in Different Phases of Economic Development

25 p.

Long Run Demand for Energy Services: the Role of Economic and Technological Development

36 p.

Regulação financeira sistêmica no Brasil: desafios e propostas de aprimoramento institucional

A presente dissertação versa sobre o estudo da regulação financeira sistêmica brasileira e está dividida em quatro capítulos. No primeiro capítulo, descreve-se a essência das atividades financeiras e narra-se a trajetória histórica que deu ensejo à criação de Bancos Centrais e o surgimento da regulação bancária no mundo. Em seguida, discorre-se sobre o processo de expansão do sistema financeiro e sua internacionalização face à globalização financeira dos mercados. Após a exposição de razões políticas, comportamentais, econômicas e técnicas consideradas determinantes para a consumação da última crise financeira mundial (caso subprime), demonstra-se que uma regulação financeira sistêmica adequada constitui um processo complexo, dinâmico e contínuo de gestão pública com vistas a evitar ou atenuar os efeitos de crises sistêmicas. Nesse sentido, são expostos os motivos por que o Brasil enfrentou bem tal crise, através da apresentação da evolução dos processos regulatórios domésticos nos últimos anos. No segundo capítulo, utilizado o marco político-filosófico de John Rawls, sustenta-se a ideia de que a estabilidade financeira sustentável ao longo do tempo é uma questão de justiça básica que deve influenciar o desenho político-institucional em sociedades democráticas constitucionais. Nesse sentido, afirma-se a possibilidade de geração de um consenso sobreposto, segundo o ideal de razão pública, quanto à necessidade de estabelecimento de instituições, relativamente descoladas dos ciclos político-eleitorais e dotadas de especialização técnica, responsáveis pelo planejamento e acompanhamento público e transparente da sustentabilidade da execução da política monetária e da regulação financeira sistêmica propriamente dita no longo prazo. Adicionalmente, em razão da globalização financeira dos mercados, discorre-se sobre os limites e possibilidades do ideal de razão pública nos organismos financeiros internacionais (redes globais de governo), instituídos para definir padrões de regulação financeira sistêmica, e são feitos comentários acerca da existência de um Direito Administrativo Global. No terceiro capítulo, defende-se a ideia de razão prática regulatória como a diretriz adequada de atuação sustentável do Estado na economia com foco em resultados, a fim de estimular o progresso nos processos regulatórios, mediante o uso do better regulation como paradigma de análise de custos e benefícios. Após, expõe-se a noção de juridicidade administrativa como a mais compatível com a Constituição, além de defender-se a legitimidade democrática e o poder normativo das agências reguladoras financeiras. Por fim, com fundamento nas características do desenho institucional da estrutura regulatória brasileira, são formuladas propostas de aprimoramento institucional. No último capítulo, são feitos comentários sobre as vantagens, limites e riscos de judicialização dos processos regulatórios financeiros em democracias constitucionais, o que motiva a construção de parâmetros institucionais e materiais de atuação judicial, posteriormente analisados em precedentes importantes julgados no Brasil nos últimos anos.

The cost of quinine Cinchona pubescens control on Santa Cruz Island, Galapagos

We analyse the cost of controlling the invasive quinine tree Cinchona pubescens Vahl in the highlands of Santa Cruz Island, Galapagos. Control costs in ten 400 m2 plots formed the basis for estimating the cost of control over the whole island. In the plots, densities were 2100–24,000 stems/ha (stems >150 cm tall) and 55,000–138,000 stems/ha (all size classes combined). Control involved uprooting small plants, and applying of a mix of metsulfuron methyl and picloram to cut stumps or to machete cuts in the bark of larger trees. These methods are presently used by Galapagos National Park field crews to control quinine. Costs (in man hours, herbicide and US$) were related to stem density; the density of stems summed across four height classes was a better predictor of costs than density of any one size class. Regressions (on all size classes combined) formed the basis for predictive models of costs. Costs ranged from $14 to $2225 per ha depending on stem density. The amount of herbicide (active ingredient/ha) that must be applied to high density stands of quinine is higher than typical rates of application in an agricultural setting. The cost of treating all existing plants once across quinine’s known range on Santa Cruz Island (c. 11,000 ha) was estimated at c. US$1.65 million. CDF Contribution Number 1013.

Episodic variations in stream water chemistry associated with acid rainfall and run-off and the effect on aquatic ecosystem, with particular reference to fish populations in N.W. England

This is the episodic variations in stream water chemistry associated with acid rainfall and run-off and the effect on aquatic ecosystems, with particular reference to fish populations in North West England produced by the North West Water Authority in 1985. This report looks at the biological, physical and chemical information collected over a five year period from over 100 sites on upland streams in the North West Region of which drained rocks of low buffering capacity. In both Lake District and South Pennine sites striking differences were found between the composition of invertebrate communities inhabiting acid-stressed and less acid-stressed streams. Electric fishing surveys showed that acidic streams (geometric mean pH <5.5) generally had abnormally low densities of salmonids ( < 0 .2m2) and that 0+ fish were very few or absent. The latter indicates recruitment failure. Salmon were more sensitive than trout to low pH.

Low-cost, scalable optical packet switching networks with multi-wavelength labels

We propose a self-forwarding packet-switched optical network with bit-parallel multi-wavelength labels. We experimentally demonstrate transmission of variable-length optical packets over 80 km of fiber and switching over a 1×4 multistage switch with two stages. © 2007 Optical Society of America.

Development of low cost feed using local ingredients for culture of freshwater prawn, Macrobrachium rosenbergii in ponds

Two experiments were conducted to formulate and evaluate test diets using locally available ingredients to find out suitable diets for mono and polyculture of Macrobrachium rosenbergii in ponds. The first experiment was conducted from 1 July 2003 to 29 September 2003 in 12 experimental ponds each measuring 30 square meters behind the Fisheries Faculty Building, BAU campus, Mymensingh. Three experimental diets containing 30% protein were formulated using fish meal, meat and bone meal, mustard oilcake, sesame meal and rice bran and assigned to treatments 1, 2 and 3, respectively. A special shrimp feed (Starter-II) from Saudi-Bangla Fish Feed Ltd. was assigned to treatment 4 (Control). Each treatment had three replications. Juveniles of M. rosenbergii (2.90±0.81g) were stocked at the rate of 4/square meter. Prawns were fed three times daily at the rate of 15% of their body weight at the beginning, which was gradually reduced to 10% and 5% for the last two months. There was no significant (P>0.05) difference between the weight gains of prawns fed diets 1 and 4 (control), but they were significantly (P<0.05) higher than those of diets 2 and 3. The FCR values of diets ranged between 2.61 to 3.36 with diets 1 and 4 showing significantly (P<0.05) lower FCR values. The survival rate of prawns ranged between 68 to 78% with prawns fed diets 1 and 4 showing significantly higher survival rate. The production of prawn ranged from 921 to 1,428 kg/ha/90 days and diet 1 gave the highest production. Treatment 1 gave the highest net profit ofTk. 161,980/ha/90 days. The second experiment was conducted from December, 2003 to April, 2004 to see the growth of over wintered M. rosenbergii juveniles in polyculture with indigenous major carps (catla and rohu) in ponds using formulated diets. Three isoenergetic experimental diets formulated using fish meal, meat and bone meal, mustard oil cake, rice bran, wheat bran and molasses, and a shrimp feed 'Golda special feed' from Saudi-Bangla Fish Feed Ltd. were assigned to treatments 1, 2, 3 and 4 (control), respectively, each treatment had two replications. Eight experimental ponds each measuring 80 square meters in the Field Laboratory Complex of the Faculty of Fisheries, BAU campus, Mymensingh were used. The mean initial weights of M. rosenbergii, catla and rohu were 1.60±0.01, 30.0±0.09 and 25.0±0.08 g, respectively. A total of 160 fish and prawn (20,000/ha) were stocked in each pond at the ratio of 2:1:1 (prawn: catla: rohu). Fish were fed at the rate of 3-5% of their body weight. Prawns fed diet 1, 2 and 4 showed higher weight gains compared to diet 3. The weight gain of catla was significantly higher in T1 while in case of rohu was higher in T1 and T4, respectively. There were no significant differences (P>0.05) in the survival rate of fish as obtained from different treatments. The overall total fish production ranged from 2196 to 2679 kg/ha/5 months. The highest production and the highest profit (Tk. 56,531/ha/5 months) was obtained from T1 and the lowest (Tk. 24,932/ha/5 months) from T4.

Production of freshwater giant prawn using over-wintered juveniles for enhancement of farm income and reduction of rural poverty in Bangladesh

Freshwater giant prawn, Macrobrachium rosenbergii fry produced during late season can not withstand low temperature thus the prawn culture programme during winter is hampered. To overcome this problem, late season (August-September) prawn juveniles (0.9-6.8 g) were stocked at a density of 1.43 to 3.57/square meter in 350-476 square-meter ponds in Pabna and Mymensingh districts during October 2000 and cultured till May 2001. Monthly average water temperature during the winter months (December-February) varied from 16 to 22 °C and gradually increased to 32 °C in May. The prawn fry showed fast growth rate and attained an average weight of 60-70 g within eight months including three winter months. Growth compensation was observed during summer months. Survival rate was 60-79%. After extrapolation of the present growth rate more than 1,600 kg/ha production can be achieved in better-managed ponds. Extrapolated cost of production was Tk. 268,000 and 200,000 Tk./ha in two best ponds, sale value was Tk. 644,9146 [sic] and 528,466 and gross profit was Tk. 376,000-410,000, suggesting a higher economic feasibility of farming freshwater prawn with over-wintered juveniles.

BarraCUDA - a fast short read sequence aligner using graphics processing units.

BACKGROUND: With the maturation of next-generation DNA sequencing (NGS) technologies, the throughput of DNA sequencing reads has soared to over 600 gigabases from a single instrument run. General purpose computing on graphics processing units (GPGPU), extracts the computing power from hundreds of parallel stream processors within graphics processing cores and provides a cost-effective and energy efficient alternative to traditional high-performance computing (HPC) clusters. In this article, we describe the implementation of BarraCUDA, a GPGPU sequence alignment software that is based on BWA, to accelerate the alignment of sequencing reads generated by these instruments to a reference DNA sequence. FINDINGS: Using the NVIDIA Compute Unified Device Architecture (CUDA) software development environment, we ported the most computational-intensive alignment component of BWA to GPU to take advantage of the massive parallelism. As a result, BarraCUDA offers a magnitude of performance boost in alignment throughput when compared to a CPU core while delivering the same level of alignment fidelity. The software is also capable of supporting multiple CUDA devices in parallel to further accelerate the alignment throughput. CONCLUSIONS: BarraCUDA is designed to take advantage of the parallelism of GPU to accelerate the alignment of millions of sequencing reads generated by NGS instruments. By doing this, we could, at least in part streamline the current bioinformatics pipeline such that the wider scientific community could benefit from the sequencing technology.BarraCUDA is currently available from http://seqbarracuda.sf.net.

ℓasso MPC: Smart regulation of over-actuated systems

In this paper, a novel MPC strategy is proposed, and referred to as asso MPC. The new paradigm features an 1-regularised least squares loss function, in which the control error variance competes with the sum of input channels magnitude (or slew rate) over the whole horizon length. This cost choice is motivated by the successful development of LASSO theory in signal processing and machine learning. In the latter fields, sum-of-norms regularisation have shown a strong capability to provide robust and sparse solutions for system identification and feature selection. In this paper, a discrete-time dual-mode asso MPC is formulated, and its stability is proven by application of standard MPC arguments. The controller is then tested for the problem of ship course keeping and roll reduction with rudder and fins, in a directional stochastic sea. Simulations show the asso MPC to inherit positive features from its corresponding regressor: extreme reduction of decision variables' magnitude, namely, actuators' magnitude (or variations), with a finite energy error, being particularly promising for over-actuated systems. © 2012 AACC American Automatic Control Council).

Full cost accounting for the life cycle of coal.

Each stage in the life cycle of coal-extraction, transport, processing, and combustion-generates a waste stream and carries multiple hazards for health and the environment. These costs are external to the coal industry and are thus often considered "externalities." We estimate that the life cycle effects of coal and the waste stream generated are costing the U.S. public a third to over one-half of a trillion dollars annually. Many of these so-called externalities are, moreover, cumulative. Accounting for the damages conservatively doubles to triples the price of electricity from coal per kWh generated, making wind, solar, and other forms of nonfossil fuel power generation, along with investments in efficiency and electricity conservation methods, economically competitive. We focus on Appalachia, though coal is mined in other regions of the United States and is burned throughout the world.

Collective optimization over average quantities

This paper addresses the design of algorithms for the collective optimization of a cost function defined over average quantities in the presence of limited communication. We argue that several meaningful collective optimization problems can be formulated in this way. As an application of the proposed approach, we propose a novel algorithm that achieves synchronization or balancing in phase models of coupled oscillators under mild connectedness assumptions on the (possibly time-varying and unidirectional) communication graphs. © 2006 IEEE.

Changes in benthic algal communities following construction of a run-of-river dam

Ecological responses to dam construction are poorly understood, especially for downstream benthic algal communities. We examined the responses of benthic algal communities in downstream reaches of a tributary of the Xiangxi River, China, to the construction of a small run-of-river dam. From February 2003 to August 2006, benthic algae, chemical factors, and habitat characteristics were monitored upstream and downstream of the dam site. This period spanned 6 mo before dam construction and 37 mo after dam construction. Benthic algal sampling yielded 199 taxa in 59 genera that belonged to Bacillariophyta, Chlorophyta, and Cyanophyta. Some physical factors (flow velocity, water depth, and channel width) and 3 algal metrics (diatom species richness, Margalef diversity, and % erect individuals) were significantly affected by the dam construction, whereas chemical factors (e.g., NH4-N, total N, SiO2) were not. Nonmetric multidimensional scaling (NMS) ordinations showed that overall algal assemblage structure downstream of the dam sites was similar to that of upstream control sites before dam construction and for 1 year after dam construction (p > 0.05). However, sites belonging to upstream and downstream reaches were well separated on NMS axis 1 during the 2(nd) and 3(rd) years after dam construction. Our results suggest that impacts of dam construction on benthic algal communities took 2 to 3 y to emerge. Further development of a complete set of indicators is needed to address the impact of small-dam construction. Our observations underscore the need for additional studies that quantify ecological responses to dam construction over longer time spans.

100 Gb/s uncooled DWDM using orthogonal coding for low-cost datacommunication links

We demonstrate a 10 x 10 Gb/s uncooled DWDM system using orthogonal coding on adjacent carriers, assuming the use of a monolithically integrated sources. A power saving of 72% is expected over traditional WDM. © 2014 OSA.

Type-omega DPLs

Type-omega DPLs (Denotational Proof Languages) are languages for proof presentation and search that offer strong soundness guarantees. LCF-type systems such as HOL offer similar guarantees, but their soundness relies heavily on static type systems. By contrast, DPLs ensure soundness dynamically, through their evaluation semantics; no type system is necessary. This is possible owing to a novel two-tier syntax that separates deductions from computations, and to the abstraction of assumption bases, which is factored into the semantics of the language and allows for sound evaluation. Every type-omega DPL properly contains a type-alpha DPL, which can be used to present proofs in a lucid and detailed form, exclusively in terms of primitive inference rules. Derived inference rules are expressed as user-defined methods, which are "proof recipes" that take arguments and dynamically perform appropriate deductions. Methods arise naturally via parametric abstraction over type-alpha proofs. In that light, the evaluation of a method call can be viewed as a computation that carries out a type-alpha deduction. The type-alpha proof "unwound" by such a method call is called the "certificate" of the call. Certificates can be checked by exceptionally simple type-alpha interpreters, and thus they are useful whenever we wish to minimize our trusted base. Methods are statically closed over lexical environments, but dynamically scoped over assumption bases. They can take other methods as arguments, they can iterate, and they can branch conditionally. These capabilities, in tandem with the bifurcated syntax of type-omega DPLs and their dynamic assumption-base semantics, allow the user to define methods in a style that is disciplined enough to ensure soundness yet fluid enough to permit succinct and perspicuous expression of arbitrarily sophisticated derived inference rules. We demonstrate every major feature of type-omega DPLs by defining and studying NDL-omega, a higher-order, lexically scoped, call-by-value type-omega DPL for classical zero-order natural deduction---a simple choice that allows us to focus on type-omega syntax and semantics rather than on the subtleties of the underlying logic. We start by illustrating how type-alpha DPLs naturally lead to type-omega DPLs by way of abstraction; present the formal syntax and semantics of NDL-omega; prove several results about it, including soundness; give numerous examples of methods; point out connections to the lambda-phi calculus, a very general framework for type-omega DPLs; introduce a notion of computational and deductive cost; define several instrumented interpreters for computing such costs and for generating certificates; explore the use of type-omega DPLs as general programming languages; show that DPLs do not have to be type-less by formulating a static Hindley-Milner polymorphic type system for NDL-omega; discuss some idiosyncrasies of type-omega DPLs such as the potential divergence of proof checking; and compare type-omega DPLs to other approaches to proof presentation and discovery. Finally, a complete implementation of NDL-omega in SML-NJ is given for users who want to run the examples and experiment with the language.