6,860 research outputs found
On the practicality of global flow analysis of logic programs
This paper addresses the issue of the practicality of global flow analysis in logic program compilation, in terms of both speed and precision of analysis. It discusses design and implementation aspects of two practical abstract interpretation-based flow analysis systems: MA3, the MOO Andparallel Analyzer and Annotator; and Ms, an experimental mode inference system developed for SB-Prolog. The paper also provides performance data obtained from these implementations. Based on these results, it is concluded that the overhead of global flow analysis is not prohibitive, while the results of analysis can be quite precise and useful
Diffusiophoresis in non-adsorbing polymer solutions: the Asakura-Oosawa model and stratification in drying films
A colloidal particle placed in an inhomogeneous solution of smaller
non-adsorbing polymers will move towards regions of lower polymer
concentration, in order to reduce the free energy of the interface between the
surface of the particle and the solution. This phenomenon is known as
diffusiophoresis. Treating the polymer as penetrable hard spheres, as in the
Asakura-Oosawa model, a simple analytic expression for the diffusiophoretic
drift velocity can be obtained. In the context of drying films we show that
diffusiophoresis by this mechanism can lead to stratification under easily
accessible experimental conditions. By stratification we mean spontaneous
formation of a layer of polymer on top of a layer of the colloid. Transposed to
the case of binary colloidal mixtures, this offers an explanation for the
stratification observed recently in these systems [A. Fortini et al, Phys. Rev.
Lett. 116, 118301 (2016)]. Our results emphasise the importance of treating
solvent dynamics explicitly in these problems, and caution against the neglect
of hydrodynamic interactions or the use of implicit solvent models in which the
absence of solvent backflow results in an unbalanced osmotic force which gives
rise to large but unphysical effects.Comment: 11 pages, 6 figure
General Motors Corp. v. Paramount Metal Products Co.: The Economic Duress Doctrine as Claimed by a Big Three Auto Manufacturer
Article published in the Michigan State University School of Law Student Scholarship Collection
Tacitus and nationalism in nineteenth-century art
In the nineteenth century artists patronised by national, imperial and aristocratic elites in Europe turned to Tacitus and other classical sources for inspiration in defining the national and ethnic ideal of these patrons. This is a phenomenon that was particularly evident in the German-speaking countries of central Europe, where the figure of Arminius from Tacitus' Annals was represented in many different artistic media, from painting to monumental sculpture. In the German states themselves depictions often followed a similar prescription, which took their inspiration from the plays of Freidrich Gottlieb Klopstock and Heinrich von Kleist, which dramatised the victory of Arminius (or 'Hermann') over Quinctilius Varus and his Roman army. The national context of the time was complicated by the process of unification and the reach of German language and culture beyond the borders of what was in the later century united in the new German Reich.
Use was also made of figures drawn from Tacitus in nineteenth-century Britain. In this thesis I also examine how Boadicea and Calgacus were employed in national and local contexts during a period when Britain's imperial power was at its height. It is shown that here too the approach taken by artists to their subject matter in a nationalist context was not always predictable. Examining both central Europe and Britain it compares different case studies, to demonstrate something of the flexibility possible in the treatment of an – at first sight – straightforward theme from classical literature.
It will also be explored how the political and artistic contexts of the respective periods in which artists lived variously affected – or did not affect - their treatment of the themes. The extent to which one can analyse their individual portrayals as 'nationalist', or under the influence of 'nationalist' themes, is explored
Cultivar diversity as a means of ecologically intensifying dry matter production in a perennial forage stand
The relationship between genotypic diversity and productivity has not been adequately explored in perennial forage production systems despite strong theoretical and empirical evidence supporting diversity\u27s role in ecosystem functioning in other managed and unmanaged systems. We conducted a two-year field experiment with six cultivars of an agriculturally important forage grass, Lolium perenne L. (perennial ryegrass). Dry matter production of L. perenne and the weed community that emerged from the soil seed bank were measured each year in treatments that ranged from cultivar monocultures to three- and six-way cultivar mixtures, all sown at a constant seeding rate. Mean L. perenne dry matter production increased with increasing cultivar diversity and was highest in mixtures that contained cultivars representing the greatest additive trait range (calculated on rankings of three traits: winter hardiness, heading date, and tolerance to grazing). Mixtures had greater yields than those predicted by the mean of their component monoculture yields, but there was evidence that highly productive cultivars may have dampened over-yielding in mixtures. Weed abundance was correlated with L. perenne dry matter, but not L. perenne cultivar diversity. These results suggest that multi-cultivar mixtures may have utility as an approach to ecologically intensifying perennial forage production. Additional research will be necessary to determine the mechanisms responsible for the over-yielding observed in this study and the generality of these findings
- …