Search results

Correct-by-construction synthesis of high-level reactive control relies on the use of formal methods to generate controllers with provable guarantees on their behavior. While this approach has been successfully applied to a wide range of systems and environments, it scales poorly. A receding horizon framework mitigates this computational blowup, by decomposing the global control problem into sever

AbstractObjectiveTo study the immediate effects of Roux-en-Y gastric bypass (RYGB) on glucose homeostasis, insulin, and incretin responses to mixed-meal tests compared with the effects of calorie restriction (CR).SettingUniversity-affiliated bariatric surgery clinic.BackgroundRYGB induces remission of type 2 diabetes (T2 D) long before significant weight loss occurs. The time course and underlying

The effect of process stream recirculation on ethanol production from steam- pretreated softwood based on simultaneous saccharification and fermentation (SSF) was investigated for two process configurations. In the first configuration, a part of the stillage stream after distillation was recycled and, in the second configuration, the liquid after SSF was recycled. The aim was to minimize the energ

Programmes driving ELT design are discussed. The nature and evolution of circum-stellar shells and planetary discs are attractive, while the small angular sizes place basic properties, asymmetry and warps, beyond VLT capability. An ELT is neeed to reveal the conversion processes shell - disc - planets, planetary systems, Earth-like planets, habitability and life signatures. Formation and evolution

Acquisition of homozygous activating growth factor receptor mutations might accelerate cancer progression through a simple gene-dosage effect. Internal tandem duplications (ITDs) of FLT3 occur in approximately 25% cases of acute myeloid leukemia and induce ligand-independent constitutive signaling. Homozygous FLT3-ITDs confer an adverse prognosis and are frequently detected at relapse. Using a mou

OBJECTIVES: Prostate specific antigen (PSA) is a widely used and clinically valuable marker for prostate disease. In order to enable the development of new PSA assays and progress the understanding of the biology of PSA we have analyzed PSA in seminal plasma. Design and methods PSA in seminal plasma from men attending a fertility clinic and healthy controls was analyzed using SDS-PAGE, Western blo

Software process simulation can be a valuable support for process analysis and improvement provided the respective model development can focus on the issues at hand without spending effort on basically modeling everything from scratch. Rather, the modeling groundwork should readily be available as building blocks for (re)use. In the domain of software engineering, the work-test-rework cycle is one

Purpose - The purpose of this paper is to find out the applicability of the many-body dissipative particle dynamics (MDPD) method for various real fluids by specifically focusing on the effects of the MDPD parameters on the MDPD fluid properties. Design/methodology/approach - In this study, the MDPD method based on van der Waals (vdw) equation of state is employed. The simulations are conducted by

Normal ageing in men is associated with a physiological decline in testosterone levels, but adverse environmental or psychosocial factors may also impair testosterone secretion and cause secondary biological changes. In a number of observational or experimental studies in both animals and man, it has been possible to study the influences on gonadal function of stressful life situations. To underst

Popular Abstract in Swedish Miljöhänsyn vid produktutveckling hanteras alltmer inom ramen för arbetet i certifierbara miljöledningssystem exempelvis enligt den internationella standarden ISO 14001. Detta innebär att industrin i allt högre grad sätter mål och delegerar ansvar för en kontinuerlig förbättring av produkters miljöprestanda inom ramen för speciella miljöledningsprogram för produktutveckEnvironmental considerations in product development are increasingly dealt with in the framework of certified environmental management systems such as ISO 14001. This allows industry to set objectives and assign responsibility for continuous improvement for DFE activities and environmental performance of products in DFE management programs. This thesis presents a general model for DFE management p

Transplantation of progenitor cells to the CNS has shown promise in neuronal and glial replacement and as a means of rescuing host neurons from apoptosis. Here we examined the effect of progenitor grafts on neurite extension in the degenerating retina of rd1 ( retinal degeneration 1) mice. Transplantation of retinal progenitor cells induced increased matrix metalloproteinase-2( MMP2) secretion, pa