Search results for "GC"

showing 10 items of 606 documents

The Descriptive Complexity Approach to LOGCFL

1999

Building upon the known generalized-quantifier-based firstorder characterization of LOGCFL, we lay the groundwork for a deeper investigation. Specifically, we examine subclasses of LOGCFL arising from varying the arity and nesting of groupoidal quantifiers. Our work extends the elaborate theory relating monoidal quantifiers to NC1 and its subclasses. In the absence of the BIT predicate, we resolve the main issues: we show in particular that no single outermost unary groupoidal quantifier with FO can capture all the context-free languages, and we obtain the surprising result that a variant of Greibach's "hardest contextfree language" is LOGCFL-complete under quantifier-free BIT-free interpre…

Discrete mathematicsUnary operationComputer science0102 computer and information sciences02 engineering and technologyComputer Science::Computational ComplexityArityDescriptive complexity theory01 natural sciencesNondeterministic algorithm010201 computation theory & mathematicsDeterministic automatonBIT predicate0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processingNondeterministic finite automatonLOGCFL
researchProduct

Reactivation of SNURF-SNRPN gene by DNA Methyltransferase inhibitors in a Prader-Willi lymphoblastoid cell line.

2014

ECGCDNMT1DNMTDNA Methyltransferase inhibitorRG108ZebularineDecitabinePrader-Willi SyndromeSNURF-SNRPN geneSettore MED/13 - Endocrinologia
researchProduct

The influence of building interactions on seismic and elastic body waves

2019

We outline some recent research advances on the control of elastic waves in thin and thick plates, that have occurred since the large scale experiment [S. Brûlé, Phys. Rev. Lett. 112, 133901 (2014)] that demonstrated significant interaction of surface seismic waves with holes structuring sedimentary soils at the meter scale. We further investigate the seismic wave trajectories of compressional body waves in soils structured with buildings. A significant substitution of soils by inclusions, acting as foundations, raises the question of the effective dynamic properties of these structured soils. Buildings, in the case of perfect elastic conditions for both soil and buildings, are shown to int…

Earthquake engineeringTechnologyScale (ratio)elastic cloakingBody wavesCITYMaterials ScienceCloakingMaterials Science Multidisciplinary01 natural sciencesSeismic wavePhysics::Geophysics03 medical and health sciencesSeismic metamaterial0103 physical sciences[PHYS.MECA.SOLID]Physics [physics]/Mechanics [physics]/Solid mechanics [physics.class-ph]General Materials Science010306 general physics030304 developmental biology0303 health sciencesScience & TechnologyhomogenisationCLOAKINGphysics.class-phCondensed Matter Physicslcsh:QC1-999[PHYS.MECA.ACOU]Physics [physics]/Mechanics [physics]/Acoustics [physics.class-ph][SPI.GCIV]Engineering Sciences [physics]/Civil EngineeringMechanics of Materialssite-city interaction[SPI.OPTI]Engineering Sciences [physics]/Optics / Photoniclcsh:Electrical engineering. Electronics. Nuclear engineeringearthquake engineeringlcsh:TK1-9971Seismologylcsh:Physics
researchProduct

Gradual caldera collapse at Bardarbunga volcano, Iceland, regulated by lateral magma outflow

2016

Large volcanic eruptions on Earth commonly occur with a collapse of the roof of a crustal magma reservoir, forming a caldera. Only a few such collapses occur per century, and the lack of detailed observations has obscured insight into the mechanical interplay between collapse and eruption.We usemultiparameter geophysical and geochemical data to show that the 110-square kilometer and 65-meter-deep collapse of Bárdarbunga caldera in 2014–2015 was initiated through withdrawal of magma, and lateral migration through a 48-kilometers-long dike, from a 12-kilometers deep reservoir. Interaction between the pressure exerted by the subsiding reservoir roof and the physical properties of the subsurfac…

EldgosLateral eruption010504 meteorology & atmospheric sciencesLavaÖskjugosHraunrennsli010502 geochemistry & geophysics01 natural sciences[SDU.STU.GC]Sciences of the Universe [physics]/Earth Sciences/GeochemistryCalderaComputingMilieux_MISCELLANEOUS0105 earth and related environmental sciencesgeographygeography.geographical_feature_categoryMultidisciplinaryGlacier DynamicsResurgent domeMedicine (all)Complex volcanoLateral Magma Flow16. Peace & justiceCaldera collapseDense-rock equivalentBárðarbungaVolcano13. Climate actionEruptionMagmaGeologySeismology
researchProduct

Transcriptional changes through menstrual cycle reveal a global transcriptional derepression underlying the molecular mechanism involved in the windo…

2021

The human endometrium is a dynamic tissue that only is receptive to host the embryo during a brief time in the middle secretory phase, called the window of implantation (WOI). Despite its importance, regulation of the menstrual cycle remains incompletely understood. The aim of this study was to characterize the gene cooperation and regulation of menstrual cycle progression, to dissect the molecular complexity underlying acquisition of endometrial receptivity for a successful pregnancy, and to provide the scientific community with detailed gene co-expression information throughout the menstrual cycle on a user-friendly web-tool database. A retrospective gene co-expression analysis was perfor…

Embryologysystems biology of the menstrual cycleTranscription Geneticendometrial receptivitymedia_common.quotation_subjectweighted gene correlation network analysis (WGCNA)BiologyCohort StudiesEndometriumgenetic regulation of menstrual cyclePregnancymicroRNAGeneticsHumansEmbryo ImplantationMolecular BiologyGeneTranscription factorgene co-expressionDerepressionMenstrual cycleMenstrual Cycletranscription factormedia_commonrecurrent implantation failuremicroRNAObstetrics and GynecologyGene Expression Regulation DevelopmentalEmbryoCell BiologyGene signatureCell biologyendometrial transcriptomicsnuclear hormone receptorReproductive MedicineNuclear receptorEmbryo LossFemaleTranscriptomeDevelopmental Biology
researchProduct

Parametric Hull Design with Rational Bézier Curves and Estimation of Performances

2021

In this paper, a tool able to support the sailing yacht designer during the early stage of the design process has been developed. Cubic Rational Bézier curves have been selected to describe the main curves defining the hull of a sailing yacht. The adopted approach is based upon the definition of a set of parameters, say the length of waterline, the beam of the waterline, canoe body draft and some dimensionless coefficients according to the traditional way of the yacht designer. Some geometrical constraints imposed on the curves (e.g., continuity, endpoint angles, curvature) have been conceived aimed to avoid unreasonable shapes. These curves can be imported into any commercial Computer Aide…

Engineering drawingComputer scienceVBAVPP020101 civil engineeringOcean EngineeringBézier curve02 engineering and technologycomputer.software_genre01 natural sciences010305 fluids & plasmas0201 civil engineeringWaterlinelcsh:Oceanographysymbols.namesakeSoftwarelcsh:VM1-989Beam (nautical)Hull0103 physical sciencesComputer Aided DesignCADlcsh:GC1-1581Settore ING-IND/15 - Disegno E Metodi Dell'Ingegneria IndustrialeWater Science and TechnologyCivil and Structural EngineeringParametric statisticsbusiness.industrylcsh:Naval architecture. Shipbuilding. Marine engineeringrational Bézier curverational Bézier curvessailing yacht designsymbolsexcelbusinessEngineering design processcomputerJournal of Marine Science and Engineering
researchProduct

Intrusion Detection and Ejection Framework Against Lethal Attacks in UAV-Aided Networks: A Bayesian Game-Theoretic Methodology

2017

International audience; Advances in wireless communications and microelectronics have spearheaded the development of unmanned aerial vehicles (UAVs), which can be used to augment a ground network composed of sensors and/or vehicles in order to increase coverage, enhance the end-to-end delay, and improve data processing. While UAV-aided networks can potentially find applications in many areas, a number of issues, particularly security, have not been readily addressed. The intrusion detection system is the most commonly used technique to detect attackers. In this paper, we focus on addressing two main issues within the context of intrusion detection and attacker ejection in UAV-aided networks…

EngineeringAnomaly-based intrusion detection systemintrusion detection system (IDS)Context (language use)02 engineering and technologyIntrusion detection systemComputer securitycomputer.software_genreBayesian game[ SPI.GCIV.IT ] Engineering Sciences [physics]/Civil Engineering/Infrastructures de transportUtility[ SPI.NRJ ] Engineering Sciences [physics]/Electric power0202 electrical engineering electronic engineering information engineering[ SPI.GCIV ] Engineering Sciences [physics]/Civil Engineering[ SPI ] Engineering Sciences [physics]Overhead (computing)Network performanceunmanned aerial vehicles (UAVs)Ad HocBayesian gameVehicular ad hoc networkbusiness.industryMechanical EngineeringNode (networking)020206 networking & telecommunicationsComputer Science Applications[ SPI.TRON ] Engineering Sciences [physics]/ElectronicsEfficientAutomotive Engineeringintrusion ejection system (IES)020201 artificial intelligence & image processingVehicular NetworksWireless Sensor NetworksbusinesscomputerComputer network
researchProduct

Strontium isotopes as tracers of water-rocks interactions, mixing processes and residence time indicator of groundwater within the granite-carbonate …

2016

