The Archaeometallurgical Implications of New Findings of Traditional Crafts of Making High Tin ‘Delta’ Bronze Mirrors and ‘Beta’ Bronze Vessels in Kerala State of South India

New metallurgical and ethnographic observations of the traditional manufacture of specular high-tin bronze mirrors in Kerala state of southern India are discussed, which is an exceptional example of a surviving craft practice of metal mirror-making in the world. The manufacturing process has been reconstructed from analytical investigations made by Srinivasan following a visit late in 1991 to a mirror making workshop and from her technical studies of equipment acquired by Glover in March 1992 from another group of mirror makers from Pathanamthita at an exhibition held at Crafts Museum, Delhi. Finished and unfinished mirror from two workshops were of a binary, copper-tin alloy of 33% tin which is close to the composition of pure delta phase, so that these mirrors are referred to here as ‘delta’ bronzes. For the first time, metallurgical and field observations were made by Srinivasan in 1991 of the manufacture of high-tin ‘beta’ bonze vessels from Palghat district, Kerala, i‥e of wrought and quenched 23% tin bronze. This has provided the first metallurgical record for a surviving craft of high-tin bronze bowl making which can be directly related to archaeological finds of high-tin bronze vessels from the Indian subcontinent and Southeast Asia. New analytical investigations are presented of high-tin beta bronzes from the Indian subcontinent which are some of the earliest reported worldwide. These coupled with the archaeometallurgical evidence suggests that these high-tin bronze techniques are part of a long, continuing, and probably indigenous tradition of the use of high-tin bronzes in the Indian subcontinent with finds reported even from Indus Valley sites. While the source of tin has been problematic, new evidence on bronze smelting slags and literary evidence suggests there may have been some sources of tin in South India.

Null Dereference Verification via Over-approximated Weakest Pre-conditions Analysis

Null dereferences are a bane of programming in languages such as Java. In this paper we propose a sound, demand-driven, inter-procedurally context-sensitive dataflow analysis technique to verify a given dereference as safe or potentially unsafe. Our analysis uses an abstract lattice of formulas to find a pre-condition at the entry of the program such that a null-dereference can occur only if the initial state of the program satisfies this pre-condition. We use a simplified domain of formulas, abstracting out integer arithmetic, as well as unbounded access paths due to recursive data structures. For the sake of precision we model aliasing relationships explicitly in our abstract lattice, enable strong updates, and use a limited notion of path sensitivity. For the sake of scalability we prune formulas continually as they get propagated, reducing to true conjuncts that are less likely to be useful in validating or invalidating the formula. We have implemented our approach, and present an evaluation of it on a set of ten real Java programs. Our results show that the set of design features we have incorporated enable the analysis to (a) explore long, inter-procedural paths to verify each dereference, with (b) reasonable accuracy, and (c) very quick response time per dereference, making it suitable for use in desktop development environments.

Positive Relationships between Association Strength and Phenotypic Similarity Characterize the Assembly of Mixed-Species Bird Flocks Worldwide

Competition theory predicts that local communities should consist of species that are more dissimilar than expected by chance. We find a strikingly different pattern in a multicontinent data set (55 presence-absence matrices from 24 locations) on the composition of mixed-species bird flocks, which are important sub-units of local bird communities the world over. By using null models and randomization tests followed by meta-analysis, we find the association strengths of species in flocks to be strongly related to similarity in body size and foraging behavior and higher for congeneric compared with noncongeneric species pairs. Given the local spatial scales of our individual analyses, differences in the habitat preferences of species are unlikely to have caused these association patterns; the patterns observed are most likely the outcome of species interactions. Extending group-living and social-information-use theory to a heterospecific context, we discuss potential behavioral mechanisms that lead to positive interactions among similar species in flocks, as well as ways in which competition costs are reduced. Our findings highlight the need to consider positive interactions along with competition when seeking to explain community assembly.

When good neighbors don't need fences: temporal landscape partitioning among baboon social groups

Intraspecific competition is a key factor shaping space-use strategies and movement decisions in many species, yet how and when neighbors utilize shared areas while exhibiting active avoidance of one another is largely unknown. Here, we investigated temporal landscape partitioning in a population of wild baboons (Papio cynocephalus). We used global positioning system (GPS) collars to synchronously record the hourly locations of five baboon social groups for similar to 900 days, and we used behavioral, demographic, and life history data to measure factors affecting use of overlap areas. Annual home ranges of neighboring groups overlapped substantially, as predicted (baboons are considered non-territorial), but home ranges overlapped less when space use was assessed over shorter time scales. Moreover, neighboring groups were in close spatial proximity to one another on fewer days than predicted by a null model, suggesting an avoidance-based spacing pattern. At all time scales examined (monthly, biweekly, and weekly), time spent in overlap areas was greater during time periods when groups fed on evenly dispersed, low-quality foods. The percent of fertile females in social groups was negatively correlated with time spent in overlap areas only during weekly time intervals. This suggests that broad temporal changes in ecological resources are a major predictor of how intensively overlap areas are used, and groups modify these ecologically driven spacing patterns at short time scales based on female reproductive status. Together, these findings offer insight into the economics of territoriality by highlighting the dynamics of spacing patterns at differing time scales.

Two techniques to improve the precision of a demand-driven null-dereference verification approach

