Compact Labelings For Efficient First-Order Model-Checking

We consider graph properties that can be checked from labels, i.e., bit sequences, of logarithmic length attached to vertices. We prove that there exists such a labeling for checking a first-order formula with free set variables in the graphs of every class that is \emph{nicely locally cwd-decomposable}. This notion generalizes that of a \emph{nicely locally tree-decomposable} class. The graphs of such classes can be covered by graphs of bounded \emph{clique-width} with limited overlaps. We also consider such labelings for \emph{bounded} first-order formulas on graph classes of \emph{bounded expansion}. Some of these results are extended to counting queries

On the Monadic Second-Order Transduction Hierarchy

We compare classes of finite relational structures via monadic second-order transductions. More precisely, we study the preorder where we set C \subseteq K if, and only if, there exists a transduction {\tau} such that C\subseteq{\tau}(K). If we only consider classes of incidence structures we can completely describe the resulting hierarchy. It is linear of order type {\omega}+3. Each level can be characterised in terms of a suitable variant of tree-width. Canonical representatives of the various levels are: the class of all trees of height n, for each n \in N, of all paths, of all trees, and of all grids

Models and metaphors: complexity theory and through-life management in the built environment

Complexity thinking may have both modelling and metaphorical applications in the through-life management of the built environment. These two distinct approaches are examined and compared. In the first instance, some of the sources of complexity in the design, construction and maintenance of the built environment are identified. The metaphorical use of complexity in management thinking and its application in the built environment are briefly examined. This is followed by an exploration of modelling techniques relevant to built environment concerns. Non-linear and complex mathematical techniques such as fuzzy logic, cellular automata and attractors, may be applicable to their analysis. Existing software tools are identified and examples of successful built environment applications of complexity modelling are given. Some issues that arise include the definition of phenomena in a mathematically usable way, the functionality of available software and the possibility of going beyond representational modelling. Further questions arising from the application of complexity thinking are discussed, including the possibilities for confusion that arise from the use of metaphor. The metaphor of a 'commentary machine' is suggested as a possible way forward and it is suggested that an appropriate linguistic analysis can in certain situations reduce perceived complexity

NMDA Receptor Activation and Calpain Contribute to Disruption of Dendritic Spines by the Stress Neuropeptide CRH

The complex effects of stress on learning and memory are mediated, in part, by stress-induced changes in the composition and structure of excitatory synapses. In the hippocampus, the effects of stress involve several factors including glucocorticoids and the stress-released neuropeptide corticotropin-releasing hormone (CRH), which influence the integrity of dendritic spines and the structure and function of the excitatory synapses they carry. CRH, at nanomolar, presumed-stress levels, rapidly abolishes short-term synaptic plasticity and destroys dendritic spines, yet the mechanisms for these effects are not fully understood. Here we tested the hypothesis that glutamate receptor-mediated processes, which shape synaptic structure and function, are engaged by CRH and contribute to spine destabilization. In cultured rat hippocampal neurons, CRH application reduced dendritic spine density in a time- and dose-dependent manner, and this action depended on the CRH receptor type 1. CRH-mediated spine loss required network activity and the activation of NMDA, but not of AMPA receptors; indeed GluR1-containing dendritic spines were resistant to CRH. Downstream of NMDA receptors, the calcium-dependent enzyme, calpain, was recruited, resulting in the breakdown of spine actin-interacting proteins including spectrin. Pharmacological approaches demonstrated that calpain recruitment contributed critically to CRH-induced spine loss. In conclusion, the stress hormone CRH co-opts mechanisms that contribute to the plasticity and integrity of excitatory synapses, leading to selective loss of dendritic spines. This spine loss might function as an adaptive mechanism preventing the consequences of adverse memories associated with severe stress

The Grizzly, March 25, 1983

New Editors Elected: Romer, Hong, Pasekoff Named • Superstars Tournament Needs Participants • DuPont Gives Third Consecutive Chemistry Grant • The A\u27s Come to UC • Third Annual Special Olympics This Weekend • Summer in Japan • Folk Singers at Bomberger • Letters to the Editor: An Epilogue to Zeta Chi • USGA Holds Election • USGA Notes • Voight at Bat • 13 Spend Break in Quebec • To Hell With the USFL • College Bowl Goes to Maryland • 1983 Room Selection Procedure • Bear\u27s Den Replaces Cafe International • Cycling Marathon: Ride for Your Life • Men\u27s Lacrosse Slow Getting Started • Men\u27s and Women\u27s Track Win Openershttps://digitalcommons.ursinus.edu/grizzlynews/1097/thumbnail.jp

