Integrating Sensor-Network Research and Development into a Software Engineering Curriculum

The emergence of a sensor-networked world produces a clear and urgent need for well-planned, safe and secure software engineering. It is the role of universities to prepare graduates with the knowledge and experience to enter the work-force with a clear understanding of software design and its application to the future safety of computing. The snBench (Sensor Network WorkBench) project aims to provide support to the programming and deployment of Sensor Network Applications, enabling shared sensor embedded spaces to be easily tasked with various sensory applications by different users for simultaneous execution. In this report we discus our experience using the snBench research project as the foundation for semester-long project in a graduate level software engineering class at Boston University (CS511)

Making Bequests Without Spoiling Children: Bequests as an Implicit Optimal Tax Structure and the Possibility That Altruistic Bequests are not Equaliz

This paper examines the bequest\gift behavior of altruistic parents who do not know their children's abilities and cannot observe their children's work effort. Parents are likely to respond to this information problem by making larger bequests to higher earning children and by using their transfers implicitly either to tax at the margin low earning children or to subsidize at the margin high earning children. These implicit tax rates may be quite large, despite the fact that total transfers are small. The paper suggests that labor supply studies should take into account potential implicit family taxation as wall as official government taxation. In addition, the fact that the family may play an implicit role in taxation means that there may be less need for the government to play such a role.

The 43GHz SiO maser in the circumstellar envelope of the AGB star R Cassiopeiae

We present multi-epoch, total intensity, high-resolution images of 43GHz, v=1, J=1-0 SiO maser emission toward the Mira variable R Cas. In total we have 23 epochs of data for R Cas at approximate monthly intervals over an optical pulsation phase range from 0.158 to 1.78. These maps show a ring-like distribution of the maser features in a shell, which is assumed to be centred on the star at a radius of 1.6 to 2.3 times the stellar radii. It is clear from these images that the maser emission is significantly extended around the star. At some epochs a faint outer arc can be seen at 2.2 stellar radii. The intensity of the emission waxes and wanes during the stellar phase. Some maser features are seen infalling as well as outflowing. We have made initial comparisons of our data with models by Gray et. al. (2009).Comment: 12 pages, 14 figure

A Strategic Altruism Model In Which Ricardian Equivalence Does Not Hold

This article demonstrates that Ricardian Equivalence does not necessarily hold in models with altruistic transfers once one takes into account the strategic behavior of recipients as well as donors. To influence the final allocation of consumption in altruistic settings, potential recipients can threaten to refuse as well as accept transfers. We apply the Extended Nash Bargaining Solution to the problem of an altruistic parent and a possibly altruistic child. The parent and child first choose a threat point noncooperatively; this threat point then influences the final allocation of consumption through the standard Nash Bargaining Solution, While the potential recipient can refuse transfers from the potential donor, he cannot refuse transfers from the government. When the government redistributes between the parent and child, it changes their endowments and the equilibrium threats, and thus the final allocation of consumption. The feature of the cooperative model presented here that leads to the failure of Ricardian Equivalence may be characteristic of a wider class of cooperative and noncooperative altruism models. This feature is that noninterior strategic postures underlie interior transfer behavior and that these non- interior strategic postures are altered by government redistribution.

What Are Polymorphically-Typed Ambients?

Abstract: The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code. We consider an Ambient Calculus where ambients transport and exchange programs rather that just inert data. We propose different senses in which such a calculus can be said to be polymorphically typed, and design accordingly a polymorphic type system for it. Our type system assigns types to embedded programs and what we call behaviors to processes; a denotational semantics of behaviors is then proposed, here called trace semantics, underlying much of the remaining analysis. We state and prove a Subject Reduction property for our polymorphically typed calculus. Based on techniques borrowed from finite automata theory, type-checking of fully type-annotated processes is shown to be decidable; the time complexity of our decision procedure is exponential (this is a worst-case in theory, arguably not encountered in practice). Our polymorphically-typed calculus is a conservative extension of the typed Ambient Calculus originally proposed by Cardelli and Gordon

Inflating Fat Bubbles in Clusters of Galaxies by Precessing Massive Slow Jets

We conduct hydrodynamical numerical simulations and find that precessing massive slow jets can inflate fat bubbles, i.e., more or less spherical bubbles, that are attached to the center of clusters of galaxies. To inflate a fat bubble the jet should precess fast. The precessing angle $\theta$ should be large, or change over a large range $0 \le \theta \le \theta_{\max} \sim 30-70 ^\circ$ (depending also on other parameters), where $\theta=0$ is the symmetry axis. The constraints on the velocity and mass outflow rate are similar to those on wide jets to inflate fat bubbles. The velocity should be v_j \sim 10^4 \kms, and the mass loss rate of the two jets should be 2 \dot M_j \simeq 1-50 \dot M_\odot \yr^{-1} . These results, and our results from a previous paper dealing with slow wide jets, support the claim that a large fraction of the feedback heating in cooling flow clusters and in the processes of galaxy formation is done by slow massive jets.Comment: Accepted for publication in MNRA

