Search results for "Integration"

showing 10 items of 1465 documents

Qualifying semantic graphs using model checking

2011

International audience; Semantic interoperability problems have found their solutions using languages and techniques from the Semantic Web. The proliferation of ontologies and meta-information has improved the understanding of information and the relevance of search engine responses. However, the construction of semantic graphs is a source of numerous errors of interpretation or modeling and scalability remains a major problem. The processing of large semantic graphs is a limit to the use of semantics in current information systems. The work presented in this paper is part of a new research at the border of two areas: the semantic web and the model checking. This line of research concerns t…

[ INFO.INFO-MO ] Computer Science [cs]/Modeling and Simulation[INFO.INFO-WB] Computer Science [cs]/WebComputer science[ INFO.INFO-WB ] Computer Science [cs]/Web0102 computer and information sciences02 engineering and technologycomputer.software_genre01 natural sciencesSocial Semantic Webtemporal logicSemantic similaritySemantic computing0202 electrical engineering electronic engineering information engineeringSemantic analyticsSemantic integrationSemantic Web StackInformation retrievalbusiness.industry[INFO.INFO-WB]Computer Science [cs]/WebSemantic search020207 software engineeringSemantic interoperability[INFO.INFO-MO]Computer Science [cs]/Modeling and SimulationModel-checking010201 computation theory & mathematicsSemantic graphTheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS[INFO.INFO-MO] Computer Science [cs]/Modeling and SimulationArtificial intelligencebusinesscomputerNatural language processing2011 International Conference on Innovations in Information Technology
researchProduct

Spatial correction in dynamic photon emission by affine transformation matrix estimation

2014

International audience; Photon emission microscopy and Time Resolved Imaging have proved their efficiency for defect localization on VLSI. A common process to find defect candidate locations is to draw a comparison between acquisitions on a normally working device and a faulty one. In order to be accurate and meaningful, this method requires that the acquisition scene remains the same between the two parts. In practice, it can be difficult to set. In this paper, a method to correct position by affine matrix transformation is suggested. It is based on image features detection, description and matching and affine transformation estimation.

[ INFO.INFO-TS ] Computer Science [cs]/Signal and Image ProcessingMatching (graph theory)Computer science[INFO.INFO-TS] Computer Science [cs]/Signal and Image Processing[SPI.NANO] Engineering Sciences [physics]/Micro and nanotechnologies/Microelectronics02 engineering and technology[ SPI.SIGNAL ] Engineering Sciences [physics]/Signal and Image processing[INFO.INFO-TS]Computer Science [cs]/Signal and Image ProcessingPosition (vector)020204 information systems0202 electrical engineering electronic engineering information engineeringComputer vision[SPI.NANO]Engineering Sciences [physics]/Micro and nanotechnologies/Microelectronics[SPI.SIGNAL] Engineering Sciences [physics]/Signal and Image processingVery-large-scale integrationHarris affine region detectorbusiness.industryProcess (computing)Affine shape adaptationTransformation (function)020201 artificial intelligence & image processing[ SPI.NANO ] Engineering Sciences [physics]/Micro and nanotechnologies/MicroelectronicsArtificial intelligenceAffine transformationbusiness[SPI.SIGNAL]Engineering Sciences [physics]/Signal and Image processing
researchProduct

Cluster matching in time resolved imaging for VLSI analysis

2014

International audience; If scaling has the benefit of enabling manufacturers to design tomorrow's integrated circuits, from the failure analyst point of view it also has the drawback of making devices more complex. The test sequence for modern VLSI can be quite long, with thousands of vector. Dynamic photon emission databases can contain millions of photons representing thousands of state changes in the region of interest. Finding a candidate location where to perform physical analysis is quite challenging, especially if the fault occurs on a single vector. In this paper, we suggest a new methodology to find single vector fault in dynamic photon emission database. The process is applied at …

[ INFO.INFO-TS ] Computer Science [cs]/Signal and Image ProcessingMatching (graph theory)[INFO.INFO-TS] Computer Science [cs]/Signal and Image ProcessingComputer science[SPI.NANO] Engineering Sciences [physics]/Micro and nanotechnologies/Microelectronics[ SPI.SIGNAL ] Engineering Sciences [physics]/Signal and Image processing02 engineering and technologyIntegrated circuitFault (power engineering)computer.software_genre01 natural sciencesk-nearest neighbors algorithmlaw.invention[INFO.INFO-TS]Computer Science [cs]/Signal and Image Processinglaw0103 physical sciences0202 electrical engineering electronic engineering information engineeringPoint (geometry)[SPI.NANO]Engineering Sciences [physics]/Micro and nanotechnologies/MicroelectronicsCluster analysisComputer Science::Databases[SPI.SIGNAL] Engineering Sciences [physics]/Signal and Image processing010302 applied physicsVery-large-scale integrationProcess (computing)Computer engineering[ SPI.NANO ] Engineering Sciences [physics]/Micro and nanotechnologies/Microelectronics020201 artificial intelligence & image processingData mining[SPI.SIGNAL]Engineering Sciences [physics]/Signal and Image processingcomputerProceedings of the 21th International Symposium on the Physical and Failure Analysis of Integrated Circuits (IPFA)
researchProduct

