Search results for "IDENTIFICATION"

showing 10 items of 1600 documents

Kolmogorov numberings and minimal identification

1997

Abstract Identification of programs for computable functions from their graphs by algorithmic devices is a well studied problem in learning theory. Freivalds and Chen consider identification of ‘minimal’ and ‘nearly minimal’ programs for functions from their graphs. To address certain problems in minimal identification for Godel numberings, Freivalds later considered minimal identification in Kolmogorov numberings. Kolmogorov numberings are in some sense optimal numberings and have some nice properties. We prove certain separation results for minimal identification in every Kolmogorov numbering. In addition we also compare minimal identification in Godel numberings versus minimal identifica…

Discrete mathematicsCombinatoricsIdentification (information)Computable functionGeneral Computer ScienceNumberingComputer Science(all)Theoretical Computer ScienceMathematicsTheoretical Computer Science
researchProduct

Kolmogorov numberings and minimal identification

1995

Identification of programs for computable functions from their graphs by algorithmic devices is a well studied problem in learning theory. Freivalds and Chen consider identification of ‘minimal’ and ‘nearly minimal’ programs for functions from their graphs. To address certain problems in minimal identification for Godel numberings, Freivalds later considered minimal identification in Kolmogorov Numberings. Kolmogorov numberings are in some sense optimal numberings and have some nice properties. We prove certain hierarchy results for minimal identification in every Kolmogorov numbering. In addition we also compare minimal identification in Godel numbering versus minimal identification in Kol…

Discrete mathematicsIdentification (information)Computable functionHierarchy (mathematics)Gödel numberingRecursive functionsInductive reasoningNumberingMathematics
researchProduct

Probabilistic limit identification up to “small” sets

1996

In this paper we study limit identification of total recursive functions in the case when “small” sets of errors are allowed. Here the notion of “small” sets we formalize in a very general way, i.e. we define a notion of measure for subsets of natural numbers, and we consider as being small those sets, which are subsets of sets with zero measure.

Discrete mathematicsIdentification (information)Zero (complex analysis)Recursive functionsNatural numberLimit (mathematics)Measure (mathematics)Mathematics
researchProduct

Calcification is not the Achilles'heel of cold-water corals in an acidifying ocean

2015

Ocean acidification is thought to be a major threat to coral reefs: laboratory evidence and CO2 seep research has shown adverse effects on many coral species, although a few are resilient. There are concerns that cold-water corals are even more vulnerable as they live in areas where aragonite saturation (Omega ara) is lower than in the tropics and is falling rapidly due to CO2 emissions. Here, we provide laboratory evidence that net (gross calcification minus dissolution) and gross calcification rates of three common cold-water corals, Caryophyllia smithii, Dendrophyllia cornigera, and Desmophyllum dianthus, are not affected by pCO2 levels expected for 2100 (pCO2 1058 µatm, Omega ara 1.29),…

Dissolution rateOcean Acidification International Coordination Centre (OA-ICC)TemperateIdentificationSalinityBicarbonate ion standard deviationinorganicAlkalinity total standard deviationAlkalinityExperimentTemperature waterCarbon inorganic dissolvedCalculated using seacarb after Nisumaa et al 2010Aragonite saturation stateRespiration rate oxygenAlkalinity totaltotalDesmophyllum dianthuspHRespirationTemperatureCalcification rate of calcium carbonatedissolvedLaboratory experimentCarbonate ionDeep seaPartial pressure of carbon dioxide (water) at sea surface temperature (wet air)Field experimentCarbon dioxide standard deviationTemperature water standard deviationContainers and aquaria 20 1000 L or 1 m 2Respiration rateEarth System ResearchContainers and aquaria (20-1000 L or &lt; 1 m**2)standard deviationCalcification/DissolutionPotentiometric titrationCalcite saturation statePotentiometricwaterPartial pressure of carbon dioxideCaryophyllia smithiiContainers and aquaria (20-1000 L or < 1 m**2)Dendrophyllia cornigeraFigureAragonite saturation state standard deviationBenthosCnidariaOcean Acidification International Coordination Centre OA ICCMediterranean SeaAnimaliaBicarbonate ionCalculated using seacarb after Nisumaa et al. (2010)SpeciesCalculated using CO2SYSfungiEvent labelDeep-seaPartial pressure of carbon dioxide standard deviationCarbonate system computation flagpH standard deviationCarbonate ion standard deviationbiochemical phenomena metabolism and nutritionFugacity of carbon dioxide (water) at sea surface temperature (wet air)CarbonTreatmentPartial pressure of carbon dioxide water at sea surface temperature wet airCarbon dioxideSingle speciesCalcification DissolutionFugacity of carbon dioxide water at sea surface temperature wet airBenthic animalsoxygen
researchProduct