The Lantern Vol. 49, No. 2, Spring 1983

• Time • The Lantern, 1933-1983 • The Battle • Lady Number 9 • That First Night • Wavering • If I Dared • The Hack • The Beauty of a Rose • H2O • The Island • Library • Unicorns • Prisoner of Myrin • How The Universe Was Won • On Success • I, The Poethttps://digitalcommons.ursinus.edu/lantern/1122/thumbnail.jp

LTP Induction Translocates Cortactin at Distant Synapses in Wild-Type But Not Fmr1 Knock-Out Mice

Stabilization of long-term potentiation (LTP) depends on reorganization of the dendritic spine actin cytoskeleton. The present study tested whether this involves activity-driven effects on the actin-regulatory protein cortactin, and whether such effects are disturbed in the Fmr1 knock-out (KO) model of fragile X syndrome, in which stabilization of both actin filaments and LTP is impaired. LTP induced by theta burst stimulation (TBS) in hippocampal slices from wild-type mice was associated with rapid, broadly distributed, and NMDA receptor-dependent decreases in synapse-associated cortactin. The reduction in cortactin content was blocked by blebbistatin, while basal levels were reduced by nocodazole, indicating that cortactin's movements into and away from synapses are regulated by microtubule and actomyosin motors, respectively. These results further suggest that synapse-specific LTP influences cytoskeletal elements at distant connections. The rapid effects of TBS on synaptic cortactin content were absent in Fmr1 KOs as was evidence for activity-driven phosphorylation of the protein or its upstream kinase, ERK1/2. Phosphorylation regulates cortactin's interactions with actin, and coprecipitation of the two proteins was reduced in the KOs. We propose that, in the KOs, excessive basal phosphorylation of ERK1/2 disrupts its interactions with cortactin, thereby blocking the latter protein's use of actomyosin transport systems. These impairments are predicted to compromise the response of the subsynaptic cytoskeleton to learning-related afferent activity, both locally and at distant sites

The Lantern Vol. 51, No. 1, Fall 1984

• Sky Eyes • Flowerwait • Haiku • Sunwatch • Epitaph of A Tale • How Do You Tell A Child • Vineyard Wind • By The Sea • The Wanderer • In Back of the Real Supermarket in Collegeville • Mitosis • Smoke Dreams • On Humankind Today - A Message • Dragon • The Lull • Finale • The Sun • Three Steps in Life • Seaside • To Mark • To Father • Yesterday - Today • The Stars • The Journey • Our Shared Experience, Miles Away • Coming Home • Blossom • Life is the Teacher • Midnight Stroll in February • Eyes (Karen\u27s Poem) • Your Love • Same Welcome as Odysseus • Europa • Sinn Fein • Idle Dreams • I Can Take A Hint • In Retrospect • Rest • China and Porcelain are One in the Same • Momenthttps://digitalcommons.ursinus.edu/lantern/1125/thumbnail.jp

The Grizzly, March 7, 1986

Meyer to Undergo Surgery • Teachers Always Looking to the Future: NASA Finalists Speak to Some U.C. Students • Garbage: It\u27s Expensive Stuff • Letters: CAB Responds to Only at Ursinus Comments; Student Offended by Walkman Listener at Haydn Concert • Bomberger Concerts Deserve Crowd, Too • Tie for First in Air Band • How to get that \u27A\u27 • It\u27s All in Good Fun Guys • What are You Doing Next Week? • Nuclear War as a Just War • Women\u27s Studies Offered in Fall • Mer Chicks a Success at MAC\u27s • U.C. Boys Bearing Down • Women\u27s Lacrosse Preview • Coach Brown Named Ass\u27t Athletic Director • Townshend Strikes Gold With White City LP • Tolkien Collection On Display in Myrin • Faculty Views of Pledginghttps://digitalcommons.ursinus.edu/grizzlynews/1160/thumbnail.jp

The Lantern Vol. 50, No. 1, Fall 1983

• Reaching for My Dream • All Hail • Appreciation • Egotism • Me (Dedicated to...) • Butterfly • Balloon and Bird • Never Again • Mother • The Deaf Ears • Healing • Distress • Silent Death • Whose Reality Is It Anyway? • To Helen • Luna Llena y Soledad • Saved • Jenny • Slope • A Poem in C Minor • A Birth of Proficiency • The Traveling Man • Competing With the Sea • To R. • The Child • And Besides • An Actress\u27 Demise • A Loving Tribute to Francis • Rapunzel • Memorieshttps://digitalcommons.ursinus.edu/lantern/1123/thumbnail.jp