cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Diving Deep into Event Semantics
Creators: name: Liu, Zhengzhong
Publisher: name: Carnegie Mellon University
Year: 2025
Subjects: classificationCode: 460208
subject: Natural language processing
classificationCode: 46
subject: Information and computing sciences

description: Events, with their complex interconnected structures, are vital to semantic under standing in natural language. Extensive research has been conducted on analyzing them, primarily focusing on frame structures (examining semantic roles such as participants, time, and locations) and various forms of anaphora, such as event coreference, verb phrase ellipsis, event sequence prediction, event schema and script induction. The interconnected nature of events presents both challenges and opportunities. On one hand, predicting and analyzing event structures can be complex. For example, understanding events in a document can involve multiple structure prediction tasks (e.g., event mention detection, event coreference, arguments extraction). On the other hand, the interactions can be leveraged using structural constraints to improve predictions, or providing a lens to study the mechanisms of models. This thesis explores these challenges and opportunities in different data availability scenarios, developing methods including direct supervised training, crowdsourcing procedures, and incidental/indirect supervision. In the first part, we present empirical results on event semantics using expert annotated, task-specific datasets. We start by introducing methods studying individual structures, such as event mention prediction, pair-wise event coreference, and event sequencing. We then present approaches to solve problems involving multiple structures, using multi-step or joint learning methods, such as joint coreference and sequencing, slot filling and verb phrase ellipsis. Recognizing the high cost of scaling expert-annotated datasets, the second part of this thesis explores methods to increase data availability through crowdsourcing and indirect supervision signals. These approaches offer new insights into event semantics, revealing new semantic phenomena and offering a deeper understanding of how models process semantics. A key contribution in this area is our LLM360 language model project, which tracks and shares snapshots of the model at various stages during its training process. We demonstrate the project’s utility for interpretability analysis, using the complex anaphora task of Winograd schemas as a case study. This thesis presents methods for analyzing and understanding the complex nature of events. We observe that models trained on larger datasets can develop human interpretable structures, such as attention heads that capture correlations between events and states. These developments may indicate an emerging semantic understand ing, particularly in Large Language Models (LLMs). Looking ahead, our analysis with LLM360 opens new avenues for exploring how these models process semantics internally, paving the way for the development of more effective control algorithms and improved model architectures.
A Model-Theoretic Approach to Ordinal Analysis
Creators: name: Avigad, Jeremy
name: Sommer, Richard
Publisher: name: Carnegie Mellon University
Year: 1997
Subjects: subject: Philosophy
subject: FOS: Philosophy, ethics and religion

description: We describe a model-theoretic approach to ordinal analysis via the finite combinatorial notion of an a-large set of natural numbers. In contrast to syntactic approaches that use cut elimination, this approach involves constructing finite sets of numbers with combinatorial properties that, in nonstandard instances, give rise to models of the theory being analyzed. This method is applied to obtain ordinal analyses of a number of interesting subsystems of first- and second-order arithmetic.
Additional file 1 of Real-time machine learning model to predict short-term mortality in critically ill patients: development and international validation
Creators: name: Lim, Leerang
name: Gim, Ukdong
name: Cho, Kyungjae
name: Yoo, Dongjoon
name: Ryu, Ho Geol
name: Lee, Hyung-Chul
Publisher: name: figshare
Year: 2024
Subjects: Medicine
Biological Sciences not elsewhere classified
Information Systems not elsewhere classified
Cancer
Science Policy

description: Additional file 1. Table E1-7 and Figure E1-10.
Rearrangements of Open Magnetic Flux and Formation of Polar Coronal Holes in Cycle 24
Creators: name: Golubeva, E. M.
name: Mordvinov, A. V.
Publisher: name: arXiv
Year: 2017
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: A method of synoptic map assimilation has been developed to study global rearrangements of open magnetic flux and formation of polar coronal holes (PCHs) in the current cycle. The analysis reveals ensembles of coronal holes (ECHs) which appear within unipolar magnetic regions associated with decaying activity complexes (ACs). The cause-effect relations between them explain asynchronous PCH formation observed at the northern and southern hemispheres of the Sun. Thus, the decay of large ACs, that were observed in 2014, led to formation of an extensive ECH, which then became the south PCH in mid-2015. Intricate structure of magnetic fields in the northern polar zone has impeded the north PCH formation, despite the fact that the dominant polarity at the North Pole reversed two years earlier than at the South Pole. The north PCH formed only by mid-2016 as the result of gradual merger of high-latitudinal ECHs associated with several decaying ACs.
description: The manuscript has been accepted for publication in Solar Physics
Report on extended industrial contributions in R&D activities
Creators: name: I.FAST WP3 members
Publisher: name: Zenodo
Year: 2024

description: The fundamental goal of the Task 3 of WP3 of IFAST (WP3.3) is to identify how the accelerator science and technology community can improve the effectiveness of industry-research institution collaboration at early stages. In this deliverable report, the workplan of WP3.3 is described, together with the collection of feedback both from industrial partners and research institutions to the central issue addressed in this task.An effort has been made to guarantee a representative contact with the industrial sector involved on Accelerator Science and Technology. The analysis developed has been discussed in a second iteration with industry and research institutions and their feedback are compiled.The conclusions obtained provide a number of topics to address. None of them are simple, nor implementable at a short-range without a strong commitment of the whole community. Some of them may be controversial, since they can affect to the internal strategy of research institutions and may represent an effort difficult to accomplish without implementing specific plans that will demand funds and resources.

In this context, the ideas collected and discussed in this work with the industry and the research institutions may represent a valuable reference for incoming initiatives, both for specific developments and for wider roadmaps of the accelerator science and technology community
title: ADCO, Cartulaire de l'abbaye de Saint-Seine (XIIIe siècle), Cart. 165 (10 H 6, ms. 139), 354 pages, f. 0153
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/2009
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: LaMOP
subject: Laboratoire de Médiévistique Occidentale de Paris
subject: cartulaire

description: Cartulaire de l'abbaye de Saint-Seine (XIIIe siècle), Archives départementales de la Côte-d'Or, Cart. 165 (10 H 6, ms. 139), 354 pages, f. 0153, Numérisation en mode image.
description: Relation: http://www.cbma-project.eu/
description: Bibliographic citation: Cartulaire de l'abbaye de Saint-Seine (XIIIe siècle), Archives départementales de la Côte-d'Or, Cart. 165 (10 H 6, ms. 139), 354 pages, f. 0153, in Projet CBMA - Corpus Burgundiae Medii Aevi [Ressource en ligne], https:// manuscrits.cbma-project.eu/
description: Provenance: abbaye de Saint-Seine
description: Provenance: http://www.wikidata.org/entity/Q2820709
The M2-brane Solution of Heterotic M-theory with the Gauss-Bonnet R^2 terms
Creators: name: Kashima, Ken
Publisher: name: arXiv
Year: 2000
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We consider the effective action of M-theory compactified on a S^1/Z_2 orbifold with R^2 interaction in the Gauss-Bonnet combination. We derive equations of motion with source terms arising from the Gauss-Bonnet terms and find the M2-brane solution up to order κ^{2/3}. It receives a correction which depends on the orbifold coordinate in the same form as the gauge 5-brane solution.
description: 19 pages, 5 figures, Latex, some numerical errors corrected
Blazar da record: è il più distante mai visto
Creators: Redazione Media Inaf
Publisher: name: Media Inaf
Year: 2024

È un quasar antichissimo: per giungere fino a noi la sua luce ha impiegato 12.9 miliardi di anni. La sua esistenza implica la presenza di una popolazione numerosa ma nascosta di oggetti simili: quasar in grado di emettere potenti getti di particelle. Ne parliamo con una delle coautrici dello studio che riporta la scoperta su Nature Astronomy, l’astrofisica Silvia Belladitta del Max-Planck-Institut für Astronomie tedesco
Additional file 1 of Telephone triage and dispatch of ambulances to patients with suspected and verified acute stroke - a descriptive study
Creators: name: Jamtli, Bjørn
name: Hov, Maren Ranhoff
name: Jørgensen, Trine Møgster
name: Kramer-Johansen, Jo
name: Ihle-Hansen, Hege
name: Sandset, Else Charlotte
name: Kongsgård, Håvard Wahl
name: Hardeland, Camilla
Publisher: name: figshare
Year: 2024
Subjects: subject: Medicine
subject: Neuroscience
subject: Environmental Sciences not elsewhere classified
subject: Sociology
subject: FOS: Sociology
subject: Biological Sciences not elsewhere classified
subject: Science Policy
subject: Mental Health

description: Supplementary Material 1
A metastable dominated convergence theorem
Creators: name: Avigad, Jeremy
name: Dean, Edward T.
name: Rute, Jason
Publisher: name: Carnegie Mellon University
Year: 2012
Subjects: subject: Philosophy
subject: FOS: Philosophy, ethics and religion

description: The dominated convergence theorem implies that if (fn) is a sequence of functions on a probability space taking values in the interval [0, 1], and (fn) converges pointwise a.e., then (R fn) converges to the integral of the pointwise limit. Tao [26] has proved a quantitative version of this theorem: given a uniform bound on the rates of metastable convergence in the hypothesis, there is a bound on the rate of metastable convergence in the conclusion that is independent of the sequence (fn) and the underlying space. We prove a slight strengthening of Tao’s theorem which, moreover, provides an explicit description of the second bound in terms of the first. Specifically, we show that when the first bound is given by a continuous functional, the bound in the conclusion can be computed by a recursion along the tree of unsecured sequences. We also establish a quantitative version of Egorov’s theorem, and introduce a new mode of convergence related to these notions.
À rebours: la morte delle stelle svela la loro nascita
Creators: Redazione Sissa
Publisher: name: Media Inaf
Year: 2024

Partendo da supernove e raggi gamma, seguendo un approccio a ritroso nella storia di questi corpi celesti, un team di ricercatori della Sissa, dell’Infn, dell’Ifpu e dell’Inaf ha ottenuto un nuovo risultato che definisce la massa delle stelle appena formate. E questo anche nelle parti del cosmo finora irraggiungibili. La ricerca è stata pubblicata sulla rivista Universe
Antico buco nero dormiente catturato da Webb
Creators: Ufficio stampa Inaf
Publisher: name: Media Inaf
Year: 2024