An Integrated System for Efficient Management of Distribution Networks: The System's Architecture and the Telecommunication Infrastructure

2006

Modern distribution systems must keep up with high power quality standards due to the new regulations of the European Community and of the different national legislations. Efficient faults management is one of the basic tasks utilities must accomplish and this objective can be attained if and only if automation is present and efficient diagnostic procedures have been implemented in the centralized or distributed units all over the network. In this paper, the architecture of an integrated system for management of modern distribution systems is presented. The system includes routines for normal on-line optimal operation of distribution systems and for outage management, the latter including f…

Distribution systemEngineeringIdentification (information)Distribution networksEuropean communitybusiness.industrySystems engineeringPower qualityService restorationArchitecturebusinessTelecommunicationsAutomationProceedings of the 41st International Universities Power Engineering Conference
researchProduct

Ant Colony Search algorithm for optimal strategical planning of electrical distribution systems expansion

2005

Strategical planning is one of many research fields in the design of electrical distribution systems. The problem of strategical planning is a multiobjective combinatorial problem and the search space may often be quite large concerning to the options. The aim is to identify a strategy of expansion of a given distribution system in a given timeframe. For this problem, the search space is created beforehand by running a multiobjective optimisation algorithm for the optimal design of distribution networks for different load levels related to different years. The sets of Pareto-optimal solutions obtained for each load level at each year are equivalent in terms of the considered objectives, the…

Distribution systemMathematical optimizationIdentification (information)Artificial IntelligenceSearch algorithmComputer scienceSimulated annealingEnumerationAnt colony
researchProduct

A contribution to solve the problem of attributing harmonic distortion responsibility

2005

Owing to the proliferation of loads which draw nonsinusoidal currents, the current and voltage distortion in distribution systems is ever increasing. The correct identification of the source of distortion is important for attributing the responsibility of disturbances to utility and customers. In this paper, a new classification of the possible classes of responsibility is proposed, defining some conditions, based on the improvement of the method of decomposition of the current into conforming and nonconforming components, and of the method based on the evaluation of the sign of harmonic active powers, which allows their identification.

Distribution systemTotal harmonic distortionIdentification (information)Computer scienceControl theoryDistortionMathematical analysisHarmonicDecomposition (computer science)Voltage distortionSign (mathematics)18th International Conference and Exhibition on Electricity Distribution (CIRED 2005)
researchProduct

&lt;strong&gt;Review of the New Caledonian species of the genus &lt;em&gt;Pactola&lt;/em&gt; Pascoe, 1876 (Coleoptera: Curculionidae: Eugnomini), wit…

2014

The two species of the genus Pactola Pascoe known from New Caledonia, P. convexa (Montrouzier) and P. setacea (Montrouzier), are redescribed and two new species (P. magna sp. n. and P. proxima sp. n.) are described. Pactola kanalensis (Perroud) is a new junior synonym of P. setacea (Montrouzier). A neotype of Pactola setacea (Montrouzier) and lectotypes of Pactola convexa (Montrouzier) and Pactola kanalensis (Perroud) are designated. Pactola nigra Hudson is considered conspecific with Pactola variabilis Pascoe but formal synonymy requires further study. Colour photographs of the dorsal habitus and line drawings of taxonomically relevant structures of all species are provided, as well as an …

DorsumCurculionidaeLine drawingsBotanyIdentification keyAnimal Science and ZoologyTaxonomy (biology)Biologybiology.organism_classificationEcology Evolution Behavior and SystematicsZootaxa
researchProduct

Tevatron Run II combination of the effective leptonic electroweak mixing angle

2018

The Ministry of Science and Innovation and the Consolider-Ingenio 2010 Program and the European Union community Marie Curie Fellowship Contract No. 302103.

