We propose a new algorithm for feedback nonlinear synthesis. The algorithm computes suboptimal solutions, with bounds on suboptimality, to the Hamilton-Jacobi-Bellman equation. For systems that are modeled with polynomials the computations can be done efficiently via semidefinite programming. To illustrate the strength of the proposed method, we computesmooth stabilizing feedback controllers for s

Popular Abstract in Swedish Immunologi står för läran om immunförsvaret. Under evolutionens gång har vårt immunförsvar utvecklats med oss, och skyddar oss effektivt mot många olika virus, bakterier, parasiter och oönskade främmande ämnen. Hos ryggradsdjuren har immunförsvaret utvecklats till ett komplext system där flera olika specialiserade celler och molekyler samverkar för att uppnå ett optimalLinomide is a potent immunomodulator that has been shown to inhibit autoimmunity in several animal models of autoimmune disease. We have approached the cellular and molecular mechanism of Linomide by investigating its effect on thymocyte development and its capacity to modulate the expression of activation markers on antigen presenting cells (APCs). We found that Linomide treatment of mice resulte

Using multiple receivers (microphones or antennas) in a rigid configuration, such as on a smartphone, it is possible to measure time difference of arrival to the receivers. This in turn can be used to determine the direction to the transmissions, if there are at least three receivers. When using two receivers it can be used to determine the angle to the transmissions relative to the line through t

Popular Abstract in Swedish Denna avhandling är en s.k. sammanläggningsavhandling och innehåller tre delarbeten. Delarbete I är publicerat, delarbete II är under revision inför publikation och delarbete III är i manuskriptform. Syftet med mina studier har varit att undersöka regleringen av insulinsekretion från de insulinproducerande cellerna i bukspottkörteln med fokus på ett specifikt protein - Pancreatic beta-cell dysfunction and insulin resistance are the two hallmarks of type 2 diabetes. An early sign of beta-cell dysfunction is impaired nutrient-induced insulin release. Several insulin secretagogues act by increasing the formation of intracellular cAMP. Thus, accurate regulation of cAMP is of vital importance for the ability of the beta-cell to respond properly to these stimuli. The

Abstract in UndeterminedWhy should one hold that the world is a world of tropes? Or, more generally: How do we justify our ontological conclusions? It seems clear that the only evidence at our disposal must belong to appearances. For a realist, however, it is unreasonable to think that our conceptualisation of reality will reveal to us reality as it is independently of how it seems. You simply can

In vitro studies have revealed intriguing properties of parallel fiber synaptic transmisson. Most notably, these synapses have been shown to induce highly variable synaptic responses, have a pronounced paired pulse facilitation and to induce later, variable synaptic responses in their target neurons. In the present study, whole cell recordings from stellate cells and basket cells were made to eval

Not available

This paper highlights the issues of detecting Java concurrency bugs using static code analysis tools. Concurrency bugs are often hard to find because of interleaving threads and there is need to use static analysis tools to detect the concurrency bugs. In the literature review, we established that there are number of static analysis tools such as FindBugs, JLint and Chord, used in experiments to d