Search results for "SIMULATION"
showing 10 items of 5095 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
Advanced 3D movement analysis algorithms for robust functional capacity assessment.
2017
SummaryObjectives: We developed a novel system for in home functional capacities assessment in frail older adults by analyzing the Timed Up and Go movements. This system aims to follow the older people evolution, potentially allowing a forward detection of motor decompensation in order to trigger the implementation of rehabilitation. However, the pre-experimentations conducted on the ground, in different environments, revealed some problems which were related to KinectTM operation. Hence, the aim of this actual study is to develop methods to resolve these problems.Methods: Using the KinectTM sensor, we analyze the Timed Up and Go test movements by measuring nine spatio-temporal parameters, …
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.
Agent-based modeling of the social and economic factors affecting the choice of transportation mode : application to the Beirut city
2018
In urban and peri-urban environments, transport and mobility are strongly linked to socio-economic activities. They are influenced by individual's personal psychology, social norms, resistance to change, personal attitude, habits, fears and beliefs. Beirut is a mono-centric city with transport supply poverty. Vehicle ownership has increased rapidly in response to the shortage of public transportation. Currently, there is an opportunity to develop mobility management services and establish sustainable mobility and accessibility in Beirut. This requires that transport modes be affordable, efficient and environmentally friendly, as well as technologies that minimize the energy consumption by f…
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.