Mutation of Directed Graphs -- Corresponding Regular Expressions and Complexity of Their Generation

Directed graphs (DG), interpreted as state transition diagrams, are traditionally used to represent finite-state automata (FSA). In the context of formal languages, both FSA and regular expressions (RE) are equivalent in that they accept and generate, respectively, type-3 (regular) languages. Based on our previous work, this paper analyzes effects of graph manipulations on corresponding RE. In this present, starting stage we assume that the DG under consideration contains no cycles. Graph manipulation is performed by deleting or inserting of nodes or arcs. Combined and/or multiple application of these basic operators enable a great variety of transformations of DG (and corresponding RE) that can be seen as mutants of the original DG (and corresponding RE). DG are popular for modeling complex systems; however they easily become intractable if the system under consideration is complex and/or large. In such situations, we propose to switch to corresponding RE in order to benefit from their compact format for modeling and algebraic operations for analysis. The results of the study are of great potential interest to mutation testing

Correlating densities of centrality and activities in cities : the cases of Bologna (IT) and Barcelona (ES)

This paper examines the relationship between street centrality and densities of commercial and service activities in cities. The aim is to verify whether a correlation exists and whether some 'secondary' activities, i.e. those scarcely specialized oriented to the general public and ordinary daily life, are more linked to street centrality than others. The metropolitan area of Barcelona (Spain) is investigated, and results are compared with those found in a previous work on the city of Bologna (Italy). Street centrality is calibrated in a multiple centrality assessment (MCA) model composed of multiple measures such as closeness, betweenness and straightness. Kernel density estimation (KDE) is used to transform data sets of centrality and activities to one scale unit for correlation analysis between them. Results indicate that retail and service activities in both Bologna and Barcelona tend to concentrate in areas with better centralities, and that secondary activities exhibit a higher correlation

Reconstructed SPECT images of 177Lu homogeneous cylindrical phantom used for calibration and texture analysis

In a clinical contest, it is common to use dedicated phantoms to perform quality assurance test to check the performance of a SPECT system. Some of these phantoms are also used to calibrate the system for dosimetric evaluation of patients undergoing radiometabolic cancer therapy. In this work, a 3D-OSEM reconstructed Lu-177 SPECT dataset of a homogeneous cylindrical phantom is described. This dataset was acquired to investigate the variation of the SPECT calibration factor, counts convergence, noise and uniformity by varying the number of subsets and iterations. In particular, the dataset is composed of images reconstructed using five different numbers of subsets and sixteen different numbers of iterations, for a total of 80 different configurations. The dataset is suitable for comparison with other reconstruction algorithms (e.g. FBP, MLEM, etc.) and radionuclides (e.g. technetium, yttrium). In regards to the uniformity issue, the same dataset allows the user to perform radiomic investigations on the influence of the border effect on the reconstructed images

Metabolic reprogramming promotes myogenesis during aging

Sarcopenia is the age-related progressive loss of skeletal muscle mass and strength finally leading to poor physical performance. Impaired myogenesis contributes to the pathogenesis of sarcopenia, while mitochondrial dysfunctions are thought to play a primary role in skeletal muscle loss during aging. Here we studied the link between myogenesis and metabolism. In particular, we analyzed the effect of the metabolic modulator trimetazidine (TMZ) on myogenesis in aging. We show that reprogramming the metabolism by TMZ treatment for 12 consecutive days stimulates myogenic gene expression in skeletal muscle of 22-month-old mice. Our data also reveal that TMZ increases the levels of mitochondrial proteins and stimulates the oxidative metabolism in aged muscles, this finding being in line with our previous observations in cachectic mice. Moreover, we show that, besides TMZ also other types of metabolic modulators (i.e., 5-Aminoimidazole-4-Carboxamide Ribofuranoside-AICAR) can stimulate differentiation of skeletal muscle progenitors in vitro. Overall, our results reveal that reprogramming the metabolism stimulates myogenesis while triggering mitochondrial proteins synthesis in vivo during aging. Together with the previously reported ability of TMZ to increase muscle strength in aged mice, these new data suggest an interesting non-invasive therapeutic strategy which could contribute to improving muscle quality and neuromuscular communication in the elderly, and counteracting sarcopenia

