cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Il campo magnetico del Sole balla il twist
Creators: Giuseppe Fiasconaro
Publisher: name: Media Inaf
Year: 2021

Un gruppo di ricercatori guidati dall'Università di Glasgow è riuscito a ottenere nuove informazioni sul meccanismo di formazione delle regioni solari attive, aree di elevata concentrazione dei campi magnetici e possibili sedi di eruzioni solari. Nel team che ha condotto lo studio, i cui risultati sono stati presentati oggi al National Astronomy Meeting della Royal Astronomical Society, ci sono anche Salvatore Guglielmino e Paolo Romano dell’Inaf di Catania
Die Zeitstellung des Fürstengrabes von Hatten im Elsaß
Creators: name: Frey, Otto-Herman
Publisher: name: Germania : Anzeiger der Römisch-Germanischen Kommission des Deutschen Archäologischen Instituts
Year: 2018

description: -
description: Germania : Anzeiger der Römisch-Germanischen Kommission des Deutschen Archäologischen Instituts, Bd. 35, Nr. 3/4 (1957)
Modular, Fully-abstract Compilation by Approximate Back-translation
Creators: name: Devriese, Dominique
name: Patrignani, Marco
name: Piessens, Frank
name: Keuchel, Steven
Publisher: name: arXiv
Year: 2017
Subjects: subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences

description: A compiler is fully-abstract if the compilation from source language programs to target language programs reflects and preserves behavioural equivalence. Such compilers have important security benefits, as they limit the power of an attacker interacting with the program in the target language to that of an attacker interacting with the program in the source language. Proving compiler full-abstraction is, however, rather complicated. A common proof technique is based on the back-translation of target-level program contexts to behaviourally-equivalent source-level contexts. However, constructing such a back- translation is problematic when the source language is not strong enough to embed an encoding of the target language. For instance, when compiling from STLC to ULC, the lack of recursive types in the former prevents such a back-translation. We propose a general and elegant solution for this problem. The key insight is that it suffices to construct an approximate back-translation. The approximation is only accurate up to a certain number of steps and conservative beyond that, in the sense that the context generated by the back-translation may diverge when the original would not, but not vice versa. Based on this insight, we describe a general technique for proving compiler full-abstraction and demonstrate it on a compiler from STLC to ULC. The proof uses asymmetric cross-language logical relations and makes innovative use of step-indexing to express the relation between a context and its approximate back-translation. The proof extends easily to common compiler patterns such as modular compilation and it, to the best of our knowledge, it is the first compiler full abstraction proof to have been fully mechanised in Coq. We believe this proof technique can scale to challenging settings and enable simpler, more scalable proofs of compiler full-abstraction.
L’interno di Marte secondo InSight
Creators: Maura Sandri
Publisher: name: Media Inaf
Year: 2021

Sono usciti oggi su Science tre studi che forniscono indizi fondamentali sulla composizione e la struttura interna del Pianeta rosso. Basati sulle prime osservazioni sismiche dirette del lander InSight della Nasa, riportano i risultati preliminari della missione e forniscono, per la prima volta, la mappa dell’interno di un pianeta diverso dalla Terra
Zierelemente der salischen Reichskleinodien
Creators: name: Schulze-Dörrlamm, Mechthild
Publisher: name: Jahrbuch des Römisch-Germanischen Zentralmuseums Mainz
Year: 2018
Subjects: Hochmittelalter; Salierzeit; Mitteleuropa; Reichskleinodien; Schmuck; Datierung

description: [nicht vorhanden / not available]
description: Jahrbuch des Römisch-Germanischen Zentralmuseums Mainz, Bd. 45, Nr. 2 (1998)
A note on weakly discontinuous dynamical transitions
Creators: name: Franz, Silvio
name: Parisi, Giorgio
name: Ricci-Tersenghi, Federico
name: Rizzo, Tommaso
name: Urbani, Pierfrancesco
Publisher: name: arXiv
Year: 2012
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: We analyze Mode Coupling discontinuous transition in the limit of vanishing discontinuity, approaching the so called "$A_3$" point. In these conditions structural relaxation and fluctuations appear to have universal form independent from the details of the system. The analysis of this limiting case suggests new ways for looking at the Mode Coupling equations in the general case.
On noncommutative extensions of linear logic
Creators: name: Slavnov, Sergey
Publisher: name: arXiv
Year: 2017
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Logic (math.LO)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics

description: Pomset logic introduced by Retoré is an extension of linear logic with a self-dual noncommutative connective. The logic is defined by means of proof-nets, rather than a sequent calculus. Later a deep inference system BV was developed with an eye to capturing Pomset logic, but equivalence of system has not been proven up to now. As for a sequent calculus formulation, it has not been known for either of these logics, and there are convincing arguments that such a sequent calculus in the usual sense simply does not exist for them. In an on-going work on semantics we discovered a system similar to Pomset logic, where a noncommutative connective is no longer self-dual. Pomset logic appears as a degeneration, when the class of models is restricted. Motivated by these semantic considerations, we define in the current work a semicommutative multiplicative linear logic}, which is multiplicative linear logic extended with two nonisomorphic noncommutative connectives (not to be confused with very different Abrusci-Ruet noncommutative logic). We develop a syntax of proof-nets and show how this logic degenerates to Pomset logic. However, a more interesting problem than just finding yet another noncommutative logic is to find a sequent calculus for this logic. We introduce decorated sequents, which are sequents equipped with an extra structure of a binary relation of reachability on formulas. We define a decorated sequent calculus for semicommutative logic and prove that it is cut-free, sound and complete. This is adapted to "degenerate" variations, including Pomset logic. Thus, in particular, we give a variant of sequent calculus formulation for Pomset logic, which is one of the key results of the paper.
Wartesaal oder Faszinationsort? Zum Verhältnis realer und imaginärer Raumfigurationen am Beispiel Berlins nach 1989
Creators: name: Blamberger, Günter
Publisher: name: Literaturstraße. Chinesisch-deutsche Zeitschrift für Sprach- und Literaturwissenschaft
Year: 2018

