Search results for "Label"

showing 10 items of 797 documents

Extending SPARQL with Temporal Logic

2009

The data integration and sharing activities carried on in the framework of the Semantic Web lead to large knowledge bases that must be queried, analyzed, and exploited efficiently. Many of the knowledge representation languages of the Semantic Web, starting with RDF, are based on directed, labeled graphs, which can be also manipulated using graph algorithms and tools coming from other domains. In this paper, we propose an analysis approach of RDF graphs by reusing the verification technology developed for concurrent systems. To this purpose, we define a translation from the SPARQL query language into XTL, a general-purpose graph manipulation language implemented in the CADP verification too…

[ INFO.INFO-MO ] Computer Science [cs]/Modeling and Simulation[INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO][INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB][INFO.INFO-WB] Computer Science [cs]/Web[INFO.INFO-WB]Computer Science [cs]/Web[ INFO.INFO-WB ] Computer Science [cs]/WebInformationSystems_DATABASEMANAGEMENTlabeled transition system[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]ACM : H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.3: Languages/H.2.3.3: Query languagesSPARQL[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulationmodel checkingRDFACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.4: Model checking[ INFO.INFO-DB ] Computer Science [cs]/Databases [cs.DB]temporal logicACM : D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.4: Model checking[INFO.INFO-DB] Computer Science [cs]/Databases [cs.DB][ INFO.INFO-LO ] Computer Science [cs]/Logic in Computer Science [cs.LO]ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.3: Languages/H.2.3.3: Query languages[INFO.INFO-MO] Computer Science [cs]/Modeling and Simulationverification
researchProduct

Short term adaptive response of symbiotic N2 fixation in pea to root pruning of half the root system, linked to the availability of carbon assimilates

2014

Symbiotic N fixation of legumes is very sensitive to environmental stresses, like pea pests damaging nodulated roots. However, the impact on their N uptake capacity and plant growth has not been studied so far.We analyzed the adaptive response symbiotic N2 fixation and plant growth of pea wild type Frisson and hypernodulating mutants P64, P118 and P121 mutated respectively on genes SYM28, SYM29 and NOD3 to root pruning of half the root system at the end of the vegetative stage. The adaptive responses of pea: cv. Frisson and 3 of its hypernodulating mutants were compared under varying carbon supplies from photosynthesis.At 380 ppm, mutant P118 showed the lowest decrease of the specific activ…

[ SDV.BV ] Life Sciences [q-bio]/Vegetal BiologyC Assimilation and partitioningNodules15NRacinesMarquage isotopique 13CPisum sativum L.AblationRootsMutants hypernodulantsFixation symbiotique du N2Low or elevated CO2 concentrationSink strength for CTeneur en CO2 faible ou élevéeForce de puits pour le carboneSymbiotic N2fixation15N Isotopic labeling[SDV.BV]Life Sciences [q-bio]/Vegetal Biology[SDV.BV] Life Sciences [q-bio]/Vegetal BiologyHypernodulating mutantsRoot pruning13CAssimilation et répartition du CNodosités
researchProduct

AN ONTOLOGY-BASED RECOMMENDER SYSTEM USING HIERARCHICAL MULTICLASSIFICATION FOR ECONOMICAL E-NEWS

2014

International audience; This paper focuses on a recommender system of economic news articles. Its objectives are threefold: (i) automatically multi-classify new economic articles, (ii) recommend articles by comparing profiles of users and multi-classification of articles, and (iii) managing the vocabulary of the economic news domain to improve the system based on seamlessly intervention of documentalists. In this paper we focus on the automatic multi-classification of the articles, managed by inference process of ontologies, and the enrichment of the documentalist-oriented ontology which provides the necessary capabilities to the DL reasoner for automatic multi-classification.

[INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI]recommender system[ INFO.INFO-IR ] Computer Science [cs]/Information Retrieval [cs.IR]Multi-label classification[INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI][ INFO.INFO-IT ] Computer Science [cs]/Information Theory [cs.IT]machine learning[INFO.INFO-IT]Computer Science [cs]/Information Theory [cs.IT][INFO.INFO-IR]Computer Science [cs]/Information Retrieval [cs.IR][INFO.INFO-IT] Computer Science [cs]/Information Theory [cs.IT][INFO.INFO-IR] Computer Science [cs]/Information Retrieval [cs.IR]e-newsontology[ INFO.INFO-AI ] Computer Science [cs]/Artificial Intelligence [cs.AI]ComputingMilieux_MISCELLANEOUS
researchProduct

A Note on Radio Antipodal Colouring of Paths

2005

International audience; The radio antipodal number of a graph G is the smallest integer c such that there exists an assignment f : V (G) -> {1, 2, . . . , c} satisfying |f(u) − f(v)| >= D − d(u, v) for every two distinct vertices u and v of G, where D is the diameter of G. In this note we determine the exact value of the antipodal number of the path, thus answering the conjecture given in [G. Chartrand, D. Erwin, and P. Zhang. Radio antipodal colorings of graphs, Math. Bohem. 127(1):57-69, 2002]. We also show the connections between this colouring and radio labelings.

[INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM]MSC 05C78 05C12 05C15[ INFO.INFO-DM ] Computer Science [cs]/Discrete Mathematics [cs.DM]distance labeling[INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]radio numberradio antipodal colouring
researchProduct

Réponses adaptatives du Pois protéagineux à une perturbation de la fixation symbiotique d'azote en relation avec le métabolisme carboné

2013

[SDE] Environmental Sciences[SDV]Life Sciences [q-bio]RacinesPisum sativum L.Marquage isotopique 13CAblationMutants hypernodulantsnodositésFixation symbiotique du N2[SDV] Life Sciences [q-bio]Teneur en CO2 faible ou élevéeForce de puits pour le carbone15N Isotopic labeling[SDE]Environmental SciencesAssimilation et répartition du C
researchProduct

Ex Ante evaluation of gene flow in oilseed rape with cropping system models

2013

Chapitre 4; Oilseed rape (OSR) genes can escape fields in space via pollen and seeds, and in time via volunteers resulting from seeds lost before or during oilseed rape harvest. When varieties co-exist, e.g. genetically-modified (GM) and non-GM varieties, this spatio-temporal gene flow can lead to the adventitious presence of GM seeds in non-GM harvests and thus cause financial losses for farmers and cooperatives. Gene flow depends on crop locations, succession, and management, as well as the location and management of semi-natural areas such as roadverges. The objective of this investigation was to present a simulation methodology using the spatially-explicit cropping system model GENESYS …

[SDE] Environmental Sciencesmodelcropping system modeloilseed rapegenesysrisk analysis[SDV]Life Sciences [q-bio]interactionlandscapecropping systemlabelling threshold[SDV] Life Sciences [q-bio]prospective scenariosvolunteers[SDE]Environmental Sciencesex ante evaluation[SDV.BV]Life Sciences [q-bio]/Vegetal Biology[SDV.BV] Life Sciences [q-bio]/Vegetal Biologygene flow
researchProduct

L’approche par les ressources : pour une vision renouvelée des rapports entre économie et territoire

2016

International audience

[SDE] Environmental Sciencesressources05 social sciencesPNR Monts d'Ardèche[SDE]Environmental Sciences0507 social and economic geographyéconomie territoriale[SHS] Humanities and Social Scienceslabellisationcircuits proximité050703 geographyComputingMilieux_MISCELLANEOUS[SHS]Humanities and Social Sciences
researchProduct

Changes in the pea seed proteome in response to drought combined with sulfur deficiency

2017

EABAPGEAPSI DOCT INRA; Pea (Pisum sativum L.) produces seeds rich in proteins, but seed yield and quality remain unstable across years due to abiotic stresses occurring during the reproductive period. Drought and sulfur deficiency are two abiotic stresses that interact in the current context of climate change and lowinput practices, and recent studies suggest a role of sulfate transport and metabolism in the plant response to drought (Ernst et al., 2010; Chan et al., 2013; Gallardo et al., 2014; Ahmad et al., 2016). In this study, we investigated the impact of sulfur deficiency combined with drought on the pea seed proteome. Pea plants were subjected to sulfur-deficiency two weeks after sow…

[SDE] Environmental Sciencessulfur nutritionwater stressshotgun proteomics[ SDV ] Life Sciences [q-bio][SDV]Life Sciences [q-bio][SDE]Environmental Sciencesfood and beveragesseed embryogenesisseed qualitylabel-free
researchProduct

Effect of environmental labelling on food choices: A randomised controlled trial in a virtual supermarket

2022

[SDV.AEN] Life Sciences [q-bio]/Food and NutritionLabellingFood choiceVirtual supermarket[SDV.NEU.SC] Life Sciences [q-bio]/Neurons and Cognition [q-bio.NC]/Cognitive Sciences
researchProduct

Gros plan sur ChemoSens, R&D et expertise en analyses physico-chimique et sensorielle. Une plate-forme du Centre des Sciences du Goût et de l'Aliment…

2016

ChemoSens est une plate-forme de recherche publique du Centre des Sciences du Goût et de l'Alimentation (CSGA, unité mixte de recherche CNRS - INRA - Université Bourgogne Franche-Comté). Son originalité repose sur l'utilisation combinée de la chimie et de l'analyse sensorielle pour développer de nouvelles approches de caractérisation des aliments et du comportement alimentaire.

[SDV.AEN] Life Sciences [q-bio]/Food and Nutritionanalyses physico-chimiquesanalyses sensorielles[ SDV.AEN ] Life Sciences [q-bio]/Food and Nutrition[SDV.IDA]Life Sciences [q-bio]/Food engineeringlabel[ SDV.IDA ] Life Sciences [q-bio]/Food engineeringrecherche et développementinstitut de recherche agronomique[SDV.IDA] Life Sciences [q-bio]/Food engineering[SDV.AEN]Life Sciences [q-bio]/Food and Nutritionplateforme
researchProduct