Results 51 to 60 of about 17,020 (197)

ENIGMA: Efficient Learning-based Inference Guiding Machine

, 2017
ENIGMA is a learning-based method for guiding given clause selection in saturation-based theorem provers. Clauses from many proof searches are classified as positive and negative based on their participation in the proofs.
C Kaliszyk, C Kaliszyk, C Kaliszyk, C Lin, D Kühlwein, G Sutcliffe, J Otten, J Urban, J Urban, JC Blanchette, JC Blanchette, L Kovács, M Kinyon, R Fan, S Schulz, T Gransden   +15 more
core   +1 more source

Evidence-Based Programs & Measures Of Mental Health Literacy among Adolescents: A Narrative Research Review [PDF]

, 2020
Evidence-Based Programs & Measures Of Mental Health Literacy among Adolescents: A Narrative Research Review Roxana Naemi, Dept. of Psychology, Sabrina Hawa, & Chloe Walker, Dept. of Psychology Graduate Student, with Dr. Chelsea D. Williams, Dept.
Hawa, Sabrina, Naemi, Roxana, Walker, Chloe   +2 more
core   +1 more source

Cryogenic TDS Platform for Quantitative Hydrogen Isotope (H2/D2/HD) Separation via Quantum Sieving in Porous Materials

Small, EarlyView.
The AC‐TDS enables precise hydrogen isotope analysis over a wide temperature range (15–900 K), allowing both physisorption and chemisorption processes to be investigated under gas exposure conditions. Through calibration, this system achieves reliable quantitative desorption analysis, including direct quantification of H2, D2, and HD under mixed ...
Minji Jung, Hyunlim Kim, Michael Hirscher, Hyunchul Oh   +3 more
wiley   +1 more source

Radiation Therapy Fields of Dreams: We Built Them—But Did They Come?

Journal of Medical Imaging and Radiation Oncology, EarlyView.
ABSTRACT Introduction Radiation therapy (RT) has been underused in cancer treatment. One possible reason is the long distances some patients must travel for treatment. We performed this study to investigate whether the introduction of RT treatment facilities in regional locations in Queensland influenced RT utility.
Gerard Adams, Tracey Lee Guan, Elizabeth Anne Burmeister, Bryan Henry Burmeister   +3 more
wiley   +1 more source

Creativity Style and Achievements: An Investigation on the Role of Emotional Competence, Individual Differences, and Psychometric Intelligence

Frontiers in Psychology, 2018
Psychometric and emotional intelligence are considered as two separate theoretical constructs, although each one has been found to correlate to a certain degree with measures of creativity.
Raffaella Nori, Stefania Signore, Paola Bonifacci   +2 more
doaj   +1 more source

Dispersion and limit theorems for random walks associated with hypergeometric functions of type BC [PDF]

, 2016
The spherical functions of the noncompact Grassmann manifolds $G_{p,q}(\mathbb F)=G/K$ over the (skew-)fields $\mathbb F=\mathbb R, \mathbb C, \mathbb H$ with rank $q\ge1$ and dimension parameter $p>q$ can be described as Heckman-Opdam hypergeometric ...
Voit, Michael
core   +2 more sources

Automated Scoring of Creative Achievement

The Journal of Creative Behavior, Volume 60, Issue 2, June 2026.
ABSTRACT The assessment of creative achievement (CA) can be cumbersome as participants are typically asked to respond to long lists of possible accomplishments that may still miss their very specific achievements. A bottom‐up alternative is to let participants openly report their most significant CAs, which, however, involves more complex scoring such ...
Noah Meinzer, Janika Saretzki, Simon M. Ceh, Mathias Benedek   +3 more
wiley   +1 more source

TUMOR DE GLÁNDULA LACRIMAL: A PROPÓSITO DE UN CASO

Revista Médica Clínica Las Condes, 2021
Resumen: Introducción: : El carcinoma adenoide quístico (CAQ) es conocido por su lento crecimiento, su tendencia a la recurrencia local y al desarrollo de metástasis a distancia incluso décadas después del diagnóstico inicial, y a pesar de terapias ...
Ana María Herranz-Torrubiano, María Fernanda Berzal-Cantalejo, Concepción Cuenca-González   +2 more
doaj   +1 more source

A Characterization of the Two-weight Inequality for Riesz Potentials on Cones of Radially Decreasing Functions [PDF]

, 2014
We establish necessary and sufficient conditions on a weight pair $(v,w)$ governing the boundedness of the Riesz potential operator $I_{\alpha}$ defined on a homogeneous group $G$ from $L^p_{dec,r}(w, G)$ to $L^q(v, G)$, where $L^p_{dec,r}(w, G)$ is the ...
Meskhi, Alexander, Murtaza, Ghulam, Sarwar, Muhammad   +2 more
core   +2 more sources

Solid Olive‐Mill Waste and Biochar Effects on the Bioavailability and Bioactivity of Abscisic Acid in Soil

Journal of Sustainable Agriculture and Environment, Volume 5, Issue 2, June 2026.
Biochar and solid olive‐mill waste differently affected abscisic acid (ABA) bioavailability and bioactivity in soil by altering ABA sorption and soil chemical and microbial properties. The type of amendment and the mechanisms by which it affected ABA bioavailability in soil were key determinants of the final effects on ABA bioactivity. ABSTRACT Natural
María del Valle Muñoz‐Muñoz, Rafael Celis, Rocío López‐Cabeza   +2 more
wiley   +1 more source