description: -
description: Literaturstraße. Chinesisch-deutsche Zeitschrift für Sprach- und Literaturwissenschaft, Bd. 16 (2015)
Additional file 2 of Healthcare workers knowledge of cholera multi-stranded interventions and its determining factors in North-East Nigeria: planning and policy implications
Creators: name: Elimian, Kelly
name: King, Carina
name: Dewa, Ozius
name: Pembi, Emmanuel
name: Gandi, Benjamin
name: Yennan, Sebastian
name: Myles, Puja
name: Pritchard, Catherine
name: Forsberg, Birger Carl
name: Alfvén, Tobias
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Sociology
subject: FOS: Sociology
subject: Cancer
subject: Science Policy
subject: 110309 Infectious Diseases
subject: FOS: Health sciences

description: Additional file 2. STROBE Statement—checklist of items that should be included in reports of observational studies.
Additional file 2 of SPIOMET4HEALTH—efficacy, tolerability and safety of lifestyle intervention plus a fixed dose combination of spironolactone, pioglitazone and metformin (SPIOMET) for adolescent girls and young women with polycystic ovary syndrome: study protocol for a multicentre, randomised, double-blind, placebo-controlled, four-arm, parallel-group, phase II clinical trial
Creators: name: Garcia-Beltran, Cristina
name: Malpique, Rita
name: Andersen, Marianne S.
name: Bas, Firdevs
name: Bassols, Judit
name: Darendeliler, Feyza
name: Díaz, Marta
name: Dieris, Barbara
name: Fanelli, Flaminia
name: Fröhlich-Reiterer, Elke
name: Gambineri, Alessandra
name: Glintborg, Dorte
name: López-Bermejo, Abel
name: Mann, Christopher
name: Marin, Silvia
name: Obermayer-Pietsch, Barbara
name: Ødegård, Rønnaug
name: Ravn, Pernille
name: Reinehr, Thomas
name: Renzulli, Matteo
name: Salvador, Cristina
name: Singer, Viola
name: Vanky, Eszter
name: Torres, Juan Vicente
name: Yildiz, Melek
name: de Zegher, Francis
name: Ibáñez, Lourdes
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Physiology
subject: FOS: Biological sciences
subject: Pharmacology
subject: Biotechnology
subject: Chemical Sciences not elsewhere classified
subject: Science Policy
subject: Immunology
subject: FOS: Clinical medicine
subject: Mathematical Sciences not elsewhere classified
subject: Cancer
subject: Virology
subject: Computational Biology

description: Additional file 2. Ethical approval documents.
Mosaici da satellite per migliorare la vita
Creators: Valentina Guglielmo
Publisher: name: Media Inaf
Year: 2021

Pubblicato su Nature Communications un ambizioso progetto di democratizzazione della scienza: un sistema basato sull’apprendimento automatico per analizzare in modo semplice e autonomo i dati provenienti da satellite. Si tratta di un vero e proprio passepartout per studiare e risolvere problemi globali e locali, dal cambiamento climatico alle dinamiche sociali dei singoli paesi, alla povertà
Relational Graph Models at Work
Creators: name: Breuvart, Flavien
name: Manzonetto, Giulio
name: Ruoppolo, Domenico
Publisher: name: arXiv
Year: 2017
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: We study the relational graph models that constitute a natural subclass of relational models of lambda-calculus. We prove that among the lambda-theories induced by such models there exists a minimal one, and that the corresponding relational graph model is very natural and easy to construct. We then study relational graph models that are fully abstract, in the sense that they capture some observational equivalence between lambda-terms. We focus on the two main observational equivalences in the lambda-calculus, the theory H+ generated by taking as observables the beta-normal forms, and H* generated by considering as observables the head normal forms. On the one hand we introduce a notion of lambda-König model and prove that a relational graph model is fully abstract for H+ if and only if it is extensional and lambda-König. On the other hand we show that the dual notion of hyperimmune model, together with extensionality, captures the full abstraction for H*.
Q_l-cohomology projective planes and singular Enriques surfaces in characteristic two
Creators: name: Schütt, Matthias
Publisher: name: arXiv
Year: 2017
Subjects: subject: Algebraic Geometry (math.AG)
subject: Number Theory (math.NT)
subject: FOS: Mathematics
subject: 14J28, 14J27

description: We classify singular Enriques surfaces in characteristic two supporting a rank nine configuration of smooth rational curves. They come in one-dimensional families defined over the prime field, paralleling the situation in other characteristics, but featuring novel aspects. Contracting the given rational curves, one can derive algebraic surfaces with isolated ADE-singularities and trivial canonical bundle whose Q_l-cohomology equals that of a projective plane. Similar existence results are developed for classical Enriques surfaces. We also work out an application to integral models of Enriques surfaces (and K3 surfaces).
description: 24 pages; v3: journal version, correcting 20 root types to 19 and ruling out the remaining type 4A_2+A_1 (in new section 11)
Die Religion des Mithras
Creators: name: Dieterich, Albrecht
Publisher: name: Bonner Jahrbücher
Year: 2017

