Self-aligned electrodes for suspended carbon nanotube structures

We report on a study into electrode fabrication for the gate control of carbon nanotubes partially suspended above an oxidised silicon substrate. A fabrication technique has been developed that allows self-aligned side-gate electrodes to be placed with respect to an individual nanotube with a spacing of less than 10 nm. The suspended multi-walled carbon nanotube (MWCNT) is used as an evaporation mask during metal deposition. The metal forms an island on the nanotube, with increasing width as the metal is deposited, forming a wedge shape, so that even thick deposited layers yield islands that remain separated from the metal deposited on the substrate due to shadowing of the evaporation. The island can be removed during lift-off to leave a set of self-aligned electrodes on the substrate. Results show that Cr yields self-aligned side gates with around 90% effectiveness. © 2003 Elsevier Science B.V. All rights reserved.

Carbon nanotube alignment via electrohydrodynamic patterning of nanocomposites

Electrohydrodynamic (EHD) pattern formation in carbon nanotube-polymer composite films yields well-defined patterns on the micrometer scale along with the alignment of carbon nanotubes (CNTs) within these patterns. Conductive pathways in nanotube networks formed during EHD patterning of nanocomposite films results in a substantial increase in the composites' conductivity at loadings exceeding the percolation threshold. The degree of nanotube alignment can be tuned by adjusting the EHD parameters and the degree of alignment is mirrored by the conductivity across the film. Using etching techniques or by embedding relatively long nanotubes, patterned surfaces decorated by CNT brushes were generated. Copyright © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.

Quantum Monte Carlo study of the CO interaction with a dimer model surface for Cr(110)

The chemisorption of CO on a Cr( 110) surface is investigated using the quantum Monte Carlo method in the diffusion Monte Carlo (DMC) variant and a model Cr2CO cluster. The present results are consistent with the earlier ab initio HF study with this model that showed the tilted/ near-parallel orientation as energetically favoured over the perpendicular arrangement. The DMC energy difference between the two orientations is larger (1.9 eV) than that computed in the previous study. The distribution and reorganization of electrons during CO adsorption on the model surface are analysed using the topological electron localization function method that yields electron populations, charge transfer and clear insight on the chemical bonding that occurs with CO adsorption and dissociation on the model surface.

Estados Unidos : ¿ante una suba de tasas de interés en 2015?

Introducción: A raíz de la crisis de hipotecas sub-prime de 2008 en Estados Unidos, tanto la Reserva Federal (FED) como los demás bancos centrales del mundo (en especial, el Banco Central Europeo y el de Japón actualmente) comenzaron a aplicar un continuo estímulo monetario vía bajas tasas de interés (cercanas a cero en los tres casos). Dicha política monetaria activa fue efectiva, en el caso de Estados Unidos, para otorgar liquidez al mercado y actuar sobre las expectativas de los agentes. De este modo, además de generarse una importante recuperación de valor en los activos y un colapso en las yields de la parte larga de la curva de bonos soberanos, se comenzó a observar una muy gradual mejora en la economía real, la cual viene siendo cada vez más robusta a juzgar por ciertos indicadores que se verán más adelante en este ensayo...

Computation of stress intensity factors by the sub-region mixed finite element method of lines

Based on the sub-region generalized variational principle, a sub-region mixed version of the newly-developed semi-analytical 'finite element method of lines' (FEMOL) is proposed in this paper for accurate and efficient computation of stress intensity factors (SIFs) of two-dimensional notches/cracks. The circular regions surrounding notch/crack tips are taken as the complementary energy region in which a number of leading terms of singular solutions for stresses are used, with the sought SIFs being among the unknown coefficients. The rest of the arbitrary domain is taken as the potential energy region in which FEMOL is applied to obtain approximate displacements. A mixed system of ordinary differential equations (ODEs) and algebraic equations is derived via the sub-region generalized variational principle. A singularity removal technique that eliminates the stress parameters from the mixed equation system eventually yields a standard FEMOL ODE system, the solution of which is no longer singular and is simply and efficiently obtained using a standard general-purpose ODE solver. A number of numerical examples, including bi-material notches/cracks in anti-plane and plane elasticity, are given to show the generally excellent performance of the proposed method.

Unraveling Public Good Games: The Role of Priors

