cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
How to Put Usability into Focus: Using Focus Groups to Evaluate the Usability of Interactive Theorem Provers
Creators: name: Beckert, Bernhard
name: Grebing, Sarah
name: Böhl, Florian
Publisher: name: arXiv
Year: 2014
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Human-Computer Interaction (cs.HC)
subject: FOS: Computer and information sciences

description: In recent years the effectiveness of interactive theorem provers has increased to an extent that the bottleneck in the interactive process shifted to efficiency: while in principle large and complex theorems are provable (effectiveness), it takes a lot of effort for the user interacting with the system (lack of efficiency). We conducted focus groups to evaluate the usability of Isabelle/HOL and the KeY system with two goals: (a) detect usability issues in the interaction between interactive theorem provers and their user, and (b) analyze how evaluation and survey methods commonly used in the area of human-computer interaction, such as focus groups and co-operative evaluation, are applicable to the specific field of interactive theorem proving (ITP). In this paper, we report on our experience using the evaluation method focus groups and how we adapted this method to ITP. We describe our results and conclusions mainly on the "meta-level," i.e., we focus on the impact that specific characteristics of ITPs have on the setup and the results of focus groups. On the concrete level, we briefly summarise insights into the usability of the ITPs used in our case study.
description: In Proceedings UITP 2014, arXiv:1410.7850
Feasibility and preliminary efficacy data from a computerized cognitive intervention in children with chromosome 22q11.2 deletion syndrome
Creators: name: Hooper, Stephen R.
name: Schoch, Kelly
name: Keshavan, Matcheri S.
name: Harrell, Waverly
name: Eack, Shaun
name: Shashi, Vandana
name: Bonner, Melanie S.
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2013

description: Children with chromosome 22q11.2 deletion syndrome (22q11DS) are significantly impaired in their academic performance and functionality due to cognitive deficits, especially in attention, memory, and other facets of executive function. Compounding these cognitive deficits is the remarkably high risk of major psychoses, occurring in 25% of adolescents and adults with the disorder. There are currently no evidence-based interventions designed to improve the cognitive deficits in these individuals. We implemented a neuroplasticity-based computerized cognitive remediation program for 12 weeks in 13 adolescents with 22q11DS, assessed feasibility, and measured changes in cognition before and after the intervention compared to a control group of 10 age- and gender-matched children with 22q11DS. Our results indicated that despite their cognitive impairments, this intervention is feasible in children with 22q11DS, with high rates of adherence and satisfaction. Our preliminary analyses indicate that gains in cognition occur with the intervention. Further study in a larger randomized controlled trial would enable assessment of efficacy of this novel intervention.
Impact of the coagulation of dust particles on Mars during the 2018 global dust storm
Creators: name: Bertrand, Tanguy
name: Kahre, Melinda
name: Urata, Richard
name: Määttänen, Anni
name: Montmessin, Franck
name: Wilson, John
name: Wolff, Mike
Publisher: name: arXiv
Year: 2022
Subjects: subject: Earth and Planetary Astrophysics (astro-ph.EP)
subject: FOS: Physical sciences

description: Coagulation of particles occurs when two particles collide and stick together. In the Martian atmosphere, dust coagulation would increase the effective particle size, as small particles accrete to larger particles. Murphy et al. (1990) showed that Brownian coagulation of dust in the Martian atmosphere was not significant, due to the low dust particle mixing ratios, while Montmessin et al. (2002) and Fedorova et al. (2014) showed that it mostly involves particle radii smaller than 0.1 um. However, the effects of coagulation have never been explored in 3D, during a global dust storm, i.e. in presence of larger numbers of small particles. Here we revisit this issue by using the NASA Ames Mars Global Climate Model (MGCM) to investigate the temporal and spatial changes in dust particle sizes during the 2018 global storm due to coagulation and the overall impact of these processes on Mars' climate. Our parameterization for coagulation includes the effect of Brownian motion, Brownian diffusion enhancement, and gravitational collection. We show that Brownian motion and Brownian diffusion enhancement dominate gravitational collection. The impact of coagulation is significant during the storm, with coagulation rates increased by a factor of 10 compared to non-storm conditions. The effective particle radius can be increased by a factor of 2 due to coagulation, leading to a 20K colder atmosphere above 30 km altitude. Overall, our parameterization improves the representation of the decay phase of the storm relative to observations. The process remains significant outside the storm period if large numbers of submicron-sized particles are involved. It may be possible, in GCMs, to lift larger amounts of submicron-sized particles from the surface without excess dust buildup in the atmosphere, thus improving the agreement with some of the observations without diverging from the observed column opacities.
description: Accepted in Icarus
Effective dynamics of strongly dissipative Rydberg gases
Creators: name: Marcuzzi, M
name: Schick, J
name: Olmos, B
name: Lesanovsky, I
Publisher: name: arXiv
Year: 2014
Subjects: subject: Quantum Physics (quant-ph)
subject: Atomic Physics (physics.atom-ph)
subject: FOS: Physical sciences

