Infrared nanospectroscopy of individual extracellular microvesicles

Extracellular vesicles are membrane-delimited structures, involved in several inter-cellular communication processes, both physiological and pathological, since they deliver complex biological cargo. Extracellular vesicles have been identified as possible biomarkers of several pathological diseases; thus, their characterization is fundamental in order to gain a deep understanding of their function and of the related processes. Traditional approaches for the characterization of the molecular content of the vesicles require a large quantity of sample, thereby providing an average molecular profile, while their heterogeneity is typically probed by non-optical microscopies that, however, lack the chemical sensitivity to provide information of the molecular cargo. Here, we perform a study of individual microvesicles, a subclass of extracellular vesicles generated by the outward budding of the plasma membrane, released by two cultures of glial cells under different stimuli, by applying a state-of-the-art infrared nanospectroscopy technique based on the coupling of an atomic force microscope and a pulsed laser, which combines the label-free chemical sensitivity of infrared spectroscopy with the nanometric resolution of atomic force microscopy. By correlating topographic, mechanical and spectroscopic information of individual microvesicles, we identified two main populations in both families of vesicles released by the two cell cultures. Subtle differences in terms of nucleic acid content among the two families of vesicles have been found by performing a fitting procedure of the main nucleic acid vibrational peaks in the 1000–1250 cm-1 frequency range

Converting simulated total dry matter to fresh marketable yield for field vegetables at a range of nitrogen supply levels

Simultaneous analysis of economic and environmental performance of horticultural crop production requires qualified assumptions on the effect of management options, and particularly of nitrogen (N) fertilisation, on the net returns of the farm. Dynamic soil-plant-environment simulation models for agro-ecosystems are frequently applied to predict crop yield, generally as dry matter per area, and the environmental impact of production. Economic analysis requires conversion of yields to fresh marketable weight, which is not easy to calculate for vegetables, since different species have different properties and special market requirements. Furthermore, the marketable part of many vegetables is dependent on N availability during growth, which may lead to complete crop failure under sub-optimal N supply in tightly calculated N fertiliser regimes or low-input systems. In this paper we present two methods for converting simulated total dry matter to marketable fresh matter yield for various vegetables and European growth conditions, taking into consideration the effect of N supply: (i) a regression based function for vegetables sold as bulk or bunching ware and (ii) a population approach for piecewise sold row crops. For both methods, to be used in the context of a dynamic simulation model, parameter values were compiled from a literature survey. Implemented in such a model, both algorithms were tested against experimental field data, yielding an Index of Agreement of 0.80 for the regression strategy and 0.90 for the population strategy. Furthermore, the population strategy was capable of reflecting rather well the effect of crop spacing on yield and the effect of N supply on product grading

Let’s not forget tautomers

A compound exhibits tautomerism if it can be represented by two structures that are related by an intramolecular movement of hydrogen from one atom to another. The different tautomers of a molecule usually have different molecular fingerprints, hydrophobicities and pKa’s as well as different 3D shape and electrostatic properties; additionally, proteins frequently preferentially bind a tautomer that is present in low abundance in water. As a result, the proper treatment of molecules that can tautomerize, ~25% of a database, is a challenge for every aspect of computer-aided molecular design. Library design that focuses on molecular similarity or diversity might inadvertently include similar molecules that happen to be encoded as different tautomers. Physical property measurements might not establish the properties of individual tautomers with the result that algorithms based on these measurements may be less accurate for molecules that can tautomerize—this problem influences the accuracy of filtering for library design and also traditional QSAR. Any 2D or 3D QSAR analysis must involve the decision of if or how to adjust the observed Ki or IC50 for the tautomerization equilibria. QSARs and recursive partitioning methods also involve the decision as to which tautomer(s) to use to calculate the molecular descriptors. Docking virtual screening must involve the decision as to which tautomers to include in the docking and how to account for tautomerization in the scoring. All of these decisions are more difficult because there is no extensive database of measured tautomeric ratios in both water and non-aqueous solvents and there is no consensus as to the best computational method to calculate tautomeric ratios in different environments

Identification of a Lacosamide Binding Protein Using an Affinity Bait and Chemical Reporter Strategy: 14-3-3 ζ

We have advanced a useful strategy to elucidate binding partners of ligands (drugs) with modest binding affinity. Key to this strategy is attaching to the ligand an affinity bait (AB) and a chemical reporter (CR) group, where the AB irreversibly attaches the ligand to the receptor upon binding and the CR group is employed for receptor detection and isolation. We have tested this AB&CR strategy using lacosamide ((R)-1), a low-molecular-weight antiepileptic drug. We demonstrate that using a (R)-lacosamide AB&CR agent ((R)-2) 14-3-3 ζ in rodent brain soluble lysates is preferentially adducted, adduction is stereospecific with respect to the AB&CR agent, and adduction depends upon the presence of endogenous levels of the small molecule metabolite xanthine. Substitution of lacosamide AB agent ((R)- 5) for (R)-2 led to the identification of the 14-3-3 ζ adduction site (K120) by mass spectrometry. Competition experiments using increasing amounts of (R)-1 in the presence of (R)-2 demonstrated that (R)-1 binds at or near the (R)-2 modification site on 14-3-3 ζ. Structure-activity studies of xanthine derivatives provided information concerning the likely binding interaction between this metabolite and recombinant 14-3-3 ζ. Documentation of the 14-3-3 ζ-xanthine interaction was obtained with isothermal calorimetry using xanthine and the xanthine analogue 1,7-dimethylxanthine

Instructing equational set-reasoning with Otter

An experimentation activity in automated set-reasoning is reported. The methodology adopted is based on an equational re- engineering of ZF set theory within the ground formalism L 7 developed by Tarski and Givant. On top of a kernel axiomatization of map algebra we develop a layered formalization of basic set-theoretical concepts. A first-order theorem prover is exploited to obtain automated certification and validation of this layered architecture

Exploring the Peer Assessment Process Supported by the Enhanced Moodle Workshop in a Computer Programming Course

Supporting peer assessment in learning management systems is an important educational issue. The widespread Moodle platform relies on a plugin called Workshop for providing such peer evaluation functionality. In a previous work, we proposed an extension of the plugin with student modeling capabilities, based on a Bayesian Network approach. In the current paper we aim to experimentally validate this Enhanced Workshop module, by using it in the context of an Introduction to Computer Programming course. An experience report of the peer assessment process is provided, focusing on the support offered by the module. The results are also analyzed, exploring the relationship between student models and grades

Map calculus: Initial application scenarios and experiments based on Otter

Properties of a few familiar structures (natural numbers, nested lists, lattices) are formally specified in Tarski-Givant's map calculus, with the aim of bringing to light new translation techniques that may bridge the gap between first-order predicate calculus and the map calculus. It is also highlighted to what extent a state-of-the-art theorem-prover for first-order logic, namely Otter, can be exploited not only to emulate, but also to reason about, map calculus. 3 1 Introduction Everybody remembers that Boole's Laws of thought (1854), Frege's Begriffsschrift (1879), and the Whitehead-Russell's Principia Mathematica (1910) have been three major milestones in the development of contemporary logic (cf. [3, 12, 25, 4]). Only a few people are aware that very important pre- Principia milestones were laid down by C.S. Peirce and E. Schroder and culminated in the monumental work [21, 22] on the Algebra der Logik . The "rather capricious line of historical development" of the algebraic..