4,764 research outputs found
A Practical Blended Analysis for Dynamic Features in JavaScript
The JavaScript Blended Analysis Framework is designed to
perform a general-purpose, practical combined static/dynamic
analysis of JavaScript programs, while handling dynamic
features such as run-time generated code and variadic func-
tions. The idea of blended analysis is to focus static anal-
ysis on a dynamic calling structure collected at runtime in
a lightweight manner, and to rene the static analysis us-
ing additional dynamic information. We perform blended
points-to analysis of JavaScript with our framework and
compare results with those computed by a pure static points-
to analysis. Using JavaScript codes from actual webpages
as benchmarks, we show that optimized blended analysis
for JavaScript obtains good coverage (86.6% on average per
website) of the pure static analysis solution and nds ad-
ditional points-to pairs (7.0% on average per website) con-
tributed by dynamically generated/loaded code
Workshop on Pristine Highlands Rocks and the early History of the Moon
Oxide composition of the Moon, evidence for an initially totally molten Moon, geophysical contraints on lunar composition, random sampling of a layered intrusion, lunar highland rocks, early evolution of the Moon, mineralogy and petrology of the pristine rocks, relationship of the pristine nonmore rocks to the highlands soils and breccias, ferroan anorthositic norite, early lunar igneous history, compositional variation in ferroan anosthosites, a lunar magma ocean, deposits of lunar pristine rocks, lunar and planetary compositions and early fractionation in the solar nebula, Moon composition models, petrogenesis in a Moon with a chondritic refractory lithophile pattern, a terrestrial analog of lunar ilmenite bearing camulates, and the lunar magma ocean are summarized
Apollo 15 impact melts, the age of Imbrium, and the Earth-Moon impact cataclysm
The early impact history of the lunar surface is of critical importance in understanding the evolution of both the primitive Moon and the Earth, as well as the corresponding populations of planetesimals in Earth-crossing orbits. Two endmember hypotheses call for greatly dissimilar impact dynamics. One is a heavy continuous (declining) bombardment from about 4.5 Ga to 3.85 Ga. The other is that an intense but brief bombardment at about 3.85 +/- Ga was responsible for producing the visible lunar landforms and for the common 3.8-3.9 Ga ages of highland rocks. The Apennine Front, the main topographic ring of the Imbrium Basin, was sampled on the Apollo 15 mission. The Apollo 15 impact melts show a diversity of chemical compositions, indicating their origin in at least several different impact events. The few attempts at dating them have generally not produced convincing ages, despite their importance. Thus, we chose to investigate the ages of melt rock samples from the Apennine Front, because of their stratigraphic importance yet lack of previous age definition
Somatization vs. Psychologization of Emotional Distress: A Paradigmatic Example for Cultural Psychopathology
This paper describes the developing area of cultural psychopathology, an interdisciplinary field of study focusing on the ways in which cultural factors contribute to the experience and expression of psychological distress. We begin by outlining two approaches, often competing, in order to provide a background to some of the issues that complicate the field. The main section of the paper is devoted to a discussion of depression in Chinese culture as an example of the types of questions that can be studied. Here, we start with a review of the epidemiological literature, suggesting low rates of depression in China, and move to the most commonly cited explanation, namely that Chinese individuals with depression present this distress in a physical way. Different explanations of this phenomenon, known as somatization, are explored and reconceptualized according to an increasingly important model for cross-cultural psychologists: the cultural constitution of the self. We close by discussing some of the contributions, both theoretical and methodological, that can be made by cross-cultural psychologists to researchers in cultural psychopathology
Visualizing the Results of a Complex Hybrid Dynamic-Static Analysis
Complex static or hybrid static-dynamic analyses produce large quantities of structured data. In the past, this data was generally intended for use by compilers or other software tools that used the produced information to transform the application being analyzed. However, it is becomingly increasingly common for the results of these analyses to be used directly by humans. For example, in our own prior work we have developed a hybrid dynamic-static escape analysis intended to help developers identify sources of object churn within large framework-base applications. In order to facilitate human use of complex analysis results, visualizations need to be developed that allow a user to browse these results and to identify the points of interest within these large data sets. In this paper we present Hi-C, a visualization tool for our hybrid escape analysis that has been implemented as an Eclipse plugin. We show how Hi-C can help developers identify sources of object churn in a large framework-based application and how we have used the tool to assist in understanding the results of a complex analysis
Recommended from our members
Accuracy and Mechanical Properties of Open-Cell Microstructures Fabricated by Selective Laser Sintering
This paper investigates the applicability of selective laser sintering (SLS) for the manufacture of
scaffold geometries for bone tissue engineering applications. Porous scaffold geometries with
open-cell structure and relative density of 10-60 v% were computationally designed and
fabricated by selective laser sintering using polyamide powder. Strut and pore sizes ranging from
0.4 - 1 mm and 1.2 -2 mm are explored. The effect of process parameters on compressive
properties and accuracy of scaffolds was examined and outline laser power and scan spacing
were identified as significant factors. In general, the designed scaffold geometry was not
accurately fabricated on the micron-scale. The smallest successfully fabricated strut and pore size
was 0.4 mm and 1.2 mm, respectively. It was found that selective laser sintering has the potential
to fabricate hard tissue engineering scaffolds. However the technology is not able to replicate
exact geometries on the micron-scale but by accounting for errors resulting from the diameter of
the laser and from the manufacturing induced geometrical deformations in different building
directions, the exact dimensions of the manufactured scaffolds can be predicted and controlled
indirectly, which corresponds favorably with its application in computer aided tissue engineering.Mechanical Engineerin
Young children as citizens: learning from practice in the early childhood setting
This paper examines enactments of young children’s citizenship in early childhood settings in England, which is an under researched area, in this study young children are positioned as social actors, competent and capable of making decisions and enacting citizenship. Values, child rights and citizenship are interconnected and often inseparable in practice. A mixed methods multiple-case study was conducted in England across several early childhood settings in the private and independent sector. Our findings indicate that young children enact citizenship through micro acts embedded into their day-to-day activities; such acts are often spontaneous in response to events or interactions. These are often pro-social in nature comprised as behaviours such as helping or showing concern for others. Our findings give visibility to the distinctive ways in which young children may enact citizenship including, for example, physical expressions
Speaking the same language: developing a language-aware feedback culture
Research suggests that feedback as part of assessment is often not delivered effectively. A key aspect of effective feedback delivery is that students need to understand feedback and also feel motivated to act on it. This article explores how educational developers can incorporate a language-aware approach to feedback when working with staff involved in learning and teaching in order to enable staff to make appropriate linguistic choices when providing feedback so that it is more comprehensible and motivational for students. It describes a piece of action research which explored and evaluated two teaching activities used on a PG Cert HE with staff at a post-1992 university, designed to promote critical awareness of the language used when giving feedback. We report on the staff evaluation of the activities devised and piloted, and consider how this project could be taken forward in future
Workshop on Geology of the Apollo 17 Landing Site
The topics covered include the following: petrology, lithology, lunar rocks, lunar soil, geochemistry, lunar geology, lunar resources, oxygen production, ilmenite, volcanism, highlands, lunar maria, massifs, impact melts, breccias, lunar crust, Taurus-Littrow, minerals, site selection, regolith, glasses, geomorphology, basalts, tectonics, planetary evolution, anorthosite, titanium oxides, chemical composition, and the Sudbury-Serenitatis analogy
\u3cem\u3eEmilia Gaiotti \u3c/em\u3eand the Limits of Psychological Criticism
Psychoanalytic and psychological criticism of literature abounds, but the encounter, in an integral reading, of a fully qualified psychologist and an acknowledged literary masterpiece is not a commonplace event. In this light a recent interpretation of Lessing\u27s Emilia Galotti deserves attention. In addressing myself to it, I am more interested in examining the implications and consequences of the encounter than in making ad hoc objections to a specific interpreter or his work. Admittedly the line of separation is sometimes obscure
- …