نتایج جستجو برای: time independent methods
تعداد نتایج: 3650110 فیلتر نتایج به سال:
Typical Multi-agent Path Finding (MAPF) solvers assume that agents move synchronously, thus neglecting the reality gap in timing assumptions, e.g., delays caused by an imperfect execution of asynchronous moves. So far, two policies enforce a robust MAPF plans taken as input: either forcing to synchronize or executing while preserving temporal dependencies. This paper proposes alternative approa...
We survey the most significant literature about compositional techniques for concurrent and real-time system verification. We especially focus on abstract frameworks for rely/guarantee compositionality that handles circularity, but also consider different developments.
since its introduction in 1959, translation quality assessment (tqa) has been among the most addressed research topics in translation studies. during recent years, there has been a crucial increase on the study of tqa. various methods have come on scene. although these methods are based on scientific theories, most of them have remained at the level of theory. juliane house’s model is among tho...
power transformers are important equipments in power systems. thus there is a large number of researches devoted of power transformers. however, there is still a demand for future investigations, especially in the field of diagnosis of transformer failures. in order to fulfill the demand, the first part reports a study case in which four main types of failures on the active part are investigate...
Three variants of mean field methods for atomic and nuclear reactions are compared with respect to both conception and applicability: The time–dependent Hartree–Fock method solves the equation of motion for a Hermitian density operator as initial value problem, with the colliding fragments in a continuum state of relative motion. With no specification of the final state, the method is restricte...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید