Revisiting the Security of the ALRED Design and Two of Its Variants: Marvin and LetterSoup

The ALRED construction is a lightweight strategy for constructing message authentication algorithms from an underlying iterated block cipher. Even though this construction's original analyses show that it is secure against some attacks, the absence of formal security proofs in a strong security model still brings uncertainty on its robustness. In this paper, aiming to give a better understanding of the security level provided by different authentication algorithms based on this design strategy, we formally analyze two ALRED variants-the MARVIN message authentication code and the LETTERSOUP authenticated-encryption scheme,-bounding their security as a function of the attacker's resources and of the underlying cipher's characteristics.

Exercise training prevents oxidative stress and ubiquitin-proteasome system overactivity and reverse skeletal muscle atrophy in heart failure

Background: Heart failure (HF) is known to lead to skeletal muscle atrophy and dysfunction. However, intracellular mechanisms underlying HF-induced myopathy are not fully understood. We hypothesized that HF would increase oxidative stress and ubiquitin-proteasome system (UPS) activation in skeletal muscle of sympathetic hyperactivity mouse model. We also tested the hypothesis that aerobic exercise training (AET) would reestablish UPS activation in mice and human HF. Methods/Principal Findings: Time-course evaluation of plantaris muscle cross-sectional area, lipid hydroperoxidation, protein carbonylation and chymotrypsin-like proteasome activity was performed in a mouse model of sympathetic hyperactivity-induced HF. At the 7th month of age, HF mice displayed skeletal muscle atrophy, increased oxidative stress and UPS overactivation. Moderate-intensity AET restored lipid hydroperoxides and carbonylated protein levels paralleled by reduced E3 ligases mRNA levels, and reestablished chymotrypsin-like proteasome activity and plantaris trophicity. In human HF (patients randomized to sedentary or moderate-intensity AET protocol), skeletal muscle chymotrypsin-like proteasome activity was also increased and AET restored it to healthy control subjects' levels. Conclusions: Collectively, our data provide evidence that AET effectively counteracts redox imbalance and UPS overactivation, preventing skeletal myopathy and exercise intolerance in sympathetic hyperactivity-induced HF in mice. Of particular interest, AET attenuates skeletal muscle proteasome activity paralleled by improved aerobic capacity in HF patients, which is not achieved by drug treatment itself. Altogether these findings strengthen the clinical relevance of AET in the treatment of HF.

Hypotheses, rationale, design, and methods for prognostic evaluation of cardiac biomarker elevation after percutaneous and surgical revascularization in the absence of manifest myocardial infarction. A comparative analysis of biomarkers and cardiac magnetic resonance. The MASS-V Trial

Background: Although the release of cardiac biomarkers after percutaneous (PCI) or surgical revascularization (CABG) is common, its prognostic significance is not known. Questions remain about the mechanisms and degree of correlation between the release, the volume of myocardial tissue loss, and the long-term significance. Delayed-enhancement of cardiac magnetic resonance (CMR) consistently quantifies areas of irreversible myocardial injury. To investigate the quantitative relationship between irreversible injury and cardiac biomarkers, we will evaluate the extent of irreversible injury in patients undergoing PCI and CABG and relate it to postprocedural modifications in cardiac biomarkers and long-term prognosis. Methods/Design: The study will include 150 patients with multivessel coronary artery disease (CAD) with left ventricle ejection fraction (LVEF) and a formal indication for CABG; 50 patients will undergo CABG with cardiopulmonary bypass (CPB); 50 patients with the same arterial and ventricular condition indicated for myocardial revascularization will undergo CABG without CPB; and another 50 patients with CAD and preserved ventricular function will undergo PCI using stents. All patients will undergo CMR before and after surgery or PCI. We will also evaluate the release of cardiac markers of necrosis immediately before and after each procedure. Primary outcome considered is overall death in a 5-year follow-up. Secondary outcomes are levels of CK-MB isoenzyme and I-Troponin in association with presence of myocardial fibrosis and systolic left ventricle dysfunction assessed by CMR. Discussion: The MASS-V Trial aims to establish reliable values for parameters of enzyme markers of myocardial necrosis in the absence of manifest myocardial infarction after mechanical interventions. The establishments of these indices have diagnostic value and clinical prognosis and therefore require relevant and different therapeutic measures. In daily practice, the inappropriate use of these necrosis markers has led to misdiagnosis and therefore wrong treatment. The appearance of a more sensitive tool such as CMR provides an unprecedented diagnostic accuracy of myocardial damage when correlated with necrosis enzyme markers. We aim to correlate laboratory data with imaging, thereby establishing more refined data on the presence or absence of irreversible myocardial injury after the procedure, either percutaneous or surgical, and this, with or without the use of cardiopulmonary bypass.

