cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Refinement for Probabilistic Systems with Nondeterminism
Creators: name: Reeves, Steve
name: Streader, David
Publisher: name: arXiv
Year: 2011
Subjects: subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences

description: Before we combine actions and probabilities two very obvious questions should be asked. Firstly, what does "the probability of an action" mean? Secondly, how does probability interact with nondeterminism? Neither question has a single universally agreed upon answer but by considering these questions at the outset we build a novel and hopefully intuitive probabilistic event-based formalism. In previous work we have characterised refinement via the notion of testing. Basically, if one system passes all the tests that another system passes (and maybe more) we say the first system is a refinement of the second. This is, in our view, an important way of characterising refinement, via the question "what sort of refinement should I be using?" We use testing in this paper as the basis for our refinement. We develop tests for probabilistic systems by analogy with the tests developed for non-probabilistic systems. We make sure that our probabilistic tests, when performed on non-probabilistic automata, give us refinement relations which agree with for those non-probabilistic automata. We formalise this property as a vertical refinement.
description: In Proceedings Refine 2011, arXiv:1106.3488
Psaironeura machadoi DeMarmels 1989
Creators: name: DeMarmels, Jurg
Publisher: name: Zenodo
Year: 1992
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Odonata
Protoneuridae
Psaironeura
Psaironeura machadoi

description: Psaironeura machadoi DeMarmels, 1989 Material. 1♀, Base Camp. Remarks. The only specimen seen. It was caught at a small sandy creek in the forest. In the absence of a male the specific identity of this femalv must remain somewhat doubtful.
description: Published as part of DeMarmels, Jurg, 1992, Dragonflies (Odonata) From The Sierras Of Tapirapeco And Unturan, In The Extreme South Of Venezuela, pp. 57-78 in Acta Biologica Venezuelica 14 (1) on page 62, DOI: 10.5281/zenodo.3266063
Acanthagrion chacoense Williamson 1917
Creators: name: DeMarmels, Jurg
Publisher: name: Zenodo
Year: 1992
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Odonata
Coenagrionidae
Acanthagrion
Acanthagrion chacoense

description: Acanthagrion chacoense Calvert. 1909 Figure 30 Material (2♂, 1♀), Base Camp. 1♂, 1♀ (in tandem), upper Rio Mavaca (S of Base Camp). Remarks. The male from Base Camp was flying over a small stagnant pool in the large dearing of the camp, in the neighbourhood of the river. The tandem was caught over low bank vegetation on the Mavaca. This is the second record of the species from Venezuela. The female was described by Calvert (1961), but the mesepisternal fossae are not mentioned. These appear as hardly noticeable shallow impressions at the median end of the furrow, which separates mesostigmal laminae from mesepisterna (Fig. 30).
description: Published as part of DeMarmels, Jurg, 1992, Dragonflies (Odonata) From The Sierras Of Tapirapeco And Unturan, In The Extreme South Of Venezuela, pp. 57-78 in Acta Biologica Venezuelica 14 (1) on page 62, DOI: 10.5281/zenodo.3266063
description: {"references": ["CALVERT, P. P. 1961 - Adult Odonata of the Catherwood Peruvian- Amazon Expedition. Proceedings of the Academy of Natural Sciences, Philadelphia, 113 (1): 1 - 20."]}
The role of SHIP2 in suppressing inflammatory signaling induced by LPS in immortalized murine macrophage cell line
Creators: name: Wang, Tianren
Publisher: name: University of British Columbia
Year: 2016

description: Inflammation is an important step in the body’s defense against pathogen infection. However, it must be tightly regulated and appropriately terminated to prevent pathological consequences. Interleukin-10 (IL10) is one of the body’s most important anti-inflammatory cytokine that can inhibit many molecular events necessary for promoting inflammation including production of pro-inflammatory cytokines such as Tumor Necrosis Factor α (TNFα). Our laboratory has recently shown that SH2-domain containing Inositol 5ʹ phosphatase (SHIP1) is involved in IL10 signaling in macrophages, and although the mechanism of how this occurs is not well studied, our laboratory have obtained data suggesting SHIP1 mediates IL10 signalling through its phosphatase activity or interaction with other signalling proteins. SHIP2 is the only other known homologue of SHIP1 with approximately 38% amino acid sequence identity, yet they possess several similar functions including mediating FcγIIB signaling and phagocytosis. Because of their similarities and SHIP1’s involvement in IL10 signaling, we sought to investigate whether SHIP2 is also involved in inhibiting inflammatory response in macrophage by knocking it out using CRISPR/Cas9-mediated genome editing. Overall, we were unable to determine whether SHIP2 plays a role in macrophage anti-inflammatory response due to the large variation in cell sensitivity to IL10 and we also observed that transduction of macrophages with CRISPR/Cas9 virus alters the cellular response to IL10 which confounded our investigation of SHIP2 function.
Acanthagrion indefensum Williamson 1916
Creators: name: DeMarmels, Jurg
Publisher: name: Zenodo
Year: 1992
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Odonata
Coenagrionidae
Acanthagrion
Acanthagrion indefensum

