Litter dynamics and phenology of Melaleuca quinquenervia in south Florida

We monitored litterfall biomass at six different sites of melaleuca (Melaleuca quinquenervia (Cav.) S.T. Blake) forested wetlands in South Florida from July 1997 to June 1999. Annual litterfall of melaleuca varied between sites from 6.5 to 9.9 t dry wt ha(-1) yr(1) over the two-year period. Litterfall was significantly higher (p < 0.0001) in scasonally flooded habitats (9.3 t ha(-1) yr(1)) than in non-flooded (7.5 t ha(-1) yr(1)) and permanently flooded habitats (8.0 t ha(-1) yr(1)). Leaf fall was the major component forming 70% of the total litter, woody material 16%, and reproductive material 11%. Phenology of flowering and leaf flush was investigated by examination of the timing and duration of the fall of different plant parts in the litter traps, coupled with monthly field observations during the two-year study. In both years, flowering began in October and November, with peak flowers production around December, and was essentially completed by February and March. New shoot growth began in mid winter after peak flowering, and extended into the spring. Very little new growth was observed in melaleuca forests during the summer months, from May to August, in South Florida. In contrast, the fall of leaves and small wood was recorded in every month of the year, but generally increased during the dry season with higher levels observed from February to April. Also, no seasonality was recorded in the fall of seed capsules, which apparently resulted from the continual self-thinning of small branches and twigs inside the forest stand. In planning management for perennial weeds, it is important to determine the period during its annual growth cycle when the plant is most susceptible to control measures. These phenological data suggest that the appropriate time for melaleuca control in South Florida might be during late winter and early spring, when the plant is most active.

The Cryo-EM Structure of a Complete 30S Translation Initiation Complex from Escherichia coli

11 p.

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.

Pomponii Melae de orbis sitv libri tres, accuratissime emendati, una cum Commentariis Joachimi Vadiani Heluetii castigatioribus, & multis in locis auctioribus factis : id quod candidus lector obiter, & in transcursu facile deprehendet; adiecta sunt praeterea loca aliquot ex Vadiani comentarijs summatim repetita, & obiter explicata : in quibus aestimandis censendisq doctissimo uiro Ioanni Camerti ordinis minorum theologo, cum Joachimo Vadiano non admodum conuenit, rvrsvm, Epistola Vadiani, ab eo penè adulescente ad eo pene adulescente ad Rudolphum Agricolam iuniorem scripta, non indigna lectu, nec inutili ad ea capienda, quae aliubi in Commentarius suis libare magis, quàm longius explicare voluit

A obra De orbis sitv (descrição do mundo), também chamada De chorographia (corografia), foi escrita em três partes, por volta de 43 d.C. Situa a Terra no centro do universo e descreve regiões, costumes e artes da África, Europa e Ásia, sem contudo detalhar suas distâncias e sistemas administrativo. É o único tratado de geografia da Antiguidade escrito em latim clássico. Esta edição traz extensos comentários de Joaquim Vadiano e observações do teólogo João Camerti e de Rodolfo Agrícola.

Le Historie delle Indie Orientali : ... con una scielta di lettere scritte delle Indie, fra lequali ve ne fono molte non più stampate, tradotte dal medesimo : con um indice copiosissimi

Tradotte di latino in lingua toscana, da M. Francesco Serdonati Fiorentino.

Electronic spectroscopy of propofol, propofol homomers ad their hydratated clusters

538 p.

Comparison of extruded and non-extruded soy meals in the diet of genetically improved mudfish Heterobranchus longifilis juveniles

Raw soybeans were subjected to three different processing methods viz Parboiling, Toasting and Extrusion with an Intra Pro Extruder. The processed soybean meals were thereafter incorporated at equal levels into the diets of genetically improved mudfish Heterobranchus longifilis juveniles. The fish were fed the experimental diets in triplicate at 5% of their body weight for eight weeks. The growth performance and food utilization indices, namely Mean Weight Gain (MWG), Food Conversion Ratio (FCR), Specific Growth Rate (SGR%) and Protein Efficient Ratio (PER), were monitored bi-weekly. The results show that fish fed the control fishmeal diets were highest in growth performance, which was significantly different (P>0.05) from others. Among the fish fed the test diets, those fed toasted soybean had higher MWG, SGR, FCR and PER than juveniles fed the parboiled soybean diet. The juveniles fed the extruded soybean diet recorded the least growth performance. The implication of these results in diet formulation is discussed

