Minsky machines and algorithmic problems

This is a survey of using Minsky machines to study algorithmic problems in semigroups, groups and other algebraic systems.Comment: 19 page

Classification of limit varieties of J\mathscr J-trivial monoids

A variety of algebras is called limit if it is non-finitely based but all its proper subvarieties are finitely based. We present a new pair of limit varieties of monoids and show that together with the five limit varieties of monoids previously discovered by Jackson, Zhang and Luo and the first-named author, there are exactly seven limit varieties of $\mathscr J$-trivial monoids.Comment: 26 page

New energy-transfer upconversion process in Er(3+):ZBLAN mid-infrared fiber lasers

Abstract not availableOri Henderson-Sapir, Jesper Munch, and David J. Ottawa

A European mechanism for sovereign debt crisis resolution: a proposal

This Bruegel Blueprint argues that Europe should take the lead in defining a solution to the problem of excessive public debts and create a European Crisis Resolution Mechanism (ECRM).The authors, Francois Gianviti, Anne O. Krueger, Jean Pisani-Ferry, André Sapir and Jürgen von Hagen, present the rationale for such a mechanism in the euro area and details of how an ECRM would work. The ECRM would be a permanent tool to deal with sovereign debt crises in an effective and predictable way.

Retaining Expression on De-identified Faces

© Springer International Publishing AG 2017The extensive use of video surveillance along with advances in face recognition has ignited concerns about the privacy of the people identifiable in the recorded documents. A face de-identification algorithm, named k-Same, has been proposed by prior research and guarantees to thwart face recognition software. However, like many previous attempts in face de-identification, kSame fails to preserve the utility such as gender and expression of the original data. To overcome this, a new algorithm is proposed here to preserve data utility as well as protect privacy. In terms of utility preservation, this new algorithm is capable of preserving not only the category of the facial expression (e.g., happy or sad) but also the intensity of the expression. This new algorithm for face de-identification possesses a great potential especially with real-world images and videos as each facial expression in real life is a continuous motion consisting of images of the same expression with various degrees of intensity.Peer reviewe

The Interactome of Palmitoyl-Protein Thioesterase 1 (PPT1) Affects Neuronal Morphology and Function

Palmitoyl-protein thioesterase 1 (PPT1) is a depalmitoylation enzyme that is mutated in cases of neuronal ceroid lipofuscinosis (NCL). The hallmarks of the disease include progressive neurodegeneration and blindness, as well as seizures. In the current study, we identified 62 high-confident PPT1-binding proteins. These proteins included a self-interaction of PPT1, two V-type ATPases, calcium voltage-gated channels, cytoskeletal proteins and others. Pathway analysis suggested their involvement in seizures and neuronal morphology. We then proceeded to demonstrate that hippocampal neurons from Ppt1-/- mice exhibit structural deficits, and further investigated electrophysiology parameters in the hippocampi of mutant mice, both in brain slices and dissociated postnatal primary cultures. Our studies reveal new mechanistic features involved in the pathophysiology of this devastating neurodegenerative disease

SPECT/CT imaging of the lumbar spine in chronic low back pain: a case report

Mechanical low back pain is a common indication for Nuclear Medicine imaging. Whole-body bone scan is a very sensitive but poorly specific study for the detection of metabolic bone abnormalities. The accurate localisation of metabolically active bone disease is often difficult in 2D imaging but single photon emission computed tomography/computed tomography (SPECT/CT) allows accurate diagnosis and anatomic localisation of osteoblastic and osteolytic lesions in 3D imaging. We present a clinical case of a patient referred for evaluation of chronic lower back pain with no history of trauma, spinal surgery, or cancer. Planar whole-body scan showed heterogeneous tracer uptake in the lumbar spine with intense localisation to the right lateral aspect of L3. Integrated SPECT/CT of the lumbar spine detected active bone metabolism in the right L3/L4 facet joint in the presence of minimal signs of degenerative osteoarthrosis on CT images, while a segment demonstrating more gross degenerative changes was more quiescent with only mild tracer uptake. The usefulness of integrated SPECT/CT for anatomical and functional assessment of back pain opens promising opportunities both for multi-disciplinary clinical assessment and treatment for manual therapists and for research into the effectiveness of manual therapies

Mixing at the external boundary of a submerged turbulent jet

We study experimentally and theoretically mixing at the external boundary of a submerged turbulent jet. In the experimental study we use Particle Image Velocimetry and an Image Processing Technique based on the analysis of the intensity of the Mie scattering to determine the spatial distribution of tracer particles. An air jet is seeded with the incense smoke particles which are characterized by large Schmidt number and small Stokes number. We determine the spatial distributions of the jet fluid characterized by a high concentration of the particles and of the ambient fluid characterized by a low concentration of the tracer particles. In the data analysis we use two approaches, whereby one approach is based on the measured phase function for the study of the mixed state of two fluids. The other approach is based on the analysis of the two-point second-order correlation function of the particle number density fluctuations generated by tangling of the gradient of the mean particle number density by the turbulent velocity field. This gradient is formed at the external boundary of a submerged turbulent jet. We demonstrate that PDF of the phase function of a jet fluid penetrating into an external flow and the two-point second-order correlation function of the particle number density do not have universal scaling and cannot be described by a power-law function. The theoretical predictions made in this study are in a qualitative agreement with the obtained experimental results.Comment: 13 pages, 13 figures, REVTEX