Non-Standard Semantics for Program Slicing

In this paper we generalize the notion of compositional semantics to cope with transfinite reductions of a transition system. Standard denotational and predicate transformer semantics, even though compositional, provide inadequate models for some known program manipulation techniques. We are interested in the systematic design of extended compositional semantics, observing possible transfinite computations, i.e. computations that may occur after a given number of infinite loops. This generalization is necessary to deal with program manipulation techniques modifying the termination status of programs, such as program slicing. We include the transfinite generalization of semantics in the hierarchy developed in 1997 by P. Cousot, where semantics at different levels of abstraction are related with each other by abstract interpretation. We prove that a specular hierarchy of non-standard semantics modeling transfinite computations of programs can be specifiedin such a way that the standard hierarchy can be derived by abstract interpretation. We prove that non-standard transfinite denotational and predicate transformer semantics can be both systematically derived as solutions of simple abstract domain equations involving the basic operation of reduced power of abstract domains. This allows us to prove the optimality of these semantics, i.e. they are the most abstract semantics in the hierarchy which are compositional and observe respectively the terminating and initial states of transfinite computations, providing an adequate mathematical model for program manipulation.     

Transforming shortcomings into opportunities: Can market incentives solve Lebanon's energy crisis?

Over the past decades Lebanon's energy sector has been largely ignored and this has led to high economic and environmental costs. The sector is characterized by electricity poverty, an expanding and mainly unregulated transport sector and a lack of energy savings spanning through all sectors of the economy. Recently, the Government of Lebanon has committed to increase the share of renewable energy to 10% of the total energy supply by 2013 and to 12% by the year 2020; it also aims at reducing energy consumption by 6% by the year 2013. This paper aims at contributing to the formulation of a more comprehensive energy strategy for Lebanon by analyzing the recent changes in policy direction and by recommending legal, regulatory and policy measures in order to transform current shortcomings into opportunities allowing the country to become a regional ‘success story’ in the deployment of renewable energy and energy efficiency.     

Involvement of cAMP-Dependent Protein Kinase in the Nucleus Accumbens in Cocaine Versus Social Interaction Reward

Evidence suggests that PKA activity in the nucleus accumbens (NAc) plays an essential role in reward-related learning. In this study, we investigated whether PKA is differentially involved in the expression of learning produced by either natural reinforcers or psychostimulants. For that purpose, we inhibited PKA through a bilateral infusion of Rp-cAMPS, a specific PKA inhibitor, directly into the NAc. The effects of PKA inhibition in the NAc on the expression of concurrent conditioned place preference (CPP) for cocaine (drug) and social interaction (natural reward) in rats were evaluated. We found that PKA inhibition increased the expression of cocaine preference. This effect was not due to altered stress levels or decreased social reward. PKA inhibition did not affect the expression of natural reward as intra-NAc Rp-cAMPS infusion did not affect expression of social preference. When rats were trained to express cocaine or social interaction CPP and tested for eventual persisting preference 7 and 14 days after CPP expression, cocaine preference was persistent, but social preference was abolished after the first test. These results suggest that PKA in the NAc is involved in drug reward learning that might lead to addiction and that only drug, but not natural, reward is persistent.     

Leber's hereditary optic neuropathy: biochemical effect of 11778/ND4 and 3460/ND1 mutations and correlation with the mitochondrial genotype

To clarify the bioenergetic relevance of mtDNA mutations in Leber's hereditary optic neuropathy (LHON), we investigated affected individuals and healthy carriers from six Italian LHON families harboring the 11778/ND4 and the 3460/ND1 mtDNA mutations. The enzymatic activities of mitochondrial complex I and its sensitivity to the potent inhibitors rotenone and rolliniastatin-2 were studied in mitochondrial particles from platelets, in correlation with mtDNA analysis of platelets and leukocytes. In platelets homoplasmic for mutant mtDNA, both 11778/ND4 and 3460/ND1 mutations induced resistance to rotenone and the 3460/ND1 mutation also provoked a marked decrease in the specific activity of complex I. Individuals heteroplasmic in platelets for either mutation showed normal biochemical features, indicating functional complementation of wild-type mtDNA. There was no correlation between the clinical status and mtDNA homo/heteroplasmy in platelets, but the biochemical features correlated with the mitochondrial genotype of platelets. In some cases, the degree of mtDNA heteroplasmy differed in platelets and leukocytes from the same individual with a prevalence of wild-type mtDNA in the platelets. These results imply that biochemical studies on mitochondrial diseases should always be integrated with mtDNA analysis of the same tissue investigated and also suggest that the mtDNA analysis on the leukocyte fraction, as usually performed in LHON, does not necessarily reflect the mutant genotype level of other tissues. The differential tissue heteroplasmy may be more relevant than previously thought in determining disease penetrance.     

