Location based mobile computing - a tuplespace perspective

This is the post-print version of the Article. The official published version can be accessed from the link below - Copyright @ 2006 IOS PressLocation based or "context aware" computing is becoming increasingly recognized as a vital part of a mobile computing environment. As a consequence, the need for location-management middleware is widely recognized and actively researched. Location-management is frequently offered to the application through a "location API" (e.g. JSR 179) where the mobile unit can find out its own location as coordinates or as "building, floor, room" values. It is then up to the application to map the coordinates into a set of localized variables, e.g. direction to the nearest bookshop or the local timezone. It is the opinion of the authors that a localization API should be more transparent and more integrated: The localized values should be handed to the application directly, and the API for doing so should be the same as the general storage mechanisms. Our proposed middleware for location and context management is built on top of Mobispace. Mobispace is a distributed tuplespace made for mobile units (J2me) where replication between local replicas takes place with a central server (over GPRS) or with other mobile units (using Bluetooth). Since a Bluetooth connection indicates physical proximity to another node, a set of stationary nodes may distribute locality information over Bluetooth connections, and this information may be retrieved through the ordinary tuplespace API. Besides the integration with the general framework for communication and coordination the middleware offers straightforward answers to questions like: Where is node X located? Which nodes are near me? What is the trace of node Y

Dynamics of cosmic strings and springs; a covariant formulation

A general family of charge-current carrying cosmic string models is investigated. In the special case of circular configurations in arbitrary axially symmetric gravitational and electromagnetic backgrounds the dynamics is determined by simple point particle Hamiltonians. A certain "duality" transformation relates our results to previous ones, obtained by Carter et. al., for an infinitely long open stationary string in an arbitrary stationary background.Comment: 11 pages, Latex, Nordita preprint 93/28

Low-background temperature sensors fabricated on parylene substrates

Temperature sensors fabricated from ultra-low radioactivity materials have been developed for low-background experiments searching for neutrinoless double-beta decay and the interactions of WIMP dark matter. The sensors consist of electrical traces photolithographically-patterned onto substrates of vapor-deposited parylene. They are demonstrated to function as expected, to do so reliably and robustly, and to be highly radio-pure. This work is a proof-of-concept study of a technology that can be applied to broad class of electronic circuits used in low-background experiments

Conditional Lower Bounds for Space/Time Tradeoffs

In recent years much effort has been concentrated towards achieving polynomial time lower bounds on algorithms for solving various well-known problems. A useful technique for showing such lower bounds is to prove them conditionally based on well-studied hardness assumptions such as 3SUM, APSP, SETH, etc. This line of research helps to obtain a better understanding of the complexity inside P. A related question asks to prove conditional space lower bounds on data structures that are constructed to solve certain algorithmic tasks after an initial preprocessing stage. This question received little attention in previous research even though it has potential strong impact. In this paper we address this question and show that surprisingly many of the well-studied hard problems that are known to have conditional polynomial time lower bounds are also hard when concerning space. This hardness is shown as a tradeoff between the space consumed by the data structure and the time needed to answer queries. The tradeoff may be either smooth or admit one or more singularity points. We reveal interesting connections between different space hardness conjectures and present matching upper bounds. We also apply these hardness conjectures to both static and dynamic problems and prove their conditional space hardness. We believe that this novel framework of polynomial space conjectures can play an important role in expressing polynomial space lower bounds of many important algorithmic problems. Moreover, it seems that it can also help in achieving a better understanding of the hardness of their corresponding problems in terms of time

Primary production during nutrient-induced blooms at elevated CO2 concentrations

Mesocosms experiments (PeECE II and PeECE III) were carried out in 9 transparent mesocosms. Prior to the experimental period, the seawater carbonate system was manipulated to achieve three different levels of CO2. At the onset of the experimental period, nutrients were added to all mesocosms in order to initiate phytoplankton blooms. Rates of primary production were measured by in-situ incubations using 14C-incorporation and oxygen production/consumption. Particulate primary production by 14C was also size fractionated and compared with phytoplankton species composition. Nutrient supply increased the primary production rates, and a net autotrophic phase with 14C-fixation rates up to 4 times higher than initial was observed midway through the 24 days experiment before net community production returned to near-zero and 14C-fixation rates relaxed back to lower than initial. We found a trend in the 14C-based measurements towards higher cumulative primary production at higher pCO2, consistent with recently published results for DIC removal (Riebesell et al., 2007). There where found differences to the size fractionated primary production response to CO2 treatments. The plankton composition changes throughout the bloom, however, resulted in no significant response until the final phase of the experiment where phytoplankton growth became nutrient limited, and phytoplankton community changed from diatom to flagellate dominance. This opens for the two alternative hypotheses that such an effect is associated with mineral nutrient limited growth, and/or with phytoplankton species composition. The lack of a clear net heterotrophic phase in the last part of the experiment supports the idea that a substantial part of production in the upper layer was not degraded locally, but either accumulated there or was exported vertically

