Resting-state functional connectivity in mathematical expertise

To what extent are different levels of expertise reflected in the functional connectivity of the brain? We addressed this question by using resting-state functional magnetic resonance imaging (fMRI) in mathematicians versus non-mathematicians. To this end, we investigated how the two groups of participants differ in the correlation of their spontaneous blood oxygen level-dependent fluctuations across the whole brain regions during resting state. Moreover, by using the classification algorithm in machine learning, we investigated whether the resting-state fMRI networks between mathematicians and non-mathematicians were distinguished depending on features of functional connectivity. We showed diverging involvement of the frontal–thalamic–temporal connections for mathematicians and the medial–frontal areas to precuneus and the lateral orbital gyrus to thalamus connections for non-mathematicians. Moreover, mathematicians who had higher scores in mathematical knowledge showed a weaker connection strength between the left and right caudate nucleus, demonstrating the connections’ characteristics related to mathematical expertise. Separate functional networks between the two groups were validated with a maximum classification accuracy of 91.19 using the distinct resting-state fMRI-based functional connectivity features. We suggest the advantageous role of preconfigured resting-state functional connectivity, as well as the neural efficiency for experts’ successful performance

Synthesizing framework models for symbolic execution

Symbolic execution is a powerful program analysis technique, but it is difficult to apply to programs built using frameworks such as Swing and Android, because the framework code itself is hard to symbolically execute. The standard solution is to manually create a framework model that can be symbolically executed, but developing and maintaining a model is difficult and error-prone. In this paper, we present Pasket, a new system that takes a first step toward automatically generating Java framework models to support symbolic execution. Pasket's focus is on creating models by instantiating design patterns. Pasket takes as input class, method, and type information from the framework API, together with tutorial programs that exercise the framework. From these artifacts and Pasket's internal knowledge of design patterns, Pasket synthesizes a framework model whose behavior on the tutorial programs matches that of the original framework. We evaluated Pasket by synthesizing models for subsets of Swing and Android. Our results show that the models derived by Pasket are sufficient to allow us to use off-the-shelf symbolic execution tools to analyze Java programs that rely on frameworks.National Science Foundation (U.S.) (CCF-1139021)National Science Foundation (U.S.) (CCF-1139056)National Science Foundation (U.S.) (CCF-1161775

A Clinical Study of the Pulse Wave Characteristics at the Three Pulse Diagnosis Positions of Chon, Gwan and Cheok

In this work, we analyze the baseline, signal strength, aortic augmentation index (AIx), radial AIx, time to reflection and P_T2 at Chon, Gwan, and Cheok, which are the three pulse diagnosis positions in Oriental medicine. For the pulse measurement, we used the SphygmoCor apparatus, which has been widely used for the evaluation of the arterial stiffness at the aorta. By two-way repeated measures analysis of variance, we tested two independent measurements for repeatability and investigated their mean differences among Chon, Gwan and Cheok. To characterize further the parameters that were shown to be different between each palpation position, we carried out Duncan's test for the multiple comparisons. The baseline and signal strength were statistically different (P < .05) among Chon, Gwan and Cheok, respectively, which supports the major hypothesis of Oriental medicine that all of the three palpation positions contain different clinical information. On the other hand, aortic AIx and time to reflection were found to be statistically different between Chon and the others, and radial AIx and P_T2 did not show any difference between pulse positions. In the clinical sense, however, the aortic AIx at each palpation position was found to fall within the 90% confidence interval of normal arterial compliance. The results of the multiple comparisons indicate that the parameters of arterial stiffness were independent of the palpation positions. This work is the first attempt to characterize quantitatively the pulse signals at Chon, Gwan and Cheok with some relevant parameters extracted from the SphygmoCor apparatus

Fluctuations of particle ratios and the abundance of hadronic resonances

In this letter we will argue that the event-by-event fluctuations of the ratio of positively over negatively charged pions provides a measurements of the number of rho and omega mesons right after hadronization. This finding can be utilized to put the hypothesis of chemical equilibration in relativistic heavy ion collisions to a test.Comment: 4 pages. No figure. Uses revtex with prl, aps, and multicol style

Self-Shielded Topological Receiver Protectors

Receiver protectors (RPs) shield sensitive electronics from high-power incoming signals that might damage them. Typical RP schemes range from simple fusing and PIN diodes to superconducting circuits and plasma cells-each having a variety of drawbacks ranging from unacceptable system downtime and self-destruction to significant insertion losses and power consumption. Here, we theoretically propose and experimentally demonstrate a unique self-shielding RP based on a coupled-resonator microwave waveguide, with a topological defect being inductively coupled to a diode. This RP utilizes a charge-conjugation-(C) symmetric resonant-defect mode that is robust against disorder and demonstrates high transmittance at low incident powers. When the incident power exceeds a critical value, a self-induced resonant trapping effect occurs, leading to a dramatic suppression of transmittance and a simultaneous increase of the reflectance close to unity. The proposed RP device is self-protected from overheating and electrical breakdown and can be utilized in radars, reflection altimeters, and a broad range of communication systems

Anatomical changes in the East Asian midface skeleton with aging

Background: Understanding the aging process of the midface skeleton is considered crucial for correct facial rejuvenation. However, the canine fossa, an important morphological feature of the midface skeleton, has not yet been observed in connection with aging, despite the fact that it is the most main part of the maxillary bone. Here, the authors focus on the depression of the canine fossa to evaluate the Asian midface skeleton. Materials and methods: Computed tomography (CT) scans of the facial skeleton of 114 Koreans (59 males and 55 females) were reconstructed to three-dimensional (3D) images using a 3D analysis software programme. The study subjects included 27 young males, 32 old males, 28 young females and 27 old females. The angular measurements of three bony regions were measured for each 3D model: the canine fossa angle (assessing depth of the canine fossa), the maxillary angle (assessing orientation of the lateral maxilla) and the piriform angle (assessing orientation of the medial maxilla). Results: The canine fossa angle showed a statistically significant decrease with aging in both sexes, indicating the canine fossa actually becomes more concave with age. In contrast, the maxillary and piriform angle showed statistically insignificant changes with aging in female subjects. Conclusions: These results suggest that the canine fossa may be one of the effective markers to evaluate the anatomical changes to the facial skeleton with midface aging. (

Size of Fireballs Created in High Energy Lead-Lead Collisions as Inferred from Coulomb Distortions of Pion Spectra

We compute the Coulomb effects produced by an expanding, highly charged fireball on the momentum distribution of pions. We compare our results to data on Au+Au at 11.6 A GeV from E866 at the BNL AGS and to data on Pb+Pb at 158 A GeV from NA44 at the CERN SPS. We conclude that the distortion of the spectra at low transverse momentum and mid-rapidity can be explained in both experiments by the effect of the large amount of participating charge in the central rapidity region. By adjusting the fireball expansion velocity to match the average transverse momentum of protons, we find a best fit when the fireball radius is about 10 fm, as determined by the moment when the pions undergo their last scattering. This value is common to both the AGS and CERN experiments.Comment: Enlarged discussion, new references added, includes new analysis of pi-/pi+ at AGS energies. 12 pages 5 figures, uses LaTex and epsfi

Resonances and fluctuations of strange particle in 200 GeV Au-Au collisions

We perform an analysis of preliminary data on strange particles yields and fluctuations within the Statistical hadronization model. We begin by describing the theoretical disagreements between different statistical models currently on the market. We then show how the simultaneous analysis of yields and fluctuations can be used to differentiate between the different models, and determine if one of them can be connected to underlying physics. We perform a study on a RHIC 200 GeV data sample that includes stable particles, resonances, and the event-by-event fluctuation of the $K/\pi$ ratio. We show that the equilibrium statistical model can not describe the fluctuation, unless an unrealistically small volume is assumed. Such small volume then makes it impossible to describe the total particle multiplicity. The non-equilibrium model,on the other hand, describes both the $K/\pi$ fluctuation and yields acceptably due to the extra boost to the $\pi$ fluctuation provided by the high pion chemical potential. $\Lambda(1520)$ and $K^*$ abundance is described within error bars, but the $\Sigma^*$ is under-predicted to $\sim$ 1.5 standard deviations. We suggest further measurements that have the potential to test the non-equilibrium model, as well as gauge the effect of re-interactions between hadronization and freeze-out.Comment: References added, equations corrected. As accepted for publication by Journal of Physics

Anomalous Hall effect in insulating Ga1-xMnxAs

We have investigated the effect of doping by Te on the anomalous Hall effect in Ga1-xMnxAs (x = 0.085). For this relatively high value of x the temperature dependence of resistivity shows an insulating behavior. It is well known that in Ga1-xMnxAs the Mn ions naturally act as acceptors. Additional doping by Te donors decreases the Curie temperature and increases the anomalous Hall resistivity. With increasing Te concentration the long-range ferromagnetic order in Ga1-xMnxAs eventually disappears, and paramagnetic-to-spin glass transition is observed instead. The critical concentration of holes required for establishing ferromagnetic order in Ga1-xMnxAs (x = 0.085) has been estimated by using the magnetic polaron percolation theory proposed by Kaminski and Das Sarma [Phys.Rev.Lett. 88, 247202 (2002)].Comment: 15 pages, 5 figures. Phys. Rev. B (to be published