description: Acanthagrionindefensum Willimson. 1916 Material. 3♂, Siapa 2. Remarks. Few males were observed flying over low bank vegetation. This is the second record for Venezuela and the first from the Amazonas Federal Territory.
description: Published as part of DeMarmels, Jurg, 1992, Dragonflies (Odonata) From The Sierras Of Tapirapeco And Unturan, In The Extreme South Of Venezuela, pp. 57-78 in Acta Biologica Venezuelica 14 (1) on page 62, DOI: 10.5281/zenodo.3266063
Disappearance of Quantum Chaos in Coupled Chaotic Quantum Dots
Creators: name: Filikhin, Igor
name: Matinyan, Sergei
name: Vlahovic, Branislav
Publisher: name: arXiv
Year: 2010
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Chaotic Dynamics (nlin.CD)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Statistical properties of the single electron levels confined in the semiconductor (InAs/GaAs, Si/SiO2) double quantum dots (DQDs) are considered. We demonstrate that in the electronically coupled chaotic quantum dots the chaos with its level repulsion disappears and the nearest neighbor level statistics becomes Poissonian. This result is discussed in the light of the recently predicted "huge conductance peak" by R.S. Whitney at al. (Phys. Rev. Lett. {\bf 102}, 186802 (2009)) in the mirror symmetric DQDs.
description: 4 pages, 9 figures
Two-Higgs-doublet models with Minimal Flavour Violation
Creators: name: Carlucci, Maria Valentina
Publisher: name: arXiv
Year: 2010
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: The tree-level flavour-changing neutral currents in the two-Higgs-doublet models can be suppressed by protecting the breaking of either flavour or flavour-blind symmetries, but only the first choice, implemented by the application of the Minimal Flavour Violation hypothesis, is stable under quantum corrections. Moreover, a two-Higgs-doublet model with Minimal Flavour Violation enriched with flavour-blind phases can explain the anomalies recently found in the Delta F = 2 transitions, namely the large CP-violating phase in B_s mixing and the tension between epsilon_K and S_ψ_K.
description: 6 pages, 1 figure, Proceedings of "QCD@Work 2010" - June 20-23, 2010 - Martina Franca (Italy)
VLT/FORS2 observations of the optical counterpart of the isolated neutron star RBS 1774
Creators: name: Mignani, R. P.
name: Zane, S.
name: Turolla, R.
name: Haberl, F.
name: Cropper, M.
name: Motch, C.
name: Treves, A.
name: Zampieri, L.
Publisher: name: arXiv
Year: 2011
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: X-ray observations performed with ROSAT led to the discovery of a group (seven to date) of X-ray dim and radio-silent middle-aged isolated neutron stars (a.k.a. XDINSs), which are characterised by pure blackbody spectra (kT~40-100 eV), long X-ray pulsations (P=3-12 s), and appear to be endowed with relatively high magnetic fields, (B~10d13-14 G). RBS 1774 is one of the few XDINSs with a candidate optical counterpart, which we discovered with the VLT. We performed deep observations of RBS 1774 in the R band with the VLT to disentangle a non-thermal power-law spectrum from a Rayleigh-Jeans, whose contributions are expected to be very much different in the red part of the spectrum. We did not detect the RBS 1774 candidate counterpart down to a 3 sigma limiting magnitude of R~27. The constraint on its colour, (B-R)<0.6, rules out that it is a background object, positionally coincident with the X-ray source. Our R-band upper limit is consistent with the extrapolation of the B-band flux (assuming a 3 sigma uncertainty) for a set of power-laws F_nu ~nu^alpha with spectral indeces alpha<0.07. If the optical spectrum of RBS 1774 were non-thermal, its power-law slope would be very much unlike those of all isolated neutron stars with non-thermal optical emission, suggesting that it is most likely thermal. For instance, a Rayleigh-Jeans with temperature T_O = 11 eV, for an optically emitting radius r_O=15 km and a source distance d=150 pc, would be consistent with the optical measurements. The implied low distance is compatible with the 0.04 X-ray pulsed fraction if either the star spin axis is nearly aligned with the magnetic axis or with the line of sight, or it is slightly misaligned with respect to both the magnetic axis and the line of sight by 5-10 degrees
description: 8 pages, 8 postscript figures, accepted for publication in Astronomy & Astrophysics
Far-from-equilibrium dynamics of an ultracold Fermi gas
Creators: name: Kronenwett, Matthias
name: Gasenzer, Thomas
Publisher: name: arXiv
Year: 2010
Subjects: subject: Quantum Gases (cond-mat.quant-gas)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: Nonequilibrium dynamics of an N-fold spin-degenerate ultracold Fermi gas is described in terms of beyond-mean-field Kadanoff-Baym equations for correlation functions. Using a nonperturbative expansion in powers of 1/N, the equations are derived from the two-particle irreducible effective action in Schwinger-Keldysh formulation. The definition of the nonperturbative approximation on the level of the effective action ensures vital conservation laws as, e.g., for the total energy and particle number. As an example, the long-time evolution of a homogeneous, twofold spin-degenerate Fermi gas is studied in one spatial dimension after an initial preparation far from thermal equilibrium. Analysis of the fluctuation-dissipation relation shows that, at low energies, the gas does not thermalise.
description: 20 pages, 11 figures
Synthesis, characterization and computational study of CuI nanoparticles immobilized on modified poly (styrene-co-maleic anhydride) as a green, efficient and recyclable heterogeneous catalyst in the synthesis of 1,4-disubstituted 1,2,3-triazoles via click reaction
Creators: name: Mommahed Heravi, Majid
name: Ebrahimpour-Malamir, Fatemeh
name: Hosseinnejad, Tayebeh
name: Mirsafaei, Razieh
Publisher: name: figshare
Year: 2022
Subjects: subject: 30302 Nanochemistry and Supramolecular Chemistry
subject: FOS: Chemical sciences
subject: 30502 Natural Products Chemistry
subject: 39904 Organometallic Chemistry
subject: 40204 Organic Geochemistry
subject: FOS: Earth and related environmental sciences
subject: Organic Chemistry
subject: 30599 Organic Chemistry not elsewhere classified
subject: Nuclear Chemistry
subject: 30504 Organic Green Chemistry
subject: 30303 Optical Properties of Materials
subject: 30205 Non-metal Chemistry

