Can we constrain the interior structure of rocky exoplanets from mass and radius measurements?

Aims. We present an inversion method based on Bayesian analysis to constrain the interior structure of terrestrial exoplanets, in the form of chemical composition of the mantle and core size. Specifically, we identify what parts of the interior structure of terrestrial exoplanets can be determined from observations of mass, radius, and stellar elemental abundances. Methods. We perform a full probabilistic inverse analysis to formally account for observational and model uncertainties and obtain confidence regions of interior structure models. This enables us to characterize how model variability depends on data and associated uncertainties. Results. We test our method on terrestrial solar system planets and find that our model predictions are consistent with independent estimates. Furthermore, we apply our method to synthetic exoplanets up to 10 Earth masses and up to 1.7 Earth radii, and to exoplanet Kepler-36b. Importantly, the inversion strategy proposed here provides a framework for understanding the level of precision required to characterize the interior of exoplanets. Conclusions. Our main conclusions are (1) observations of mass and radius are sufficient to constrain core size; (2) stellar elemental abundances (Fe, Si, Mg) are principal constraints to reduce degeneracy in interior structure models and to constrain mantle composition; (3) the inherent degeneracy in determining interior structure from mass and radius observations does not only depend on measurement accuracies, but also on the actual size and density of the exoplanet. We argue that precise observations of stellar elemental abundances are central in order to place constraints on planetary bulk composition and to reduce model degeneracy. We provide a general methodology of analyzing interior structures of exoplanets that may help to understand how interior models are distributed among star systems. The methodology we propose is sufficiently general to allow its future extension to more complex internal structures including hydrogen- and water-rich exoplanets.

The in vivo and in vitro formation of sticky DNA and the GAA.TTC trinucleotide repeat associated with Friedreich's ataxia

Friedreich's ataxia is caused by the expansion of the GAA•TTC trinucleotide repeat sequence located in intron 1 of the frataxin gene. The long GAA•TTC repeats are known to form several non-B DNA structures including hairpins, triplexes, parallel DNA and sticky DNA. Therefore it is believed that alternative DNA structures play a role in the loss of mRNA transcript and functional frataxin protein in FRDA patients. We wanted to further elucidate the characteristics for formation and stability of sticky DNA by evaluating the structure in a plasmid based system in vitro and in vivo in Escherichia coli. The negative supercoil density of plasmids harboring different lengths of GAA•TTC repeats, as well as either one or two repeat tracts were studied in E. coli to determine if plasmids containing two long tracts (≥60 repeats) in a direct repeat orientation would have a different topological effect in vivo compared to plasmids that harbored only one GAA•TTC tract or two tracts of < 60 repeats. The experiments revealed that, in fact, sticky DNA forming plasmids had a lower average negative supercoil density (-σ) compared to all other control plasmids used that had the potential to form other non-B DNA structures such as triplexes or Z-DNA. Also, the requirements for in vitro dissociation and reconstitution of the DNA•DNA associated region of sticky DNA were evaluated. Results conclude that the two repeat tracts associate in the presence of negative supercoiling and MgCl 2 or MnCl2 in a time and concentration-dependent manner. Interaction of the repeat sequences was not observed in the absence of negative supercoiling and/or MgCl2 or in the presence of other monovalent or divalent cations, indicating that supercoiling and quite specific cations are needed for the association of sticky DNA. These are the first experiments studying a more specific role of supercoiling and cation influence on this DNA conformation. To support our model of the topological effects of sticky DNA in plasmids, changes in sticky DNA band migration was measured with reference to the linear DNA after treatment with increasing concentrations of ethidium bromide (EtBr). The presence of independent negative supercoil domains was confirmed by this method and found to be segregated by the DNA-DNA associated region. Sequence-specific polyamide molecules were used to test the effect of binding of the ligands to the GAA•TTC repeats on the inhibition of sticky DNA. The destabilization of the sticky DNA conformation in vitro through this binding of the polyamides demonstrated the first conceptual therapeutic approach for the treatment of FRDA at the DNA molecular level. ^ Thus, examining the properties of sticky DNA formed by these long repeat tracts is important in the elucidation of the possible role of sticky DNA in Friedreich's ataxia. ^