description: We investigate the evolution of interacting Rydberg gases in the limit of strong noise and dissipation. Starting from a description in terms of a Markovian quantum master equation we derive effective equations of motion that govern the dynamics on a "coarse-grained" timescale where fast dissipative degrees of freedom have been adiabatically eliminated. Specifically, we consider two scenarios which are of relevance for current theoretical and experimental studies --- Rydberg atoms in a two-level (spin) approximation subject to strong dephasing noise as well as Rydberg atoms under so-called electromagnetically induced transparency (EIT) conditions and fast radiative decay. In the former case we find that the effective dynamics is described by classical rate equations up to second order in an appropriate perturbative expansion. This drastically reduces the computational complexity of numerical simulations in comparison to the full quantum master equation. When accounting for the fourth order correction in this expansion, however, we find that the resulting equation breaks the preservation of positivity and thus cannot be interpreted as a proper classical master rate equation. In the EIT system we find that the expansion up to second order retains information not only on the "classical" observables, but also on some quantum coherences. Nevertheless, this perturbative treatment still achieves a non-trivial reduction of complexity with respect to the original problem.
description: 31 pages, 5 figures
A New Polar Ring Galaxy Discovered in the COSMOS Field
Creators: name: Nishimura, Minoru
name: Matsubayashi, Kazuya
name: Murayama, Takashi
name: Taniguchi, Yoshiaki
Publisher: name: arXiv
Year: 2022
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: In order to understand the formation and evolution of galaxies fully, it is important to study their three-dimensional gravitational potential for a large sample of galaxies. Since polar-ring galaxies (PRGs) provide useful laboratories for this investigation, we have started our detailed study of a sample of known PRGs by using the data set obtained by the Hyper Suprime-Cam Subaru Strategic Program (HSC-SSP). During the course of this study, we have discovered a new PRG, identified as SDSS J095351.58+012036.1. Its photometric redshift is estimated as z ~ 0.2. The polar ring structure in this PRG appears to be almost perpendicular to the disk of its host galaxy without any disturbed features. Therefore, this PRG will provide us with useful information on the formation of such an undisturbed polar structure. We discuss its photometric properties in detail.
description: 6 pages, 2 figures, PASP in press
Tailoring Protocols to Successfully Recruit and Retain Older Adults in a Longitudinal Study of Sleep and Cognition
Creators: name: Carlson, Barbara Waag
name: Hartman, Marilyn
name: Carlson, John R.
name: Neelon, Virginia J.
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2008

description: Many studies attest to the challenges of recruiting and retaining older adults in longitudinal studies. This article presents the methods used by the Physiological Research to Improve Sleep and Memory Project to recruit and retain 115 adults (70+ years) in a 2-year study that involved yearly administrations of two neurocognitive test batteries and two nights of polysomnography. The paper describes strategies which are built on knowledge obtained from participant informants and the use of tailored, individualize protocols. Together, these strategies enabled participants to become vested in the research process and to fully participate in all aspects of the study.
Men's Appraisals of Their Military Experiences in World War II: A 40-Year Perspective
Creators: name: Settersten, Richard A.
name: Day, Jack K.
name: Waldinger, Robert J.
name: Elder, Glen H.
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2012

description: Using data on veterans from the longitudinal Harvard Study of Adult Development (N=241), we focused on subjective aspects of military service. We examined how veterans of World War II appraised specific dimensions of military service directly after the war and over 40 years later, as well as the role of military service in their life course. In addition to examining change in appraisals, we examined how postwar appraisals of service mediated the effects of objective aspects of service, and how postwar psychological adjustment and health mediated the effects of postwar appraisals, on later-life appraisals. Men’s appraisals at both time points were generally, but not highly, positive, and revealed remarkable consistency over four decades. Postwar appraisals strongly predicted later-life appraisals and mediated the effects of objective service variables. The effects of postwar appraisals were not carried forward through psychological adjustment or midlife health. Better adjustment, however, was negatively related to later-life appraisals. Results reinforce the idea that how men perceive their military experiences may be more important in predicting outcomes than the experiences themselves. Results are discussed in light of the sample characteristics, the historical context of World War II, and the complexities of appraisal and retrospection.
FastQSL: A Fast Computation Method for Quasi-separatrix Layers
Creators: name: Zhang, Peijin
name: Chen, Jun
name: Liu, Rui
name: Wang, Chuanbing
Publisher: name: arXiv
Year: 2022
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: Instrumentation and Methods for Astrophysics (astro-ph.IM)
subject: FOS: Physical sciences

