Filtyp
This paper explores a formally grounded ap- proach to solve the problem of dynamic binding in service- oriented software architecture. Dynamic binding is a widely adopted mean to automatically bind exposed software interfaces to actual implementations. The execution of an operation on one or another implementation, though providing the same result, could turn out in different quality of service, e
A new numerical model was developed to simulate regional sediment transport and shoreline response in the vicinity of tidal inlets based on the one-line theory combined with the reservoir analogy approach for volumetric evolution of inlet shoals. Sand bypassing onshore and sheltering effects on wave action from the inlet bar and shoals were taken into account. The model was applied to unique field
Based on previous results on linear predictors and Kalman filter, this paper will formulate multi-step-ahead multi-variate predictors for application in multi-step-ahead predictive control.
We report on a revisit in 2009 to sites where vegetation was recorded in 1967 and 1970 on Disko Island, West Greenland. Re-sampling of the same clones of the grass Phleum alpinum after 39 years showed complete stability in biometrics but dramatic earlier onset of various phenological stages that were not related to changes in population density. In a fell-field community, there was a net species l
Climate warming is expected to alter hydropower generation in California through affecting the annual stream-flow regimes and reducing snowpack. On the other hand, increased temperatures are expected to increase hydropower demand for cooling in warm periods while decreasing demand for heating in winter, subsequently altering the annual hydropower pricing patterns. The resulting variations in hydro
This thesis explores methods for solving the structure-and-motion problem in computer vision, the recovery of three-dimensional data from a series of two-dimensional image projections. The first paper investigates an alternative state space parametrization for use with the Kalman filter approach to simultaneous localization and mapping, and shows it has superior convergence properties compared wit
In this paper we consider the problem of outlier removal for large scale multiview reconstruction problems. An efficient and very popular method for this task is RANSAC. However, as RANSAC only works on a subset of the images, mismatches in longer point tracks may go ndetected. To deal with this problem we would like to have, as a post processing step to RANSAC, a method that works on the entire (
Condensation and evaporation modify the properties and effects of atmospheric aerosol particles. We studied the evaporation of aqueous succinic acid and succinic acid/ammonium sulfate droplets to obtain insights on the effect of ammonium sulfate on the gas/particle partitioning of atmospheric organic acids. Droplet evaporation in a laminar flow tube was measured in a Tandem Differential Mobility A
We consider robust output feedback distributed model predictive control (DMPC). The proposed controller is based on the results in [8] in which nominal stability and feasibility was proven for a DMPC-formulation without terminal constraint set or terminal cost in the optimization. We extend these results to show robust stability under state feedback as well as output feedback when dynamics and mea
This thesis presents models and methods for feedback-based resource management for cyber-physical systems. Common for the scenarios considered are severe resource constraints, uncertain and time-varying conditions and the goal of enabling flexibility in systems design rather than restricting it. A brief survey on reservation-based scheduling, an important enabling technology for this thesis, is pr
Rätten till domstolsprövning är en grundläggande rättighet som enligt art. 6.1 EKMR ska gälla samtliga mål som rör den enskildes civila rättigheter. I Sverige är detta gällande rätt sedan EKMR:s inkorporerande i svensk lag i och med en lagändring av 2 kap. RF. Det framgår i dagsläget genom 2 kap. 19 § RF att ingen författning får stiftas i strid mot EKMR. I FL finns även en allmän bestämmelse om öThe right to judicial review is a fundamental right which according to art. 6.1 ECHR shall apply to all cases concerning an individual's civil rights. In Sweden, this is established law since the ECHR's incorporation into Swedish law with a change of the chapter two in The Instrument of Government. It states that no law may be enacted in violation of the ECHR. In The Administrative Procedu
Dagens krav på läkemedel är höga, de ska t.ex. stanna kvar i kroppen under lång tid, ha lång hållbarhetstid och vara lätt att dosera. Att PEGylera ett läkemedel kan ge dessa egenskaper. Idag är dock denna tillverkningsprocess långsam och ger ett lågt utbyte. Size Exclusion Reaction Chromatography (SERC) är en ny teknik som förhoppningsvis ska förbättra denna process. Protein är idag vanligt föreko
Jokkmokks kommun har ända sedan 1960-talet haft en negativ befolkningsutveckling. Nu finns det i kommunen planer på att etablera en gruvverksamhet. Detta skulle kunna innebära nya möjligheter för kommunen. Syftet med studien är att undersöka hur Jokkmokks kommun på bästa sätt ska tillgodogöra sig de möjliga positiva samhällseffekter som en gruvetablering kan medföra. De frågor som ställs är: Vad k
We study the realizability and strong satisfiability problems for SAFETY LTL, a syntactic fragment of Linear Temporal Logic ([Formula presented]) capturing safe formulas. While it is well-known that realizability for this fragment lies in [Formula presented], the best-known lower bound is [Formula presented]-hardness. Surprisingly, closing this gap has proven an elusive task. Previous works have c
Perceiving and understanding human motion is a fundamental problem in computer vision, with diverse applications encompassing sports analytics, healthcare monitoring, entertainment, and intelligent interactive systems. Multi-camera systems, by capturing multiple viewpoints simultaneously, enable robust tracking and reconstruction of human poses in 3D, overcoming limitations of single-view approach
To solve the problem of fatigue of the UAV operator during long-term search and reconnaissance missions, a research hardware and software complex was created, in which the positioning of the auxiliary UAV video camera with a narrow field of view is carried out. Dynamixel Library for MATLAB and Simulink was used to organize the interaction of actuators with the virtual environment, which allows com
Extremely thinned layers and possible folding make the dating of the deepest sections of ice cores especially challenging. Cosmogenic radionuclides have the potential to provide independent age estimates. The 36Cl/10Be ratio is largely independent of production rate changes that affect individual radionuclides and has an effective half-life of 384 kyr, making it an ideal tool for dating the new 1.
During the Last Glacial Period (LGP), Greenland experienced approximately 30 abrupt warming phases, known as Dansgaard-Oeschger (D-O) events, followed by cooling back to baseline glacial conditions. Studies of mean climate change across warming transitions reveal indistinguishable phase offsets between shifts in temperature, dust, sea salt, accumulation, and moisture source, thus preventing a comp
One of the most challenging problems in paleoclimate research is how orbital cyclicities forced Earth’s climate variations during the late Quaternary. To address this issue, we investigated the differences in silicate weathering, a sensitive climate indicator, at different latitudes on orbital timescales by examining geochemical and clay mineral data from the mid-latitude Sea of Okhotsk and integr