Investigations of stress responses in Saccharomyces cerevisiae: Transcriptional control and heat shock protein function

The baker's yeast, Saccharomyces cerevisiae responds to the cytotoxic effects of elevated temperature (37-42°C) by activating transcription of ∼150 genes, termed heat shock genes, collectively required to compensate for the abundance of misfolded and aggregated proteins and various physiological modifications necessary for the cell to survive and grow at heat shock temperatures. An intriguing facet of the yeast heat shock response is the remarkable similarity it shares with the global remodeling that occurs in mammalian cells in response to numerous pathophysiological conditions including cancer and cardiovascular disease and thus provides an ideal model system. I have therefore investigated several novel features of stress signaling, transcriptional regulation, and physiology. Initial work focused on the characterization of SYM1, a novel heat shock gene in yeast which was demonstrated to be required for growth on the nonfermentable carbon source ethanol at elevated temperature, and to be the functional ortholog of the mammalian kidney disease gene, Mpv17. Additional work addressed the role of two proteins, the Akt-related kinase, Sch9, and Sse1, the yeast Hsp110 protein chaperone homolog, in signaling by protein kinase A, establishing Sse1 as a critical negative regulator of this pathway. Furthermore, I have demonstrated a role for Sse1 in biogenesis and stability of the stress-response transcription factor, Msn2; a finding that has been extended to include a select subset of additional high molecular weight proteins, suggesting a more global role for this chaperone in stabilizing the cellular proteome. The final emphasis of my doctoral work has included the finding that celastrol, a compound isolated from the plant family Celasfraceae, a component of traditional Chinese herbal medicine, can activate heat shock transcription factor (Hsf1) in yeast and mammalian cells through an oxidative stress mechanism. Celastrol treatment simultaneously activates both heat shock and oxidative stress response pathways, resulting in increased cytoprotection. ^

Identification and analysis of novel mitotic inhibitors of the Caenorhabditis elegans Aurora B kinase

Proper execution of mitosis requires the accurate segregation of replicated DNA into each daughter cell. The highly conserved mitotic kinase AIR-2/Aurora B is a dynamic protein that interacts with subsets of cofactors and substrates to coordinate chromosome segregation and cytokinesis in Caenorhabdiris elegans. To identify components of the AIR-2 regulatory pathway, a genome-wide RNAi-based screen for suppressors of air-2 temperature-sensitive mutant lethality was conducted. Here, I present evidence that two classes of suppressors identified in this screen are bona fide regulators of the AIR-2 kinase. The strongest suppressor cdc-48.3, encodes an Afg2/Spaf-related Cdc48-like AAA+ ATPase that regulates AIR-2 kinase activity and stability during C. elegans embryogenesis. Loss of CDC-48.3 suppresses the lethality of air-2 mutant embryos, marked by the restoration of the dynamic behavior of AIR-2 and rescue of chromosome segregation and cytokinesis defects. Loss of CDC-48.3 leads to mitotic delays and abnormal accumulation of AIR-2 during late telophase/mitotic exit. In addition, AIR-2 kinase activity is significantly upregulated from metaphase through mitotic exit in CDC-48.3 depleted embryos. Inhibition of the AIR-2 kinase is dependent on (1) a direct physical interaction between CDC-48.3 and AIR-2, and (2) CDC-48.3 ATPase activity. Importantly, the increase in AIR-2 kinase activity does not correlate with the stabilization of AIR-2 in late mitosis. Hence, CDC-48.3 is a bi-functional inhibitor of AIR-2 that is likely to act via distinct mechanisms. The second class of suppressors consists of psy-2/smk-1 and pph-4.1, which encode two components of the conserved PP4 phosphatase complex that is essential for spindle assembly, chromosome segregation, and overall mitotic progression. AIR-2 and its substrates are likely to be targets of this complex since mitotic AIR-2 kinase activity is significantly increased during mitosis when either PSY-2/SMK-1 or PPH-4.l is depleted. Altogether, this study demonstrates that during the C. elegans embryonic cell cycle, regulators including the CDC-48.3 ATPase and PP4 phosphatase complex interact with and control the kinase activity, targeting behavior and protein stability of the Aurora B kinase to ensure accurate and timely progression of mitosis. ^

