Search results

We introduce lower-bound certificates for classical planning tasks, which can be used to prove the unsolvability of a task or the optimality of a plan in a way that can be verified by an independent third party. We describe a general framework for generating lower-bound certificates based on pseudo-Boolean constraints, which is agnostic to the planning algorithm used. As a case study, we show how

To help meet emission standards, hydrogen sulfide (H2S) from geothermal production may be injected back into the subsurface, where basalt offers, in theory, the capacity to mineralize H2S into pyrite. Ensuring the viability of this pollution mitigation technology requires information on how much H2S is mineralized, at what rate and where. To date, monitoring efforts of field-scale H2S reinjection

Evaluating the subground properties during the initial stage of a construction of building is important in order to estimate the suitability of soil quality to the technical requirements of bearing capacity, resistance to stress, and strength. This study presented the evaluation of the geotechnical properties of soil intended for the construction of Max IV facility of Lund University, performed in

Effekter på mossammansättning vid avverkningar i tallskog i södra Sverige Andelen skyddad skog är idag låg och för att ta reda på hur arter och mångfald kan bevaras måste produktionsskog studeras. Bottenskiktet i form av t.ex. mossor har stor betydelse för förekomst av andra artgrupper och även kommersiellt vid skogsföryngring. Sedan tidigare finns studier på långtidseffekter av kalavverkning me

Motivation and identity have been vastly investigated within second language acquisition (SLA). These issues are restrained by their complex and dynamic natures, which indicate that they are far from easy to research. The purpose of this essay was to continue traditional areas of research in order to add to empirical knowledge. The attempt was to show that systematic research is necessary in order

It is important to measure the relative humidity, RH, level in a concrete slab before applying semi permeable flooring to the surface. If the moisture level in the concrete is too high when the flooring is applied the high alkali level in combination with the moisture will degrade the adhesive. This paper describes a new system used to continuously measure and monitor RH in situ during the constru

Renardus is a distributed Web-based service, which provides integrated searching and browsing access to quality-controlled Web resources. With the overall purpose of improving Renardus, the research aims to study: the detailed usage patterns (quantitative/qualitative, paths through the system); the balance between browsing and searching or mixed activities; typical sequences of usage steps and tra

The use of accelerometers has become an important part of biologging techniques for large-sized birds with accelerometer data providing information about flight mode, wing-beat pattern, behaviour and energy expenditure. Such data show that birds using much energy-saving soaring/gliding flight like frigatebirds and swifts can stay airborne without landing for several months. Successful acceleromete