cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Le déplacement au féminin : la poésie franco-canadienne en quête d'un soi et d'un ailleurs
Creators: name: Arseneau, Véronique
Publisher: name: Université d'Ottawa / University of Ottawa
Year: 2017
Subjects: Déplacement
Poésie franco-canadienne
Lise Gaboury-Diallo
Andrée Lacelle
Sarah Marylou Brideau
Ici
Transit
Ailleurs

description: Cette thèse analyse comment le déplacement, autant géographique qu’ontologique, est mis en scène dans trois recueils de poésie issus de la francophonie canadienne, soit La Voyageuse d’Andrée Lacelle, Rues étrangères de Sarah Marylou Brideau et Poste restante : cartes poétiques du Sénégal de Lise Gaboury-Diallo. Le premier chapitre explore comment l’ici est construit poétiquement au sein des trois recueils et comment celui-ci diffère, ou non, de l’ici réel de la communauté d’appartenance de la poète. Le deuxième chapitre examine comment les personnages-poètes transitent de l’ici vers l’ailleurs; j’y étudie comment cet espace transitoire et le voyage dans l’entre-deux sont représentés. Je tente aussi de déterminer si le voyage physique va de pair avec un cheminement psychologique. Enfin, le troisième chapitre porte sur les diverses rencontres avec l’altérité qui découlent des voyages. Je montre qu’elles permettent aux personnages-poètes de redéfinir leur identité et de se (re)constituer un soi qui leur est propre.
Measurements and Modeling of Total Solar Irradiance in X-Class Solar Flares
Creators: name: Moore, Christopher Samuel
name: Chamberlin, Phillip Clyde
name: Hock, Rachel
Publisher: name: arXiv
Year: 2015
Subjects: subject: Instrumentation and Methods for Astrophysics (astro-ph.IM)
subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: The Total Irradiance Monitor (TIM) from NASA's SOlar Radiation and Climate Experiment (SORCE) can detect changes in the Total Solar Irradiance (TSI) to a precision of 2 ppm, allowing observations of variations due to the largest X-Class solar ares for the first time. Presented here is a robust algorithm for determining the radiative output in the TIM TSI measurements, in both the impulsive and gradual phases, for the four solar ares presented in Woods et al. (2006), as well as an additional are measured on 2006 December 6. The radiative outputs for both phases of these five ares are then compared to the Vacuum Ultraviolet (VUV) irradiance output from the Flare Irradiance Spectral Model (FISM) in order to derive an empirical relationship between the FISM VUV model and the TIM TSI data output to estimate the TSI radiative output for eight other X-Class ares. This model provides the basis for the bolometric energy estimates for the solar ares analyzed in the Emslie et al. (2012) study.
description: 23 pages, 3 figures
Temperature dependence of a graphene growth on a stepped iridium surface
Creators: name: Šrut, Iva
name: Trontl, Vesna Mikšić
name: Pervan, Petar
name: Kralj, Marko
Publisher: name: arXiv
Year: 2015
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: We have used scanning tunneling microscopy to study the growth of graphene on a periodically stepped Ir(332) substrate surface, which is a promising route for modification of graphene properties. We have found that graphene continuously extends over iridium terraces and steps. Moreover, new distinctive mesoscopic features of the underlying surface are formed involving large, flat terraces accompanied by groups of narrower steps. The distribution of the newly formed terraces is sensitive to the preparation temperature and only below 800°C terrace width distribution closer to the intrinsic distribution of clean Ir(332) are found. We propose that the microscopic shape of steps found after graphene formation is strongly influenced by the orientation of graphene domains, where graphene rotated by 30° with respect to the substrate has a prominent role in surface structuring.
title: Hemodynamics of the mesenteric vessels and portal vein using MRI: a pilot study
Creators: name: Perpétua Alvino, Eva Julia
Publisher: name: European Congress of Radiology
Year: 2013
Subjects: subject: Liver
subject: Vascular
subject: MR
subject: Diagnostic procedure
subject: Haemodynamics / Flow dynamics

description: Purpose Methods and Materials Results Conclusion References Personal Information
description: Purpose: To assess during fasting and after highprotein diet the blood flows in the mesenteric arteries and the portal vein (PV). The influence of inspiration and expiration was also...
Effects of the tempered aging and its Fokker-Planck equation
Creators: name: Deng, Weihua
name: Wang, Wanli
name: Tian, Xinchun
name: Wu, Yujiang
Publisher: name: arXiv
Year: 2015
Subjects: subject: Statistics Theory (math.ST)
subject: FOS: Mathematics

description: In the renewal processes, if the waiting time probability density function is a tempered power-law distribution, then the process displays a transition dynamics; and the transition time depends on the parameter $λ$ of the exponential cutoff. In this paper, we discuss the aging effects of the renewal process with the tempered power-law waiting time distribution. By using the aging renewal theory, the $p$-th moment of the number of renewal events $n_a(t_a, t)$ in the interval $(t_a, t_a+t)$ is obtained for both the weakly and strongly aged systems; and the corresponding surviving probabilities are also investigated. We then further analyze the tempered aging continuous time random walk and its Einstein relation, and the mean square displacement is attained. Moreover, the tempered aging diffusion equation is derived.
description: 12 pages, 14 figures
Inner Speech and Sustained Attention: An Online Reaction-Time Experiment (REGISTRATION 2)
Creators: name: Nedergaard, Johanne
name: Wallentin, Mikkel
Publisher: name: Open Science Framework
Year: 2022
Subjects: subject: Cognitive Psychology
subject: Social and Behavioral Sciences
subject: Psychology
subject: FOS: Psychology

description: For the first preregistration, we did not anticipate that participants would tend towards having a stereotypical strategy for solving the task, i.e. use the same method throughout the experiment. This meant that not all participants had all four combinations of task relevant and inner speech experiences (task-irrelevant inner speech, task-relevant inner speech, task-irrelevant non-inner speech, and task-relevant non-inner speech). This is needed in order to test the interaction effect which pertains to our most central hypothesis (task-relevant inner speech will be associated with faster reaction times). The first round of data collection therefore did not yield enough participants to satisfy the power analysis which indicated that 120 participants were needed to detect an effect of 40 ms difference. It is important to note that the results of the preregistered statistical tests conducted on data from the first round of data collection were not significant, and thus our hypotheses were not supported by that dataset. These results will be reported in the final paper alongside the results obtained from the full dataset (results from the first round combined with the second round of data collection). If results from the final dataset (first and second round) are significant, we will treat it as a pilot study that requires replication. In this case as well as if results from the final dataset are not significant, we will report everything in full. The procedure and method for the second round of data collection will be identical to the first round (details in the first preregistration in the present project). Data collection for the second round will stop when we have 120 participants who have all four combinations of task relevant and inner speech experiences. After the first round of data collection, there are 94 participants who have both task-relevant and task-irrelevant experiences and 77 participants who have all four combinations of task-relevance and inner speech experiences. We therefore estimate that we will need to collect data from 188 participants in total (i.e. 68 missing). We will examine the data intermittently during the second round of data collection to check when we have reached 120 participants with all four combinations but we will not otherwise test the data until the second round of data collection is complete. In the final analysis, we will report both results from the 120 complete-case participants and results from the full dataset (~188 participants). We also have an additional hypothesis to add (following Seli, Carriere, Levene, & Smilek, 2013), namely that response time variance will be lower for task-relevant inner speech trials. Imputed data from the first round of data collection suggest this pattern as well but will have to be confirmed with the full, unimputed dataset.
Numerical Sets, Core Partitions, and Integer Points in Polytopes
Creators: name: Constantin, Hannah
name: Houston-Edwards, Benjamin
name: Kaplan, Nathan
Publisher: name: arXiv
Year: 2015
Subjects: subject: Combinatorics (math.CO)
subject: FOS: Mathematics
subject: 20M13, 20M14, 05A17, 11P81

description: We study a correspondence between numerical sets and integer partitions that leads to a bijection between simultaneous core partitions and the integer points of a certain polytope. We use this correspondence to prove combinatorial results about core partitions. For small values of a, we give formulas for the number of (a,b)-core partitions corresponding to numerical semigroups. We also study the number of partitions with a given hook set.
description: Submitted, 25 Pages
Coping with growth in the Regional District of Nanaimo, B.C.
Creators: name: Fletcher, Sharon
name: Thomas, Christina
Publisher: name: Vancouver Island University - Royal Roads University
Year: 2001
Subjects: subject: Regional District of Nanaimo (B.C.)--Population
subject: Regional planning--British Columbia--Vancouver Island

description: In the early 1990s, residents in the Regional District of Nanaimo (RDN) became concerned about the effects that growth was having on quality of life. A new tool, the regional growth strategy, was developed to manage the impact of growth by the RDN, in partnership with the City of Nanaimo, the City of Parksville and the Town of Qualicurn Beach. Since adopting the regional growth strategy, the communities in the region have created and amended official plans that reflect the regional growth strategy, developed agreements regarding how to implement the regional growth strategy, and undertaken special studies on particular growth management issues.
description: Au début des années 1990, les résidents du district régional de Nanaimo (RDN) s'inquiétèrent des effets de la croissance urbaine sur leur qualité de vie. En partenariat avec les villes de Nanaimo, Parksville et Qualicum Beach, les autorités mirent sur pied un programme de croissance régionale que les régions ont depuis adopté. Les communautés se sont engagées à mettre le programme en oeuvre et ont mis sur pied divers projets d'analyse en rapport avec la croissance en matière d'aménagement.
description: Abstract in English and French; text in English
description: https://viurrspace.ca/bitstream/handle/10613/5231/Article004.pdf?sequence=3
Determining Whether Household Water and Sanitation Indicators can be Used for Ex-ante Evaluations to Identify the Poor in Developing Countries
Creators: name: Crane, Justin P.
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2006

