324 research outputs found
The composition of Event-B models
The transition from classical B [2] to the Event-B language and method [3] has seen the removal of some forms of model structuring and composition, with the intention of reinventing them in future. This work contributes to thatreinvention. Inspired by a proposed method for state-based decomposition and refinement [5] of an Event-B model, we propose a familiar parallel event composition (over disjoint state variable lists), and the less familiar event fusion (over intersecting state variable lists). A brief motivation is provided for these and other forms of composition of models, in terms of feature-based modelling. We show that model consistency is preserved under such compositions. More significantly we show that model composition preserves refinement
Boost Invariance and Multiplicity Dependence of the Charge Balance Functionin and Collisions at GeV/c
Boost invariance and multiplicity dependence of the charge balance function
are studied in \pi^{+}\rp and \rK^{+}\rp collisions at 250 GeV/ incident
beam momentum. Charge balance, as well as charge fluctuations, are found to be
boost invariant over the whole rapidity region, but both depend on the size of
the rapidity window. It is also found that the balance function becomes
narrower with increasing multiplicity, consistent with the narrowing of the
balance function when centrality and/or system size increase, as observed in
current relativistic heavy ion experiments.Comment: 4 pages, 5 figures, Revte
Machine learning for automated EEG-based biomarkers of cognitive impairment during Deep Brain Stimulation screening in patients with Parkinson's Disease
Objective: A downside of Deep Brain Stimulation (DBS) for Parkinson's Disease (PD) is that cognitive function may deteriorate postoperatively. Electroencephalography (EEG) was explored as biomarker of cognition using a Machine Learning (ML) pipeline.Methods: A fully automated ML pipeline was applied to 112 PD patients, taking EEG time-series as input and predicted class-labels as output. The most extreme cognitive scores were selected for class differentiation, i.e. best vs. worst cognitive performance (n = 20 per group). 16,674 features were extracted per patient; feature-selection was performed using a Boruta algorithm. A random forest classifier was modelled; 10-fold cross-validation with Bayesian optimization was performed to ensure generalizability. The predicted class-probabilities of the entire cohort were compared to actual cognitive performance.Results: Both groups were differentiated with a mean accuracy of 0.92; using only occipital peak frequency yielded an accuracy of 0.67. Class-probabilities and actual cognitive performance were negatively linearly correlated (b =-0.23 (95% confidence interval (-0.29,-0.18))).Conclusions: Particularly high accuracies were achieved using a compound of automatically extracted EEG biomarkers to classify PD patients according to cognition, rather than a single spectral EEG feature.Significance: Automated EEG assessment may have utility for cognitive profiling of PD patients during the DBS screening. (c) 2021 International Federation of Clinical Neurophysiology. Published by Elsevier B.V. This is an open access article under the CC BY license (http://creativecommons.org/licenses/by/4.0/).Neurological Motor Disorder
Important pharmacogenetic information for drugs prescribed during the SARS-CoV-2 infection (COVID-19)
In December 2019, the severe acute respiratory syndrome virus-2 pandemic began, causing the coronavirus disease 2019. A vast variety of drugs is being used off-label as potential therapies. Many of the repurposed drugs have clinical pharmacogenetic guidelines available with therapeutic recommendations when prescribed as indicated on the drug label. The aim of this review is to provide a comprehensive summary of pharmacogenetic biomarkers available for these drugs, which may help to prescribe them more safelyM.N.-G. is co-financed by the European Social Fund and
the Youth European Initiative; grant number PEJ-2018-TL/BMD-1108
Recommended from our members
Terahertz spin currents and inverse spin Hall effect in thin-film heterostructures containing complex magnetic compounds
Terahertz emission spectroscopy (TES) of ultrathin multilayers of magnetic and heavy metals has recently attracted much interest. This method not only provides fundamental insights into photoinduced spin transport and spin–orbit interaction at highest frequencies, but has also paved the way for applications such as efficient and ultrabroadband emitters of terahertz (THz) electromagnetic radiation. So far, predominantly standard ferromagnetic materials have been exploited. Here, by introducing a suitable figure of merit, we systematically compare the strength of THz emission from X/Pt bilayers with X being a complex ferro-, ferri- and antiferromagnetic metal, that is, dysprosium cobalt (DyCo5), gadolinium iron (Gd24Fe76), magnetite (Fe3O4) and iron rhodium (FeRh). We find that the performance in terms of spin-current generation not only depends on the spin polarization of the magnet’s conduction electrons, but also on the specific interface conditions, thereby suggesting TES to be a highly interface-sensitive technique. In general, our results are relevant for all applications that rely on the optical generation of ultrafast spin currents in spintronic metallic multilayers
Detecção de tendências monótonas em séries mensais de precipitação pluvial do estado de São Paulo
Experimental and Theoretical Challenges in the Search for the Quark Gluon Plasma: The STAR Collaboration's Critical Assessment of the Evidence from RHIC Collisions
We review the most important experimental results from the first three years
of nucleus-nucleus collision studies at RHIC, with emphasis on results from the
STAR experiment, and we assess their interpretation and comparison to theory.
The theory-experiment comparison suggests that central Au+Au collisions at RHIC
produce dense, rapidly thermalizing matter characterized by: (1) initial energy
densities above the critical values predicted by lattice QCD for establishment
of a Quark-Gluon Plasma (QGP); (2) nearly ideal fluid flow, marked by
constituent interactions of very short mean free path, established most
probably at a stage preceding hadron formation; and (3) opacity to jets. Many
of the observations are consistent with models incorporating QGP formation in
the early collision stages, and have not found ready explanation in a hadronic
framework. However, the measurements themselves do not yet establish
unequivocal evidence for a transition to this new form of matter. The
theoretical treatment of the collision evolution, despite impressive successes,
invokes a suite of distinct models, degrees of freedom and assumptions of as
yet unknown quantitative consequence. We pose a set of important open
questions, and suggest additional measurements, at least some of which should
be addressed in order to establish a compelling basis to conclude definitively
that thermalized, deconfined quark-gluon matter has been produced at RHIC.Comment: 101 pages, 37 figures; revised version to Nucl. Phys.
Energy and system size dependence of \phi meson production in Cu+Cu and Au+Au collisions
We study the beam-energy and system-size dependence of \phi meson production
(using the hadronic decay mode \phi -- K+K-) by comparing the new results from
Cu+Cu collisions and previously reported Au+Au collisions at \sqrt{s_NN} = 62.4
and 200 GeV measured in the STAR experiment at RHIC. Data presented are from
mid-rapidity (|y|<0.5) for 0.4 < pT < 5 GeV/c. At a given beam energy, the
transverse momentum distributions for \phi mesons are observed to be similar in
yield and shape for Cu+Cu and Au+Au colliding systems with similar average
numbers of participating nucleons. The \phi meson yields in nucleus-nucleus
collisions, normalised by the average number of participating nucleons, are
found to be enhanced relative to those from p+p collisions with a different
trend compared to strange baryons. The enhancement for \phi mesons is observed
to be higher at \sqrt{s_NN} = 200 GeV compared to 62.4 GeV. These observations
for the produced \phi(s\bar{s}) mesons clearly suggest that, at these collision
energies, the source of enhancement of strange hadrons is related to the
formation of a dense partonic medium in high energy nucleus-nucleus collisions
and cannot be alone due to canonical suppression of their production in smaller
systems.Comment: 20 pages and 5 figure
Formation of dense partonic matter in relativistic nucleus-nucleus collisions at RHIC: Experimental evaluation by the PHENIX collaboration
Extensive experimental data from high-energy nucleus-nucleus collisions were
recorded using the PHENIX detector at the Relativistic Heavy Ion Collider
(RHIC). The comprehensive set of measurements from the first three years of
RHIC operation includes charged particle multiplicities, transverse energy,
yield ratios and spectra of identified hadrons in a wide range of transverse
momenta (p_T), elliptic flow, two-particle correlations, non-statistical
fluctuations, and suppression of particle production at high p_T. The results
are examined with an emphasis on implications for the formation of a new state
of dense matter. We find that the state of matter created at RHIC cannot be
described in terms of ordinary color neutral hadrons.Comment: 510 authors, 127 pages text, 56 figures, 1 tables, LaTeX. Submitted
to Nuclear Physics A as a regular article; v3 has minor changes in response
to referee comments. Plain text data tables for the points plotted in figures
for this and previous PHENIX publications are (or will be) publicly available
at http://www.phenix.bnl.gov/papers.htm
Phi meson production in Au+Au and p+p collisions at sqrt (s)=200 GeV
We report the STAR measurement of Phi meson production in Au+Au and p+p
collisions at sqrt (s)=200 GeV. Using the event mixing technique, the Phi
spectra and yields are obtained at mid-rapidity for five centrality bins in
Au+Au collisions and for non-singly-diffractive p+p collisions. It is found
that the Phi transverse momentum distributions from Au+Au collisions are better
fitted with a single-exponential while the p+p spectrum is better described by
a double-exponential distribution. The measured nuclear modification factors
indicate that Phi production in central Au+Au collisions is suppressed relative
to peripheral collisions when scaled by the number of binary collisions. The
systematics of versus centrality and the constant Phi/K- ratio versus beam
species, centrality, and collision energy rule out kaon coalescence as the
dominant mechanism for Phi production.Comment: 6 pages, 3 figures, submitted to Phys. Rev. Let
- …