È uno fra i più grandi buchi neri supermassicci non attivi mai osservati nell’universo primordiale, nonché il primo individuato durante l’epoca della reionizzazione. Gli scienziati ipotizzano che oggetti simili siano molto più comuni di quanto si pensi, ma essendo in stato dormiente emettono pochissima luce, il che li rende particolarmente difficili da individuare, persino con strumenti estremamente avanzati. La scoperta grazie alle rilevazioni di Jwst
Relativistic eikonal description of A(p,pN) reactions
Creators: name: Van Overmeire, B.
name: Cosyn, W.
name: Lava, P.
name: Ryckebusch, J.
Publisher: name: arXiv
Year: 2006
Subjects: subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: The authors present a relativistic and cross-section factorized framework for computing quasielastic A(p,pN) observables at intermediate and high energies. The model is based on the eikonal approximation and can accomodate both optical potentials and the Glauber method for dealing with the initial- and final-state interactions (IFSI). At lower nucleon energies, the optical-potential philosophy is preferred, whereas at higher energies the Glauber method is more natural. This versatility in dealing with the IFSI allows one to describe A(p,pN) reactions in a wide energy range. Most results presented here use optical potentials as this approach is argued to be the optimum choice for the kinematics of the experiments considered in the present paper. The properties of the IFSI factor, a function wherein the entire effect of the IFSI is contained, are studied in detail. The predictions of the presented framework are compared with two kinematically different experiments. First, differential cross sections for quasielastic proton scattering at 1 GeV off 12C, 16O, and 40Ca target nuclei are computed and compared to data from PNPI. Second, the formalism is applied to the analysis of a 4He(p,2p) experiment at 250 MeV. The optical-potential calculations are found to be in good agreement with the data from both experiments, showing the reliability of the adopted model in a wide energy range.
description: 34 pages, 14 figures, accepted for publication in Phys. Rev. C
title: 03_1016
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: Laboratoire de Médiévistique Occidentale de Paris
subject: LaMOP

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/
Definably simple stable groups with finitary groups of automorphisms
Creators: name: Karhumäki, Ulla
Publisher: name: arXiv
Year: 2018
Subjects: subject: Logic (math.LO)
subject: FOS: Mathematics

description: We prove that infinite definably simple locally finite groups of finite centraliser dimension are simple groups of Lie type over locally finite fields. Then, we identify conditions on automorphisms of a stable group that make it resemble the Frobenius maps, and allow us to classify definably simple stable groups in the specific case when they admit such automorphisms.
Still flat after all these years
Creators: name: Pierpaoli, Elena
name: Scott, Douglas
name: White, Martin
Publisher: name: arXiv
Year: 2000
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: The Universe could be spatially flat, positively curved or negatively curved. Each option has been popular at various times, partly affected by an understanding that models tend to evolve away from flatness. The curvature of the Universe is amenable to measurement, through tests such as the determination of the angles of sufficiently large triangles. The angle subtended by the characteristic scale on the Cosmic Microwave sky provides a direct test, which has now been realised through a combination of exquisite results from a number of CMB experiments. After a long and detailed investigation, with many false clues, it seems that the mystery of the curvature of the Universe is now solved. It's an open and shut case: the Universe is flat.
description: 7 pages, 2 figures, submitted to the Gravity Research Foundation Essay Competition for 2000
Quantum dynamics with non-Markovian fluctuating parameters
Creators: name: Goychuk, Igor
Publisher: name: arXiv
Year: 2003
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: A stochastic approach to the quantum dynamics randomly modulated in time by a discrete state non-Markovian noise, which possesses an arbitrary non-exponential distribution of the residence times, is developed. The formally exact expression for the Laplace-transformed quantum propagator averaged over the stationary realizations of such N-state non-Markovian noise is obtained. The theory possesses a wide range of applications. It includes some previous Markovian and non-Markovian theories as particular cases. In the context of stochastic theory of spectral line shape and relaxation, the developed approach presents a non-Markovian generalization of the Kubo-Anderson theory of sudden modulation. In particular, the exact analytical expression is derived for the spectral line shape of optical transitions described by a Kubo-oscillator with randomly modulated frequency which undergoes jump-like non-Markovian fluctuations in time.
The radiative corrections to double-Dalitz decays revisited
Creators: name: Kampf, Karol
name: Novotny, Jiri
name: Sanchez-Puertas, Pablo
Publisher: name: arXiv
Year: 2018
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: High Energy Physics - Experiment (hep-ex)
subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: In this study, we revisit and complete the full next-to-leading order corrections to pseudoscalar double-Dalitz decays within the soft-photon approximation. Comparing to the previous study, we find small differences, which are nevertheless relevant for extracting information about the pseudoscalar transition form factors. Concerning the latter, these processes could offer the opportunity to test them-for the first time-in their double-virtual regime
description: 22 pages, 9 figures; minor changes added (results unchanged). Matches the published version in PRD. Results in Mathematica notebooks added as ancillary files
A Machine-Checked Proof of the Odd Order Theorem
Creators: name: Gonthier, Georges
name: Asperti, Andrea
name: Avigad, Jeremy
name: Bertot, Yves
name: Cohen, Cyril
name: Francois  Garillot
name: Stephane  Le Roux
name: Mahboubi, Assia
name: O'Connor, Russell
name: Biha, Sidi Ould
name: Pasca, Ioana
name: Rideau, Laurence
name: Solovyev, Alexey
name: Tassi, Enrico
Publisher: name: Carnegie Mellon University
Year: 2013
Subjects: subject: Philosophy
subject: FOS: Philosophy, ethics and religion

