Observation of a nanophase segregation in LiCl aqueous solutions from Transient Grating Experiments

Transient Grating experiments performed on supercooled LiCl, RH2O solutions with R>6 reveal the existence of a strong, short time, extra signal which superposes to the normal signal observed for the R=6 solution and other glass forming systems. This extra signal shows up below 190 K, its shape and the associated timescale depend only on temperature, while its intensity increases with R. We show that the origin of this signal is a phase separation between clusters with a low solute concentration and the remaining, more concentrated, solution. Our analysis demonstrates that these clusters have a nanometer size and a composition which are rather temperature independent, while increasing R simply increases the number of these clusters.Comment: 19 pages+ 8 figures+ 2 table

Ergodicity breaking in strong and network-forming glassy system

The temperature dependence of the non-ergodicity factor of vitreous GeO$_2$, $f_{q}(T)$, as deduced from elastic and quasi-elastic neutron scattering experiments, is analyzed. The data are collected in a wide range of temperatures from the glassy phase, up to the glass transition temperature, and well above into the undercooled liquid state. Notwithstanding the investigated system is classified as prototype of strong glass, it is found that the temperature- and the $q$-behavior of $f_{q}(T)$ follow some of the predictions of Mode Coupling Theory. The experimental data support the hypothesis of the existence of an ergodic to non-ergodic transition occurring also in network forming glassy systems

The time course of ongoing activity during neuritis and following axonal transport disruption

Local nerve inflammation (neuritis) leads to ongoing activity and axonal mechanical sensitivity (AMS) along intact nociceptor axons, and disrupts axonal transport. This phenomenon forms the most feasible cause of radiating pain, such as sciatica. We have previously shown that axonal transport disruption without inflammation or degeneration also leads to AMS, but does not cause ongoing activity at the time point when AMS occurs, despite causing cutaneous hypersensitivity. However, there have been no systematic studies of ongoing activity during neuritis or non-inflammatory axonal transport disruption. In this study, we present the time course of ongoing activity from primary sensory neurons following neuritis and vinblastine-induced axonal transport disruption. Whereas 24% of C/slow Aδ-fiber neurons had ongoing activity during neuritis, few (<10%) A- and C-fiber neurons showed ongoing activity 1-15 days following vinblastine treatment. In contrast, AMS increased transiently at the vinblastine treatment site, peaking on day 4-5 (28% of C/slow Aδ-fiber neurons) and resolved by day 15. Conduction velocities were slowed in all groups. In summary, the disruption of axonal transport without inflammation does not lead to ongoing activity in sensory neurons, including nociceptors, but does cause a rapid and transient development of AMS. Since it is proposed that AMS underlies mechanically-induced radiating pain, and a transient disruption of axonal transport (as previously reported) leads to transient AMS, it follows that processes that disrupt axonal transport, such as neuritis, must persist to maintain AMS and the associated symptoms

Termination Casts: A Flexible Approach to Termination with General Recursion

This paper proposes a type-and-effect system called Teqt, which distinguishes terminating terms and total functions from possibly diverging terms and partial functions, for a lambda calculus with general recursion and equality types. The central idea is to include a primitive type-form "Terminates t", expressing that term t is terminating; and then allow terms t to be coerced from possibly diverging to total, using a proof of Terminates t. We call such coercions termination casts, and show how to implement terminating recursion using them. For the meta-theory of the system, we describe a translation from Teqt to a logical theory of termination for general recursive, simply typed functions. Every typing judgment of Teqt is translated to a theorem expressing the appropriate termination property of the computational part of the Teqt term.Comment: In Proceedings PAR 2010, arXiv:1012.455

Deteksi Penyebaran Geografis Penyakit CVPD di Bali Utara dengan Metode Polymerase Chain Reaction