description: Magnetic reconnection preferentially takes place at the intersection of two separatrices or two quasi-separatrix layers, which can be quantified by the squashing factor Q, whose calculation is computationally expensive due to the need to trace as many field lines as possible. We developed a method (FastQSL) optimized for obtaining Q and the twist number in a 3D data cube. FastQSL utilizes the hardware acceleration of the graphic process unit (GPU) and adopts a step-size adaptive scheme for the most computationally intensive part: tracing magnetic field lines. As a result, it achieves a computational efficiency of 4.53 million Q values per second. FastQSL is open source, and user-friendly for data import, export, and visualization.
Hubble Frontier Fields First Complete Cluster Data: Faint Galaxies at $z\sim 5-10$ for UV Luminosity Functions and Cosmic Reionization
Creators: name: Ishigaki, Masafumi
name: Kawamata, Ryota
name: Ouchi, Masami
name: Oguri, Masamune
name: Shimasaku, Kazuhiro
name: Ono, Yoshiaki
Publisher: name: arXiv
Year: 2014
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: We present the comprehensive analyses of faint dropout galaxies up to $z\sim10$ with the first full-depth data set of Abell 2744 lensing cluster and parallel fields observed by the Hubble Frontier Fields (HFF) program. We identify $54$ dropouts at $z\sim5-10$ in the HFF fields, and enlarge the size of $z\sim9$ galaxy sample obtained to date. Although the number of highly magnified ($μ\sim10$) galaxies is small due to the tiny survey volume of strong lensing, our study reaches the galaxies' intrinsic luminosities comparable to the deepest-field HUDF studies. We derive UV luminosity functions with these faint dropouts, carefully evaluating the combination of observational incompleteness and lensing effects in the image plane by intensive simulations including magnification, distortion, and multiplication of images, with the evaluations of mass model dependences. Our results confirm that the faint-end slope, $α$, is as steep as $-2$ at $z\sim6-8$, and strengthen the evidence of the rapid decrease of UV luminosity densities, $ρ_\mathrm{UV}$, at $z>8$ from the large $z\sim9$ sample. We examine whether the rapid $ρ_\mathrm{UV}$ decrease trend can reconcile with the large Thomson scattering optical depth, $τ_\mathrm{e}$, measured by CMB experiments allowing a large space of free parameters such as average ionizing photon escape fraction and stellar-population dependent conversion factor. No parameter set can reproduce both the rapid $ρ_\mathrm{UV}$ decrease and the large $τ_\mathrm{e}$. It is possible that the $ρ_\mathrm{UV}$ decrease moderates at $z\gtrsim11$, that the free parameters significantly evolve towards high-$z$, or that there exist additional sources of reionization such as X-ray binaries and faint AGNs.
description: 23 pages, 18 figures, accepted for publication in ApJ
Gaia DR2 and EDR3 data and evolutionary status of post-AGB stars with high radial velocities
Creators: name: Aoki, Wako
name: Matsuno, Tadafumi
name: Parthasarathy, Mudumba
Publisher: name: arXiv
Year: 2022
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: Using the Gaia DR2 and EDR3 data and list of post-AGB candidates, we investigate the parallax, proper motion and binarity for twenty post-AGB stars and candidates having high radial velocities. From their Gaia distances their luminosities and kinematics are derived. The evolutionary status of these stars is discussed from their location on the post-AGB evolutionary tracks. Nine stars are confirmed to be post-AGB stars that have their initial main-sequence mass around one or two solar masses. From their kinematics information, two objects among them are identified to clearly belong to the halo population, suggesting that low-mass. We discuss on the origin and evolutionary status of other objects in the sample of this work with high radial velocities.
description: 18 pages, 2 figures, 3 tables, to appear in PASJ
Monarch-1/PYPAF7 and other CATERPILLER (CLR, NOD, NLR) proteins with negative regulatory functions
Creators: name: Lich, John D.
name: Ting, Jenny Pan-Yun
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2007

description: CATERPILLER is a mammalian gene family with signature NBD and LRR domains. Several members of this family are positive regulators of inflammatory responses. Others, however, exert negative effects on proinflammatory responses. These data are particularly convincing when shRNA/siRNA are used. This review focuses on the Monarch-1/PYPAF7 gene with brief discussions of CLR16.2/NOD3, PYPAF2/PAN1/NALP2, and PYPAF3.
Using qualitative metasummary to synthesize qualitative and quantitative descriptive findings
Creators: name: Sandelowski, Margarete
name: Barroso, Julie
name: Voils, Corrine I.
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2007

description: The new imperative in the health disciplines to be more methodologically inclusive has generated a growing interest in mixed research synthesis, or the integration of qualitative and quantitative research findings. Qualitative metasummary is a quantitatively oriented aggregation of qualitative findings originally developed to accommodate the distinctive features of qualitative surveys. Yet these findings are similar in form and mode of production to the descriptive findings researchers often present in addition to the results of bivariate and multivariable analyses. Qualitative metasummary, which includes the extraction, grouping, and formatting of findings, and the calculation of frequency and intensity effect sizes, can be used to produce mixed research syntheses and to conduct a posteriori analyses of the relationship between reports and findings.
“Distorted into clarity”: A methodological case study illustrating the paradox of systematic review
Creators: name: Voils, Corrine I.
name: Barroso, Julie
name: Sandelowski, Margarete
name: Lee, Eun-Jeong
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2008

