cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
title: 01_0462
Creators: name: Wesley Baldwin, John
name: Baldwin, John W.
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2018
Subjects: subject: LaMOP
subject: Laboratoire de Médiévistique Occidentale de Paris

description: L'ensemble de ces notes ont été crée par John Baldwin lors d'une de ses premières périodes de résidence à Paris. Ces documents comprennent tous les magistri qu’il avait pu rencontrer dans ses sources. Aux XIIème et XIIIème siècles, les universités n'existant pas encore, le titre de magister s'il évoque certainement une compétence n'est pas rattaché de façon systématique au passage par les écoles. De surcroît, les magistris sont le plus souvent désignés par leur seul prénom. La lecture de ces données est donc difficile et suppose un long travail pour tenter d'identifier un individu auquel on pourrait rattacher plusieurs mentions. John Baldwin avait donc renoncé à utiliser ces données pour donner un prolongement à sa magnifique étude sur les gradués d'université et leur emploi par les Capétiens et les Plantagenêts. Néanmoins, il a conservé ces données et elles sont potentiellement très utile dans le cadre de Studium, comme le sont toutes les mentions dans les volumes des Fasti Ecclesiae Gallicanae de chanoines portant ce titre de magister sans autres précisions. L'ampleur des dépouillements rend ces données très utiles et nous devons une grande reconnaissance à John Baldwin pour avoir pris la peine de faire photocopier ses fiches et de nous les avoir transmises amicalement.
Les données ainsi que les images des fiches sont accessibles sur le site Internet à l'adresse suivante : http://studium-baldwin.lamop.fr/.
Les transcriptions des fiches ont été effectuées par des étudiants de Paris 1 Panthéon - Sorbonne mais elles n'ont pas été corrigées par la suite.
description: Relation: https://lamop.hypotheses.org/
Fault orientation in damage failure under compression
Creators: name: Dansereau, Véronique
name: Démery, Vincent
name: Berthier, Estelle
name: Weiss, Jérôme
name: Ponson, Laurent
Publisher: name: arXiv
Year: 2017
Subjects: subject: Geophysics (physics.geo-ph)
subject: Disordered Systems and Neural Networks (cond-mat.dis-nn)
subject: Soft Condensed Matter (cond-mat.soft)
subject: FOS: Physical sciences

description: The Mohr-Coulomb criterion is widely used in geosciences to relate the state of stress at failure to the observed orientation of the resulting faults. This relation is based on the assumption that the fault occurs along a plane that maximizes the Coulomb stress. Here, we test this hypothesis using an elastic, progressive damage model that implements the Mohr-Coulomb criterion at the local scale. We find that the orientation of the fault is not given by the Mohr-Coulomb criterion. Instead, for minimal disorder, it corresponds to the most unstable mode of damage in the model, which we determine through a linear stability analysis of the homogeneously damaged state. Our simulations show that microstructural disorder significantly affects the orientation of the fault, which, however, remains always far from the Mohr-Coulomb prediction.
Using tested Augmented Reality applications on Industry 4.0: A scooping review
Creators: name: Moyano, Jon Andoni Fernández
Publisher: name: OSF Registries
Year: 2024
Subjects: subject: Physical Sciences and Mathematics
subject: Other Engineering
subject: FOS: Other engineering and technologies
subject: Computer Sciences
subject: Artificial Intelligence and Robotics
subject: Engineering

description: This protocol explores Augmented Reality (AR) applications in Industry 4.0, focusing on implementation and impact. Authored by Jon Andoni Fernández Moyano and Inmaculada Remolar Quintana from INIT, UJI, Spain. Eligible studies must be in English, Open Access, and published between 2014 and January 2024. The review aims to identify trends, industry sectors, software used, detection systems, purposes, and target audiences of AR applications. The methodology follows PRISMA guidelines, including search strategies, study selection, data synthesis, and future research areas. No ethical approval is needed for this peer-reviewed publication.
title: Beyond evidence-deficit narratives in Indigenous suicide prevention
Creators: name: Dudgeon, Pat
name: Bray, Abigail
name: Ring, Ian
name: McPhee, Rob
Publisher: name: Australian Institute of Health and Welfare
Year: 2021

description: Most of the evidence for suicide and suicide-related behaviour in the community is not reported or monitored, so the national and international evidence base for suicide prevention policies and programs is underdeveloped. The way evidence is defined may also exclude some successful interventions for Aboriginal and Torres Strait Islander people. The development of practice-based evidence complements evidence-based practice as it recognises the complexity of the system in which suicide interventions take place. It also allows the intervention to become embedded in the community organically and has the potential to achieve holistic and long-term positive change.
The ALHAMBRA Survey: Bayesian Photometric Redshifts with 23 bands for 3 squared degrees
Creators: name: Molino, A.
name: Benítez, N.
name: Moles, M.
name: Fernández-Soto, A.
name: Cristóbal-Hornillos, D.
name: Ascaso, B.
name: Jiménez-Teja, Y.
name: Schoenell, W.
name: Arnalte-Mur, P.
name: Pović, M.
name: Coe, D.
name: López-Sanjuan, C.
name: Díaz-García, L. A.
name: Varela, J.
name: Matute, I.
name: Masegosa, J.
name: Márquez, I.
name: Perea, J.
name: Del Olmo, A.
name: Husillos, C.
name: Alfaro, E.
name: Aparicio-Villegas, T.
name: Cerviño, M.
name: Huertas-Company, M.
name: Aguerri, A. L.
name: Broadhurst, T.
name: Cabrera-Caño, J.
name: Cepa, J.
name: Delgado, R. M. González
name: Infante, L.
name: Martínez, V. J.
name: Prada, F.
name: Quintana, J. M.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: Instrumentation and Methods for Astrophysics (astro-ph.IM)
subject: FOS: Physical sciences

