Surface-peaked effective mass in the nuclear energy density functional and its influence on single-particle spectra

Calculations for infinite nuclear matter with realistic nucleon-nucleon interactions suggest that the isoscalar effective mass of a nucleon at the saturation density, m*/m, equals 0.8 +/- 0.1. This result is at variance with empirical data on the level density in finite nuclei, which are consistent with m*/m ~ 1. Ma and Wambach suggested that these two contradicting results may be reconciled within a single theoretical framework by assuming a radial-dependent effective mass, peaked at the nuclear surface. The aim of this exploratory work is to investigate this idea within the density functional theory by using a Skyrme-type local functional enriched with new terms, $\tau (\mathbf{\nabla}\rho)^2$ and $\tau\frac{d\rho}{dr}$, where $\tau$ and $\rho$ denote the kinetic and particle densities, respectively. We show that each of these terms can give rise to a surface peak in the effective mass, but of a limited height. We investigate the influence of the radial profile of the effective mass on the spin-orbit splittings and centroids. In particular, we demonstrate that the $\tau \frac{d\rho}{dr}$ term quenches the 1f5/2-1f7/2 splitting in 40Ca, which is strongly overestimated within conventional Skyrme parametrizations.Comment: 8 pages, 8 figures, submitted to Phys. Rev.

Badger: Complexity Analysis with Fuzzing and Symbolic Execution

Hybrid testing approaches that involve fuzz testing and symbolic execution have shown promising results in achieving high code coverage, uncovering subtle errors and vulnerabilities in a variety of software applications. In this paper we describe Badger - a new hybrid approach for complexity analysis, with the goal of discovering vulnerabilities which occur when the worst-case time or space complexity of an application is significantly higher than the average case. Badger uses fuzz testing to generate a diverse set of inputs that aim to increase not only coverage but also a resource-related cost associated with each path. Since fuzzing may fail to execute deep program paths due to its limited knowledge about the conditions that influence these paths, we complement the analysis with a symbolic execution, which is also customized to search for paths that increase the resource-related cost. Symbolic execution is particularly good at generating inputs that satisfy various program conditions but by itself suffers from path explosion. Therefore, Badger uses fuzzing and symbolic execution in tandem, to leverage their benefits and overcome their weaknesses. We implemented our approach for the analysis of Java programs, based on Kelinci and Symbolic PathFinder. We evaluated Badger on Java applications, showing that our approach is significantly faster in generating worst-case executions compared to fuzzing or symbolic execution on their own

Spin-orbit and tensor mean-field effects on spin-orbit splitting including self-consistent core polarizations

A new strategy of fitting the coupling constants of the nuclear energy density functional is proposed, which shifts attention from ground-state bulk to single-particle properties. The latter are analyzed in terms of the bare single-particle energies and mass, shape, and spin core-polarization effects. Fit of the isoscalar spin-orbit and both isoscalar and isovector tensor coupling constants directly to the f5/2-f7/2 spin-orbit splittings in 40Ca, 56Ni, and 48Ca is proposed as a practical realization of this new programme. It is shown that this fit requires drastic changes in the isoscalar spin-orbit strength and the tensor coupling constants as compared to the commonly accepted values but it considerably and systematically improves basic single-particle properties including spin-orbit splittings and magic-gap energies. Impact of these changes on nuclear binding energies is also discussed.Comment: 15 pages, 7 figures, submitted to Physical Review

Intracellular zinc depletion induces caspase activation and p21Waf1/Cip1 cleavage in human epithelial cell lines

To better understand the mechanisms by which zinc deficiency induces epithelial cell death, studies were done of the effects of intracellular zinc depletion induced by the zinc chelator TPEN on apoptosis-related events in human malignant epithelial cell lines LIM1215 (colonic), NCI-H292 (bronchial), and A549 (alveolar type II). In TPEN-treated cells, depletion of zinc was followed by activation of caspase-3 (as demonstrated by enzymatic assay and Western blotting), DNA fragmentation, and morphologic changes. Increase in caspase-3 activity began 1–2 h after addition of TPEN, suggesting that zinc may suppress a step just before the activation of this caspase. Caspase-6, a mediator of caspase-3 processing, also increased, but later than caspase-3. Effects of TPEN on apoptosis were completely prevented by exogenous ZnSO4 and partially prevented by peptide caspase inhibitors. A critical substrate of caspase-3 may be the cell cycle regulator p21Waf1/Cip1, which was rapidly cleaved in TPEN-treated cells to a 15-kDa fragment before further degradation.F. Chai, A. Q. Truong-Tran, A. Evdokiou, G. P. Young and P. D. Zalewsk

Four-photon interference: a realizable experiment to demonstrate violation of EPR postulates for perfect correlations

Bell's theorem reveals contradictions between the predictions of quantum mechanics and the EPR postulates for a pair of particles only in situations involving imperfect statistical correlations. However, with three or more particles, contradictions emerge even for perfect correlations. We describe an experiment which can be realized in the laboratory, using four-photon entangled states generated by parametric down-conversion, to demonstrate this contradiction at the level of perfect correlations.Comment: publishe

Hidden asymmetry and forward-backward correlations

A model-independent method of studying the forward-backward correlations in symmetric high energy processes is developed. The method allows a systematic study of properties of various particle sources and to uncover asymmetric structures hidden in symmetric hadron-hadron and nucleus-nucleus inelastic reactions.Comment: 11 pages, no figure

BrowserAudit: Automated testing of browser security features

The security of the client side of a web application relies on browser features such as cookies, the same-origin policy and HTTPS. As the client side grows increasingly powerful and sophisticated, browser vendors have stepped up their offering of security mechanisms which can be leveraged to protect it. These are often introduced experimentally and informally and, as adoption increases, gradually become standardised (e.g., CSP, CORS and HSTS). Considering the diverse landscape of browser vendors, releases, and customised versions for mobile and embedded devices, there is a compelling need for a systematic assessment of browser security. We present BrowserAudit, a tool for testing that a deployed browser enforces the guarantees implied by the main standardised and experimental security mechanisms. It includes more than 400 fully-automated tests that exercise a broad range of security features, helping web users, application developers and security researchers to make an informed security assessment of a deployed browser. We validate BrowserAudit by discovering both fresh and known security-related bugs in major browsers. Copyright is held by the owner/author(s)

Electronic health records to facilitate clinical research

Electronic health records (EHRs) provide opportunities to enhance patient care, embed performance measures in clinical practice, and facilitate clinical research. Concerns have been raised about the increasing recruitment challenges in trials, burdensome and obtrusive data collection, and uncertain generalizability of the results. Leveraging electronic health records to counterbalance these trends is an area of intense interest. The initial applications of electronic health records, as the primary data source is envisioned for observational studies, embedded pragmatic or post-marketing registry-based randomized studies, or comparative effectiveness studies. Advancing this approach to randomized clinical trials, electronic health records may potentially be used to assess study feasibility, to facilitate patient recruitment, and streamline data collection at baseline and follow-up. Ensuring data security and privacy, overcoming the challenges associated with linking diverse systems and maintaining infrastructure for repeat use of high quality data, are some of the challenges associated with using electronic health records in clinical research. Collaboration between academia, industry, regulatory bodies, policy makers, patients, and electronic health record vendors is critical for the greater use of electronic health records in clinical research. This manuscript identifies the key steps required to advance the role of electronic health records in cardiovascular clinical research