This paper provides experimental evidence on how players predict end game effects in a linear public good game. Our regression analysis yields a measure of the relative importance of priors and signals on subjects\' beliefs on contributions and allow us to conclude that, firstly, the weight of the signal is relatively unimportant, while priors have a large weight and, secondly, priors are the same for all periods. Hence, subjects do not expect end game effects and there is very little updating of beliefs.

A Non-Parametric Dimension Test of the Term Structure

Published as an article in: Studies in Nonlinear Dynamics & Econometrics, 2004, vol. 8, issue 3, article 6.

Chemical recycling of municipal packaging waste by pyrolysis

[EN]The present doctoral thesis centers on studying pyrolysis as a chemical recycling technique for rejected packaging waste fractions coming from separation and sorting plants. The pyrolysis experiments have been carried out in a lab-scale installation equipped with a 3.5 L semi-batch reactor and a condensation and collection system for the liquids and gases generated. In the present thesis, an experimental study on the conventional pyrolysis process applied to the aforementioned waste fractions has been conducted, as well as the study of non-conventional or advanced pyrolysis processes such as catalytic and stepwise pyrolysis. The study of the operating parameters has been carried out using a mixed plastics simulated sample, the composition of which is similar to that found in real fractions, and subsequently the optimized process has been applied to real packaging waste. An exhaustive characterization of the solids, liquids and gases obtained in the process has been made after each experiment and their potential uses have been established. Finally, an empirical model that will predict the pyrolysis yields (% organic liquid, % aqueous liquid, % gases, % char, % inorganic solid) as a function of the composition of the initial sample has been developed. As a result of the experimental work done, the requirements have been established for an industrial packaging waste pyrolysis plant that aims to be sufficiently versatile as to generate useful products regardless of the nature of the raw material.

Accuracy in Copy Number Calling by qPCR and PRT : A Matter of DNA

7 p.

An Improved molecular tool for distinguishing monoecious and dioedious Hydrilla

Two biotypes of hydrilla [Hydrilla verticillata(L.f.) Royle] occur in the United States, a dioecious type centered in the southeast and a monoecious type in the central Atlantic and northeastern states. Ecosystem managers need tools to distinguish the types as the ranges of each type expand and begin to overlap. A molecular tool using the randomly amplified polymorphic DNA (RAPD) procedure is available but its use is limited by a need for reference samples. We describe an alternative molecular tool which uses “universal primers” to sequence the trnL intron and trnL-F intergenic spacer of the chloroplast genome. This sequence yields three differences between the biotypes (two gaps and one single nucleotide polymorphism). A primer has been designed which ends in a gap that shows up only in the dioecious plant. A polymerase chain reaction (PCR) using this primer produces a product for the monoecious but not the dioecious plant.

The Derivation of Dative Alternations

Maia Duguine, Susana Huidobro and Nerea Madariaga (eds.)

Invariant-free deduction systems for temporal logic