Design and synthesis of a new coumarin-based 'turn-on' fluorescent probe selective for Cu+2

The novel coumarin-based 'turn-on' fluorescent probe (E)-3-(2,5-dimethoxybenzylideneamino)-7-hydroxy-2H-chromen-2-one (MGM) was designed, synthesized, and characterized. This compound shows high selectivity for Cu+2, combined with a large fluorescence enhancement upon binding to Cu2+. Benesi-Hildebrand and Job plots demonstrate that the stoichiometry of the Cu+2 complex formed is 2:1. Preliminary studies employing epifluorescence microscopy demonstrated that Cu+2 could be imaged in human neuroblastoma SH-SY5Y cells treated with MGM. (c) 2012 Elsevier Ltd. All rights reserved.

Work activities as a resource for work organization design and for strategic decisions?

This paper proposes a discussion about the possibilities to link strategic decisions to working activities performed by workers. In that sense contributions from activities analysis could be considered in order to design and manage production.

Design and synthesis of new (E)-cinnamic N-acylhydrazones as potent antitrypanosomal agents

We report herein the synthesis and trypanocidal profile of new (E)-cinnamic N-acylhydrazones (NAHs) designed by exploiting molecular hybridization between the potent cruzain inhibitors (E)-1-(benzo[d] 11,3)dioxol-5-yl)-3-(4-bromophenyl)prop-2-en-1-one and (E)-3-hydroxy-N'-((2-hydroxynaphthalen-1-yl)methylene)-7-methoxy-2-naphthohydrazide. These derivatives were evaluated against both amastigote and trypomastigote forms of Trypanosoma cruzi and lead us to identify two compounds that were approximately two times more active than the reference drug, benznidazole, and with good cytotoxic index. Although designed as cruzain inhibitors, the weak potency displayed by the best cinnamyl NAH derivatives indicated that another mechanism of action was likely responsible for their trypanocide action. (C) 2012 Elsevier Masson SAS. All rights reserved.

Influence of the dopaminergic system, CREB, and transcription factor-κB on cocaine neurotoxicity

Cocaine is a widely used drug and its abuse is associated with physical, psychiatric and social problems. Abnormalities in newborns have been demonstrated to be due to the toxic effects of cocaine during fetal development. The mechanism by which cocaine causes neurological damage is complex and involves interactions of the drug with several neurotransmitter systems, such as the increase of extracellular levels of dopamine and free radicals, and modulation of transcription factors. The aim of this review was to evaluate the importance of the dopaminergic system and the participation of inflammatory signaling in cocaine neurotoxicity. Our study showed that cocaine activates the transcription factors NF-κB and CREB, which regulate genes involved in cellular death. GBR 12909 (an inhibitor of dopamine reuptake), lidocaine (a local anesthetic), and dopamine did not activate NF-κB in the same way as cocaine. However, the attenuation of NF-κB activity after the pretreatment of the cells with SCH 23390, a D1 receptor antagonist, suggests that the activation of NF-κB by cocaine is, at least partially, due to activation of D1 receptors. NF-κB seems to have a protective role in these cells because its inhibition increased cellular death caused by cocaine. The increase in BDNF (brain-derived neurotrophic factor) mRNA can also be related to the protective role of both CREB and NF-κB transcription factors. An understanding of the mechanisms by which cocaine induces cell death in the brain will contribute to the development of new therapies for drug abusers, which can help to slow down the progress of degenerative processes.

Spin coherent states in NMR quadrupolar system: experimental and theoretical applications

Working with nuclear magnetic resonance (NMR) in quadrupolar spin systems, in this paper we transfer the concept of atomic coherent state to the nuclear spin context, where it is referred to as pseudonuclear spin coherent state (pseudo-NSCS). Experimentally, we discuss the initialization of the pseudo- NSCSs and also their quantum control, implemented by polar and azimuthal rotations. Theoretically, we compute the geometric phases acquired by an initial pseudo-NSCS on undergoing three distinct cyclic evolutions: (i) the free evolution of the NMR quadrupolar system and, by analogy with the evolution of the NMR quadrupolar system, that of (ii) single-mode and (iii) two-mode Bose-Einstein Condensate like system. By means of these analogies, we derive, through spin angular momentum operators, results equivalent to those presented in the literature for orbital angular momentum operators. The pseudo-NSCS description is a starting point to introduce the spin squeezed state and quantum metrology into nuclear spin systems of liquid crystal or solid matter.

