Search results for "Information science"

showing 10 items of 3627 documents

About Graph Mappings

2019

Summary In this articles adjacency-preserving mappings from a graph to another are formalized in the Mizar system [7], [2]. The generality of the approach seems to be largely unpreceeded in the literature to the best of the author’s knowledge. However, the most important property defined in the article is that of two graphs being isomorphic, which has been extensively studied. Another graph decorator is introduced as well.

Discrete mathematicsgraph isomorphism05c60Applied Mathematics020207 software engineering0102 computer and information sciences02 engineering and technology68t9901 natural sciencesComputational Mathematicsgraph homomorphism03b35010201 computation theory & mathematics0202 electrical engineering electronic engineering information engineeringQA1-939Graph (abstract data type)Graph homomorphismGraph isomorphismMathematicsMathematicsFormalized Mathematics
researchProduct

About Graph Unions and Intersections

2020

Summary In this article the union and intersection of a set of graphs are formalized in the Mizar system [5], based on the formalization of graphs in [7].

Discrete mathematicsgraph theoryApplied Mathematics020207 software engineeringgraph intersection0102 computer and information sciences02 engineering and technology68v20Computer Science::Digital Libraries01 natural sciencesComputational Mathematicsgraph union010201 computation theory & mathematicsComputer Science::Mathematical SoftwareQA1-9390202 electrical engineering electronic engineering information engineering05c76Graph (abstract data type)MathematicsMathematicsofComputing_DISCRETEMATHEMATICSMathematicsFormalized Mathematics
researchProduct

Performance of Spectral Fitting Methods for vegetation fluorescence quantification

2010

The Fraunhofer Line Discriminator (FLD) principle has long been considered as the reference method to quantify solar-induced chlorophyll fluorescence (F) from passive remote sensing measurements. Recently, alternative retrieval algorithms based on the spectral fitting of hyperspectral radiance observations, Spectral Fitting Methods (SFMs), have been proposed. The aim of this manuscript is to investigate the performance of such algorithms and to provide relevant information regarding their use. FLD and SFMs were used to estimate F starting from Top Of Canopy (TOC) fluxes at very high spectral resolution (0.12 nm) and sampling interval (0.1 nm), exploiting the O2-B (687.0 nm) and O2-A (760.6 …

DiscriminatorreflectanceHyperspectral remote sensingSolar-induced chlorophyll fluorescenceMETIS-304492Soil Science550 - Earth sciencesFraunhofer Line Discriminatorin-vivoNoise (electronics)Spectral lineRadiative transfer simulationLaboratory of Geo-information Science and Remote SensingSampling (signal processing)luminescenceLaboratorium voor Geo-informatiekunde en Remote Sensinginduced chlorophyll fluorescenceComputers in Earth SciencesSpectral resolutionMathematicsRemote sensingcanopymodelphotosynthesisscatteringairborneHyperspectral imagingGeologySpectral Fitting MethodPE&RCAGR/14 - PEDOLOGIASpectroradiometerspectroradiometerRadianceREMOTE SENSING OF ENVIRONMENT
researchProduct

Tēžu un disertāciju digitālo bibliotēku tīkls

2015

Disertācijas tiešsaistēRepozitoriji:SOCIAL SCIENCES::Other social sciences::Library and information science [Research Subject Categories]
researchProduct

An empirically grounded agent based model for modeling directs, conflict detection and resolution operations in air traffic management

2017

We present an agent based model of the Air Traffic Management socio-technical complex system that aims at modeling the interactions between aircrafts and air traffic controllers at a tactical level. The core of the model is given by the conflict detection and resolution module and by the directs module. Directs are flight shortcuts that are given by air controllers to speed up the passage of an aircraft within a certain airspace and therefore to facilitate airline operations. Conflicts resolution between flight trajectories can arise during the en-route phase of each flight due to both not detailed flight trajectory planning or unforeseen events that perturb the planned flight plan. Our mod…

Distribution CurvesAircraftComputer scienceVelocitylcsh:MedicineTransportation02 engineering and technologySystems ScienceAgent-Based Modeling0202 electrical engineering electronic engineering information engineeringlcsh:ScienceAgent-based modelMultidisciplinaryNegotiatingSimulation and ModelingFlight TestingPhysics05 social sciencesAir traffic managementClassical MechanicsAir traffic controlNavigationPhysical SciencesTrajectoryEngineering and Technology020201 artificial intelligence & image processingFree flightResearch ArticleStatistical DistributionsPhysics - Physics and SocietyComputer and Information SciencesReal-time computingFlight planFOS: Physical sciencesAerospace EngineeringComputerApplications_COMPUTERSINOTHERSYSTEMSPhysics and Society (physics.soc-ph)Air traffic management systemResearch and Analysis MethodsMotion0502 economics and businessHumansComputer Simulation050210 logistics & transportationlcsh:RReproducibility of ResultsModels TheoreticalProbability TheorySettore FIS/07 - Fisica Applicata(Beni Culturali Ambientali Biol.e Medicin)Accidents Aviationlcsh:QAir Traffic management Agent-based models socio-technical complex systemAviationAirspace classMathematicsPLOS ONE
researchProduct

A novel XML document structure comparison framework based-on sub-tree commonalities and label semantics

2012

International audience; XML similarity evaluation has become a central issue in the database and information communities, its applications ranging over document clustering, version control, data integration and ranked retrieval. Various algorithms for comparing hierarchically structured data, XML documents in particular, have been proposed in the literature. Most of them make use of techniques for finding the edit distance between tree structures, XML documents being commonly modeled as Ordered Labeled Trees. Yet, a thorough investigation of current approaches led us to identify several similarity aspects, i.e., sub-tree related structural and semantic similarities, which are not sufficient…

Document Structure DescriptionComputer Networks and Communicationscomputer.internet_protocolComputer scienceEfficient XML Interchange[SCCO.COMP]Cognitive science/Computer science0102 computer and information sciences02 engineering and technologycomputer.software_genre01 natural sciencesSemantic similarityXML Schema Editor020204 information systems0202 electrical engineering electronic engineering information engineeringXML schemacomputer.programming_languageInformation retrieval[INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB][INFO.INFO-WB]Computer Science [cs]/Web[INFO.INFO-MM]Computer Science [cs]/Multimedia [cs.MM]XML validationcomputer.file_formatDocument clusteringHuman-Computer InteractionXML frameworkTree (data structure)XML databaseTree structure010201 computation theory & mathematics[INFO.INFO-IR]Computer Science [cs]/Information Retrieval [cs.IR]020201 artificial intelligence & image processingSemi-structured dataEdit distancecomputerSoftwareXMLXML CatalogData integration
researchProduct

Building Ontologies from XML Data Sources

2009

In this paper, we present a tool called X2OWL that aims at building an OWL ontology from an XML datasource. This method is based on XML schema to automatically generate the ontology structure, as well as, a set of mapping bridges. The presented method also includes a refinement step that allows to clean the mapping bridges and possibly to restructure the generated ontology.

Document Structure DescriptionComputer sciencecomputer.internet_protocolProcess ontologyEfficient XML InterchangeXML SignatureOntology (information science)computer.software_genreXML Schema EditorStreaming XMLUpper ontologyXML schemaRDFSemantic Webcomputer.programming_languageInformation retrievalOntology-based data integrationSuggested Upper Merged OntologyWeb Ontology LanguageXML validationcomputer.file_formatXML frameworkXML databaseComputingMethodologies_DOCUMENTANDTEXTPROCESSINGOntologycomputerXML2009 20th International Workshop on Database and Expert Systems Application
researchProduct

A Life Cycle Model of XML Documents

2014

Electronic documents produced in business processes are valuable information resources for organizations. In many cases they have to be accessible long after the life of the business processes or information systems in connection with which they were created. To improve the management and preservation of documents, organizations are deploying Extensible Markup Language (XML) as a standardized format for documents. The goal of this paper is to increase understanding of XML document management and provide a framework to enable the analysis and description of the management of XML documents throughout their life. We followed the design science approach. We introduce a document life cycle model…

Document Structure DescriptionInformation Systems and ManagementComputer Networks and CommunicationsComputer sciencecomputer.internet_protocolRecords managementEfficient XML InterchangeXML BaseWell-formed documentDocument type definitionDocument management systemLibrary and Information Sciencescomputer.software_genreWorld Wide WebXML Schema EditorDocument engineeringta113cXMLXML validationcomputer.file_formatXMLXML frameworkdocument managementXML Schema (W3C)ebXMLComputingMethodologies_DOCUMENTANDTEXTPROCESSINGcomputerXMLasiakirjahallintoInformation SystemsXML CatalogJournal of the Association for Information Science and Technology
researchProduct

Ontology-based integration of XML data: Schematic marks as a bridge between syntax and semantic level

2007

This paper presents an ontology integration approach of XML data. The approach is composed of two pillars the first of which is based on formal language and XML grammars analysis. The second pillar is based on ontology and domain ontology analysis. The keystone of this architecture which creates a bridge between the two pillars is based on the concept of schematic marks introduced in this paper. These schematic marks make it possible to establish the link between the syntactic level and the semantic level for our integration framework.

Document Structure DescriptionXML EncryptionInformation retrievalComputer scienceXML Schema EditorOntology-based data integrationStreaming XMLXML validationXML schemaOntology (information science)computercomputer.programming_language
researchProduct

Transforming XML documents to OWL ontologies: A survey

2015

The aims of XML data conversion to ontologies are the indexing, integration and enrichment of existing ontologies with knowledge acquired from these sources. The contribution of this paper consists in providing a classification of the approaches used for the conversion of XML documents into OWL ontologies. This classification underlines the usage profile of each conversion method, providing a clear description of the advantages and drawbacks belonging to each method. Hence, this paper focuses on two main processes, which are ontology enrichment and ontology population using XML data. Ontology enrichment is related to the schema of the ontology (TBox), and ontology population is related to …

Document Structure Description[ INFO.INFO-IR ] Computer Science [cs]/Information Retrieval [cs.IR][ INFO.INFO-TT ] Computer Science [cs]/Document and Text ProcessingComputer scienceEfficient XML Interchange[ INFO.INFO-WB ] Computer Science [cs]/WebLibrary and Information SciencesOntology (information science)[INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]XML Schema EditorStreaming XMLRELAX NG[ INFO.INFO-AI ] Computer Science [cs]/Artificial Intelligence [cs.AI]computer.programming_languageOWLInformation retrievalOntology[INFO.INFO-WB]Computer Science [cs]/WebACM[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]Web Ontology LanguageXML validationcomputer.file_formatXML[INFO.INFO-TT]Computer Science [cs]/Document and Text Processing[INFO.INFO-IR]Computer Science [cs]/Information Retrieval [cs.IR]ComputingMethodologies_DOCUMENTANDTEXTPROCESSING[ INFO.INFO-LO ] Computer Science [cs]/Logic in Computer Science [cs.LO]computerInformation Systems
researchProduct