In this thesis we propose a new approach to deduction methods for temporal logic. Our proposal is based on an inductive definition of eventualities that is different from the usual one. On the basis of this non-customary inductive definition for eventualities, we first provide dual systems of tableaux and sequents for Propositional Linear-time Temporal Logic (PLTL). Then, we adapt the deductive approach introduced by means of these dual tableau and sequent systems to the resolution framework and we present a clausal temporal resolution method for PLTL. Finally, we make use of this new clausal temporal resolution method for establishing logical foundations for declarative temporal logic programming languages. The key element in the deduction systems for temporal logic is to deal with eventualities and hidden invariants that may prevent the fulfillment of eventualities. Different ways of addressing this issue can be found in the works on deduction systems for temporal logic. Traditional tableau systems for temporal logic generate an auxiliary graph in a first pass.Then, in a second pass, unsatisfiable nodes are pruned. In particular, the second pass must check whether the eventualities are fulfilled. The one-pass tableau calculus introduced by S. Schwendimann requires an additional handling of information in order to detect cyclic branches that contain unfulfilled eventualities. Regarding traditional sequent calculi for temporal logic, the issue of eventualities and hidden invariants is tackled by making use of a kind of inference rules (mainly, invariant-based rules or infinitary rules) that complicates their automation. A remarkable consequence of using either a two-pass approach based on auxiliary graphs or aone-pass approach that requires an additional handling of information in the tableau framework, and either invariant-based rules or infinitary rules in the sequent framework, is that temporal logic fails to carry out the classical correspondence between tableaux and sequents. In this thesis, we first provide a one-pass tableau method TTM that instead of a graph obtains a cyclic tree to decide whether a set of PLTL-formulas is satisfiable. In TTM tableaux are classical-like. For unsatisfiable sets of formulas, TTM produces tableaux whose leaves contain a formula and its negation. In the case of satisfiable sets of formulas, TTM builds tableaux where each fully expanded open branch characterizes a collection of models for the set of formulas in the root. The tableau method TTM is complete and yields a decision procedure for PLTL. This tableau method is directly associated to a one-sided sequent calculus called TTC. Since TTM is free from all the structural rules that hinder the mechanization of deduction, e.g. weakening and contraction, then the resulting sequent calculus TTC is also free from this kind of structural rules. In particular, TTC is free of any kind of cut, including invariant-based cut. From the deduction system TTC, we obtain a two-sided sequent calculus GTC that preserves all these good freeness properties and is finitary, sound and complete for PLTL. Therefore, we show that the classical correspondence between tableaux and sequent calculi can be extended to temporal logic. The most fruitful approach in the literature on resolution methods for temporal logic, which was started with the seminal paper of M. Fisher, deals with PLTL and requires to generate invariants for performing resolution on eventualities. In this thesis, we present a new approach to resolution for PLTL. The main novelty of our approach is that we do not generate invariants for performing resolution on eventualities. Our method is based on the dual methods of tableaux and sequents for PLTL mentioned above. Our resolution method involves translation into a clausal normal form that is a direct extension of classical CNF. We first show that any PLTL-formula can be transformed into this clausal normal form. Then, we present our temporal resolution method, called TRS-resolution, that extends classical propositional resolution. Finally, we prove that TRS-resolution is sound and complete. In fact, it finishes for any input formula deciding its satisfiability, hence it gives rise to a new decision procedure for PLTL. In the field of temporal logic programming, the declarative proposals that provide a completeness result do not allow eventualities, whereas the proposals that follow the imperative future approach either restrict the use of eventualities or deal with them by calculating an upper bound based on the small model property for PLTL. In the latter, when the length of a derivation reaches the upper bound, the derivation is given up and backtracking is used to try another possible derivation. In this thesis we present a declarative propositional temporal logic programming language, called TeDiLog, that is a combination of the temporal and disjunctive paradigms in Logic Programming. We establish the logical foundations of our proposal by formally defining operational and logical semantics for TeDiLog and by proving their equivalence. Since TeDiLog is, syntactically, a sublanguage of PLTL, the logical semantics of TeDiLog is supported by PLTL logical consequence. The operational semantics of TeDiLog is based on TRS-resolution. TeDiLog allows both eventualities and always-formulas to occur in clause heads and also in clause bodies. To the best of our knowledge, TeDiLog is the first declarative temporal logic programming language that achieves this high degree of expressiveness. Since the tableau method presented in this thesis is able to detect that the fulfillment of an eventuality is prevented by a hidden invariant without checking for it by means of an extra process, since our finitary sequent calculi do not include invariant-based rules and since our resolution method dispenses with invariant generation, we say that our deduction methods are invariant-free.

Impact of fertlizers and pesticides on soil and water quality

[ES]En la presente tesis se ha estudiado el impacto de diferentes fertilizantes y pesticidas utilizados en la Zona Vulnerable de Vitoria-Gasteiz en la calidad del suelo y las aguas de dicha zona. Se ha podido constatar que hoy en día siguen lixiviándose cantidades significativas de nitratos y pesticidas (e.g., etofumesato y difenoconazol) a las aguas de la Zona Vulnerable, durante el cultivo de remolacha azucarera (Beta vulgaris L.), muy característico de la zona de estudio. Se comprobó que el alto contenido en nitratos de las aguas subterráneas en la Zona Vulnerable es mitigado, al menos en parte, por la acción de la actividad microbiana desnitrificante que alberga la zona riparia del humedal de Salburua. Dicho proceso, sin embargo, supone la emisión a la atmósfera de importantes cantidades de gases de efecto invernadero (CO2 y N2O), y puede verse afectado negativamente por la presencia de pesticidas (e.g., deltametrina) en el medio.Por otra parte, hemos observado que diversos pesticidas (deltametrina, etofumesato, difenoconazol) aplicados en concentraciones similares a las dosis de aplicación en campo inducen cambios, de carácter limitado y transitorio, en las comunidades microbianas edáficas, siendo más significativos en el caso del fungicida difenoconazol. El efecto de los pesticidas fue más acusado a medida que aumentaba su concentración en el medio. Finalmente, encontramos que la aplicación de abonos orgánicos (avicompost), en lugar de los fertilizantes sintéticos tradicionales (NPK), además de mejorar la degradación de los pesticidas y disminuir el impacto de éstos sobre la calidad del suelo, podría ayudar a reducir las pérdidas de nitratos por lixiviación.

