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     

Preparation and characterisation of α-methylstyrene–butadiene latexes for paper coating applications

The purpose of this work is to demonstrate how α-methylstyrene (AMS) can replace styrene in preparing styrene–butadiene (SB) type latexes and to compare the properties of the paper coating of the prepared α-methylstyrene–butadiene emulsion with the commercial styrene–butadiene latex reference sample. A lot of work is nowadays being conducted on different biorefinery concepts replacing fossil oil with biomass based raw materials due to the expected rise of the fossil oil cost. Aromatics can in principle be produced from renewable raw materials, such as lignin, sugars and terpenes for example. The potential methods include thermochemical conversions, catalytic fast pyrolysis, metabolic engineering, catalytic aromatisation and dehydrogenation among others. Terpenes, such as α-limonene and pinene, are possible sources of aromatics, and they can indeed be catalytically converted to p-cymene. Industrial hydrodealkylation and disproportionation processes developed by major petrochemical companies can further convert p-cymene to BTX aromatics or simultaneously dehydrogenate the alkyl chain of p-cymene to styrenic monomers such as α-methylstyrene. Based on the measured paper properties for uncalendered and calendered coated samples, AMS proved to be adequate to replace the oil based styrene in commercial reference SB latexes. Even though the emulsion polymerisation for the α-methylstyrene–butadiene latex was not optimised, almost all tested properties were at least equally good as in the commercial reference sample. α-Methylstyrene containing coating colours had slightly higher viscosity than the other coating colours. Coating colours containing α-methylstyrene seems to have an improved water retention compared to the commercial reference styrene–butadiene latex coating colour and the laboratory prepared styrene–butadiene coating colour. The paper coated with the commercial reference latex containing coating colour was less porous than the other coated papers. Despite of that, both dry and wet surface strength were at least equally good as in the case of the commercial reference latex. The results are promising when thinking of the future development of the bio-based latexes.