description: Poly (styrene-co-maleic anhydride) (SMA) was modified by reactionwith4-amino-2-methyl-10H-thiene [2,3-b][1,5]-benzodiazepine (ATD) hydrochloride, providing an imide with the appropriate sites for the coordination of Cu(I)ions. This modified SMA was reacted with CuI to obtain immobilized Cu(I) NPs. This Cu(I) NPs (CuI/SMI-TD) was fully characterized by conventional techniques such as FT-IR, NMR, SEM, TEM, EDAX and ICP-AES analysis. The SEM and TEM images clearly showed CuI NPs as spherical shapes and the size of particles is 30-60 nm. Moreover, a quantitative description for experimental features of CuI/SMI-TD was presented via computational assessment for the interactions between copper metal ions and coordination sites of SMI-TD ligand. The catalytic activity of this new catalyst was examined in the regioselective synthesis of 1,4-disubstituted-1,2,3 triazoles in a classical copper-catalyzed reaction a so-called click reaction. The catalyst showed highly efficient catalytic activity, excellent reusability, high yield and more importantly excellent, regioselectivity. The catalyst was recoverable through simple filtration and can be reused at least five times without significant loss of catalytic activity. The heterogeneous nature of the catalyst was confirmed based on the hot filtration test and ICP-AES analysis.
Model exploration and analysis for quantitative safety refinement in probabilistic B
Creators: name: Ndukwu, Ukachukwu
name: McIver, Annabelle
Publisher: name: arXiv
Year: 2011
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences

description: The role played by counterexamples in standard system analysis is well known; but less common is a notion of counterexample in probabilistic systems refinement. In this paper we extend previous work using counterexamples to inductive invariant properties of probabilistic systems, demonstrating how they can be used to extend the technique of bounded model checking-style analysis for the refinement of quantitative safety specifications in the probabilistic B language. In particular, we show how the method can be adapted to cope with refinements incorporating probabilistic loops. Finally, we demonstrate the technique on pB models summarising a one-step refinement of a randomised algorithm for finding the minimum cut of undirected graphs, and that for the dependability analysis of a controller design.
description: In Proceedings Refine 2011, arXiv:1106.3488
Phase Noise Modeling of Opto-Mechanical Oscillators
Creators: name: Tallur, Siddharth
name: Sridaran, Suresh
name: Bhave, Sunil A.
name: Carmon, Tal
Publisher: name: arXiv
Year: 2010
Subjects: subject: Optics (physics.optics)
subject: FOS: Physical sciences

description: We build upon and derive a precise far from carrier phase noise model for radiation pressure driven opto-mechanical oscillators and show that calculations based on our model accurately match published phase noise data for such oscillators. Furthermore, we derive insights based on the equations presented and calculate phase noise for an array of coupled disk resonators, showing that it is possible to achieve phase noise as low as -80 dBc/Hz at 1 kHz offset for a 54 MHz opto-mechanical oscillator.
QCD corrections to Upsilon production via color-octet states at the Tevatron and LHC
Creators: name: Gong, Bin
name: Wang, Jian-Xiong
name: Zhang, Hong-Fei
Publisher: name: arXiv
Year: 2010
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: High Energy Physics - Experiment (hep-ex)
subject: FOS: Physical sciences

description: The NLO QCD corrections to Upsilon production via S-wave color-octet states Upsilon(^1S_0^8,^3S_1^8) at the Tevatron and LHC is calculated. The K factors of total cross section (ratio of NLO to LO) are 1.313 and 1.379 for Upsilon(^1S_0^8) and Upsilon(^3S_1^8) at the Tevatron, while at the LHC they are 1.044 and 1.182, respectively. By fitting the experimental data from the D0, the matrix elements for S-wave color-octet states are obtained. And new predictions for Upsilon production are presented. The prediction for the polarization of inclusive Upsilon contains large uncertainty rising from the polarization of Upsilon from feed-down of chi_b. To further clarify the situation, new measurements on the production and polarization for direct Upsilon are expected.
description: 13 pages, 10 Figures
Integrability of Hurwitz Partition Functions. I. Summary
Creators: name: Alexandrov, A.
name: Mironov, A.
name: Morozov, A.
name: Natanzon, S.
Publisher: name: arXiv
Year: 2011
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: Combinatorics (math.CO)
subject: FOS: Physical sciences
subject: FOS: Mathematics

