Stochastic assembly of sublithographic nanoscale interfaces

We describe a technique for addressing individual nanoscale wires with microscale control wires without using lithographic-scale processing to define nanoscale dimensions. Such a scheme is necessary to exploit sublithographic nanoscale storage and computational devices. Our technique uses modulation doping to address individual nanowires and self-assembly to organize them into nanoscale-pitch decoder arrays. We show that if coded nanowires are chosen at random from a sufficiently large population, we can ensure that a large fraction of the selected nanowires have unique addresses. For example, we show that N lines can be uniquely addressed over 99% of the time using no more than /spl lceil/2.2log/sub 2/(N)/spl rceil/+11 address wires. We further show a hybrid decoder scheme that only needs to address N=O(W/sub litho-pitch//W/sub nano-pitch/) wires at a time through this stochastic scheme; as a result, the number of unique codes required for the nanowires does not grow with decoder size. We give an O(N/sup 2/) procedure to discover the addresses which are present. We also demonstrate schemes that tolerate the misalignment of nanowires which can occur during the self-assembly process

Cries of the world and joys of the heart: A primer for new counselors in community mental health clinics

Abstract I am neck-deep in the middle of my internship experience, working as a counselor in a community mental health clinic (CMHC). My internship instructor, when asked by a former professor, “What do you wish you had learned that you didn’t in this program?”, answered, “I wish I had known how hard it was going to be.” At first, I scoffed at my instructor’s response. I knew how hard this was going to be. Now, however, I find myself uttering these same words to those close to me. I have told friends that I feel like I was trained to be a small-scale community farmer and now work for Monsanto. Had I known what I know now, I am not sure I would have continued in graduate school. That is how neck-deep I feel. I am guessing that in this sentiment I am not unique. Even in the best of internship experiences, we have left the comfort and support of our cohort and are frequently out of touch with our most trusted mentors. Add this to the pressures of work in a clinic beholden to increasingly myopic regulation and designed to require you fit the round peg of your training into the square hole of its practice, and you have a recipe for despair. I would have loved to read the personal journal of someone else in a similar situation before embarking on this journey myself. In this text I provide an intimate portrait of my cries and joys as I work professionally as a counselor for the first time. I do this both for myself, as a much needed coping strategy, and in the hope that something I write better prepares you, the reader, perhaps another new counselor beginning their work in a CMHC

Formal methods for modeling and analysis of hybrid systems

A technique based on the use of a quantifier elimination decision procedure for real closed fields and simple theorem proving to construct a series of successively finer qualitative abstractions of hybrid automata is taught. The resulting abstractions are always discrete transition systems which can then be used by any traditional analysis tool. The constructed abstractions are conservative and can be used to establish safety properties of the original system. The technique works on linear and non-linear polynomial hybrid systems: the guards on discrete transitions and the continuous flows in all modes can be specified using arbitrary polynomial expressions over the continuous variables. An exemplar tool in the SAL environment built over the theorem prover PVS is detailed. The technique scales well to large and complex hybrid systems

Two Decades of Maude

This paper is a tribute to José Meseguer, from the rest of us in the Maude team, reviewing the past, the present, and the future of the language and system with which we have been working for around two decades under his leadership. After reviewing the origins and the language's main features, we present the latest additions to the language and some features currently under development. This paper is not an introduction to Maude, and some familiarity with it and with rewriting logic are indeed assumed.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

Correlation Between Student Collaboration Network Centrality and Academic Performance

We compute nodal centrality measures on the collaboration networks of students enrolled in three upper-division physics courses, usually taken sequentially, at the Colorado School of Mines. These are complex networks in which links between students indicate assistance with homework. The courses included in the study are intermediate Classical Mechanics, introductory Quantum Mechanics, and intermediate Electromagnetism. By correlating these nodal centrality measures with students' scores on homework and exams, we find four centrality measures that correlate significantly with students' homework scores in all three courses: in-strength, out-strength, closeness centrality, and harmonic centrality. These correlations suggest that students who not only collaborate often, but also collaborate significantly with many different people tend to achieve higher grades. Centrality measures between simultaneous collaboration networks (analytical vs. numerical homework collaboration) composed of the same students also correlate with each other, suggesting that students' collaboration strategies remain relatively stable when presented with homework assignments targeting different skills. Additionally, we correlate centrality measures between collaboration networks from different courses and find that the four centrality measures with the strongest relationship to students' homework scores are also the most stable measures across networks involving different courses. Correlations of centrality measures with exam scores were generally smaller than the correlations with homework scores, though this finding varied across courses.Comment: 10 pages, 4 figures, submitted to Phys. Rev. PE

The Complexity of Local Proof Search in Linear Logic (Extended Abstract)

AbstractProof search in linear logic is known to be difficult: the provability of propositional linear logic formulas is undecidable. Even without the modalities, multiplicative-additive fragment of propositional linear logic, mall, is known to be PSPACE-complete, and the pure multiplicative fragment, mll, is known to be np-complete. However, this still leaves open the possibility that there might be proof search heuristics (perhaps involving randomization) that often lead to a proof if there is one, or always lead to something close to a proof. One approach to these problems is to study strategies for proof games. A class of linear logic proof games is developed, each with a numeric score that depends on the number of certain preferred axioms used in a complete or partial proof tree. Using recent techniques for proving lower bounds on optimization problems, the complexity of these games is analyzed for the fragment mll extended with additive constants and for the fragment MALL. It is shown that no efficient heuristics exist unless there is an unexpected collapse in the complexity hierarchy

Maternal obesity has little effect on the immediate offspring but impacts on the next generation

Maternal obesity during pregnancy has been linked to an increased risk of obesity and cardiometabolic disease in the offspring, a phenomenon attributed to developmental programming. Programming effects may be transmissible across generations through both maternal and paternal inheritance, although the mechanisms remain unclear. Using a mouse model, we explored the effects of moderate maternal diet-induced obesity (DIO) on weight gain and glucose-insulin homeostasis in first-generation (F1) and second-generation offspring. DIO was associated with insulin resistance, hyperglycemia and dyslipidemia before pregnancy. Birth weight was reduced in female offspring of DIO mothers (by 6%, P = .039), and DIO offspring were heavier than controls at weaning (males by 47%, females by 27%), however there were no differences in glucose tolerance, plasma lipids, or hepatic gene expression at 6 months. Despite the relative lack of effects in the F1, we found clear fetal growth restriction and persistent metabolic changes in otherwise unmanipulated second-generation offspring with effects on birth weight, insulin levels, and hepatic gene expression that were transmitted through both maternal and paternal lines. This suggests that the consequences of the current dietary obesity epidemic may also have an impact on the descendants of obese individuals, even when the phenotype of the F1 appears largely unaffected