On the uniqueness of some helical flows of a second grade fluid

Summary The uniqueness of some helical flows of a second grade fluid, between two infinite circular cylinders, is proved. Initially, the fluid is at rest and flow is produced by the motion of the cylinders. Finally, the special case of a flow in a circular cylinder is considered.     

On absolute (robust) stability: slope restrictions andstability multipliers

Absolute stability for systems with several sector‐restricted and slope‐restricted nonlinearities is studied in this paper. A critical analysis of the multipliers is performed and the multipliers of Yakubovich type are chosen because the stability inequality is obtained with a minimum of technical assumptions. The main part of the paper is devoted to obtaining the Yakubovich‐type criterion in the unified context of stable, critical, and unstable cases for the linear part. The paper is motivated by the problem of pilot in‐the‐loop oscillations of the aircrafts where critical and unstable cases appear and the saturation nonlinearity is both sector and slope restricted. The paper contains some applications of the frequency domain inequalities. The conclusions show a ‘parsimony principle’: using as few free parameters as possible to obtain the largest possible domain of stability. The paper ends with conclusions and hints for further development. Copyright © 2011 John Wiley & Sons, Ltd.     

Starting solutions for some unsteady unidirectional flows of a second grade fluid

Exact solutions corresponding to the motions of a second grade fluid, due to the cosine and sine oscillations of an infinite flat plate as well as those induced by an oscillating pressure gradient are determined by means of the Fourier sine transforms. These solutions, presented as sum of the steady-state and transient solutions, satisfy both the governing equations and all associate initial and boundary conditions. In the special case when α₁ → 0, they reduce to those for a Navier-Stokes fluid.     

On Expressivity and Compositionality in Logics for Coalgebras

This paper attempts to unify some of the existing approaches to defining modal logics for coalgebras, from the point of view of constructing the languages employed by these logics. An abstract framework for defining languages for coalgebras from so-called language constructors, corresponding to one-step unfoldings of the coalgebraic structure, is introduced, and a method for deriving expressive languages for coalgebras from suitable choices for the language constructors is described. Moreover, it is shown that the derivation of such languages by means of language constructors is well-behaved w.r.t. various forms of composition between coalgebraic types.     

Replacing the Burden of the Gluten Free Diet: Then,Now, and the Future

Without a doubt, a majority of diseases are food-pattern-related. However, one disease stands out as an increasingly more common autoimmune-mediated enteropathy triggered by the ingestion of gluten. Celiac disease (CD) is an old disease, with changing clinical patterns, affecting any age, including infancy and adolescence, and becoming more frequent among the elderly. The gluten-free diet (GFD) has been the sole provider of clinical, serological, and histological improvement for patients with CD for more than seven decades. Nowadays, complete avoidance of dietary gluten is rarely possible because of the wide availability of wheat and other processed foods that contain even more gluten, to the detriment of gluten-free products. Undeniably, there is a definite need for replacing the burdensome GFD. An add-on therapy that could control the dietary transgressions and inadvertent gluten consumption that can possibly lead to overt CD should be considered while on GFD. Nevertheless, future drugs should be able to provide patients some freedom to self-manage CD and increase food independence, while actively reducing exposure and mucosal damage and alleviating GI symptoms. Numerous clinical trials assessing different molecules have already been performed with favorable outcomes, and hopefully they will soon be available for patient use.     

High Glucose-Induced Cardiomyocyte Damage Involves Interplay between Endothelin ET-1/ETA/ETB Receptor and mTOR Pathway

Patients with type two diabetes mellitus (T2DM) are at increased risk for cardiovascular diseases. Impairments of endothelin-1 (ET-1) signaling and mTOR pathway have been implicated in diabetic cardiomyopathies. However, the molecular interplay between the ET-1 and mTOR pathway under high glucose (HG) conditions in H9c2 cardiomyoblasts has not been investigated. We employed MTT assay, qPCR, western blotting, fluorescence assays, and confocal microscopy to assess the oxidative stress and mitochondrial damage under hyperglycemic conditions in H9c2 cells. Our results showed that HG-induced cellular stress leads to a significant decline in cell survival and an impairment in the activation of ET_A-R/ET_B-R and the mTOR main components, Raptor and Rictor. These changes induced by HG were accompanied by a reactive oxygen species (ROS) level increase and mitochondrial membrane potential (MMP) loss. In addition, the fragmentation of mitochondria and a decrease in mitochondrial size were observed. However, the inhibition of either ET_A-R alone by ambrisentan or ET_A-R/ET_B-R by bosentan or the partial blockage of the mTOR function by silencing Raptor or Rictor counteracted those adverse effects on the cellular function. Altogether, our findings prove that ET-1 signaling under HG conditions leads to a significant mitochondrial dysfunction involving contributions from the mTOR pathway.     

Assume,guarantee or repair: a regular framework for non regular properties

We present Assume-Guarantee-Repair (AGR)—a novel framework which verifies that a program satisfies a set of properties and also repairs the program in case the verification fails. We consider communicating programs—these are simple C-like programs, extended with synchronous actions over communication channels. Our method, which consists of a learning-based approach to assume–guarantee reasoning, performs verification and repair simultaneously: in every iteration, AGR either makes another step towards proving that the (current) system satisfies the required properties, or alters the system in a way that brings it closer to satisfying the properties. To handle infinite-state systems we build finite abstractions, for which we check the satisfaction of complex properties that contain first-order constraints, using both syntactic and semantic-aware methods. We implemented AGR and evaluated it on various communication protocols. Our experiments present compact proofs of correctness and quick repairs.