Reachability-based acyclicity analysis by Abstract Interpretation

In programming languages with dynamic use of memory, such as Java, knowing that a reference variable x points to an acyclic data structure is valuable for the analysis of termination and resource usage (e.g., execution time or memory consumption). For instance, this information guarantees that the depth of the data structure to which x points is greater than the depth of the data structure pointed to by x.f for any field f of x. This, in turn, allows bounding the number of iterations of a loop which traverses the structure by its depth, which is essential in order to prove the termination or infer the resource usage of the loop. The present paper provides an Abstract-Interpretation-based formalization of a static analysis for inferring acyclicity, which works on the reduced product of two abstract domains: reachability, which models the property that the location pointed to by a variable w can be reached by dereferencing another variable v (in this case, v is said to reach w); and cyclicity, modeling the property that v can point to a cyclic data structure. The analysis is proven to be sound and optimal with respect to the chosen abstraction.

Diseño de receptor de torre central para generación directa de vapor con perfil de potencia variable longitudinal y transversalmente

En este estudio se ha realizado el diseño de un receptor de una central de Torre Central de energía solar para generación directa de vapor, mediante el uso de métodos numéricos, con un perfil de potencia incidente variable longitudinal y transversalmente. Para ello se ha dividido la geometría del receptor según el método de diferencias finitas, y se ha procedido a resolver las ecuaciones del balance de energía. Una vez resuelto el sistema de ecuaciones se dispone de la distribución de temperaturas en el receptor y se puede proceder a analizar los resultados así como a calcular otros datos de interés. ABSTRACT In this study it has been made a Central Receiver Solar Thermal Power Plant’s Receiver design for direct steam production, by using numerical methods, with a variable longitudinally and transversely income solar power profile. With this propose, the receiver’s geometry has been divided using the finite difference method, and the energy balance equations have been solved. Once the equations system has been solved, the receiver´s temperature distribution is known, and you can analyze the results as well as calculate other interesting data.

Working memory constrains human cooperation in the Prisoner’s Dilemma

Many problems in human society reflect the inability of selfish parties to cooperate. The “Iterated Prisoner’s Dilemma” has been used widely as a model for the evolution of cooperation in societies. Axelrod’s computer tournaments and the extensive simulations of evolution by Nowak and Sigmund and others have shown that natural selection can favor cooperative strategies in the Prisoner’s Dilemma. Rigorous empirical tests, however, lag behind the progress made by theorists. Clear predictions differ depending on the players’ capacity to remember previous rounds of the game. To test whether humans use the kind of cooperative strategies predicted, we asked students to play the iterated Prisoner’s Dilemma game either continuously or interrupted after each round by a secondary memory task (i.e., playing the game “Memory”) that constrained the students’ working-memory capacity. When playing without interruption, most students used “Pavlovian” strategies, as predicted, for greater memory capacity, and the rest used “generous tit-for-tat” strategies. The proportion of generous tit-for-tat strategies increased when games of Memory interfered with the subjects’ working memory, as predicted. Students who continued to use complex Pavlovian strategies were less successful in the Memory game, but more successful in the Prisoner’s Dilemma, which indicates a trade-off in memory capacity for the two tasks. Our results suggest that the set of strategies predicted by game theorists approximates human reality.

Mutations of γ-aminobutyric acid and glycine receptors change alcohol cutoff: Evidence for an alcohol receptor?

