NMR structure of a complex between the VirB9/VirB7 interaction domains of the pKM101 type IV secretion system.

Type IV secretion (T4S) systems translocate DNA and protein effectors through the double membrane of Gram-negative bacteria. The paradigmatic T4S system in Agrobacterium tumefaciens is assembled from 11 VirB subunits and VirD4. Two subunits, VirB9 and VirB7, form an important stabilizing complex in the outer membrane. We describe here the NMR structure of a complex between the C-terminal domain of the VirB9 homolog TraO (TraO(CT)), bound to VirB7-like TraN from plasmid pKM101. TraO(CT) forms a beta-sandwich around which TraN winds. Structure-based mutations in VirB7 and VirB9 of A. tumefaciens show that the heterodimer interface is conserved. Opposite this interface, the TraO structure shows a protruding three-stranded beta-appendage, and here, we supply evidence that the corresponding region of VirB9 of A. tumefaciens inserts in the membrane and protrudes extracellularly. This complex structure elucidates the molecular basis for the interaction between two essential components of a T4S system.

Plasticity to wind is modular and genetically variable in Arabidopsis thaliana

Thigmomorphogenesis, the characteristic phenotypic changes by which plants react to mechanical stress, is a widespread and probably adaptive type of phenotypic plasticity. However, little is known about its genetic basis and population variation. Here, we examine genetic variation for thigmomorphogenesis within and among natural populations of the model system Arabidopsis thaliana. Offspring from 17 field-collected European populations was subjected to three levels of mechanical stress exerted by wind. Overall, plants were remarkably tolerant to mechanical stress. Even high wind speed did not significantly alter the correlation structure among phenotypic traits. However, wind significantly affected plant growth and phenology, and there was genetic variation for some aspects of plasticity to wind among A. thaliana populations. Our most interesting finding was that phenotypic traits were organized into three distinct and to a large degree statistically independent covariance modules associated with plant size, phenology, and growth form, respectively. These phenotypic modules differed in their responsiveness to wind, in the degree of genetic variability for plasticity, and in the extent to which plasticity affected fitness. It is likely, therefore, that thigmomorphogenesis in this species evolves quasi-independently in different phenotypic modules.

Detection of a variable intracellular acid-labile carbon pool in Thalassiosira weissflogii (Heterokontophyta) and Emiliania huxleyi (Haptophyta) in response to changes in the seawater carbon system

Accumulation of an intracellular pool of carbon (C(i) pool) is one strategy by which marine algae overcome the low abundance of dissolved CO2 (CO2 (aq) ) in modern seawater. To identify the environmental conditions under which algae accumulate an acid-labile C(i) pool, we applied a (14) C pulse-chase method, used originally in dinoflagellates, to two new classes of algae, coccolithophorids and diatoms. This method measures the carbon accumulation inside the cells without altering the medium carbon chemistry or culture cell density. We found that the diatom Thalassiosira weissflogii [(Grunow) G. Fryxell & Hasle] and a calcifying strain of the coccolithophorid Emiliania huxleyi [(Lohmann) W. W. Hay & H. P. Mohler] develop significant acid-labile C(i) pools. C(i) pools are measureable in cells cultured in media with 2-30 µmol/l CO2 (aq), corresponding to a medium pH of 8.6-7.9. The absolute C(i) pool was greater for the larger celled diatoms. For both algal classes, the C(i) pool became a negligible contributor to photosynthesis once CO2 (aq) exceeded 30 µmol/l. Combining the (14) C pulse-chase method and (14) C disequilibrium method enabled us to assess whether E. huxleyi and T. weissflogii exhibited thresholds for foregoing accumulation of DIC or reduced the reliance on bicarbonate uptake with increasing CO2 (aq) . We showed that the C(i) pool decreases with higher CO2 :HCO3 (-) uptake rates.

Response of a natural phytoplankton community from the Qingdao coast (Yellow Sea, China) to variable CO2 levels over a short-term incubation experiment

Since marine phytoplankton play a vital role in stabilizing earth's climate by removing significant amount of atmospheric CO2, their responses to increasing CO2 levels are indeed vital to address. The responses of a natural phytoplankton community from the Qingdao coast (NW Yellow Sea, China) was studied under different CO2 levels in microcosms. HPLC pigment analysis revealed the presence of diatoms as a dominant microalgal group; however, members of chlorophytes, prasinophytes, cryptophytes and cyanophytes were also present. delta 13CPOM values indicated that the phytoplankton community probably utilized bicarbonate ions as dissolved inorganic carbon source through a carbon concentration mechanism (CCM) under low CO2 levels, and diffusive CO2 uptake increased upon the increase of external CO2 levels. Although, considerable increase in phytoplankton biomass was noticed in all CO2 treatments, CO2-induced effects were absent. Higher net nitrogen uptake under low CO2 levels could be related to the synthesis of CCM components. Flow cytometry analysis showed slight reduction in the abundance of Synechococcus and pico-eukaryotes under the high CO2 treatments. Diatoms did not show any negative impact in response to increasing CO2 levels; however, chlorophytes revealed a reverse tend. Heterotrophic bacterial count enhanced with increasing CO2 levels and indicated higher abundance of labile organic carbon. Thus, the present study indicates that any change in dissolved CO2 concentrations in this area may affect phytoplankton physiology and community structure and needs further long-term study.

Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)