Computational approach to compact Riemann surfaces

2017

International audience; A purely numerical approach to compact Riemann surfaces starting from plane algebraic curves is presented. The critical points of the algebraic curve are computed via a two-dimensional Newton iteration. The starting values for this iteration are obtained from the resultants with respect to both coordinates of the algebraic curve and a suitable pairing of their zeros. A set of generators of the fundamental group for the complement of these critical points in the complex plane is constructed from circles around these points and connecting lines obtained from a minimal spanning tree. The monodromies are computed by solving the defining equation of the algebraic curve on…

[ MATH ] Mathematics [math]Fundamental groupEquations[PHYS.MPHY]Physics [physics]/Mathematical Physics [math-ph]Holomorphic functionGeneral Physics and AstronomyFOS: Physical sciences010103 numerical & computational mathematics01 natural sciencessymbols.namesakeMathematics - Algebraic Geometrynumerical methodsFOS: MathematicsSpectral Methods0101 mathematics[MATH]Mathematics [math]Algebraic Geometry (math.AG)Mathematical PhysicsMathematicsCurvesKadomtsev-Petviashvili equationCollocationNonlinear Sciences - Exactly Solvable and Integrable SystemsPlane (geometry)Applied MathematicsRiemann surface010102 general mathematicsMathematical analysisStatistical and Nonlinear PhysicsMathematical Physics (math-ph)Methods of contour integrationHyperelliptic Theta-FunctionsRiemann surfacessymbolsDispersion Limit[ PHYS.MPHY ] Physics [physics]/Mathematical Physics [math-ph]Algebraic curveExactly Solvable and Integrable Systems (nlin.SI)Complex plane
researchProduct

A Use Case of Data Integration in Food Production

2018

International audience; This paper presents a use case about knowledge representation and integration of data from different domains in food science. An ontology named PO 2 DG, the Process and Observation Ontology for the production of Dairy Gels, has been designed in order to provide a shared vocabulary for domain experts. The available data have been semantically structured using PO 2 DG and are stored in an RDF repository named PO 2 DG dataset. This use case identifies some of the challenges when dealing with a multi domain representation problem, gives some hints about possible solutions and suggests some further work.

[INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI]ACM: H.: Information Systems/H.3: INFORMATION STORAGE AND RETRIEVAL/H.3.3: Information Search and Retrievalexperimental observations represen- tationontology based data integrationprocess representation[INFO.INFO-WB] Computer Science [cs]/WebACM: H.: Information Systems[INFO.INFO-WB]Computer Science [cs]/Web[INFO]Computer Science [cs][INFO] Computer Science [cs]food science[INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
researchProduct

Representing and Reasoning for Spatiotemporal Ontology Integration

2004

International audience; The World-Wide Web hosts many autonomous and heterogeneous information sources. In the near future each source may be described by its own ontology. The distributed nature of ontology development will lead to a large number of local ontologies covering overlapping domains. Ontology integration will then become an essential capability for effective interoperability and information sharing. Integration is known to be a hard problem, whose complexity increases particularly in the presence of spatiotemporal information. Space and time entail additional problems such as the heterogeneity of granularity used in representing spatial and temporal features. Spatio-temporal ob…

[INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI]Information retrieval[INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO]Computer scienceOntologyProcess ontologyOntology-based data integrationSuggested Upper Merged OntologyIntegration[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]Spatio-Temporal data02 engineering and technologyOntology (information science)[INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]Open Biomedical OntologiesMapping020204 information systemsOntology components0202 electrical engineering electronic engineering information engineeringUpper ontology020201 artificial intelligence & image processingOntology alignment
researchProduct

HiGeoMes: Distributed Geodatabases in an archaeological joint research project

2013

International audience; The project 'HiGeoMes' seeks to connect knowledge about archaeological sites in the Near East with place names in ancient sources of the 2nd millennium BC. The paper describes the digital approach to integrate textual and geographical information by emphasizing the impact of interfaces linking diverse datasets. Several OGC-based Web services provide reviewed archaeological information in a Web GIS with query capabilities. Place-related philological data are stored in an OWL-store to model the topological relations of unidentified sites. An interface integrates a graph-viewer with the Web GIS by invoking both WFS- and REST-services to spatially integrate the datasets.…

[INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB]Web GISKnowledge Management[ INFO.INFO-DB ] Computer Science [cs]/Databases [cs.DB][INFO.INFO-WB] Computer Science [cs]/Web[INFO.INFO-WB]Computer Science [cs]/WebArchaeological Data Infrastructure[ INFO.INFO-WB ] Computer Science [cs]/Web[INFO.INFO-DB] Computer Science [cs]/Databases [cs.DB]Semantic Integration
researchProduct

Semantic Mappings in Description Logics for Spatio-temporal Database Schema Integration

2005

International audience; The interoperability problem arises in heterogeneous systems where different data sources coexist and there is a need for meaningful information sharing. One of the most representive realms of diversity of data representation is the spatio-temporal domain. Spatio-temporal data are most often described according to multiple and greatly diverse perceptions or viewpoints, using different terms and with heterogeneous levels of detail. Reconciling this heterogeneity to build a fully integrated database is known to be a complex and currently unresolved problem, and few formal approaches exist for the integration of spatio-temporal databases. The paper discusses the interope…

[INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO][INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB]Theoretical computer scienceComputer scienceNCCR-MICSmedia_common.quotation_subjectNCCR-MICS/CL4Database schema[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]02 engineering and technologyExternal Data RepresentationConceptual schemaDescription logicSemantic mapping020204 information systems0202 electrical engineering electronic engineering information engineeringConceptual model[INFO.INFO-DB] Computer Science [cs]/Databases [cs.DB]020201 artificial intelligence & image processingSemantic Webmedia_commonInformation integration
researchProduct

High fat diet rapidly induces brain-plasticity-related transcriptomic signature in hypothalamus: role in energy homeostasis

2010

Poster board E12 (1 page) ; Session 203 - Food intake regulation 3 - Abstract n° 203.1 - Publication ref.: FENS Abstr., vol.5, 203.1, 2010; International audience; We have investigated the early events that are induced by a hypercaloric hyperlipidic diet in mice. The high fat diet rapidly induced metabolic imbalance, as soon as the first day, which is characterized. by a large increase in energy intake and several others metabolic alterations such as. hypercholesterolemia, and glucose intolerance. However, the diet-induced metabolic imbalance was. fully reversed after a week, suggesting that a physiological adaptive response has been then induced,. probably in order to counteract the delete…

[SDV.AEN] Life Sciences [q-bio]/Food and Nutritione - homeostatic and neuroendocrine system[SPI.GPROC] Engineering Sciences [physics]/Chemical and Process Engineeringregulation of food intake and body weight[ SDV.AEN ] Life Sciences [q-bio]/Food and Nutrition[SDV.IDA]Life Sciences [q-bio]/Food engineering[SPI.GPROC]Engineering Sciences [physics]/Chemical and Process Engineering[SDV.IDA] Life Sciences [q-bio]/Food engineeringintegration of peripheral signal[SDV.AEN]Life Sciences [q-bio]/Food and Nutrition
researchProduct

Using cross-modal interactions to counterbalance salt reduction in solid foods

2011

International audience; We investigated odour-induced saltiness enhancement (OISE) in a solid model cheese with the aim of evaluating the influence of cross-modal interactions (odour-texture-taste) on saltiness perception and assessing the efficacy of using OISE to counterbalance salt reduction. Four model cheeses, varying in texture, were flavoured with three commercial tasteless aromas (comte cheese, sardine and carrot) differently associated with salty and cheesy food products. Twenty-seven consumers evaluated taste intensity, aroma intensity and its congruence with the product flavour, and the overall pleasantness of 12 flavoured and four unflavoured samples. The comparison of the perce…

[SDV.SA]Life Sciences [q-bio]/Agricultural sciences030309 nutrition & dieteticsFlavourDairy industryTEXTUREApplied Microbiology and Biotechnology03 medical and health sciences0404 agricultural biotechnologyFLAVOR PERCEPTIONFood scienceGELSAroma2. Zero hungerRELEASE0303 health sciencesTASTEbiologyCHEESEChemistryINTENSITYSalt reductionSardine04 agricultural and veterinary sciencesbiology.organism_classification040401 food scienceMULTIMODAL SENSORY INTEGRATIONORTHONASALTaste intensitySolid foodFood productsVISCOSITYFood Science
researchProduct