Year class mortality, abundance and yield-per-recruit of yellowfin tuna in the eastern Pacific Ocean, 1954-1959

ENGLISH: One primary duty of the Inter-American Tropical Tuna Commission is to estimate the maximum sustainable catches of yellowfin tuna (Neothunnus macropterus) and skipjack (Katsuwonus pelamis), and to investigate and recommend proposals to maintain the stocks at levels which will permit these catches to be obtained. To do this, there is required some means of predicting yields relative to fishing intensity. . . The age composition of catch, and growth rate of yellowfin tuna for recent years have now been estimated (Hennemuth, 1961). In this paper, relative abundance at age of yellowfin tuna shall be estimated -and used, in turn, to estimate total mortality rate. Yield-per-recruit calculations, based on Beverton and Holt's (1957) simple equation, will be presented to compare present utilization with theoretical maxima under varying levels of fishing mortality and different ages at first capture. SPANISH: Uno de los principales deberes de la Comisión Interamericana del Atún Tropical es estimar las pescas máximas sostenibles de los atunes aleta amarilla (Neothunnus macropterus) y barrilete (Katsuwonus pelamis) , así como estudiar y recomendar proposiciones para mantener los stocks a niveles que permitan obtener estas pescas. Para lograr este propósito se requieren algunos medios que permitan predecir el rendimiento en relación con la intensidad de la pesca. . La composición de edades de la pesca y la tasa de crecimiento del atún aleta amarilla en años recientes han sido estimadas ahora (Hennemuth, 1961). En este trabajo, la abundancia relativa a una edad dada de esta especie será estimada y usada, a su vez, para estimar la tasa de mortalidad total. Los cálculos del rendimiento por recluta, basados en la ecuación simple de Beverton y Holt (1957), serán presentados para comparar la utilización actual con los máximos teóricos bajo valores variables de mortalidad por la pesca y a diferentes edades a la primera captura.

Stock assessment of the Atlantic menhaden, Brevoortia tyrannus, fishery

A stock assessment of the Atlantic menhaden, Brevoortia tyrannus, fishery was conducted with purse-seine landings data from 1940 to 1984 and port sampling data from 1955 to 1984. These data were analyzed to determine growth rates, maximum sustainable yield (MSY), spawner-recruit relationships, and yield per recruit. Virtual population analysis was used to estimate stock size, year class size, and fishing mortality rates. Surplus production models produced estimates of MSY from 450 to 490 kmt compared with yields of 416to 436 kmt based roughly on maximum recruitment from a weak spawner-recruit relationship. Recruitment to age-I ranged from 1.2 to 14.8 billion fish for year classes 1955-81. Recent mean recruitment to age-I for the 1975-81 year classes averaged 5.7 billion fish and compared favorably with the mean of 7.7 billion age-I fish recruited during the late 1950's. Mean recruitment from recent years suggests possible coastwide yields of 416 to 481 kmt. Continued dominance of late age-2 spawners among the spawning stock is of concern, since the stock is at greater risk through poor recruitment if recent favorable environmental conditions change. Yield-per-recruit estimates ranged from 46 g to 59 g since 1970. The high dependency of the modern fishery on prespawners has increased concerns about fluctuations in year-to-year availability and catches. To increase yield and enhance the stability of the resource, the number of age classes contributing significantly to the fishery should be increased, creating a butTer against future poor recruitment years and lessening the year-to-year fluctuations in landings. (PDF file contains 24 pages.)