From big smartphone data to worldwide research: The Mobile Data Challenge

This paper presents an overview of the Mobile Data Challenge (MDC), a large-scale research initiative aimed at generating innovations around smartphone-based research, as well as community-based evaluation of mobile data analysis methodologies. First, we review the Lausanne Data Collection Campaign (LDCC), an initiative to collect unique longitudinal smartphone dataset for the MDC. Then, we introduce the Open and Dedicated Tracks of the MDC, describe the specific datasets used in each of them, discuss the key design and implementation aspects introduced in order to generate privacy-preserving and scientifically relevant mobile data resources for wider use by the research community, and summarize the main research trends found among the 100+ challenge submissions. We finalize by discussing the main lessons learned from the participation of several hundred researchers worldwide in the MDC Tracks.     

A portable device for intensive care brain function monitoring with event-related potentials

Monitoring level of consciousness or depth of sedation is essential in modern intensive care units and emergency rooms. Current methods are based on spontaneous EEG providing only indirect information on the reactivity of the brain. Measurement of auditory event-related potentials (ERPs) has been shown to have additional potential for evaluation of the level of consciousness. Unfortunately, compact and easy-to-use devices are not commercially available. In this study a portable battery-powered device for clinical auditory ERP measurements was designed, constructed and validated. The device consists of a five-channel data logger and a 16-bit stereo audio stimulator. The signals are digitized with a 22-bit sigma-delta analogue-to-digital converter and stored to a PC Card hard disk. Prior to the in vivo application, the device was validated with extensive technical tests. Importantly, the RMS noise amplitude of the EEG channels was found to be less than 1 mivroV and the delivered auditory stimulus intensity corresponded accurately the settings (mean difference 0.2+/-0.5 dB). In addition to technical tests the device was successfully validated in vivo. To summarize, a novel portable instrument for measurement of auditory event-related potentials in intensive care environment is introduced.     

On Definability in Dependence Logic

We study the expressive power of open formulas of dependence logic introduced in Väänänen [Dependence logic (Vol. 70 of London Mathematical Society Student Texts), 2007]. In particular, we answer a question raised by Wilfrid Hodges: how to characterize the sets of teams definable by means of identity only in dependence logic, or equivalently in independence friendly logic.     

Evaluation of the HUT modified snow emission model over lake ice using airborne passive microwave measurements

The algorithms designed to estimate snow water equivalent (SWE) using passive microwave measurements falter in lake-rich high-latitude environments due to the emission properties of ice covered lakes on low frequency measurements. Microwave emission models have been used to simulate brightness temperatures (Tbs) for snowpack characteristics in terrestrial environments but cannot be applied to snow on lakes because of the differing subsurface emissivities and scattering matrices present in ice. This paper examines the performance of a modified version of the Helsinki University of Technology (HUT) snow emission model that incorporates microwave emission from lake ice and sub-ice water. Inputs to the HUT model include measurements collected over brackish and freshwater lakes north of Inuvik, Northwest Territories, Canada in April 2008, consisting of snowpack (depth, density, and snow water equivalent) and lake ice (thickness and ice type). Coincident airborne radiometer measurements at a resolution of 80 × 100 m were used as ground-truth to evaluate the simulations.The results indicate that subsurface media are simulated best when utilizing a modeled effective grain size and a 1 mm RMS surface roughness at the ice/water interface compared to using measured grain size and a flat Fresnel reflective surface as input. Simulations at 37 GHz (vertical polarization) produce the best results compared to airborne Tbs, with a Root Mean Square Error (RMSE) of 6.2 K and 7.9 K, as well as Mean Bias Errors (MBEs) of −8.4 K and −8.8 K for brackish and freshwater sites respectively. Freshwater simulations at 6.9 and 19 GHz H exhibited low RMSE (10.53 and 6.15 K respectively) and MBE (−5.37 and 8.36 K respectively) but did not accurately simulate Tb variability (R = −0.15 and 0.01 respectively). Over brackish water, 6.9 GHz simulations had poor agreement with airborne Tbs, while 19 GHz V exhibited a low RMSE (6.15 K), MBE (−4.52 K) and improved relative agreement to airborne measurements (R = 0.47). Salinity considerations reduced 6.9 GHz errors substantially, with a drop in RMSE from 51.48 K and 57.18 K for H and V polarizations respectively, to 26.2 K and 31.6 K, although Tb variability was not well simulated. With best results at 37 GHz, HUT simulations exhibit the potential to track Tb evolution, and therefore SWE through the winter season.     

