Preparation of urban land use inventories by machine processing of ERTS MSS data

Spectral classes of urban phenomena identified from Earth Resources Technology Satellite (ERTS) multispectral scanner data in Milwaukee included suburban inner city, industry, grassy (open area), road, wooded suburb, water cloud, and shadow. The Milwaukee spectral class statistics were used to classify the Chicago area, within the same ERTS frame, and similar results were achieved. In another ERTS frame, Marion County (Indianapolis) data were classified into similar classes. The Marion County ERTS study was supported by a land use classification of an area near downtown Indianapolis that utilized 12-band MSS data collected by aircraft from 3000 feet. The results of the ERTS analyses suggest that satellite data will be a useful tool for the urban planner for monitoring urban land use

Upward synaptic scaling is dependent on neurotransmission rather than spiking

Homeostatic plasticity encompasses a set of mechanisms that are thought to stabilize firing rates in neural circuits. The most widely studied form of homeostatic plasticity is upward synaptic scaling (upscaling), characterized by a multiplicative increase in the strength of excitatory synaptic inputs to a neuron as a compensatory response to chronic reductions in firing rate. While reduced spiking is thought to trigger upscaling, an alternative possibility is that reduced glutamatergic transmission generates this plasticity directly. However, spiking and neurotransmission are tightly coupled, so it has been difficult to determine their independent roles in the scaling process. Here we combined chronic multielectrode recording, closed-loop optogenetic stimulation, and pharmacology to show that reduced glutamatergic transmission directly triggers cell-wide synaptic upscaling. This work highlights the importance of synaptic activity in initiating signalling cascades that mediate upscaling. Moreover, our findings challenge the prevailing view that upscaling functions to homeostatically stabilize firing rates.National Science Foundation (U.S.). Graduate Research Fellowship (09-603)National Science Foundation (U.S.). Graduate Research Fellowship (08-593)National Science Foundation (U.S.). Integrative Graduate Education and Research Traineeship (Fellowship DGE-0333411)Emory University (NI SPINR Fellowship

On the NP-Hardness of Approximating Ordering Constraint Satisfaction Problems

We show improved NP-hardness of approximating Ordering Constraint Satisfaction Problems (OCSPs). For the two most well-studied OCSPs, Maximum Acyclic Subgraph and Maximum Betweenness, we prove inapproximability of $14/15+\epsilon$ and $1/2+\epsilon$. An OCSP is said to be approximation resistant if it is hard to approximate better than taking a uniformly random ordering. We prove that the Maximum Non-Betweenness Problem is approximation resistant and that there are width-$m$ approximation-resistant OCSPs accepting only a fraction $1 / (m/2)!$ of assignments. These results provide the first examples of approximation-resistant OCSPs subject only to P $\neq$ \NP

The Ursinus Weekly, January 7, 1952

Students asked to submit roster choices • Twelve outstanding seniors elected as members of college Who\u27s Who • Schedule presented for Ruby pictures • Y news • Alpha Psi Omega greets new members • Music Club concert to be given Thursday • Trip canceled • Sigma Nu, Beta Sig entertain children • I. R. C. hears Rudloff; Ann Knauer to speak • Visual aid lecture listed for future teachers • Forum speaker lists topic for Wednesday night • Navy recruiter plans interviews for seniors • Editorials: There\u27s still time; New Year topic is war • Engagements • Idea for Student Union at Ursinus gets impetus • Delaware favored in court race • PMC downs Bears in league opener • Schedule announced for badminton season • Grapplers open campaign with win over Mules • Pharmacy hands Bears third loss, 70-53https://digitalcommons.ursinus.edu/weekly/1531/thumbnail.jp

A temporal and spatial study of invertebrate communities associated with hard-bottom habitats in the South Atlantic Bight

Species composition, biomass, density, and diversity of benthic invertebrates from six bard-bottom areas were evaluated. Seasonal collections using a dredge, trawl, and suction and grab samplers yielded 432, 525, and 845 taxa, respectively. Based on collections wltb the different gear types, species composition of invertebrates was found to change bathymetrically. Inner- and mlddle-shelf sites were more similar to each other in terms of invertebrate species composition than they were to outer-shelf sites, regardless of season. Sites on the inner and outer shelf were grouped according to latitude; however, results suggest that depth is apparently a more important determinant of invertebrate species composition than either season or latitude. Sponges generally dominated dredge and trawl collections in terms of biomass. Generally, cnidarians, bryozoans, and sponges dominated at sites In terms of number of taxa collected. The most abundant smaller macrofauna collected in suction and grab samples were polychaetes, amphipods, and mollusks. Densities of the numerically dominant species changed botb seasonally and bathymetrically, with very few of these species restricted to a specific bathymetrlc zone. The high diversity of invertebrates from hard-bottom sites is attributed to the large number of rare species. No consistent seasonal changes in diversity or number of species were noted for individual stations or depth zones. In addition, H and its components showed no definite patterns related to depth or latitude. However, more species were collected at middle-shelf sites than at inner- or outer-shelf sites, which may be related to more stable bottom temperature or greater habitat complexity in that area. (PDF file contains 110 pages.

Deaf, Dumb, and Chatting Robots, Enabling Distributed Computation and Fault-Tolerance Among Stigmergic Robot

We investigate ways for the exchange of information (explicit communication) among deaf and dumb mobile robots scattered in the plane. We introduce the use of movement-signals (analogously to flight signals and bees waggle) as a mean to transfer messages, enabling the use of distributed algorithms among the robots. We propose one-to-one deterministic movement protocols that implement explicit communication. We first present protocols for synchronous robots. We begin with a very simple coding protocol for two robots. Based on on this protocol, we provide one-to-one communication for any system of n \geq 2 robots equipped with observable IDs that agree on a common direction (sense of direction). We then propose two solutions enabling one-to-one communication among anonymous robots. Since the robots are devoid of observable IDs, both protocols build recognition mechanisms using the (weak) capabilities offered to the robots. The first protocol assumes that the robots agree on a common direction and a common handedness (chirality), while the second protocol assumes chirality only. Next, we show how the movements of robots can provide implicit acknowledgments in asynchronous systems. We use this result to design asynchronous one-to-one communication with two robots only. Finally, we combine this solution with the schemes developed in synchronous settings to fit the general case of asynchronous one-to-one communication among any number of robots. Our protocols enable the use of distributing algorithms based on message exchanges among swarms of Stigmergic robots. Furthermore, they provides robots equipped with means of communication to overcome faults of their communication device

CARET analysis of multithreaded programs

Dynamic Pushdown Networks (DPNs) are a natural model for multithreaded programs with (recursive) procedure calls and thread creation. On the other hand, CARET is a temporal logic that allows to write linear temporal formulas while taking into account the matching between calls and returns. We consider in this paper the model-checking problem of DPNs against CARET formulas. We show that this problem can be effectively solved by a reduction to the emptiness problem of B\"uchi Dynamic Pushdown Systems. We then show that CARET model checking is also decidable for DPNs communicating with locks. Our results can, in particular, be used for the detection of concurrent malware.Comment: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854

The Ursinus Weekly, April 14, 1952

MSGA plans for evaluation of professors • Alumni to hear Dr. Furbay speak • Language table meets • Sophs, freshmen draw up petitions; Deadline April 16 • Plans made to stop cheating • Library acquires new books • Operetta Sari scheduled for this weekend • Cultural Olympics rate play highly • French Club entertained • Jean Shepherd speaks at annual Weekly banquet: KYW disc jockey presents radio difficulties, problems • Heads named for YMCA • Late permissions discussed in WSGA meeting • Eight members to represent Pi Gamma Mu at Albright • IRC hears Ulbricht • German Club to hold hunt • Editorials: The passive student; Truman\u27s steel seizure wrong • Dean of Men leads busy life • Bruin team drops opener by last inning Ford rally • Ed Dawkins wins in Olympic tryout • Bob Swett elected captain • Former Ursinus star honored • Vermont\u27s new citizenshttps://digitalcommons.ursinus.edu/weekly/1540/thumbnail.jp

Inferring the effective thickness of polyelectrolytes from stretching measurements at various ionic strengths: applications to DNA and RNA

By resorting to the thick-chain model we discuss how the stretching response of a polymer is influenced by the self-avoidance entailed by its finite thickness. The characterization of the force versus extension curve for a thick chain is carried out through extensive stochastic simulations. The computational results are captured by an analytic expression that is used to fit experimental stretching measurements carried out on DNA and single-stranded RNA (poly-U) in various solutions. This strategy allows us to infer the apparent diameter of two biologically-relevant polyelectrolytes, namely DNA and poly-U, for different ionic strengths. Due to the very different degree of flexibility of the two molecules, the results provide insight into how the apparent diameter is influenced by the interplay between the (solution-dependent) Debye screening length and the polymers' ``bare'' thickness. For DNA, the electrostatic contribution to the effective radius, $\Delta$, is found to be about 5 times larger than the Debye screening length, consistently with previous theoretical predictions for highly-charged stiff rods. For the more flexible poly-U chains the electrostatic contribution to $\Delta$ is found to be significantly smaller than the Debye screening length.Comment: iopart, 14 pages, 13 figures, to appear in J. Phys.: Condens. Matte