The problem addressed in this paper is sound, scalable, demand-driven null-dereference verification for Java programs. Our approach consists conceptually of a base analysis, plus two major extensions for enhanced precision. The base analysis is a dataflow analysis wherein we propagate formulas in the backward direction from a given dereference, and compute a necessary condition at the entry of the program for the dereference to be potentially unsafe. The extensions are motivated by the presence of certain ``difficult'' constructs in real programs, e.g., virtual calls with too many candidate targets, and library method calls, which happen to need excessive analysis time to be analyzed fully. The base analysis is hence configured to skip such a difficult construct when it is encountered by dropping all information that has been tracked so far that could potentially be affected by the construct. Our extensions are essentially more precise ways to account for the effect of these constructs on information that is being tracked, without requiring full analysis of these constructs. The first extension is a novel scheme to transmit formulas along certain kinds of def-use edges, while the second extension is based on using manually constructed backward-direction summary functions of library methods. We have implemented our approach, and applied it on a set of real-life benchmarks. The base analysis is on average able to declare about 84% of dereferences in each benchmark as safe, while the two extensions push this number up to 91%. (C) 2014 Elsevier B.V. All rights reserved.

Strings vs. spins on the null orbifold

We study the null orbifold singularity in 2+1 d flat space higher spin theory as well as string theory. Using the Chern-Simons formulation of 2+1 d Einstein gravity, we first observe that despite the singular nature of this geometry, the eigenvalues of its Chern-Simons holonomy are trivial. Next, we construct a resolution of the singularity in higher spin theory: a Kundt spacetime with vanishing scalar curvature invariants. We also point out that the UV divergences previously observed in the 2-to-2 tachyon tree level string amplitude on the null orbifold do not arise in the at alpha' -> infinity limit. We find all the divergences of the amplitude and demonstrate that the ones remaining in the tensionless limit are physical IR-type divergences. We conclude with a discussion on the meaning and limitations of higher spin (cosmological) singularity resolution and its potential connection to string theory.

Optimization Of Off-Null Ellipsometry For Air/Solid Interfaces

The optimization of off-null ellipsometry is described with emphasis on the improvement of sample thickness sensitivity. Optimal conditions are dependent on azimuth angle settings of the polarizer, compensator, and analyzer in a polarizer-compensator-sample-analyzer ellipsometer arrangement. Numerical simulation utilized offers an approach to present the dependence of the sensitivity on the azimuth angle settings, from which optimal settings corresponding to the best sensitivity are derived. For a series of samples of SiO2 layer (thickness in the range of 1.8-6.5 nm) on silicon substrate, the theory analysis proves that sensitivity at the optimal settings is increased 20 times compared to that at null settings used in most works, and the relationship between intensity and thickness is simplified as a linear type instead of the original nonlinear type, with the relative error reduced to similar to 1/100 at the optimal settings. Furthermore the discussion has been extended toward other factors affecting the sensitivity of the practical system, such as the linear dynamic range of the detector, the signal-to-noise ratio and the intensity from the light source, etc. Experimental results from the investigation Of SiO2 layer on silicon substrate are chosen to verify the optimization. (c) 2007 Optical Society of America.

Optimization of Off-Null Ellipsometry for Optical Biosensor Applications

The optimization of off-null ellipsometry is described with emphasis on the improvement of resolution for visualizing biomolecule layers. For optical biosensor with layer thickness below 6.5 nm, a numerical simulation for the dependence of resolution on the azimuth settings of polarizer and analyzer is presented first. For comparison, three different resolutions are given at three azimuth settings which are near null and far away from null condition, respectively. Furthermore, the square or linear approximation relationship between the intensity and the layer thickness are also given at these settings. The difference among their accuracy is up to 100 times or so. Experimental results of the biosensor sample verify the optimization.

Synthesis report with pro-poor trade research findings and policy recommandations

The purpose of the project was to investigate international trade in fisheries products and its relationship to poverty alleviation and livelihoods of poor aquatic resource users in developing countries in Asia, and to identify options to improve the effectiveness of poverty reduction through international seafood trade. The project directly addressed the EC-PREP priority area of trade and development, and indirectly provided valuable insight to two other priority areas: food security and sustainable rural development; and institutional capacity building. [PDF contains 60 pages.]

Basque nominalizations and the role of structural Case in the licensing of null arguments

[EN] This article investigates the question of the licensing of null arguments in the so-called pro-drop languages. By focusing on the licensing of null subjects in the different types of -T(Z)E nominalizations in Basque, it aims at defining in a precise way the crucial feature that makes pro-drop possible in a clause. The central claim is that what licenses subject-drop is the assignment of structural Case. That is, it is argued that a subject can be null if and only if it is assigned structural Case. Different aspects of T(Z)E nominalizations are also explored, which show that even if these clauses are similar in the surface, they can be syntactically very different and furthermore, that infinitive clauses marked with the same nominalizing morpheme can also have diverging structures.

Simulated pathogenic conformational switch regions matched well with the biochemical findings

Pathogenic conformational conversion is a general causation of many disease, such as transmissible spon- giform encephalopathy (TSE) caused by misfolding of prion, sickle cell anemia, and etc. In such structural changes, misfolding occurs in regions important for the stability of native structure firstly. This destabi- lizes the normal conformation and leads to subsequent errors in folding pathway. Sites involved in the first stage can be deemed switch regions of the protein, and are vital for conformational conversion. Namely it could be a switch of disease at residue level. Here we report an algorithm that can identify such sites computationally with an accuracy of 93%, by calculating the probability of the native structure of a short segment jumping to a mistake one. Knowledge of such switch sites could be used to target clinical therapy, study physiological and pathologic mechanism of protein, and etc.