description: [nicht vorhanden / not available]
description: Bonner Jahrbücher, Bd. 108/109 (1902): Bonner Jahrbücher : Jahrbücher des Vereins von Altertumsfreunden im Rheinlande
Electronic structure and quantum criticality in Ba(Fe$_{1-x-y}$Co$_{x}$Mn$_{y}$)$_{2}$As$_{2}$, an ARPES study
Creators: name: Rienks, E. D. L.
name: Wolf, T.
name: Koepernik, K.
name: Avigo, I.
name: Hlawenka, P.
name: Lupulescu, C.
name: Arion, T.
name: Roth, F.
name: Eberhardt, W.
name: Bovensiepen, U.
name: Fink, J.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Superconductivity (cond-mat.supr-con)
subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: We used angle-resolved photoemission spectroscopy (ARPES) and density functional theory calculations to study the electronic structure of Ba(Fe1-x-yCoxMny)2As2 for x=0.06 and 0<=y <=0.07. From ARPES we derive that the substitution of Fe by Mn does not lead to hole doping, indicating a localization of the induced holes. An evaluation of the measured spectral function does not indicate a diverging effective mass or scattering rate near optimal doping. Thus the present ARPES results indicate a continuous evolution of the quasiparticle interaction and therefore question previous quantum critical scenarios.
description: Revised version 5 pages, 3 figures
A Central Limit Theorem for Vincular Permutation Patterns
Creators: name: Hofer, Lisa
Publisher: name: arXiv
Year: 2017
Subjects: subject: Combinatorics (math.CO)
subject: Probability (math.PR)
subject: FOS: Mathematics

description: We study the number of occurrences of any fixed vincular permutation pattern. We show that this statistics on uniform random permutations is asymptotically normal and describe the speed of convergence. To prove this central limit theorem, we use the method of dependency graphs. The main difficulty is then to estimate the variance of our statistics. We need a lower bound on the variance, for which we introduce a recursive technique based on the law of total variance.
description: only journal style changes, same content as in v3
Harald Mielsch, Die Verleumdung des Apelles. Ein frühhellenistisches Gemälde?
Creators: name: Shapiro, H. Alan
Publisher: name: Bonner Jahrbücher
Year: 2018

description: Rezension zu: Harald Mielsch, Die Verleumdung des Apelles. Ein frühhellenistisches Gemälde? Nordrhein-Westfälische Akademie der Wissenschaften und der Künste. Geisteswissenschaften, Vorträge, G 438. Editor Ferdinand Schöningh, Paderborn 2012. 44 pages, 23 illustrations in black and white, 5 figures in color.
description: Bonner Jahrbücher, Bd. 213.2013(2014): Bonner Jahrbücher
Esoluna in arrivo: ecco la prima “ecografia”
Creators: Redazione Eso
Publisher: name: Media Inaf
Year: 2021

Visto per la prima volta grazie ad Alma un disco che potrebbe dare origine a una o più lune intorno a un pianeta extrasolare. Si trova attorno alla stella Pds 70, a 400 anni luce da noi. Il disco ha circa lo stesso diametro della distanza tra Sole e Terra e una massa sufficiente per formare fino a tre satelliti delle dimensioni della Luna
Some observations on the logical foundations of inductive theorem proving
Creators: name: Hetzl, Stefan
name: Wong, Tin Lok
Publisher: name: arXiv
Year: 2017
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Logic (math.LO)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics

description: In this paper we study the logical foundations of automated inductive theorem proving. To that aim we first develop a theoretical model that is centered around the difficulty of finding induction axioms which are sufficient for proving a goal. Based on this model, we then analyze the following aspects: the choice of a proof shape, the choice of an induction rule and the language of the induction formula. In particular, using model-theoretic techniques, we clarify the relationship between notions of inductiveness that have been considered in the literature on automated inductive theorem proving. This is a corrected version of the paper arXiv:1704.01930v5 published originally on Nov.~16, 2017.
Additional file 4 of hUMSC transplantation restores follicle development in ovary damaged mice via re-establish extracellular matrix (ECM) components
Creators: name: Shuyuan, Yin
name: Meimei, Wang
name: Fenghua, Li
name: Huishan, Zhao
name: Min, Chu
name: Hongchu, Bao
name: Xuemei, Liu
Publisher: name: figshare
Year: 2023
Subjects: subject: Microbiology
subject: FOS: Biological sciences
subject: Genetics
subject: Molecular Biology
subject: Physiology
subject: Developmental Biology

description: Supplementary Material 4: The corpus luteum numbers in each group
Ss 433, una Ulx che gioca a nascondino
Creators: Giuseppe Fiasconaro
Publisher: name: Media Inaf
Year: 2021

Gli astronomi lo sospettavano da tempo, ma ora i dati raccolti dal telescopio spaziale a raggi X della Nasa Nustar e sofisticati modelli teorici lo confermano: l’oggetto Stephenson-Sanduleak 433, un sistema binario situato nella nostra galassia a circa 20mila anni luce dalla Terra, è una sorgente ultra-luminosa nei raggi X, la prima identificata nella nostra galassia. Ne parliamo con uno degli autori dello studio, Ciro Pinto, ricercatore all'Inaf di Palermo
Friederike Bubenheimer-Erhart, Das Isisgrab von Vulci. Eine Fundgruppe der Orientalisierenden Periode Etrurien
Creators: name: Biella, Maria Cristina
Publisher: name: Bonner Jahrbücher
Year: 2018

description: Rezension zu: Friederike Bubenheimer-Erhart, Das Isisgrab von Vulci. Eine Fundgruppe der Orientalisierenden Periode Etruriens. Casa editrice dell’Accademia Austriaca delle Scienze, Vienna 2012. 264 pagine con 60 figure, 46 tavole.
description: Bonner Jahrbücher, Bd. 213.2013(2014): Bonner Jahrbücher
Students’ Intention of Visiting Urban Green Spaces after the COVID-19 Lockdown in China
Creators: name: Liu, Jiayi
name: Peng, Zhikai
name: Cai, Xiaoxi
name: Peng, You
name: Li, Jiang
name: Feng, Tao
Publisher: name: Apollo - University of Cambridge Repository
Year: 2021
Subjects: COVID-19
theory of planned behavior
perceived knowledge
risk perception
structural equation modeling
urban green space