Correcting for the influence of frozen lakes in satellite microwave radiometer observations through application of a microwave emission model

The spatial resolution of passive microwave observations from space is of the order of tens of kilometers with currently available instruments, such as the Special Sensor Microwave/Imager (SSM/I) and Advanced Microwave Scanning Radiometer (AMSR-E). The large field of view of these instruments dictates that the observed brightness temperature can originate from heterogeneous land cover, with different vegetation and surface properties.In this study, we assess the influence of freshwater lakes on the observed brightness temperature of AMSR-E in winter conditions. The study focuses on the geographic region of Finland, where lakes account for 10% of the total terrestrial area. We present a method to mitigate for the influence of lakes through forward modeling of snow covered lakes, as a part of a microwave emission simulation scheme of space-borne observations. We apply a forward model to predict brightness temperatures of snow covered sceneries over several winter seasons, using available data on snow cover, vegetation and lake ice cover to set the forward model input parameters. Comparison of model estimates with space-borne observations shows that the modeling accuracy improves in the majority of examined cases when lakes are accounted for, with respect to the case where lakes are not included in the simulation. Moreover, we present a method for applying the correction to the retrieval of Snow Water Equivalent (SWE) in lake-rich areas, using a numerical inversion method of the forward model. In a comparison to available independent validation data on SWE, also the retrieval accuracy is seen to improve when applying the influence of snow covered lakes in the emission model.     

High-Energy Physics on the Grid: the ATLAS and CMS Experience

In this paper we present the experience of the ATLAS and CMS High-Energy Physics (HEP) experiments at the Large Hadron Collider (LHC) with the LCG/EGEE Grid infrastructure. The activity developed around the following two main lines: large-scale physics and detector simulations and end-user analysis. The LCG/EGEE Grid infrastructure offers a large amount of computing and storage resources and is growing very rapidly. It provides the natural environment for large-scale physics and detector simulations. Also, the analysis of these detector simulation data (and in the near future of the reconstructed data from physics collisions) requires efficient end-users access to Grid resources. In this paper, the main findings and lessons learned in terms of performance, robustness and scalability of the whole system are discussed in detail.     

A new bound for the D0L sequence equivalence problem

The D0L sequence equivalence problem consists of deciding, given two morphisms , and a word , whether or not g ⁱ (w) = h ⁱ (w) for all i ≥ 0. We show that in case of smooth and loop-free morphisms, to decide the D0L sequence equivalence problem, it suffices to consider the terms of the sequences with , where n is the cardinality of X.     

Numerical optimization of conduction cooled current leads for low current applications

The basic design principles of current leads for superconducting magnets are well established but HTS materials and conduction cooled systems call for new numerical methods. In this paper the design of current leads was formulated as an optimization problem. Both time integration and finite differencing were examined as possible ways to compute the temperature distribution inside the leads. Three examples about optimization of conduction cooled as well as gas cooled systems are presented. First, the design of tubular normal conducting gas cooled current leads was studied. Second, normal conducting leads cooled with a two-stage cryocooler were examined. Third, the optimization was applied to current leads consisting of HTS tapes at the low temperature end of a normal conducting bar. The study took into account the magnetic field and temperature dependent voltage-current characteristics of the anisotropic Bi-2223 material. The results are compared with traditional analytical ones and the numerical optimization is shown to be an efficient design tool for both normal conducting and HTS current leads.     

Painless improvements to the review process

Although the review process is defined in an extremely formal way, each company normally has its own way of tailoring it, because staff tend to see formal reviews as too heavy a method for practical software development. These tailored versions differ in type and in the grade of formality. This paper introduces some easy ways to improve the review process. The goal is to find steps which are simple enough for the management and staff to accept and efficient enough to improve the review process.     

On the system of word equations x i 1 x i 2…x i m=y i 1 y i 2…y i n (i=1, 2, …) in a free monoid

 It is proved that the system of word equations x ⁱ ₁=y ⁱ ₁ y ⁱ ₂…y ⁱ _n , i=1, 2,…, ⌈n/2⌉ +1, has only cyclic solutions. Some sharpenings concerning the cases n=5, 7 and n≥9 are derived as well as results concerning the general system of equations x ⁱ ₁ x ⁱ ₂…x ⁱ _m =y ⁱ ₁ y ⁱ ₂…y ⁱ _n , i=1, 2,… . Applications to test sets of certain bounded languages are considered. Received: 18 May 1995/2 January 1996