A technique for recursive invariance detection and selective program specialization

This paper presents a technique for achieving a class of optimizations related to the reduction of checks within cycles. The technique uses both Program Transformation and Abstract Interpretation. After a ñrst pass of an abstract interpreter which detects simple invariants, program transformation is used to build a hypothetical situation that simpliñes some predicates that should be executed within the cycle. This transformation implements the heuristic hypothesis that once conditional tests hold they may continué doing so recursively. Specialized versions of predicates are generated to detect and exploit those cases in which the invariance may hold. Abstract interpretation is then used again to verify the truth of such hypotheses and conñrm the proposed simpliñcation. This allows optimizations that go beyond those possible with only one pass of the abstract interpreter over the original program, as is normally the case. It also allows selective program specialization using a standard abstract interpreter not speciñcally designed for this purpose, thus simplifying the design of this already complex module of the compiler. In the paper, a class of programs amenable to such optimization is presented, along with some examples and an evaluation of the proposed techniques in some application áreas such as floundering detection and reducing run-time tests in automatic logic program parallelization. The analysis of the examples presented has been performed automatically by an implementation of the technique using existing abstract interpretation and program transformation tools.

Invariance of the Glass Transition Temperature of Plant Vitrification Solutions with Cooling Rate

The solutions studied were Plant Vitrification Solutions 1, 2 and 3: (PVS1: Uragami et al. 1989, Plant Cell Rep. 8, 418; PVS2: Sakai et al. 1990, Plant Cell Rep. 9, 30; PVS3: Nishizawa et al. 1993, Plant Sci. 91, 67). Cooling was performed using the calorimeter control (5, 10 and 20°C min-1), or for higher rates, by quenching the closed pan with PVS in LN, either naked (faster - 5580°C min-1) or introduced in cryovials (reduced rate 360°C min-1). Quenched pans were then transferred to the sample chamber, pre-cooled to -196°C. Glass transition temperature was observed by DSC with a TA 2920 instrument, upon warming pans with solution samples from -145°C to room temperature, at standard warming rate10°C min-1.

Invariance between subjects of brain wave representations of language

In three experiments, electric brain waves of 19 subjects were recorded under several different experimental conditions for two purposes. One was to test how well we could recognize which sentence, from a set of 24 or 48 sentences, was being processed in the cortex. The other was to study the invariance of brain waves between subjects. As in our earlier work, the analysis consisted of averaging over trials to create prototypes and test samples, to both of which Fourier transforms were applied, followed by filtering and an inverse transformation to the time domain. A least-squares criterion of fit between prototypes and test samples was used for classification. In all three experiments, averaging over subjects improved the recognition rates. The most significant finding was the following. When brain waves were averaged separately for two nonoverlapping groups of subjects, one for prototypes and the other for test samples, we were able to recognize correctly 90% of the brain waves generated by 48 different sentences about European geography.

Invariance of brain-wave representations of simple visual images and their names

In two experiments, electric brain waves of 14 subjects were recorded under several different conditions to study the invariance of brain-wave representations of simple patches of colors and simple visual shapes and their names, the words blue, circle, etc. As in our earlier work, the analysis consisted of averaging over trials to create prototypes and test samples, to both of which Fourier transforms were applied, followed by filtering and an inverse transformation to the time domain. A least-squares criterion of fit between prototypes and test samples was used for classification. The most significant results were these. By averaging over different subjects, as well as trials, we created prototypes from brain waves evoked by simple visual images and test samples from brain waves evoked by auditory or visual words naming the visual images. We correctly recognized from 60% to 75% of the test-sample brain waves. The general conclusion is that simple shapes such as circles and single-color displays generate brain waves surprisingly similar to those generated by their verbal names. These results, taken together with extensive psychological studies of auditory and visual memory, strongly support the solution proposed for visual shapes, by Bishop Berkeley and David Hume in the 18th century, to the long-standing problem of how the mind represents simple abstract ideas.

A resource range invariance rule for optimal offspring size predicts patterns of variability in parental phenotypes

Previous analysis of the rules regarding how much more a female should invest in a litter of size C rather than producing a litter with one more offspring revealed an invariance relationship between litter size and the range of resources per offspring in any litter size. The rule is that the range of resources per offspring should be inversely proportional to litter size. Here we present a modification of this rule that relates litter size to the total resources devoted to reproduction at that litter size. The result is that the range of resources devoted to reproduction should be the same for all litter sizes. When parental phenotypes covary linearly with resources devoted to reproduction, then those traits should also show equal ranges within each litter size category (except for litters of one). We tested this prediction by examining the range in body size (=total length) of female mosquito fish (Gambusia hubbsi) at different litter sizes. Because resources devoted to reproduction may take many forms (e.g., nest defense), this prediction may have broad applicability.