description: Partition functions often become τ-functions of integrable hierarchies, if they are considered dependent on infinite sets of parameters called time variables. The Hurwitz partition functions Z = \sum_R d_R^{2-k}χ_R(t^{(1)})...χ_R(t^{(k)})\exp(\sum_n ξ_nC_R(n)) depend on two types of such time variables, t and ξ. KP/Toda integrability in t requires that k\leq 2 and also that C_R(n) are selected in a rather special way, in particular the naive cut-and-join operators are not allowed for n>2. Integrability in ξfurther restricts the choice of C_R(n), forbidding, for example, the free cumulants. It also requires that k\leq 1. The quasiclassical integrability (the WDVV equations) is naturally present in ξvariables, but also requires a careful definition of the generating function.
description: 10 pages
Queue-Aware Dynamic Clustering and Power Allocation for Network MIMO Systems via Distributive Stochastic Learning
Creators: name: Cui, Ying
name: Huang, Qingqing
name: Lau, Vincent K. N.
Publisher: name: arXiv
Year: 2010
Subjects: subject: Machine Learning (cs.LG)
subject: FOS: Computer and information sciences

description: In this paper, we propose a two-timescale delay-optimal dynamic clustering and power allocation design for downlink network MIMO systems. The dynamic clustering control is adaptive to the global queue state information (GQSI) only and computed at the base station controller (BSC) over a longer time scale. On the other hand, the power allocations of all the BSs in one cluster are adaptive to both intra-cluster channel state information (CCSI) and intra-cluster queue state information (CQSI), and computed at the cluster manager (CM) over a shorter time scale. We show that the two-timescale delay-optimal control can be formulated as an infinite-horizon average cost Constrained Partially Observed Markov Decision Process (CPOMDP). By exploiting the special problem structure, we shall derive an equivalent Bellman equation in terms of Pattern Selection Q-factor to solve the CPOMDP. To address the distributive requirement and the issue of exponential memory requirement and computational complexity, we approximate the Pattern Selection Q-factor by the sum of Per-cluster Potential functions and propose a novel distributive online learning algorithm to estimate the Per-cluster Potential functions (at each CM) as well as the Lagrange multipliers (LM) (at each BS). We show that the proposed distributive online learning algorithm converges almost surely (with probability 1). By exploiting the birth-death structure of the queue dynamics, we further decompose the Per-cluster Potential function into sum of Per-cluster Per-user Potential functions and formulate the instantaneous power allocation as a Per-stage QSI-aware Interference Game played among all the CMs. We also propose a QSI-aware Simultaneous Iterative Water-filling Algorithm (QSIWFA) and show that it can achieve the Nash Equilibrium (NE).
Formalising the Continuous/Discrete Modeling Step
Creators: name: Banach, Richard
name: Zhu, Huibiao
name: Su, Wen
name: Huang, Runlei
Publisher: name: arXiv
Year: 2011
Subjects: subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences
subject: D.2.1; D.2.4

description: Formally capturing the transition from a continuous model to a discrete model is investigated using model based refinement techniques. A very simple model for stopping (eg. of a train) is developed in both the continuous and discrete domains. The difference between the two is quantified using generic results from ODE theory, and these estimates can be compared with the exact solutions. Such results do not fit well into a conventional model based refinement framework; however they can be accommodated into a model based retrenchment. The retrenchment is described, and the way it can interface to refinement development on both the continuous and discrete sides is outlined. The approach is compared to what can be achieved using hybrid systems techniques.
description: In Proceedings Refine 2011, arXiv:1106.3488
Aeolagrion flammeum Williamson 1917
Creators: name: DeMarmels, Jurg
Publisher: name: Zenodo
Year: 1992
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Odonata
Coenagrionidae
Aeolagrion
Aeolagrion flammeum

description: Aeolagrionflammeum (Selys, 1876) Material. 4♂, 2♀, Base Camp. Remarks. Several were collected around sun-hit bushes in the forest. but others frequented a large shady rainwater pool.
description: Published as part of DeMarmels, Jurg, 1992, Dragonflies (Odonata) From The Sierras Of Tapirapeco And Unturan, In The Extreme South Of Venezuela, pp. 57-78 in Acta Biologica Venezuelica 14 (1) on page 62, DOI: 10.5281/zenodo.3266063
Further explorations of Skyrme-Hartree-Fock-Bogoliubov mass formulas. XII: Stiffness and stability of neutron-star matter
Creators: name: Goriely, S.
name: Chamel, N.
name: Pearson, J. M.
Publisher: name: arXiv
Year: 2010
Subjects: subject: Nuclear Theory (nucl-th)
subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: We construct three new Hartree-Fock-Bogoliubov (HFB) mass models, labeled HFB-19, HFB-20, and HFB-21, with unconventional Skyrme forces containing $t_4$ and $t_5$ terms, i.e., density-dependent generalizations of the usual $t_1$ and $t_2$ terms, respectively. The new forces underlying these models are fitted respectively to three different realistic equations of state of neutron matter for which the density dependence of the symmetry energy ranges from the very soft to the very stiff, reflecting thereby our present lack of complete knowledge of the high-density behavior of nuclear matter. All unphysical instabilities of nuclear matter, including the transition to a polarized state in neutron-star matter, are eliminated with the new forces. At the same time the new models fit essentially all the available mass data with rms deviations of 0.58 MeV and give the same high quality fits to measured charge radii that we obtained in earlier models with conventional Skyrme forces. Being constrained by neutron matter, these new mass models, which all give similar extrapolations out to the neutron drip line, are highly appropriate for studies of the $r$-process and the outer crust of neutron stars. Moreover, the underlying forces, labeled BSk19, BSk20 and BSk21, respectively, are well adapted to the study of the inner crust and core of neutron stars. The new family of Skyrme forces thus opens the way to a unified description of all regions of neutron stars.
description: 45 pages, 16 figures, accepted for publication in Physical Review C
Chaos Rules out Integrability of Strings in AdS_5 x T^{1,1}
Creators: name: Basu, Pallab
name: Zayas, Leopoldo A. Pando
Publisher: name: arXiv
Year: 2011
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: Chaotic Dynamics (nlin.CD)
subject: FOS: Physical sciences