description: This research examines how key household water and sanitation indicators can predict poverty using data from a Kathmandu household survey. I found that water and sanitation indicators were able to correctly identify 68% of households using a strict poverty standard developed from income, expenditure, and asset data, and 73% of households using a similar but slightly less strict poverty standard. Adding a household indicator (the type of cooking fuel used by the household) to the water and sanitation indicators increased the amount of correctly assessed households to 73% with the strict standard and 77% with the less strict standard. I also examine the affect water and sanitation indicators have on the ability of asset indices to predict poverty. I found that the addition of two water and sanitation indicators to the asset index did not increase its ability to predict poverty based on income and expenditure data.
Book review
Creators: name: Grenier, Sylvie
name: Qadeer, Mohammad A.
Publisher: name: Vancouver Island University - Royal Roads University
Year: 2000
Subjects: subject: City planning--Book reviews
subject: Multiculturalism--Book reviews

description: Book Reviews
description: Towards cosmopolis: Planning for multicultural cities by Leonie Sandercock (Chichester: Wiley, 1998) is reviewed by Sylvie Grenier, and Urban planning in a multicultural society edited by Michael A. Burayidi (London: Praeger, 2000) is reviewed by Mohammad A. Qadeer.
description: Towards cosmopolis: Planning for multicultural cities -- Urban planning in a multicultural society
description: https://viurrspace.ca/bitstream/handle/10613/5276/Reviews.pdf?sequence=3
The evolved pulsating CEMP star HD112869
Creators: name: Začs, L.
name: Sperauskas, J.
name: Grankina, A.
name: Deveikis, V.
name: Kaminskyi, B.
name: Pavlenko, Y.
name: Musaev, F.
Publisher: name: arXiv
Year: 2015
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: Radial velocity measurements, $BVR_C$ photometry, and high-resolution spectroscopy in the wavelength region from blue to near infrared are employed in order to clarify the evolutionary status of the carbon-enhanced metal-poor star HD112869 with unique ratio of carbon isotopes in the atmosphere. An LTE abundance analysis was carried out using the method of spectral synthesis and new self consistent 1D atmospheric models. The radial velocity monitoring confirmed semiregular variations with a peak-to-peak amplitude of about 10 km $s^{-1}$ and a dominating period of about 115 days. The light, color and radial velocity variations are typical of the evolved pulsating stars. The atmosphere of HD112869 appears to be less metal-poor than reported before, [Fe/H] = -2.3 $\pm$0.2 dex. Carbon to oxygen and carbon isotope ratios are found to be extremely high, C/O $\simeq$ 12.6 and $^{12}C/^{13}C \gtrsim$ 1500, respectively. The s-process elements yttrium and barium are not enhanced, but neodymium appears to be overabundant. The magnesium abundance seems to be lower than the average found for CEMP stars, [Mg/Fe] < +0.4 dex. HD112869 could be a single low mass halo star in the stage of asymptotic giant branch evolution
description: 38 pages, 21 figures, 6 tables, published in The Astrophysical Journal, 2015, vol.803, 17Z,14pp. One missed reference was added in the Introduction. arXiv admin note: text overlap with arXiv:astro-ph/0611827 by other authors
La diversité urbaine sur la scène internationale: Présentation de la scène internationale
Creators: name: Moreau, Gérard
Publisher: name: Vancouver Island University - Royal Roads University
Year: 2000
Subjects: subject: Immigrants--Cultural assimilation
subject: Immigrants--Education
subject: Urban minorities
subject: Immigrants--Éducation
subject: Immigrants--Assimilation culturelle
subject: Minorités urbaines

description: Chaque année, quelque dizaines ou quelques centaines de milliers de migrants arrivent dans chacun des pays de l'Europe de l'ouest, au Canada et aux Etats Unis. Le phénomène de l'immigration est durable. Il concerne tous les pays. Tous les nouveaux migrants rencontrent des difficultés d'adaptation de même nature : l'apprentissage de la langue du pays d'accueil, l'ignorance des règles habituelles de la vie sociale et pour commencer les règles élémentaires de droit, l'absence frèquente de qualification professionnelle. S'y ajoutent les réactions fréquentes de xénophobie des populations sur place, même si antérieurement elles ont suivi le même parcours. Les problèmes d'intégration se passent d'abord dans les villes. Or l'évolution urbaine, soumise aux lois du marché, comme aux règlementations d'urbanisme, est loin d'être favorable à l'integration. L'article offre des exemples d'expériences d'intégration dans quatre domaines: l'accueil des nouveaux migrants, la vie scolaire, l'insertion professionnelle, les projets de rénovation urbaine.
description: Every year, hundreds of thousands of migrants arrive in Western European countries, as well as in Canada and the United States. The phenomenon of immigration is enduring. It affects every country. All new migrants encounter certain difficulties with adaptation - with the language of the adopted country, with the customs governing social life, with the elementary rules of law, and with professional qualifications. To this can be added the often xenophobic reactions of established populations - even those who arrived by the same route. The problems of integration occur first in the cities. Thus, urban development, yielding to the laws of the market and to the regulations of urban planning, is far from being favourable to integration . This article offers examples of experiences with integration in four domains: the reception of new migrants, education, professional integration, and urban renovation projects.
description: Abstract in French and English; text in French
description: https://viurrspace.ca/bitstream/handle/10613/5278/Article009.pdf?sequence=3
Fix Your Types
Creators: name: Swords, Sol
name: Davis, Jared
Publisher: name: arXiv
Year: 2015
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences

description: When using existing ACL2 datatype frameworks, many theorems require type hypotheses. These hypotheses slow down the theorem prover, are tedious to write, and are easy to forget. We describe a principled approach to types that provides strong type safety and execution efficiency while avoiding type hypotheses, and we present a library that automates this approach. Using this approach, types help you catch programming errors and then get out of the way of theorem proving.
description: In Proceedings ACL2 2015, arXiv:1509.05526
title: New opportunities in radiological diagnosis and defining the tactics of acute pancreatitis treatment.
Creators: name: Arablinskiy, Andrey
Publisher: name: European Congress of Radiology
Year: 2013
Subjects: subject: Abdomen
subject: CT
subject: MR
subject: Computer Applications-Detection, diagnosis
subject: Acute

description: Purpose Methods and Materials Results Conclusion References Personal Information
description: Purpose: Management of acute destructive pancreatitis remains to be one of the most difficult problems in clinical practice. (1) Destruction of pancreatic tissue and pancreatic capsule leads to output of pancreatic ferments into the blood and surrounding...
Addressing the Achievement Gap: An Exploration of a Community Youth Program for Black Children
Creators: name: Taylor, Brionca
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2017

description: The academic achievement gap and the potential causes of racial inequalities in education remain an important topic in society today. Scholars have assessed oppositional culture, school structure and interactions, and the role of parental involvement in school settings. Despite a focus on the larger cultural basis for Black student opposition to education, we know little about the attempts that the Black community has made to address the academic achievement gap. Drawing on 18 months of ethnographic fieldwork, I examined Bright Start Youth Program, a community program that serves elementary-aged Black children from a predominantly white school district. Findings show that Bright Start operated as a counterspace for Black children that engaged in narrative identity work, acts of resistance, and direct relational transactions to help Black children navigate predominantly white classroom spaces. At the same time, ideas of oppositional culture remained present. Program staff and volunteers also saw the children as capable of achieving academic success, but lacking an interest in school. Program activities were largely centered around Black boys who were seen as most in need of attention and discipline. This study demonstrates that colorblind ideology continues to persist in spaces that challenge dominant narratives and racial stereotypes, suggesting that counterspaces unintentionally mirror the same institutions they attempt to contrast.
Second-Order Functions and Theorems in ACL2
Creators: name: Coglio, Alessandro
Publisher: name: arXiv
Year: 2015
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: SOFT ('Second-Order Functions and Theorems') is a tool to mimic second-order functions and theorems in the first-order logic of ACL2. Second-order functions are mimicked by first-order functions that reference explicitly designated uninterpreted functions that mimic function variables. First-order theorems over these second-order functions mimic second-order theorems universally quantified over function variables. Instances of second-order functions and theorems are systematically generated by replacing function variables with functions. SOFT can be used to carry out program refinement inside ACL2, by constructing a sequence of increasingly stronger second-order predicates over one or more target functions: the sequence starts with a predicate that specifies requirements for the target functions, and ends with a predicate that provides executable definitions for the target functions.
description: In Proceedings ACL2 2015, arXiv:1509.05526
title: Gas in the liver, what a radiologist need to know
Creators: name: Verwimp, Wim
Publisher: name: European Congress of Radiology
Year: 2013
Subjects: subject: Abdomen
subject: Liver
subject: CT
subject: Education
subject: Education and training

description: Learning objectives Background Imaging findings OR Procedure details Conclusion References Personal Information
description: Learning objectives: 1. To illustrate the spectrum of manifestations of gas in the liver 2. To describe diagnostic clues in differentiating parenchymal gas, portal venous gas, pneumobilia and gas in the lymphatic...
Probing gamma-ray emissions of Fermi-LAT pulsars with a non-stationary outer gap model
Creators: name: Takata, J.
name: Ng, C. W.
name: Cheng, K. S.
Publisher: name: arXiv
Year: 2015
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: We explore a non-stationary outer gap scenario for gamma-ray emission process in pulsar magnetosphere. Electrons/positrons that migrate along the magnetic field line and enter the outer gap from the outer/inner boundaries activate the pair-creation cascade and high-energy emission process. In our model, the rate of the particle injection at the gap boundaries is key physical quantity to control the gap structure and properties of the gamma-ray spectrum. Our model assumes that the injection rate is time variable and the observed gamma-ray spectrum are superposition of the emissions from different gap structures with different injection rates at the gap boundaries. The calculated spectrum superposed by assuming power law distribution of the particle injection rate can reproduce sub-exponential cut-off feature in the gamma-ray spectrum observed by Fermi-LAT. We fit the phase-averaged spectra for 43 young/middle-age pulsars and 14 millisecond pulsars with the model. Our results imply that (1) a larger particle injection at the gap boundaries is more frequent for the pulsar with a larger spin down power and (2) outer gap with an injection rate much smaller than the Goldreich-Julian value produces observe $>10$GeV emissions. Fermi-LAT gamma-ray pulsars show that (i) the observed gamma-ray spectrum below cut-off energy tends to be softer for the pulsar with a higher spin down rate and (ii) the second peak is more prominent in higher energy bands. Based on the results of the fitting, we describe possible theoretical interpretations for these observational properties. We also briefly discuss Crab-like millisecond pulsars that show phase-aligned radio and gamma-ray pulses.
description: 38 pages, accepted for publication in MNRAS
COVISION Study
Creators: name: McAneney, Helen
Publisher: name: Open Science Framework
Year: 2022
Subjects: subject: Medicine and Health Sciences
subject: Children and young people; Communities; COVID-19; Resilience; Creative arts; Pandemic; Participatory research; Psychosocial challenges