Physical, chemical and biological characteristics of disturbed and undisturbed Arctic lakes, Northwest Territories

1. Global warming is predicted to cause changes in permafrost cover and stability in the Arctic. Zones of high ion concentration in regions of ice-rich permafrost are a reservoir of chemicals that can potentially be transferred to fresh waters during thawing. Consequently, input of enriched runoff from the thaw and sediment and vegetation from the landscape could alter lakes by affecting their geochemistry and biological production. 2. Three undisturbed lakes and five lakes disturbed by retrogressive permafrost thaw slumps were sampled during late summer of 2006 to assess the potential effects of thermokarst shoreline slumping on water and sediment chemistry, the underwater light regime, and benthic macrophyte biomass and community structure. 3. Undisturbed lakes had sediments rich in organic material and selected micronutrients, while disturbed lakes had sediments richer in calcium, magnesium and strontium, greater transparency of the water column, and a well-developed submerged macrophyte community. 4. It is postulated that enriched runoff chemistry may alter nutrient availability at the sediment-water interface and also the degradation of organic material, thus affecting lake transparency and submerged macrophytes. The results suggest that retrogressive permafrost slumping can significantly affect food webs in arctic tundra lakes through an increase in macrophyte biomass and development of a more complex benthic habitat.

Measurement of the muon beam direction and muon flux for the T2K neutrino experiment

The Tokai-to-Kamioka (T2K) neutrino experiment measures neutrino oscillations by using an almost pure muon neutrino beam produced at the J-PARC accelerator facility. The T2K muon monitor was installed to measure the direction and stability of the muon beam which is produced together with the muon neutrino beam. The systematic error in the muon beam direction measurement was estimated, using data and MC simulation, to be 0.28 mrad. During beam operation, the proton beam has been controlled using measurements from the muon monitor and the direction of the neutrino beam has been tuned to within 0.3 mrad with respect to the designed beam-axis. In order to understand the muon beam properties, measurement of the absolute muon yield at the muon monitor was conducted with an emulsion detector. The number of muon tracks was measured to be (4.06 ± 0.05) × 10⁴ cm⁻² normalized with 4 × 10¹¹protons on target with 250 kA horn operation. The result is in agreement with the prediction which is corrected based on hadron production data.

Agglomeration and directional imbalance of freight rates : the role of density economies in the transport sector

This paper examines the conventional assumption that bilateral transport costs are symmetric. We develop an economic geography model with transport sector in which asymmetric freight rates can occur as a result of density economies. Comparing this to models without density economies, we show that agglomeration of economic activities is more likely to emerge and that multiple equilibria can emerge for some parameters. Then we show the change in its bifurcation and stability of equilibrium and conclude that economies of density in transport flows can act as an agglomeration force.

Glassy State and Cryopreservation of Mint Shoot Tips

Vitrification refers to the physical process by which a liquid supercools to very low tem- peratures and finally solidifies into a metastable glass, without undergoing crystallization at a practical cooling rate. Thus, vitrification is an effective freeze-avoidance mechanism and living tissue cryopreservation is, in most cases, relying on it. As a glass is exceedingly vis- cous and stops all chemical reactions that require molecular diffusion, its formation leads to metabolic inactivity and stability over time. To investigate glassy state in cryopreserved plant material, mint shoot tips were submitted to the different stages of a frequently used cryopreservation protocol (droplet-vitrification) and evaluated for water content reduction and sucrose content, as determined by ion chromatography, frozen water fraction and glass transitions occurrence by differential scanning calorimetry, and investigated by low-tempera- ture scanning electron microscopy, as a way to ascertain if their cellular content was vitri- fied. Results show how tissues at intermediate treatment steps develop ice crystals during liquid nitrogen cooling, while specimens whose treatment was completed become vitrified, with no evidence of ice formation. The agreement between calorimetric and microscopic observations was perfect. Besides finding a higher sucrose concentration in tissues at the more advanced protocol steps, this level was also higher in plants precultured at 25/21?C than in plants cultivated at 25?C.

Design and analysis of ripple-based controls based on the discrete modeling and Floquet theory