Structural invariance of constitutively active and inactive mutants of Acanthamoeba myosin IC bound to F-actin in the rigor and ADP-bound states

The three single-headed monomeric myosin I isozymes of Acanthamoeba castellanii (AMIs)—AMIA, AMIB, and AMIC—are among the best-studied of all myosins. We have used AMIC to study structural correlates of myosin’s actin-activated ATPase. This activity is normally controlled by phosphorylation of Ser-329, but AMIC may be switched into constitutively active or inactive states by substituting this residue with Glu or Ala, respectively. To determine whether activation status is reflected in structural differences in the mode of attachment of myosin to actin, these mutant myosins were bound to actin filaments in the absence of nucleotide (rigor state) and visualized at 24-Å resolution by using cryoelectron microscopy and image reconstruction. No such difference was observed. Consequently, we suggest that regulation may be affected not by altering the static (time-averaged) structure of AMIC but by modulating its dynamic properties, i.e., molecular breathing. The tail domain of vertebrate intestinal brush-border myosin I has been observed to swing through 31° on binding of ADP. However, it was predicted on grounds of differing kinetics that any such effects with AMIC should be small [Jontes, J. D., Ostap, E. M., Pollard, T. D. & Milligan, R. A. (1998) J. Cell Biol. 141, 155–162]. We have confirmed this hypothesis by observing actin-associated AMIC in its ADP-bound state. Finally, we compared AMIC to brush-border myosin I and AMIB, which were previously studied under similar conditions. In each case, the shape and angle of attachment to F-actin of the catalytic domain is largely conserved, but the domain structure and disposition of the tail is distinctively different for each myosin.

Invariance and restriction toward a limited set of self-antigens characterize neonatal IgM antibody repertoires and prevail in autoreactive repertoires of healthy adults.

Analysis of the reactivity of IgM with self-antigens in tissues by a quantitative immunoblotting technique showed striking invariance among newborns in the human and in the mouse. The self-reactive repertoire of IgM of adults was also markedly conserved; it comprised most anti-self reactivities that prevailed among neonates. Multivariate analysis confirmed the homogeneity of IgM repertoires of neonates toward self- and non-self-antigens. Multivariate analysis discriminated between newborn and adult repertoires for reactivity with two of five sources of self-proteins and with non-self-antigens. Our observations support the concept that naturally activated B lymphocytes are selected early in development and throughout life for reactivity with a restricted set of self-antigens.

Coverage and invariance for the biological control of pests in mediterranean greenhouses

A major problem related to the treatment of ecosystems is that they have no available mathematical formalization. This implies that many of their properties are not presented as short, rigorous modalities, but rather as long expressions which, from a biological standpoint, totally capture the significance of the property, but which have the disadvantage of not being sufficiently manageable, from a mathematical standpoint. The interpretation of ecosystems through networks allows us to employ the concepts of coverage and invariance alongside other related concepts. The latter will allow us to present the two most important relations in an ecosystem – predator–prey and competition – in a different way. Biological control, defined as “the use of living organisms, their resources or their products to prevent or reduce loss or damage caused by pests”, is now considered the environmentally safest and most economically advantageous method of pest control (van Lenteren, 2011). A guild includes all those organisms that share a common food resource (Polis et al., 1989), which in the context of biological control means all the natural enemies of a given pest. There are several types of intraguild interactions, but the one that has received most research attention is intraguild predation, which occurs when two organisms share the same prey while at the same time participating in some kind of trophic interaction. However, this is not the only intraguild relationship possible, and studies are now being conducted on others, such as oviposition deterrence. In this article, we apply the developed concepts of structural functions, coverage, invariant sets, etc. (Lloret et al., 1998, Esteve and Lloret, 2006a, Esteve and Lloret, 2006b and Esteve and Lloret, 2007) to a tritrophic system that includes aphids, one of the most damaging pests and a current bottleneck for the success of biological control in Mediterranean greenhouses.

School Anxiety Inventory–Short Version: Factorial Invariance and Latent Mean Differences Across Gender and Age in Spanish Adolescents

This study examined the factorial invariance and latent mean differences of the School Anxiety Inventory–Short Version across gender and age groups for 2,367 Spanish students, ranging in age from 12 to 18 years. Configural and measurement invariance were found across gender and age samples for all dimensions of the School Anxiety Inventory–Short Version.

On the Result of Invariance of the Closure Set of the Real Projections of the Zeros of an Important Class of Exponential Polynomials