description: Children as innovators: Harnessing the creative expertise of children to address practical and psychosocial challenges of the COVID-19 pandemic. Background: In response to COVID-19, the government agencies across the world announced a series of measures to prevent the spreading of the infection. These strict measures to prevent disease transmission will inevitably have economic, educational, social, health and wellbeing impacts. Most children will be able to cope over time with the help of parents, family members, school staff, and other trusted adults who can play an essential role in helping children make sense of what they hear and provide honest, accurate and age-appropriate information without overwhelming children’s fear or anxiety. However, previous disaster research indicates that many children will experience longer-term impacts on their sense of safety and stability. Therefore, we aim to increase understanding of home and community-based strategies that contribute to children’s capacity to adjust to the changes during and after the pandemic (particularly strategies addressing their sense of safety, calm, hope, self and community efficacy, and connectedness). Secondly, we aim to identify ways in which children’s actions are contributing to the capacity of others to adjust to the changes arising from the pandemic. The potential for these activities to influence and contribute to broader social mobilisation will be examined and promoted. Research Design: To achieve the aim of this study, a participatory health research approach will be taken. The overarching theoretical framework of the COVISION study is that of liminality. The study design includes four work packages: two syntheses of literature (a rapid realist review and scoping review) to gain an overview of the emerging international context of evidence of psychosocial mitigations and community resilience in pandemics, and more specifically COVID-19; qualitative exploration of children and young people’s perspective of COVID-19 via creative outlets and reflections; and participatory learning and action through co-production.
Perfect Numbers in ACL2
Creators: name: Cowles, John
name: Gamboa, Ruben
Publisher: name: arXiv
Year: 2015
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Number Theory (math.NT)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics

description: A perfect number is a positive integer n such that n equals the sum of all positive integer divisors of n that are less than n. That is, although n is a divisor of n, n is excluded from this sum. Thus 6 = 1 + 2 + 3 is perfect, but 12 < 1 + 2 + 3 + 4 + 6 is not perfect. An ACL2 theory of perfect numbers is developed and used to prove, in ACL2(r), this bit of mathematical folklore: Even if there are infinitely many perfect numbers the series of the reciprocals of all perfect numbers converges.
description: In Proceedings ACL2 2015, arXiv:1509.05526
title: Typical and atypical radiologic manifestations of pulmonary sarcoidosis: Apictorial review
Creators: name: Limeme, Manel
Publisher: name: European Congress of Radiology
Year: 2013
Subjects: subject: Breast
subject: CT
subject: Contrast agent-intravenous
subject: Imaging sequences
subject: Tissue characterisation

description: Learning objectives Background Imaging findings OR Procedure details Conclusion References Personal Information
description: Learning objectives: Sarcoidosis is a multisystemic disorder of unknown cause that is characterized by the presence of noncaseous epithelioid cell granulomas, which may affect almost any organ. Thoracic involvement is common, being seen in approximately 90% of patients...
Re-Examining the Crime-Terror Continuum: Understanding the Interplay Between Criminals and Terrorists
Creators: name: Warshawsky, Megan Elizabeth
Publisher: name: University of North Carolina at Chapel Hill
Year: 2013

description: This thesis will examine the interplay between organized criminal networks and terrorist organizations. Increasingly since the end of the Cold War, these groups, previously thought to be incompatible with each other, have begun to work together to achieve their missions. As Tamara Makarenko demonstrated with her 2004 crime-terror continuum, there is significant variation in the level of cooperation between criminals and terrorists. This thesis will further explore their relationship in an effort to understand the ways they work together. The case studies of al-Qaeda, Mexican drug cartels, the Albanian Mafia, and the FARC will be utilized as examples of the varying levels of cooperation between criminals and terrorists. By studying these examples, one can see that the relationship in question has evolved over time and not only has a new continuum been created, but that there are implications for governments seeking to combat crime and terror.
Personal Versus American Attitudes Toward Gay/Lesbian, Straight, and Transgender People
Creators: name: Foley, Julia
name: Burke, Sara
Publisher: name: Open Science Framework
Year: 2022
Subjects: subject: Social and Behavioral Sciences

description: This registration describes a secondary analysis of a subset of data from the Multi-University United States Election Study 2020 (MUSES-2020). For details about the full design and recruitment procedure, see the main MUSES-2020 Open Science Framework page.
title: Anchored Inflation Expectations: What Recent Data Reveal
Creators: name: Kostyshyna, Olena
name: Salle, Isabelle
name: Truong, Hung
Publisher: name: Bank of Canada
publisherIdentifier: https://ror.org/05cc98565
publisherIdentifierScheme: ROR
Year: 2025