description: The ALHAMBRA (Advance Large Homogeneous Area Medium Band Redshift Astronomical) survey has observed 8 different regions of the sky, including sections of the COSMOS, DEEP2, ELAIS, GOODS-N, SDSS and Groth fields using a new photometric system with 20 contiguous ~ $300Å$ filters covering the optical range, combining them with deep $JHKs$ imaging. The observations, carried out with the Calar Alto 3.5m telescope using the wide field (0.25 sq. deg FOV) optical camera LAICA and the NIR instrument Omega-2000, correspond to ~700hrs on-target science images. The photometric system was designed to maximize the effective depth of the survey in terms of accurate spectral-type and photo-zs estimation along with the capability of identification of relatively faint emission lines. Here we present multicolor photometry and photo-zs for ~438k galaxies, detected in synthetic F814W images, complete down to I~24.5 AB, taking into account realistic noise estimates, and correcting by PSF and aperture effects with the ColorPro software. The photometric ZP have been calibrated using stellar transformation equations and refined internally, using a new technique based on the highly robust photometric redshifts measured for emission line galaxies. We calculate photometric redshifts with the BPZ2 code, which includes new empirically calibrated templates and priors. Our photo-zs have a precision of $dz/(1+z_s)=1%$ for I<22.5 and 1.4% for 22.5=0.56 for I<22.5 AB and =0.86 for I<24.5 AB. The data presented here covers an effective area of 2.79 sq. deg, split into 14 strips of 58.5'x15.5' and represents ~32 hrs of on-target.
description: The catalog data and a full resolution version of this paper is available at https://cloud.iaa.csic.es/alhambra/
title: ADCO, Grènetier de Cîteaux : comptes (1497-1504) (11 H 1172), f. 00007
Creators: name: de la Côte-d'Or, Archives départementales
name: Archives Départementales De La Côte-D'Or
name: Petot, Frédérique
name: Projet CBMA
name: CBMA/CG21/F.PETOT/2019
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2020
Subjects: subject: Laboratoire de Médiévistique Occidentale de Paris
subject: comptes
subject: Corpus Burgundiae Medii Aevi
subject: Chartes de la Bourgogne du Moyen Âge
subject: LaMOP

description: Grènetier de Cîteaux : comptes (1497-1504), Archives départementales de la Côte-d'Or, (11 H 1172). Numérisation en mode image.
description: Relation: http://www.cbma-project.eu/
description: Bibliographic citation: Grènetier de Cîteaux : comptes (1497-1504), Archives départementales de la Côte-d'Or, (11 H 1172), f. 00007, in Projet CBMA - Corpus Burgundiae Medii Aevi \[Ressource en ligne\], https:// manuscrits.cbma-project.eu/
description: Provenance: https://www.geonames.org/3024876
description: Provenance: http://www.idref.fr/030974844/id
description: Provenance: https://catalogue.bnf.fr/ark:/12148/cb12228351v
description: Provenance: abbaye de Cîteaux
description: Provenance: http://www.wikidata.org/entity/Q843261
Elastic interactions in damage models of brittle failure
Creators: name: Démery, Vincent
name: Dansereau, Véronique
name: Berthier, Estelle
name: Ponson, Laurent
name: Weiss, Jérôme
Publisher: name: arXiv
Year: 2017
Subjects: subject: Soft Condensed Matter (cond-mat.soft)
subject: Disordered Systems and Neural Networks (cond-mat.dis-nn)
subject: FOS: Physical sciences

description: The failure of brittle solids involves, before macroscopic rupture, power-law distributed avalanches of local rupture events whereby microcracks nucleate and grow, which are also observed in for an elastic interface evolving in a non-homogeneous medium. For this reason, it is tempting to relate failure to the depinning of an elastic interface. Here we compute the elastic kernel of the interface representing the damage field of a brittle solid. In the case of a damage model of rupture under compression, which implements the Mohr-Coulomb criterion at the local scale, we show that the elastic kernel is unstable, and hence is very different from the kernels of usual interfaces. We show that the unstable modes are responsible for the localization of damage along a macroscopic fault observed in numerical simulations. At low disorder, the most unstable mode gives the orientation of the macroscopic fault that we measure in numerical simulations. The orientation of the fault changes when the level of disorder is increased, suggesting a complex interplay of the unstable modes and the disorder.
title: Improving mental health outcomes with an Indigenous mental health workforce
Creators: name: Upton, Penney
name: Ford, Linda
name: Wallace, Ruth
name: Jackson, Sarah
name: Richard, Jenna
name: Upton, Dominic
Publisher: name: Australian Institute of Health and Welfare
Year: 2021

