Search results for "SIMULATION"

showing 10 items of 5095 documents

Linked data vocabularies for BIM

2019

Given the high interest in the field of BIM (Building Information Modeling) for Linked Data approaches over the last years, the article at hand presents an evaluation of the main Linked Data vocabularies available for the considered domain. First, Semantic Web layer architecture is presented, along with the 4 main principles of Linked Data. Second, each vocabulary is evaluated according to these 4 principles, while 2 additional ones are added in order to assess the licence associated with the vocabulary (open or not, specified or missing). An overall comparison among the considered vocabularies is also provided, thus helping in choosing which vocabulary to use in future Linked Data applicat…

[INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO][INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS][INFO.INFO-GL]Computer Science [cs]/General Literature [cs.GL][INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO][INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS]vocabulaires[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation[INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]données liéesvocabularies Mots clefs BIM[INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL]Linked DataBIMvocabulariesWeb sémantique[INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation[INFO.INFO-GL] Computer Science [cs]/General Literature [cs.GL]Semantic Web
researchProduct

Accompagnement à l'autonomie des travailleurs handicapés : un ajustement à réaliser entre politiques publiques et pratiques des ESAT ?

2021

Thème du congrès : "Les organisations de santé : définitions et transformations"; National audience

[INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
researchProduct

A Cyber-Physical System for Semi-autonomous Oil & Gas Drilling Operations

2019

International audience; In Oil&Gas drilling operations and after reaching deep drilled depths, high temperature increases significantly enough to damage the down-hole drilling tools, and the existing mitigation process is insufficient. In this paper, we propose a Cyber-Physical System (CPS) where agents are used to represent the collaborating entities in Oil\&Gas fields both up-hole and down-hole. With the proposed CPS, down-hole tools respond to high temperature autonomously with a decentralized collective voting based on the tools' internal decision model while waiting for the cooling performed up-hole by the field engineer. This decision model, driven by the tools' specifications, aims t…

[INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
researchProduct

Modélisation sémantique et logique pour une simulation multi-agent dans le contexte de gestion de catastrophe

2019

International audience

[INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation[INFO.INFO-MO]Computer Science [cs]/Modeling and SimulationComputingMilieux_MISCELLANEOUS
researchProduct

Simulation of a realistic residential development with the integration of two existing models

2017

International audience

[INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation[INFO.INFO-MO]Computer Science [cs]/Modeling and SimulationComputingMilieux_MISCELLANEOUS
researchProduct

An Agent based model for the transmission and control of the COVID-19 in Dijon

2020

International audience

[INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation[INFO.INFO-MO]Computer Science [cs]/Modeling and SimulationComputingMilieux_MISCELLANEOUS
researchProduct

OntoVersionGraph : a change management methodology dedicated to formal ontologies and their user views in a collaborative context

2014

The world changes over time, impacting the knowledge of every subdomain it contains. Therefore systems describing the knowledge of a certain domain should be able to consider changes occurred to keep its knowledge representation up-to-date. Formal ontologies are one of them: they explicitly and formally represent the knowledge of a domain in all its forms and modes of existence. Collaboratively developed, a formal ontology allows the domain users to understand each other by sharing the same terminology despite the different assumptions they have on the domain conceptualization. However, due to its completeness, the complexity of its conceptualization can sometimes make the domain knowledge …

[INFO.INFO-WB] Computer Science [cs]/WebOntology VersioningFormal OntologyGestion du changement dans les ontologiesDescription LogicOntologie formelleOntology EvolutionLogique de descriptionKnowledge ManagementOntoVersionGraphEvolution d'ontologieOntology Change ManagementGestion du changementVersioning d'ontologieWeb sémantique[INFO.INFO-MO] Computer Science [cs]/Modeling and SimulationSemantic WebOWL[INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
researchProduct

Modeling Cooperation of Information Systems

2001

International audience

[INFO]Computer Science [cs][INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation[INFO] Computer Science [cs][INFO.INFO-MO]Computer Science [cs]/Modeling and SimulationComputingMilieux_MISCELLANEOUS
researchProduct

Statistics of transitions for Markov chains with periodic forcing

2013

The influence of a time-periodic forcing on stochastic processes can essentially be emphasized in the large time behaviour of their paths. The statistics of transition in a simple Markov chain model permits to quantify this influence. In particular the first Floquet multiplier of the associated generating function can be explicitly computed and related to the equilibrium probability measure of an associated process in higher dimension. An application to the stochastic resonance is presented.

[MATH.MATH-PR] Mathematics [math]/Probability [math.PR]Markov chain mixing timeMarkov kernelMarkov chainProbability (math.PR)Markov chainlarge time asymptoticStochastic matrixcentral limit theoremMarkov process[MATH.MATH-PR]Mathematics [math]/Probability [math.PR]symbols.namesakeMarkov renewal processModeling and SimulationFloquet multipliersStatisticsFOS: MathematicssymbolsMarkov propertyExamples of Markov chainsstochastic resonance60J27 60F05 34C25[ MATH.MATH-PR ] Mathematics [math]/Probability [math.PR]Mathematics - ProbabilityMathematics
researchProduct

Exact simulation of diffusion first exit times: algorithm acceleration

2020

In order to describe or estimate different quantities related to a specific random variable, it is of prime interest to numerically generate such a variate. In specific situations, the exact generation of random variables might be either momentarily unavailable or too expensive in terms of computation time. It therefore needs to be replaced by an approximation procedure. As was previously the case, the ambitious exact simulation of exit times for diffusion processes was unreachable though it concerns many applications in different fields like mathematical finance, neuroscience or reliability. The usual way to describe exit times was to use discretization schemes, that are of course approxim…

[MATH.MATH-PR] Mathematics [math]/Probability [math.PR]Probability (math.PR)primary 65C05 secondary:60G40 68W20 68T05 65C20 91A60 60J60diffusion processes[MATH] Mathematics [math]Exit timeExit time Brownian motion diffusion processes rejection sampling exact simulation multi-armed bandit randomized algorithm.randomized algorithm[MATH.MATH-PR]Mathematics [math]/Probability [math.PR]exact simulationFOS: MathematicsBrownian motionmulti-armed banditMathematics - ProbabilityRejection sampling
researchProduct