@article{8510, abstract = {In this paper, using the ideas of Bessi and Mather, we present a simple mechanical system exhibiting Arnold diffusion. This system of a particle in a small periodic potential can be also interpreted as ray propagation in a periodic optical medium with a near-constant index of refraction. Arnold diffusion in this context manifests itself as an arbitrary finite change of direction for nearly constant index of refraction.}, author = {Kaloshin, Vadim and Levi, Mark}, issn = {0273-0979}, journal = {Bulletin of the American Mathematical Society}, keywords = {Applied Mathematics, General Mathematics}, number = {3}, pages = {409--427}, publisher = {American Mathematical Society}, title = {{An example of Arnold diffusion for near-integrable Hamiltonians}}, doi = {10.1090/s0273-0979-08-01211-1}, volume = {45}, year = {2008}, } @article{895, abstract = {Background. The arginine vasopressin V1a receptor (V1aR) modulates social cognition and behavior in a wide variety of species. Variation in a repetitive microsatellite element in the 5′ flanking region of the V1aR gene (AVPR1A) in rodents has been associated with variation in brain V1aR expression and in social behavior. In humans, the 5′ flanking region of AVPR1A contains a tandem duplication of two ∼350 bp, microsatellite-containing elements located approximately 3.5 kb upstream of the transcription start site. The first block, referred to as DupA, contains a polymorphic (GT) 25microsatellite; the second block, DupB, has a complex (CT) 4-(TT)-(CT)8-(GT)24polymorphic motif, known as RS3. Polymorphisms in RS3 have been associated with variation in sociobehavioral traits in humans, including autism spectrum disorders. Thus, evolution of these regions may have contributed to variation in social behavior in primates. We examined the structure of these regions in six ape, six monkey, and one prosimian species. Results. Both tandem repeat blocks are present upstream of the AVPR1A coding region in five of the ape species we investigated, while monkeys have only one copy of this region. As in humans, the microsatellites within DupA and DupB are polymorphic in many primate species. Furthermore, both single (lacking DupB) and duplicated alleles (containing both DupA and DupB) are present in chimpanzee (Pan troglodytes) populations with allele frequencies of 0.795 and 0.205 for the single and duplicated alleles, respectively, based on the analysis of 47 wild-caught individuals. Finally, a phylogenetic reconstruction suggests two alternate evolutionary histories for this locus. Conclusion. There is no obvious relationship between the presence of the RS3 duplication and social organization in primates. However, polymorphisms identified in some species may be useful in future genetic association studies. In particular, the presence of both single and duplicated alleles in chimpanzees provides a unique opportunity to assess the functional role of this duplication in contributing to variation in social behavior in primates. While our initial studies show no signs of directional selection on this locus in chimps, pharmacological and genetic association studies support a potential role for this region in influencing V1aR expression and social behavior.}, author = {Donaldson, Zoe R and Fyodor Kondrashov and Putnam, Andrea S and Bai, Yaohui and Stoinski, Tara S and Hammock, Elizabeth A and Young, Larry}, journal = {BMC Evolutionary Biology}, number = {1}, publisher = {BioMed Central}, title = {{Evolution of a behavior-linked microsatellite-containing element in the 5′ flanking region of the primate AVPR1A gene}}, doi = {10.1186/1471-2148-8-180}, volume = {8}, year = {2008}, } @article{907, abstract = {The most common form of protein-coding gene overlap in eukaryotes is a simple nested structure, whereby one gene is embedded in an intron of another. Analysis of nested protein-coding genes in vertebrates, fruit flies and nematodes revealed substantially higher rates of evolutionary gains than losses. The accumulation of nested gene structures could not be attributed to any obvious functional relationships between the genes involved and represents an increase of the organizational complexity of animal genomes via a neutral process.}, author = {Assis, Raquel and Kondrashov, Alexey S and Koonin, Eugene V and Fyodor Kondrashov}, journal = {Trends in Genetics}, number = {10}, pages = {475 -- 478}, publisher = {Elsevier}, title = {{Nested genes and increasing organizational complexity of metazoan genomes}}, doi = {10.1016/j.tig.2008.08.003}, volume = {24}, year = {2008}, } @article{9457, abstract = {Eukaryotic chromatin is separated into functional domains differentiated by posttranslational histone modifications, histone variants, and DNA methylation1–6. Methylation is associated with repression of transcriptional initiation in plants and animals, and is frequently found in transposable elements. Proper methylation patterns are critical for eukaryotic development4,5, and aberrant methylation-induced silencing of tumor suppressor genes is a common feature of human cancer7. In contrast to methylation, the histone variant H2A.Z is preferentially deposited by the Swr1 ATPase complex near 5′ ends of genes where it promotes transcriptional competence8–20. How DNA methylation and H2A.Z influence transcription remains largely unknown. Here we show that in the plant Arabidopsis thaliana, regions of DNA methylation are quantitatively deficient in H2A.Z. Exclusion of H2A.Z is seen at sites of DNA methylation in the bodies of actively transcribed genes and in methylated transposons. Mutation of the MET1 DNA methyltransferase, which causes both losses and gains of DNA methylation4,5, engenders opposite changes in H2A.Z deposition, while mutation of the PIE1 subunit of the Swr1 complex that deposits H2A.Z17 leads to genome-wide hypermethylation. Our findings indicate that DNA methylation can influence chromatin structure and effect gene silencing by excluding H2A.Z, and that H2A.Z protects genes from DNA methylation.}, author = {Zilberman, Daniel and Coleman-Derr, Devin and Ballinger, Tracy and Henikoff, Steven}, issn = {1476-4687}, journal = {Nature}, keywords = {Multidisciplinary}, number = {7218}, pages = {125--129}, publisher = {Springer Nature}, title = {{Histone H2A.Z and DNA methylation are mutually antagonistic chromatin marks}}, doi = {10.1038/nature07324}, volume = {456}, year = {2008}, } @article{9537, abstract = {DNA methylation is an ancient process found in all domains of life. Although the enzymes that mediate methylation have remained highly conserved, DNA methylation has been adapted for a variety of uses throughout evolution, including defense against transposable elements and control of gene expression. Defects in DNA methylation are linked to human diseases, including cancer. Methylation has been lost several times in the course of animal and fungal evolution, thus limiting the opportunity for study in common model organisms. In the past decade, plants have emerged as a premier model system for genetic dissection of DNA methylation. A recent combination of plant genetics with powerful genomic approaches has led to a number of exciting discoveries and promises many more.}, author = {Zilberman, Daniel}, issn = {1369-5266}, journal = {Current Opinion in Plant Biology}, number = {5}, pages = {554--559}, publisher = {Elsevier }, title = {{The evolving functions of DNA methylation}}, doi = {10.1016/j.pbi.2008.07.004}, volume = {11}, year = {2008}, } @article{965, abstract = {We give many examples of applying Bogoliubov's forest formula to iterative solutions of various nonlinear equations. The same formula describes an extremely wide class of objects, from an ordinary quadratic equation to renormalization in quantum field theory.}, author = {Morozov, Alexei Y and Maksym Serbyn}, journal = {Theoretical and Mathematical Physics}, number = {2}, pages = {270 -- 293}, publisher = {Elsevier}, title = {{Nonlinear algebra and Bogoliubov's recursion}}, doi = {10.1007/s11232-008-0026-7}, volume = {154}, year = {2008}, } @article{7320, abstract = {A comparative, experimental diffusivity study of gas diffusion layer (GDL) materials for polymer electrolyte fuel cells (PEFC) is presented for the first time. The GDL plays an important role for electrochemical losses due to gas transport limitations at high current densities. Characterization and optimization of these layers is therefore essential to improve power density. A recently developed method which allows for fast diffusimetry is applied and data compared to the literature values. Measurements are made as a function of direction and compression and the effect of different binder structures and hydrophobic treatments on effective diffusivities are discussed. A better understanding of the results is gained by including novel GDL cross-section images and a meaningful unit cell model for the interpretation of the data. The diffusivity data is valuable for GDL manufacturers and future PEFC models. The study reveals that a binder–fiber ratio larger than 50% has a negative impact on the effective diffusion properties. The hydrophobic treatment which is necessary to improve the water management can impede diffusion and thus reduce the power density. Furthermore binder has an isotropic effect while compression pronounces the in-plane orientation of the fibers.}, author = {Flückiger, Reto and Freunberger, Stefan Alexander and Kramer, Denis and Wokaun, Alexander and Scherer, Günther G. and Büchi, Felix N.}, issn = {0013-4686}, journal = {Electrochimica Acta}, number = {2}, pages = {551--559}, publisher = {Elsevier}, title = {{Anisotropic, effective diffusivity of porous gas diffusion layer materials for PEFC}}, doi = {10.1016/j.electacta.2008.07.034}, volume = {54}, year = {2008}, } @article{7321, abstract = {Cell interaction phenomena in polymer electrolyte fuel cell stacks that arise from imbalance between adjacent cells are investigated in detail experimentally and theoretically. A specialized two-cell stack with advanced localized diagnostics was developed and used to analyze the mechanism and effect of cell-to-cell coupling as a result of operationally relevant variations in reactant feed flow. Contributions to overall and local voltage changes with respect to uniformly operated cells are scrutinized. Unequal operation of the cells causes in-plane current in the bipolar plate to redistribute current and result in inhomogeneous polarization. Both increasing and decreasing polarization along the air-flow path reduces cell power as compared to isopotential operation. A two-dimensional model based on a commercial computational fluid dynamics code is used to back and extend the experimental results to more general cases. Furthermore, the experimental setup presented allowed for the first time to perform simultaneous localized electrochemical impedance spectroscopy beyond the single-cell level. The mechanism of mutual cell interaction on local and integral spectra is revealed. Results show that virtually identical operation of the cells is essential to obtain meaningful integral spectra.}, author = {Freunberger, Stefan Alexander and Schneider, Ingo A. and Sui, Pang-Chieh and Wokaun, Alexander and Djilali, Nedjib and Büchi, Felix N.}, issn = {0013-4651}, journal = {Journal of The Electrochemical Society}, number = {7}, publisher = {The Electrochemical Society}, title = {{Cell interaction phenomena in polymer electrolyte fuel cell stacks}}, doi = {10.1149/1.2913095}, volume = {155}, year = {2008}, } @article{7322, abstract = {The gas diffusion layers (GDLs) of a membrane electrode assembly (MEA) serve as link between flow field and porous electrode within a polymer electrolyte fuel cell. Beside ensuring sufficient electrical and thermal contact between the whole electrode area and the flow field, these typically 200–400 μm thick porous structures enable the access of educts to the electrode area which would be occluded by the flow field lands if the flow field is directly attached to the electrode. Hence, the characterisation of properties pertaining to mass transport of educts and products through these structures is indispensable whilst examining the contribution of the GDLs to the overall electrochemical characteristics of a MEA. A fast and cost effective method to measure the effective diffusivity of a GDL is presented. Electrochemical impedance spectroscopy is applied to measure the effective ionic conductivity of an electrolyte-soaked GDL. Taking advantage of the analogy between Ficks and Ohms law, this provides a measure for the effective diffusivity. The method is described in detail, including experimental as well as theoretical aspects, and selected results, highlighting the anisotropy and dependence on the degree of compression, are shown. Moreover, a two-dimensional model consisting of regularly spaced ellipses is developed to represent the porous structure of the GDL, and by using conformal maps, the agreement between this model and experiment with respect to the sensitivity of the effective diffusivity towards compression is shown.}, author = {Kramer, Denis and Freunberger, Stefan Alexander and Flückiger, Reto and Schneider, Ingo A. and Wokaun, Alexander and Büchi, Felix N. and Scherer, Günther G.}, issn = {1572-6657}, journal = {Journal of Electroanalytical Chemistry}, number = {1}, pages = {63--77}, publisher = {Elsevier}, title = {{Electrochemical diffusimetry of fuel cell gas diffusion layers}}, doi = {10.1016/j.jelechem.2007.09.014}, volume = {612}, year = {2008}, } @inproceedings{7425, abstract = {The propagation of single cell performance losses to adjacent cells in a polymer electrolyte fuel cell stack is studied by means of local current density measurements in a two cell stack. In this stack, the working conditions of adjacent cells can be controlled independently in order to deliberately change the performance of one cell (inducing cell) and study the coupling effects to the adjacent cell (response cell), while keeping the working conditions of the later one unchanged. The experiments have shown that changes in the current density distribution caused by lowering of the air stoichiometry in the inducing cell cause changes in the current density distribution of the response cell in the order of 60% of the change of the inducing cell, even when the air stoichiometry of the response cell is kept constant. The losses in cell voltage of the inducing cell cause losses in cell voltage of the response cell in a magnitude between 30 and 50%.}, author = {Santis, Marco and Freunberger, Stefan Alexander and Papra, Matthias and Büchi, Felix N.}, booktitle = {3rd International Conference on Fuel Cell Science, Engineering and Technology}, isbn = {0791837645}, location = {Ypsilanti, MI, United States}, pages = {763--765}, publisher = {ASMEDC}, title = {{Experimental investigation of the propagation of local current density variations to adjacent cells in PEFC stacks}}, doi = {10.1115/fuelcell2005-74116}, year = {2008}, } @inproceedings{753, abstract = {This paper addresses the following question: what is the minimum-sized synchronous window needed to solve consensus in an otherwise asynchronous system? In answer to this question, we present the first optimally-resilient algorithm ASAP that solves consensus as soon as possible in an eventually synchronous system, i.e., a system that from some time GST onwards, delivers messages in a timely fashion. ASAP guarantees that, in an execution with at most f failures, every process decides no later than round GST + f + 2, which is optimal.}, author = {Alistarh, Dan-Adrian and Gilbert, Seth and Guerraoui, Rachid and Travers, Corentin}, pages = {32 -- 46}, publisher = {Springer}, title = {{How to solve consensus in the smallest window of synchrony}}, doi = {10.1007/978-3-540-87779-0_3}, volume = {5218 LNCS}, year = {2008}, } @article{22049, abstract = {We consider the minimal mass m0 required for solutions to the mass-critical nonlinear Schrödinger (NLS) equation iut + Δu = μ|u|^4/d u to blow up. If m0 is finite, we show that there exists a minimal-mass solution blowing up (in the sense of an infinite spacetime norm) in both time directions, whose orbit in is compact after quotienting out by the symmetries of the equation. A similar result is obtained for spherically symmetric solutions. Similar results were previously obtained by Keraani, [Keraani S.: On the blow-up phenomenon of the critical nonlinear Schrödinger equation. J. Funct. Anal. 235 (2006), 171–192], in dimensions 1, 2 and Begout and Vargas, [Begout P., Vargas A.: Mass concentration phenomena for the L2-critical nonlinear Schrödinger equation, preprint], in dimensions d ≥ 3 for the mass-critical NLS and by Kenig and Merle, [Kenig C., Merle F.: Global well-posedness, scattering, and blowup for the energy-critical, focusing, non-linear Schrödinger equation in the radial case, preprint], in the energy-critical case. In a subsequent paper we shall use this compactness result to establish global existence and scattering in for the defocusing NLS in three and higher dimensions with spherically symmetric data.}, author = {Tao, Terence and Visan, Monica and Zhang, Xiaoyi}, issn = {1435-5337}, journal = {Forum Mathematicum}, number = {5}, pages = {881--919}, publisher = {De Gruyter}, title = {{Minimal-mass blowup solutions of the mass-critical NLS}}, doi = {10.1515/forum.2008.042}, volume = {20}, year = {2008}, } @article{22081, abstract = {We consider the Cauchy problem for a family of semilinear defocusing Schrödinger equations with monomial nonlinearities in one space dimension. We establish global well-posedness and scattering. Our analysis is based on a four-particle interaction Morawetz estimate giving a priori $L_{t,x}^8$ spacetime control on solutions.}, author = {Colliander, J. and Holmer, Justin and Visan, Monica and Zhang, Xiaoyi}, issn = {1553-5258}, journal = {Communications on Pure and Applied Analysis}, number = {3}, pages = {467--489}, publisher = {American Institute of Mathematical Sciences}, title = {{Global existence and scattering for rough solutions to generalized nonlinear Schrödinger equations on $R$}}, doi = {10.3934/cpaa.2008.7.467}, volume = {7}, year = {2008}, } @article{22082, abstract = {We establish global well-posedness and scattering for solutions to the mass-critical nonlinear Schrödinger equation (mathematical formular) for large spherically symmetric L2/x(R^d) initial data in dimensions d >= 3. In the focusing case we require that the mass is strictly less than that of the ground state. As a consequence, we obtain that in the focusing case, any spherically symmetric blowup solution must concentrate at least the mass of the ground state at the blowup time.}, author = {Killip, Rowan and Visan, Monica and Zhang, Xiaoyi}, issn = {1948-206X}, journal = {Analysis & PDE}, number = {2}, pages = {229--266}, publisher = {Mathematical Sciences Publishers}, title = {{The mass-critical nonlinear Schrödinger equation with radial data in dimensions three and higher}}, doi = {10.2140/apde.2008.1.229}, volume = {1}, year = {2008}, } @inproceedings{3504, abstract = {Simulation and bisimulation metrics for stochastic systems provide a quantitative gen- eralization of the classical simulation and bisimulation relations. These metrics capture the similarity of states with respect to quantitative specifications written in the quantitative μ-calculus and related probabilistic logics. We present algorithms for computing the metrics on Markov decision processes (MDPs), turn- based stochastic games, and concurrent games. For turn-based games and MDPs, we provide a polynomial-time algorithm based on linear programming for the computation of the one-step metric distance between states. The algorithm improves on the previously known exponential-time algo- rithm based on a reduction to the theory of reals. We then present PSPACE algorithms for both the decision problem and the problem of approximating the metric distance between two states, matching the best known bound for Markov chains. For the bisimulation kernel of the metric, which corresponds to probabilistic bisimulation, our algorithm works in time O(n4) for both turn-based games and MDPs; improving the previously best known O(n9 · log(n)) time algorithm for MDPs. For a concurrent game G, we show that computing the exact distance between states is at least as hard as computing the value of concurrent reachability games and the square-root-sum problem in computational geometry. We show that checking whether the metric distance is bounded by a rational r, can be accomplished via a reduction to the theory of real closed fields, involving a formula with three quantifier alternations, yielding O(|G|O(|G|5)) time complexity, improving the previously known reduction with O(|G|O(|G|7)) time complexity. These algorithms can be iterated to approximate the metrics using binary search.}, author = {Chatterjee, Krishnendu and De Alfaro, Luca and Majumdar, Ritankar and Raman, Vishwanath}, pages = {107 -- 118}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, title = {{Algorithms for game metrics}}, doi = {10.4230/LIPIcs.FSTTCS.2008.1745}, volume = {2}, year = {2008}, } @inproceedings{3876, abstract = {We consider two-player games played in real time on game structures with clocks and parity objectives. The games are concurrent in that at each turn, both players independently propose a time delay and an action, and the action with the shorter delay is chosen. To prevent a player from winning by blocking time, we restrict each player to strategies that ensure that the player cannot be responsible for causing a zeno run. First, we present an efficient reduction of these games to turn-based (i.e., nonconcurrent) finite-state (i.e., untimed) parity games. The states of the resulting game are pairs of clock regions of the original game. Our reduction improves the best known complexity for solving timed parity games. Moreover, the rich class of algorithms for classical parity games can now be applied to timed parity games. Second, we consider two restricted classes of strategies for the player that represents the controller in a real-time synthesis problem, namely, limit-robust and bounded-robust strategies. Using a limit-robust strategy, the controller cannot choose an exact real-valued time delay but must allow for some nonzero jitter in each of its actions. If there is a given lower bound on the jitter, then the strategy is bounded-robust. We show that exact strategies are more powerful than limit-robust strategies, which are more powerful than bounded-robust strategies for any bound. For both kinds of robust strategies, we present efficient reductions to standard timed automaton games. These reductions provide algorithms for the synthesis of robust real-time controllers.}, author = {Chatterjee, Krishnendu and Henzinger, Thomas A and Prabhu, Vinayak}, booktitle = {Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems}, isbn = {9783540857778}, issn = {1611-3349}, location = {Saint Malo, France}, pages = {124 -- 140}, publisher = {Springer Nature}, title = {{Timed parity games: complexity and robustness}}, doi = {10.1007/978-3-540-85778-5_10}, volume = {5215}, year = {2008}, }