description: Aboriginal and Torres Strait Islander people experience high rates of psychological distress and suicide. However, they are less likely to use mental health services than non-Indigenous Australians, and those services do not have sufficient numbers of Indigenous mental health workers. Mental health service use increases when Aboriginal and Torres Strait Islander people and Indigenous health workers both feel culturally safe. Strategies to increase cultural safety include employing more Indigenous workers, increasing the cultural competency of non-Indigenous workers, and developing health service policies in collaboration with Indigenous workers and the local communities. Cultural safety is believed to improve the retention of Indigenous health workers.
Numerical investigation on the fixed-stress splitting scheme for Biot's equations: Optimality of the tuning parameter
Creators: name: Both, Jakub Wiktor
name: Köcher, Uwe
Publisher: name: arXiv
Year: 2018
Subjects: subject: Numerical Analysis (math.NA)
subject: FOS: Mathematics

description: We study the numerical solution of the quasi-static linear Biot's equations solved iteratively by the fixed-stress splitting scheme. In each iteration the mechanical and flow problems are decoupled, where the flow problem is solved by keeping an artificial mean stress fixed. This introduces a numerical tuning parameter which can be optimized. We investigate numerically the optimality of the parameter and compare our results with physically and mathematically motivated values from the literature, which commonly only depend on mechanical material parameters. We demonstrate, that the optimal value of the tuning parameter is also affected by the boundary conditions and material parameters associated to the fluid flow problem suggesting the need for the integration of those in further mathematical analyses optimizing the tuning parameter.
Connecting the Pygmy Dipole Resonance to the neutron skin
Creators: name: Baran, V.
name: Colonna, M.
name: Di Toro, M.
name: Croitoru, A.
name: Dumitru, D.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Nuclear Theory (nucl-th)
subject: Nuclear Experiment (nucl-ex)
subject: FOS: Physical sciences

description: We study the correlation between the neutron skin development and the low-energy dipole response associated with the pygmy dipole resonance (PDR) in connection with the properties of symmetry energy. We perform our investigation within a microscopic transport model based on the Landau-Vlasov kinetic equation by employing three different equations of state in the isovector sector. Together with the giant dipole resonance (GDR) for all studied systems, we identify a PDR collective mode whose energy centroid is very well described by the parametrization E_{PDR}=41 A^{-1/3}. A linear correlation between the energy weighted sum rule (EWSR) associated to PDR and the neutron skin thickness is evidenced. An increase of 15 MeVfm^2 of EWSR, in correspondence to a change of 0.1fm of the neutron skin size, is obtained. We conjecture that different nuclei having close neutron skin sizes will exhaust the same EWSR in the pygmy region. This suggests that a precise experimental estimate of the total EWSR exhausted by the PDR allows the determination of the neutron skin size, constraining the slope parameter of the symmetry energy.
description: 8 pages, 7 figures (new figures added)
Null hypothesis significance testing interpreted and calibrated by estimating probabilities of sign errors: A Bayes-frequentist continuum
Creators: name: Bickel, David R.
Publisher: name: Zenodo
Year: 2019
Subjects: calibrated p value
replication crisis
reproducibility crisis
calibrated effect size estimation

description: Concepts from multiple testing can improve tests of single hypotheses. The proposed definition of the calibrated p value is an estimate of the local false sign rate, the posterior probability that the direction of the estimated effect is incorrect. Interpreting one-sided p values as estimates of conditional posterior probabilities, that calibrated p value is (1 - LFDR) p/2 + LFDR, where p is a two-sided p value and LFDR is an estimate of the local false discovery rate, the posterior probability that a point null hypothesis is true given p. A simple option for LFDR is the posterior probability derived from estimating the Bayes factor to be its e p ln(1/p) lower bound. The calibration provides a continuum between significance testing and traditional Bayesian testing. The former effectively assumes the prior probability of the null hypothesis is 0, as some statisticians argue is the case. Then the calibrated p value is equal to p/2, a one-sided p value, since LFDR = 0. In traditional Bayesian testing, the prior probability of the null hypothesis is at least 50%, which usually results in LFDR >> p. At that end of the continuum, the calibrated p value is close to LFDR.
Modeling human syllogistic reasoning in Soar
Creators: name: Polk, Thad A.
name: Newell, Allen
name: Artificial Intelligence And Psychology Project.
Publisher: name: Carnegie Mellon University
Year: 1980
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Abstract: "Soar is an architecture for general intelligence, which has been shown to be capable of supporting a wide variety of intelligent behavior involving problem-solving, learning, designing, planning, etc. Soar has also been put forth as a unified theory of human cognition. We provide support for this by presenting a theory of syllogistic reasoning based on Soar and some assumptions about subjects' knowledge and representation. The resulting theory (and system, Syl-Soar/S88) is plausible in its details and accounts for existing data quite well."
Null hypothesis significance testing interpreted and calibrated by estimating probabilities of sign errors: A Bayes-frequentist continuum
Creators: name: Bickel, David R.
Publisher: name: Zenodo
Year: 2019
Subjects: calibrated p value
replication crisis
reproducibility crisis

