Functional penetration of variability of motor neuron spike timing through a modulated neuromuscular system

Variability of the neuronal spike pattern is usually thought of in terms of the information that the different interspike intervals might be encoding. However, the very presence of the variability can have other kinds of functional significance. Here we consider the example of the B15/B16-ARC neuromuscular system of Aplysia, a model system for the study of neuromuscular modulation and control. We show that variability of motor neuron spike timing at the input to the system penetrates throughout the system, affecting all downstream variables including modulator release, modulator concentrations, modulatory actions, and the contraction of the muscle. Furthermore, not only does the variability penetrate through the system, but it is actually instrumental in maintaining its modulation and contractions at a robust, physiological level.     

Catalytic properties and electronic structure of copper ions in Cu-ZSM-5

The effect of ion exchange conditions, such as Si/Al ratio, precursor copper salt, pH and concentration of the solution, on the catalytic activity in SCR of NO by propane and on the electronic state of copper ions in Cu-ZSM-5 has been studied. The NO conversion in NO SCR by C₃H₈ has been found to reach a maximum value at Cu/Al ratio about 0.37–0.4 and remain constant at higher Cu/Al.

ESR and UV–vis DR spectroscopy have been used to elucidate stabilization conditions of copper ions in Cu-ZSM-5 zeolites as isolated Cu²⁺ ions, chain copper oxide structures and square-plain oxide clusters. The ability of copper ions for reduction and reoxidation in the chain structures may be responsible for the catalytic activity of Cu-ZSM-5. These transformations of copper ions are accompanied by the observation of intervalence transitions Cu²⁺–Cu⁺ and CTLM of the chain structures in the UV–vis spectra.     

Phase local approximation (PhaseLa) technique for phase unwrap from noisy data.

The local polynomial approximation (LPA) is a nonparametric regression technique with pointwise estimation in a sliding window. We apply the LPA of the argument of cos and sin in order to estimate the absolute phase from noisy wrapped phase data. Using the intersection of confidence interval (HCI) algorithm, the window size is selected as adaptive pointwise varying. This adaptation gives the phase estimate with the accuracy close to optimal in the mean squared sense. For calculations, we use a Gauss-Newton recursive procedure initiated by the phase estimates obtained for the neighboring points. It enables tracking properties of the algorithm and its ability to go beyond the principal interval [-pi, pi] and to reconstruct the absolute phase from wrapped phase observations even when the magnitude of the phase difference takes quite large values. The algorithm demonstrates a very good accuracy of the phase reconstruction which on many occasion overcomes the accuracy of the state-of-the-art algorithms developed for noisy phase unwrap. The theoretical analysis produced for the accuracy of the pointwise estimates is used for justification of the HCI adaptation algorithm.     

Thermoplastic extrusion—the mechanism of the formation of extrudate structure and properties

Systems processed by thermoplastic extrusion can be regarded as heterophase polymer melts of incompatible water-plasticized biopolymers. In the process of thermoplastic extrusion, proteins and polysaccharides are melted at high pressure and temperature below the temperature region of their thermal decomposition. Dispersed particles of these systems can be deformed in flow. The mixed-melt anisotropic structure, formed in flow, is fixed by rapid conversion of the melt jet that lets the extruder die from a viscous state to a rubber-like state and then to a glassy state caused by cooling and drying. Incompatibility of proteins and polysaccharides in their water-plasticized melt mixtures impacts on structure formation and texturization during thermoplastic extrusion. Presented at the 20th ISF World Congress and 83rd AOCS Annual Meeting and Expo, May 10–14, 1992, Toronto, Ontario, Canada.     

Influence of Ionic Charge on Diffusion in the Surface Layer of Magnesia

The diffusion of ⁵⁷Co isotope on the MgO (100) surface was investigated by the edge-source method. The surface diffusion parameter, αD_sδ, where α is the segregation factor, D_s the surface diffusion coefficient, and δ the thickness of the high-diffusivity layer, was determined over the temperature region 750° to 1250°C. An Arrhenius plot shows a break at ∼1100°C. Below this temperature ionic or localized transport predominates and above it nonlocalized transport seems to predominate. The divalent Co ion diffuses faster than the trivalent Cr ion in the surface layer. The apparent activation energies for the localized surface diffusion of ⁵⁷Co and ⁵⁹Cr are 59±12 and 110±12 kj/mol, respectively.     

Ferroelectric liquid crystals: Excellent tool for modern displays and photonics

The ferroelectric liquid crystals, because of their fast electro‐optical response, are one of the most important classes of liquid crystals. Here, in this review, we have summarized the different electro‐optical modes for ferroelectric liquid crystals. Clark–Lagerwall effect (surface stabilized ferroelectric liquid crystal), deformed helix ferroelectric (DHF) effect, electrically suppressed helix (ESH) mode, DHF orientational Kerr effect, and ESH diffraction modes have been discussed. All of the crucial features, that is, optics, electro‐optics, dynamics, and their dependence on material parameters, operational regime, and applications, have been reviewed.     

Approximation algorithm for coloring of dotted interval graphs

Dotted interval graphs were introduced by Aumann et al. [Y. Aumann, M. Lewenstein, O. Melamud, R. Pinter, Z. Yakhini, Dotted interval graphs and high throughput genotyping, in: ACM-SIAM Symposium on Discrete Algorithms, SODA 2005, pp. 339-348] as a generalization of interval graphs. The problem of coloring these graphs found application in high-throughput genotyping. Jiang [M. Jiang, Approximating minimum coloring and maximum independent set in dotted interval graphs, Information Processing Letters 98 (2006) 29-33] improves the approximation ratio of Aumann et al. [Y. Aumann, M. Lewenstein, O. Melamud, R. Pinter, Z. Yakhini, Dotted interval graphs and high throughput genotyping, in: ACM-SIAM Symposium on Discrete Algorithms, SODA 2005, pp. 339-348]. In this work we improve the approximation ratio of Jiang [M. Jiang, Approximating minimum coloring and maximum independent set in dotted interval graphs, Information Processing Letters 98 (2006) 29-33] and Aumann et al. [Y. Aumann, M. Lewenstein, O. Melamud, R. Pinter, Z. Yakhini, Dotted interval graphs and high throughput genotyping, in: ACM-SIAM Symposium on Discrete Algorithms, SODA 2005, pp. 339-348]. In the exposition we develop a generalization of the problem of finding the maximum number of non-attacking queens on a triangle.     

The differences in underground mines dewatering with the application of caving or backfilling mining methods

Zambia Consolidated Copper Mines Ltd. (ZCCM) is planning a substantial increase in ore production in several of their underground mines on the Zambian Copperbelt over the next 10 years. The future production strategy is based on development of productive and economic mining methods through the application of mechanization and backfilling. Mechanization is designed to provide the production capability and the backfilling is designed to reduce water inflow into the mines. A similar trend can be seen in world-wide changes in mining methods from open stoping and sub-level caving to cut-and-fill stoping. Backfill is being employed worldwide, including in Australia, Canada, Sweden, Latin America, Zambia, and the U.S.A. Plans for backfill mining methods are underway for future operations in Chile, Canada, Zambia, and Mexico. The principal reasons for these changes in mining methods are twofold:

? Increased ore recovery, and

? Decreased environmental impact.

The main difference in the environmental impacts between mining with sub-level caving or open stoping and mining with backfilling methods is the reduction in subsidence or the potential for subsidence. Backfilling reduces ground movements in the rock overlying and adjacent to mine openings as well as subsidence at the surface. Reduced ground movement decreases the number and size of fracture-controlled hydraulic flow paths into a mine and, thereby, the impact of mining on surface and ground water resources. This paper deals with: 1) The impacts caused by open stoping and sub-level caving in comparison to backfilling methods; 2) The approximate impact of backfill on dewatering strategies, and; 3) The environmental benefits of backfill mining. The differences in mine drainage strategies are supported by case histories from various mines.     

On calibration error of randomized forecasting algorithms

It has been recently shown that calibration with an error less than Δ>0$\Delta >0$ is almost surely guaranteed with a randomized forecasting algorithm, where forecasts are obtained by random rounding the deterministic forecasts up to Δ$\Delta$. We show that this error cannot be improved for a vast majority of sequences: we prove that, using a probabilistic algorithm, we can effectively generate with probability close to one a sequence “resistant” to any randomized rounding forecasting with an error much smaller than Δ$\Delta$. We also reformulate this result by means of a probabilistic game.     

VerifyThis 2015

VerifyThis 2015 was a one-day program verification competition which took place on April 12th, 2015 in London, UK, as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2015). It was the fourth instalment in the VerifyThis competition series. This article provides an overview of the VerifyThis 2015 event, the challenges that were posed during the competition, and a high-level overview of the solutions to these challenges. It concludes with the results of the competition and some ideas and thoughts for future instalments of VerifyThis.