Chemistry of secondary organic aerosol

The photooxidation of volatile organic compounds (VOCs) in the atmosphere can lead to the formation of secondary organic aerosol (SOA), a major component of fine particulate matter. Improvements to air quality require insight into the many reactive intermediates that lead to SOA formation, of which only a small fraction have been measured at the molecular level. This thesis describes the chemistry of secondary organic aerosol (SOA) formation from several atmospherically relevant hydrocarbon precursors. Photooxidation experiments of methoxyphenol and phenolic compounds and C₁₂ alkanes were conducted in the Caltech Environmental Chamber. These experiments include the first photooxidation studies of these precursors run under sufficiently low NO_x levels, such that RO₂ + HO₂ chemistry dominates, an important chemical regime in the atmosphere. Using online Chemical Ionization Mass Spectrometery (CIMS), key gas-phase intermediates that lead to SOA formation in these systems were identified. With complementary particle-phase analyses, chemical mechanisms elucidating the SOA formation from these compounds are proposed.

Three methoxyphenol species (phenol, guaiacol, and syringol) were studied to model potential photooxidation schemes of biomass burning intermediates. SOA yields (ratio of mass of SOA formed to mass of primary organic reacted) exceeding 25% are observed. Aerosol growth is rapid and linear with the organic conversion, consistent with the formation of essentially non-volatile products. Gas and aerosol-phase oxidation products from the guaiacol system show that the chemical mechanism consists of highly oxidized aromatic species in the particle phase. Syringol SOA yields are lower than that of phenol and guaiacol, likely due to unique chemistry dependent on methoxy group position.

The photooxidation of several C₁₂ alkanes of varying structure n-dodecane, 2-methylundecane, cyclododecane, and hexylcyclohexane) were run under extended OH exposure to investigate the effect of molecular structure on SOA yields and photochemical aging. Peroxyhemiacetal formation from the reactions of several multifunctional hydroperoxides and aldehyde intermediates was found to be central to organic growth in all systems, and SOA yields increased with cyclic character of the starting hydrocarbon. All of these studies provide direction for future experiments and modeling in order to lessen outstanding discrepancies between predicted and measured SOA.

Photographic investigations in molecular spectroscopy

The determination of the energy levels and the probabilities of transition between them, by the formal analysis of observed electronic, vibrational, and rotational band structures, forms the direct goal of all investigations of molecular spectra, but the significance of such data lies in the possibility of relating them theoretically to more concrete properties of molecules and the radiation field. From the well developed electronic spectra of diatomic molecules, it has been possible, with the aid of the non-relativistic quantum mechanics, to obtain accurate moments of inertia, molecular potential functions, electronic structures, and detailed information concerning the coupling of spin and orbital angular monenta with the angular momentum of nuclear rotation. The silicon fluori1e molecule has been investigated in this laboratory, and is found to emit bands whose vibrational and rotational structures can be analyzed in this detailed fashion.

Like silicon fluoride, however, the great majority of diatomic molecules are formed only under the unusual conditions of electrical discharge, or in high temperature furnaces, so that although their spectra are of great theoretical interest, the chemist is eager to proceed to a study of polyatomic molecules, in the hope that their more practically interesting structures might also be determined with the accuracy and assurance which characterize the spectroscopic determinations of the constants of diatomic molecules. Some progress has been made in the determination of molecule potential functions from the vibrational term values deduced from Raman and infrared spectra, but in no case can the calculations be carried out with great generality, since the number of known term values is always small compared with the total number of potential constants in even so restricted a potential function as the simple quadratic type. For the determination of nuclear configurations and bond distances, however, a knowledge of the rotational terms is required. The spectra of about twelve of the simpler polyatomic molecules have been subjected to rotational analyses, and a number of bond distances are known with considerable accuracy, yet the number of molecules whose rotational fine structure has been resolved even with the most powerful instruments is small. Consequently, it was felt desirable to investigate the spectra of a number of other promising polyatomic molecules, with the purpose of carrying out complete rotational analyses of all resolvable bands, and ascertaining the value of the unresolved band envelopes in determining the structures of such molecules, in the cases in which resolution is no longer possible. Although many of the compounds investigated absorbed too feebly to be photographed under high dispersion with the present infrared sensitizations, the location and relative intensities of their bands, determined by low dispersion measurements, will be reported in the hope that these compounds may be reinvestigated in the future with improved techniques.