description: Concepts from multiple testing can improve tests of single hypotheses. The proposed definition of the calibrated p value is an estimate of the local false sign rate, the posterior probability that the direction of the estimated effect is incorrect. Interpreting one-sided p values as estimates of conditional posterior probabilities, that calibrated p value is (1 - LFDR) p/2 + LFDR, where p is a two-sided p value and LFDR is an estimate of the local false discovery rate, the posterior probability that a point null hypothesis is true given p. A simple option for LFDR is the posterior probability derived from estimating the Bayes factor to be its e p ln(1/p) lower bound. The calibration provides a continuum between significance testing and traditional Bayesian testing. The former effectively assumes the prior probability of the null hypothesis is 0, as some statisticians argue is the case. Then the calibrated p value is equal to p/2, a one-sided p value, since LFDR = 0. In traditional Bayesian testing, the prior probability of the null hypothesis is at least 50%, which usually results in LFDR >> p. At that end of the continuum, the calibrated p value is close to LFDR.
Solving the discrepancy between the seismic and photospheric solar radius
Creators: name: Haberreiter, Margit
name: Kosovichev, Alexander G.
name: Schmutz, Werner
Publisher: name: arXiv
Year: 2007
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: Two methods are used to observationally determine the solar radius: One is the observation of the intensity profile at the limb, the other one uses f-mode frequencies to derive a 'seismic' solar radius which is then corrected to optical depth unity. The two methods are inconsistent and lead to a difference in the solar radius of $\sim$0.3 Mm. Because of the geometrical extention of the solar photosphere and the increased path lengths of tangential rays the Sun appears to be larger to an observer who measures the extent of the solar disk. Based on radiative transfer calculations we show that this discrepancy can be explained by the difference between the height at disk center where $τ_{\mathrm{5000}}=1$ ($τ_{\mathrm{Ross}}=2/3$) and the inflection point of the intensity profile on the limb. We calculate the intensity profile of the limb for the MDI continuum and the continuum at 5000 Å for two atmosphere structures and compare the position of the inflection points with the radius at $τ_{\mathrm{5000}}=1$ ($τ_{\mathrm{Ross}}=2/3$). The calculated difference between the 'seismic' radius and the inflection point is $0.347\pm 0.06$ Mm with respect to $τ_{\mathrm{5000}}=1$ and $0.333\pm 0.08$ Mm with respect to $τ_{\mathrm{Ross}}=2/3$. We conclude that the standard solar radius in evolutionary models has to be lowered by $0.333\pm 0.08$ Mm and is 695.66 Mm. Furthermore, this correction reconciles inflection point measurements and the 'seismic' radii within the uncertainty.
description: submitted to ApJL
Additional file 1 of RARRES1 inhibits hepatocellular carcinoma progression and increases its sensitivity to lenvatinib through interaction with SPINK2
Creators: name: Guo, Yarong
name: Chai, Bao
name: Zhang, Hezhao
name: Chai, Xinhao
name: Chen, Yan
name: Xu, Jun
name: Qin, Liwei
name: Chai, Yuting
Publisher: name: figshare
Year: 2024
Subjects: subject: Biophysics
subject: Biochemistry
subject: Medicine
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Pharmacology
subject: Chemical Sciences not elsewhere classified
subject: Biological Sciences not elsewhere classified
subject: Cancer
subject: Virology

description: Supplementary Material 1
Constant Slope Models and Perturbation
Creators: name: Malek, Michal
name: Roth, Samuel
Publisher: name: arXiv
Year: 2018
Subjects: subject: Dynamical Systems (math.DS)
subject: FOS: Mathematics
subject: 37E05

