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

Pre-implantation mouse embryos cultured In vitro under different oxygen concentrations show altered ultrastructures

Abstract Assisted Reproductive Technologies routinely utilize different culture media and oxygen (O2) concentrations to culture human embryos. Overall, embryos cultured under physiological O2 tension (5%) have improved development compared to embryos cultured under atmospheric O2 conditions (20%). The mechanisms responsible for this remain unclear. This study aimed to evaluate the effect of physiologic (5%) or atmospheric O2 (20%) tension on the microscopic ultrastructure of pre-implantation mouse embryos using Transmission Electron Microscopy (TEM). Embryos flushed out of the uterus after natural mating were used as the control. For use as the control, 2-cells, 4-cells, morulae, and blastocysts were flushed out of the uterus after natural fertilization. In vitro fertilization (IVF) was performed using potassium simplex optimized medium (KSOM) under different O2 tensions (5% and 20%) until the blastocyst stage. After collection, embryos were subjected to the standard preparative for light microscopy (LM) and TEM. We found that culture in vitro under 5% and 20% O2 results in an increase of vacuolated shaped mitochondria, cytoplasmic vacuolization and presence of multi-vesicular bodies at every embryonic stage. In addition, blastocysts generated by IVF under 5% and 20% O2 showed a lower content of heterochromatin, an interruption of the trophectodermal and inner cell mass cell membranes, an increased density of residual bodies, and high levels of glycogen granules in the cytoplasm. In conclusion, this study suggests that in vitro culture, particularly under atmospheric O2 tension, causes stage-specific changes in preimplantation embryo ultrastructure. In addition, atmospheric (20%) O2 is associated with increased alterations in embryonic ultrastructure; these changes may explain the reduced embryonic development of embryos cultured with 20% O2

An Exploratory High-Density EEG Investigation of the Misinformation Effect: Attentional and Recollective Differences between True and False Perceptual Memories

The misinformation effect, a phenomenon in which eyewitness memories are altered via exposure to post-event misinformation, is one of the most important paradigms used to investigate the reconstructive nature of human memory. The aim of this study was to use the misinformation effect paradigm to investigate differences in attentional and recollective processing between true and false event memories. Nineteen participants completed a variant of the misinformation paradigm in which recognition responses to true and misinformation based event details embedded within a narrative context, were investigated using high-density (256-channel) EEG with a 1-day delay between event exposure and test. Source monitoring responses were used to isolate event-related-potentials (ERPs) associated with perceptual (i.e. event) source attributions. Temporal-spatial analyses of these ERPs showed evidence of an elevated P3b and Late-Positive Component, associated with stronger context-matching responses and recollective activity respectively, in true perceptual memories relative to false misinformation based ones. These findings represent the first retrieval focused EEG investigation of the misinformation effect and highlight the interplay between attention and retrieval processes in episodic memory recognition

Charge dynamics of a single donor coupled to a few electrons quantum dot in silicon

We study the charge transfer dynamics between a silicon quantum dot and an individual phosphorous donor using the conduction through the quantum dot as a probe for the donor ionization state. We use a silicon n-MOSFET (metal oxide field effect transistor) biased near threshold in the SET regime with two side gates to control both the device conductance and the donor charge. Temperature and magnetic field independent tunneling time is measured. We measure the statistics of the transfer of electrons observed when the ground state D0 of the donor is aligned with the SET states

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

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

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