Coupled Magnetic Excitations in Single Crystal PrBa2Cu3O6.2

The dispersion of the low-energy magnetic excitations of the Pr sublattice in PrBa2Cu3O6.2 is determined by inelastic neutron scattering measurements on a single crystal. The dispersion, which shows the effect of interactions with the Cu spin-waves, is well described by a model of the coupled Cu-Pr magnetic system. This enables values for the principal exchange constants to be determined, which suggest that both Pr-Pr and Cu-Pr interactions are important in producing the anomalously high ordering temperature of the Pr sublattice. Measurements of the Cu optic spin wave mode show that the inter-layer Cu-Cu exchange is significantly lower than in YBa2Cu3O6.2.Comment: To be published Phys. Rev. Let

Tracing the trophic fate of aquafeed macronutrients with carbon isotope ratios of Amino Acids

To meet future seafood demands, ingredients derived from algae and other novel and sustainable sources are increasingly being tested and used as replacers to traditional aquafeed ingredients. Algal ingredients in particular are being promoted for their sustainability and their additional functional attributes in farmed aquatic animals. Test on algal supplemented aquafeeds typically focus on a suite of immunological and physiological indicators along with fish growth performance or muscle quality. However, to optimize the replacement of fish meal with algal derived ingredients, it is crucial to understand the metabolic fate in the algal macronutrients (carbohydrates, fats, and proteins), and their nutritional interactions with other ingredients after ingestion. Here, we assess the potential of using the emerging technology- stable carbon isotope (δ13C) analysis of single amino acids (AAs) as a nutritional biomarker in aquaculture. Applications of δ13CAA-based approaches in feeding trials show promise in closing the knowledge gap in terms of understanding how fish and other aquaculture taxa assimilate and metabolize algal derived macronutrients. Source diagnostic δ13C fingerprints among the essential AAs can trace the protein origins to broad phylogenetic groups such as red macroalgae, brown macroalgae, bacteria, and terrestrial plants. Among the non-essential AAs, δ13C patterns have the potential to inform about metabolic routing and utilization of dietary lipids and carbohydrates. Despite the potential of δ13CAA as a nutritional biomarker, the few applications to date in fish feeding trials warrant further development and implementation of δ13CAA-based approaches to improve understanding of protein origins and macronutrient metabolic routing.Introduction Amino acid abbreviations Analitical considerations Digestive physiology and isotope effects Inferring diet and nutrition from amino acid 13C values - Essential Amino Acids - Non-essential Amino Acids Tracing aquafeed macronutrients with 13CAA Outlook and perpectives Materials and methods - Statistical Method

Verification and Optimization of a PLC Control Schedule

We report on the use of the SPIN model checker for both the verification of a process control program and the derivation of optimal control schedules. This work was carried out as part of a case study for the EC VHS project (Verification of Hybrid Systems), in which the program for a Programmable Logic Controller (PLC) of an experimental chemical plant had to be designed and verified. The intention of our approach was to see how much could be achieved here using the standard model checking environment of SPIN/Promela. As the symbolic calculations of real-time model checkers can be quite expensive it is interesting to try and exploit the efficiency of established non-real-time model checkers like SPIN in those cases where promising work-arounds seem to exist. In our case we handled the relevant real-time properties of the PLC controller using a time-abstraction technique; for the scheduling we implemented in Promela a so-called variable time advance procedure. For this case study these techniques proved sufficient to verify the design of the controller and derive (time-)optimal schedules with reasonable time and space requirements

What Are They Doing Anyway?: Library as Place and Student Use of a University Library

Objective - To determine student use of library spaces, the authors recorded student location and behaviors within the Library, to inform future space design. Methods - The case study method was used with both quantitative and qualitative measures. The authors had two objectives to guide this assessment of library spaces: 1) To determine what library spaces are being used by students and whether students are working individually, communally, or collaboratively and 2) To determine whether students use these spaces for learning activities and/or social engagement. Results - After data collection and analysis, the authors determined students are using individual or communal spaces almost equally as compared with collaborative group spaces. Data also revealed peak area usage and times. Conclusion - Observed student individual and social work habits indicate further need for spaces with ample electrical outlets and moveable tables. Further study is recommended to see whether additional seating and renovated spaces continue to enhance informal learning communities at URI and whether the Library is becoming a “third place” on campus