description: We sharpen an estimate for the growth rate of preimages of a point under a transitive piecewise monotone interval map. Then we apply our estimate to study the continuity of the operator which assigns to such a map its constant slope model.
description: 18 pages
The case against large intensity fluctuations in the z ~ 2.5 HeII Lyman-alpha forest
Creators: name: McQuinn, Matthew
name: Worseck, Gabor
Publisher: name: arXiv
Year: 2013
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: Previous studies of the 2.2 < z< 2.7 HeII Lyman-alpha forest measured much larger ionizing background fluctuations than are anticipated theoretically. We re-analyze recent Hubble Space Telescope data from the two HeII sightlines that have been used to make these measurements, HE2347-4342 and HS1700+6416, and find that the vast majority of the absorption is actually consistent with a single HeII photoionization rate. We show that the data constrains the RMS fractional fluctuation level smoothed at 1 Mpc to be < 2 and discuss why other studies had found larger fluctuations. Our measurement is consistent with models in which quasars dominate the z=2.5 metagalactic HeII-ionizing background (but it can accommodate less compelling models), and it suggests that quasars (rather than stars) are the dominant contributor to the HI-ionizing background. We detect a HeII transverse proximity effect that is slightly offset in redshift from a known quasar. Its profile and offset may indicate that the quasar turned on 10 Myr ago.
description: 11 pages, 6 figures, plus appendixes; matches version accepted to MNRAS
Adhesion-induced fingering instabilities in thin elastic films under strain
Creators: name: Davis-Purcell, Benjamin
name: Soulard, Pierre
name: Salez, Thomas
name: Raphael, Elie
name: Dalnoki-Veress, Kari
Publisher: name: arXiv
Year: 2017
Subjects: subject: Soft Condensed Matter (cond-mat.soft)
subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: In this study, thin elastic films supported on a rigid substrate are brought into contact with a spherical glass indenter. Upon contact, adhesive fingers emerge at the periphery of the contact patch with a characteristic wavelength. Elastic films are also pre-strained along one axis before initiation of contact, causing the fingering pattern to become anisotropic and align with the axis along which the strain was applied. This transition from isotropic to anisotropic patterning is characterized quantitatively and a simple model is developed to understand the origin of the anisotropy.
description: 7 pages, 8 figures
Rotating Bowen-York initial data with a positive cosmological constant
Creators: name: Mach, Patryk
name: Knopik, Jerzy
Publisher: name: arXiv
Year: 2018
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: A generalization of the Bowen-York initial data to the case with a positive cosmological constant is investigated. We follow the construction presented recently by Bizoń, Pletka and Simon, and solve numerically the Lichnerowicz equation on a compactified domain $\mathbb S^1 \times \mathbb S^2$. In addition to two branches of solutions depending on the polar variable on $\mathbb S^2$ that were already known, we find branches of solutions depending on two variables: the polar variable on $\mathbb S^2$ and the coordinate on $\mathbb S^1$. Using Vanderbauwhede's results concerning bifurcations from symmetric solutions, we show the existence of the corresponding bifurcation points. By linearizing the Lichnerowicz equation and solving the resulting eigenvalue problem, we collect numerical evidence suggesting the absence of additional branches of solutions.
description: 24 pages, 9 figures
Grazing Incidence Reflection and Scattering of MeV Protons
Creators: name: Aschenbach, Bernd
Publisher: name: arXiv
Year: 2007
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: Treating protons as de Broglie waves shows that up to a few MeV energies protons experience total external reflection using the index of refraction concept for the target earlier applied to electrons. Angular scattering distributions can be explained by random surface scattering as known for X-rays. Applied to the {\it{Chandra}} and {\it{XMM-Newton}} X-ray telescopes the calculated reflection efficiencies can explain the observed degradation of the X-ray CCDs for both missions. Some discussion about the possibility of realizing imaging sub-MeV and MeV proton optics is presented.
description: 7 pages, 3 figures, updated version of a paper accepted for publication in the SPIE Conference Proceedings 6688, 2007
Dynamical symmetry breaking with optimal control: reducing the number of pieces
Creators: name: Power, Matthew J. M.
name: De Chiara, Gabriele
Publisher: name: arXiv
Year: 2013
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We analyse the production of defects during the dynamical crossing of a mean-field phase transition with a real order parameter. When the parameter that brings the system across the critical point changes in time according to a power-law schedule, we recover the predictions dictated by the well-known Kibble-Zurek theory. For a fixed duration of the evolution, we show that the average number of defects can be drastically reduced for a very large but finite system, by optimising the time dependence of the driving using optimal control techniques. Furthermore, the optimised protocol is robust against small fluctuations.
description: Published version
Modeling and Verifying Systems Using a Logic of Counter Arithmetic with Lambda Expressions and Uninterpreted Functions
Creators: name: Bryant, Randal E.
name: Shuvendru K Lahiri
name: Sanjit A Seshia
Publisher: name: Carnegie Mellon University
Year: 1996
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: In this paper, we present the logic of Counter Arithmetic with Lambda Expressions and Uninterpreted Functions (CLU). CLU generalizes the logic of equality with uninterpreted functions (EUF) with constrained lambda expressions, ordering, and successor and predecessor functions. In addition to modeling pipelined processors that EUF has proved useful for, CLU can be used to model many infinite-state systems including those with infinite memories, finite and infinite queues including lossy channels, and networks of identical processes. Even with this richer expressive power, the validity of a CLU formula can be efficiently decided by translating it to a propositional formula, and then using Boolean methods to check validity. We give theoretical and empirical evidence for the efficiency of our decision procedure. We also describe verification techniques that we have used on a variety of systems, including an out-of-order execution unit and the load-store unit of an industrial microprocessor.
Integrating Social Justice into your STEM Classroom: Redlining & Environmental Science
Creators: name: Basham, Tamara
name: Piechnik, Denise
name: Ansari-Yan, Durrain
name: Boyer, Mackenzie
name: Ekberg, Marci
name: Heard, Matthew
name: Jones, Adriane
name: Jones, Shannon
name: Kovacs, Jennifer
name: Lannan, Erica
name: Marsteller, Pat
name: Mulcahy, Mary
name: Prescott, Sarah
name: Santos, Gustavo
name: Vereen, Ethell
Publisher: name: QUBES Educational Resources
Year: 2021

description: Materials for the workshop on social justice presented at the 2021 BIOME Institute.
Tau functions as Widom constants
Creators: name: Cafasso, M.
name: Gavrylenko, P.
name: Lisovyy, O.
Publisher: name: arXiv
Year: 2017
Subjects: subject: Mathematical Physics (math-ph)
subject: High Energy Physics - Theory (hep-th)
subject: Exactly Solvable and Integrable Systems (nlin.SI)
subject: FOS: Physical sciences

