We present a general technique to solve Partial Differential Equations, called robust stencils, which make them tolerant to soft faults, i.e. bit flips arising in memory or CPU calculations. We show how it can be applied to a two-dimensional Lax-Wendroff solver. The resulting 2D robust stencils are derived using an orthogonal application of their 1D counterparts. Combinations of 3 to 5 base ste...

First of all, in this paper we propose a family of fuzzy implication operators, which the generalised Luckasiewicz ́s one, and to analyse the impacts of Smets and Magrez properties on these operators. The result of this approach will be a characterisation of a proposed family of inclusion grade operators (in Bandler and Kohout ́s manner) that satisfies the axioms of Divyendu and Dogherty. Second,...

The iSAT algorithm aims at solving boolean combinations of linear and non-linear arithmetic constraint formulas (including transcendental functions), and thus is suitable to verify safety properties of systems consisting of both, linear and non-linear behaviour. The iSAT algorithm tightly integrates interval constraint propagation into the conflict-driven clauselearning framework. During the so...

Triple-correlation-based representations of images have recently been combined with neural network architectures to derive invariant, with respect to translation, rotation and dilation, robust classification of images. Multiresolution image analysis is used in this paper to reduce the size of these representations in an optimal way, based on autoassociative linear networks. Hierarchical neural ...

Triple-negative breast cancer (TNBC) shows more aggressive clinical behavior and poorer outcome than non-triple-negative breast cancer (NTNBC), and cannot be treated either via endocrine therapy or by Trastuzumab. For TNBC, chemotherapy is currently the mainstay of systemic medical treatment, the lack of more efficient options of treatment has been a problem in breast cancer prevention. In this...

Eukaryotic and archaeal DRG factors are highly conserved proteins with characteristic GTPase motifs. This suggests their implication in a central biological process, which has so far escaped detection. We show here that the two Saccharomyces cerevisiae DRGs form distinct complexes, RBG1 and RBG2, and that the former co-fractionate with translating ribosomes. A genetic screen for triple syntheti...

BACKGROUND The increase in breast cancer risk during pregnancy and postpartum is well known; however, the molecular phenotype of breast cancers occurring shortly after pregnancy has not been well studied. Given this, we investigated whether nulliparity and the time interval since pregnancy among parous women affects the breast cancer phenotype in young women. MATERIALS AND METHODS We examined...

Glucose sensing by hypothalamic neurons triggers adaptive metabolic and behavioral responses. In orexin neurons, extracellular glucose activates a leak K(+) current promoting electrical activity inhibition. Sensitivity to external acidification and halothane, and resistance to ruthenium red designated the tandem-pore K(+) (K(2P)) channel subunit TASK3 as part of the glucose-induced channel. Her...

We perform classical molecular dynamics simulations to investigate the enhancement of the mass sensitivity and resonant frequency of graphene nanomechanical resonators that is achieved by driving them into the nonlinear oscillation regime. The mass sensitivity as measured by the resonant frequency shift is found to triple if the actuation energy is about 2.5 times the initial kinetic energy of ...

despite the various researches done in the field of the implication of colours, the studies related to the meaning of colours in blind poets’ works are almost rare. this is why this paper aims to deal with the implication of colours in the blind abbasid poet bashar ibn burd’s poetry. the paper studies the role of memory as well as of senses- other than vision- in bashar’s poetic function and th...