Compressed Genotyping

Significant volumes of knowledge have been accumulated in recent years linking subtle genetic variations to a wide variety of medical disorders from Cystic Fibrosis to mental retardation. Nevertheless, there are still great challenges in applying this knowledge routinely in the clinic, largely due to the relatively tedious and expensive process of DNA sequencing. Since the genetic polymorphisms that underlie these disorders are relatively rare in the human population, the presence or absence of a disease-linked polymorphism can be thought of as a sparse signal. Using methods and ideas from compressed sensing and group testing, we have developed a cost-effective genotyping protocol. In particular, we have adapted our scheme to a recently developed class of high throughput DNA sequencing technologies, and assembled a mathematical framework that has some important distinctions from 'traditional' compressed sensing ideas in order to address different biological and technical constraints.Comment: Submitted to IEEE Transaction on Information Theory - Special Issue on Molecular Biology and Neuroscienc

Polarization morphology of SiO masers in the circumstellar envelope of the AGB star R Cassiopeiae

Silicon monoxide maser emission has been detected in the circumstellar envelopes of many evolved stars in various vibrationally-excited rotational transitions. It is considered a good tracer of the wind dynamics close to the photosphere of the star. We have investigated the polarization morphology in the circumstellar envelope of an AGB star, R Cas. We mapped the linear and circular polarization of SiO masers in the v=1, J=1-0 transition. The linear polarization is typically a few tens of percent while the circular polarization is a few percent. The fractional polarization tends to be higher for emission of lower total intensity. We found that, in some isolated features the fractional linear polarization appears to exceed 100%. We found the Faraday rotation is not negligible but is ~15 deg., which could produce small scale structure in polarized emission whilst total intensity is smoother and partly resolved out. The polarization angles vary considerably from feature to feature but there is a tendency to favour the directions parallel or perpendicular to the radial direction with respect to the star. In some features, the polarization angle abruptly flips 90 deg. We found that our data are in the regime where the model of Goldreich et al (1973) can be applied and the polarization angle flip is caused when the magnetic field is at close to 55 deg. to the line of sight. The polarization angle configuration is consistent with a radial magnetic field although other configurations are not excluded.Comment: 14 pages, 15 figures. Accepted for publication in MNRA

Safe Compositional Specification of Networking Systems: A Compositional Analysis Approach

We present a type inference algorithm, in the style of compositional analysis, for the language TRAFFIC—a specification language for flow composition applications proposed in [2]—and prove that this algorithm is correct: the typings it infers are principal typings, and the typings agree with syntax-directed type checking on closed flow specifications. This algorithm is capable of verifying partial flow specifications, which is a significant improvement over syntax-directed type checking algorithm presented in [3]. We also show that this algorithm runs efficiently, i.e., in low-degree polynomial time.National Science Foundation (ITR ANI-0205294, ANI-0095988, ANI-9986397, EIA-0202067

OXIDATIVE-REFORMING OF METHANE AND PARTIAL OXIDATION OF METHANE REACTIONS OVER NiO/PrO2/ZrO2 CATALYSTS: EFFECT OF NICKEL CONTENT

In this work the behavior of NiO-PrO2-ZrO2 catalysts containing various nickel loadings was evaluated in the partial oxidation of methane and oxidative-reforming reactions of methane. The catalysts were characterized by X-Ray Diffraction Analysis (in situ-XRD), Temperature Programmed Reduction (H-2-TPR), Scanning Electron Microscopy (SEM/EDX) and Adsorption-Desorption of nitrogen (BET area). The reactions were carried out at 750 degrees C and 1 atm for 5 hours. The catalysts were studied with different nickel content: 0, 5, 10 and 15% (related to total weight of catalyst, wt%). In both reactions, the catalyst containing the mixture of the three oxides (NiO/PrO2/ZrO2) with 15% nickel (15NiPrZr catalyst) showed the best activity for the conversion of the reactants into Syngas and showed high selectivity for H-2 and CO. The results suggest that the promoter PrO2 and the Ni degrees centers are in a good proportion in the catalyst with 15% Ni. Our results showed that low nickel concentrations in the catalyst led to high metallic dispersion; however, very low nickel concentrations did not favor the methane transformation into Syngas. The catalyst containing only NiO/ZrO2 in the mixture was not sufficient for the catalysis. The presence of the promoter PrO2 was very important for the catalysis of the POM.Univ Fed Sao Paulo, Inst Mar, BR-11070100 Santos, SP, BrazilUniv Sao Paulo, Inst Quim Sao Carlos, BR-13560970 Sao Carlos, SP, BrazilUniv Fed Sao Carlos, Dept Engn Quim, BR-13565905 Sao Carlos, SP, BrazilUniv Fed Sao Paulo, Inst Mar, BR-11070100 Santos, SP, BrazilWeb of Scienc