description: We show that certain classical string configurations in AdS_5 x T^{1,1} are chaotic. This answers the question of integrability of string on such backgrounds in the negative. We consider a string localized in the center of AdS_5 that winds around two circles of T^{1,1}. The corresponding dynamical system is equivalent to two coupled gravitational pendula and allows a very intuitive understanding. We find conclusive evidence of chaotic behavior by systematically analyzing the workings of the KAM theorem. We also show that the largest Lyapunov exponent is positive.
description: 12 pages, 11 figures
Life after sport : the relationship between athletic identity and mental health outcomes after sport retirement
Creators: name: Giannone, Zarina Alexandra
Publisher: name: University of British Columbia
Year: 2016

description: Research continues to expand in light of the growing interest in affecting healthy and positive sport career transition outcomes. Theories focusing on athlete transition have helped shape our understanding of the retirement experiences of competitive athletes; however, existing research has demonstrated mixed findings. Whereas some studies suggest that a significant proportion of athletes experience psychological complications upon sport career retirement, other studies have obtained minimal evidence of distress. The present study explored the relationships among athletic identity, mental health and well-being outcomes, and coping, both prior to and after retirement from interuniversity sport. A survey design was utilized with retiring varsity athletes across fourteen different sports at multiple western Canadian universities. Participants were asked to complete the survey approximately one month in to their final season of competition and approximately three months post-retirement. Measures in the survey included demographic questionnaires, Athletic Identity Measurement Scale (Brewer, Van Raalte, & Linder, 1993), Flourishing Scale (Diener, Wirtz, Tov, Kim-Prieto, Choi, Oishi, & Biswas-Diener, 2009), State-Trait Anxiety Inventory Y-1 (Speilberger, Gorsuch, Lushene, Vagg, & Jacobs, 1983), Brief COPE Inventory (Carver, 1997), Center for Epidemiologic Studies-Depression Scale (Radloff, 1977), Satisfaction With Life Scale (Diener, Emmons, Larsen, & Griffin, 1985), and Subjective Vitality Scale (Ryan & Frederick, 1997). Both descriptive (i.e., means, standard deviations) and inferential statistics (i.e., ANOVA, correlation) were calculated. Results indicated that athletes who had higher athletic identity had elevated depressive symptomology and state anxiety in comparison to athletes with lower athletic identity, after sport retirement. Results pertaining to the impact of coping on mental health and well-being variables, and their relation to athletic identity, were also supported. Particularly, athletes with higher athletic identity were found to use venting and self-distraction coping strategies significantly more than athletes with lower athletic identity, following sport career termination. Findings from the present study inform future research investigations and contribute new knowledge to the sport retirement and athlete career transition literature. With increased understanding of the psychological and emotional experience of retiring athletes, counselling and sport psychology professionals can provide the appropriate support and guidance required for adaptive transitions out of sport.
Isocurvature modes and Baryon Acoustic Oscillations
Creators: name: Mangilli, Anna
name: Verde, Licia
name: Beltran, Maria
Publisher: name: arXiv
Year: 2010
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: The measurement of Baryonic Acoustic Oscillations from galaxy surveys is well known to be a robust and powerful tool to constrain dark energy. This method relies on the knowledge of the size of the acoustic horizon at radiation drag derived from Cosmic Microwave Background Anisotropy measurements. In this paper we quantify the effect of non-standard initial conditions in the form of an isocurvature component on the determination of dark energy parameters from future BAO surveys. In particular, if there is an isocurvature component (at a level still allowed by present data) but it is ignored in the CMB analysis, the sound horizon and cosmological parameters determination is biased, and, as a consequence, future surveys may incorrectly suggest deviations from a cosmological constant. In order to recover an unbiased determination of the sound horizon and dark energy parameters, a component of isocurvature perturbations must be included in the model when analyzing CMB data. Fortunately, doing so does not increase parameter errors significantly.
description: 23 pages, 3 figures
Aeolagrion neblinae Williamson 1917
Creators: name: DeMarmels, Jurg
Publisher: name: Zenodo
Year: 1992
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Odonata
Coenagrionidae
Aeolagrion
Aeolagrion neblinae

description: Aeolagrionneblinae DeMarmels, 1989 Material. (3♂, 1♀). 1♂, Tamacuari; 2♂, 1♀, Unturan. Remarks. The male from Tamacuari was flying over a patch of large terricolous Bromeliads on an open slope, while the specimens from Unturan were caught in the forest, not far from a small creek.
description: Published as part of DeMarmels, Jurg, 1992, Dragonflies (Odonata) From The Sierras Of Tapirapeco And Unturan, In The Extreme South Of Venezuela, pp. 57-78 in Acta Biologica Venezuelica 14 (1) on page 62, DOI: 10.5281/zenodo.3266063
Argia iniumata Selys. 1865
Creators: name: DeMarmels, Jurg
Publisher: name: Zenodo
Year: 1992
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Odonata
Coenagrionidae
Argia
Argia iniumata