Ripple-based controls can strongly reduce the required output capacitance in PowerSoC converter thanks to a very fast dynamic response. Unfortunately, these controls are prone to sub-harmonic oscillations and several parameters affect the stability of these systems. This paper derives and validates a simulation-based modeling and stability analysis of a closed-loop V 2Ic control applied to a 5 MHz Buck converter using discrete modeling and Floquet theory to predict stability. This allows the derivation of sensitivity analysis to design robust systems. The work is extended to different V 2 architectures using the same methodology.

Numerical and experimental study of the dynamics of axisymmetric slender liquid bridges

A one-dimensional inviscid slice model has been used to study numerically the influence of axial microgravity on the breaking of liquid bridges having a volume close to that of gravitationless minimum volume stability limit. Equilibrium shapes and stability limits have been obtained as well as the dependence of the volume of the two drops formed after breaking on both the length and the volume of the liquid bridge. The breaking process has also been studied experimentally. Good agreement has been found between theory and experiment for neutrally buoyant systems

Book Review: Elastic Beams and Frames, by J. D. Renton

The book represents a very interesting example of the possibility to combine in a single publication basic theory of structures and quite advanced topics on the same subject. The author fulfills this objective in a reasonable size book, less than 400 pages divided into 15 chapters averaging 20 pages each plus 9 short appendices. A diskette is also included in the book. This diskette contains training as well practical executable programs on different aspects of structural analysis, such as cross-sections properties,general-purpose computer programs for the static, dynamic and stability analysis of simple bar structures, etc. The book figures are didactic and have been carefully drawn.

Variable threshold algorithm for division of labor analyzed as a dynamical system

Division of labor is a widely studied aspect of colony behavior of social insects. Division of labor models indicate how individuals distribute themselves in order to perform different tasks simultaneously. However, models that study division of labor from a dynamical system point of view cannot be found in the literature. In this paper, we define a division of labor model as a discrete-time dynamical system, in order to study the equilibrium points and their properties related to convergence and stability. By making use of this analytical model, an adaptive algorithm based on division of labor can be designed to satisfy dynamic criteria. In this way, we have designed and tested an algorithm that varies the response thresholds in order to modify the dynamic behavior of the system. This behavior modification allows the system to adapt to specific environmental and collective situations, making the algorithm a good candidate for distributed control applications. The variable threshold algorithm is based on specialization mechanisms. It is able to achieve an asymptotically stable behavior of the system in different environments and independently of the number of individuals. The algorithm has been successfully tested under several initial conditions and number of individuals.

State of the Art and Future Trends in Grid Codes Applicable to Isolated Electrical Systems

Electrical power systems are changing their traditional structure, which was based on a little number of large generating power plants placed at great distances from loads by new models that tend to split the big production nodes in many smaller ones. The set of small groups which are located close to consumers and provide safe and quality energy is called distributed generation (DG). The proximity of the sources to the loads reduces losses associated with transportation and increases overall system efficiency. DG also favors the inclusion of renewable energy sources in isolated electrical systems or remote microgrids, because they can be installed where the natural resource is located. In both cases, as weak grids unable to get help from other nearby networks, it is essential to ensure appropriate behavior of DG sources to guarantee power system safety and stability. The grid codes sets out the technical requirements to be fulfilled for the sources connected in these electrical networks. In technical literature it is rather easy to find and compare grid codes for interconnected electrical systems. However, the existing literature is incomplete and sparse regarding isolated electrical systems and this happens due to the difficulties inherent in the pursuit of codes. Some countries have developed their own legislation only for their island territory (as Spain or France), others apply the same set of rules as in mainland, another group of island countries have elaborated a complete grid code for all generating sources and some others lack specific regulation. This paper aims to make a complete review of the state of the art in grid codes applicable to isolated systems, setting the comparison between them and defining the guidelines predictably followed by the upcoming regulations in these particular systems.

Design and Simulation of Deep Nanometer SRAM Cells under Energy, Mismatch, and Radiation Constraints

