Efficient product sampling using hierarchical thresholding

We present an efficient method for importance sampling the product of multiple functions. Our algorithm computes a quick approximation of the product on the fly, based on hierarchical representations of the local maxima and averages of the individual terms. Samples are generated by exploiting the hierarchical properties of many low-discrepancy sequences, and thresholded against the estimated product. We evaluate direct illumination by sampling the triple product of environment map lighting, surface reflectance, and a visibility function estimated per pixel. Our results show considerable noise reduction compared to existing state-of-the-art methods using only the product of lighting and BRDF.     

Monotony properties of connected visible graph searching

Search games are attractive for their correspondence with classical width parameters. For instance, the invisible search number (a.k.a. node search number) of a graph is equal to its pathwidth plus 1, and the visible search number of a graph is equal to its treewidth plus 1. The connected variants of these games ask for search strategies that are connected, i.e., at every step of the strategy, the searched part of the graph induces a connected subgraph. We focus on monotone search strategies, i.e., strategies for which every node is searched exactly once. The monotone connected visible search number of an n-node graph is at most O(logn) times its visible search number. First, we prove that this logarithmic bound is tight. Precisely, we prove that there is an infinite family of graphs for which the ratio monotone connected visible search number over visible search number is Ω(logn). Second, we prove that, as opposed to the non-connected variant of visible graph searching, “recontamination helps” for connected visible search. Precisely, we prove that, for any k4, there exists a graph with connected visible search number at most k, and monotone connected visible search number >k     

Renal proliferative and phenotypic changes in rats with two-kidney, one-clip Goldblatt hypertension

Previous research in this laboratory has shown that preweaning and postweaning juvenile meadow voles, Microtus pennsylvanicus, can acquire a spatial task, the Morris water-maze task. The present study examined the influence of age of juvenile acquisition ("before weaning" (BW; Day 10 and 15 after birth) and "after weaning" (AW; Day 20 and 25 after birth)) of a spatial task on subsequent re-acquisition of the same hidden-platform spatial water-maze task. This study also compared sex differences and litter sex-ratio effects on reacquisition performance. Fifteen litters of adults were re-tested in the same water maze 6 weeks after being initially tested as juveniles. All analyses were conducted using a covariate that removed the group differences in the original task performance. Adult voles from female-biased litters, that had previously learned the task at an older juvenile age (AW), reacquired the same task faster than adults that had previously learned the task at a younger juvenile age (BW). In the adult BW group there was also a significant litter sex-ratio effect such that voles born into a female-biased litter re-acquired the task more slowly than did voles born into a male-biased litter. There were no significant sex or litter sex-ratio effects on spatial learning in the AW group. These results show that adult meadow voles can require a spatial task more quickly if they initially learned the task at an older juvenile age, suggestive of a period of infantile amnesia. In addition, these results indicate that the litter sex-ratio can affect adult spatial performance, suggesting that the relative amount of androgens in utero may influence the development of sexually-dimorphic spatial ability in adulthood.     

Toward a formal specification of multimedia synchronization scenarios

This paper introduces time stream Pétri nets (Ts treamPn), a model for the formal specification of multimedia synchronization scenarios. This new model extends time Pétri nets to formally describe the timed behaviour of multimedia objects and streams in asynchronous distributed systems. The proposed approach uses time intervals to label the arcs exiting from the places of the net, and typed transitions to define different firing rules. This model allows a complete and accurate specification of synchronization constraints between multimedia streams and can be used at different levels of granularity.     

Termination of rewrite systems by elementary interpretations

We focus on termination proofs of rewrite systems, especially of rewrite systems containing associative and commutative operators. We prove their termination by elementary interpretations, more specifically, by functions defined by addition, multiplication and exponentiation. We discuss a method based on polynomial interpretations and propose an implementation of a mechanisation of the comparison of expressions built with polynomials and exponentials.     

High Q 2D-length extension mode resonators for potential time–frequency applications

Microsystem Technologies - This paper presents recent advances on two dimensional length-extension mode (2D-LEM) quartz resonators providing high quality (Q) factor on resonances at a few MHz. The...     

Mobility in granular materials upon cyclic loading

We investigate the ability to move of large objects—referred to as intruders—embedded in a granular material and subjected to cyclic loadings. A discrete element method is used to simulate the dynamics response of intruders subjected to a vertical uplift cyclic force, exploring a wide range of loading magnitudes and frequencies. The analysis of the intruder and grains displacements over many cycles reveals three mobility regimes. In the first two regimes, called confined and failure the intruder either do not significantly move or consistently moves upward after each cycles. We introduce a physically based model considering an inertial drag force to rationalise the existence of these regimes depending on the loading frequency and magnitude. We further evidence a third intermediate regime of creep, where intruder trajectories exhibit long periods of confinement punctuated by shorter periods of sustained uplift motion. Finally, we observe unexpected failures at low loading magnitudes and specific frequencies, which we attribute to a process of elasto-inertial resonance. These results highlight the important differences in the mobility of intruders upon constant and cyclic loadings.     

Comparison of disability behavior after different sites and types of injury in a workers' compensation population

In this study, an extensive data set from a regional workers' compensation system was analyzed to determine whether particular sites or types of injury were associated with prolonged disability. This data shows a similar pattern of vocational disability for almost all sites and types of injury. A workers' compensation carrier collects data for financial purposes related to insurance, and such data therefore has several serious potential deficiencies when used for clinical research. However, published data on disablement after nonoccupational trauma shows similar patterns of vocational and nonvocational disability, and also shows dependence on severity of injury. In both settings, head injury is associated with greater occupational disability. Because treatment, policy, and medicolegal decisions are based on the impression of "typical disability" for particular sites and types of injury, there is a need for better documentation of post-traumatic disablement in compensation settings and in noncompensation settings. This should include better classification of the cause, type, and severity of the injury, and of the functional outcome in terms of both the resumption of occupational and nonoccupational roles, and of persistence in these roles.