description: Systematic review is typically viewed in the health sciences as the most objective—that is, rigorous, transparent, and reproducible—method for summarizing the results of research. Yet, recent scholarship has shown systematic review to involve feats of interpretation producing less certain, albeit valuable, results. We found this to be the case when we tried to overcome the resistance to synthesis of a set of qualitative and quantitative findings on stigma in HIV-positive women. These findings were difficult to combine largely because of fuzzy conceptualizations of stigma and the volume of unique quantitative findings. Our encounter with findings resistant to synthesis heightened our awareness of the extent to which all systematic reviews are accomplished by practices that paradoxically “distort [research findings] into clarity.”
Accretion Burst Echoes as Probes of Protostellar Environments and Episodic Mass Assembly
Creators: name: Francis, Logan
name: Johnstone, Doug
name: Lee, Jeong-Eun
name: Herczeg, Gregory J.
name: Long, Feng
name: Mairs, Steve
name: Contreras-Peña, Carlos
name: Moriarty-Schieven, Gerald
Publisher: name: arXiv
Year: 2022
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: Protostars likely accrete material at a highly time variable rate, however, measurements of accretion variability from the youngest protostars are rare, as they are still deeply embedded within their envelopes. Sub-mm/mm observations can trace the thermal response of dust in the envelope to accretion luminosity changes, allowing variations in the accretion rate to be quantified. In this paper, we present contemporaneous sub-mm/mm light curves of variable protostars in Serpens Main, as observed by the ALMA ACA, SMA, and JCMT. The most recent outburst of EC 53 (V371 Ser), an $\sim 18$ month periodic variable, is well-sampled in the SMA and JCMT observations. The SMA light curve of EC 53 is observed to peak weeks earlier and exhibit a stronger amplitude than at the JCMT. Stochastic variations in the ACA observations are detected for SMM 10 IR with a factor $\sim 2$ greater amplitude than as seen by the JCMT. We develop a toy model of the envelope response to accretion outbursts to show EC 53's light curves are plausibly explained by the delay associated with the light travel time across the envelope and the additional dilution of the JCMT response by the incorporation of cold envelope material in the beam. The larger JCMT beam can also wash out the response to rapid variations, which may be occurring for SMM 10 IR. Our work thus provides a valuable proof of concept for the usage of sub-mm/mm observations as a probe of both the underlying accretion luminosity variations and the protostellar environment.
description: 29 pages, 14 figures. Accepted for publication in the Astrophysical Journal
Olfactory and gustatory sensory changes to tobacco smoke in pregnant smokers
Creators: name: Lyna, Pauline
name: Pollak, Kathryn I.
name: Oncken, Cheryl A.
name: Pletsch, Pamela K.
name: Peterson, Bercedis L.
name: Park, Jeongok
name: Swamy, Geeta K.
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2008

description: Models of smoking behavior change include addiction, social, and behavioral concepts. The purpose of this study was to explore the prevalence of two biologic factors, olfactory and gustatory responses to tobacco smoke, as potentially powerful contributors to smoking behavior change among pregnant women. Data were obtained from 209 pregnant smokers. The majority of women reported olfactory (62%) and gustatory (53%) aversions to tobacco. Aversions first appeared during the first trimester of pregnancy. Women who experienced olfactory aversions were more likely also to experience gustatory aversions. Olfactory aversions were associated with women smoking less. Aversions to tobacco smoke are common among pregnant smokers, are associated with women smoking less, and could help explain pregnant women’s smoking patterns.
Interferometric imaging, and beam-formed study of a moving Type IV Radio burst with LOFAR
Creators: name: Liu, Hongyu
name: Zucca, Pietro
name: Cho, Kyung-Suk
name: Kumari, Anshu
name: Zhang, Peijin
name: Magdalenic, Jasmina
name: Kim, Rok-Soon
name: Kim, Sujin
name: Kang, Juhyung
Publisher: name: arXiv
Year: 2022
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: Type IV radio burst has been studied for over 50 years. However, the specifics of the radio emission mechanisms is still an open question. In order to provide more information about the emission mechanisms, we studied a moving type IV radio burst with fine structures (spike group) by using the high resolution capability of Low-Frequency Array (LOFAR) on Aug 25, 2014\textbf{ (SOLA-D-21-00188)}. We present a comparison of Nançay RadioHeliograph (NRH) and the first LOFAR imaging data of type IV radio burst. The degree of circular polarization (DCP) is calculated at frequencies in the range 20$\sim$180 MHz using LOFAR data, and it was found that the value of DCP gradually increased during the event, with values of 10\%$\sim$20\%. LOFAR interferometric data were combined with white light observations in order to track the propagation of this type IV. The kinematics shows a westward motion of the radio sources, slower than the CME leading edge. The dynamic spectrum of LOFAR shows a large number of fine structures with duration of less than 1s and high brightness temperature ($T_\mathrm{B}$), i.e. $10^{12}$$\sim$$10^{13}$ K. The gradual increase of DCP supports gyrosynchrotron emission as the most plausible mechanism for the type IV. However, coherent emissions such as Electron Cyclotron Maser (ECM) instability can be responsible for small scale fine structures. Countless fine structures altogether were responsible for such high $T_\mathrm{B}$.
UTP2: Higher-Order Equational Reasoning by Pointing
Creators: name: Butterfield, Andrew
Publisher: name: arXiv
Year: 2014
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Human-Computer Interaction (cs.HC)
subject: FOS: Computer and information sciences