Penelitian ini bertujuan mengevaluasi penyebaran geografis penyakit citrus vein phloem degeneration pada tanaman jeruk di Bali Utara hasil rehabilitasi jeruk, dilakukan di sepanjang Bali Utara pada ketinggian 10-1.000 m di atas permukaan laut dari berbagai keparahan gejala. Teknik deteksi CVPD yang digunakan adalah dengan metode polymerase chain reaction dengan tiga primer (oligenukleotida) spesifik CVPD O11, O12, dan OA1 yang sesuai untuk Liberobacter asiaticum dan Liberobacter africanum. Pelacakan DNA sampel yang teramplifikasi dilakukan pada 0,7% agarose dengan elektroforesis horisontal. Hasil observasi menunjukkan bahwa semua sampel asal pohon yang tidak bergejala memberikan reaksi PCR negatif. Sampel-sampel dengan gejala visual spesifik CVPD memberikan reaksi PCR positif. Hasil reaksi PCR selalu positif pada sampel-sampel dari pertanaman jeruk keprok tejakula pada ketinggian 10-700 m dpl. Pada ketinggian di atas 700 m dpl. tidak ditemukan hasil positif deteksi dengan PCR. Hasil penelitian ini dapat dimanfaatkan untuk menentukan strategi pengendalian CVPD di wilayah terinfeksi

Recent finding and new technologies in nephrolithiasis: a review of the recent literature

This review summarizes recent literature on advances regarding renal and ureteral calculi, with particular focus in areas of recent advances in the overall field of urolithiasis. Clinical management in everyday practice requires a complete understanding of the issues regarding metabolic evaluation and subgrouping of stone-forming patients, diagnostic procedures, effective treatment regime in acute stone colic, medical expulsive therapy, and active stone removal. In this review we focus on new perspectives in managing nephrolitihiasis and discuss recentadvances, including medical expulsive therapy, new technologies, and refinements of classical therapy such as shock wave lithotripsy, give a fundamental modification of nephrolithiasis management. Overall, this field appears to be the most promising, capable of new developments in ureterorenoscopy and percutaneous approaches. Further improvements are expected from robotic-assisted procedures, such as flexible robotics in ureterorenoscopy

Extracellular electrical signals in a neuron-surface junction: model of heterogeneous membrane conductivity

Signals recorded from neurons with extracellular planar sensors have a wide range of waveforms and amplitudes. This variety is a result of different physical conditions affecting the ion currents through a cellular membrane. The transmembrane currents are often considered by macroscopic membrane models as essentially a homogeneous process. However, this assumption is doubtful, since ions move through ion channels, which are scattered within the membrane. Accounting for this fact, the present work proposes a theoretical model of heterogeneous membrane conductivity. The model is based on the hypothesis that both potential and charge are distributed inhomogeneously on the membrane surface, concentrated near channel pores, as the direct consequence of the inhomogeneous transmembrane current. A system of continuity equations having non-stationary and quasi-stationary forms expresses this fact mathematically. The present work performs mathematical analysis of the proposed equations, following by the synthesis of the equivalent electric element of a heterogeneous membrane current. This element is further used to construct a model of the cell-surface electric junction in a form of the equivalent electrical circuit. After that a study of how the heterogeneous membrane conductivity affects parameters of the extracellular electrical signal is performed. As the result it was found that variation of the passive characteristics of the cell-surface junction, conductivity of the cleft and the cleft height, could lead to different shapes of the extracellular signals

Dialectica Categories for the Lambek Calculus

We revisit the old work of de Paiva on the models of the Lambek Calculus in dialectica models making sure that the syntactic details that were sketchy on the first version got completed and verified. We extend the Lambek Calculus with a \kappa modality, inspired by Yetter's work, which makes the calculus commutative. Then we add the of-course modality !, as Girard did, to re-introduce weakening and contraction for all formulas and get back the full power of intuitionistic and classical logic. We also present the categorical semantics, proved sound and complete. Finally we show the traditional properties of type systems, like subject reduction, the Church-Rosser theorem and normalization for the calculi of extended modalities, which we did not have before