Norms have never been absent from the study of international politics, but the sweeping “ideational turn” in the 1980s and 1990s brought them back as a central theoretical concern in the field. Much theorizing about norms has focused on how they create social structure, standards of appropriateness, and stability in international politics. Recent empirical research on norms, in contrast, has examined their role in creating political change, but change processes have been less well-theorized. We induce from this research a variety of theoretical arguments and testable hypotheses about the role of norms in political change. We argue that norms evolve in a three-stage “life cycle” of emergence, “norm cascades,” and internalization, and that each stage is governed by different motives, mechanisms, and behavioral logics. We also highlight the rational and strategic nature of many social construction processes and argue that theoretical progress will only be made by placing attention on the connections between norms and rationality rather than by opposing the two.

/pdf/international-norm-dynamics-and-political-change-37ig9r9dlq.pdf

International Norm Dynamics and Political Change

Robust and powerful software instrumentation tools are essential for program analysis tasks such as profiling, performance evaluation, and bug detection. To meet this need, we have developed a new instrumentation system called Pin. Our goals are to provide easy-to-use, portable, transparent, and efficient instrumentation. Instrumentation tools (called Pintools) are written in C/C++ using Pin's rich API. Pin follows the model of ATOM, allowing the tool writer to analyze an application at the instruction level without the need for detailed knowledge of the underlying instruction set. The API is designed to be architecture independent whenever possible, making Pintools source compatible across different architectures. However, a Pintool can access architecture-specific details when necessary. Instrumentation with Pin is mostly transparent as the application and Pintool observe the application's original, uninstrumented behavior. Pin uses dynamic compilation to instrument executables while they are running. For efficiency, Pin uses several techniques, including inlining, register re-allocation, liveness analysis, and instruction scheduling to optimize instrumentation. This fully automated approach delivers significantly better instrumentation performance than similar tools. For example, Pin is 3.3x faster than Valgrind and 2x faster than DynamoRIO for basic-block counting. To illustrate Pin's versatility, we describe two Pintools in daily use to analyze production software. Pin is publicly available for Linux platforms on four architectures: IA32 (32-bit x86), EM64T (64-bit x86), Itanium®, and ARM. In the ten months since Pin 2 was released in July 2004, there have been over 3000 downloads from its website.

/pdf/pin-building-customized-program-analysis-tools-with-dynamic-1cvwqey5sb.pdf

Pin: building customized program analysis tools with dynamic instrumentation

Evidence from clinical and experimental studies indicates that macrophages promote solid-tumour progression and metastasis. Macrophages are educated by the tumour microenvironment, so that they adopt a trophic role that facilitates angiogenesis, matrix breakdown and tumour-cell motility — all of which are elements of the metastatic process. During an inflammatory response, macrophages also produce many compounds — ranging from mutagenic oxygen and nitrogen radicals to angiogenic factors — that can contribute to cancer initiation and promotion. Macrophages therefore represent an important drug target for cancer prevention and cure.

Tumour-educated macrophages promote tumour progression and metastasis

National Institute of Standards and Technology における超伝導研究及び生活

Dynamic binary instrumentation (DBI) frameworks make it easy to build dynamic binary analysis (DBA) tools such as checkers and profilers. Much of the focus on DBI frameworks has been on performance; little attention has been paid to their capabilities. As a result, we believe the potential of DBI has not been fully exploited.In this paper we describe Valgrind, a DBI framework designed for building heavyweight DBA tools. We focus on its unique support for shadow values-a powerful but previously little-studied and difficult-to-implement DBA technique, which requires a tool to shadow every register and memory value with another value that describes it. This support accounts for several crucial design features that distinguish Valgrind from other DBI frameworks. Because of these features, lightweight tools built with Valgrind run comparatively slowly, but Valgrind can be used to build more interesting, heavyweight tools that are difficult or impossible to build with other DBI frameworks such as Pin and DynamoRIO.

/pdf/valgrind-a-framework-for-heavyweight-dynamic-binary-83md0bpji5.pdf

Valgrind: a framework for heavyweight dynamic binary instrumentation

Financial inclusion and international migration in low- and middle-income countries

Injuries to the ligaments of the knee are extremely common among athletes who participate in high-risk sports, or any sport that requires frequent cutting motions, jumping, or contact. In order to determine the best way to heal these injuries, it is important to understand not just the pathology of the injury, but also the biomechanical factors that are affected, including stability and steadiness. While many studies have been done to examine the stability of healthy knees, there is little to no existing literature on stability of knees afflicted by injury. In order to surpass this obstacle, static steadiness and dynamic stability data was collected using the Lockhart Monitor phone application and Xsens accelerometers, respectively, both before and after completion of a course of physical therapy in a patient with a grade 2 medial collateral ligament (MCL) tear. These results were then used to determine the degree to which the prescribed physical therapy protocol was effective in healing the MCL, which can be useful for tweaking the individual protocol for future conservative treatment and management of the injury.

Assessment of Static Steadiness and Dynamic Stability at Various Stages of Healing a Grade 2 Medial Collateral Ligament Tear

The Natrium Sodium-cooled Fast Reactor (SFR) concept developed by TerraPower, LLC was selected as one of the advanced reactor designs for demonstration under the Advanced Reactor Demonstration Program Natrium Demo project. In collaboration with TerraPower, the Argonne National Laboratory (ANL) team provide independent reviews of the neutronic methodology being used for the Natrium design. As part of this activity, both the TerraPower and ANL teams agreed to perform independent neutronics analyses of the ABR-1000 reactor problem as a demonstration on the usage of the neutronics methodologies. Comparison of the results from TerraPower and ANL would expose any methodological differences in the modeling approaches. This report describes and presents the Argonne analysis work on the ABR-1000, and will be provided to TerraPower, along with data files, to complete the comparison study. The comparison will cover the methodology to evaluate the reactivity coefficients for a safety analysis, the shutdown margin, and the reconstructed pin power distribution. The methods and models used to calculate the kinetic parameters and the reactivity coefficients (density, Doppler, axial/radial expansion, etc.) are described in detail with recommendations of specific method options and modelling techniques. The control system reactivity worth and the excess reactivity due to temperature defect are calculated for the shutdown margin analysis. The method to evaluate the excess reactivity is discussed in detail. The pin power reconstruction methodology used in SE2ANL, SE2RCT, and DASSH are discussed in this report. The pin power distribution evaluated by different methods are compared and discussed in the report. 

/pdf/ardp-natrium-neutronic-methodology-argonne-neutronic-3kaoo6pj.pdf

ARDP Natrium Neutronic Methodology: Argonne Neutronic Assessment of ABR-1000

PROBLEM TO BE SOLVED: To provide a system for resolving a dispute related to the request of service provision to a service provider, by which the service provider can verify to a service intermediary that a service user has requested the service. SOLUTION: A service user that wants to start to request the service of the service provider registers to the service intermediary an end code of a sequence of a code generated using a one-way function. The service intermediary provides the end code to the service provider. The service user can then requests the service provider to provide service by using codes of the sequence. When the service provider receives the request, it verifies that the code of the request can be used to derive the end code. If the verification is successful, then the service provider can provide the verified code to the service intermediary as the non-repudiatable evidence of the service requested by the service user. COPYRIGHT: (C)2005,JPO&NCIPI

Michael D. Smith

Papers

Financial inclusion and international migration in low- and middle-income countries

Assessment of Static Steadiness and Dynamic Stability at Various Stages of Healing a Grade 2 Medial Collateral Ligament Tear

ARDP Natrium Neutronic Methodology: Argonne Neutronic Assessment of ABR-1000

Method and system for resolving dispute between service provider and service user

Food insecurity predicts well-being inequality.