492 research outputs found

    Symbolic Simulation of Microprocessor Models Using Type Classes in Haskell

    Full text link

    SOSIALISASI PENGELOLAAN SAMPAH RUMAH TANGGA DI DESA LILI KELURAHAN CAMPLONG KECAMATAN FATULEU KABUPATEN KUPANG

    Get PDF
    Masyarakat belum melakukan pemilahan dan pengelolaan sampah organik dan anorganik, adanya sosialisasi dan pendampingan mengenai pengelolaan sampah rumah tangga diharapkan adanya pemahaman dari masyarakat mengenai pentingnya pengelolaan sampah, memberikan keterampilan kepada masyarakat di Lingkungan RT II desa Lili kelurahan Camplong I kecamatan Fatuleu kabupaten Kupang dalam memanfaatkan sampah organik dan anorganik menjadi produk yang bernilai. Kegiatan pengabdian berupa pemaparan materi dan praktek pembuatan biowash, anyaman piring dan bunga plastik dan diakhiri dengan evaluasi dan foto Bersama

    Sedimentological and palaeohydrological characterization of Late Pleistocene and Holocene tufa mound palaeolakes using trenching methods in the Spanish Pyrenees

    Get PDF
    Lakes developed in the inner depressions of tufa mounds are rare geomorphic features and still poorly understood. Sedimentation in this unusual type of endorheic lake with a very restricted catchment area is highly sensitive to environmental and hydrological changes. The Isona tufa mound complex, north-eastern Iberian Peninsula, is associated with the discharge zone of a confined artesian aquifer and comprises 11 tufa mounds consisting of an annular rimstone enclosing a central depression filled with lake deposits. Data gathered from trenches excavated in four palaeolakes located within three different morphostratigraphic units permitted a precise analysis of the geometrical characteristics and stratigraphic relationships of the deposits and provided a sedimentation model for the Late Quaternary infilling of the spring-fed lakes. The work illustrates that trenches allow a precise characterization of the stratigraphic arrangements, lateral facies changes and deformation structures, which are not apparent in studies relying solely on borehole records, and facilitate sampling for dating and geochemical analyses. The five sedimentary facies described represent different evolutionary stages of the lakes, including: (i) carbonate-rich palustrine deposits probably related to periods with strong hydrological seasonality; (ii) massive highly bioturbated organic ooze; (iii) banded organic carbonate-rich facies associated with an increase in the regional effective moisture; (iv) finegrained quartz-rich aeolian/slope-wash sediments; and (v) colluvial facies deposited following the desiccation of the lakes located at higher altitudes. Geochemical and sedimentological analyses of the lacustrine sequences provided information on the palaeohydrological evolution of the Isona tufa mound complex and the palaeoenvironmental conditions of the area over the last 28 ka. Radiometric dating suggests that deposition occurred simultaneously at ca 22 ka in palaeolakes situated at different elevations. A drop in the piezometric level prompted by the opening of springs at lower altitudes probably caused the deactivation of the upper springs and the desiccation of the lakes. Arid conditions prevailed in the area during the Late Glacial and the early Holocene (28·0 to 8·5 ka BP). More humid conditions recorded from 8·5 to 4·2 ka and again since 1·7 ka are in accordance with palaeoenvironmental reconstructions available in the Western Mediterranean since the Last Glacial Maximum

    Intramolecular hydrogen-bond activation for the addition of nucleophilic imines: 2-hydroxybenzophenone as a chemical auxiliary

    Full text link
    The addition of nucleophilic imines, using 2-hydroxybenzophenone as a chemical auxiliary, is presented. An intramolecular six-membered ring via hydrogen bonding that enhances the reactivity and selectivity is the key of this strategy, which is supported by DFT calculations and experimental trialsSpanish Government (CTQ2015-64561-R, CTQ2016-76061-P, and MDM-2014-0377), Prodep (UJAT-PTC-247) and CCC-UAM are acknowledged. A. G. thanks MINECO for a PhD fellowship (FPI) and A. M. S. thanks CAM for a postdoctoral contract (2016-T2/IND-1660

    Replication-induced DNA secondary structures drive fork uncoupling and breakage

    Get PDF
    Sequences that form DNA secondary structures, such as G-quadruplexes (G4s) and intercalated-Motifs (iMs), are abundant in the human genome and play various physiological roles. However, they can also interfere with replication and threaten genome stability. Multiple lines of evidence suggest G4s inhibit replication, but the underlying mechanism remains unclear. Moreover, evidence of how iMs affect the replisome is lacking. Here, we reconstitute replication of physiologically derived structure-forming sequences to find that a single G4 or iM arrest DNA replication. Direct single-molecule structure detection within solid-state nanopores reveals structures form as a consequence of replication. Combined genetic and biophysical characterisation establishes that structure stability and probability of structure formation are key determinants of replisome arrest. Mechanistically, replication arrest is caused by impaired synthesis, resulting in helicase-polymerase uncoupling. Significantly, iMs also induce breakage of nascent DNA. Finally, stalled forks are only rescued by a specialised helicase, Pif1, but not Rrm3, Sgs1, Chl1 or Hrq1. Altogether, we provide a mechanism for quadruplex structure formation and resolution during replication and highlight G4s and iMs as endogenous sources of replication stress

    Sediment dynamics in the subaquatic channel of the Rhone delta (Lake Geneva, France/Switzerland)

    Get PDF
    With its smaller size, well-known boundary conditions, and the availability of detailed bathymetric data, Lake Geneva's subaquatic canyon in the Rhone Delta is an excellent analogue to understand sedimentary processes in deep-water submarine channels. A multidisciplinary research effort was undertaken to unravel the sediment dynamics in the active canyon. This approach included innovative coring using the Russian MIR submersibles, in situ geotechnical tests, and geophysical, sedimentological, geochemical and radiometric analysis techniques. The canyon floor/levee complex is characterized by a classic turbiditic system with frequent spillover events. Sedimentary evolution in the active canyon is controlled by a complex interplay between erosion and sedimentation processes. In situ profiling of sediment strength in the upper layer was tested using a dynamic penetrometer and suggests that erosion is the governing mechanism in the proximal canyon floor while sedimentation dominates in the levee structure. Sedimentation rates progressively decrease down-channel along the levee structure, with accumulation exceeding 2.6cm/year in the proximal levee. A decrease in the frequency of turbidites upwards along the canyon wall suggests a progressive confinement of the flow through time. The multi-proxy methodology has also enabled a qualitative slope-stability assessment in the levee structure. The rapid sediment loading, slope undercutting and over-steepening, and increased pore pressure due to high methane concentrations hint at a potential instability of the proximal levees. Furthermore, discrete sandy intervals show very high methane concentrations and low shear strength and thus could correspond to potentially weak layers prone to scarp failures

    Promising-ARM/RISC-V: A Simpler and Faster Operational Concurrency Model

    Get PDF
    For ARMv8 and RISC-V, there are concurrency models in two styles, extensionally equivalent: axiomatic models, expressing the concurrency semantics in terms of global properties of complete executions; and operational models, that compute incrementally. The latter are in an abstract microarchitectural style: they execute each instruction in multiple steps, out-of-order and with explicit branch speculation. This similarity to hardware implementations has been important in developing the models and in establishing confidence, but involves complexity that, for programming and model-checking, one would prefer to avoid. We present new more abstract operational models for ARMv8 and RISC-V, and an exploration tool based on them. The models compute the allowed concurrency behaviours incrementally based on thread-local conditions and are significantly simpler than the existing operational models: executing instructions in a single step and (with the exception of early writes) in program order, and without branch speculation. We prove the models equivalent to the existing ARMv8 and RISC-V axiomatic models in Coq. The exploration tool is the first such tool for ARMv8 and RISC-V fast enough for exhaustively checking the concurrency behaviour of a number of interesting examples. We demonstrate using the tool for checking several standard concurrent datastructure and lock implementations, and for interactively stepping through model-allowed executions for debugging.EP/K008528/

    The PLIN4 Variant rs8887 Modulates Obesity Related Phenotypes in Humans through Creation of a Novel miR-522 Seed Site

    Get PDF
    PLIN4 is a member of the PAT family of lipid storage droplet (LSD) proteins. Associations between seven single nucleotide polymorphisms (SNPs) at human PLIN4 with obesity related phenotypes were investigated using meta-analysis followed by a determination if these phenotypes are modulated by interactions between PLIN4 SNPs and dietary PUFA. Samples consisted of subjects from two populations of European ancestry. We demonstrated association of rs8887 with anthropometrics. Meta-analysis demonstrated significant interactions between the rs8887 minor allele with PUFA n3 modulating anthropometrics. rs884164 showed interaction with both n3 and n6 PUFA modulating anthropometric and lipid phenotypes. In silico analysis of the PLIN4 3′UTR sequence surrounding the rs8887 minor A allele predicted a seed site for the human microRNA-522 (miR-522), suggesting a functional mechanism. Our data showed that a PLIN4 3′UTR luciferase reporter carrying the A allele of rs8887 was reduced in response to miR-522 mimics compared to the G allele. These results suggest variation at the PLIN4 locus, and its interaction with PUFA as a modulator of obesity related phenotypes, acts in part through creation of a miR-522 regulatory site

    Mediterranean Diet and atherothrombosis biomarkers: a randomized controlled trial

    Get PDF
    Scope. To assess whether following a Mediterranean diet (MedDiet) improved atherothrombosis biomarkers in high cardiovascular risk individuals. Methods and results. In 358 random volunteers from the PREvención con DIeta MEDiterránea trial, we assessed the 1-year effects on atherothrombosis markers of an intervention with MedDiet, enriched with virgin olive oil (MedDiet-VOO; n=120) or nuts (MedDiet-Nuts; n=119) versus a low-fat control diet (n=119). We also studied whether large increments in MedDiet adherence (≥3 score points, relative to compliance decreases) and intake changes in key food items were associated with 1-year differences in biomarkers. We observed differences between 1-year changes in the MedDiet-VOO intervention and control diet on the activity of platelet activating factor acetylhydrolase in HDLs (+7.5% [95% confidence interval: 0.17; 14.8]) and HDL-bound α1-antitrypsin levels (- 6.1% [-11.8; -0.29]), and between the MedDiet-Nuts intervention and the control arm on non-esterified fatty acid concentrations (-9.3% [-18.1; -0.53]). Large MedDiet adherence increments were associated with less fibrinogen (-9.5% [-18.3; -0.60]) and non-esterified fatty acid concentrations (-16.7% [-31.7; -1.74]). Increases in nut, fruit, vegetable, and fatty fish consumption, and decreases in processed meat intake were linked to beneficial changes in atherothrombosis biomarkers. Conclusion. Following a MedDiet improved atherothrombosis biomarkers in high cardiovascular risk individual
    corecore