Design and Crime

L'articolo è disponibile anche tradotto in italiano. Cfr. Hal Foster, Design & Crime, Milano, Postmedia Books, 2003, pp. 23-32.

Design and implementation of bioinformatics tools for large scale genome annotation

The continuous increase of genome sequencing projects produced a huge amount of data in the last 10 years: currently more than 600 prokaryotic and 80 eukaryotic genomes are fully sequenced and publically available. However the sole sequencing process of a genome is able to determine just raw nucleotide sequences. This is only the first step of the genome annotation process that will deal with the issue of assigning biological information to each sequence. The annotation process is done at each different level of the biological information processing mechanism, from DNA to protein, and cannot be accomplished only by in vitro analysis procedures resulting extremely expensive and time consuming when applied at a this large scale level. Thus, in silico methods need to be used to accomplish the task. The aim of this work was the implementation of predictive computational methods to allow a fast, reliable, and automated annotation of genomes and proteins starting from aminoacidic sequences. The first part of the work was focused on the implementation of a new machine learning based method for the prediction of the subcellular localization of soluble eukaryotic proteins. The method is called BaCelLo, and was developed in 2006. The main peculiarity of the method is to be independent from biases present in the training dataset, which causes the over‐prediction of the most represented examples in all the other available predictors developed so far. This important result was achieved by a modification, made by myself, to the standard Support Vector Machine (SVM) algorithm with the creation of the so called Balanced SVM. BaCelLo is able to predict the most important subcellular localizations in eukaryotic cells and three, kingdom‐specific, predictors were implemented. In two extensive comparisons, carried out in 2006 and 2008, BaCelLo reported to outperform all the currently available state‐of‐the‐art methods for this prediction task. BaCelLo was subsequently used to completely annotate 5 eukaryotic genomes, by integrating it in a pipeline of predictors developed at the Bologna Biocomputing group by Dr. Pier Luigi Martelli and Dr. Piero Fariselli. An online database, called eSLDB, was developed by integrating, for each aminoacidic sequence extracted from the genome, the predicted subcellular localization merged with experimental and similarity‐based annotations. In the second part of the work a new, machine learning based, method was implemented for the prediction of GPI‐anchored proteins. Basically the method is able to efficiently predict from the raw aminoacidic sequence both the presence of the GPI‐anchor (by means of an SVM), and the position in the sequence of the post‐translational modification event, the so called ω‐site (by means of an Hidden Markov Model (HMM)). The method is called GPIPE and reported to greatly enhance the prediction performances of GPI‐anchored proteins over all the previously developed methods. GPIPE was able to predict up to 88% of the experimentally annotated GPI‐anchored proteins by maintaining a rate of false positive prediction as low as 0.1%. GPIPE was used to completely annotate 81 eukaryotic genomes, and more than 15000 putative GPI‐anchored proteins were predicted, 561 of which are found in H. sapiens. In average 1% of a proteome is predicted as GPI‐anchored. A statistical analysis was performed onto the composition of the regions surrounding the ω‐site that allowed the definition of specific aminoacidic abundances in the different considered regions. Furthermore the hypothesis that compositional biases are present among the four major eukaryotic kingdoms, proposed in literature, was tested and rejected. All the developed predictors and databases are freely available at: BaCelLo http://gpcr.biocomp.unibo.it/bacello eSLDB http://gpcr.biocomp.unibo.it/esldb GPIPE http://gpcr.biocomp.unibo.it/gpipe

Teaching and learning english phonetics and phonology in the EHEA through design and creation of audiovisual material at the ULPGC

[ES]In this paper we describe the procedure followed in the design and recording of a set of videos for teaching and learning ‘English phonetics and phonology’, a second-year undergraduate course at Universidad de Las Palmas de Gran Canaria. The student’s L1 is Spanish. Two different types of technological support were used: screencast and Powerpoint® presentations. The traditional whiteboard together with the lecturer’s presence also contributed both to the integrated learning of certain acoustic/articulatory aspects of the course contents and to the use of specific software for speech analysis. This video production owns the advantage of being an interactive and autonomous tool which favours a continuous learning process on the student’s side.

Design and Computation of Warped Time-Frequency Transforms

In this work we introduce an analytical approach for the frequency warping transform. Criteria for the design of operators based on arbitrary warping maps are provided and an algorithm carrying out a fast computation is defined. Such operators can be used to shape the tiling of time-frequency plane in a flexible way. Moreover, they are designed to be inverted by the application of their adjoint operator. According to the proposed mathematical model, the frequency warping transform is computed by considering two additive operators: the first one represents its nonuniform Fourier transform approximation and the second one suppresses aliasing. The first operator is known to be analytically characterized and fast computable by various interpolation approaches. A factorization of the second operator is found for arbitrary shaped non-smooth warping maps. By properly truncating the operators involved in the factorization, the computation turns out to be fast without compromising accuracy.

Design and Characterization of New Luminescent Sensors and Labels

The aim of this Ph.D. project has been the design and characterization of new and more efficient luminescent tools, in particular sensors and labels, for analytical chemistry, medical diagnostics and imaging. Actually both the increasing temporal and spatial resolutions that are demanded by those branches, coupled to a sensitivity that is required to reach the single molecule resolution, can be provided by the wide range of techniques based on luminescence spectroscopy. As far as the development of new chemical sensors is concerned, as chemists we were interested in the preparation of new, efficient, sensing materials. In this context, we kept developing new molecular chemosensors, by exploiting the supramolecular approach, for different classes of analytes. In particular we studied a family of luminescent tetrapodal-hosts based on aminopyridinium units with pyrenyl groups for the detection of anions. These systems exhibited noticeable changes in the photophysical properties, depending on the nature of the anion; in particular, addition of chloride resulted in a conformational change, giving an initial increase in excimeric emission. A good selectivity for dicarboxylic acid was also found. In the search for higher sensitivities, we moved our attention also to systems able to perform amplification effects. In this context we described the metal ion binding properties of three photoactive poly-(arylene ethynylene) co-polymers with different complexing units and we highlighted, for one of them, a ten-fold amplification of the response in case of addition of Zn2+, Cu2+ and Hg2+ ions. In addition, we were able to demonstrate the formation of complexes with Yb3+ an Er3+ and an efficient sensitization of their typical metal centered NIR emission upon excitation of the polymer structure, this feature being of particular interest for their possible applications in optical imaging and in optical amplification for telecommunication purposes. An amplification effect was also observed during this research in silica nanoparticles derivatized with a suitable zinc probe. In this case we were able to prove, for the first time, that nanoparticles can work as “off-on” chemosensors with signal amplification. Fluorescent silica nanoparticles can be thus seen as innovative multicomponent systems in which the organization of photophysically active units gives rise to fruitful collective effects. These precious effects can be exploited for biological imaging, medical diagnostic and therapeutics, as evidenced also by some results reported in this thesis. In particular, the observed amplification effect has been obtained thanks to a suitable organization of molecular probe units onto the surface of the nanoparticles. In the effort of reaching a deeper inside in the mechanisms which lead to the final amplification effects, we also attempted to find a correlation between the synthetic route and the final organization of the active molecules in the silica network, and thus with those mutual interactions between one another which result in the emerging, collective behavior, responsible for the desired signal amplification. In this context, we firstly investigated the process of formation of silica nanoparticles doped with pyrene derivative and we showed that the dyes are not uniformly dispersed inside the silica matrix; thus, core-shell structures can be formed spontaneously in a one step synthesis. Moreover, as far as the design of new labels is concerned, we reported a new synthetic approach to obtain a class of robust, biocompatible silica core-shell nanoparticles able to show a long-term stability. Taking advantage of this new approach we also showed the synthesis and photophysical properties of core-shell NIR absorbing and emitting materials that proved to be very valuable for in-vivo imaging. In general, the dye doped silica nanoparticles prepared in the framework of this project can conjugate unique properties, such as a very high brightness, due to the possibility to include many fluorophores per nanoparticle, high stability, because of the shielding effect of the silica matrix, and, to date, no toxicity, with a simple and low-cost preparation. All these features make these nanostructures suitable to reach the low detection limits that are nowadays required for effective clinical and environmental applications, fulfilling in this way the initial expectations of this research project.