description: Department of Philosophy technical report
Additional file 1 of Exploring homecare leaders’ risk perception and the link to resilience and adaptive capacity: a multiple case study
Creators: name: Idsøe-Jakobsen, Ingvild
name: Dombestein, Heidi
name: Wiig, Siri
Publisher: name: figshare
Year: 2024
Subjects: Medicine
Biotechnology
Science Policy
Mental Health

description: Interview guide - translated version (from Norwegian to English)
Colours associated to non simply-laced Lie algebras and exact S-matrices
Creators: name: Korff, Christian
Publisher: name: arXiv
Year: 2000
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: A new set of exact scattering matrices in 1+1 dimensions is proposed by solving the bootstrap equations. Extending earlier constructions of colour valued scattering matrices this new set has its colour structure associated to non simply-laced Lie algebras. This in particular leads to a coupling of different affine Toda models whose fusing structure has to be matched in a suitable manner. The definition of the new S-matrices is motivated by the semi-classical particle spectrum of the non simply-laced Homogeneous Sine-Gordon (HSG) models, which are integrable perturbations of WZNW cosets. In particular, the S-matrices of the simply-laced HSG models are recovered as a special case.
description: 10 pages, TCI LaTeX (revised version to be published in PLB, Title changed and 2nd paragraph in the introduction rewritten.)
Target mass corrections revisited
Creators: name: Steffens, F. M.
name: Melnitchouk, W.
Publisher: name: arXiv
Year: 2006
Subjects: subject: Nuclear Theory (nucl-th)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We propose a new implementation of target mass corrections to nucleon structure functions which, unlike existing treatments, has the correct kinematic threshold behavior at finite Q^2 in the x -> 1 limit. We illustrate the differences between the new approach and existing prescriptions by considering specific examples for the F_2 and F_L structure functions, and discuss the broader implications of our results, which call into question the notion of universal parton distribution at finite Q^2.
description: 11 pages, 5 figures
title: ADCO, Grènetier de Cîteaux : comptes (1499-1503) (11 H 1173), f. 00275
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
name: Petot, Frédéric
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2020
Subjects: subject: comptes
subject: Corpus Burgundiae Medii Aevi
subject: Chartes de la Bourgogne du Moyen Âge
subject: LaMOP
subject: Laboratoire de Médiévistique Occidentale de Paris

description: Grènetier de Cîteaux : comptes (1499-1503), Archives départementales de la Côte-d'Or, (11 H 1173). Numérisation en mode image.
description: Relation: http://www.cbma-project.eu/
description: Bibliographic citation: Grènetier de Cîteaux : comptes (1499-1503), Archives départementales de la Côte-d'Or, (11 H 1173), f. 00275, 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
A Language for Mathematical Knowledge Management
Creators: name: Kieffer, Steven
name: Avigad, Jeremy
name: Friedman, Harvey
Publisher: name: Carnegie Mellon University
Year: 2008
Subjects: subject: Philosophy
subject: FOS: Philosophy, ethics and religion

description: We argue that the language of Zermelo Fraenkel set theory with definitions and partial functions provides the most promising bedrock semantics for communicating and sharing mathematical knowledge. We then describe a syntactic sugaring of that language that provides a way of writing remarkably readable assertions without straying far from the set-theoretic semantics. We illustrate with some examples of formalized textbook definitions from elementary set theory and point-set topology. We also present statistics concerning the complexity of these definitions, under various complexity measures.
title: Άκαμπτο κόστος - Ασύμμετρη συμπεριφορά
title: Sticky cost
titleType: AlternativeTitle
Creators: name: Γαζέτας, Παύλος
Publisher: name: Πανεπιστήμιο Πειραιώς
Year: 2020
Subjects: subject: Sticky cost

description: Η λογιστική βιβλιογραφία αποδίδει ευρήματα μιας ασύμμετρης απόκρισης κόστους στην οικονομική δραστηριότητα, ως αποτέλεσμα βραχυπρόθεσμων διαχειριστικών επιλογών. (Anderson, Banker και Janaki Raman 2003, ABJ). Στο βιβλίο των ABJ “Are Selling, General and Administrative Costs ‘Sticky’?” φαίνεται ότι το κόστος μειώνεται λιγότερο όταν τα επίπεδα δραστηριότητας μειώνονται από ότι αυξάνεται όταν αυξάνονται τα επίπεδα δραστηριότητας το οποία αναφέρονται ως "άκαμπτη" συμπεριφορά των δαπανών. Υποστηρίζεται επίσης ότι η συμπεριφορά αυτή καθοδηγείται σε μεγάλο βαθμό από την υπευθυνότητα των μάνατζερ, ερμηνεύοντας αυτή τη διαφορά ως αποτέλεσμα των εσκεμμένων βραχυχρόνιων διαχειριστικών ενεργειών. Ο σκοπός της εργασίας είναι να δείξει τη σημαντικότητα του άκαμπτου κόστους, να μελετήσει μεθόδους ανάλυσης του και να προβάλει τη σχέση κέρδους-κόστους-προβλέψεων μέσα από μια άλλη οπτική. Απώτερος στόχος είναι η δημιουργία ενός μοντέλου ανάλυσης και απλοποίησης ώστε οι μάνατζερ να παίρνουν αποφάσεις πιο γρήγορα και πιο αποτελεσματικά.
A Heuristic Prover for Real Inequalities
Creators: name: Avigad, Jeremy
name: Lewis, Robert Y.
name: Roux, Cody
Publisher: name: Carnegie Mellon University
Year: 2014
Subjects: subject: Philosophy
subject: FOS: Philosophy, ethics and religion

description: We describe a general method for verifying inequalities between real-valued expressions, especially the kinds of straightforward inferences that arise in interactive theorem proving. In contrast to approaches that aim to be complete with respect to a particular language or class of formulas, our method establishes claims that require heterogeneous forms of reasoning, relying on a Nelson-Oppen-style architecture in which special-purpose modules collaborate and share information. The framework is thus modular and extensible. A prototype implementation shows that the method is promising, complementing techniques that are used by contemporary interactive provers.
title: Επεξεργασία και ανάλυση ηλεκτροεγκεφαλογραφικών σημάτων για την αναγνώριση συγκέντρωσης του υποκειμένου
title: Processing and analysis of signals of electroegephalography to recognize the subject's attention
titleType: AlternativeTitle
Creators: name: Γρηγοράκου, Ευτυχία
Publisher: name: Πανεπιστήμιο Δυτικής Αττικής
Year: 2021
Subjects: Ηλεκτροεγκεφαλογραφία (ΗΕΓ)
Αναγνώριση συγκέντρωσης
Ρυθμός άλφα
Αναγνώριση προτύπων

description: Τα τελευταία χρόνια, η τεχνική της Ηλεκτροεγκεφαλογραφίας (ΗΕΓ) χρησιμοποιείται ολοένα και περισσότερο σε συνδυασμό με υπολογιστικά εργαλεία της Μηχανικής Μάθησης, με σκοπό την αποκωδικοποίηση και την κατανόηση των εγκεφαλογραφικών σημάτων. Σε αυτό το πλαίσιο, η παρούσα διπλωματική εργασία αποσκοπεί στη δημιουργία ενός αλγορίθμου ο οποίος θα χρησιμοποιεί ηλεκτροεγκεφαλογραφικά σήματα ανθρώπων, ώστε να αναγνωρίζει την ύπαρξη πνευματικής συγκέντρωσης σε αυτούς. Για τη δημιουργία ενός τέτοιου συστήματος χρησιμοποιήθηκαν ΗΕΓ σήματα που προέρχονται από μία βάση δεδομένων ανοιχτής πρόσβασης. Τα σήματα αυτά υπέστησαν ψηφιακή επεξεργασία, ώστε να αποκτήσουν την κατάλληλη μορφή για να αποτελέσουν είσοδο στο Σύστημα Αναγνώρισης Προτύπων, που δημιουργήθηκε στα πλαίσια της παρούσας διπλωματικής εργασίας. Το Σύστημα αυτό αναλύει τα εγκεφαλογραφικά σήματα, μέσω των τεχνικών της εξαγωγής και έπειτα επιλογής χαρακτηριστικών, ώστε τελικά να τα ταξινομήσει σε κλάσεις ανάλογα με την ύπαρξη ή μη συγκέντρωσης στους εθελοντές κατά τη διάρκεια της καταγραφής. Ως εκ τούτου, προκύπτουν δύο κλάσεις. Στην πρώτη ανήκουν τα σήματα που προέρχονται από εθελοντές που βρίσκονται σε κατάσταση πνευματικής συγκέντρωσης, και στη δεύτερη ανήκουν τα σήματα που προέρχονται από εθελοντές που βρίσκονται σε κατάσταση απουσίας συγκέντρωσης - χαλάρωσης. Το αποτέλεσμα του λογισμικού συστήματος αποδεικνύει ότι είναι εφικτός ο επιτυχής διαχωρισμός και η κατηγοριοποίηση σημάτων ηλεκτροεγκεφαλογραφίας ανάλογα με την ύπαρξη ή μη συγκέντρωσης στα υποκείμενα των καταγραφών.
Transmission properties of a single metallic slit: From the subwavelength regime to the geometrical-optics limit
Creators: name: Bravo-Abad, J.
name: Martin-Moreno, L.
name: Garcia-Vidal, F. J.
Publisher: name: arXiv
Year: 2003
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: In this work we explore the transmission properties of a single slit in a metallic screen. We analyze the dependence of these properties on both slit width and angle of incident radiation. We study in detail the crossover between the subwavelength regime and the geometrical-optics limit. In the subwavelength regime, resonant transmission linked to the excitation of waveguide resonances is analyzed. Linewidth of these resonances and their associated electric field intensities are controlled by just the width of the slit. More complex transmission spectra appear when the wavelength of light is comparable to the slit width. Rapid oscillations associated to the emergence of different propagating modes inside the slit are the main features appearing in this regime.
description: Accepted for publication in Phys. Rev. E
A Geo-logical Solution to the Lottery Paradox, with Applications to Nonmonotonic Logic
Creators: name: Kelly, Kevin T.
name: Hanti  Lin
Publisher: name: Carnegie Mellon University
Year: 2011
Subjects: subject: Philosophy
subject: FOS: Philosophy, ethics and religion

description: We defend a set of acceptance rules that avoids the lottery paradox, that is closed under classical entailment, and that accepts uncertain propositions without ad hoc restrictions. We show that the rules we recommend provide a semantics that validates exactly Adams’ conditional logic and are exactly the rules that preserve a natural, logical structure over probabilistic credal states that we call probalogic. To motivate probalogic, we first expand classical logic to geologic, which fills the entire unit cube, and then we project the upper surfaces of the geological cube onto the plane of probabilistic credal states by means of standard, linear perspective, which may be interpreted as an extension of the classical condition of indifference. Finally, we apply the geometrical/logical methods developed in the paper to prove a series of trivialization theorems against question-invariance as a constraint on acceptance rules and against rational monotonicity as an axiom of conditional logic in situations of uncertainty.
Study of Resonant Structures in a Deformed Mean-Field by the Contour Deformation Method in Momentum Space
Creators: name: Hagen, G.
name: Vaagen, J. S.
Publisher: name: arXiv
Year: 2006
Subjects: subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: Solution of the momentum space Schrödinger equation in the case of deformed fields is being addressed. In particular it is shown that a complete set of single particle states which includes bound, resonant and complex continuum states may be obtained by the Contour Deformation Method. This generalized basis in the complex energy plane is known as a Berggren basis. The momentum space Schrödinger equation is an integral equation which is easily solved by matrix diagonalization routines even for the case of deformed fields. The method is demonstrated for axial symmetry and a fictitious "deformed $^5$He", but may be extended to more general deformation and applied to truly deformed halo nuclei.
description: 13 pages, 7 figures, accepted for publication in PRC
Il bell’addormentato nel cosmo
Creators: Danilo Cilluffo
Publisher: name: Media Inaf
Year: 2024

Un buco nero gigantesco, risalente a soli 800 milioni di anni dopo il Big Bang, è stato individuato mentre “dorme” dopo un periodo di crescita vorace. Questa scoperta, che mette in discussione le attuali teorie sull'evoluzione dei buchi neri, apre nuovi interrogativi sull'universo primordiale. Ne parliamo con Rosa Valiante, ricercatrice Inaf e coautrice di uno studio pubblicato oggi su Nature
Numerical Simulations of Convective Accretion Flows in Three Dimensions
Creators: name: Igumenshchev, Igor V.
name: Abramowicz, Marek A.
name: Narayan, Ramesh
Publisher: name: arXiv
Year: 2000
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: Advection-dominated accretion flows (ADAFs) are known to be convectively unstable for low values of the viscosity parameter alpha. Two-dimensional axisymmetric hydrodynamic simulations of such flows reveal a radial density profile which is significantly flatter than the rho~r^{-3/2} expected for a canonical ADAF. The modified density profile is the result of inward transport of angular momentum by axisymmetric convective eddies. We present three-dimensional hydrodynamic simulations of convective ADAFs which are free of the assumption of axisymmetry. We find that the results are qualitatively and quantitatively similar to those obtained with two-dimensional simulations. In particular, the convective eddies are nearly axisymmetric and transport angular momentum inward.
description: 12 pages, 5 figures, submitted to ApJ
Uncertainty of the astrophysical $^{17,18}$O($α$,n)$^{20,21}$Ne reaction rates and the applicability of the statistical model for nuclei with $A \lesssim 20$
Creators: name: Mohr, Peter
Publisher: name: arXiv
Year: 2017
Subjects: subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: Background: The ($α$,n) and ($α$,$γ$) reactions on $^{17,18}$O have significant impact on the neutron balance in the astrophysical $s$-process. In this scenario stellar reaction rates are required for relatively low temperatures below $T_9 \lesssim 1$. Purpose: The uncertainties of the $^{17,18}$O($α$,n)$^{20,21}$Ne reactions are investigated. Statistical model calculations are performed to study the applicability of this model for relatively light nuclei in extension to a recent review for the $20 \le A \le 50$ mass range. Method: The available experimental data for the $^{17,18}$O($α$,n)$^{20,21}$Ne reactions are compared to statistical model calculations. Additionally, the reverse $^{20}$Ne(n,$α$)$^{17}$O reaction is investigated, and similar studies for the $^{17}$F mirror nucleus are provided. Results: It is found that on average the available experimental data for $^{17}$O and $^{18}$O are well described within the statistical model, resulting in reliable reaction rates above $T_9 \gtrsim 1.5$ from these calculations. However, significant experimental uncertainties are identified for the $^{17}$O($α$,n$_0$)$^{20}$Ne(g.s.) channel. Conclusions: The statistical model is able to predict astrophysical reaction rates for temperatures above 1 GK with uncertainties of less than a factor of two for the nuclei under study. An experimental discrepancy for the $^{17}$O($α$,n)$^{20}$Ne reaction needs to be resolved.
description: 10 pages, 9 figures, Phys. Rev. C, accepted for publication
Additional file 1 of A mixed method study on the impact of COVID-19 on mental healthcare in Ghana: rethinking mental health service delivery
Creators: name: Zobi, Michael
name: Abrokwa, Seth Kofi
name: Dordoye, Eugene
name: Phuti, Angel
Publisher: name: figshare
Year: 2024
Subjects: subject: Medicine
subject: Sociology
subject: FOS: Sociology
subject: Biological Sciences not elsewhere classified
subject: Science Policy
subject: Mental Health