description: We analyze micro-level data from the Canadian Survey of Consumer Expectations through the lens of a heterogeneous-expectations model to study the state-dependent risk of inflation expectations unanchoring in low- and high-inflation environments. In our model, agents are either trend-chasing or mean-reverting forecasters of inflation. We interpret the degree of mean reversion in inflation expectations as a measure of anchoring, which varies over time with the share of agents using each approach. We find that during the post-pandemic inflation spike, trend-chasing expectations surged, resulting in a heightened risk of unanchoring expectations and entrenching above-target inflation. Furthermore, forming trend-chasing inflation expectations is associated with higher expectations for other key economic variables — such as interest rates, wages, and house prices — and a restraint in household spending. We provide additional new insights into household expectation formation, documenting that forecasting behaviors, attention, and noise in beliefs vary across socio-demographic groups and correlate with views about monetary policy.
description: Nous analysons des données microéconomiques tirées de l’enquête sur les attentes des consommateurs au Canada à l’aide d’un modèle à anticipations hétérogènes. Nous souhaitons ainsi étudier le risque de désancrage des anticipations d’inflation – qui est lié à l’état de l’économie – dans un contexte de faible et de forte inflation. Dans notre modèle, les agents sont soit des prévisionnistes de l’inflation qui suivent la tendance, soit des prévisionnistes qui anticipent un retour à la moyenne. Nous interprétons le degré de retour à la moyenne des anticipations d’inflation comme une mesure de l’ancrage, qui varie au fil du temps en fonction de la proportion d’agents utilisant chacune des deux approches. Nous constatons qu’au cours de la flambée d’inflation ayant suivi la pandémie, les anticipations d’inflation extrapolant la poursuite de cette tendance ont bondi, ce qui a engendré un risque accru de désancrage des anticipations d’inflation et un enracinement durable de l’inflation au-dessus de la cible. De plus, ces anticipations extrapolant la tendance d’inflation sont associées à des anticipations plus élevées pour d’autres variables économiques importantes – comme les taux d’intérêt, les salaires et les prix de l’immobilier – et à une modération des dépenses des ménages. Nous apportons de nouvelles perspectives sur la formation des anticipations des ménages en montrant que les comportements de prévision, les niveaux d’attention et le niveau de bruit dans les croyances varient d’un groupe sociodémographique à l’autre et sont corrélés avec les opinions sur la politique monétaire.
title: Does late-enhancement (LE) signal intensity correlate with LE mass, left ventricular volumes and function in hypertrophic cardiomyopathy?
Creators: name: Muscogiuri, Giuseppe
Publisher: name: European Congress of Radiology
Year: 2013
Subjects: subject: Cardiac
subject: MR
subject: Outcomes analysis
subject: Hyperplasia / Hypertrophy

description: Purpose Methods and Materials Results Conclusion References Personal Information
description: Purpose: Hypertrophic cardiomyopathy (HCM) is characterized by asymmetric myocardial hypertrophy in absence of secondary cardiovascular or systemic pathologies. Asymmetric left ventricular hypertrophy and myocardial disarray represent typical HCM...
Extending ACL2 with SMT Solvers
Creators: name: Peng, Yan
name: Greenstreet, Mark
Publisher: name: arXiv
Year: 2015
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences

description: We present our extension of ACL2 with Satisfiability Modulo Theories (SMT) solvers using ACL2's trusted clause processor mechanism. We are particularly interested in the verification of physical systems including Analog and Mixed-Signal (AMS) designs. ACL2 offers strong induction abilities for reasoning about sequences and SMT complements deduction methods like ACL2 with fast nonlinear arithmetic solving procedures. While SAT solvers have been integrated into ACL2 in previous work, SMT methods raise new issues because of their support for a broader range of domains including real numbers and uninterpreted functions. This paper presents Smtlink, our clause processor for integrating SMT solvers into ACL2. We describe key design and implementation issues and describe our experience with its use.
description: In Proceedings ACL2 2015, arXiv:1509.05526
Fragmentary Greek Drama. A new series by “L’Erma di Bretschneider”
Creators: name: Centanni, Monica; Cipolla, Paolo Biagio
Publisher: name: La Rivista di Engramma
Year: 2024
Subjects: Fragmentary Greek Drama
Sophocles Laocoon

description: The new series “Fragmentary Greek Drama”, published by “L’Erma di Bretschneider and edited by Monica Centanni and Paolo B. Cipolla, offers short monographs focusing on dramas – tragedies or satyr plays – of which we have a number of fragments and/or the ὑπόθεσις, sufficient to allow a plausible reconstruction of the plot of the lost drama. The first volume is devoted to Sophocles’ Laocoön of which five textual fragments (plus an indirect reference and one single word) have been preserved from indirect tradition.After reconstructing the mythographic variants of the story of the Trojan priest, the volume presents all the fragments in the original text and in translation, with a critical apparatus and philological commentary. The volume aims to reconstruct the dramaturgy of the Sophoclean drama by arranging the surviving fragments into a sequence that follows the possible succession of the scenes in the tragedy. In addition to the textual fragments, two vase painting fragments, one preserved in the Jatta Museum at Ruvo di Puglia and the other in Berlin, allow for the reconstruction if another possible scene of the drama not attested by the literary tradition.
Role of Electronic Health Records in Primary Healthcare in India
Creators: name: Mammen, Joy
name: Sudarsanam, Thambu
name: Paul, Anna
name: Kirubakaran, Richard
Publisher: name: Open Science Framework
Year: 2022
Subjects: subject: Medicine and Health Sciences
subject: EHR
subject: Primary health care
subject: Public health

description: Systematic Review of EHR in Primary healthcare in India for the The Lancet Citizens’ Commission on Reimagining India’s Health System (Workstream: Technology).
Reasoning About LLVM Code Using Codewalker
Creators: name: Hardin, David S.
Publisher: name: arXiv
Year: 2015
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences
subject: D.2.4;F.3.1

description: This paper reports on initial experiments using J Moore's Codewalker to reason about programs compiled to the Low-Level Virtual Machine (LLVM) intermediate form. Previously, we reported on a translator from LLVM to the applicative subset of Common Lisp accepted by the ACL2 theorem prover, producing executable ACL2 formal models, and allowing us to both prove theorems about the translated models as well as validate those models by testing. That translator provided many of the benefits of a pure decompilation into logic approach, but had the disadvantage of not being verified. The availability of Codewalker as of ACL2 7.0 has provided an opportunity to revisit this idea, and employ a more trustworthy decompilation into logic tool. Thus, we have employed the Codewalker method to create an interpreter for a subset of the LLVM instruction set, and have used Codewalker to analyze some simple array-based C programs compiled to LLVM form. We discuss advantages and limitations of the Codewalker-based method compared to the previous method, and provide some challenge problems for future Codewalker development.
description: In Proceedings ACL2 2015, arXiv:1509.05526
Forward rapidity $ψ(\mathrm{2S})$ meson production in pp, p-Pb and Pb-Pb collisions with ALICE at the LHC
Creators: name: Leoncino, Marco
Publisher: name: arXiv
Year: 2015
Subjects: subject: Nuclear Experiment (nucl-ex)
subject: FOS: Physical sciences

description: The ALICE Collaboration has studied the inclusive $ψ(\mathrm{2S})$ meson production in pp, p-Pb and Pb-Pb collisions at the CERN LHC. The $ψ(\mathrm{2S})$ is detected through its decay to a muon pair, using the forward Muon Spectrometer, which covers the pseudo-rapidity range $-4
Regaining altitude: a case analysis of the JetBlue Airways Valentine's Day 2007 crisis
Creators: name: Efthimiou, Gregory G.
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2008

description: Valentine's Day 2007 changed the course of history for JetBlue Airways. The upstart low-fare airline - which had enjoyed unprecedented acclaim from customers and industry observers since its launch in 2000 - suddenly found itself in the midst of a major operational catastrophe. A winter storm that enveloped the New York metropolitan region and JetBlue's hub at John F. Kennedy International Airport left hundreds of the company's passengers stranded aboard planes on the tarmac, some for as many as ten hours. Hundreds more waited in vain in the terminal for flights that the airline would eventually cancel. The flight disruptions at JFK plunged JetBlue's entire operation into chaos, forcing the carrier to cancel more than one thousand flights over a six day period. This thesis project describes the corporate crisis communication measures implemented by JetBlue Airways to repair its reputation.
title: Fluorescent asymmetric hemicyanines as biocompatible candidates for the detection of fibrillar tau
Creators: name: Hilger, Ingrid
Publisher: name: European Congress of Radiology
Year: 2013
Subjects: subject: Toxicity
subject: Dementia
subject: Molecular imaging
subject: Experimental investigations
subject: Experimental
subject: Contrast agents
subject: CNS

description: Purpose Methods and Materials Results Conclusion References Personal Information
description: Purpose: In vivo fluorescence imaging of the molecular events of Morbus Alzheimer (AD) represents a promising approach for the early and direct diagnosis of AD, while diagnosis in clinical routine is based on the combination of the visualization of cerebral...
Implant-associated biofilm infection established in an experimental Galleria mellonella model
Creators: name: YOU, JINSEON
name: Park, Juhwan
name: Choi, Dongkyu
name: Yun, Jiyeong
name: Choi, Hanbyeul
name: Lee, InHee
Publisher: name: figshare
Year: 2023
Subjects: Infectious agents
Infectious diseases

