NASA Technical Reports Server (Ntrs) 20150000362: Global Assessment of Omi Aerosol Single-Scattering Albedo Using Ground-Based Aeronet and Skynet Inversions by NASA Technical Reports Server (Ntrs); NASA Technical Repo...
详细信息
NASA Technical Reports Server (Ntrs) 20150000362: Global Assessment of Omi Aerosol Single-Scattering Albedo Using Ground-Based Aeronet and Skynet Inversions by NASA Technical Reports Server (Ntrs); NASA Technical Reports Server (Ntrs); published by
NASA Technical Reports Server (Ntrs) 19990100654: Data Assimilation in the Presence of Forecast Bias: the Geos Moisture Analysis by NASA Technical Reports Server (Ntrs); NASA Technical Reports Server (Ntrs); published by
NASA Technical Reports Server (Ntrs) 19990100654: Data Assimilation in the Presence of Forecast Bias: the Geos Moisture Analysis by NASA Technical Reports Server (Ntrs); NASA Technical Reports Server (Ntrs); published by
NASA Technical Reports Server (Ntrs) 20150016024: a New Architecture for Extending the Capabilities of the Copernicus Trajectory Optimization Program by NASA Technical Reports Server (Ntrs); NASA Technical Reports Ser...
详细信息
NASA Technical Reports Server (Ntrs) 20150016024: a New Architecture for Extending the Capabilities of the Copernicus Trajectory Optimization Program by NASA Technical Reports Server (Ntrs); NASA Technical Reports Server (Ntrs); published by
Supplemental catalog subcollection information: NASA Publication Collection; Astrophysics and Technical Documents; A numerical study was performed to simulate the critical flow through a supersonic inlet. This flow fi...
详细信息
Supplemental catalog subcollection information: NASA Publication Collection; Astrophysics and Technical Documents; A numerical study was performed to simulate the critical flow through a supersonic inlet. This flow field has many phenomena such as shock w
From June through October 2016—and beyond—the subreddit r/the_donald periodically took over parts of Reddit, making its content dominant on the ninth largest social media platform in the US. Users of r/the_donald di...
详细信息
Tato práce se zabývá řadicími algoritmy z pohledu jejich studia. Jejím účelem je poskytnout studentům materiály, které jim mohou pomoci v pochopení těchto algori...
详细信息
Tato práce se zabývá řadicími algoritmy z pohledu jejich studia. Jejím účelem je poskytnout studentům materiály, které jim mohou pomoci v pochopení těchto algoritmů. Práce se skládá z přepsání části studijní opory předmětu Algoritmy do jazyka C, vytvoření programu pro testování algoritmů z opory a vytvoření animace demonstrující činnost vybraných řadicích algoritmů.
This MSc Thesis was performed during a study stay at the Hochschule Furtwangen University, Furtwangen, Germany. This Master Project provides a theoretical background for understanding financial market principles. It f...
详细信息
This MSc Thesis was performed during a study stay at the Hochschule Furtwangen University, Furtwangen, Germany. This Master Project provides a theoretical background for understanding financial market principles. It focuses on foreign exchange market, where it gives a description of fundamentals and price analysis. Further, it covers principles of high-frequency trading including strategy, development and cost. FIX protocol is the financial market communication protocol and is discussed in detail. The core part of Master Project are sorting algorithms, these are covered on theoretical and practical level. Aggregator design includes implementation environment, specification and individual parts of aggregator application represented as objects. Implementation overview can be found in last Chapter.
Array bound checking and array dependency analysis (for parallelization) have been widely studied. However, there are much less results about analyzing properties of array contents. In this paper, we propose a way of ...
详细信息
Array bound checking and array dependency analysis (for parallelization) have been widely studied. However, there are much less results about analyzing properties of array contents. In this paper, we propose a way of using abstract interpretation for discovering properties about array contents in some restricted cases: one-dimensional arrays, traversed by simple "for" loops. The basic idea, borrowed from [GRS05], consists in partitioning arrays into symbolic intervals (e.g., [1, i-1], [i, i], [i + 1, n]), and in associating with each such interval I and each array A an abstract variable A(I);the new idea is to consider relational abstract properties psi(A(I), B-I, ...) about these abstract variables, and to interpret such a property pointwise on the interval I: for all l is an element of I, psi(A[l], B[l], ...). The abstract semantics of our simple programs according to these abstract properties has been defined and implemented in a prototype tool. The method is able, for instance, to discover that the result of an insertion sort is a sorted array, or that, in an array traversal guarded by a " sentinel", the index stays within the bounds.
We study the local limit of the fixed-point forest, a tree structure associated to a simple sorting algorithm on permutations. This local limit can be viewed as an infinite random tree that can be constructed from a P...
详细信息
We study the local limit of the fixed-point forest, a tree structure associated to a simple sorting algorithm on permutations. This local limit can be viewed as an infinite random tree that can be constructed from a Poisson point process configuration on [0,1](N). We generalize this random tree, and compute the expected size and expected number of leaves of a random rooted subtree in the generalized version. We also obtain bounds on the variance of the size.
Gone into are twenty questions, the counterfeit coin, ranking tennis players, and Mastermind. An algorithm for the last, code available from the author, lets you win the game with 4.3426 guesses. On the average, that is.
Gone into are twenty questions, the counterfeit coin, ranking tennis players, and Mastermind. An algorithm for the last, code available from the author, lets you win the game with 4.3426 guesses. On the average, that is.
暂无评论