Drell-Yan processsemianalytical programsPhysics and Astronomy (miscellaneous)FERMION PAIR PRODUCTIONUPGRADETevatronhadron-colliders01 natural sciencesHigh Energy Physics - ExperimentPhysics Particles & Fieldselectron: pair productionHigh Energy Physics - Experiment (hep-ex)MONTE-CARLOUNIVERSAL MONTE-CARLOELECTROMAGNETIC CALORIMETERDZERO[PHYS.HEXP]Physics [physics]/High Energy Physics - Experiment [hep-ex]HADRON COLLIDERSangular distributionBatavia TEVATRON CollMonte CarloPhysicsscattering [anti-p p]gauge bosonPhysicsElectroweak interactionDrell–Yan processWeinberg anglespontaneous symmetry breaking [electroweak interaction]muon: pair productionPhysical Sciencesmixing angle [electroweak interaction]bosonPHOTOSmass: measured [W]asymmetryParticle physicsFOS: Physical sciencesSEMIANALYTICAL PROGRAMddc:500.2Astronomy & Astrophysicselectroweak interaction: spontaneous symmetry breaking114 Physical sciences530programmingW: mass: measuredStandard Modelanti-p p: colliding beams[ PHYS.HEXP ] Physics [physics]/High Energy Physics - Experiment [hep-ex]hadroproduction [Z0]0103 physical sciencesanti-p p: scatteringddc:530High Energy Physicspair production [electron]pair production [muon]CALORIMETER010306 general physicsQED RADIATIVE-CORRECTIONSQed radiative-corrections; fermion pair production; universal; Monte Carlo; parton distributions; hadron-colliders; electromagnetic; calorimeter;semianalytical programs; E(+)E(-) annihilation; boson; production; D0 detectorGauge bosonBOSON PRODUCTIONMuonScience & Technologyelectroweak interaction: mixing angleAnti-p p: scattering | anti-p p: colliding beams | Z0: hadroproduction | Z0: leptonic decay | electroweak interaction: spontaneous symmetry breaking | electroweak interaction: mixing angle | muon: pair production | W: mass: measured | Weinberg angle | Batavia TEVATRON Coll | angular distribution | electron: pair production | Drell-Yan process | gauge boson | programming | asymmetry | CDF | DZERO | experimental resultsIDENTIFICATION010308 nuclear & particles physicsHigh Energy Physics::PhenomenologyuniversalWeinberg angleZ0: hadroproductionQED RADIATIVE-CORRECTIONS; FERMION PAIR PRODUCTION; UNIVERSAL; MONTE-CARLO; PARTON DISTRIBUTIONS; HADRON COLLIDERS; ELECTROMAGNETIC; CALORIMETER; SEMIANALYTICAL PROGRAM; E(+)E(-) ANNIHILATION; BOSON; PRODUCTION; D0 DETECTORleptonic decay [Z0]E(+)E(-) ANNIHILATIONelectromagneticPARTON DISTRIBUTIONSExperimental High Energy PhysicsZ0: leptonic decayD0 DETECTORCDFHigh Energy Physics::Experimentproductioncolliding beams [anti-p p]Leptonexperimental results
researchProduct

Sequencing, De Novo Assembly and Annotation of the Colorado Potato Beetle, Leptinotarsa decemlineata, Transcriptome

2012

Background. The Colorado potato beetle (Leptinotarsa decemlineata) is a major pest and a serious threat to potato cultivation throughout the northern hemisphere. Despite its high importance for invasion biology, phenology and pest management, little is known about L. decemlineata from a genomic perspective. We subjected European L. decemlineata adult and larval transcriptome samples to 454-FLX massively-parallel DNA sequencing to characterize a basal set of genes from this species. We created a combined assembly of the adult and larval datasets including the publicly available midgut larval Roche 454 reads and provided basic annotation. We were particularly interested in diapause-specific g…

Drug ResistanceGene Identification and AnalysisSequence assemblylcsh:MedicineGenes InsectDiapause InsectTranscriptomesTranscriptomeGenome Sequencinglcsh:ScienceLeptinotarsaPhylogenyvieraslajiGeneticsMultidisciplinarybiologytulokaslajitHigh-Throughput Nucleotide SequencingAgricultureGenomicsta4111ColeopteraLarvaInsect ProteinsSequence AnalysisResearch ArticlePesticide resistanceSequence analysisdiapaussiPolymorphism Single NucleotideDNA sequencingMolecular GeneticsGenome Analysis ToolsAnimalsPesticidesBiologySerpinsta1184Colorado potato beetlefungilcsh:RkoloradonkuoriainenComputational BiologyBayes TheoremMolecular Sequence AnnotationSequence Analysis DNA15. Life on landbiology.organism_classificationActinsdiapauseMicroRNAsGene OntologyPyrosequencingta1181lcsh:QPest ControltranskriptomiIntroduced SpeciesTranscriptomeZoologyEntomologyPLOS ONE
researchProduct