description: The study reports in vivo biofilm infection implemented in an insect model. We mimicked implant-associated biofilm infections in Galleria mellonella larvae using toothbrush bristles and methicillin-resistant Staphylococcus aureus (MRSA). In vivo biofilm formation on bristle was achieved by sequentially injecting a bristle and MRSA into the larval hemocoel. Then, we evaluated the degree of in vivo biofilm infection by monitoring staphylococcal selective mannitol agar media cultured with bacteria harvested from bristles. As a result, it was found that biofilm formation was in progress without any external sign of infection in most of the bristle-bearing larvae for 12 h after MRSA inoculation. In addition, we investigated the antimicrobial activity of the prophenoloxidase (PPO) system in hemolymph and an antimicrobial peptide (AMP) against MRSA biofilm. The activation of the PPO system did not affect the preformed in vitro MRSA biofilms. In contrast, an AMP exerted its activity against in vitro biofilms and interfered with in vivo biofilm formation when injected into bristle-bearing larvae infected with MRSA. Finally, our confocal laser scanning microscopic analysis revealed that the biomass of the in vivo biofilm is greater compared to that of the in vitro biofilm and harbors a distribution of dead cells, which might be bacteria and/or host cells. 
Stateman: Using Metafunctions to Manage Large Terms Representing Machine States
Creators: name: Moore, J. Strother
Publisher: name: arXiv
Year: 2015
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: When ACL2 is used to model the operational semantics of computing machines, machine states are typically represented by terms recording the contents of the state components. When models are realistic and are stepped through thousands of machine cycles, these terms can grow quite large and the cost of simplifying them on each step grows. In this paper we describe an ACL2 book that uses HIDE and metafunctions to facilitate the management of large terms representing such states. Because the metafunctions for each state component updater are solely responsible for creating state expressions (i.e., "writing") and the metafunctions for each state component accessor are solely responsible for extracting values (i.e., "reading") from such state expressions, they can maintain their own normal form, use HIDE to prevent other parts of ACL2 from inspecting them, and use honsing to uniquely represent state expressions. The last feature makes it possible to memoize the metafunctions, which can improve proof performance in some machine models. This paper describes a general-purpose ACL2 book modeling a byte-addressed memory supporting "mixed" reads and writes. By "mixed" we mean that reads need not correspond (in address or number of bytes) with writes. Verified metafunctions simplify such "read-over-write" expressions while hiding the potentially large state expression. A key utility is a function that determines an upper bound on the value of a symbolic arithmetic expression, which plays a role in resolving writes to addresses given by symbolic expressions. We also report on a preliminary experiment with the book, which involves the production of states containing several million function calls.
description: In Proceedings ACL2 2015, arXiv:1509.05526
title: The development and reliability of a new CT grading system for hip osteoarthritis
Creators: name: Turmezei, Tom
Publisher: name: European Congress of Radiology
Year: 2013
Subjects: subject: Musculoskeletal bone
subject: Musculoskeletal joint
subject: CT
subject: Computer Applications-3D

description: Purpose Methods and Materials Results Conclusion References Personal Information
description: Purpose: Clinical trials are in desperate need of imaging biomarkers that can predict the onset and progression of osteoarthritis. This is particularly salient given the recent demonstration of the efficacy of strontium ranelate in slowing the structural...
Incorporating Advance Care Planning into Primary Care
Creators: name: Quintana, Catherine
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2018

description: Advance care planning (ACP) offers patients and providers the opportunity to plan for future health care needs. Primary care is an ideal setting for ACP, due to the close relationship patients have with primary care providers (PCP). However, rates of ACP in primary care are relatively low. The purpose of this Doctor of Nursing Practice (DNP) project was to explore barriers to ACP at UNC Family Medicine (UNCFM), a primary care clinic serving a large and diverse patient population, and collaborate with stakeholders to improve ACP in this practice.
      Clinic stakeholders participated in interviews based on the Ottawa Decision Support Framework. Notes from 17 interviews were analyzed for themes. The most frequently cited barrier was lack of knowledge about ACP; therefore, an educational ACP guide was developed and presented to three PCPs in an hour-long didactic session. ACP billing codes were compared before and after the education session to determine whether education increased rates of ACP.
      ACP billing increased very slightly from an average of 0 ACP conversations per provider per 30 days pre-intervention to 0.3 ACP conversations per 30 days post-intervention. In conclusion, education did not yield a significant increase in ACP billing. Lack of a clinical workflow for ACP hindered providers’ ability to conduct ACP. Provider education is a first step, but multiple other interventions are needed to increase ACP rates in primary care.
Study on implant-associated biofilm infection established in an experimental Galleria mellonella model
Creators: name: YOU, JINSEON
name: Park, Juhwan
name: Choi, Dongkyu
name: Yun, Jiyeong
name: Choi, Hanbyeul
name: Lee, InHee
Publisher: name: figshare
Year: 2023
Subjects: Infectious agents
Infectious diseases

description: The study reports in vivo biofilm infection implemented in an insect model. We mimicked implant-associated biofilm infections in Galleria mellonella larvae using toothbrush bristles and methicillin-resistant Staphylococcus aureus (MRSA). In vivo biofilm formation on bristle was achieved by sequentially injecting a bristle and MRSA into the larval hemocoel. Then, we evaluated the degree of in vivo biofilm infection by monitoring staphylococcal selective mannitol agar media cultured with bacteria harvested from bristles. As a result, it was found that biofilm formation was in progress without any external sign of infection in most of the bristle-bearing larvae for 12 h after MRSA inoculation. In addition, we investigated the antimicrobial activity of the prophenoloxidase (PPO) system in hemolymph and an antimicrobial peptide (AMP) against MRSA biofilm. The activation of the PPO system did not affect the preformed in vitro MRSA biofilms. In contrast, an AMP exerted its activity against in vitro biofilms and interfered with in vivo biofilm formation when injected into bristle-bearing larvae infected with MRSA. Finally, our confocal laser scanning microscopic analysis revealed that the biomass of the in vivo biofilm is greater compared to that of the in vitro biofilm and harbors a distribution of dead cells, which might be bacteria and/or host cells. 