description: We describe a prototype theorem prover, UTP2, developed to match the style of hand-written proof work in the Unifying Theories of Programming semantical framework. This is based on alphabetised predicates in a 2nd-order logic, with a strong emphasis on equational reasoning. We present here an overview of the user-interface of this prover, which was developed from the outset using a point-and-click approach. We contrast this with the command-line paradigm that continues to dominate the mainstream theorem provers, and raises the question: can we have the best of both worlds?
description: In Proceedings UITP 2014, arXiv:1410.7850
Adherence to walking or stretching, and risk of preeclampsia in sedentary pregnant women
Creators: name: Yeo, SeonAe
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2009

description: Pregnant women at risk for preeclampsia may benefit from the positive effects of exercise, but they may be unlikely to adhere to an exercise program. A randomized trial was conducted with 124 sedentary pregnant women to compare the effects of walking exercise to a stretching exercise on adherence and on the preeclampsia risk factors of heart rate (HR), blood pressure, and weight gain. Walkers exercised less than stretchers both overall and as pregnancy advanced. HR and blood pressure were lower among stretchers than walkers, but weight gain did not differ between the groups. For sedentary pregnant women, a stretching exercise may be more effective than walking in mitigating the risk of preeclampsia due to higher adherence and possible cardiac-physiologic effects.
Asymmetry of wetting and de-wetting on high-friction surfaces originates from the same molecular physics
Creators: name: Pellegrino, Michele
name: Hess, Berk
Publisher: name: arXiv
Year: 2022
Subjects: subject: Fluid Dynamics (physics.flu-dyn)
subject: Computational Physics (physics.comp-ph)
subject: FOS: Physical sciences