description: We define a tau function for a generic Riemann-Hilbert problem posed on a union of non-intersecting smooth closed curves with jump matrices analytic in their neighborhood. The tau function depends on parameters of the jumps and is expressed as the Fredholm determinant of an integral operator with block integrable kernel constructed in terms of elementary parametrices. Its logarithmic derivatives with respect to parameters are given by contour integrals involving these parametrices and the solution of the Riemann-Hilbert problem. In the case of one circle, the tau function coincides with Widom's determinant arising in the asymptotics of block Toeplitz matrices. Our construction gives the Jimbo-Miwa-Ueno tau function for Riemann-Hilbert problems of isomonodromic origin (Painlevé VI, V, III, Garnier system, etc) and the Sato-Segal-Wilson tau function for integrable hierarchies such as Gelfand-Dickey and Drinfeld-Sokolov.
description: 26 pages, 6 figures
Modeling and Verifying Circuits Using Generalized Relative Timing
Creators: name: Sanjit  Seshia
name: Bryant, Randal E.
name: Stevens, Kenneth S.
Publisher: name: Carnegie Mellon University
Year: 1987
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: We propose a novel technique for modeling and verifying timed circuits based on the notion of generalized relative timing. Generalized relative timing constraints can express not just a relative ordering between events, but also some forms of metric timing constraints. Circuits modeled using generalized relative timing constraints are formally encoded as timed automata. Novel fully symbolic verification algorithms for timed automata are then used to either verify a temporal logic property or to check conformance against an untimed specification. The combination of our new modeling technique with fully symbolic verification methods enables us to verify larger circuits than has been possible with other approaches. We present case studies to demonstrate our approach, including a self-timed circuit used in the integer unit of the Intel® Pentium® 4 processor.
The Casimir effect as scattering problem
Creators: name: Wirzba, Andreas
Publisher: name: arXiv
Year: 2007
Subjects: subject: Quantum Physics (quant-ph)
subject: High Energy Physics - Theory (hep-th)
subject: Chaotic Dynamics (nlin.CD)
subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: We show that Casimir-force calculations for a finite number of non-overlapping obstacles can be mapped onto quantum-mechanical billiard-type problems which are characterized by the scattering of a fictitious point particle off the very same obstacles. With the help of a modified Krein trace formula the genuine/finite part of the Casimir energy is determined as the energy-weighted integral over the log-determinant of the multi-scattering matrix of the analog billiard problem. The formalism is self-regulating and inherently shows that the Casimir energy is governed by the infrared end of the multi-scattering phase shifts or spectrum of the fluctuating field. The calculation is exact and in principle applicable for any separation(s) between the obstacles. In practice, it is more suited for large- to medium-range separations. We report especially about the Casimir energy of a fluctuating massless scalar field between two spheres or a sphere and a plate under Dirichlet and Neumann boundary conditions. But the formalism can easily be extended to any number of spheres and/or planes in three or arbitrary dimensions, with a variety of boundary conditions or non-overlapping potentials/non-ideal reflectors.
description: 14 pages, 2 figures, plenary talk at QFEXT07, Leipzig, September 2007, some typos corrected
Evidence of a nonequilibrium distribution of quasiparticles in the microwave response of a superconducting aluminium resonator
Creators: name: de Visser, P. J.
name: Goldie, D. J.
name: Diener, P.
name: Withington, S.
name: Baselmans, J. J. A.
name: Klapwijk, T. M.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Superconductivity (cond-mat.supr-con)
subject: FOS: Physical sciences

description: In a superconductor absorption of photons with an energy below the superconducting gap leads to redistribution of quasiparticles over energy and thus induces a strong non-equilibrium quasiparticle energy distribution. We have measured the electrodynamic response, quality factor and resonant frequency, of a superconducting aluminium microwave resonator as a function of microwave power and temperature. Below 200 mK, both the quality factor and resonant frequency decrease with increasing microwave power, consistent with the creation of excess quasiparticles due to microwave absorption. Counterintuitively, above 200 mK, the quality factor and resonant frequency increase with increasing power. We demonstrate that the effect can only be understood by a non-thermal quasiparticle distribution.
Light Absorption Properties of the High Quality Linear Alkylbenzene for the JUNO Experiment
Creators: name: Cao, De-Wen
name: Zhang, Rui
name: Liu, You-Hang
name: Loh, Chang-Wei
name: Wang, Wei
name: Qian, Zhi-Qiang
name: Yang, Yu-Zhen
name: Peng, Xing
name: Zhang, Yong-feng
name: Huang, Ai-Zhong
name: Qi, Ming
Publisher: name: arXiv
Year: 2018
Subjects: subject: Instrumentation and Detectors (physics.ins-det)
subject: High Energy Physics - Experiment (hep-ex)
subject: FOS: Physical sciences

description: The Jiangmen Underground Neutrino Observatory (JUNO), a 20 kton multi-purpose underground liquid scintillator detector designed to determine the neutrino mass hierarchy, and measure the neutrino oscillation parameters. The excellent energy resolution and the large fiducial volume anticipated for the JUNO detector offer exciting opportunities for addressing many important topics in neutrino and astro-particle physics. Linear alkylbenzene (LAB) will be used as the solvent for the liquid scintillation system in the central detector of JUNO. The light attenuation lengths of LAB should be comparable to the diameter of the JUNO detector, hence very good optical transparency is required. However, the presence of impurities in the LAB renders an intrinsic limit for the transparency. This work focuses on the study of the effects of organic impurities in the LAB, and their light absorption properties particularly in the wavelength region of 350 to 450 nm. we have prepared LAB samples and measured their light attenuation lengths. These samples were then analyzed by a gas chromatography mass spectrometry, and the structure formulas of organic impurities were ascertained. These impurities' light absorption properties in the wavelength region of 350 to 550 nm were theoretically investigated with PCM TDDFT. The overall optical transparency of the LAB samples was studied, which would further help us in promoting the LAB preparation technique for the mass production thereof, thus improving the transparency of the high quality LAB samples in the near future.
title: ADCO, Cartulaire général de Cîteaux, dit de Jean de Cirey, (XVe siècle), tome VIII, Cart. 192 (11 H 77), 295 folios, f. 0143v
Creators: name: de la Côte d'Or, Archives départementales
name: Petot, Frédéric
name: Archives Départementales De La Côte-D'Or
name: Petot, Frédérique
name: Projet CBMA
name: CG21/F.PETOT/2012
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2020
Subjects: subject: Corpus Burgundiae Medii Aevi
subject: Chartes de la Bourgogne du Moyen Âge
subject: cartulaire
subject: LaMOP
subject: Laboratoire de Médiévistique Occidentale de Paris

