Conducting security tests such as vulnerability discovery within Industrial Control Systems (ICS) help reduce their vulnerability to cyber attacks. Unfortunately, the extreme availability requirements on ICS in operation make it difficult to conduct security tests in practice. For this reason, researchers and practitioners turn to testbeds that mimic real ICS. This study surveys ICS testbeds th...

Zum automatisierten Messen, Steuern und Regeln und zur Produktionsüberwachung kommen in vielen industriellen Bereichen sogenannte Industrial Control Systems (ICS) zum Einsatz. Die Verbreitung standardisierten IT-Komponenten und die zunehmenden Vernetzungen der Systeme setzen die Systeme heute ähnlichen Gefährdungen aus wie in der klassischen Informationstechnik. Dabei haben ICS abweichende Anfo...

The use of inhaled corticosteroids (ICS) in the treatment of chronic obstructive pulmonary disease (COPD) has been widely debated [1–3]. Treatment guidelines have suggested that their prescription be limited to COPD patients with severe airflow limitation at high risk of exacerbations, who remain symptomatic after regular use of one or two long-acting bronchodilators [4]. Nevertheless, ICS have...

Although the dysglycemic effects of systemic glucocorticoid therapy are well known, the effect of inhaled corticosteroids (ICS) on carbohydrate metabolism is still a subject of debate. The systemic bioavailability of ICS is claimed to be minimal and the side effects negligible. However, some large retrospective cohort studies showed a definite association between ICS use and incident diabetes o...

Formal analyses can provide valuable assurance for high confidence software and systems. The analyses can range from strong typechecking through test case generation and static analysis to model checking and full verification. In all cases, the tools that support the analyses use formal deduction in some way or other. ICS is a fully automatic, high-performance decision procedure for a broad com...

Chronic obstructive pulmonary disease (COPD) guidelines suggest using inhaled corticosteroids (ICS) in patients with severe airflow limitation or those at high risk of exacerbations. This recommendation is based on evidence demonstrating that ICS, especially when prescribed in fixed-dose combinations (FDC) with long-acting β2 agonists (LABA), improve quality of life (QoL), decrease exacerbation...

Extracellular K+-dependent H+ extrusion after an acute acid load, an index of H/K exchange, was monitored in intercalated cells (ICs) from rat cortical collecting tubule (CCT) using ratiometric fluorescence imaging of the intracellular pH (pHi) indicator, 2',7'-bis(2-carboxyethyl)-5(6)-carboxyfluorescein (BCECF). The hypothesis tested was that 12- to 14-day NaCl deprivation increases H-K-ATPase...

BACKGROUND The importance of airway inflammation has been highlighted in the pathophysiology of asthma. Even in controlled asthmatics treated with inhaled corticosteroid (ICS), residual airway inflammation is reported. Systemic therapy with oral leukotriene receptor antagonist, pranlukast, may have additive effects to improve asthma control. METHODS Twenty-five controlled asthmatics treated w...

Graphene/silicon CMOS hybrid integrated circuits (ICs) should provide powerful functions which combines the ultra-high carrier mobility of graphene and the sophisticated functions of silicon CMOS ICs. But it is difficult to integrate these two kinds of heterogeneous devices on a single chip. In this work a low temperature process is developed for integrating graphene devices onto silicon CMOS I...

Inhaled corticosteroids (ICS) are now very widely used in high doses in the management of COPD patients. In sharp contrast to the situation in asthma, ICS provide little or no benefit in COPD patients and may have long-term detrimental effects. High doses of ICS fail to reduce disease progression or mortality, even when combined with a long-acting beta(2)-agonist (LABA). Several trials have dem...