Electron cloud buildup and impedance effects on beam dynamics in the future circular e+e− collider and experimental characterization of thin TiZrV vacuum chamber coatings

The Future Circular Collider FCC-ee is a study toward a high luminosity electron-positron collider with a centre-of-mass energy from 91 GeV to 365 GeV. Due to the beam parameters and pipe dimensions, collective effects and electron cloud can be very critical aspects for the machine and can represent the main limitations to its performance. An estimation of the electron cloud build up in the main machine components and an impedance model are required to analyze the induced instabilities and to find solutions for their mitigation. Special attention has been given to the resistive wall impedance associated with a layer of nonevaporable getter (NEG) coating on the vacuum chamber required for electron cloud mitigation. The studies presented in this paper will show that minimizing the thickness of this coating layer is mandatory to increase the single bunch instability thresholds in the proposed lepton collider at 45.6 GeV. For this reason, NEG thin films with thicknesses below 250 nm have been investigated by means of numerical simulations to minimize the resistive wall impedance. In parallel, an extensive measurement campaign was performed at CERN to characterize these thin films, with the purpose of finding the minimum effective thickness satisfying vacuum and electron cloud requirements

The event generator DECAY4 for simulation of double beta processes and decay of radioactive nuclei

The computer code DECAY4 is developed to generate initial energy, time and angular distributions of particles emitted in radioactive decays of nuclides and nuclear (atomic) deexcitations. Data for description of nuclear and atomic decay schemes are taken from the ENSDF and EADL database libraries. The examples of use of the DECAY4 code in several underground experiments are described.Comment: 8 pages, 1 fi

Simulating Gyrokinetic Microinstabilities in Stellarator Geometry with GS2

The nonlinear gyrokinetic code GS2 has been extended to treat non-axisymmetric stellarator geometry. Electromagnetic perturbations and multiple trapped particle regions are allowed. Here, linear, collisionless, electrostatic simulations of the quasi-axisymmetric, three-field period National Compact Stellarator Experiment (NCSX) design QAS3-C82 have been successfully benchmarked against the eigenvalue code FULL. Quantitatively, the linear stability calculations of GS2 and FULL agree to within ~10%.Comment: Submitted to Physics of Plasmas. 9 pages, 14 figure

Biophysical and Functional Characterization of Rhesus Macaque IgG Subclasses

Antibodies raised in Indian rhesus macaques [Macaca mulatta (MM)] in many preclinical vaccine studies are often evaluated in vitro for titer, antigen-recognition breadth, neutralization potency, and/or effector function, and in vivo for potential associations with protection. However, despite reliance on this key animal model in translation of promising candidate vaccines for evaluation in first in man studies, little is known about the properties of MM immunoglobulin G (IgG) subclasses and how they may compare to human IgG subclasses. Here, we evaluate the binding of MM IgG1, IgG2, IgG3, and IgG4 to human Fc gamma receptors (FcgammaR) and their ability to elicit the effector functions of human FcgammaR-bearing cells, and unlike in humans, find a notable absence of subclasses with dramatically silent Fc regions. Biophysical, in vitro, and in vivo characterization revealed MM IgG1 exhibited the greatest effector function activity followed by IgG2 and then IgG3/4. These findings in rhesus are in contrast with the canonical understanding that IgG1 and IgG3 dominate effector function in humans, indicating that subclass-switching profiles observed in rhesus studies may not strictly recapitulate those observed in human vaccine studies

Sensitivity plots for WIMP modulation searches

Prospects of WIMP searches using the annual modulation signature are discussed on statistical grounds, introducing sensitivity plots for the WIMP-nucleon scalar cross section.Comment: 3 pages, 2 figures, talk given at TAUP'99, september 199