In this paper we provide the proof of a practical point-wise characterization of the set RP defined by the closure set of the real projections of the zeros of an exponential polynomial P(z) = Σn j=1 cjewjz with real frequencies wj linearly independent over the rationals. As a consequence, we give a complete description of the set RP and prove its invariance with respect to the moduli of the c′ js, which allows us to determine exactly the gaps of RP and the extremes of the critical interval of P(z) by solving inequations with positive real numbers. Finally, we analyse the converse of this result of invariance.

The Short-EMBU in Australia, Spain, and Venezuela - Factorial invariance, and associations with sex roles, self-esteem, and Eysenckian personality dimensions

The short(s)-EMBU (Swedish acronym for Egna Minnen Betraffande Uppfostran [My memories of upbringing]) consists of 23 items, is based on the early 81-item EMBU, and was developed out of the necessity of having a brief measure of perceived parental rearing practices when the clinical and/or research context does not adequately permit application of time-consuming test batteries. The s-EMBU comprises three subscales: Rejection., Emotional Warmth, and (Over)Protection. The factorial and/or construct validity and reliability of the s-EMBU were examined in samples comprising a total of 1950 students from Australia, Spain, and Venezuela. The data were presented for the three national groups separately. Findings confirmed the cross-national validity of the factorial structure underlying the s-EMBU. Rejection by fathers and mothers was consistently associated with high trait-neuroticism and low self-esteem in recipients of both sexes in each nation, as was high parental emotional warmth with high femininity (humility). The findings on factorial validity are in keeping with previous ones obtained in East Germany, Greece, Guatemala, Hungary, Italy, and Sweden. The s-EMBU is again recommended for use in several different countries as. a reliable, functional equivalent to the original 81-item EMBU.

Category learning induces position invariance of pattern recognition across the visual field

Human object recognition is considered to be largely invariant to translation across the visual field. However, the origin of this invariance to positional changes has remained elusive, since numerous studies found that the ability to discriminate between visual patterns develops in a largely location-specific manner, with only a limited transfer to novel visual field positions. In order to reconcile these contradicting observations, we traced the acquisition of categories of unfamiliar grey-level patterns within an interleaved learning and testing paradigm that involved either the same or different retinal locations. Our results show that position invariance is an emergent property of category learning. Pattern categories acquired over several hours at a fixed location in either the peripheral or central visual field gradually become accessible at new locations without any position-specific feedback. Furthermore, categories of novel patterns presented in the left hemifield are distinctly faster learnt and better generalized to other locations than those learnt in the right hemifield. Our results suggest that during learning initially position-specific representations of categories based on spatial pattern structure become encoded in a relational, position-invariant format. Such representational shifts may provide a generic mechanism to achieve perceptual invariance in object recognition.

Are guanxi-type supervisor-subordinate relationships culture-general? An eight-nation test of measurement invariance

Three dimensions of subordinate-supervisor relations (affective attachment, deference to supervisor, and personal-life inclusion) that had been found by Y. Chen, Friedman, Yu, Fang, and Lu to be characteristic of a guanxi relationship between subordinates and their supervisors in China were surveyed in Taiwan, Singapore, and six non-Chinese cultural contexts. The Affective Attachment and Deference subscales demonstrated full metric invariance whereas the Personal-Life Inclusion subscale was found to have partial metric invariance across all eight samples. Structural equation modeling revealed that the affective attachment dimension had a cross-nationally invariant positive relationship to affective organizational commitment and a negative relationship to turnover intention. The deference to the supervisor dimension had invariant positive relationships with both affective and normative organizational commitment. The personal-life inclusion dimension was unrelated to all outcomes. These results indicate the relevance of aspects of guanxi to superior-subordinate relations in non-Chinese cultures. Studies of indigenous concepts can contribute to a broader understanding of organizational behavior. © The Author(s) 2014.

Invariance under type morphisms: the bayesian Nash equilibrium

Ely and Peski (2006) and Friedenberg and Meier (2010) provide examples when changing the type space behind a game, taking a "bigger" type space, induces changes of Bayesian Nash Equilibria, in other words, the Bayesian Nash Equilibrium is not invariant under type morphisms. In this paper we introduce the notion of strong type morphism. Strong type morphisms are stronger than ordinary and conditional type morphisms (Ely and Peski, 2006), and we show that Bayesian Nash Equilibria are not invariant under strong type morphisms either. We present our results in a very simple, finite setting, and conclude that there is no chance to get reasonable assumptions for Bayesian Nash Equilibria to be invariant under any kind of reasonable type morphisms.