نتایج جستجو برای: 0317 and 0308
تعداد نتایج: 16827194 فیلتر نتایج به سال:
The Kriging method is an interpolation scheme that can be used for modeling deter-ministic computer analyses as the realization of a stochastic process. The technique has been recognized as an alternative to the traditional Response Surface method in generating approximation models of computationally expensive CFD analyses. This is due to its ability to interpolate sample data and to model a fu...
The first work presented in this document studies the opacity of purely probabilistic systems. i.e. systems in which the non-deterministic choices have been replaced by probabilistic distribution over the set of states. The notion of opacity has been previously studied in the case of non-deterministic transition systems to determine whether a system respects some security properties. The idea i...
It is generally assumed that hashing is essential to solve many language processing problems efficiently; e.g., symbol table formation and maintenance, grammar manipulation, basic block optimization, and global optimization. This paper questions this assumption, and initiates development of an efficient alternative compiler methodology without hashing or sorting. The methodology rests on effici...
Concurrent semantics for timed distributed systems Livrable du projet ANR ImpRo (ANR-2010-BLAN-0317)
Several formalisms to model distributed real-time systems coexist in the literature. This naturally induces a need to compare their expressiveness and to translate models from one formalism to another when possible. The first formal comparisons of the expressiveness of these models focused on the preservation of the sequential behavior of the models, using notions like timed language equivalenc...
The purpose of this paper is to review what has been learnt from the growing volume of applied research on child labor and to indicate directions for future research. We start by looking at research by the World Bank, which has played a fairly pioneering role in this area in data collection and, increasingly, in data analysis, more recently in cooperation with other agencies, such as the ILO an...
Parity nonconservation (PNC) was studied for 24 p-wave neutron resonances in 238U from 10 to 300 eV by measuring the helicity dependence of the total neutron cross section with an improved experimental apparatus. Six resonances show statistically significant (greater than 2.9σ) parity violation. An analysis treating the PNC matrix elements as random variables yields a root-mean-square PNC matri...
Despite its importance in global fishery production as the world's second-largest producer, Indonesia is not one of top ten fish exporting countries. This study uses constant market share analysis to examine Indonesia's export performance. The data was collected from United Nations International Trade Statistics Database and covered exports 1999 2019. Indonesian products are classified using fo...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید