The kidneys represent one of the main targets of ochratoxin A (OTA), a secondary fungal metabolite that is produced by certain species of Aspergillus and Penicillium. OTA has the ability to disturb Madin-Darby canine kidney (MDCK) cell pH homeostasis, leading to intracellular alkalinization and morphological alterations resembling those that occur when MDCK cells are exposed to transient alkali...

Plantaricin EF and JK are both two-peptide bacteriocins produced by Lactobacillus plantarum C11. The mechanism of plantaricin EF and JK action was studied on L. plantarum 965 cells. Both plantaricins form pores in the membranes of target cells and dissipate the transmembrane electrical potential (Deltapsi) and pH gradient (DeltapH). The plantaricin EF pores efficiently conduct small monovalent ...

We extend fenced separation logic (FSL), a program logic for reasoning about C11 relaxed access and memory fences. Our extensions to FSL allow us to handle concurrent algorithms appearing in practice. New features added to FSL allow for reasoning about concurrent nonatomic reads, atomic updates, ownership transfer via release sequences, and ghost state. As a demonstration of power of the extend...

The C11 standard of the C programming language describes dynamic typing restrictions on memory operations to make more effective optimizations based on alias analysis possible. These restrictions are subtle due to the low-level nature of C, and have not been treated in a formal semantics before. We present an executable formal memory model for C that incorporates these restrictions, and at the ...

2014 The elastic constants of cyanoadamantane have been measured in the plastic and « glassy » crystal phases. A special attention has been given to the temperature evolution of C11 as well as to the damping of the corresponding mode. Comparison with neutron results shows a strong dispersion at room temperature. The temperature dependence of C11 in the plastic phase has been explained by the se...

declarator: | pointer| ioption(pointer) direct_abstract_declarator{} direct_abstract_declarator:| LPAREN save_context abstract_declarator RPAREN| direct_abstract_declarator? LBRACK ioption(type_qualifier_list) assignment_expression? RBRACK| direct_abstract_declarator? LBRACK STATIC type_qualifier_list? assignment_expression RBRACK| direct_abstract_declarator? LBRACK type...

This report explores the way LLVM generates the memory barriers needed to support the C11/C++11 atomics for ARM. I measure the influence of memory barriers on performance, and I show that in some cases LLVM generates too many barriers. By leaving these barriers out, performance increases significantly. I introduce two LLVM passes, which will remove these extra barriers, improving performance in...

The rise of multicore processors has made concurrency ubiquitous. In response, mainstream languages have begun to offer primitives for concurrent programming. To avoid the cost of inter-core synchronisation, the new C/C++ standard, C11 [2, 3], offers weakly consistent relaxed operations, alongside traditional reads, writes and mutexes. When using relaxed operations, different threads may see di...

Non-cytotoxic concentrations (1.5, 3 and 6 microM) of sodium arsenite (SA) were used to study its cytogenetic effects with special reference to the frequency and nature of chromosomal aberrations on the X chromosome at Xq21 and at centromeric regions in CHO9, EM-C11, V79, V-H4 and CHE cell lines using Giemsa and FISH techniques. A high frequency of chromosomal breakpoints was distributed on the...