Proline Fingerprint in Intrinsically Disordered Proteins

NMR spectroscopy is one of the main techniques used for high‐resolution studies of intrinsically disordered proteins (IDPs), permitting mapping of the structural and dynamic features of all the amino acids constituting the polypeptide at atomic resolution. Only proline residues are less straightforward to characterize because they lack any amide proton, thus rendering them not directly visible in the commonly used 2D ¹H,¹⁵N correlation experiments. However, proline residues are highly abundant in IDPs and can mediate important functions. In this work we present an easy and effective way to obtain fingerprints of proline residues in IDPs at high resolution.     

Applying discrete event simulation to the design of a service delivery system in the aerospace industry: a case study

This paper presents the results of a simulation study concerned with the design of a service delivery system. In particular, it shows how discrete event simulation can be used at the point of signing a long-term service contract to assess whether a service delivery system will be able to comply with the contractual terms over time. This study also proposes a methodology based on the Monte Carlo simulation to estimate the service demand in a context where the installed base evolves dynamically over time. Such a methodology has been used to verify the discrete event simulation model. This research is based on real data from a leading global supplier of human to machine electronic controls operating in the aerospace industry. This supplier has recently signed a major contract for the provision of several devices and related services. These devices will be installed on aircrafts progressively entering service over the next seven years.     

The Se–S Bond Formation in the Covalent Inhibition Mechanism of SARS-CoV-2 Main Protease by Ebselen-like Inhibitors: A Computational Study

The inhibition mechanism of the main protease (M^pro) of SARS-CoV-2 by ebselen (EBS) and its analog with a hydroxyl group at position 2 of the benzisoselenazol-3(2H)-one ring (EBS-OH) was studied by using a density functional level of theory. Preliminary molecular dynamics simulations on the apo form of M^pro were performed taking into account both the hydrogen donor and acceptor natures of the Nδ and Nε of His41, a member of the catalytic dyad. The potential energy surfaces for the formation of the Se–S covalent bond mediated by EBS and EBS-OH on M^pro are discussed in detail. The EBS-OH shows a distinctive behavior with respect to EBS in the formation of the noncovalent complex. Due to the presence of canonical H-bonds and noncanonical ones involving less electronegative atoms, such as sulfur and selenium, the influence on the energy barriers and reaction energy of the Minnesota hybrid meta-GGA functionals M06, M06-2X and M08HX, and the more recent range-separated hybrid functional wB97X were also considered. The knowledge of the inhibition mechanism of M^pro by the small protease inhibitors EBS or EBS-OH can enlarge the possibilities for designing more potent and selective inhibitor-based drugs to be used in combination with other antiviral therapies.     

Generating the variety of BL-algebras

This paper collects some results from [AFM] and from [AM]. Our purpose is to illustrate some interesting classes of algebras which generate the whole variety of BL-algebras. In particular, we prove that such variety is generated by its finite members and by the class of finite ordinal sums of Lukasiewicz t-norm algebras. Finally, we characterize the BL-chains which generate the whole variety of BL-algebras.     

Lanthanide and Heavy Metal Free Long White Persistent Luminescence from Ti Doped Li–Hackmanite: A Versatile,Low‐Cost Material

Persistent luminescence (PeL) materials are used in everyday glow‐in‐the‐dark applications and they show high potential for, e.g., medical imaging, night‐vision surveillance, and enhancement of solar cells. However, the best performing materials contain rare earths and/or other heavy metal and expensive elements such as Ga and Ge, increasing the production costs. Here, (Li,Na)₈Al₆Si₆O₂₄(Cl,S)₂:Ti, a heavy‐metal‐ and rare‐earth‐free low‐cost material is presented. It can give white PeL that stays 7 h above the 0.3 mcd m^?2 limit and is observable for more than 100 h with a spectrometer. This is a record‐long duration for white PeL and visible PeL without rare earths. The material has great potential to be applied in white light emitting devices (LEDs) combined with self‐sustained night vision using only a single phosphor. The material also exhibits PeL in aqueous suspensions and is capable of showing easily detectable photoluminescence even in nanomolar concentrations, indicating potential for use as a diagnostic marker. Because it is excitable with sunlight, this material is expected to additionally be well‐suited for outdoor applications.