Filtyp
Controller synthesis for nonlinear systems is considered with the following objective: No trajectory starting from a given set of initial states is allowed to enter into a given set of forbidden (unsafe) states. A methodology for safety verification using barrier certificates has recently been proposed. Here it is shown how a safe control law together with a corresponding barrier certificate can b
Given the strong coupling between the carbon (C) and nitrogen (N) cycles, there is substantial interest in understanding how N availability affects C cycling in terrestrial ecosystems, especially in ecosystems limited by N. However, most studies in temperate and boreal forests have focused on the effects of N addition on tree growth. By comparison, less is known about the effects of N availability
The centenarian Tröger’s base (TB) was envisaged as scaffold for the construction of tubular-shaped cleft molecules due to its the remarkable structural properties. This endeavor started with the synthesis of the three possible diastereomers of a linear symmetrically fused tris-TB analogue, the anti-anti, the syn-syn, and the syn-anti. All three diastereomers showed unprecedented stability to acid
Usage profiles are an important factor in software system reliability estimation. To assess the sensitivity of a system’s reliability to changes in the usage profile, a Markov based system model is used. With the help of this model, the statistical sensitivity to many independent changes can be estimated. The theory supports both absolute and relative changes and can be used for systems with or wi
III-V compound materials have long been used in RF applications in high-electron-mobility-transistors (HEMTs) and bipolar-junction-transistors (BJTs). Now, III-V is also being viewed as a material candidate for replacing silicon in the n-channel in CMOS processes for increased drive currents and reduced power consumption in future nodes. Another alternative to increase the drive current is to use III-V compound materials have long been used in RF applications in high-electron-mobility-transistors (HEMTs) and bipolar-junction-transistors (BJTs). Now, III-V is also being viewed as a material candidate for replacing silicon in the n-channel in CMOS processes for increased drive currents and reduced power consumption in future nodes. Another alternative to increase the drive current is to use
The paper analyses dwell time delays for commuter trains in Stockholm andTokyo. In both cities, small dwell time delays of at most five minutes makeup around 90% of the total delays. Therefore, it is valuable to understandand deal with these disturbances. To this end, we use high resolution data ondwell times and passenger counts from both countries over the last severalyears. We find that these d
The orthodox definition of hope suffers from an exclusion problem: it is unable to exclude subjects without hope. In fact, the orthodox definition even allows for despair to be falsely classified as hope. This problem suggests two basic desiderata for a successful analysis of hope; it should solve the exclusion problem, and it should have the resources to explain why, in a given situation, a subje
The orthodox definition of hope suffers from an exclusion problem: it is unable to exclude subjects without hope. In fact, the orthodox definition even allows for despair to be falsely classified as hope. This problem suggests two basic desiderata for a successful analysis of hope: it should solve the exclusion problem, and it should have the resources to explain why, in a given situation, a subje
Relationships between health professionals and pharmaceutical manufacturers can unduly influence clinical practice. These relationships are the focus of global transparency efforts, including in Europe. We conducted a descriptive content analysis of the transparency provisions implemented by February 2017 in nine European Union countries concerning payments to health professionals, with duplicate Relationships between health professionals and pharmaceutical manufacturers can unduly influence clinical practice. These relationships are the focus of global transparency efforts, including in Europe. We conducted a descriptive content analysis of the transparency provisions implemented by February 2017 in nine European Union (EU) countries concerning payments to health professionals, with dupli
A diabetic foot ulcer (DFU) is a common and serious complication of diabetes. It is today the leading cause of amputations and is associated with both increased morbidity and mortality. Individuals with DFU have 2.5 times higher mortality rates compared to patients with diabetes but without DFU, a risk that persists even after ulcer healing. Macrovascular complications, such as a higher burden of A diabetic foot ulcer (DFU) is a common and serious complication of diabetes. It is today the leading cause of amputations and is associated with both increased morbidity and mortality. Individuals with DFU have 2.5 times higher mortality rates compared to patients with diabetes but without DFU, a risk that persists even after ulcer healing. Macrovascular complications, such as a higher burden of
Clean gas turbine combustion research has gained popularity in power generation and propulsion industry in recent days. Present days, advanced efficient emission (NOx, CO and UHC) reduction combustion technologies are acknowledged for using the lean premixed combustion system. To support continuous development of eco-friendly combustion system, a 4th generation dry low NOx prototype downscaled bur
The question whether a single extreme climate event, such as a hurricane or heatwave, can be attributed to human induced climate change has become a vibrant field of research and discussion in recent years. Proponents of the most common approach (probabilistic event attribution) argue for using single event attribution for advancing climate policy, not least in the context of loss and damages, whiThe question whether a single extreme climate event, such as a hurricane or heatwave, can be attributed to human induced climate change has become a vibrant field of research and discussion in recent years. Proponents of the most common approach (probabilistic event attribution) argue for using single event attribution for advancing climate policy, not least in the context of loss and damages, whi
Social services are adapting to an increasingly digital environment, with municipalities expected to engage citizens through digital channels. This study investigates how clients seeking social assistance perceive and use digital tools as well as the challenges and opportunities that arise when implementing such technologies in line with public service values. The analysis draws on municipal digit
Diffusion MRI uses the random displacement of water molecules to sensitize the signal to brain microstructure and to properties such as the density and shape of cells. Microstructure modeling techniques aim to estimate these properties from acquired data by separating the signal between virtual tissue 'compartments' such as the intra-neurite and the extra-cellular space. A key challenge is that th