description: This study addresses students’ perceptions of using urban green spaces (UGSs) after the easing of COVID-19 lockdown in China. We questioned whether they are still mindful of the risks from the outdoor gathering, or conversely, starting to learn the restoration benefits from the green spaces. Online self-reported surveys were distributed to the Chinese students aging from 14 to 30 who study in Hunan and Jiangsu Provinces, China. We finally obtained 608 complete and valid questionnaire forms from all participants. Their intentions of visiting UGSs were investigated based on the extended theory of planned behavior model. Structural equation modeling was employed to test the hypothesized psychological model. The results have shown good estimation performance on risk perception and perceived knowledge to explain the variances in their attitudes, social norms, and perceived behavior control. Among these three endogenous variables, the perceived behavior control owns the greatest and positive influence on the behavioral intention, inferring that controllability is crucial for students to make decisions of visiting green spaces in a post-pandemic context.
Results on the primary CR spectrum and composition reconstructed with the SPHERE-2 detector
Creators: name: Antonov, R. A.
name: Beschapov, S. P.
name: Bonvech, E. A.
name: Chernov, D. V.
name: Dzhatdoev, T. A.
name: Finger, Mir.
name: Finger, Mix.
name: Galkin, V. I.
name: Kabanova, N. V.
name: Petkun, A. S.
name: Podgrudkov, D. A.
name: Roganova, T. M.
name: Shaulov, S. B.
name: Sysoeva, T. I.
Publisher: name: arXiv
Year: 2012
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: First preliminary results of the balloon-borne experiment SPHERE-2 on the all-nuclei primary cosmic rays (PCR) spectrum and primary composition are presented. The primary spectrum in the energy range $10^{16}$--$5\cdot10^{17}$ eV was reconstructed using characteristics of Vavilov-Cherenkov radiation of extensive air showers (EAS), reflected from a snow surface. Several sources of systematic uncertainties of the spectrum were analysed. A method for separation of the primary nuclei' groups based on the lateral distribution function' (LDF) steepness parameter is presented. Preliminary estimate of the mean light nuclei' fraction $f_{30-150}$ at energies $3\cdot10^{16}$--$1.5\cdot10^{17}$ eV was performed and yielded $f_{30-150}$= (21$\pm$11)%.
description: 4 pages, 2 figures, Proc. 23rd European Cosmic Ray Symposium, to appear in J. Phys. Conf. Ser
On the First-Order Complexity of Induced Subgraph Isomorphism
Creators: name: Verbitsky, Oleg
name: Zhukovskii, Maksim
Publisher: name: arXiv
Year: 2017
Subjects: subject: Computational Complexity (cs.CC)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: F.4.1

description: Given a graph $F$, let $I(F)$ be the class of graphs containing $F$ as an induced subgraph. Let $W[F]$ denote the minimum $k$ such that $I(F)$ is definable in $k$-variable first-order logic. The recognition problem of $I(F)$, known as Induced Subgraph Isomorphism (for the pattern graph $F$), is solvable in time $O(n^{W[F]})$. Motivated by this fact, we are interested in determining or estimating the value of $W[F]$. Using Olariu's characterization of paw-free graphs, we show that $I(K_3+e)$ is definable by a first-order sentence of quantifier depth 3, where $K_3+e$ denotes the paw graph. This provides an example of a graph $F$ with $W[F]$ strictly less than the number of vertices in $F$. On the other hand, we prove that $W[F]=4$ for all $F$ on 4 vertices except the paw graph and its complement. If $F$ is a graph on $t$ vertices, we prove a general lower bound $W[F]>(1/2-o(1))t$, where the function in the little-o notation approaches 0 as $t$ inreases. This bound holds true even for a related parameter $W^*[F]\le W[F]$, which is defined as the minimum $k$ such that $I(F)$ is definable in the infinitary logic $L^k_{\inftyω}$. We show that $W^*[F]$ can be strictly less than $W[F]$. Specifically, $W^*[P_4]=3$ for $P_4$ being the path graph on 4 vertices. Using the lower bound for $W[F]$, we also obtain a succintness result for existential monadic second-order logic: A usage of just one monadic quantifier sometimes reduces the first-order quantifier depth at a super-recursive rate.
title: Libertarismo
Creators: name: Nobre Faria, Filipe
Publisher: name: IFILNOVA, Faculdade de Ciências Sociais e Humanas, Universidade Nova de Lisboa
Year: 2019

description: O libertarismo é uma filosofia política que tem na liberdade individual o seu principal valor político e moral. Os partidários desta filosofia normalmente enfatizam a importância da liberdade de escolha e de associação, tal como a maximização da autonomia. Apesar de haver uma tradição libertária que vê na propriedade privada e no mercado livre obstáculos à liberdade individual, este artigo foca-se no libertarismo proprietário – uma versão particular da filosofia libertária que entende a propriedade privada como indispensável para a autonomia individual. Doravante, o termo libertarismo refere-se a esta versão.
description: Faria, F. N. “Libertarismo”. Dicionário de Filosofia Moral e Política (2019), 2.ª série, coord. António Marques e André Santos Campos. Lisboa: Instituto de Filosofia da Nova, URL: .
description: ISSN 2184-4445
Roberta Cascino, Helga di Giuseppe et Helen L. Patterson (éditeurs), Veii. The Historical Topography of the Ancient City. A Restudy of John Ward-Perkins’s Survey
Creators: name: Jolivet, Vincent
Publisher: name: Bonner Jahrbücher
Year: 2018

