Extending the power of datalog recursion

Supporting aggregates in recursive logic rules represents a very important problem for Datalog. To solve this problem, we propose a simple extension, called Datalog $^{FS}\,$ (Datalog extended with frequency support goals), that supports queries and reasoning about the number of distinct variable assignments satisfying given goals, or conjunctions of goals, in rules. This monotonic extension greatly enhances the power of Datalog, while preserving (i) its declarative semantics and  (ii) its amenability to efficient implementation via differential fixpoint and other optimization techniques presented in the paper. Thus, Datalog $^{FS}\,$ enables the efficient formulation of queries that could not be expressed efficiently or could not be expressed at all in Datalog with stratified negation and aggregates. In fact, using a generalized notion of multiplicity called frequency, we show that diffusion models and page rank computations can be easily expressed and efficiently implemented using Datalog $^{FS}\,$ .     

Unsupervised tissue classification of brain MR images for voxel‐based morphometry analysis

In this article, a fully unsupervised method for brain tissue segmentation of T1‐weighted MRI 3D volumes is proposed. The method uses the Fuzzy C‐Means (FCM) clustering algorithm and a Fully Connected Cascade Neural Network (FCCNN) classifier. Traditional manual segmentation methods require neuro‐radiological expertise and significant time while semiautomatic methods depend on parameter's setup and trial‐and‐error methodologies that may lead to high intraoperator/interoperator variability. The proposed method selects the most useful MRI data according to FCM fuzziness values and trains the FCCNN to learn to classify brain’ tissues into White Matter, Gray Matter, and Cerebro‐Spinal Fluid in an unsupervised way. The method has been tested on the IBSR dataset, on the BrainWeb Phantom, on the BrainWeb SBD dataset, and on the real dataset “University of Palermo Policlinico Hospital” (UPPH), Italy. Sensitivity, Specificity, Dice and F‐Factor scores have been calculated on the IBSR and BrainWeb datasets segmented using the proposed method, the FCM algorithm, and two state‐of‐the‐art brain segmentation software packages (FSL and SPM) to prove the effectiveness of the proposed approach. A qualitative evaluation involving a group of five expert radiologists has been performed segmenting the real dataset using the proposed approach and the comparison algorithms. Finally, a usability analysis on the proposed method and reference methods has been carried out from the same group of expert radiologists. The achieved results show that the segmentations of the proposed method are comparable or better than the reference methods with a better usability and degree of acceptance.     

PLNoise: a package for exact numerical simulation of power-law noises

