ASMs and Operational Algorithmic Completeness of Lambda Calculus

We show that lambda calculus is a computation model which can step by step simulate any sequential deterministic algorithm for any computable function over integers or words or any datatype. More formally, given an algorithm above a family of computable functions (taken as primitive tools, i.e., kind of oracle functions for the algorithm), for every constant K big enough, each computation step of the algorithm can be simulated by exactly K successive reductions in a natural extension of lambda calculus with constants for functions in the above considered family. The proof is based on a fixed point technique in lambda calculus and on Gurevich sequential Thesis which allows to identify sequential deterministic algorithms with Abstract State Machines. This extends to algorithms for partial computable functions in such a way that finite computations ending with exceptions are associated to finite reductions leading to terms with a particular very simple feature.Comment: 37 page

Evaluation of different drug classes on transient sciatic nerve injury-depressed marble burying in mice

A great need exists for the identification of new effective analgesics to treat sustained pain. However, most preclinical nociceptive assays measure behavioral responses evoked by noxious stimuli (i.e., pain-stimulated behavior), which presents a challenge to distinguish between motor impairing and antinociceptive effects of drugs. Here, we demonstrate that chronic constriction injury of the sciatic nerve (CCI) elicits common pain-stimulated responses (i.e., mechanical allodynia and thermal hyperalgesia) as well as reduces marble burying/digging behaviors that occur during the early stages of the neuropathy and resolve within one week. Whereas drugs representing distinct classes of analgesics (i.e., morphine, valdecoxib, and gabapentin) reversed both CCI-induced and CCI-depressed nociceptive measures, diazepam lacked antinociceptive effects in all assays and the kappa opioid receptor agonist U69593 reversed pain-stimulated, but not pain-depressed behaviors. In addition, we tested drugs targeting distinct components of the endocannabinoid system, including agonists at cannabinoid receptors type 1 (CB1) and type 2 (CB2), as well as inhibitors of the endocannabinoid regulating enzymes fatty acid amide hydrolase (FAAH), monoacylglycerol lipase (MAGL). Each of these drugs reversed all CCI-induced nociceptive measures, with the exception of the FAAH inhibitor that reversed pain-stimulated behaviors, only. These findings support the use of the mouse marble-burying assay as a model of pain-depressed behavior within the first week of sciatic nerve injury to examine candidate analgesics. These data also support existing preclinical research that cannabinoid receptor agonists and inhibitors of endocannabinoid regulating enzymes merit consideration for the treatment of pain.Molecular Physiolog

Lichenometric dating (lichenometry) and the biology of the lichen genus rhizocarpon:challenges and future directions

Lichenometric dating (lichenometry) involves the use of lichen measurements to estimate the age of exposure of various substrata. Because of low radial growth rates and considerable longevity, species of the crustose lichen genus Rhizocarpon have been the most useful in lichenometry. The primary assumption of lichenometry is that colonization, growth and mortality of Rhizocarpon are similar on surfaces of known and unknown age so that the largest thalli present on the respective faces are of comparable age. This review describes the current state of knowledge regarding the biology of Rhizocarpon and considers two main questions: (1) to what extent does existing knowledge support this assumption; and (2) what further biological observations would be useful both to test its validity and to improve the accuracy of lichenometric dates? A review of the Rhizocarpon literature identified gaps in knowledge regarding early development, the growth rate/size curve, mortality, regeneration, competitive effects, colonization, and succession on rock surfaces. The data suggest that these processes may not be comparable on different rock surfaces, especially in regions where growth rates and thallus turnover are high. In addition, several variables could differ between rock surfaces and influence maximum thallus size, including rate and timing of colonization, radial growth rates, environmental differences, thallus fusion, allelopathy, thallus mortality, colonization and competition. Comparative measurements of these variables on surfaces of known and unknown age may help to determine whether the basic assumptions of lichenometry are valid. Ultimately, it may be possible to take these differences into account when interpreting estimated dates

Paleobiology of titanosaurs: reproduction, development, histology, pneumaticity, locomotion and neuroanatomy from the South American fossil record

Fil: García, Rodolfo A.. Instituto de Investigación en Paleobiología y Geología. Museo Provincial Carlos Ameghino. Cipolletti; ArgentinaFil: Salgado, Leonardo. Instituto de Investigación en Paleobiología y Geología. General Roca. Río Negro; ArgentinaFil: Fernández, Mariela. Inibioma-Centro Regional Universitario Bariloche. Bariloche. Río Negro; ArgentinaFil: Cerda, Ignacio A.. Instituto de Investigación en Paleobiología y Geología. Museo Provincial Carlos Ameghino. Cipolletti; ArgentinaFil: Carabajal, Ariana Paulina. Museo Carmen Funes. Plaza Huincul. Neuquén; ArgentinaFil: Otero, Alejandro. Museo de La Plata. Universidad Nacional de La Plata; ArgentinaFil: Coria, Rodolfo A.. Instituto de Paleobiología y Geología. Universidad Nacional de Río Negro. Neuquén; ArgentinaFil: Fiorelli, Lucas E.. Centro Regional de Investigaciones Científicas y Transferencia Tecnológica. Anillaco. La Rioja; Argentin

Search for leptophobic Z ' bosons decaying into four-lepton final states in proton-proton collisions at root s=8 TeV

Peer reviewe

Search for black holes and other new phenomena in high-multiplicity final states in proton-proton collisions at root s=13 TeV

Peer reviewe

Measurements of differential production cross sections for a Z boson in association with jets in pp collisions at root s=8 TeV

Peer reviewe

Search for high-mass diphoton resonances in proton-proton collisions at 13 TeV and combination with 8 TeV search

Peer reviewe

Search for heavy resonances decaying into a vector boson and a Higgs boson in final states with charged leptons, neutrinos, and b quarks

Peer reviewe