description: Roberta Cascino, Helga di Giuseppe et Helen L. Patterson (éditeurs), Veii. The Historical Topography of the Ancient City. A Restudy of John Ward-Perkins’s Survey. Archaeological Monographs of The British School at Rome, volume 19. Éditeur The British School at Rome, Londres 2012. XIII et 429 pages, 141 figures, 2 plans en couleur, 35 planches en blanc et noir.
description: Bonner Jahrbücher, Bd. 213.2013(2014): Bonner Jahrbücher
Additional file 3 of Healthcare workers knowledge of cholera multi-stranded interventions and its determining factors in North-East Nigeria: planning and policy implications
Creators: name: Elimian, Kelly
name: King, Carina
name: Dewa, Ozius
name: Pembi, Emmanuel
name: Gandi, Benjamin
name: Yennan, Sebastian
name: Myles, Puja
name: Pritchard, Catherine
name: Forsberg, Birger Carl
name: Alfvén, Tobias
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Sociology
subject: FOS: Sociology
subject: Cancer
subject: Science Policy
subject: 110309 Infectious Diseases
subject: FOS: Health sciences

description: Additional file 3. Association between healthcare workers’ characteristics and knowledge scores for cholera multisectoral interventions.
I segreti dei venti di Venere
Creators: Maura Sandri
Publisher: name: Media Inaf
Year: 2021

Servendosi dei dati a infrarossi della sonda Akatsuki, un gruppo di ricercatori ha sviluppato un nuovo metodo analitico per rivelare i dettagli del tempo notturno di Venere, che potrebbe essere utilizzato anche per altri pianeti, come Marte e i giganti gassosi. Il loro studio potrebbe inoltre migliorare la comprensione dei meccanismi alla base dei sistemi meteorologici terrestri. Tutti i dettagli su Nature
Additional file 1 of “Handing out non-prescribed antibiotics is storing up trouble for the next generation!” Unpacking multistakeholder views of drivers and potential solutions in Ethiopia
Creators: name: Belachew, Sewunet Admasu
name: Hall, Lisa
name: Selvey, Linda A
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Biotechnology
subject: Environmental Sciences not elsewhere classified
subject: Sociology
subject: FOS: Sociology
subject: Biological Sciences not elsewhere classified
subject: Science Policy

description: Additional file 1: Interview guide
title: Populismo
Creators: name: Queiroz, Regina
Publisher: name: IFILNOVA, Faculdade de Ciências Sociais e Humanas, Universidade Nova de Lisboa
Year: 2019

description: Queiroz, R. “Populismo”. Dicionário de Filosofia Moral e Política (2019), 2.ª série, coord. António Marques e André Santos Campos. Lisboa: Instituto de Filosofia da Nova, URL: .
description: ISSN 2184-4445
Kinematics of the CO Gas in the Inner Regions of the TW Hya Disk
Creators: name: Rosenfeld, Katherine A.
name: Qi, Chunhua
name: Andrews, Sean M.
name: Wilner, David J.
name: Corder, Stuartt A.
name: Dullemond, C. P.
name: Lin, Shin-Yi
name: Hughes, A. M.
name: D'Alessio, Paola
name: Ho, P. T. P.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: We present a detailed analysis of the spatially and spectrally resolved 12CO J=2-1 and J=3-2 emission lines from the TW Hya circumstellar disk, based on science verification data from the Atacama Large Millimeter/Submillimeter Array (ALMA). These lines exhibit substantial emission in their high-velocity wings (with projected velocities out to 2.1 km/s, corresponding to intrinsic orbital velocities >20 km/s) that trace molecular gas as close as 2 AU from the central star. However, we are not able to reproduce the intensity of these wings and the general spatio-kinematic pattern of the lines with simple models for the disk structure and kinematics. Using three-dimensional non-local thermodynamic equilibrium molecular excitation and radiative transfer calculations, we construct some alternative models that successfully account for these features by modifying either (1) the temperature structure of the inner disk (inside the dust-depleted disk cavity; r < 4 AU); (2) the intrinsic (Keplerian) disk velocity field; or (3) the distribution of disk inclination angles (a warp). The latter approach is particularly compelling because a representative warped disk model qualitatively reproduces the observed azimuthal modulation of optical light scattered off the disk surface. In any model scenario, the ALMA data clearly require a substantial molecular gas reservoir located inside the region where dust optical depths are known to be substantially diminished in the TW Hya disk, in agreement with previous studies based on infrared spectroscopy. The results from these updated model prescriptions are discussed in terms of their potential physical origins, which might include dynamical perturbations from a low-mass companion with an orbital separation of a few AU.
description: 30 pages, 7 figures, accepted for publication in ApJ
Jessica Böttcher-Ebers, Der Bogen als visuelles Zeichen im römischen Stadtbild. Zum Bedeutungswandel eines Architekturelements in der späten Republik
Creators: name: Färber, Viktoria
Publisher: name: Bonner Jahrbücher
Year: 2018

description: Rezension zu: Jessica Böttcher-Ebers, Der Bogen als visuelles Zeichen im römischen Stadtbild. Zum Bedeutungswandel eines Architekturelements in der späten Republik. Antiquitates, Band 57. Verlag Dr. Kovač, Hamburg 2012. 315 Seiten mit 9 Abbildungen, 159 Tafeln.
description: Bonner Jahrbücher, Bd. 213.2013(2014): Bonner Jahrbücher
Perseverance a caccia di vita con il braccio robot
Creators: Eleonora Ferroni
Publisher: name: Media Inaf
Year: 2021