description: Supplementary Material 1
Additional file 1 of SpRY greatly expands the genome editing scope in rice with highly flexible PAM recognition
Creators: name: Xu, Ziyan
name: Kuang, Yongjie
name: Ren, Bin
name: Yan, Daqi
name: Yan, Fang
name: Spetz, Carl
name: Sun, Wenxian
name: Wang, Guirong
name: Zhou, Xueping
name: Zhou, Huanbin
Publisher: name: figshare
Year: 2021
Subjects: subject: Genetics
subject: FOS: Biological sciences

description: Additional file 1. Supplemental figures 1-18 and Supplementary Tables 1-3.
A Game-Theoretic Approach to Peer Disagreement
Creators: name: Heesen, Remco
name: Kolk, Pieter Van Der
Publisher: name: Carnegie Mellon University
Year: 2016
Subjects: subject: Philosophy
subject: FOS: Philosophy, ethics and religion

description: In this paper we propose and analyze a game-theoretic model of the epistemology of peer disagreement. In this model, the peers' rationality is evaluated in terms of their probability of ending the disagreement with a true belief. We find that different strategies—in particular, one based on the Steadfast View and one based on the Conciliatory View—are rational depending on the truth-sensitivity of the individuals involved in the disagreement. Interestingly, the Steadfast and the Conciliatory Views can even be rational simultaneously in some circumstances. We tentatively provide some reasons to favor the Conciliatory View in such cases. We argue that the game-theoretic perspective is a fruitful one in this debate, and this fruitfulness has not been exhausted by the present paper.
The Price of Shifting the Hubble Constant
Creators: name: Evslin, Jarah
name: Sen, Anjan A
name: Ruchika
Publisher: name: arXiv
Year: 2017
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: An anisotropic measurement of the baryon acoustic oscillation (BAO) feature fixes the product of the Hubble constant and the acoustic scale $H_0 r_d$. Therefore, regardless of the dark energy dynamics, to accommodate a higher value of $H_0$ one needs a lower $r_d$ and so necessarily a modification of early time cosmology. One must either reduce the age of the Universe at the drag epoch or else the speed of sound in the primordial plasma. The first can be achieved, for example, with dark radiation or very early dark energy, automatically preserving the angular size of the acoustic scale in the Cosmic Microwave Background (CMB) with no modifications to post-recombination dark energy. However it is known that the simplest such modifications fall afoul of CMB constraints at higher multipoles. As an example, we combine anisotropic BAO with geometric measurements from strong lensing time delays from H0LiCOW and megamasers from the Megamaser Cosmology Project to measure $r_d$, with and without the local distance ladder measurement of $H_0$. We find that the best fit value of $r_d$ is indeed quite insensitive to the dark energy model, and is also hardly affected by the inclusion of the local distance ladder data.
description: 33 pages, 25 PDF figures
Intelligenza artificiale che legge tra le righe
Creators: Rossella Spiga
Publisher: name: Media Inaf
Year: 2024

Si chiama M-Topnet ed è un nuovo modello di rete neurale progettato per stimare dagli spettri delle galassie quantità fondamentali come redshift, massa stellare e tasso di formazione stellare. Oltre a estrarre le grandezze richieste, M-Topnet riesce ad associare un certo grado d’incertezza alle sue previsioni e a lavorare in modo multi-tasking. Abbiamo intervistato il primo autore dello studio pubblicato su A&A, Michele Ginolfi dell’Università di Firenze
A Formally Verified Proof of the Prime Number Theorem
Creators: name: Avigad, Jeremy
name: Donnelly, Kevin
name: Gray, David
name: Raff, Paul
Publisher: name: Carnegie Mellon University
Year: 2007
Subjects: subject: Philosophy
subject: FOS: Philosophy, ethics and religion

description: The prime number theorem, established by Hadamard and de la Vallée Poussin independently in 1896, asserts that the density of primes in the positive integers is asymptotic to 1/ln x. Whereas their proofs made serious use of the methods of complex analysis, elementary proofs were provided by Selberg and Erdos in 1948. We describe a formally verified version of Selberg's proof, obtained using the Isabelle proof assistant.
Sorvegliati spaziali, anche quest’anno su Rai Gulp
Creators: Redazione Media Inaf
Publisher: name: Media Inaf
Year: 2024

Nuova stagione per il programma tv “Meteo Spazio” in collaborazione con Inaf Sorvegliati spaziali: scienza e divertimento ancora insieme su Rai Gulp, in un programma per ragazzi (e non solo). Conducono Riccardo Cresci e Linda Raimondo. Consulenza scientifica, videopillole e aggiornamenti sull’attività solare di Daria Guidetti, Paolo Romano e Lidia Contarino dell’Istituto nazionale di astrofisica
Extraction of product flexibility design principles from patent literature and their application in the design process
Creators: name: Schaefer, Timothy Wayne
Publisher: name: The University of Texas at Austin
Year: 2004
Subjects: Product flexibility
Design principles
Patent literature