Many simulations of stochastic processes require colored noises: here I describe a small program library that generates samples with a tunable power-law spectral density: the algorithm can be modified to generate more general colored noises, and is exact for all time steps, even when they are unevenly spaced (as may often happen in the case of astronomical data, see e.g. [N.R. Lomb, Astrophys. Space Sci. 39 (1976) 447]. The method is exact in the sense that it reproduces a process that is theoretically guaranteed to produce a range-limited power-law spectrum 1/f1+β with −1<β?1. The algorithm has a well-behaved computational complexity, it produces a nearly perfect Gaussian noise, and its computational efficiency depends on the required degree of noise Gaussianity.

Program summary

Title of program: PLNoiseCatalogue identifier:ADXV_v1_0Program summary URL:http://cpc.cs.qub.ac.uk/summaries/ADXV_v1_0.htmlProgram obtainable from: CPC Program Library, Queen's University of Belfast, N. IrelandLicensing provisions: noneProgramming language used: ANSI CComputer: Any computer with an ANSI C compiler: the package has been tested with gcc version 3.2.3 on Red Hat Linux 3.2.3-52 and gcc version 4.0.0 and 4.0.1 on Apple Mac OS X-10.4Operating system: All operating systems capable of running an ANSI C compilerNo. of lines in distributed program, including test data, etc.:6238No. of bytes in distributed program, including test data, etc.:52 387Distribution format:tar.gzRAM: The code of the test program is very compact (about 50 Kbytes), but the program works with list management and allocates memory dynamically; in a typical run (like the one discussed in Section 4 in the long write-up) with average list length 2⋅¹⁰⁴, the RAM taken by the list is 200 Kbytes.External routines: The package needs external routines to generate uniform and exponential deviates. The implementation described here uses the random number generation library ranlib freely available from Netlib [B.W. Brown, J. Lovato, K. Russell, ranlib, available from Netlib, http://www.netlib.org/random/index.html, select the C version ranlib.c], but it has also been successfully tested with the random number routines in Numerical Recipes [W.H. Press, S.A. Teulkolsky, W.T. Vetterling, B.P. Flannery, Numerical Recipes in C: The Art of Scientific Computing, second ed., Cambridge Univ. Press, Cambridge, 1992, pp. 274-290]. Notice that ranlib requires a pair of routines from the linear algebra package LINPACK, and that the distribution of ranlib includes the C source of these routines, in case LINPACK is not installed on the target machine.Nature of problem: Exact generation of different types of Gaussian colored noise.Solution method: Random superposition of relaxation processes [E. Milotti, Phys. Rev. E 72 (2005) 056701].Unusual features: The algorithm is theoretically guaranteed to be exact, and unlike all other existing generators it can generate samples with uneven spacing.Additional comments: The program requires an initialization step; for some parameter sets this may become rather heavy.Running time: Running time varies widely with different input parameters, however in a test run like the one in Section 4 in this work, the generation routine took on average about 7 ms for each sample.     

Ultimate behavior of axially loaded RC wall-like columns confined with GFRP

The assessment of the effectiveness of the fiber reinforced polymer (FRP) confinement on rectangular reinforced concrete (RC) columns with high aspect ratio (wall-like) still represents an unresolved issue. The present paper aims at providing more experimental evidence about the behavior of such members confined with both uni-directional and quadri-directional glass FRP laminates. Particular attention is devoted to issues related to the premature failure of confining fibers experimentally observed in wall-like columns. Test results on nine axially loaded columns are herein presented; emphasis is also given to the analysis of FRP strain profiles along the sides of the cross-section. The analysis of test results highlights that glass FRP (GFRP) confinement could determine significant strength and ductility increases; the discussion of failure modes points out that the failure of GFRP confined wall-like columns is controlled by the shape of the cross-section and occurs at transverse strains in the jacket much lower than those ultimate of the fibers. Theoretical–experimental comparisons are performed using some available models for strength prediction of such members.     

Discovery of an Allosteric Ligand Binding Site in SMYD3 Lysine Methyltransferase

SMYD3 is a multifunctional epigenetic enzyme with lysine methyltransferase activity and various interaction partners. It is implicated in the pathophysiology of cancers but with an unclear mechanism. To discover tool compounds for clarifying its biochemistry and potential as a therapeutic target, a set of drug-like compounds was screened in a biosensor-based competition assay. Diperodon was identified as an allosteric ligand; its R and S enantiomers were isolated, and their affinities to SMYD3 were determined (K_D=42 and 84 μM, respectively). Co-crystallization revealed that both enantiomers bind to a previously unidentified allosteric site in the C-terminal protein binding domain, consistent with its weak inhibitory effect. No competition between diperodon and HSP90 (a known SMYD3 interaction partner) was observed although SMYD3–HSP90 binding was confirmed (K_D=13 μM). Diperodon clearly represents a novel starting point for the design of tool compounds interacting with a druggable allosteric site, suitable for the exploration of noncatalytic SMYD3 functions and therapeutics with new mechanisms of action.     

Integrating urban and port planning policies in a sustainable perspective: the case study of Naples historic harbour area

ABSTRACT

This paper explores the case of the historic harbour area of Naples, considered highly significant, due to its physical and cultural characteristics, with the aim of reflecting on the contemporary need for building renewed and synergic city–port relations in a sustainable perspective. Focusing on the physical and functional city–port integration, the study investigates Naples harbour planning policy between twentieth and twenty-first centuries in order to identify the limitations of older instruments and to exam the current proposal, finally suggesting perspectives for the future. The analysis highlights the fact that, in the port of Naples, with a landlord governance, the main obstacles to a more inclusive planning policy have been related to land use conflict between on one hand the public interest of the Port Authority and Municipality and the private interest of port operators on the other. In conclusion, the need for city–port plan integration is outlined as a central planning issue so as to combine the economic development of the harbour with social, cultural and ecological themes and to overcome the conflicts between the different actors involved in the complex planning process.     

Beneficial and Sexually Dimorphic Response to Combined HDAC Inhibitor Valproate and AMPK/SIRT1 Pathway Activator Resveratrol in the Treatment of ALS Mice

Amyotrophic lateral sclerosis (ALS) is a fatal adult-onset neurodegenerative disorder. There is no cure and current treatments fail to slow the progression of the disease. Epigenetic modulation in the acetylation state of NF-kB RelA and the histone 3 (H3) protein, involved in the development of neurodegeneration, is a drugable target for the class-I histone deacetylases (HDAC) inhibitors, entinostat or valproate, and the AMP-activated kinase (AMPK)-sirtuin 1 pathway activator, resveratrol. In this study, we demonstrated that the combination of valproate and resveratrol can restore the normal acetylation state of RelA in the SOD1(G93A) murine model of ALS, in order to obtain the neuroprotective form of NF-kB. We also investigated the sexually dimorphic development of the disease, as well as the sex-sensibility to the treatment administered. We showed that the combined drugs, which rescued AMPK activation, RelA and the histone 3 acetylation state, reduced the motor deficit and the disease pathology associated with motor neuron loss and microglial reactivity, Brain-Derived Neurotrophic Factor (BDNF) and B-cell lymphoma-extra large (Bcl-xL) level decline. Specifically, vehicle-administered males showed earlier onset and slower progression of the disease when compared to females. The treatment, administered at 50 days of life, postponed the time of onset in the male by 22 days, but not in a significant way in females. Nevertheless, in females, the drugs significantly reduced symptom severity of the later phase of the disease and prolonged the mice’s survival. Only minor beneficial effects were produced in the latter stage in males. Overall, this study shows a beneficial and sexually dimorphic response to valproate and resveratrol treatment in ALS mice.     

Biosurfactants from Urban Wastes for Detergent Formulation: Surface Activity and Washing Performance

To promote biobased products for industry, six biosurfactants (BS) isolated from green and food urban residues aged under aerobic digestion for 0–60 days were investigated for their chemical composition, surface activity properties and detergent performance in fabric washing in comparison with commercial anionic and nonionic surfactants (CS). The BS exhibited a range of chemical composition and surface activity properties presumably related to their different biomass sources. Surface tension data for these substances correlated meaningfully with performance data in fabric washing. It was found that BS have similar performances as CS when used neat, but the 1:1 w/w BS–CS mixes are characterized by significant synergy. High sensitivity to water hardness and fabric yellowing were found to be the main deficiencies for the BS. However, both effects are minimized or are not critically evident when the BS are used together with CS and/or in common detergents formulations. The results indicate that when used above critical micellar concentration, no significant or critical performance differences are evident within the whole group of BS or between BS and CS. These facts encourage expectations for industrial production and real commercialization of BS as components of detergents formulations.     

Computational flowfield analyses of hypersonic problems with reacting boundary layer

A mathematical model able to deal with high temperature gas effects in hypersonic flow fields is presented. In order to assess this model, four typical hypersonic applications are considered. The numerical results are presented and compared with experimental data. The effects of the catalyticity of the materials on the heat fluxes are also highlighted.     

F-substituted hydroxyapatite nanopowders: Thermal stability,sintering behaviour and mechanical properties

Fluorine-substituted hydroxyapatites are considered promising materials for bone scaffolding. In this study a systematic investigation on F-half substituted hydroxyapatite (F-HAp, Ca₁₀(PO₄)₆OHF) obtained by precipitation is reported. Results on composition analysis, thermal behaviour, and sinterability are presented for a comparison with the respective pure hydroxyapatite. Samples were characterised by electron microscopy, induced coupled plasma-atomic emission spectroscopy, thermal analysis, infrared spectroscopy, N₂ adsorption measurements, X-ray diffraction and dilatometry. A semicrystalline F-substituted hydroxyapatite powder made up of needle-like nanoparticles was obtained. Notwithstanding that it was thermally stable up to 1300 °C, it was sintered at relatively low temperatures obtaining a very fine microstructure with a relevant nano-porosity, beneficial in view of cell adhesion and in-growth.Hardness, elastic modulus and toughness of produced samples were investigated by Vickers–Knoop microhardness testing. Significant improvements of the mechanical properties were observed for the F-substituted hydroxyapatite, in comparison with pure hydroxyapatite.