description: Argia iniumata Selys. 1865 MateriaL 1♂, Base Camp. Remark. A few more males were seen in th(J vicinity of small creeks in the forest. where they posed on sun-hit leaves.
description: Published as part of DeMarmels, Jurg, 1992, Dragonflies (Odonata) From The Sierras Of Tapirapeco And Unturan, In The Extreme South Of Venezuela, pp. 57-78 in Acta Biologica Venezuelica 14 (1) on page 62, DOI: 10.5281/zenodo.3266063
A CSP Account of Event-B Refinement
Creators: name: Schneider, Steve
name: Treharne, Helen
name: Wehrheim, Heike
Publisher: name: arXiv
Year: 2011
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences

description: Event-B provides a flexible framework for stepwise system development via refinement. The framework supports steps for (a) refining events (one-by-one), (b) splitting events (one-by-many), and (c) introducing new events. In each of the steps events can moreover possibly be anticipated or convergent. All such steps are accompanied with precise proof obligations. Still, it remains unclear what the exact relationship - in terms of a behaviour-oriented semantics - between an Event-B machine and its refinement is. In this paper, we give a CSP account of Event-B refinement, with a treatment for the first time of splitting events and of anticipated events. To this end, we define a CSP semantics for Event-B and show how the different forms of Event-B refinement can be captured as CSP refinement.
description: In Proceedings Refine 2011, arXiv:1106.3488
Argia insipida Hagen in Selys 1865
Creators: name: DeMarmels, Jurg
Publisher: name: Zenodo
Year: 1992
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Odonata
Coenagrionidae
Argia
Argia insipida

description: Argia insipida Hagen in Selys, 1865 Material. 1 ♂, 1♀ (in tandem), Siapa 2. Remarks. Numerous tandems were observed. all flying upstream. A few single males settled on a floating log. The populations south of the Orinoco differ from the northern form in having much broader black (brown in female) humeral stripes. These are about half as broad as the meseprimeron. The pale markings between the post· ocular spots are also much reduced or entirely wanting in the southern form.
description: Published as part of DeMarmels, Jurg, 1992, Dragonflies (Odonata) From The Sierras Of Tapirapeco And Unturan, In The Extreme South Of Venezuela, pp. 57-78 in Acta Biologica Venezuelica 14 (1) on page 62, DOI: 10.5281/zenodo.3266063
Operational modal analysis, model updating, and seismic analysis of a cable-stayed bridge
Creators: name: McDonald, Steven
Publisher: name: University of British Columbia
Year: 2016

description: The Port Mann Bridge is currently one of the longest cable-stayed bridges in North America and the second widest bridge in the world. It is a cable-stayed bridge consisting of 288 cables, two approach spans made of concrete box girders and precast deck panels, and a main span consisting of steel girders and cross beams with precast deck panels. This work sets out to accomplish three main goals: study the dynamic behaviour of the Port Mann Bridge, calibrate the finite element model, and study the effects of model updating using a seismic analysis. The dynamic behaviour of the Port Mann Bridge’s main span is studied using experimental data from field ambient vibration tests and from a structural health monitoring network. A finite element model is created by importing a version of the structural designer’s model and editing it based on design drawings. In order to assess what parameters would be feasible to calibrate, a sensitivity analysis is carried out using various material properties and boundary conditions. The model is then updated to match the experimental analysis results by varying multiple parameters. Finally, the calibrated model is compared to the original model by completing a linear time history analysis. A suite of ground motions were selected and scaled to match specific points on the response spectrum corresponding to the first few periods of the structure. Multiple critical locations are monitored in the time history analysis, and data from these locations are compared before and after calibration to examine the effect of model updating. The study concludes that model updating has a large effect on the predicted seismic behaviour of the bridge, which proves the importance of calibrating finite element models and maintaining physically meaningful parameters. It also shows that having a structural health monitoring program is very important for current and future research endeavours.
Afterglows of Mildly Relativistic Supernovae: Baryon Loaded Blastwaves
Creators: name: Chakraborti, Sayan
name: Ray, Alak
Publisher: name: arXiv
Year: 2011
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: Relativistic supernovae have been discovered until recently only through their association with long duration Gamma Ray Bursts (GRB). As the ejecta mass is negligible in comparison to the swept up mass, the blastwaves of such explosions are well described by the Blandford-McKee (in the ultra relativistic regime) and Sedov-Taylor (in the non-relativistic regime) solutions during their afterglows. However, the recent discovery of the relativistic supernova SN 2009bb, without a detected GRB, has indicated the possibility of highly baryon loaded mildly relativistic outflows which remains in nearly free expansion phase during the radio afterglow. In this work, we consider the dynamics and emission from a massive, relativistic shell, launched by a Central Engine Driven EXplosion (CEDEX), decelerating adiabatically due to its collision with the pre-explosion circumstellar wind profile of the progenitor. We show that this model explains the observed radio evolution of the prototypical SN 2009bb and demonstrate that SN 2009bb had a highly baryon loaded, mildly relativistic outflow.
description: 4 pages, 2 figure, proceedings of the GRB 2010 conference in Annapolis, USA
Argia mollusca Fraser 1946
Creators: name: DeMarmels, Jurg
Publisher: name: Zenodo
Year: 1992
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Odonata
Coenagrionidae
Argia
Argia mollusca

description: Argia mollusca Fraser, 1946 Material. 2♂, Base Camp. Remark. New to Venezuela.
description: Published as part of DeMarmels, Jurg, 1992, Dragonflies (Odonata) From The Sierras Of Tapirapeco And Unturan, In The Extreme South Of Venezuela, pp. 57-78 in Acta Biologica Venezuelica 14 (1) on page 62, DOI: 10.5281/zenodo.3266063
Argia Rambur 1842
Creators: name: DeMarmels, Jurg
Publisher: name: Zenodo
Year: 1992
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Odonata
Coenagrionidae
Argia

description: Argia sp. Remark. 12 specimens representing four addi tional species have been collected, but they could not be identified at present.
description: Published as part of DeMarmels, Jurg, 1992, Dragonflies (Odonata) From The Sierras Of Tapirapeco And Unturan, In The Extreme South Of Venezuela, pp. 57-78 in Acta Biologica Venezuelica 14 (1) on page 62, DOI: 10.5281/zenodo.3266063
Numerical Study of Turbulent Mixing Layers with Non-Equilibrium Ionization Calculations
Creators: name: Kwak, Kyujin
name: Shelton, Robin L.
Publisher: name: arXiv
Year: 2010
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: Highly ionized species such as C IV, N V, and O VI, are commonly observed in diffuse gas in various places in the universe, such as in our Galaxy's disk and halo, high velocity clouds (HVCs), external galaxies, and the intergalactic medium. One possible mechanism for producing high ions is turbulent mixing of cool gas with hotter gas in locations where these gases slide past each other. By using hydrodynamic simulations with radiative cooling and non-equilibrium ionization (NEI) calculations, we investigate the physical properties of turbulent mixing layers and the production of high ions. We find that most of the mixing occurs on the hot side of the hot/cool interface and that the mixed region separates into a tepid zone containing radiatively cooled, C IV-rich gas and a hotter zone which is rich in C IV, N V, and O VI. Mixing occurs faster than ionization or recombination, making the mixed gas a better source of C IV, N V, and O VI in our NEI simulations than in our collisional ionization equilibrium (CIE) simulations. In addition, the gas radiatively cools faster than the ions recombine, which also allows large numbers of high ions to linger in the NEI simulations. For these reasons, our NEI calculations predict more high ions than our CIE calculations predict. We also simulate various initial configurations of turbulent mixing layers and discuss their results. We compare the results of our simulations with observations and other models, including other turbulent mixing calculations. The ratios of C IV to N V and N V to O VI are in reasonable agreement with the averages calculated from observations of the halo. There is a great deal of variation from sightline to sightline and with time in our simulations. Such spatial and temporal variation may explain some of the variation seen among observations.
description: 19 pages, 7 figures, 8 tables, Accepted for publication by ApJ
Coupled quintessence with a possible transient accelerating phase
Creators: name: Costa, F. E. M.
Publisher: name: arXiv
Year: 2010
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: We discuss some cosmological consequences of a general model of coupled quintessence in which the phenomenological coupling between the cold dark matter and dark energy is a function of the cosmic scale factor $ε(a)$. This class of models presents cosmological solutions in which the Universe is currently dominated by an exotic component, but will eventually be dominated by cold dark matter in the future. This dynamical behavior is considerably different from the standard $Λ$CDM evolution, and may alleviate some conflicts in reconciling the idea of the dark energy-dominated universe with observables in String/M-theory. Finally, we investigate some observational features of this model and discuss some constraints on its parameters from current SNe Ia, BAO and CMB data.
description: 7 pages, 5 figures, LaTeX
Metaleptobasis brysonima Williamson 1915
Creators: name: DeMarmels, Jurg
Publisher: name: Zenodo
Year: 1992
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Odonata
Coenagrionidae
Metaleptobasis
Metaleptobasis brysonima

description: Metaleptobasis brysonima Williamson, 1915 Material. 1♂, Base Camp. Remark. The specimen was collected at a small creek in the forest.
description: Published as part of DeMarmels, Jurg, 1992, Dragonflies (Odonata) From The Sierras Of Tapirapeco And Unturan, In The Extreme South Of Venezuela, pp. 57-78 in Acta Biologica Venezuelica 14 (1) on page 63, DOI: 10.5281/zenodo.3266063
Plausibility of Quantum Coherent States in Biological Systems
Creators: name: Salari, V.
name: Tuszynski, J.
name: Rahnama, M.
name: Bernroider, G.
Publisher: name: arXiv
Year: 2010
Subjects: subject: Biological Physics (physics.bio-ph)
subject: Neurons and Cognition (q-bio.NC)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences
subject: FOS: Biological sciences

description: In this paper we briefly discuss the necessity of using quantum mechanics as a fundamental theory applicable to some key functional aspects of biological systems. This is especially relevant to three important parts of a neuron in the human brain, namely the cell membrane, microtubules (MT) and ion channels. We argue that the recently published papers criticizing the use of quantum theory in these systems are not convincing.
description: 10 pages, no figures. DICE 2010, In press in Journal of Physics, Conf. Ser
Perspicuity and Granularity in Refinement
Creators: name: Boiten, Eerke
Publisher: name: arXiv
Year: 2011
Subjects: subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences

description: This paper reconsiders refinements which introduce actions on the concrete level which were not present at the abstract level. It draws a distinction between concrete actions which are "perspicuous" at the abstract level, and changes of granularity of actions between different levels of abstraction. The main contribution of this paper is in exploring the relation between these different methods of "action refinement", and the basic refinement relation that is used. In particular, it shows how the "refining skip" method is incompatible with failures-based refinement relations, and consequently some decisions in designing Event-B refinement are entangled.
description: In Proceedings Refine 2011, arXiv:1106.3488
Spontaneous Magnetization of an Ideal Ferromagnet: Beyond Dyson's Analysis
Creators: name: Hofmann, Christoph P.
Publisher: name: arXiv
Year: 2011
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: High Energy Physics - Lattice (hep-lat)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: Using the low-energy effective field theory for magnons, we systematically evaluate the partition function of the O(3) ferromagnet up to three loops. Dyson, in his pioneering microscopic analysis of the Heisenberg model, showed that the spin-wave interaction starts manifesting itself in the low-temperature expansion of the spontaneous magnetization of an ideal ferromagnet only at order $T^4$. Although several authors tried to go beyond Dyson's result, to the best of our knowledge, a fully systematic and rigorous investigation of higher order terms induced by the spin-wave interaction, has never been achieved. As we demonstrate in the present paper, it is straightforward to evaluate the partition function of an ideal ferromagnet beyond Dyson's analysis, using effective Lagrangian techniques. In particular, we show that the next-to-leading contribution to the spontaneous magnetization resulting from the spin-wave interaction already sets in at order $T^{9/2}$ -- in contrast to all claims that have appeared before in the literature. Remarkably, the corresponding coefficient is completely determined by the leading-order effective Lagrangian and is thus independent of the anisotropies of the cubic lattice. We also consider even higher-order corrections and thereby solve -- once and for all -- the question of how the spin-wave interaction in an ideal ferromagnet manifests itself in the spontaneous magnetization beyond the Dyson term.
Peracetylation of polyphenols under rapid and mild reaction conditions
Creators: name: de Alcântara Pinto, Douglas Chaves
name: Pitasse-Santos, Paulo
name: de Souza, Gabriela Alves
name: Castro, Rosane Nora
name: de Lima, Marco Edilson Freire
Publisher: name: Taylor & Francis
Year: 2022
Subjects: subject: Biophysics
subject: Biochemistry
subject: Medicine
subject: Biotechnology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: Sociology
subject: FOS: Sociology
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Marine Biology

description: Structural modifications are an important tool for studying the properties of naturally occurring polyphenols. Regarding the preparation of acetyl esters, the presence of hydroxyl groups stabilized by intramolecular hydrogen bonds may pose an obstacle for the peracetylation of these compounds. In this paper, we present a facile protocol for the acetylation of selected polyphenols under mild reaction conditions by using acetic anhydride, catalytic amount 4-dimethylaminopyridine (DMAP) and dimethylformamide (DMF) as solvent. Reaction conditions were adjusted for optimal formation of peracetylated polyphenols while minimizing the formation of byproducts. Butyric anhydride was employed as an alternative acylating agent and showed similar results. Reaction yields varied from 78–97%, and products were obtained in high purity, as determined by LCMS(ESI+), 1H NMR and 13C NMR.
RISIS Research Seminar: The impact of institutional autonomy on higher education institutions in Europe
Creators: name: Painsi, Patrick
name: Rybnicek, Robert
name: Leitner, Karl-Heinz
Publisher: name: Zenodo
Year: 2023
Subjects: HE institutions
Autonomy
Three missions
Education
Third-party funding
Multilevel regression
Hierarchical model
New public management

description: Purpose: This paper aims to evaluate the effect various forms of institutional autonomy on higher education (HE) institutions success at three primary mission objectives of HE institutions (graduates, research, knowledge exchange). The central research question is whether increasing institutional autonomy leads to higher success of HE institutions in fulfilling their missions. The literature around institutional autonomy suggests a mostly positive effect, but also invokes some arguments to contrary effects. Design / Method: This paper uses multiple sets of OLS regression models, including multi-level hierarchical models, combining data from four sources for European HE institutions for the years 2011 and 2016 for secondary analysis. The four sources include the EUA Scorecard on HEI autonomy on country level, the ETER database for institution-level data about age, size and content orientation of HE institutions, additional macro-economic parameters on country level sourced from EUROSTAT and Centre for Science & Technology Studies of Leiden University (CWTS) data was used to as an indicator for the second HE institutional mission. The regression models are used to estimate the effect of HE institutional autonomy on its success in fulfilling its missions. Findings: Results indicate a good fit of a two-level modelling solution for the given data. The effects of increasing HE institutional autonomy on the mission objectives appear mostly minor and, in some cases, negative and therefore contrary to many statements in the literature. Originality : Quantitative evaluation approach for HE institutions in 15 European countries. Usage of the EUA Autonomy Scorecard as a multidimensional evaluation tool, combined with data from three other sources (ETER, EUROSTAT, CWTS) on HE institution level as well as on country level. Estimating effects on three different mission objectives of HE institutions. JEL Classification: C31, H41, H83, I23, I28, O57