We use essential cookies to make sure the site can function. We also use optional cookies for advertising, personalisation of content, usage analysis, and social media. By accepting optional cookies, you consent
Game (EPG), when a given player switches from an action to another, the change in the potential function equals the change in the utility of that player, and Ordinal Potential Game (OPG), when the changes in the potential function and the changes in the utility of that player are ...
These included the construction of astrolabes and sundials as well as the correct handling of ‘universal’ instruments such as horary quadrants, not to mention the task of setting up a torquetum or armillary instrument for observational use in a particular location. In a similar vein, many ...
Land cover maps document the area, configuration and category of what is physically present on the Earth’s surface in an area of interest . They are useful for environmental monitoring, particularly as comparing two land cover maps of the same location over a period of time allows detection, ...
Using a simple parameterization of the dis- Figure 1: Geodesic paths from a source vertex, and isolines of the geodesic distance function. tance function over the edges, the implementation is actually prac- tical even though, to our knowledge, it has never been done pre- viously. We ...
Objective function (1-1) minimizes the total wirelength, defined by the squared differences in the horizontal and vertical coordinates between any two cells. The fundamental legality of cell placement is governed by the following constraints: Constraints (1)-(2) and (1-3) jointly require that ...
The relation of exact numerical equality grounds integers in set-theoretic constructions: two sets are equinumerous if and only if their elements can be placed in perfect one-to-one correspondence (this is Hume’s principle). The successor function, on the other hand, is the initial intuition ...
Cache analysis is usually performed as a combination of "must" and "may" abstract interpretations, classifying instructions as either "always hit", "always miss", or "unknown". Instructions classified as "unknown" might result in a hit or a miss depending on program inputs or the ini- tial...
and-fire (QIF) neurons challenges this view by showing that the mean firing rate is not a static function of the neuronal state but follows two coupled nonlinear differential equations (NMM2). Here we analyze and compare these two descriptions in the presence of second-order synaptic dynamics....
(2013) expressed the exact PP reflection coefficient as a function of P- and S-wave velocity reflection coefficients, density reflection coefficient and P- to S-wave velocity ratio. These three reflection coefficients can be inversed directly if the P- to S-wave velocity ratios are known. ...