Search results for "Modeling and Simulation"
showing 10 items of 1561 documents
An ABM to support collective reflection on the evolution of mobility
2021
International audience; Transport infrastructures play a large part in defining a smart, sustainable and resilient city. Planning transportation systems traditionally rely on well-known evolutions of roads or public transportation (roundabouts for security, etc.). Yet, infrastructures might also benefit from, or may have to adapt to, recent disruptive innovations concerning modalities, technologies and societal organization (autonomous cars, smart infrastructure, homeworking, etc.). However, innovative urban policies might either facilitate mobility and increase citizen well-being, or create negative side effects. Urban planning therefore requires the city to assess the impact of these disr…
WINECLOUD: Une ontologie d'événements pour la modélisation sémantique des données de capteurs hétérogènes
2019
International audience
Scheduling independent stochastic tasks under deadline and budget constraints
2018
This article discusses scheduling strategies for the problem of maximizing the expected number of tasks that can be executed on a cloud platform within a given budget and under a deadline constraint. The execution times of tasks follow independent and identically distributed probability laws. The main questions are how many processors to enroll and whether and when to interrupt tasks that have been executing for some time. We provide complexity results and an asymptotically optimal strategy for the problem instance with discrete probability distributions and without deadline. We extend the latter strategy for the general case with continuous distributions and a deadline and we design an ef…
Modélisation géométrique de formes fractales pour la CAO
2020
International audience
Automated detection of contextuality proofs with intermediate numbers of observables
2021
<div style=""><font face="arial, helvetica"><span style="font-size: 13px;">Quantum contextuality takes an important place amongst the concepts of quantum computing that bring an advantage over its classical counterpart. For a large class of contextuality </span></font><span style="font-size: 13px; font-family: arial, helvetica;">proofs, aka. observable-based proofs of the Kochen-Specker Theorem, we first formulate the</span></div><div style=""><font face="arial, helvetica"><span style="font-size: 13px;">contextuality property as the absence of solutions to a linear system. Then we explain why </span></font><span style="font-size: 13px; font-family: arial, helvetica…
A Route toward Protein Sequencing using Solid-State Nanopores Assisted by Machine Learning
2022
Solid-State Nanopores made of 2-D materials such as MoS2 have emerged as one of the most versatile sensors for single-biomolecule detection, which is essential for early disease diagnosis (biomarker detection). One of the most promising applications of SSN is DNA and protein sequencing, at a low cost and faster than the current standard methods. The detection principle relies on measuring the relatively small variations of ionic current as charged biomolecules immersed in an electrolyte traverse the nanopore, in response to an external voltage applied across the membrane. The passage of a biomolecule through the pore yields information about its structure and chemical properties, as demonst…
Computer-assisted enumeration and classification of multi-qubit doilies
2022
For N ≥ 2, an N-qubit doily is a doily living in the N-qubit symplectic polar space. These doilies are related to operator-based proofs of quantum contextuality. Following and extending the strategy of [SdBHG21] that focused exclusively on three-qubit doilies, we first bring forth several formulas giving the number of both linear and quadratic doilies for any N > 2. Then we present an effective algorithm for the generation of all N-qubit doilies. Using this algorithm for N = 4 and N = 5, we provide a classification of N-qubit doilies in terms of types of observables they feature and number of negative lines they are endowed with.
Data interoperability for a Multi-scale model (BIM/CIM/LIM)
2019
Compliance checking for building models, cities and territories involve formalizing a set of model schema knowledge and constraint. The objective of our study is to propose: an information model to federate heterogeneous data sources describing an urban area (building and building environment) along with a method for formally specifying of urban rules. The overall goal we pursue is to be able to query and to verify data against different regulations and/or requirements. The purpose of this article is to describe our approach for interoperability among different data sources (e.g. IFC, CityGML) thus creating a consistent description of an urban area.
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…
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