I. Singular perturbation problems involving singular points and turning points. II. On the averaged Lagrangian technique for nonlinear dispersive waves

In Part I a class of linear boundary value problems is considered which is a simple model of boundary layer theory. The effect of zeros and singularities of the coefficients of the equations at the point where the boundary layer occurs is considered. The usual boundary layer techniques are still applicable in some cases and are used to derive uniform asymptotic expansions. In other cases it is shown that the inner and outer expansions do not overlap due to the presence of a turning point outside the boundary layer. The region near the turning point is described by a two-variable expansion. In these cases a related initial value problem is solved and then used to show formally that for the boundary value problem either a solution exists, except for a discrete set of eigenvalues, whose asymptotic behaviour is found, or the solution is non-unique. A proof is given of the validity of the two-variable expansion; in a special case this proof also demonstrates the validity of the inner and outer expansions.

Nonlinear dispersive wave equations which are governed by variational principles are considered in Part II. It is shown that the averaged Lagrangian variational principle is in fact exact. This result is used to construct perturbation schemes to enable higher order terms in the equations for the slowly varying quantities to be calculated. A simple scheme applicable to linear or near-linear equations is first derived. The specific form of the first order correction terms is derived for several examples. The stability of constant solutions to these equations is considered and it is shown that the correction terms lead to the instability cut-off found by Benjamin. A general stability criterion is given which explicitly demonstrates the conditions under which this cut-off occurs. The corrected set of equations are nonlinear dispersive equations and their stationary solutions are investigated. A more sophisticated scheme is developed for fully nonlinear equations by using an extension of the Hamiltonian formalism recently introduced by Whitham. Finally the averaged Lagrangian technique is extended to treat slowly varying multiply-periodic solutions. The adiabatic invariants for a separable mechanical system are derived by this method.

Non-governmental organizations and multi-sited marine conservation science: A case study

Non-governmental organizations (NGOs) are now major players in the realm of environmental conservation. While many environmental NGOs started as national organizations focused around single-species protection, governmental advocacy, and preservation of wilderness, the largest now produce applied conservation science and work with national and international stakeholders to develop conservation solutions that work in tandem with local aspirations. Marine managed areas (MMAs) are increasingly being used as a tool to manage anthropogenic stressors on marine resources and protect marine biodiversity. However, the science of MMA is far from complete. Conservation International (CI) is concluding a 5 year, $12.5 million dollar Marine Management Area Science (MMAS) initiative. There are 45 scientific projects recently completed, with four main “nodes” of research and conservation work: Panama, Fiji, Brazil, and Belize. Research projects have included MMA ecological monitoring, socioeconomic monitoring, cultural roles monitoring, economic valuation studies, and others. MMAS has the goals of conducting marine management area research, building local capacity, and using the results of the research to promote marine conservation policy outcomes at project sites. How science is translated into policy action is a major area of interest for science and technology scholars (Cash and Clark 2001; Haas 2004; Jasanoff et al. 2002). For science to move policy there must be work across “boundaries” (Jasanoff 1987). Boundaries are defined as the “socially constructed and negotiated borders between science and policy, between disciplines, across nations, and across multiple levels” (Cash et al. 2001). Working across the science-policy boundary requires boundary organizations (Guston 1999) with accountability to both sides of the boundary, among other attributes. (Guston 1999; Clark et al. 2002). This paper provides a unique case study illustrating how there are clear advantages to collaborative science. Through the MMAS initiative, CI built accountability into both sides of the science-policy boundary primarily through having scientific projects fed through strong in-country partners and being folded into the work of ongoing conservation processes. This collaborative, boundary-spanning approach led to many advantages, including cost sharing, increased local responsiveness and input, better local capacity building, and laying a foundation for future conservation outcomes. As such, MMAS can provide strong lessons for other organizations planning to get involved in multi-site conservation science. (PDF contains 3 pages)