Alcohols in the homologous series of n-alcohols increase in central nervous system depressant potency with increasing chain length until a “cutoff” is reached, after which further increases in molecular size no longer increase alcohol potency. A similar phenomenon has been observed in the regulation of ligand-gated ion channels by alcohols. Different ligand-gated ion channels exhibit radically different cutoff points, suggesting the existence of discrete alcohol binding pockets of variable size on these membrane proteins. The identification of amino acid residues that determine the alcohol cutoff may, therefore, provide information about the location of alcohol binding sites. Alcohol regulation of the glycine receptor is critically dependent on specific amino acid residues in transmembrane domains 2 and 3 of the α subunit. We now demonstrate that these residues in the glycine α1 and the γ-aminobutyric acid ρ1 receptors also control alcohol cutoff. By mutation of Ser-267 to Gln, it was possible to decrease the cutoff in the glycine α1 receptor, whereas mutation of Ile-307 and/or Trp-328 in the γ-aminobutyric acid ρ1 receptor to smaller residues increased the cutoff. These results support the existence of alcohol binding pockets in these membrane proteins and suggest that the amino acid residues present at these positions can control the size of the alcohol binding cavity.

Spatial memory is related to hippocampal subcellular concentrations of calcium-dependent protein kinase C isoforms in young and aged rats

Relationships were examined between spatial learning and hippocampal concentrations of the α, β2, and γ isoforms of protein kinase C (PKC), an enzyme implicated in neuronal plasticity and memory formation. Concentrations of PKC were determined for individual 6-month-old (n = 13) and 24-month-old (n = 27) male Long–Evans rats trained in the water maze on a standard place-learning task and a transfer task designed for rapid acquisition. The results showed significant relationships between spatial learning and the amount of PKC among individual subjects, and those relationships differed according to age, isoform, and subcellular fraction. Among 6-month-old rats, those with the best spatial memory were those with the highest concentrations of PKCγ in the particulate fraction and of PKCβ2 in the soluble fraction. Aged rats had increased hippocampal PKCγ concentrations in both subcellular fractions in comparison with young rats, and memory impairment was correlated with higher PKCγ concentrations in the soluble fraction. No age difference or correlations with behavior were found for concentrations of PKCγ in a comparison structure, the neostriatum, or for PKCα in the hippocampus. Relationships between spatial learning and hippocampal concentrations of calcium-dependent PKC are isoform-specific. Moreover, age-related spatial memory impairment is associated with altered subcellular concentrations of PKCγ and may be indicative of deficient signal transduction and neuronal plasticity in the hippocampal formation.

Recent improvements in prediction of protein structure by global optimization of a potential energy function

Recent improvements of a hierarchical ab initio or de novo approach for predicting both α and β structures of proteins are described. The united-residue energy function used in this procedure includes multibody interactions from a cumulant expansion of the free energy of polypeptide chains, with their relative weights determined by Z-score optimization. The critical initial stage of the hierarchical procedure involves a search of conformational space by the conformational space annealing (CSA) method, followed by optimization of an all-atom model. The procedure was assessed in a recent blind test of protein structure prediction (CASP4). The resulting lowest-energy structures of the target proteins (ranging in size from 70 to 244 residues) agreed with the experimental structures in many respects. The entire experimental structure of a cyclic α-helical protein of 70 residues was predicted to within 4.3 Å α-carbon (Cα) rms deviation (rmsd) whereas, for other α-helical proteins, fragments of roughly 60 residues were predicted to within 6.0 Å Cα rmsd. Whereas β structures can now be predicted with the new procedure, the success rate for α/β- and β-proteins is lower than that for α-proteins at present. For the β portions of α/β structures, the Cα rmsd's are less than 6.0 Å for contiguous fragments of 30–40 residues; for one target, three fragments (of length 10, 23, and 28 residues, respectively) formed a compact part of the tertiary structure with a Cα rmsd less than 6.0 Å. Overall, these results constitute an important step toward the ab initio prediction of protein structure solely from the amino acid sequence.

Tracking memory's trace