description: Cartulaire général de Cîteaux, dit de Jean de Cirey, (XVe siècle), tome VIII, Archives départementales de la Côte-d'Or, Cart. 192 (11 H 77), 295 folios, f. 0143v, Numérisation en mode image.
description: Relation: http://www.cbma-project.eu/
description: Bibliographic citation: Cartulaire général de Cîteaux, dit de Jean de Cirey, (XVe siècle), tome VIII, Archives départementales de la Côte-d'Or, Cart. 192 (11 H 77), 295 folios, f. 0143v, in Projet CBMA - Corpus Burgundiae Medii Aevi [Ressource en ligne], https:// manuscrits.cbma-project.eu/
description: Provenance: abbaye de Cîteaux
description: Provenance: http://www.wikidata.org/entity/Q843261
description: Provenance: https://www.geonames.org/3024876
description: Provenance: http://www.idref.fr/030974844/id
description: Provenance: https://catalogue.bnf.fr/ark:/12148/cb12228351v
Modeling and Verification of Out-of-Order Microprocessors in UCLID
Creators: name: Shuvendu K Lahiri
name: Sanjit A. Seshia
name: Bryant, Randal E.
Publisher: name: Carnegie Mellon University
Year: 1990
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: In this paper, we describe the modeling and verification of out-of-order microprocessors with unbounded resources using an expressive, yet efficiently decidable, quantifier-free fragment of first order logic. This logic includes uninterpreted functions, equality, ordering, constrained lambda expressions, and counter arithmetic. UCLID is a tool for specifying and verifying systems expressed in this logic. The paper makes two main contributions. First, we show that the logic is expressive enough to model components found in most modern microprocessors, independent of their actual sizes. Second, we demonstrate UCLID’s verification capabilities, ranging from full automation for bounded property checking to a high degree of automation in proving restricted classes of invariants. These techniques, coupled with a counterexample generation facility, are useful in establishing correctness of processor designs. We demonstrate UCLID’s methods using a case study of a synthetic model of an out-of-order processor where all the invariants were proved automatically.
Active ideal sedimentation: Exact two-dimensional steady states
Creators: name: Hermann, Sophie
name: Schmidt, Matthias
Publisher: name: arXiv
Year: 2017
Subjects: subject: Soft Condensed Matter (cond-mat.soft)
subject: FOS: Physical sciences

description: We consider an ideal gas of active Brownian particles that undergo self-propelled motion and both translational and rotational diffusion under the influence of gravity. We solve analytically the corresponding Smoluchowski equation in two space dimensions for steady states. The resulting one-body density is given as a series, where each term is a product of an orientation-dependent Mathieu function and a height-dependent exponential. A lower hard wall is implemented as a no-flux boundary condition. Numerical evaluation of the suitably truncated analytical solution shows the formation of two different spatial regimes upon increasing Peclet number. These regimes differ in their mean particle orientation and in their variation of the orientation-averaged density with height.
description: 9 pages, 3 figures
Neutron Electric Dipole Moment on the Lattice
Creators: name: Yoon, Boram
name: Bhattacharya, Tanmoy
name: Gupta, Rajan
Publisher: name: arXiv
Year: 2017
Subjects: subject: High Energy Physics - Lattice (hep-lat)
subject: FOS: Physical sciences

description: For the neutron to have an electric dipole moment (EDM), the theory of nature must have T, or equivalently CP, violation. Neutron EDM is a very good probe of novel CP violation in beyond the standard model physics. To leverage the connection between measured neutron EDM and novel mechanism of CP violation, one requires the calculation of matrix elements for CP violating operators, for which lattice QCD provides a first principle method. In this paper, we review the status of recent lattice QCD calculations of the contributions of the QCD $Θ$-term, the quark EDM term, and the quark chromo-EDM term to the neutron EDM.
description: Plenary talk presented at the 35th International Symposium on Lattice Field Theory (Lattice 2017), Granada, Spain, June 2017. 15 pages, 10 figures
First-principles study of lithium-doped carbon clathrates under pressure
Creators: name: Rey, Nicolas
name: Munoz, Alfonso
name: Rodriguez-Hernandez, Placida
name: Miguel, Alfonso San
Publisher: name: arXiv
Year: 2007
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: We present a theoretical study on the behavior under pressure of the two hypothetical C$_{46}$ and Li$_8$C$_{46}$ type-I carbon clathrates in order to bring new informations concerning their synthesis. Using \textit{ab initio} calculations, we have explored the energetic and structural properties under pressure of these two carbon based cage-like materials. These low-density meta-stable phases show large negative pressure transitions compared to diamond which represent a serious obstacle for their synthesis. However, we evidence that a minimum energy barrier can be reached close to 40 GPa, suggesting that the synthesis of the Li-clathrate under extreme conditions of pressure and temperature may be possible. Electronic band structure with related density of states behavior under pressure as well as the dependence of the active Raman modes with pressure are also examined.
Additional file 1 of Prevalence, risk factors and psychological consequences of workplace violence among health workers in the Greater Accra region, Ghana: a cross-sectional study
Creators: name: Tawiah, Philip Apraku
name: Appiah-Brempong, Emmanuel
name: Okyere, Paul
name: Adu-Fosu, Geoffrey
name: Ashinyo, Mary Eyram
Publisher: name: figshare
Year: 2024
Subjects: subject: Medicine
subject: Cell Biology
subject: Biotechnology
subject: Biological Sciences not elsewhere classified
subject: Cancer
subject: Infectious Diseases
subject: FOS: Health sciences

description: Supplementary Material 1
Additive versus multiplicative parameters - applications in economics and finance
Creators: name: Jasiulewicz, Helena
name: Kordecki, Wojciech
Publisher: name: arXiv
Year: 2013
Subjects: subject: Statistical Finance (q-fin.ST)
subject: FOS: Economics and business

description: In this paper, we pay our attention to geometric parameters and their applications in economics and finance. We discuss the multiplicative models in which a geometric mean and a geometric standard deviation are more natural than arithmetic ones. We give two examples from Warsaw Stock Exchange in 1995--2009 and from a bid of 52-week treasury bills in 1992--2009 in Poland as an illustrative example. For distributions having applications in finance and insurance we give their multiplicative parameters as well as their estimations. We consider, among others, heavy-tailed distributions such as lognormal and Pareto distribution, applied to modelling of large losses.
The Monitor project: Rotation of low-mass stars in NGC 2362 -- testing the disc regulation paradigm at 5 Myr
Creators: name: Irwin, Jonathan
name: Hodgkin, Simon
name: Aigrain, Suzanne
name: Bouvier, Jerome
name: Hebb, Leslie
name: Irwin, Mike
name: Moraux, Estelle
Publisher: name: arXiv
Year: 2007
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: We report on the results of a time-series photometric survey of NGC 2362, carried out using the CTIO 4m Blanco telescope and Mosaic-II detector as part of the Monitor project. Rotation periods were derived for 271 candidate cluster members over the mass range 0.1
description: 13 pages, 17 figures, 1 table. Accepted for publication in MNRAS
On the origin of two X-class flares in active region NOAA 12673 - Shear flows and head-on collision of new and pre-existing flux
Creators: name: Verma, M.
Publisher: name: arXiv
Year: 2018
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: Flare-prolific active region NOAA 12673 produced consecutive X2.2 and X9.3 flares on 06/09/2017. To scrutinize the morphological, magnetic, and horizontal flow properties associated with these flares, a 7-hour time-series was used consisting of continuum images, line-of-sight/vector magnetograms, and 1600 Å UV images. These data were acquired with the SDO HMI and AIA. The white-light flare emission differed for both flares, while the X2.2 flare displayed localized, confined flare kernels, the X9.3 flare exhibited a two-ribbon structure. In contrast, the excess UV emission exhibited a similar structure for both flares, but with larger areal extent for the X9.3 flare. These two flares represented a scenario, where the first confined flare acted as precursor, setting up the stage for the more extended flare. Difference maps for continuum and magnetograms revealed locations of significant changes, i.e., penumbral decay and umbral strengthening. The curved magnetic polarity inversion line in the δ-spot was the fulcrum of most changes. Horizontal proper motions were computed using the DAVE4VM. Persistent flow features included (1) strong shear flows along the polarity inversion line, where the negative, parasitic polarity tried to bypass the majority, positive-polarity part of the δ-spot in the north, (2) a group of positive-polarity spots, which moved around the δ-spot in the south, moving away from the δ-spot with significant horizontal flow speeds, and (3) intense moat flows partially surrounding the penumbra of several sunspots, which became weaker in regions with penumbral decay. The enhanced flare activity has its origin in the head-on collision of newly emerging flux with an already existing regular, α-spot.
description: 7 pages, 6 Figures, Accepted to be published in Astronomy and Astrophysics
Modeling and Inference of Sequence-Structure Specificity
Creators: name: Hetunandan  Kamisetty
name: Bornika  Ghosh
name: Bailey-Kellog, Chris
name: Langmead, Christopher J.
Publisher: name: Carnegie Mellon University
Year: 2008
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: In order to evaluate protein sequences for simultaneous satisfaction of evolutionary and physical constraints, this paper develops a graphical model approach integrating sequence information from the evolutionary record of a protein family with structural information based on a molecular mechanics force field. Nodes in the graphical model represent choices for the backbone (native vs. non-native), amino acids (conservation analysis), and side-chain conformations (rotamer library). Edges capture dependence relationships, in both the sequence (correlated mutations) and the structure (direct physical interactions). The sequence and structure components of the model are complementary, in that the structure component may support choices that were not present in the sequence record due to bias and artifacts, while the sequence component may capture other constraints on protein viability, such as permitting an efficient folding pathway. Inferential procedures enable computation of the joint probability of a sequence-structure pair, thereby assessing the quality of the sequence with respect to both the protein family and the specificity of its energetic preference for the native structure against alternate backbone structures. In a case study of WW domains, we show that by using the joint model and evaluating specificity, we obtain better prediction of foldedness of designed proteins (AUC of 0.85) than either a sequence-only or a structure-only model, and gain insights into how, where, and why the sequence and structure components complement each other.