The Epsilon Calculus and Herbrand Complexity

Hilbert's epsilon-calculus is based on an extension of the language of predicate logic by a term-forming operator $\epsilon_{x}$. Two fundamental results about the epsilon-calculus, the first and second epsilon theorem, play a role similar to that which the cut-elimination theorem plays in sequent calculus. In particular, Herbrand's Theorem is a consequence of the epsilon theorems. The paper investigates the epsilon theorems and the complexity of the elimination procedure underlying their proof, as well as the length of Herbrand disjunctions of existential theorems obtained by this elimination procedure.Comment: 23 p

Stigma, Substance Use, and Help-Seeking Attitudes Among Rural and Urban Individuals

The current study examined the differences between public stigma, self-stigma, substance use (i.e., alcohol and/or drugs), and attitudes toward psychological help-seeking among rural and urban individuals, and found meaningful differences in public stigma by alcohol use. Two hundred and sixty participants recruited via Amazon Mechanical Turk completed an online survey that included the Perceptions of Stigmatization by Others for Seeking Help scale, the Self-Stigma of Seeking Help scale, the Attitudes Toward Seeking Professional Psychological Help scale, the Alcohol Use Disorders Identification Test, the Drug Abuse Screening Test–10, and demographics. The authors found significant between-groups differences in public stigma for individuals who screened positive for an alcohol use disorder compared to those who used alcohol but did not meet the screening threshold. This finding suggested that there may be differences in stigmatization between individuals who only occasionally use alcohol and those with an alcohol use disorder. There were no significant differences in self-stigma or attitudes toward psychological help-seeking. Moreover, there were no significant between-groups differences based on DAST-10 scores for individuals who did not report drug use, individuals who reported using drugs, and those who screened positive for a substance use disorder on public stigma, self-stigma, or attitudes toward psychological help-seeking. Contrary to the authors’ hypothesis, the results did not demonstrate any significant differences between public stigma, self-stigma, or attitudes toward psychological help-seeking based on rurality (i.e., rural or urban). The authors highlight areas for future research focus and considerations when further examining stigma, substance use, and help-seeking attitudes among rural and urban individuals

Successful Cessation Programs that Reduce Comorbidity May Explain Surprisingly Low Smoking Rates Among Hospitalized COVID-19 Patients

A recent, non-peer-reviewed meta-analysis suggests that smoking may reduce the risk of hospitalization with COVID-19 because the prevalence of smoking among hospitalized COVID-19 is less than that of the general population. However, there are alternative explanations for this phenomena based on (1) the failure to report, or accurately record, smoking history during emergency hospital admissions and (2) a pre-disposition to avoid smoking among COVID-19 patients with tobacco-related comorbidities (a type of “reverse” causation). For example, urine testing of hospitalized patients in Australia for cotinine showed that smokers were under-counted by 37% because incoming patients failed to inform staff about their smoking behavior. Face-to-face interviews can introduce bias into the responses to attitudinal and behavioral questions not present in the self-completion interviews typically used to measure smoking prevalence in the general population. Subjects in face-to-face interviews may be unwilling to admit socially undesirable behavior and attitudes under direct questioning. Reverse causation may also contribute to the difference between smoking prevalence in the COVID-19 and general population. Patients hospitalized with COVID-19 may be simply less prone to use tobacco than the general population. A potentially robust “reverse causation” hypothesis for reduced prevalence of smokers in the COVID-19 population is the enrichment of patients in that population with serious comorbidities that motivates them to quit smoking. We judge that this “smoking cessation” mechanism may account for a significant fraction of the reduced prevalence of smokers in the COVID-19 population. Testing this hypothesis will require a focused research program

Neuroscience-Informed Technology: Implications for Professional Counselors and Counselor Education

The ACA Code of Ethics (2014) state that counselors who use technology must also develop the knowledge and skills necessary to safely engage with clients. To date, no studies were found that identified prevalence or preferences among counselors\u27 use of technology with clients. The purpose of this pilot study was to investigate licensed professional counselors’ self-assessment of competency to use Neuroscience-Informed Technology (NIT). A national sample of licensed professional counselors were surveyed (N = 69). Results indicate that licensed professional counselors feel competent to use NIT as an intervention in their clinical work (94%). Participants reported feeling most competent in their use of NIT mobile applications as a clinical intervention (88%), followed by video (70%), and equipment (15%). Implications for the findings are explored and recommendations for future research are provided

Highly Thiolated Poly (Beta-Amino Ester) Nanoparticles for Acute Redox Applications

Disulfides are used extensively in reversible cross-linking because of the ease of reduction into click-reactive thiols. However, the free-radical scavenging properties upon reduction are often under-considered. The free thiols produced upon reduction of this disulfide material mimic the cellular reducing chemistry (glutathione) that serves as a buffer against acute oxidative stress. A nanoparticle formulation producing biologically relevant concentrations of thiols may not only provide ample chemical conjugation sites, but potentially be useful against severe acute oxidative stress exposure, such as in targeted radioprotection. In this work, we describe the synthesis and characterization of highly thiolated poly (β-amino ester) (PBAE) nanoparticles formed from the reduction of bulk disulfide cross-linked PBAE hydrogels. Degradation-tunable PBAE hydrogels were initially synthesized containing up to 26 wt % cystamine, which were reduced into soluble thiolated oligomers and formulated into nanoparticles upon single emulsion. These thiolated nanoparticles were size-stable in phosphate buffered saline consisting of up to 11.0 ± 1.1 mM (3.7 ± 0.3 mmol thiol/g, n = 3 M ± SD), which is an antioxidant concentration within the order of magnitude of cellular glutathione (1–10 mM)

What Does It Take? Deciphering Performance Indicators of NFL Running Backs through the Examination of Collegiate Performance and NFL Combine Results

This research uses a linear regression model to investigate the relationship between prospective NFL running backs’ NCAA FBS football statistics, NFL Combine measureables, and realized performance in the NFL as evaluated by Pro Football Focus. We observe 435 player-seasons from 2007-2014. The model suggests that collegiate conference affiliation, collegiate touchdowns, and NFL team passing strength are positively associated with NFL running back performance at statistically significant levels. Conference affiliation has the most substantial effect. NFL talent evaluators must appreciate that context is king when evaluating potential, and that pure stats are only a small piece of the puzzle

Verwey transition in Fe3_{3}O4_{4} at high pressure: quantum critical behavior at the onset of metallization

We provide evidence for the existence of a {\em quantum critical point} at the metallization of magnetite Fe$_{3}$O$_{4}$ at an applied pressure of $p_{c} \approx 8$ GPa. We show that the present ac magnetic susceptibility data support earlier resistivity data. The Verwey temperature scales with pressure $T_{V}\sim (1-p/p_{c})^{\nu}$, with $\nu\sim 1/3$. The resistivity data shows a temperature dependence $\rho(T)=\rho_{0}+AT^{n}$, with $n\simeq 3$ above and 2.5 at the critical pressure, respectively. This difference in $n$ with pressure is a sign of critical behavior at $p_{c}$. The magnetic susceptibility is smooth near the critical pressure, both at the Verwey transition and near the ferroelectric anomaly. A comparison with the critical behavior observed in the Mott-Hubbard and related systems is made.Comment: 5 pages, 5 figure

The State of Short-Term Rentals in Montana

Little is known about short term rentals (STRs) as an accommodation choice for pleasure or business in Montana. The goal of this study was to assess the impacts of STRs on hosts and communities in Montana, as well as to better understand the characteristics and motivations of visitors who use STRs. Two independent studies; interviews with city and county officials in Montana, as well as an online travel behavior survey regarding accommodation choices and changes in travel due to the COVID-19 pandemic were conducted. Results suggest that positive STR impacts include increased financial well-being for hosts and more vacation rental opportunities for the guests. In some locations, however, STRs appear to limit housing availability and contribute to increased rent and housing costs

The Kondo Dynamics of YbIn(1-x)AgxCu4

We present an infrared/optical study of the dynamics of the strongly correlated electron system YbIn(1-x)AgxCu4 as a function of doping and temperature for x ranging from 0 to 1, and T between 20 and 300 K. This study reveals information about the unusual phase transition as well as the phases themselves. Scaling relations emerge from the data and are investigated in detail using a periodic Anderson model based calculation. We also provide a picture in which to view both the low and high-energy x-dependent features of the infrared data, including identification of high energy, temperature dependent features.Comment: 12 pages, 11 figures, submitted Phys. Rev.

Combining Contrast Invariant L1 Data Fidelities with Nonlinear Spectral Image Decomposition

This paper focuses on multi-scale approaches for variational methods and corresponding gradient flows. Recently, for convex regularization functionals such as total variation, new theory and algorithms for nonlinear eigenvalue problems via nonlinear spectral decompositions have been developed. Those methods open new directions for advanced image filtering. However, for an effective use in image segmentation and shape decomposition, a clear interpretation of the spectral response regarding size and intensity scales is needed but lacking in current approaches. In this context, $L^1$ data fidelities are particularly helpful due to their interesting multi-scale properties such as contrast invariance. Hence, the novelty of this work is the combination of $L^1$-based multi-scale methods with nonlinear spectral decompositions. We compare $L^1$ with $L^2$ scale-space methods in view of spectral image representation and decomposition. We show that the contrast invariant multi-scale behavior of $L^1-TV$ promotes sparsity in the spectral response providing more informative decompositions. We provide a numerical method and analyze synthetic and biomedical images at which decomposition leads to improved segmentation.Comment: 13 pages, 7 figures, conference SSVM 201