There is strong converging evidence that the intermediate and medial part of the hyperstriatum ventrale of the chick brain is a memory store for information acquired through the learning process of imprinting. Neurons in this memory system come, through imprinting, to respond selectively to the imprinting stimulus (IS) neurons and so possess the properties of a memory trace. Therefore, the responses of the intermediate and medial part of the hyperstriatum ventrale neurons to a visual imprinting stimulus were determined before, during, and after training. Of the total recorded population, the proportions of IS neurons shortly after each of two 1-h training sessions were significantly higher (approximately 2 times) than the pretraining proportion. However, ≈4.5 h later this proportion had fallen significantly and did not differ significantly from the pretraining proportion. Nevertheless, ≈21.5 h after the end of training, the proportion of IS neurons was at its highest (approximately 3 times the pretraining level). No significant fluctuations occurred in the proportions of neurons responding to the alternative stimulus. In addition, nonmonotonic changes were found commonly in the activity of 230 of the neurons tracked individually from before training to shortly after the end of training. Thus the pattern of change in responsiveness both at the population level and at the level of individual neurons was highly nonmonotonic. Such a pattern of change is not consistent with simple models of memory based on synaptic strengthening to asymptote. A model is proposed that accounts for the changes in the population responses to the imprinting stimulus in terms of changes in the responses of individual neurons.

Preserved neuron number in the hippocampus of aged rats with spatial learning deficits.

Hippocampal neuron loss is widely viewed as a hallmark of normal aging. Moreover, neuronal degeneration is thought to contribute directly to age-related deficits in learning and memory supported by the hippocampus. By taking advantage of improved methods for quantifying neuron number, the present study reports evidence challenging these long-standing concepts. The status of hippocampal-dependent spatial learning was evaluated in young and aged Long-Evans rats using the Morris water maze, and the total number of neurons in the principal cell layers of the dentate gyrus and hippocampus was quantified according to the optical fractionator technique. For each of the hippocampal fields, neuron number was preserved in the aged subjects as a group and in aged individuals with documented learning and memory deficits indicative of hippocampal dysfunction. The findings demonstrate that hippocampal neuronal degeneration is not an inevitable consequence of normal aging and that a loss of principal neurons in the hippocampus fails to account for age-related learning and memory impairment. The observed preservation of neuron number represents an essential foundation for identifying the neurobiological effects of hippocampal aging that account for cognitive decline.

Cholinergic agonists stimulate secretion of soluble full-length amyloid precursor protein in neuroendocrine cells.

The Abeta peptide of Alzheimer disease is derived from the proteolytic processing of the amyloid precursor proteins (APP), which are considered type I transmembrane glycoproteins. Recently, however, soluble forms of full-length APP were also detected in several systems including chromaffin granules. In this report we used antisera specific for the cytoplasmic sequence of APP to show that primary bovine chromaffin cells secrete a soluble APP, termed solAPPcyt, of an apparent molecular mass of 130 kDa. This APP was oversecreted from Chinese hamster ovary cells transfected with a full-length APP cDNA indicating that solAPPcyt contained both the transmembrane and Abeta sequence. Deglycosylation of solAPPcyt showed that it contained both N- and O-linked sugars, suggesting that this APP was transported through the endoplasmic reticulum-Golgi pathway. Secretion of solAPPcyt from primary chromatin cells was temperature-, time-, and energy-dependent and was stimulated by cell depolarization in a Ca2+-dependent manner. Cholinergic receptor agonists, including acetylcholine, nicotine, or carbachol, stimulated the rapid secretion of solAPPcyt, a process that was inhibited by cholinergic antagonists. Stimulation of solAPPcyt secretion was paralleled by a stimulation of secretion in catecholamines and chromogranin A, indicating that secretion of solAPPcyt was mediated by chromaffin granule vesicles. Taken together, our results show that release of the potentially amyloidogenic solAPPcyt is an active cellular process mediated by both the constitutive and regulated pathways. solAPPcyt was also detected in human cerebrospinal fluid. Combined with the neuronal physiology of chromaffin cells, our data suggest that cholinergic agonists may stimulate the release of this APP in neuronal synapses where it may exert its biological functions. Moreover, vesicular or secreted solAPPcyt may serve as a soluble precursor of Abeta.

The cutoff phenomenon in finite Markov chains.

