TY - JOUR
AB - Recent studies show that signaling through integrin receptors is required for normal cell movements during Xenopus gastrulation. Integrins function in this process by modulating the activity of cadherin adhesion molecules within tissues undergoing convergence and extension movements.
AU - Montero, Juan
AU - Heisenberg, Carl-Philipp J
ID - 4168
IS - 2
JF - Developmental Cell
TI - Adhesive crosstalk in gastrulation
VL - 5
ER -
TY - JOUR
AB - Wnt genes play important roles in regulating patterning and morphogenesis during vertebrate gastrulation. In zebrafish, slb/wnt11 is required for convergence and extension movements, but not cell fate specification during gastrulation. To determine if other Wnt genes functionally interact with slb/wnt11, we analysed the role of ppt/wnt5 during zebrafish gastrulation. ppt/wnt5 is maternally provided and zygotically expressed at all stages during gastrulation. The analysis of ppt mutant embryos reveals that Ppt/Wnt5 regulates cell elongation and convergent extension movements in posterior regions of the gastrula, while its function in more anterior regions is largely redundant to that of Slb/Wnt11. Frizzled-2 functions downstream of ppt/wnt5, indicating that it might act as a receptor for Ppt/Wnt5 in this process. The characterisation of the role of Ppt/Wnt5 provides insight into the functional diversity of Wnt genes in regulating vertebrate gastrulation movements. (C) 2003 Elsevier Science Ireland Ltd. All rights reserved.
AU - Kilian, Beate
AU - Mansukoski, Hannu
AU - Barbosa, Filipa
AU - Ulrich, Florian
AU - Tada, Masazumi
AU - Heisenberg, Carl-Philipp J
ID - 4185
IS - 4
JF - Mechanisms of Development
TI - The role of Ppt/Wnt5 in regulating cell shape and movement during zebrafish gastrulation
VL - 120
ER -
TY - JOUR
AU - González, J.
AU - de Vladar, Harold
AU - Rebolledo, Morella
ID - 4240
JF - Acta Científica Venezolana
TI - New Late–Intensification Schedules for Cancer Treatments
VL - 54
ER -
TY - THES
AB - Methods for the formal specification and verification of systems are indispensible for the development of complex yet correct systems. In formal verification, the designer describes the system in a modeling language with a well-defined semantics, and this system description is analyzed against a set of correctness requirements. Model checking is an algorithmic technique to check that a system description indeed satisfies correctness requirements given as logical specifications. While successful in hardware verification, the potential for model checking for software and embedded systems has not yet been realized. This is because traditional model checking focuses on systems modeled as finite state-transition graphs. While a natural model for hardware (especially synchronous hardware), state-transition graphs often do not capture software and embedded systems at an appropriate level of granularity. This dissertation considers two orthogonal extensions to finite state-transition graphs making model checking techniques applicable to both a wider class of systems and a wider class of properties.
The first direction is an extension to infinite-state structures finitely represented using constraints and operations on constraints. Infinite state arises when we wish to model variables with unbounded range (e.g., integers), or data structures, or real time. We provide a uniform framework of symbolic region algebras to study model checking of infinite-state systems. We also provide sufficient language-independent termination conditions for symbolic model checking algorithms on infinite state systems.
The second direction supplements verification with game theoretic reasoning. Games are natural models for interactions between components. We study game theoretic behavior with winning conditions given by temporal logic objectives both in the deterministic and in the probabilistic context. For deterministic games, we provide an extremal model characterization of fixpoint algorithms that link solutions of verification problems to solutions for games. For probabilistic games we study fixpoint characterization of winning probabilities for games with omega-regular winning objectives, and construct (epsilon-)optimal winning strategies.
AU - Majumdar, Ritankar
ID - 4416
TI - Symbolic algorithms for verification and control
ER -
TY - THES
AB - Giotto provides a time-triggered programmer’s model for the implementation of embedded control systems with hard real-time constraints. Giotto’s precise semantics and predictabil- ity make it suitable for safety-critical applications.
Giotto is based around the idea that time-triggered task invocation together with time-triggered mode switching can form a useful programming model for real-time systems. To substantiate this claim, we describe the use of Giotto to refactor the software of a small, autonomous helicopter. The ease with which Giotto expresses the existing software provides evidence that Giotto is an appropriate programming language for control systems.
Since Giotto is a real-time programming language, ensuring that Giotto programs meet their deadlines is crucial. To study precedence-constrained Giotto scheduling, we first examine single-mode, single-processor scheduling. We extend to an infinite, periodic setting the classical problem of meeting deadlines for a set of tasks with release times, deadlines, precedence constraints, and preemption. We then develop an algorithm for scheduling Giotto programs on a single processor by representing Giotto programs as instances of the extended scheduling problem.
Next, we study multi-mode, single-processor Giotto scheduling. This problem is different from classical scheduling problems, since in our precedence-constrained approach, the deadlines of tasks may vary depending on the mode switching behavior of the program. We present conditional scheduling models which capture this varying-deadline behavior. We develop polynomial-time algorithms for some conditional scheduling models, and prove oth- ers to be computationally hard. We show how to represent multi-mode Giotto programs as instances of the model, resulting in an algorithm for scheduling multi-mode Giotto programs on a single processor.
Finally, we show that the problem of scheduling Giotto programs for multiple net- worked processors is strongly NP-hard.
AU - Horowitz, Benjamin
ID - 4425
TI - Giotto: A time-triggered language for embedded programming
ER -
TY - JOUR
AU - Kaloshin, Vadim
ID - 8519
IS - 3
JF - Inventiones mathematicae
KW - General Mathematics
SN - 0020-9910
TI - The existential Hilbert 16-th problem and an estimate for cyclicity of elementary polycycles
VL - 151
ER -
TY - JOUR
AB - Let k⩾5 be an integer, and let x⩾1 be an arbitrary real number. We derive a bound[Formula presented] for the number of positive integers less than or equal to x which can be represented as a sum of two non-negative coprime kth powers, in essentially more than one way.
AU - Timothy Browning
ID - 204
IS - 2
JF - Journal of Number Theory
TI - Equal Sums of Two kth Powers
VL - 96
ER -
TY - CHAP
AU - Lieb, Élliott H
AU - Solovej, Jan P
AU - Robert Seiringer
AU - Yngvason, Jakob
ID - 2338
T2 - Current Developments in Mathematics, 2001
TI - The ground state of the Bose gas
ER -
TY - CONF
AU - Robert Seiringer
ED - Weder, Richardo
ED - Exner, Pavel
ED - Grébert, Benoit
ID - 2339
TI - Symmetry breaking in a model of a rotating Bose gas
VL - 307
ER -
TY - JOUR
AB - The Bose-Einstein condensation (BEC) of the ground state of bosonic atoms in a trap was discussed. The BEC was proved for bosons with two-body repulsive interaction potentials in the dilute limit, starting from the basic Schrodinger equation. The BEC was 100% into the state which minimized the Gross-Pitaevskii energy functional. The analysis also included rigorous proof of BEC in a physically realistic, continuum model.
AU - Lieb, Élliott H
AU - Robert Seiringer
ID - 2349
IS - 17
JF - Physical Review Letters
TI - Proof of Bose-Einstein condensation for dilute trapped gases
VL - 88
ER -
TY - JOUR
AB - Using the Pauli-Fierz model of non-relativistic quantum electrodynamics, we calculate the binding energy of an electron in the field of a nucleus of charge Z and in presence of the quantized radiation field. We consider the case of small coupling constant α, but fixed Zα and ultraviolet cut-off Λ. We prove that after renormalizing the mass the binding energy has, to leading order in α, a finite limit as Λ goes to infinity; i.e., the cut-off can be removed. The expression for the ground state energy shift thus obtained agrees with Bethe's formula for small values of Zα, but shows a different behavior for bigger values.
AU - Hainzl, Christian
AU - Robert Seiringer
ID - 2350
IS - 5
JF - Advances in Theoretical and Mathematical Physics
TI - Mass renormalization and energy level shift in non-relativistic QED
VL - 6
ER -
TY - JOUR
AB - We study the Gross-Pitaevskii functional for a rotating two-dimensional Bose gas in a trap. We prove that there is a breaking of the rotational symmetry in the ground state; more precisely, for any value of the angular velocity and for large enough values of the interaction strength, the ground state of the functional is not an eigenfunction of the angular momentum. This has interesting consequences on the Bose gas with spin; in particular, the ground state energy depends non-trivially on the number of spin components, and the different components do not have the same wave function. For the special case of a harmonic trap potential, we give explicit upper and lower bounds on the critical coupling constant for symmetry breaking.
AU - Robert Seiringer
ID - 2351
IS - 3
JF - Communications in Mathematical Physics
TI - Gross-Pitaevskii theory of the rotating Bose gas
VL - 229
ER -
TY - JOUR
AB - We present a generalization of the Fefferman-de la Llave decomposition of the Coulomb potential to quite arbitrary radial functions V on ℝn going to zero at infinity. This generalized decomposition can be used to extend previous results on N-body quantum systems with Coulomb interaction to a more general class of interactions. As an example of such an application, we derive the high density asymptotics of the ground state energy of jellium with Yukawa interaction in the thermodynamic limit, using a correlation estimate by Graf and Solovej.
AU - Hainzl, Christian
AU - Robert Seiringer
ID - 2352
IS - 1
JF - Letters in Mathematical Physics
TI - General decomposition of radial functions on ℝn and applications to N-body quantum systems
VL - 61
ER -
TY - JOUR
AB - A commonly used theoretical definition of superfluidity in the ground state of a Bose gas is based on the response of the system to an imposed velocity field or, equivalently, to twisted boundary conditions in a box. We are able to carry out this program in the case of a dilute interacting Bose gas in a trap, and we prove that a gas with repulsive interactions is 100% superfluid in the dilute limit in which the Gross-Pitaevskii equation is exact. This is the first example in an experimentally realistic continuum model in which superfluidity is rigorously verified.
AU - Lieb, Élliott H
AU - Robert Seiringer
AU - Yngvason, Jakob
ID - 2353
IS - 13
JF - Physical Review B - Condensed Matter and Materials Physics
TI - Superfluidity in dilute trapped Bose gases
VL - 66
ER -
TY - JOUR
AB - A corner cut in dimension d is a finite subset of N0d that can be separated from its complement in N0d by an affine hyperplane disjoint from N0d. Corner cuts were first investigated by Onn and Sturmfels [Adv. Appl. Math. 23 (1999) 29-48], their original motivation stemmed from computational commutative algebra. Let us write (Nd0k)cut for the set of corner cuts of cardinality k; in the computational geometer's terminology, these are the k-sets of N0d. Among other things, Onn and Sturmfels give an upper bound of O(k2d(d-1)/(d+1)) for the size of (Nd0k)cut when the dimension is fixed. In two dimensions, it is known (see [Corteel et al., Adv. Appl. Math. 23 (1) (1999) 49-53]) that #(Nd0k)cut = Θ(k log k). We will see that in general, for any fixed dimension d, the order of magnitude of #(Nd0k)cut is between kd-1 log k and (k log k)d-1. (It has been communicated to me that the same bounds have been found independently by G. Rémond.) In fact, the elements of (Nd0k)cut correspond to the vertices of a certain polytope, and what our proof shows is that the above upper bound holds for the total number of flags of that polytope.
AU - Uli Wagner
ID - 2420
IS - 2
JF - Advances in Applied Mathematics
TI - On the number of corner cuts
VL - 29
ER -
TY - CONF
AB - Intersection graphs of disks and of line segments, respectively, have been well studied, because of both, practical applications and theoretically interesting properties of these graphs. Despite partial results, the complexity status of the Clique problem for these two graph classes is still open. Here, we consider the Clique problem for intersection graphs of ellipses which in a sense, interpolate between disc and ellipses, and show that it is APX-hard in that case. Moreover, this holds even if for all ellipses, the ratio of the larger over the smaller radius is some prescribed number. To our knowledge, this is the first hardness result for the Clique problem in intersection graphs of objects with finite description complexity. We also describe a simple approximation algorithm for the case of ellipses for which the ratio of radii is bounded.
AU - Ambühl, Christoph
AU - Uli Wagner
ID - 2421
TI - On the Clique problem in intersection graphs of ellipses
VL - 2518
ER -
TY - JOUR
AB - In this investigation, we report identification and characterization of a 95 kDa postsynaptic density protein (PSD-95)/discs-large/ ZO-1 (PDZ) domain-containing protein termed tamalin, also recently named GRP1-associated scaffold protein (GRASP), that interacts with group 1 metabotropic glutamate receptors (mGluRs). The yeast two-hybrid system and in vitro pull-down assays indicated that the PDZ domain-containing, amino-terminal half of tamalin directly binds to the class I PDZ-binding motif of group 1 mGluRs. The C-terminal half of tamalin also bound to cytohesins, the members of guanine nucleotide exchange factors (GEFs) specific for the ADP-ribosylation factor (ARF) family of small GTP-binding proteins. Tamalin mRNA is expressed predominantly in the telencephalic region and highly overlaps with the expression of group 1 mGluR mRNAs. Both tamalin and cytohesin-2 were enriched and codistributed with mGluR1a in postsynaptic membrane fractions. Importantly, recombinant and native mGluR1a/tamalin/cytohesin-2 complexes were coimmunoprecipitated from transfected COS-7 cells and rat brain tissue, respectively. Transfection of tamalin and mutant tamalin lacking a cytohesin-binding domain caused an increase and decrease in cell-surface expression of mGluR1a in COS-7 cells, respectively. Furthermore, adenovirus-mediated expression of tamalin and dominant-negative tamalin facilitated and reduced the neuritic distribution of endogenous mGluR5 in cultured hippocampal neurons, respectively. The results indicate that tamalin plays a key role in the association of group 1 mGluRs with the ARF-specific GEF proteins and contributes to intracellular trafficking and the macromolecular organization of group 1 mGluRs at synapses.
AU - Kitano, Jun
AU - Kimura, Kouji
AU - Yamazaki, Yoshimitsu
AU - Soda, Takeshi
AU - Ryuichi Shigemoto
AU - Nakajima, Yoshiaki
AU - Nakanishi, Shigetada
ID - 2613
IS - 4
JF - Journal of Neuroscience
TI - Tamalin, a PDZ domain-containing protein, links a protein complex formation of group 1 metabotropic glutamate receptors and the guanine nucleotide exchange factor cytohesins
VL - 22
ER -
TY - JOUR
AB - Metabotropic glutamate receptors (mGluRs) from group III reduce glutamate release. Because these receptors reduce cAMP levels, we explored whether this signaling pathway contributes to release inhibition caused by mGluRs with low affinity for L-2-amino-4-phosphonobutyrate (L-AP4). In biochemical experiments with the population of cerebrocortical nerve terminals we find that L-AP4 (1 mM) inhibited the Ca2+dependent-evoked release of glutamate by 25%. This inhibitory effect was largely prevented by the pertussis toxin but was insensitive to inhibitors of protein kinase C bisindolylmaleimide and protein kinase A H-89. Furthermore, this inhibition was associated with reduction in N-type Ca2+ channel activity in the absence of any detectable change in cAMP levels. In the presence of forskolin, however, L-AP4 decreased the levels of cAMP. The activation of this additional signaling pathway was very efficient in counteracting the facilitation of glutamate release induced either by forskolin or the β-adrenergic receptor agonist isoproterenol. Imaging experiments to measure Ca2+ dynamics in single nerve terminals showed that L-AP4 strongly reduced the Ca2+ response in 28% of the nerve terminals. Moreover, immunochemical experiments showed that 25-35% of the nerve terminals that were immunopositive to synaptophysin were also immunoreactive to the low affinity L-AP4-sensitive mGluR7. Then, mGluR7 mediates the inhibition of glutamate release caused by 1 mM L-AP4, primarily by a strong inhibition of Ca2+ channels, although high cAMP uncovers the receptor ability to decrease cAMP.
AU - Millán, Carmelo
AU - Luján, Rafael
AU - Ryuichi Shigemoto
AU - Sánchez-Prieto, José
ID - 2614
IS - 16
JF - Journal of Biological Chemistry
TI - The inhibition of glutamate release by metabotropic glutamate receptor 7 affects both [Ca2+]c and cAMP. Evidence for a strong reduction of Ca2+ entry in single nerve terminals
VL - 277
ER -
TY - JOUR
AB - Taste-mGluR4, cloned from taste tissues, is a truncated variant of brain-expressed mGluR4a (brain-mGluR4), and is known to be a candidate for the receptor involved in the umami taste sense. Although the expression patterns of taste- and brain-mGluR4 mRNAs have been demonstrated, no mention has so far been made of the expression of these two mGluR4 proteins in taste tissues. The present study examined the expression of taste-mGluR4 and brain-mGluR4 proteins in rat taste tissues by using a specific antibody for mGluR4a which shared a C-terminus of both taste- and brain-mGluR4, for immunoblot analysis and immunohistochemistry. Immunoblot analysis showed that both brain-mGluR4 and taste-mGluR4 were expressed in the taste tissues. Taste-mGluR4 was not detected in the cerebellum. The immunoreactive band for brain-mGluR4 protein was much stronger than that for taste-mGluR4 protein. In the cryosections of fungiform, foliate and circumvallate papillae, the antibody against taste-mGluR4 exhibited intense labeling of the taste pores and taste hairs in all the taste buds of gustatory papillae examined; the immunoreaction to the antibody against brain-mGluR4 was more intense at the same sites of the taste buds. The portions of the taste bud cells below the taste pore and surrounding keratinocytes did not show any immunoreactivities. The results of the present study strongly suggest that, in addition to taste-mGluR4, brain-mGluR4 may function even more importantly than the former as a receptor for glutamate, i.e. the umami taste sensation.
AU - Toyono, Takashi
AU - Seta, Yuji
AU - Sataoka, Shinji
AU - Harumi Harada
AU - Morotomi, Takahiko
AU - Kawano, Shintaro
AU - Ryuichi Shigemoto
AU - Toyoshima, Kuniaki
ID - 2615
IS - 1
JF - Archives of Histology and Cytology
TI - Expression of the metabotropic glutamate receptor, mGluR4a, in the taste hairs of taste buds in rat gustatory papillae
VL - 65
ER -
TY - JOUR
AB - Neurons in the rat cerebral cortex are enriched in group I metabotropic glutamate receptor (mGluR) subtypes and respond to their activation during development. To understand better the mechanisms by which mGluR1 and mGluR5 mediate these effects, the goal of this study was to elucidate the expression pattern and to determine the cellular and the precise subcellular localization of these two receptor subtypes in the rat neocortex and hippocampus during late prenatal and postnatal development. At the light microscopic level, mGluR1 α and mGluR5 were first detected in the cerebral cortex with different expression levels at embryonic day E18. Thus, mGluR5 had a moderate expression, whereas mGluR1 α was detected as a diffuse and weak labeling. mGluR5 was localized in some Cajal-Retzius cells as well as in other cell types, such as pioneer neurons of the marginal zone. During postnatal development, the distribution of the receptors dramatically changed. From P0 to around P10, mGluR1α was localized in identified, transient Cajal-Retzius cells of neocortex and hippocampus, until these cells disappear. In addition, a population of interneurons localized the receptor from the second/third postnatal week. In contrast, mGluR5 was localized mainly in pyramidal cells and in some interneurons, with a neuropilar staining throughout the cerebral cortex. At the electron microscopic level, the immunoreactivity for both group I mGluR subtypes was expressed postsynaptically. Using immunogold methods, mGluR1α and mGluR5 immunoreactivities were found throughout postnatal development at the edge of postsynaptic specialization of asymmetrical synapses. These results show that the two group I mGluRs have a differential expression pattern in neocortex and hippocampus that may suggest roles for the receptors in the early processing of cortical information and in the control of cortical developmental events.
AU - López-Bendito, Guillermina
AU - Ryuichi Shigemoto
AU - Fairén, Alfonso
AU - Luján, Rafael
ID - 2616
IS - 6
JF - Cerebral Cortex
TI - Differential distribution of group I metabotropic glutamate receptors during rat cortical development
VL - 12
ER -