This study aims at identifying the water-rock interactions and mixing rates within a complex granite-carbonate coastal aquifer under high touristic pressure. Investigations have been carried out within the coastal aquifer of Bonifacio (southern Corsica, France) mainly composed of continental granitic weathering products and marine calcarenite sediments filling a granitic depression. A multi-tracer approach combining physico-chemical parameters, major ions, selected trace elements, stable isotopes of the water molecule and 87Sr/86Sr ratios measurements is undertaken for 20 groundwater samples during the low water period in November 2014. 5 rock samples of the sedimentary deposits and surroun…

Environmental Engineering0208 environmental biotechnologyGeochemistryCorsicaWeatheringAquifer02 engineering and technology010501 environmental sciences01 natural scienceschemistry.chemical_compound[SDU.STU.GC]Sciences of the Universe [physics]/Earth Sciences/GeochemistryEnvironmental Chemistry[SDU.STU.HY]Sciences of the Universe [physics]/Earth Sciences/HydrologyHydrogeochemistryWaste Management and Disposal0105 earth and related environmental sciencesHydrologygeographygeography.geographical_feature_categoryWater-rocks interactionSedimentGroundwater rechargeStrontium isotopes[ SDU.STU.GC ] Sciences of the Universe [physics]/Earth Sciences/GeochemistryPollution020801 environmental engineeringCalcareniteKineticschemistry13. Climate actionCarbonateSedimentary rock[ SDU.STU.HY ] Sciences of the Universe [physics]/Earth Sciences/HydrologyGroundwaterGeology
researchProduct

Impact of historical mining assessed in soils by kinetic extraction and lead isotopic ratios.

2014

12 pages; International audience; The aim of this study is to estimate the long-term behaviour of trace metals, in two soils differently impacted by past mining. Topsoils from two 1 km(2) zones in the forested Morvan massif (France) were sampled to assess the spatial distribution of Cd, Cu, Pb and Zn. The first zone had been contaminated by historical mining. As expected, it exhibits higher trace-metal levels and greater spatial heterogeneity than the second non-contaminated zone, supposed to represent the local background. One soil profile from each zone was investigated in detail to estimate metal behaviour, and hence, bioavailability. Kinetic extractions were performed using EDTA on thre…

Environmental EngineeringBioavailability[SDE.MCG]Environmental Sciences/Global Changes[ SDV.SA.SDS ] Life Sciences [q-bio]/Agricultural sciences/Soil study010501 environmental sciences[SDV.SA.SDS]Life Sciences [q-bio]/Agricultural sciences/Soil studySpatial distribution01 natural sciencesMiningSoilIsotopesTrace metals[SDU.STU.GC]Sciences of the Universe [physics]/Earth Sciences/GeochemistrySoil PollutantsEnvironmental ChemistrySpatial distributionWaste Management and Disposal0105 earth and related environmental sciencesHorizon (archaeology)010401 analytical chemistryExtraction (chemistry)Forest soilEDTABiota15. Life on land[ SDU.STU.GC ] Sciences of the Universe [physics]/Earth Sciences/GeochemistryPollutionSoil contamination0104 chemical sciencesSpatial heterogeneity[ SDE.MCG ] Environmental Sciences/Global ChangesKineticsLead13. Climate actionEnvironmental chemistrySoil waterSoil horizonEnvironmental scienceFranceEnvironmental Monitoring
researchProduct

An optimal dimensioning method of a green wall structure for noise pollution reduction

2021

International audience; This paper concern the optimization of a multilayered green wall structure including substrate and foliage in order to reduce as much as possible backward noise reflection and forward transmission from the wall. Each component involved in the wall structure is fully characterized experimentally to get its transfer matrix. Simulation demonstrated that foliage layer superimposed to substrate layer doesn’t affect the transmission losses but contributes greatly to the increase of return losses of the green wall structure. To achieve the best perfor­mances in terms of return and forward losses as well as frequency bandwidth, the methods of optimization are discussed inclu…

Environmental EngineeringMaterials scienceReturn lossAcousticsNoise reductionTransmission lossesGeography Planning and Development0211 other engineering and technologies02 engineering and technology010501 environmental sciences01 natural sciencesNoise (electronics)[SPI.MAT]Engineering Sciences [physics]/Materials[SPI]Engineering Sciences [physics]2010 MSC: 00-01 99-00021108 energyNoise reductionDimensioning0105 earth and related environmental sciencesCivil and Structural Engineering[SPI.ACOU]Engineering Sciences [physics]/Acoustics [physics.class-ph]FoliageMulti-layerTransmission lossReturn lossesBuilding and ConstructionNoise reduction;Substrate;Foliage;Multi-layer;Return loss;Transmission lossTransfer matrixSubstrate (building)Transmission (telecommunications)Reflection (physics)SubstrateGreen wall[SPI.GCIV.EC]Engineering Sciences [physics]/Civil Engineering/Eco-conception
researchProduct