Natural mixing processes modeled by Markov chains often show a sharp cutoff in their convergence to long-time behavior. This paper presents problems where the cutoff can be proved (card shuffling, the Ehrenfests' urn). It shows that chains with polynomial growth (drunkard's walk) do not show cutoffs. The best general understanding of such cutoffs (high multiplicity of second eigenvalues due to symmetry) is explored. Examples are given where the symmetry is broken but the cutoff phenomenon persists.

ncd and kinesin motor domains interact with both alpha- and beta-tubulin.

Motor domains of the Drosophila minus-end-directed microtubule (MT) motor protein ncd, were found to saturate microtubule binding sites at a stoichiometry of approximately one motor domain per tubulin dimer. To determine the tubulin subunit(s) involved in binding to ncd, mixtures of ncd motor domain and MTs were treated with the zero-length cross-linker 1-ethyl-3-(3-dimethylaminopropyl-carbodiimide) (EDC). EDC treatment generated covalently cross-linked products of ncd and alpha-tubulin and of ncd and beta-tubulin, indicating that the ncd motor domain interacts with both alpha- and beta-tubulin. When the Drosophila kinesin motor domain protein was substituted for the ncd motor domain, cross-linked products of kinesin and alpha-tubulin and of kinesin and beta-tubulin were produced. EDC treatment of mixtures of ncd motor domain and unassembled tubulin dimers or of kinesin motor domain and unassembled tubulin dimers produced the same motor-tubulin products generated in the presence of MTs. These results indicate that kinesin family motors of opposite polarity interact with both tubulin monomers and support a model in which some portion of each protein's motor domain overlaps adjacent alpha- and beta-tubulin subunits.

Electrical investigation of p-type 4H-SiC heavily doped by ion implantation

In the last decades, an increasing interest in the research field of wide bandgap semiconductors was observed, mostly due to the progressive approaching of silicon-based devices to their theoretical limits. 4H-SiC is an example among these, and is a mature compound for applications. The main advantages offered 4H-SiC in comparison with silicon are an higher breakdown field, an higher thermal conductivity, a higher operating temperature, very high hardness and melting point, biocompatibility, but also low switching losses in high frequencies applications and lower on-resistances in unipolar devices. Then, 4H-SiC power devices offer great performance improvement; moreover, they can work in hostile environments where silicon power devices cannot function. Ion implantation technology is a key process in the fabrication of almost all kinds of SiC devices, owing to the advantage of a spatially selective doping. This work is dedicated to the electrical investigation of several differently-processed 4H-SiC ion- implanted samples, mainly through Hall effect and space charge spectroscopy experiments. It was also developed the automatic control (Labview) of several experiments. In the work, the effectiveness of high temperature post-implant thermal treatments (up to 2000°C) were studied and compared considering: (i) different methods, (ii) different temperatures and (iii) different duration of the annealing process. Preliminary p + /n and Schottky junctions were also investigated as simple test devices. 1) Heavy doping by ion implantation of single off-axis 4H-SiC layers The electrical investigation is one of the most important characterization of ion-implanted samples, which must be submitted to mandatory post-implant thermal treatment in order to both (i) recover the lattice after ion bombardment, and (ii) address the implanted impurities into lattice sites so that they can effectively act as dopants. Electrical investigation can give fundamental information on the efficiency of the electrical impurity activation. To understand the results of the research it should be noted that: (a) To realize good ohmic contacts it is necessary to obtain spatially defined highly doped regions, which must have conductivity as low as possible. (b) It has been shown that the electrical activation efficiency and the electrical conductivity increase with the annealing temperature increasing. (c) To maximize the layer conductivity, temperatures around 1700°C are generally used and implantation density high till to 10 21 cm -3 . In this work, an original approach, different from (c), is explored by the using very high annealing temperature, around 2000°C, on samples of Al + -implant concentration of the order of 10 20 cm -3 . Several Al + -implanted 4H-SiC samples, resulting of p-type conductivity, were investigated, with a nominal density varying in the range of about 1-5∙10 20 cm -3 and subjected to two different high temperature thermal treatments. One annealing method uses a radiofrequency heated furnace till to 1950°C (Conventional Annealing, CA), the other exploits a microwave field, providing a fast heating rate up to 2000°C (Micro-Wave Annealing, MWA). In this contest, mainly ion implanted p-type samples were investigated, both off-axis and on-axis <0001> semi-insulating 4H-SiC. Concerning p-type off-axis samples, a high electrical activation of implanted Al (50-70%) and a compensation ratio below 10% were estimated. In the work, the main sample processing parameters have been varied, as the implant temperature, CA annealing duration, and heating/cooling rates, and the best values assessed. MWA method leads to higher hole density and lower mobility than CA in equivalent ion implanted layers, resulting in lower resistivity, probably related to the 50°C higher annealing temperature. An optimal duration of the CA treatment was estimated in about 12-13 minutes. A RT resistivity on the lowest reported in literature for this kind of samples, has been obtained. 2) Low resistivity data: variable range hopping Notwithstanding the heavy p-type doping levels, the carrier density remained less than the critical one required for a semiconductor to metal transition. However, the high carrier densities obtained was enough to trigger a low temperature impurity band (IB) conduction. In the heaviest doped samples, such a conduction mechanism persists till to RT, without significantly prejudice the mobility values. This feature can have an interesting technological fall, because it guarantee a nearly temperature- independent carrier density, it being not affected by freeze-out effects. The usual transport mechanism occurring in the IB conduction is the nearest neighbor hopping: such a regime is effectively consistent with the resistivity temperature behavior of the lowest doped samples. In the heavier doped samples, however, a trend of the resistivity data compatible with a variable range hopping (VRH) conduction has been pointed out, here highlighted for the first time in p-type 4H-SiC. Even more: in the heaviest doped samples, and in particular, in those annealed by MWA, the temperature dependence of the resistivity data is consistent with a reduced dimensionality (2D) of the VRH conduction. In these samples, TEM investigation pointed out faulted dislocation loops in the basal plane, whose average spacing along the c-axis is comparable with the optimal length of the hops in the VRH transport. This result suggested the assignment of such a peculiar behavior to a kind of spatial confinement into a plane of the carrier hops. 3) Test device the p + -n junction In the last part of the work, the electrical properties of 4H-SiC diodes were also studied. In this case, a heavy Al + ion implantation was realized on n-type epilayers, according to the technological process applied for final devices. Good rectification properties was shown from these preliminary devices in their current-voltage characteristics. Admittance spectroscopy and deep level transient spectroscopy measurements showed the presence of electrically active defects other than the dopants ones, induced in the active region of the diodes by ion implantation. A critical comparison with the literature of these defects was performed. Preliminary to such an investigation, it was assessed the experimental set up for the admittance spectroscopy and current-voltage investigation and the automatic control of these measurements.

Difference schemes for time-dependent heat conduction models with delay

Different non-Fourier models of heat conduction, that incorporate time lags in the heat flux and/or the temperature gradient, have been increasingly considered in the last years to model microscale heat transfer problems in engineering. Numerical schemes to obtain approximate solutions of constant coefficients lagging models of heat conduction have already been proposed. In this work, an explicit finite difference scheme for a model with coefficients variable in time is developed, and their properties of convergence and stability are studied. Numerical computations showing examples of applications of the scheme are presented.

Quality certification, performance and size in hotel chains

This paper examines the relationship between quality certification and performance, and quality certification and size in hotel chains operating in Spain. In an initial phase, a quantitative study is made with secondary and objective data to analyse these relationships. In a second phase, a qualitative analysis is applied to reach a better understanding of the quantitative results. The findings show that chains with certified hotels achieve better performance levels; that better performance levels increase with the percentage of certified hotels within the chain; and that quality certification has positive effects on some performance variables. In addition, size is not a key factor for certification, although it could be an enabler.

Graph-based Semi-Supervised Learning in Acoustic Modeling for Automatic Speech Recognition

Thesis (Ph.D.)--University of Washington, 2016-06