La fiabilidad está pasando a ser el principal problema de los circuitos integrados según la tecnología desciende por debajo de los 22nm. Pequeñas imperfecciones en la fabricación de los dispositivos dan lugar ahora a importantes diferencias aleatorias en sus características eléctricas, que han de ser tenidas en cuenta durante la fase de diseño. Los nuevos procesos y materiales requeridos para la fabricación de dispositivos de dimensiones tan reducidas están dando lugar a diferentes efectos que resultan finalmente en un incremento del consumo estático, o una mayor vulnerabilidad frente a radiación. Las memorias SRAM son ya la parte más vulnerable de un sistema electrónico, no solo por representar más de la mitad del área de los SoCs y microprocesadores actuales, sino también porque las variaciones de proceso les afectan de forma crítica, donde el fallo de una única célula afecta a la memoria entera. Esta tesis aborda los diferentes retos que presenta el diseño de memorias SRAM en las tecnologías más pequeñas. En un escenario de aumento de la variabilidad, se consideran problemas como el consumo de energía, el diseño teniendo en cuenta efectos de la tecnología a bajo nivel o el endurecimiento frente a radiación. En primer lugar, dado el aumento de la variabilidad de los dispositivos pertenecientes a los nodos tecnológicos más pequeños, así como a la aparición de nuevas fuentes de variabilidad por la inclusión de nuevos dispositivos y la reducción de sus dimensiones, la precisión del modelado de dicha variabilidad es crucial. Se propone en la tesis extender el método de inyectores, que modela la variabilidad a nivel de circuito, abstrayendo sus causas físicas, añadiendo dos nuevas fuentes para modelar la pendiente sub-umbral y el DIBL, de creciente importancia en la tecnología FinFET. Los dos nuevos inyectores propuestos incrementan la exactitud de figuras de mérito a diferentes niveles de abstracción del diseño electrónico: a nivel de transistor, de puerta y de circuito. El error cuadrático medio al simular métricas de estabilidad y prestaciones de células SRAM se reduce un mínimo de 1,5 veces y hasta un máximo de 7,5 a la vez que la estimación de la probabilidad de fallo se mejora en varios ordenes de magnitud. El diseño para bajo consumo es una de las principales aplicaciones actuales dada la creciente importancia de los dispositivos móviles dependientes de baterías. Es igualmente necesario debido a las importantes densidades de potencia en los sistemas actuales, con el fin de reducir su disipación térmica y sus consecuencias en cuanto al envejecimiento. El método tradicional de reducir la tensión de alimentación para reducir el consumo es problemático en el caso de las memorias SRAM dado el creciente impacto de la variabilidad a bajas tensiones. Se propone el diseño de una célula que usa valores negativos en la bit-line para reducir los fallos de escritura según se reduce la tensión de alimentación principal. A pesar de usar una segunda fuente de alimentación para la tensión negativa en la bit-line, el diseño propuesto consigue reducir el consumo hasta en un 20 % comparado con una célula convencional. Una nueva métrica, el hold trip point se ha propuesto para prevenir nuevos tipos de fallo debidos al uso de tensiones negativas, así como un método alternativo para estimar la velocidad de lectura, reduciendo el número de simulaciones necesarias. Según continúa la reducción del tamaño de los dispositivos electrónicos, se incluyen nuevos mecanismos que permiten facilitar el proceso de fabricación, o alcanzar las prestaciones requeridas para cada nueva generación tecnológica. Se puede citar como ejemplo el estrés compresivo o extensivo aplicado a los fins en tecnologías FinFET, que altera la movilidad de los transistores fabricados a partir de dichos fins. Los efectos de estos mecanismos dependen mucho del layout, la posición de unos transistores afecta a los transistores colindantes y pudiendo ser el efecto diferente en diferentes tipos de transistores. Se propone el uso de una célula SRAM complementaria que utiliza dispositivos pMOS en los transistores de paso, así reduciendo la longitud de los fins de los transistores nMOS y alargando los de los pMOS, extendiéndolos a las células vecinas y hasta los límites de la matriz de células. Considerando los efectos del STI y estresores de SiGe, el diseño propuesto mejora los dos tipos de transistores, mejorando las prestaciones de la célula SRAM complementaria en más de un 10% para una misma probabilidad de fallo y un mismo consumo estático, sin que se requiera aumentar el área. Finalmente, la radiación ha sido un problema recurrente en la electrónica para aplicaciones espaciales, pero la reducción de las corrientes y tensiones de los dispositivos actuales los está volviendo vulnerables al ruido generado por radiación, incluso a nivel de suelo. Pese a que tecnologías como SOI o FinFET reducen la cantidad de energía colectada por el circuito durante el impacto de una partícula, las importantes variaciones de proceso en los nodos más pequeños va a afectar su inmunidad frente a la radiación. Se demuestra que los errores inducidos por radiación pueden aumentar hasta en un 40 % en el nodo de 7nm cuando se consideran las variaciones de proceso, comparado con el caso nominal. Este incremento es de una magnitud mayor que la mejora obtenida mediante el diseño de células de memoria específicamente endurecidas frente a radiación, sugiriendo que la reducción de la variabilidad representaría una mayor mejora. ABSTRACT Reliability is becoming the main concern on integrated circuit as the technology goes beyond 22nm. Small imperfections in the device manufacturing result now in important random differences of the devices at electrical level which must be dealt with during the design. New processes and materials, required to allow the fabrication of the extremely short devices, are making new effects appear resulting ultimately on increased static power consumption, or higher vulnerability to radiation SRAMs have become the most vulnerable part of electronic systems, not only they account for more than half of the chip area of nowadays SoCs and microprocessors, but they are critical as soon as different variation sources are regarded, with failures in a single cell making the whole memory fail. This thesis addresses the different challenges that SRAM design has in the smallest technologies. In a common scenario of increasing variability, issues like energy consumption, design aware of the technology and radiation hardening are considered. First, given the increasing magnitude of device variability in the smallest nodes, as well as new sources of variability appearing as a consequence of new devices and shortened lengths, an accurate modeling of the variability is crucial. We propose to extend the injectors method that models variability at circuit level, abstracting its physical sources, to better model sub-threshold slope and drain induced barrier lowering that are gaining importance in FinFET technology. The two new proposed injectors bring an increased accuracy of figures of merit at different abstraction levels of electronic design, at transistor, gate and circuit levels. The mean square error estimating performance and stability metrics of SRAM cells is reduced by at least 1.5 and up to 7.5 while the yield estimation is improved by orders of magnitude. Low power design is a major constraint given the high-growing market of mobile devices that run on battery. It is also relevant because of the increased power densities of nowadays systems, in order to reduce the thermal dissipation and its impact on aging. The traditional approach of reducing the voltage to lower the energy consumption if challenging in the case of SRAMs given the increased impact of process variations at low voltage supplies. We propose a cell design that makes use of negative bit-line write-assist to overcome write failures as the main supply voltage is lowered. Despite using a second power source for the negative bit-line, the design achieves an energy reduction up to 20% compared to a conventional cell. A new metric, the hold trip point has been introduced to deal with new sources of failures to cells using a negative bit-line voltage, as well as an alternative method to estimate cell speed, requiring less simulations. With the continuous reduction of device sizes, new mechanisms need to be included to ease the fabrication process and to meet the performance targets of the successive nodes. As example we can consider the compressive or tensile strains included in FinFET technology, that alter the mobility of the transistors made out of the concerned fins. The effects of these mechanisms are very dependent on the layout, with transistor being affected by their neighbors, and different types of transistors being affected in a different way. We propose to use complementary SRAM cells with pMOS pass-gates in order to reduce the fin length of nMOS devices and achieve long uncut fins for the pMOS devices when the cell is included in its corresponding array. Once Shallow Trench isolation and SiGe stressors are considered the proposed design improves both kinds of transistor, boosting the performance of complementary SRAM cells by more than 10% for a same failure probability and static power consumption, with no area overhead. While radiation has been a traditional concern in space electronics, the small currents and voltages used in the latest nodes are making them more vulnerable to radiation-induced transient noise, even at ground level. Even if SOI or FinFET technologies reduce the amount of energy transferred from the striking particle to the circuit, the important process variation that the smallest nodes will present will affect their radiation hardening capabilities. We demonstrate that process variations can increase the radiation-induced error rate by up to 40% in the 7nm node compared to the nominal case. This increase is higher than the improvement achieved by radiation-hardened cells suggesting that the reduction of process variations would bring a higher improvement.