La strumentazione della missione Mars 2020 è già attiva per portare a termine gli obiettivi prefissati al lancio: trovare tracce di vita microbica nel cratere Jezero del Pianeta rosso, dove attualmente si trova il rover della Nasa. Il braccio robotico lungo due metri è dotato di diversi strumenti, sensori e camere in grado di studiare nei minimi dettagli le rocce marziane
Sole, prezioso alleato contro il Covid
Creators: Valentina Guglielmo
Publisher: name: Media Inaf
Year: 2021

Un nuovo studio pubblicato su Scientific reports combina i dati di laboratorio della risposta del virus Sars-Cov-2 alla luce Uv del Sole con l’irradiazione solare sulla Terra durante le ondate pandemiche e i tassi di mortalità registrati in tutto il mondo. I risultati mostrano che i fotoni Uv-b/a hanno un potente effetto virucida sul virus del Covid-19 e che la radiazione solare che raggiunge le fasce temperate a mezzogiorno durante l’estate è sufficiente a inattivare il 63 per cento dei virioni in uno spazio aperto in meno di due minuti
A MALL Geometry of Interaction Based on Indexed Linear Logic
Creators: name: Hamano, Masahiro
Publisher: name: arXiv
Year: 2017
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: We construct a geometry of interaction (GoI: dynamic modeling of Gentzen-style cut elimination) for multiplicative-additive linear logic (MALL) by employing Bucciarelli-Ehrhard indexed linear logic MALL(I) to handle the additives. Our construction is an extension to the additives of the Haghverdi-Scott categorical formulation (a multiplicative GoI situation in a traced monoidal category) for Girard's original GoI 1. The indices are shown to serve not only in their original denotational level, but also at a finer grained dynamic level so that the peculiarities of additive cut elimination such as superposition, erasure of subproofs, and additive (co-) contraction can be handled with the explicit use of indices. Proofs are interpreted as indexed subsets in the category Rel, but without the explicit relational composition; instead, execution formulas are run pointwise on the interpretation at each index, w.r.t symmetries of cuts, in a traced monoidal category with a reflexive object and a zero morphism. The sets of indices diminish overall when an execution formula is run, corresponding to the additive cut-elimination procedure (erasure), and allowing recovery of the relational composition. The main theorem is the invariance of the execution formulas along cut elimination so that the formulas converge to the denotations of (cut-free) proofs.
description: 26 pages
Enhanced J/Psi-pair production from double parton scatterings in nucleus-nucleus collisions at the Large Hadron Collider
Creators: name: d'Enterria, David
name: Snigirev, Alexander M.
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: Nuclear Experiment (nucl-ex)
subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: A generic expression of double-parton scattering cross sections in high-energy nucleus-nucleus (A-A) collisions is derived as a function of the corresponding single-parton hard cross sections and of the A-A event centrality. We consider the case of prompt-J/psi production in lead-lead (Pb-Pb) at the CERN Large Hadron Collider and find that about 20% (35%) of the J/psi events in minimum-bias (most central) collisions contain a second J/psi from double parton interactions. In Pb-Pb at 5.5 TeV, in the absence of final-state effects, about 240 double-J/psi events are expected per unit midrapidity and per inverse-nanobarn in the dilepton decay modes. The implications of double-J/psi production on the interpretation of the observed J/psi suppression in A-A collisions are discussed.
description: 7 pages, 3 figures, 1 table
Improving bounds on packing densities of 4-point permutations
Creators: name: Sliacan, Jakub
name: Stromquist, Walter
Publisher: name: arXiv
Year: 2017
Subjects: subject: Combinatorics (math.CO)
subject: FOS: Mathematics

description: We consolidate what is currently known about packing densities of 4-point permutations and in the process improve the lower bounds for the packing densities of 1324 and 1342. We also provide rigorous upper bounds for the packing densities of 1324, 1342, and 2413. All our bounds are within $10^{-4}$ of the true packing densities. Together with the known bounds, this gives us a fairly complete picture of all 4-point packing densities. We also provide new upper bounds for several small permutations of length at least five. Our main tool for the upper bounds is the framework of flag algebras introduced by Razborov in 2007.
description: journal style, 18 pages
Additional file 4 of Healthcare workers knowledge of cholera multi-stranded interventions and its determining factors in North-East Nigeria: planning and policy implications
Creators: name: Elimian, Kelly
name: King, Carina
name: Dewa, Ozius
name: Pembi, Emmanuel
name: Gandi, Benjamin
name: Yennan, Sebastian
name: Myles, Puja
name: Pritchard, Catherine
name: Forsberg, Birger Carl
name: Alfvén, Tobias
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Sociology
subject: FOS: Sociology
subject: Cancer
subject: Science Policy
subject: 110309 Infectious Diseases
subject: FOS: Health sciences

description: Additional file 4. The unadjusted ORs for the factors associated with HCWs’ knowledge of cholera interventions.
Annelies Koster, The Cemetery of Noviomagus and the Wealthy Burials of the Municipal Elite
Creators: name: Wegert, Andreas
Publisher: name: Bonner Jahrbücher
Year: 2018

description: Rezension zu: Annelies Koster, The Cemetery of Noviomagus and the Wealthy Burials of the Municipal Elite. Description of the Archeological Collections in Museum Het Valkhof at Nijmegen, Band XIV. Verlag Museum Het Valkhof, Nimwegen 2013. 378 Seiten mit 131 Abbildungen und 18 Tabellen, 80 Tafeln.
description: Bonner Jahrbücher, Bd. 213.2013(2014): Bonner Jahrbücher
Additional file 3 of Aerobic exercise improves cognitive impairment in mice with type 2 diabetes by regulating the MALAT1/miR-382-3p/BDNF signaling pathway in serum-exosomes
Creators: name: Wang, Mingzhu
name: Xie, Kangling
name: Zhao, Shengnan
name: Jia, Nan
name: Zong, Yujiao
name: Gu, Wenping
name: Cai, Ying
Publisher: name: figshare
Year: 2023
Subjects: subject: Biochemistry
subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Neuroscience
subject: Physiology
subject: Chemical Sciences not elsewhere classified
subject: Immunology
subject: FOS: Clinical medicine
subject: Biological Sciences not elsewhere classified
subject: Marine Biology
subject: Mental Health
subject: Virology