description: The motion of three-phase contact lines is one of the most relevant research topics of micro- and nano-fluidics. According to many hydrodynamic and molecular models, the dynamics of contact lines is assumed overdamped and dominated by localised liquid-solid friction, entailing the existence of a mobility relation between contact line speed and microscopic contact angle. We present and discuss a set of non-equilibrium atomistic Molecular Dynamics simulations of water nanodroplets spreading on or confined between silica-like walls, showing the existence of the aforementioned relation and its invariance under wetting modes (`spontaneous' or `forced'). Upon changing the wettability of the walls, it has been noticed that more hydrophilic substrates are easier to wet rather than de-wet; we show how this asymmetry can be automatically captured by a contact line friction model that accounts for the molecular transport between liquid layers. A simple examination of the order and orientation of near-contact-line water molecules corroborates the physical foundation of the model. Lastly, we propose an approach to discriminate between contact line friction models which overcomes the limitations of experimental resolution. This work constitutes a stepping stone towards demystifying wetting dynamics on high-friction hydrophilic substrates and underlines the relevance of contact line friction in modelling the motion of three-phase contact lines.
description: 11 pages (double column), 11 figures, submitted to Physics of Fluids
Stakeholder Mapping in the Context of Offshore Wind Energy in the Gulf of Roses/Cap de Creus
Creators: name: Garcia, Laura
name: Sardà, Rafael
name: Lloret, Josep
name: Vila, Josep
Publisher: name: Zenodo
Year: 2023
Subjects: Offshore Wind Farm (OWF), Gulf of Roses/Cape of Creus, Mapping stakeholders, qualitative analysis, press media.

description: Study conducted by Laura García and co-authors Josep Lloret, Rafa Sardà, and Josep Vila. This research focuses on analyzing the various offshore wind energy projects (a total of 7) submitted to MITECO in the Cape de Creus / Gulf of Roses area. Through the selection and reading of media, we aim to gain an understanding of the current situation before construction and identify the key stakeholders in the region. Our next steps involve conducting interviews or surveys with these stakeholders to assess their relationships and validate our research methodology. This study is crucial for comprehending the landscape of marine wind energy planning in this region, shedding light on both the project status and the involved parties.
description: BIOPAIS has the support of the Biodiversity Foundation from the Ministry for the Ecological Transition and the Demographic Challenge (MITECO) within the framework of the Recovery, Transformation and Resilience Plan (PRTR), financed by the European Union - NextGenerationEU.
Development of the ways of helping questionnaire: A measure of preferred coping strategies for older African American cancer survivors
Creators: name: Crandell, Jamie L.
name: Lynn, Mary R.
name: Hamilton, Jill B.
name: Stewart, Barbara J.
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2009

description: Although researchers have identified beneficial coping strategies for cancer patients, existing coping measures do not capture the preferred coping strategies of older African American cancer survivors. A new measure, the Ways of Helping Questionnaire (WHQ), was evaluated with 385 African American cancer survivors. Validity evidence from factor analysis resulted in 10 WHQ subscales (Others There for Me, Physical and Treatment Care Needs, Help from God, Church Family Support, Helping Others, Being Strong for Others, Encouraging My Healthy Behaviors, Others Distract Me, Learning about Cancer, and Distracting Myself). Reliability evidence was generally strong. Evidence regarding hypothesized relationships with measures of well-being and another coping measure was mixed. The WHQ’s content coverage makes it especially relevant for older African American cancer survivors.
Development of the characterization methods without electrothermal feedback for TES bolometers for CMB measurements
Creators: name: Nishinomiya, Yume
name: Kusaka, Akito
name: Kiuchi, Kenji
name: Terasaki, Tomoki
name: Hubmayr, Johannes
name: Lee, Adrian
name: McCarrick, Heather
name: Suzuki, Aritoki
name: Westbrook, Benjamin
Publisher: name: arXiv
Year: 2022
Subjects: subject: Instrumentation and Methods for Astrophysics (astro-ph.IM)
subject: FOS: Physical sciences

description: Superconducting Transition-Edge Sensor (TES) bolometers are used for cosmic microwave background (CMB) observations. We used a testbed to evaluate the thermal performance of TES bolometers in regard to the saturation power Psat and intrinsic thermal time constant tau0. We developed an evaluation method that is complementary to methods with electrothermal feedback. In our method, the antenna termination resistor of the bolometer is directly biased with DC or AC electric power to simulate optical power, and the TES is biased with small power, which allows Psat and tau0 to be determined without contribution from the negative electrothermal feedback. We describe the method and results of the measurement using it. We evaluated Psat of five samples by applying DC power and confirmed the overall trend between Psat and the inverse leg length. We evaluated tau0 of the samples by applying DC plus AC power, and the measured value was reasonable in consideration of the expected values of other TES parameters. This evaluation method enables us to verify whether a TES has been fabricated with the designed values and to provide feedback for fabrication for future CMB observations.
description: 7 pages, 6 figures, LTD19 Conference Proceedings
Multilayer weighted social network model
Creators: name: Murase, Yohsuke
name: Török, János
name: Jo, Hang-Hyun
name: Kaski, Kimmo
name: Kertész, János
Publisher: name: arXiv
Year: 2014
Subjects: subject: Physics and Society (physics.soc-ph)
subject: Social and Information Networks (cs.SI)
subject: FOS: Physical sciences
subject: FOS: Computer and information sciences

description: Recent empirical studies using large-scale data sets have validated the Granovetter hypothesis on the structure of the society in that there are strongly wired communities connected by weak ties. However, as interaction between individuals takes place in diverse contexts, these communities turn out to be overlapping. This implies that the society has a multilayered structure, where the layers represent the different contexts. To model this structure we begin with a single-layer weighted social network (WSN) model showing the Granovetterian structure. We find that when merging such WSN models, a sufficient amount of interlayer correlation is needed to maintain the relationship between topology and link weights, while these correlations destroy the enhancement in the community overlap due to multiple layers. To resolve this, we devise a geographic multilayer WSN model, where the indirect interlayer correlations due to the geographic constraints of individuals enhance the overlaps between the communities and, at the same time, the Granovetterian structure is preserved.
description: 9 pages, 9 figures
Life course theory as a framework to examine becoming a mother of a medically fragile preterm infant
Creators: name: Holditch-Davis, Diane
name: Black, Beth Perry
name: Miles, Margaret S.
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2009

description: Life course theory, a sociological framework, was used to analyze the phenomenon of becoming a mother, with longitudinal narrative data from 34 women who gave birth prematurely after a high-risk pregnancy, and whose infant became medically fragile. Women faced challenges of mistimed birth and mothering a technologically-dependent infant. Before social ties were established, legal and biological ties required mothers to make critical decisions about their infants. Liminality characterized mothers’ early involvement with their infants. The mothers worked to know, love, and establish deeper attachments to this baby. The infant’s homecoming was a key turning point; it decreased liminality of early mothering, increased mothers’ control of infants’ care, and gave them time and place to know their infants more intimately.
Nurse staffing and medication errors: Cross-sectional or longitudinal relationships?
Creators: name: Belyea, Michael
name: Mark, Barbara A.
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2009

description: We used autoregressive latent trajectory (ALT) modeling to examine the relationship between change in nurse staffing and change in medication errors over 6 months in 284 general medical-surgical nursing units. We also investigated the impact of select hospital and nursing unit characteristics on the baseline level and rate of change in medication errors. We found essentially no support for a nurse staffing – medication error relationship either cross-sectionally or longitudinally. Few hospital or nursing unit characteristics had significant relationships to either the baseline level or rate of change in medication errors. However, ALT modeling is a promising technique that can promote a deeper understanding of the theoretically complex relationships that may underlie the nurse staffing – medication error relationship.
The gluon condensation in hadron collisions
Creators: name: Zhu, Wei
name: Chen, Qihui
name: Cui, Zhiyi
name: Ruan, Jianhong
Publisher: name: arXiv
Year: 2022
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: Gluons may converge to a stable state at a critical momentum in hadrons. This gluon condensation is predicted by a nonlinear QCD evolution equation. We review the understanding of the gluon condensation and present a clear physical picture that produces the gluon condensation from the colour glass condensate. We summarize the applications of the GC effect in the $p-p(A)$ collisions and predict that the $p-Pb$ and $Pb-Pb$ collisions at the LHC are close to the energy region of the gluon condensation. We warn that for the next generation of hadron colliders with the increasing of the collision energy, the extremely strong gamma-rays will be emitted in a narrow space of the accelerator due to the gluon condensation effect. Such artificial mini gamma-ray bursts in the laboratory may damage the detectors.
description: 30 pages, 11 figures, 2 tables, Accepted for publication in NPB. arXiv admin note: text overlap with arXiv:2109.09826
Organizational influences on patient perceptions of symptom management
Creators: name: Bacon, Cynthia Thornton
name: Hughes, Linda C.
name: Mark, Barbara A.
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2009

description: We tested a theoretical model of the relationships of hospital context, nursing unit structure, and patient characteristics to patients’ perceptions of the extent to which nurses met their expectations for management of troubling symptoms. In our sample of 2,720 patients randomly selected from 278 nursing units in 143 hospitals, we found that patient age was positively associated with patients’ perceptions of symptom management. The proportion of registered nurses as caregivers on the unit was not a significant predictor of symptom management, but better work conditions on the unit (nurses’ autonomy, participation in decision-making, and collaboration with other disciplines [relational coordination]) significantly contributed to patients’ perceptions of better symptom management.
Feedback, scatter and structure in the core of the PKS 0745-191 galaxy cluster
Creators: name: Sanders, J. S.
name: Fabian, A. C.
name: Hlavacek-Larrondo, J.
name: Russell, H. R.
name: Taylor, G. B.
name: Hofmann, F.
name: Tremblay, G.
name: Walker, S. A.
Publisher: name: arXiv
Year: 2014
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: We present Chandra X-ray Observatory observations of the core of the galaxy cluster PKS 0745-191. Its centre shows X-ray cavities caused by AGN feedback and cold fronts with an associated spiral structure. The cavity energetics imply they are powerful enough to compensate for cooling. Despite the evidence for AGN feedback, the Chandra and XMM-RGS X-ray spectra are consistent with a few hundred solar masses per year cooling out of the X-ray phase, sufficient to power the emission line nebula. The coolest X-ray emitting gas and brightest nebula emission is offset by around 5 kpc from the radio and X-ray nucleus. Although the cluster has a regular appearance, its core shows density, temperature and pressure deviations over the inner 100 kpc, likely associated with the cold fronts. After correcting for ellipticity and projection effects, we estimate density fluctuations of ~4 per cent, while temperature, pressure and entropy have variations of 10-12 per cent. We describe a new code, MBPROJ, able to accurately obtain thermodynamical cluster profiles, under the assumptions of hydrostatic equilibrium and spherical symmetry. The forward-fitting code compares model to observed profiles using Markov Chain Monte Carlo and is applicable to surveys, operating on 1000 or fewer counts. In PKS0745 a very low gravitational acceleration is preferred within 40 kpc radius from the core, indicating a lack of hydrostatic equilibrium, deviations from spherical symmetry or non-thermal sources of pressure.
description: 21 pages, 18 figures, accepted by MNRAS
WORKSHOP: RNASeq: reads to differential genes and pathways
Creators: name: Samaha, Georgina
name: Deshpande, Nandan
name: Lu, Ching-Yu
name: Chung, Jessica
name: Stott, Audrey
name: Ip, Alex
Publisher: name: Zenodo
Year: 2023
Subjects: bioinformatics
transcriptomics
RNA-seq
RNAseq

description: This record includes training materials associated with the Australian BioCommons workshop 'RNASeq: reads to differential genes and pathways'. This workshop took place over two, 3 hour sessions on 11 and 12 October 2023.
Event description
RNA sequencing (RNAseq) is a popular and powerful technique used to understand the activity of genes. Using differential gene profiling methods, we can use RNAseq data to gain valuable insights into gene activity and identify variability in gene expression between samples to understand the molecular pathways underpinning many different traits.  
In this hands-on workshop, you will learn RNAseq fundamentals as you process, analyse, and interpret the results from a real RNAseq experiment on the command-line. In session one, you will convert raw sequence reads to analysis-ready count data with the nf-core/rnaseq workflow. In session two, you'll work interactively in RStudio to identify differentially expressed genes,perform functional enrichment analysis, and visualise and interpret your results using popular and best practice R packages.  
This workshop was delivered as a part of the Australian BioCommons Bring Your Own Data Platforms Project and will provide you with an opportunity to explore services and infrastructure built specifically for life scientists working at the command line. By the end of the workshop, you will be familiar with Pawsey's Nimbus cloud platform and be able to process your own RNAseq datasets and perform differential expression analysis on the command-line. 
Materials are shared under a Creative Commons Attribution 4.0 International agreement unless otherwise specified and were current at the time of the event.
Lead trainers: Dr Georgina Samaha (Sydney Informatics Hub), Dr Nandan Deshpande (Sydney Informatics Hub)
Facilitators: Ching-Yu Lu and Jessica Chung.
Infrastructure provision: Audrey Stott (Pawsey Supercomputing Research Centre), Alex Ip (AARNet)
Host: Melissa Burke, Australian BioCommons
 
Training materials
Files and materials included in this record:

Event metadata (PDF): Information about the event including, description, event URL, learning objectives, prerequisites, technical requirements etc.
Index of training materials (PDF): List and description of all materials associated with this event including the name, format, location and a brief description of each file.
Materials shared elsewhere:
This workshop follows the tutorial 'Introduction to RNAseq workshop: reads to differential gene expression' developed by the Sydney Informatics Hub.
https://sydney-informatics-hub.github.io/rnaseq-workshop-2023/
Additional supporting materials are available via GitHub
Rstudio rnaseq container: https://github.com/Sydney-Informatics-Hub/Rstudio-rnaseq-contained/tree/main
RNAseq differential expression R notebook: https://github.com/Sydney-Informatics-Hub/rna-differential-expression-Rnotebook
Short-term in-home intervention reduces depressive symptoms in early head start Latina mothers of infants and toddlers
Creators: name: A. Schwartz, Todd
name: Lewis, Virginia
name: Perreira, Krista
name: Goldman, Barbara Davis
name: Beeber, Linda S.
name: Holditch-Davis, Diane
name: Blanchard, Hjordis
name: Canuso, Regina
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2009

description: Depressive symptoms may compromise the ability of low-income Latina mothers with limited English language proficiency to parent their infants or toddlers. Eighty Early Head Start Latina mothers with limited English language proficiency were randomized to an advanced practice nurse-delivered, culturally tailored, in-home psychotherapy intervention, or to usual care. Repeated measures regression analysis showed a significantly greater decrease in depressive symptoms for intervention mothers compared to the usual care group at 22 and 26 weeks (4 weeks post intervention). Intervention mothers’ reports of their child's aggression diminished significantly from T1 to T4 compared to usual care mothers (p= .03). Self-efficacy appeared to only partially mediate the intervention effect, and maternal health moderated the intervention impact. Results indicate that the intervention reduced depressive symptoms and, compared to previous studies in this population, retention of mothers in both intervention and control conditions was improved.
Parental perceptions of the outcome and meaning of normalization
Creators: name: Gallo, Agatha M.
name: Angst, Denise B.
name: Knafl, Kathleen A.
name: Darney, Blair G.
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2010

description: The purpose of this secondary analysis was to identify the meaning of normalization for parents of a child with a chronic genetic condition. The sample was comprised of 28 families (48 parents), selected to reflect two groups: Normalization Present (NP) and Normalization Absent (NA). Constant comparison analysis was used to identify themes characterizing parents' perceptions of the meaning of normalization. The meanings parents attributed to normalization reflected their evaluation of condition management, parenting role, and condition impact, with parents in the NP and NA groups demonstrating distinct patterns of meaning. These meaning patterns are discussed as an outcome of normalization. Providers can play a pivotal role in helping families achieve normalization by providing guidance on how to balance condition management with normal family life.
Tinker, tailor, solver, proof
Creators: name: Grov, Gudmund
name: Kissinger, Aleks
name: Lin, Yuhui
Publisher: name: arXiv
Year: 2014
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Human-Computer Interaction (cs.HC)
subject: FOS: Computer and information sciences

description: We introduce Tinker, a tool for designing and evaluating proof strategies based on proof-strategy graphs, a formalism previously introduced by the authors. We represent proof strategies as open-graphs, which are directed graphs with additional input/output edges. Tactics appear as nodes in a graph, and can be `piped' together by adding edges between them. Goals are added to the input edges of such a graph, and flow through the graph as the strategy is evaluated. Properties of the edges ensure that only the right `type' of goals are accepted. In this paper, we detail the Tinker tool and show how it can be integrated with two different theorem provers: Isabelle and ProofPower.
description: In Proceedings UITP 2014, arXiv:1410.7850