description: This thesis focuses on methods for analyzing patent literature and extracting product flexibility design principles from products that have either been specifically designed for flexibility or that have been subjected to modifications required to meet changing customer needs while retaining their original form and functionality. The product flexibility design principles are then focused on individually, detailing how each may be applied to an original design to increase the design’s flexibility, allowing for a minimal amount of time and resources to be spent on product redesign. An original product is then used to demonstrate how the product flexibility design principles may be applied in the early stages of development. The original product is first shown in its original form. Each design principle is then considered in relation to every component to determine if the principle can be applied in order to increase the flexibility of the product overall. After considering all possible modifications, the appropriate design principles are applied to the product. Finally, the product is shown in its most flexible configuration
The stability of vacua in two-dimensional gauge theory
Creators: name: Kac, Victor
name: Troost, Jan
Publisher: name: arXiv
Year: 2000
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We discuss the stability of vacua in two-dimensional gauge theory for any simple, simply connected gauge group. Making use of the representation of a vacuum in terms of a Wilson line at infinity, we determine which vacua are stable against pair production of heavy matter in the adjoint of the gauge group. By calculating correlators of Wilson loops, we reduce the problem to a problem in representation theory of Lie groups, that we solve in full generality.
description: 12 pages, 1 figure
Stella binaria attorno al buco nero centrale
Creators: Redazione Eso
Publisher: name: Media Inaf
Year: 2024

Le stelle binarie, coppie di stelle in orbita l'una attorno all'altra, sono molto comuni nell'universo, ma queste ora individuate grazie al Vlt dell’Eso sono le prima mai trovate vicino a un buco nero supermassiccio – in questo caso,  Sagittarius A*, nel cuore della nostra galassia – dove l'intensa gravità può rendere instabile il sistema stellare
A Formal System for Euclid's Elements
Creators: name: Avigad, Jeremy
name: Dean, Edward
name: Mumma, John
Publisher: name: Carnegie Mellon University
Year: 2009
Subjects: subject: Philosophy
subject: FOS: Philosophy, ethics and religion

description: We present a formal system, E, which provides a faithful model of the proofs in Euclid's Elements, including the use of diagrammatic reasoning.
The Nuclear Central Force in the Chiral Limit
Creators: name: Donoghue, John F.
Publisher: name: arXiv
Year: 2006
Subjects: subject: Nuclear Theory (nucl-th)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: Chiral perturbation theory supplemented by the Omnes function is employed to study the strength of the isoscalar central nuclear interaction, G_S, in the chiral limit vs the physical case. A very large modification is seen, i.e. eta_s = G_S ~ chiral /G_S ~ physical = 1.37 +- 0.10 . This large effect is seen to arise dominantly at low energy from the extra contributions made by massless pions at energies near the physical threshold where the physical spectral function must vanish kinematically. The slope away from the chiral limit, d_S, is also calculated and is correspondingly large. I also explain why this large variation is to be expected.
description: 32 pages, 9 figures, The normalization in Fig. 9 has been corrected
Additional file 1 of Risk of encephalitis and meningitis after COVID-19 vaccination in South Korea: a self-controlled case series analysis
Creators: name: Kim, Ju Hwan
name: Yoon, Dongwon
name: Ko, Hwa Yeon
name: Jung, Kyungyeon
name: Sunwoo, Jun-Sang
name: Shin, Won Chul
name: Byun, Jung-Ick
name: Shin, Ju-Young
Publisher: name: figshare
Year: 2024
Subjects: subject: Medicine
subject: Microbiology
subject: FOS: Biological sciences
subject: Genetics
subject: Neuroscience
subject: Physiology
subject: Biotechnology
subject: Sociology
subject: FOS: Sociology
subject: Immunology
subject: FOS: Clinical medicine
subject: Cancer
subject: Infectious Diseases
subject: FOS: Health sciences
subject: Virology
subject: Computational Biology

description: Additional file 1: Table S1. Diagnostic and procedure codes for encephalitis and meningitis in the national health insurance system database. Table S2. Subgroup analysis on the risk of encephalitis after COVID-19 vaccination according to the selected characteristics. Table S3. Sensitivity analysis on the risk of encephalitis after COVID-19 vaccination by varying the risk window lengths. Table S4. Sensitivity analysis on the risk of encephalitis after COVID-19 vaccination by varying the case definition.Table S5. Sensitivity analysis on the risk of encephalitis after COVID-19 vaccination in the modified study population. Table S6. Subgroup analysis on the risk of meningitis after COVID-19 vaccination according to the selected characteristics. Table S7.Sensitivity analysis on the risk of meningitis after COVID-19 vaccination by varying the risk window lengths. Table S8. Sensitivity analysis on the risk of meningitis after COVID-19 vaccination by varying the case definition. Table S9. Sensitivity analysis on the risk of meningitis after COVID-19 vaccination in the modified study population.
Additional file 4 of Integrated genomic and transcriptomic analysis reveals unique characteristics of hepatic metastases and pro-metastatic role of complement C1q in pancreatic ductal adenocarcinoma
Creators: name: Yang, Jianyu
name: Lin, Ping
name: Yang, Minwei
name: Liu, Wei
name: Fu, Xueliang
name: Liu, Dejun
name: Tao, Lingye
name: Huo, Yanmiao
name: Zhang, Junfeng
name: Hua, Rong
name: Zhang, Zhigang
name: Li, Yixue
name: Wang, Liwei
name: Xue, Jing
name: Li, Hong
name: Sun, Yongwei
Publisher: name: figshare
Year: 2021
Subjects: subject: Biochemistry
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Chemical Sciences not elsewhere classified
subject: Biological Sciences not elsewhere classified
subject: Information Systems not elsewhere classified
subject: Cancer

description: Additional file 4. Review history.