description: Additional file 3: Table S1. In vivo experimental grouping and treatments. Table S2. shRNA sequences. Table S3. In vitro cell experimental grouping and treatments. Table S4. The primer sequence of RT-qPCR. Table S5. Primary antibody product information. Table S6. T2DM-related lncRNAs obtained from the MNDR database.
Experimental search for solar hidden photons in the eV energy range using kinetic mixing with photons
Creators: name: Mizumoto, T.
name: Ohta, R.
name: Horie, T.
name: Suzuki, J.
name: Inoue, Y.
name: Minowa, M.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: High Energy Physics - Experiment (hep-ex)
subject: Instrumentation and Detectors (physics.ins-det)
subject: FOS: Physical sciences

description: We have searched for solar hidden photons in the eV energy range using a dedicated hidden photon detector. The detector consisted of a parabolic mirror with a diameter of 500mm and a focal length of 1007mm installed in a vacuum chamber, and a photomultiplier tube at its focal point. The detector was attached to the Tokyo axion helioscope, Sumico which has a mechanism to track the sun. From the result of the measurement, we found no evidence for the existence of hidden photons and set a limit on the photon-hidden photon mixing parameter χdepending on the hidden photon mass m_{γ'}.
description: 11 pages, 4 figures. To be submitted to JCAP. Added fig.2. Added references to some recent theoretical developments. Added results of new references to the exclusion plot(fig.5). Our results remain unchanged
Missione compiuta per la navicella Blue Origin
Creators: Redazione Ansa
Publisher: name: Media Inaf
Year: 2021

Impresa riuscita per Jeff Bezos – l’uomo più ricco del mondo – e il resto dell’equipaggio del primo volo umano di New Shepard: suo fratello Mark, l'82enne Wally Funk e il 18enne Oliver Daemen. La navicella si è alzata fino a quota 105 km sul cielo del Texas. Il volo è durato in tutto poco più di dieci minuti
On a theorem of Campana and Păun
Creators: name: Schnell, Christian
Publisher: name: arXiv
Year: 2017
Subjects: subject: Algebraic Geometry (math.AG)
subject: FOS: Mathematics

description: Let $X$ be a smooth projective variety over the complex numbers, and $Δ\subseteq X$ a reduced divisor with normal crossings. We present a slightly simplified proof for the following theorem of Campana and Păun: If some tensor power of the bundle $Ω_X^1(\log Δ)$ contains a subsheaf with big determinant, then $(X, Δ)$ is of log general type. This result is a key step in the recent proof of Viehweg's hyperbolicity conjecture.
description: 9 pages. Formatted using epigamath.sty
Sotto la microlente, un sistema binario
Creators: Giuseppe Fiasconaro
Publisher: name: Media Inaf
Year: 2021

Moa-2006-Blg-074 è un segnale di microlensing gravitazionale che si pensava fosse attribuibile a un candidato planetario di tipo nettuniano. Un nuovo studio, condotto da un team di ricercatori guidato da Paolo Rota dell’Università di Salerno, sostiene invece che si tratti in realtà di un fenomeno di “xallarap” – parallasse al contrario –  con un sistema binario come sorgente. Tutti i dettagli su The Astronomical Journal
Megaministelle con montagne alte millimetri
Creators: Maura Sandri
Publisher: name: Media Inaf
Year: 2021

Nuovi modelli di stelle di neutroni mostrano che le loro “montagne” più alte potrebbero elevarsi di solo frazioni di millimetro rispetto alla superficie sferica, a causa dell'enorme gravità esercitata da questi oggetti ultra-densi. Lo studio è stato presentato al National Astronomy Meeting 2021 e verrà pubblicato su Mnras
Additional file 1 of Determining minimal important differences for patient-reported outcome measures in shoulder, lateral elbow, patellar and Achilles tendinopathies using distribution-based methods
Creators: name: Challoumas, Dimitris
name: Zouvani, Andrea
name: Creavin, Kevin
name: Murray, Elspeth
name: Crosbie, Gearoid
name: Ng, Nigel
name: Millar, Neal L.
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: Sociology
subject: FOS: Sociology
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences

description: Additional file 1.
Raman backscatter as a remote laser power sensor in high-energy-density plasmas
Creators: name: Moody, J. D.
name: Strozzi, D. J.
name: Divol, L.
name: Michel, P.
name: Robey, H. F.
name: LePape, S.
name: Ralph, J.
name: Ross, J. S.
name: Glenzer, S. H.
name: Kirkwood, R. K.
name: Landen, O. L.
name: MacGowan, B. J.
name: Nikroo, A.
name: Williams, E. A.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Plasma Physics (physics.plasm-ph)
subject: FOS: Physical sciences

description: Stimulated Raman backscatter (SRS) is used as a remote sensor to quantify the instantaneous laser power after transfer from outer to inner cones that cross in a National Ignition Facility (NIF) gas-filled hohlraum plasma. By matching SRS between a shot reducing outer vs a shot reducing inner power we infer that ~half of the incident outer-cone power is transferred to inner cones, for the specific time and wavelength configuration studied. This is the first instantaneous non-disruptive measure of power transfer in an indirect drive NIF experiment using optical measurements.
description: 4 pages, 5 figures
Made in Egypt: Traditional handicrafts as Tools for Community Engagement
Creators: name: Mohamed, Wesam
Publisher: name: CIPEG Journal: Ancient Egyptian & Sudanese Collections and Museums
Year: 2017

description: Cultural landscapes are a combination of various features that represent the overall production of mankind. Therefore, the responsibility of museums towards their cultural landscape cannot be accomplished competently without regard to the people living in this landscape. Cultural landscapes, people and traditional handicrafts: the three of them are significantly connected to many museums in Egypt. Traditional handicrafts in particular have considerable value in the cultural scenery in Egypt; many
of them are, however, on the brink of vanishing.
Derived from the existing circumstances and based on the commitment to museums’ role in preserving cultural values, an initiative has been developed to take part in sustaining such cultural landscapes. This paper introduces an action plan to be initiated in all the antiquities museums under supervision of the Museums Sector, Egyptian Ministry of Antiquities.
“Made in Egypt” is an action plan that focuses on inspiration. Concisely, it is a move to use the past for the benefit of the present and for sustainability in the future. A series of activities are set out to raise the awareness of Egyptian society of both their outstanding past, and their own ability to re‐produce great works of handicrafts. The project’s process will be developed through exhibitions, workshops, competitions and marketplaces. Museums will be committed to support their local communities through  developing a set of action plans to help the society overcome its problems and plan for a better way of life for future generations. Thus, this action plan will serve as a mediator in supporting many areas of museums concerns.
description: CIPEG Journal: Ancient Egyptian & Sudanese Collections and Museums, No 1 (2017)
title: Meta-Ética
Creators: name: Cadilha, Susana
Publisher: name: IFILNOVA, Faculdade de Ciências Sociais e Humanas, Universidade Nova de Lisboa
Year: 2019

description: É comum dividir-se a ética filosófica em duas áreas disciplinares, que lidam com problemas distintos, ainda que relacionados: a ética normativa e a meta-ética. A ética normativa tem por objetivo responder a questões gerais deste tipo: o que devemos fazer?; que princípios devem regular a nossa ação?; em que consiste o bom ou o valioso, do ponto de vista moral? Já a meta-ética pretende olhar para a natureza dessas discussões de caráter normativo e para os pressupostos que elas encerram. Ou seja, se à ética normativa interessa definir qual o princípio da ação correta, ou boa, conforme o critério preferido, à meta-ética interessará perceber o que significa exatamente dizer de alguma coisa que ela é boa, ou correta: são tais propriedades morais propriedades naturais, ou redutíveis a estas? São elas objetivas, pertencentes ao “tecido do mundo”, são essas atribuições construções de caráter intersubjectivo, ou são apenas o resultado da projeção das nossas atitudes subjetivas sobre o que se passa no mundo? Há alguma coisa a que se possa chamar de “factos morais”? E que relação terão eles com outro tipo de factos, acerca da psicologia dos agentes, acerca do bem comum ou individual, ou acerca do que é a “vida boa”? Como é que chegamos a ter conhecimento desses factos?
description: Cadilha, S. “Meta-Ética”. Dicionário de Filosofia Moral e Política (2019), 2.ª série, coord. António Marques e André Santos Campos. Lisboa: Instituto de Filosofia da Nova, URL: .
description: ISSN 2184-4445
Pope Francis in Cairo - Authority and branding on Instagram
Creators: name: Zijderveld, Theo
Publisher: name: Online - Heidelberg Journal of Religions on the Internet
Year: 2017
Subjects: Religious Authority, Personal Branding, Capital, Instagram

description: Instagram has become one of the most popular social media with over 400 million users worldwide. Instagram is especially designed for mobile use: taking photos, editing and sharing. Many religious and spiritual leaders do use Instagram and attract millions of followers. Religious leaders in the western society cannot legitimize their authority in the public sphere by referring solely to tradition or religious sources. The crisis of authority has resulted in a longing for strong and charismatic leaders. In a spiritual marketplace, new requirements are emerging for leadership. Leaders become personal brands with their own mythology, central message and media channels, adapted to the styles and symbols of popular culture. The aesthetic dimension has become crucial, since audiovisual communication can be mediated by the media technology of today.
Pope Francis is one of the most prominent religious figures of today. In this paper, we will investigate how he uses Instagram to build a personal brand and how this relates to his authority, using the posts during his visit to Cairo as a case study. Mobile devices and apps play like Instagram pave the way for new audiences and new interactions between the religious leaders and their audiences. The importance of images for media personalities shows the importance of the aesthetic dimension of charismatic authority. This paper will offer new insights in studying the relationship between religious leaders and authority in a media age.
description: Online - Heidelberg Journal of Religions on the Internet, Bd. 12 (2017): Religion to Go! - Religion in Mobile Internet Environments, Mobile Apps, Augmented Realities and the In-Betweens (special issue)
Growing and Destroying Catalan-Stanley Trees
Creators: name: Hackl, Benjamin
name: Prodinger, Helmut
Publisher: name: arXiv
Year: 2017
Subjects: subject: Combinatorics (math.CO)
subject: FOS: Mathematics
subject: 05A16, 05C05, 05A15

description: Stanley lists the class of Dyck paths where all returns to the axis are of odd length as one of the many objects enumerated by (shifted) Catalan numbers. By the standard bijection in this context, these special Dyck paths correspond to a class of rooted plane trees, so-called Catalan-Stanley trees. This paper investigates a deterministic growth procedure for these trees by which any Catalan-Stanley tree can be grown from the tree of size one after some number of rounds; a parameter that will be referred to as the age of the tree. Asymptotic analyses are carried out for the age of a random Catalan-Stanley tree of given size as well as for the "speed" of the growth process by comparing the size of a given tree to the size of its ancestors.