ECUT: Energy Conversion and utilization Technologies program biocatalysis research activity. Generation of chemical intermediates by catalytic oxidative decarboxylation of dilute organic acids

A rhodium-based catalyst was prepared and preliminary experiments were completed where the catalyst appeared to decarboxylate dilute acids at concentrations of 1 to 10 vol%. Electron spin resonance spectroscoy was used to characterize the catalyst as a first step leading toward modeling and optimization of rhodium catalysts. Also, a hybrid chemical/biological process for the production of hydrocarbons has been assessed. These types of catalysts could greatly increase energy efficiency of this process

Neutrino flux predictions for known Galactic microquasars

It has been proposed recently that Galactic microquasars may be prodigious emitters of TeV neutrinos that can be detected by upcoming km^2 neutrino telescopes. In this paper we consider a sample of identified microquasars and microquasar candiates, for which available data enables rough determination of the jet parameters. By employing the parameters inferred from radio observations of various jet ejection events, we determine the neutrino fluxes that should have been produced during these events by photopion production in the jet. Despite the large uncertainties in our analysis, we demonstrate that in several of the sources considered, the neutrino flux at Earth, produced in events similar to those observed, would exceed the detection threshold of a km^2 neutrino detector. The class of microquasars may contain also sources with bulk Lorentz factors larger than those characteristic of the sample considered here, directed along our line of sight. Such sources, which may be very difficult to resolve at radio wavelengths and hence may be difficult to identify as microqusar candidates, may emit neutrinos with fluxes significantly larger than typically obtained in the present analysis. These sources may eventually be identified through their neutrino and gamma-ray emission.Comment: 17 pages. Submitted to Ap

Global proteomic analysis of prenylated proteins in Plasmodium falciparum using an alkyne-modified isoprenoid analogue

Severe malaria due to Plasmodium falciparum infection remains a serious threat to health worldwide and new therapeutic targets are highly desirable. Small molecule inhibitors of prenyl transferases, enzymes that catalyze the post-translational isoprenyl modifications of proteins, exhibit potent antimalarial activity. The antimalarial actions of prenyltransferase inhibitors indicate that protein prenylation is required for malaria parasite development. In this study, we used a chemical biology strategy to experimentally characterize the entire complement of prenylated proteins in the human malaria parasite. In contrast to the expansive mammalian and fungal prenylomes, we find that P. falciparum possesses a restricted set of prenylated proteins. The prenylome of P. falciparum is dominated by Rab GTPases, in addition to a small number of prenylated proteins that also appear to function primarily in membrane trafficking. Overall, we found robust experimental evidence for a total of only thirteen prenylated proteins in P. falciparum, with suggestive evidence for an additional two probable prenyltransferase substrates. Our work contributes to an increasingly complete picture of essential, post-translational hydrophobic modifications in blood-stage P. falciparum

The impact of asking intention or self-prediction questions on subsequent behavior: a meta-analysis

The current meta-analysis estimated the magnitude of the impact of asking intention and self-prediction questions on rates of subsequent behavior, and examined mediators and moderators of this question–behavior effect (QBE). Random-effects meta-analysis on 116 published tests of the effect indicated that intention/prediction questions have a small positive effect on behavior (d+ = 0.24). Little support was observed for attitude accessibility, cognitive dissonance, behavioral simulation, or processing fluency explanations of the QBE. Multivariate analyses indicated significant effects of social desirability of behavior/behavior domain (larger effects for more desirable and less risky behaviors), difficulty of behavior (larger effects for easy-to-perform behaviors), and sample type (larger effects among student samples). Although this review controls for co-occurrence of moderators in multivariate analyses, future primary research should systematically vary moderators in fully factorial designs. Further primary research is also needed to unravel the mechanisms underlying different variants of the QBE

Memory usage verification using Hip/Sleek.

Embedded systems often come with constrained memory footprints. It is therefore essential to ensure that software running on such platforms fulfils memory usage specifications at compile-time, to prevent memory-related software failure after deployment. Previous proposals on memory usage verification are not satisfactory as they usually can only handle restricted subsets of programs, especially when shared mutable data structures are involved. In this paper, we propose a simple but novel solution. We instrument programs with explicit memory operations so that memory usage verification can be done along with the verification of other properties, using an automated verification system Hip/Sleek developed recently by Chin et al.[10,19]. The instrumentation can be done automatically and is proven sound with respect to an underlying semantics. One immediate benefit is that we do not need to develop from scratch a specific system for memory usage verification. Another benefit is that we can verify more programs, especially those involving shared mutable data structures, which previous systems failed to handle, as evidenced by our experimental results

Signal recognition and background suppression by matched filters and neural networks for Tunka-Rex

The Tunka Radio Extension (Tunka-Rex) is a digital antenna array, which measures the radio emission of the cosmic-ray air-showers in the frequency band of 30-80 MHz. Tunka-Rex is co-located with TAIGA experiment in Siberia and consists of 63 antennas, 57 of them are in a densely instrumented area of about 1 km\textsuperscript{2}. In the present work we discuss the improvements of the signal reconstruction applied for the Tunka-Rex. At the first stage we implemented matched filtering using averaged signals as template. The simulation study has shown that matched filtering allows one to decrease the threshold of signal detection and increase its purity. However, the maximum performance of matched filtering is achievable only in case of white noise, while in reality the noise is not fully random due to different reasons. To recognize hidden features of the noise and treat them, we decided to use convolutional neural network with autoencoder architecture. Taking the recorded trace as an input, the autoencoder returns denoised trace, i.e. removes all signal-unrelated amplitudes. We present the comparison between standard method of signal reconstruction, matched filtering and autoencoder, and discuss the prospects of application of neural networks for lowering the threshold of digital antenna arrays for cosmic-ray detection.Comment: ARENA2018 proceeding

Spatial Interpolants

We propose Splinter, a new technique for proving properties of heap-manipulating programs that marries (1) a new separation logic-based analysis for heap reasoning with (2) an interpolation-based technique for refining heap-shape invariants with data invariants. Splinter is property directed, precise, and produces counterexample traces when a property does not hold. Using the novel notion of spatial interpolants modulo theories, Splinter can infer complex invariants over general recursive predicates, e.g., of the form all elements in a linked list are even or a binary tree is sorted. Furthermore, we treat interpolation as a black box, which gives us the freedom to encode data manipulation in any suitable theory for a given program (e.g., bit vectors, arrays, or linear arithmetic), so that our technique immediately benefits from any future advances in SMT solving and interpolation.Comment: Short version published in ESOP 201

Pathwise Sensitivity Analysis in Transient Regimes

The instantaneous relative entropy (IRE) and the corresponding instanta- neous Fisher information matrix (IFIM) for transient stochastic processes are pre- sented in this paper. These novel tools for sensitivity analysis of stochastic models serve as an extension of the well known relative entropy rate (RER) and the corre- sponding Fisher information matrix (FIM) that apply to stationary processes. Three cases are studied here, discrete-time Markov chains, continuous-time Markov chains and stochastic differential equations. A biological reaction network is presented as a demonstration numerical example

Evaluating techniques for sampling stream crayfish (paranephrops planifrons)

We evaluated several capture and analysis techniques for estimating abundance and size structure of freshwater crayfish (Paranephrops planifrons) (koura) from a forested North Island, New Zealand stream to provide a methodological basis for future population studies. Direct observation at night and collecting with baited traps were not considered useful. A quadrat sampler was highly biased toward collecting small individuals. Handnetting at night and estimating abundances using the depletion method were not as efficient as handnetting on different dates and analysing by a mark-recapture technique. Electrofishing was effective in collecting koura from different habitats and resulted in the highest abundance estimates, and mark-recapture estimates appeared to be more precise than depletion estimates, especially if multiple recaptures were made. Handnetting captured more large crayfish relative to electrofishing or the quadrat sampler