The technique of Abstract Interpretation has allowed the development of very sophisticated global program analyses which are at the same time provably correct and practical. We present in a tutorial fashion a novel program development framework which uses abstract interpretation as a fundamental tool. The framework uses modular, incremental abstract interpretation to obtain information about the program. This information is used to validate programs, to detect bugs with respect to partial specifications written using assertions (in the program itself and/or in system libraries), to generate and simplify run-time tests, and to perform high-level program transformations such as multiple abstract specialization, parallelization, and resource usage control, all in a provably correct way. In the case of validation and debugging, the assertions can refer to a variety of program points such as procedure entry, procedure exit, points within procedures, or global computations. The system can reason with much richer information than, for example, traditional types. This includes data structure shape (including pointer sharing), bounds on data structure sizes, and other operational variable instantiation properties, as well as procedure-level properties such as determinacy, termination, nonfailure, and bounds on resource consumption (time or space cost). CiaoPP, the preprocessor of the Ciao multi-paradigm programming system, which implements the described functionality, will be used to illustrate the fundamental ideas.

The flexibility matrix o timber composite beams with a discrete connection system

This work presents a method for the analysis of timber composite beams which considers the slip in the connection system, based on assembling the flexibility matrix of the whole structure. This method is based on one proposed by Tommola and Jutila (2001). This paper extends the method to the case of a gap between two pieces with an arbitrary location at the first connector, which notably broadens its practical application. The addition of the gap makes it possible to model a cracked zone in concrete topping, as well as the case in which forming produces the gap. The consideration of induced stresses due to changes in temperature and moisture content is also described, while the concept of equivalent eccentricity is generalized. This method has important advantages in connection with the current European Standard EN 1995-1-1: 2004, as it is able to deal with any type of load, variable section, discrete and non-regular connection systems, a gap between the two pieces, and variations in temperature and moisture content. Although it could be applied to any structural system, it is specially suited for the case of simple supported and continuous beams. Working examples are presented at the end, showing that the arrangement of the connection notably modifies shear force distribution. A first interpretation of the results is made on the basis of the strut and tie theory. The examples prove that the use of EC-5 is unsafe when, as a rule of thumb, the strut or compression field between the support and the first connector is at an angle with the axis of the beam of less than 60º.

Community Structure in Soil Porous System

Diffusion controls the gaseous transport process in soils when advective transport is almost null. Knowledge of the soil structure and pore connectivity are critical issues to understand and modelling soil aeration, sequestration or emission of greenhouse gasses, volatilization of volatile organic chemicals among other phenomena. In the last decades these issues increased our attention as scientist have realize that soil is one of the most complex materials on the earth, within which many biological, physical and chemical processes that support life and affect climate change take place. A quantitative and explicit characterization of soil structure is difficult because of the complexity of the pore space. This is the main reason why most theoretical approaches to soil porosity are idealizations to simplify this system. In this work, we proposed a more realistic attempt to capture the complexity of the system developing a model that considers the size and location of pores in order to relate them into a network. In the model we interpret porous soils as heterogeneous networks where pores are represented by nodes, characterized by their size and spatial location, and the links representing flows between them. In this work we perform an analysis of the community structure of porous media of soils represented as networks. For different real soils samples, modelled as heterogeneous complex networks, spatial communities of pores have been detected depending on the values of the parameters of the porous soil model used. These types of models are named as Heterogeneous Preferential Attachment (HPA). Developing an exhaustive analysis of the model, analytical solutions are obtained for the degree densities and degree distribution of the pore networks generated by the model in the thermodynamic limit and shown that the networks exhibit similar properties to those observed in other complex networks. With the aim to study in more detail topological properties of these networks, the presence of soil pore community structures is studied. The detection of communities of pores, as groups densely connected with only sparser connections between groups, could contribute to understand the mechanisms of the diffusion phenomena in soils.

Program development using abstract interpretation (and the ciao system preprocessor)

The technique of Abstract Interpretation has allowed the development of very sophisticated global program analyses which are at the same time provably correct and practical. We present in a tutorial fashion a novel program development framework which uses abstract interpretation as a fundamental tool. The framework uses modular, incremental abstract interpretation to obtain information about the program. This information is used to validate programs, to detect bugs with respect to partial specifications written using assertions (in the program itself and/or in system librarles), to genérate and simplify run-time tests, and to perform high-level program transformations such as múltiple abstract specialization, parallelization, and resource usage control, all in a provably correct way. In the case of validation and debugging, the assertions can refer to a variety of program points such as procedure entry, procedure exit, points within procedures, or global computations. The system can reason with much richer information than, for example, traditional types. This includes data structure shape (including pointer sharing), bounds on data structure sizes, and other operational variable instantiation properties, as well as procedure-level properties such as determinacy, termination, non-failure, and bounds on resource consumption (time or space cost). CiaoPP, the preprocessor of the Ciao multi-paradigm programming system, which implements the described functionality, will be used to illustrate the fundamental ideas.

Variable impedance LED matrix control system for lamps in PV applications

The interest in LED lighting has been growing recently due to the high efficacy, lifelime and ruggedness that this technology offers. However the key element to guarantee those parameters with these new electronic devices is to keep under control the working temperature of the semiconductor crystal. This paper propases a LED lamp design that fulfils the requ irements of a PV lighting systems, whose main quality criteria is reliability. It uses directly as a power supply a non·stabilized constant voltage source, as batteries. An electronic control architecture is used to regulate the current applied to the LEO matri)( according to their temperature and the voltage output value of the batteries with two pulse modulation signals (PWM) signals. The first one connects and disconnects the LEOs to the power supply and the second one connects and disconnects several emitters to the electric circuit changing its overall impedance. A prototype of the LEO lamp has been implemented and tested at different temperaturas and battery voltages.