Search results for "PROB"
showing 10 items of 8859 documents
Fractal Weyl law for open quantum chaotic maps
2014
We study the semiclassical quantization of Poincar\'e maps arising in scattering problems with fractal hyperbolic trapped sets. The main application is the proof of a fractal Weyl upper bound for the number of resonances/scattering poles in small domains near the real axis. This result encompasses the case of several convex (hard) obstacles satisfying a no-eclipse condition.
An alternative space-time meshless method for solving transient heat transfer problems with high discontinuous moving sources
2016
International audience; The aim of this work is the development of a space-time diffuse approximation meshless method (DAM) to solve heat equations containing discontinuous sources. This work is devoted to transient heat transfer problems with static and moving heat sources applied on a metallic plate and whose power presents temporal discontinuities. The space-time DAM using classical weight function is convenient for continuous transient heat transfer. Nevertheless, for problems including discontinuities, some spurious oscillations for the temperature field occur. A new weight function, respecting the principle of causality, is used to eradicate the physically unexpected oscillations.
Event-Based Trajectory Prediction Using Spiking Neural Networks
2021
International audience; In recent years, event-based sensors have been combined with spiking neural networks (SNNs) to create a new generation of bio-inspired artificial vision systems. These systems can process spatio-temporal data in real time, and are highly energy efficient. In this study, we used a new hybrid event-based camera in conjunction with a multi-layer spiking neural network trained with a spike-timing-dependent plasticity learning rule. We showed that neurons learn from repeated and correlated spatio-temporal patterns in an unsupervised way and become selective to motion features, such as direction and speed. This motion selectivity can then be used to predict ball trajectory…
Some Computational Aspects of DISTANCE-SAT
2007
In many AI fields, one must face the problem of finding a solution that is as close as possible to a given configuration. This paper addresses this problem in a propositional framework. We introduce the decision problem distance-sat, which consists in determining whether a propositional formula admits a model that disagrees with a given partial interpretation on at most d variables. The complexity of distance-sat and of several restrictions of it are identified. Two algorithms based on the well-known Davis/Logemann/Loveland search procedure for the satisfiability problem sat are presented so as to solve distance-sat for CNF formulas. Their computational behaviors are compared with the ones …
Drivers-Inspired Ants for Solving the Vehicle Routing Problem with Time Windows
2016
International audience; In our study, we develop a method that merges two information sources within ants colony optimization heuristic. Namely artificial ants which occurs for short term optimization and transporter's vehicles that occurs in long term and continuous optimization toward solving the real-world vehicle routing problem. This study is supported by a transporter (Upsilon) of the region of l'Yonne in France and a transport and logistics software development company (Tedies). Our method suits for transporters that use human planners to make decisions about their tours and intending to move to computer planners without drastically upsetting the drivers habits. Hence, the pledge of …
Automated uncertainty quantification analysis using a system model and data
2015
International audience; Understanding the sources of, and quantifying the magnitude of, uncertainty can improve decision-making and, thereby, make manufacturing systems more efficient. Achieving this goal requires knowledge in two separate domains: data science and manufacturing. In this paper, we focus on quantifying uncertainty, usually called uncertainty quantification (UQ). More specifically, we propose a methodology to perform UQ automatically using Bayesian networks (BN) constructed from three types of sources: a descriptive system model, physics-based mathematical models, and data. The system model is a high-level model describing the system and its parameters; we develop this model …
Scheduling independent stochastic tasks on heterogeneous cloud platforms
2019
International audience; This work introduces scheduling strategies to maximize the expected number of independent tasks that can be executed on a cloud platform within a given budget and under a deadline constraint. The cloud platform is composed of several types of virtual machines (VMs), where each type has a unitexecution cost that depends upon its characteristics. The amount of budget spent during the execution of a task on a given VM is the product of its execution length by the unit execution cost of that VM. The execution lengths of tasks follow a variety of standard probability distributions (exponential, uniform, halfnormal, etc.), which is known beforehand and whose mean and stand…
Whole mirror duplication-random loss model and pattern avoiding permutations
2010
International audience; In this paper we study the problem of the whole mirror duplication-random loss model in terms of pattern avoiding permutations. We prove that the class of permutations obtained with this model after a given number p of duplications of the identity is the class of permutations avoiding the alternating permutations of length p2+1. We also compute the number of duplications necessary and sufficient to obtain any permutation of length n. We provide two efficient algorithms to reconstitute a possible scenario of whole mirror duplications from identity to any permutation of length n. One of them uses the well-known binary reflected Gray code (Gray, 1953). Other relative mo…
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…
Probability and algorithmics: a focus on some recent developments
2017
Jean-François Coeurjolly, Adeline Leclercq-Samson Eds.; International audience; This article presents different recent theoretical results illustrating the interactions between probability and algorithmics. These contributions deal with various topics: cellular automata and calculability, variable length Markov chains and persistent random walks, perfect sampling via coupling from the past. All of them involve discrete dynamics on complex random structures.; Cet article présente différents résultats récents de nature théorique illustrant les interactions entre probabilités et algorithmique. Ces contributions traitent de sujets variés : automates cellulaires et calculabilité, chaînes de Mark…