cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
The Covering Problem
Creators: name: Place, Thomas
name: Zeitoun, Marc
Publisher: name: arXiv
Year: 2017
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: An important endeavor in computer science is to understand the expressive power of logical formalisms over discrete structures, such as words. Naturally, "understanding" is not a mathematical notion. This investigation requires therefore a concrete objective to capture this understanding. In the literature, the standard choice for this objective is the membership problem, whose aim is to find a procedure deciding whether an input regular language can be defined in the logic under investigation. This approach was cemented as the right one by the seminal work of Schützenberger, McNaughton and Papert on first-order logic and has been in use since then. However, membership questions are hard: for several important fragments, researchers have failed in this endeavor despite decades of investigation. In view of recent results on one of the most famous open questions, namely the quantifier alternation hierarchy of first-order logic, an explanation may be that membership is too restrictive as a setting. These new results were indeed obtained by considering more general problems than membership, taking advantage of the increased flexibility of the enriched mathematical setting. This opens a promising research avenue and efforts have been devoted at identifying and solving such problems for natural fragments. Until now however, these problems have been ad hoc, most fragments relying on a specific one. A unique new problem replacing membership as the right one is still missing. The main contribution of this paper is a suitable candidate to play this role: the Covering Problem. We motivate this problem with 3 arguments. First, it admits an elementary set theoretic formulation, similar to membership. Second, we are able to reexplain or generalize all known results with this problem. Third, we develop a mathematical framework and a methodology tailored to the investigation of this problem.
Azzannando con Phangs le stelle in formazione
Creators: Redazione Eso
Publisher: name: Media Inaf
Year: 2021

Un team di astronomi, tra i quali Francesco Belfiore dell’Inaf di Arcetri, ha pubblicato nuove osservazioni di galassie vicine che ricordano colorati fuochi d’artificio cosmici. Ottenute con il Vlt dell’Eso, le immagini mostrano le diverse componenti delle galassie in colori distinti, consentendo di individuare le posizioni delle stelle giovani e del gas che esse riscaldano
Contare i fotoni per “zoomare” sulle stelle
Creators: Ufficio stampa Inaf
Publisher: name: Media Inaf
Year: 2021

Un gruppo di ricercatori dell’Istituto nazionale di astrofisica e dell’Università di Padova ha dimostrato la fattibilità di un metodo per lo studio di stelle brillanti contando uno ad uno i fotoni provenienti dalla stella Vega con i due telescopi da 1,8 e 1,2 metri dell’Osservatorio di Asiago. Questa tecnica potrà essere utilizzata in futuro da osservatori come Astri Mini-Array per catturare dettagli sulle superfici stellari con risoluzione mai raggiunta in banda ottica
Vom Vergehen unserer Baudenkmäler - Verlust von Kulturwerten durch schuldhafte Vernachlässigung - Erhaltung der Heimat
Creators: name: Spiegel, Hans
Publisher: name: Burgen und Schlösser - Zeitschrift für Burgenforschung und Denkmalpflege
Year: 2018

description: -
description: Burgen und Schlösser - Zeitschrift für Burgenforschung und Denkmalpflege, Bd. 8, Nr. 2 (1967): Burgen und Schlösser - Zeitschrift für Burgenforschung und Denkmalpflege
Die Mosburg im Biebricher Schlosspark
Creators: name: Fink, Otto
Publisher: name: Burgen und Schlösser - Zeitschrift für Burgenforschung und Denkmalpflege
Year: 2018

description: -
description: Burgen und Schlösser - Zeitschrift für Burgenforschung und Denkmalpflege, Bd. 9, Nr. 2 (1968): Burgen und Schlösser - Zeitschrift für Burgenforschung und Denkmalpflege
Probleme der Denkmalpflege in Baden-Württemberg
Creators: name: Klein, Günter
Publisher: name: Burgen und Schlösser - Zeitschrift für Burgenforschung und Denkmalpflege
Year: 2018

description: -
description: Burgen und Schlösser - Zeitschrift für Burgenforschung und Denkmalpflege, Bd. 11, Nr. 2 (1970): Burgen und Schlösser - Zeitschrift für Burgenforschung und Denkmalpflege
A Nicolò Parmiggiani un premio per il deep learning
Creators: Redazione Media Inaf
Publisher: name: Media Inaf
Year: 2021

Ricercatore ventinovenne dell’Istituto nazionale di astrofisica, Nicolò Parmiggiani è tra i sei vincitori della prima edizione del Premio nazionale per la ricerca sui big data e l’intelligenza artificiale indetto da Wmf e Ifab. I suoi studi sulle tecnologie di apprendimento automatico applicate all’analisi dei dati prodotti dal telescopio spaziale Agile gli sono valsi un assegno da 2500 euro
Partial Identification of Nonseparable Models using Binary Instruments
Creators: name: Ishihara, Takuya
Publisher: name: arXiv
Year: 2017
Subjects: subject: Methodology (stat.ME)
subject: FOS: Computer and information sciences

description: In this study, we explore the partial identification of nonseparable models with continuous endogenous and binary instrumental variables. We show that the structural function is partially identified when it is monotone or concave in the explanatory variable. D'Haultfoeuille and Fevrier (2015) and Torgovitsky (2015) prove the point identification of the structural function under a key assumption that the conditional distribution functions of the endogenous variable for different values of the instrumental variables have intersections. We demonstrate that, even if this assumption does not hold, monotonicity and concavity provide identifying power. Point identification is achieved when the structural function is flat or linear with respect to the explanatory variable over a given interval. We compute the bounds using real data and show that our bounds are informative.
Measuring capital market efficiency: Global and local correlations structure
Creators: name: Kristoufek, Ladislav
name: Vosvrda, Miloslav
Publisher: name: arXiv
Year: 2012
Subjects: subject: Statistical Finance (q-fin.ST)
subject: General Finance (q-fin.GN)
subject: FOS: Economics and business

description: We introduce a new measure for the capital market efficiency. The measure takes into consideration the correlation structure of the returns (long-term and short-term memory) and local herding behavior (fractal dimension). The efficiency measure is taken as a distance from an ideal efficient market situation. Methodology is applied to a portfolio of 41 stock indices. We find that the Japanese NIKKEI is the most efficient market. From geographical point of view, the more efficient markets are dominated by the European stock indices and the less efficient markets cover mainly Latin America, Asia and Oceania. The inefficiency is mainly driven by a local herding, i.e. a low fractal dimension.
description: 18 pages
Additional file 8 of MMP14 expression levels accurately predict the presence of extranodal extensions in oral squamous cell carcinoma: a retrospective cohort study
Creators: name: Noda, Yuri
name: Ishida, Mitsuaki
name: Yamaka, Ryosuke
name: Ueno, Yasuhiro
name: Sakagami, Tomofumi
name: Fujisawa, Takuo
name: Iwai, Hiroshi
name: Tsuta, Koji
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Cell Biology
subject: Immunology
subject: FOS: Clinical medicine
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Cancer

description: Supplementary Material 8
title: Шогирдлик – ишлаб чиқаришнинг ўзида ёш хотин-қизларни касбга ўргатиш шакли сифатида
Creators: name: Atajanova, D.
Publisher: name: Tashkent state university of law
Year: 2018

description: Мақолада шогирдликнинг юридик тушунчаси ва шогирдлик шартномаси билан боғлиқ меҳнат муносабатлари таҳлил қилинган. Шогирдликка оид аёллар ўртасидаги ҳуқуқий муносабатларнинг специфик жиҳатлари ажратиб кўрсатилган. Шогирдлик шартномасини тузиш ва бекор қилишнинг ўзига хос жиҳатларига эътибор қаратилган. Қонунчиликдаги мазкур муносабатлар гуруҳини тартибга солувчи бўшлиқлар кўрсатилган. Миллий меҳнат қонунчилиги тараққиёти тенденциялари тадқиқ қилинган.
title: Гражданско-правовой анализ развития и становления аренды на землю в республике Узбекистан
Creators: name: Khalmuminov, O.
Publisher: name: Tashkent state university of law
Year: 2018

description: В статье уделено особое внимание историко-политическому, социологическому и правовому анализу развития и становлению аренды за землю, изучению действующего законодательства; зарубежному опыту в данной области, выявлению его пробелов и недостатков, разработке рекомендаций и предложений, направленных на совершенствование действующего земельного законодательства в Республике Узбекистан.
On Thin Air Reads: Towards an Event Structures Model of Relaxed Memory
Creators: name: Jeffrey, Alan
name: Riely, James
Publisher: name: arXiv
Year: 2017
Subjects: subject: Programming Languages (cs.PL)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: To model relaxed memory, we propose confusion-free event structures over an alphabet with a justification relation. Executions are modeled by justified configurations, where every read event has a justifying write event. Justification alone is too weak a criterion, since it allows cycles of the kind that result in so-called thin-air reads. Acyclic justification forbids such cycles, but also invalidates event reorderings that result from compiler optimizations and dynamic instruction scheduling. We propose the notion of well-justification, based on a game-like model, which strikes a middle ground. We show that well-justified configurations satisfy the DRF theorem: in any data-race free program, all well-justified configurations are sequentially consistent. We also show that rely-guarantee reasoning is sound for well-justified configurations, but not for justified configurations. For example, well-justified configurations are type-safe. Well-justification allows many, but not all reorderings performed by relaxed memory. In particular, it fails to validate the commutation of independent reads. We discuss variations that may address these shortcomings.
Scoperti i più antichi fossili di batteri metanogeni
Creators: Giuseppe Fiasconaro
Publisher: name: Media Inaf
Year: 2021

Analizzando le rocce presenti nel sito Unesco conosciuto con il nome di Cintura di rocce verdi di Barberton, in Sudafrica, una delle più antiche strutture geologiche al mondo, un team di ricercatori guidati da Barbara Cavalazzi dell’Università di Bologna ha scoperto i più antichi resti fossili di archeobatteri metanogeni – microrganismi vissuti 3.42 miliardi di anni fa all’interno di un sistema di venule idrotermali
A ballistic quantum ring Josephson interferometer
Creators: name: Fornieri, A.
name: Amado, M.
name: Carillo, F.
name: Dolcini, F.
name: Biasiol, G.
name: Sorba, L.
name: Pellegrini, V.
name: Giazotto, F.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: We report the realization of a ballistic Josephson interferometer. The interferometer is made by a quantum ring etched in a nanofabricated two-dimensional electron gas confined in an InAs-based heterostructure laterally contacted to superconducting niobium leads. The Josephson current flowing through the structure shows oscillations with h/e flux periodicity when threading the loop with a perpendicular magnetic field. This periodicity, in sharp contrast with the h/2e one observed in conventional dc superconducting quantum interference devices, confirms the ballistic nature of the device in agreement with theoretical predictions. This system paves the way for the implementation of interferometric Josephson pi-junctions, and for the investigation of Majorana fermions.
description: 4+ pages, 4 colored figures
title: Меҳнат соҳасида дифференциалликни ҳуқуқий тартибга солиш муаммолари
Creators: name: Ismoilov, Sh.
Publisher: name: Tashkent state university of law
Year: 2018

description: Мазкур мақолада меҳнат соҳасида дифференциаллик масалалари, айрим тоифадаги ходимлар ва улар меҳнатини тартибга солишнинг хусусиятлари, Ўзбекистон Республикаси меҳнат қонунчилигида дифференциалликка оид нормалар қиёсий таҳлил қилинган.
Additional file 1 of Beyond rational—biosensor-guided isolation of 100 independently evolved bacterial strain variants and comparative analysis of their genomes
Creators: name: Baumann, Philipp T.
name: Dal Molin, Michael
name: Aring, Hannah
name: Krumbach, Karin
name: Müller, Moritz-Fabian
name: Vroling, Bas
name: van Summeren-Wesenhagen, Philana V.
name: Noack, Stephan
name: Marienhagen, Jan
Publisher: name: figshare
Year: 2023
Subjects: subject: Genetics
subject: FOS: Biological sciences

description: Additional file 1: Figure S1. Comparison of C. glutamicum CgHis1 pHisOP1 and its variant C. glutamicum CgHis2, which served as screening host. Figure S2. Specific fluorescence response of biosensor-harboring C. glutamicum strains upon initial dipeptide supplementation. Figure S3. Biosensor crosstalk – Co-cultivation of C. glutamicum CgHis2 and C. glutamicum wild type pSenHis. Figure S4. Schematic overview of the screening workflow for the identification of significantly improved l-histidine producing C. glutamicum CgHis2 strain variants. Figure S5. Individual SNP-distribution across the genome of all 100 FACS-isolated and l -histidine producing C. glutamicum CgHis2 variants. Figure S6. Mutational bias of MNNG-mutagenesis. Figure S7. Predicted structure of NCgl2981 and position of the D735 residue as calculated by AlphaFold. Figure S8. l-histidine production performance of reverse engineered CgHis2 single mutant- and double mutant strains. Figure S9. l-histidine production performance of reverse engineered CgHis2 variants in comparison to the CgHis2 reference strain. Figure S10. Genomic position of the cps-gene encoding the non-ribosomal peptide synthase with an unknown MarR-type regulator gene located directly upstream in C. glutamicum ATCC 13032. The position of the cps-gene and the gene of the MarR-type regulator gene are highly conserved among various Corynebacterium species. Figure S11.Genomic position of the NCgl2981 gene of unknown function in C. glutamicum ATCC 13032. NCgl2981 is highly conserved among various Corynebacterium and Mycobacterium species. Table S1. Bacterial strains and plasmids. Table S2. Oligonucleotides. Table S3. Identified mutations in already known genetic targets contributing to l-histidine production from 100 improved C. glutamicum CgHis2 variants. Table S4. Hotspot genes in C. glutamicum CgHis2 identified by computational analysis of the FAAMS dataset. Table S5. List of SNPs identified in 100 independently isolated l-histidine producing C. glutamicum CgHis2 variants, selected for individual reconstruction in the C. glutamicum CgHis2 starting strain. Data S1. Computational analysis of FAAMS data. Data S2. Rationale for selection of three SNPs for reconstruction in C. glutamicum CgHis2.
Come si deforma l’universo attraverso i buchi neri
Creators: Valentina Guglielmo
Publisher: name: Media Inaf
Year: 2021

In prossimità dei buchi neri lo spazio è così deformato che i raggi di luce possono trovarsi a girare intorno all’orizzonte degli eventi più volte e, grazie a questo fenomeno, formare immagini multiple separate spazialmente e ritardate temporalmente dello stesso corpo celeste. È un fenomeno noto da decenni a livello osservativo, ma ora per la prima volta uno studente danese, Albert Sneppen, è riuscito a trovare l’espressione matematica esatta per descriverlo
title: Тарафлар ихтиёрига боғлиқ бўлмаган ҳолатлар бўйича меҳнат шартномасини бекор қилиш асосларини такомиллаштириш масалалари
Creators: name: Rakhimberganova, B.
Publisher: name: Tashkent state university of law
Year: 2018

description: Мазкур мақолада тарафлар ихтиёрига боғлиқ бўлмаган ҳолатлар бўйича меҳнат шартномасини бекор қилиш асосларини тартибга солувчи Ўзбекистон Республикасининг амалдаги қонунчилиги таҳлил қилинган. Шунингдек, ушбу асосларни қўллаш бўйича қонунчиликни такомиллаштиришга оид таклифлар, тавсиялар ҳамда илмий ва амалий хулосалар ишлаб чиқилган.
$K_{1,3}$-covering red and blue points in the plane
Creators: name: Ábrego, Bernardo M.
name: Fernández-Merchant, Silvia
name: Kano, Mikio
name: Orden, David
name: Pérez-Lantero, Pablo
name: Seara, Carlos
name: Tejel, Javier
Publisher: name: arXiv
Year: 2017
Subjects: subject: Combinatorics (math.CO)
subject: Computational Geometry (cs.CG)
subject: Discrete Mathematics (cs.DM)
subject: FOS: Mathematics
subject: FOS: Computer and information sciences

description: We say that a finite set of red and blue points in the plane in general position can be $K_{1,3}$-covered if the set can be partitioned into subsets of size $4$, with $3$ points of one color and $1$ point of the other color, in such a way that, if at each subset the fourth point is connected by straight-line segments to the same-colored points, then the resulting set of all segments has no crossings. We consider the following problem: Given a set $R$ of $r$ red points and a set $B$ of $b$ blue points in the plane in general position, how many points of $R\cup B$ can be $K_{1,3}$-covered? and we prove the following results: (1) If $r=3g+h$ and $b=3h+g$, for some non-negative integers $g$ and $h$, then there are point sets $R\cup B$, like $\{1,3\}$-equitable sets (i.e., $r=3b$ or $b=3r$) and linearly separable sets, that can be $K_{1,3}$-covered. (2) If $r=3g+h$, $b=3h+g$ and the points in $R\cup B$ are in convex position, then at least $r+b-4$ points can be $K_{1,3}$-covered, and this bound is tight. (3) There are arbitrarily large point sets $R\cup B$ in general position, with $r=b+1$, such that at most $r+b-5$ points can be $K_{1,3}$-covered. (4) If $b\le r\le 3b$, then at least $\frac{8}{9}(r+b-8)$ points of $R\cup B$ can be $K_{1,3}$-covered. For $r>3b$, there are too many red points and at least $r-3b$ of them will remain uncovered in any $K_{1,3}$-covering. Furthermore, in all the cases we provide efficient algorithms to compute the corresponding coverings.
description: 29 pages, 10 figures, 1 table
WHAT WOULD OTHER EMERGENCY STROKE TEAMS DO? Using explainable machine learning to understand variation in thrombolysis (clot-busting) practice.
Creators: name: Pearn, Kerry
name: Allen, Michael
name: Laws, Anna
name: Everson, Richard
name: James, Martin
Publisher: name: Zenodo
Year: 2023
Subjects: stroke, machine learning, thrombolysis, SHAP, X-AI

description: Poster presented at Turing AI-UK March 2023, showing key results from using explainable machine learning to understand between-hospital variation in thrombolysis practice in emergency stroke-care.
title: Alternative dispute resolution in the United States: an international perspective for the republic of Uzbekistan
Creators: name: Cantone J.D., Jason A.
name: Chance, James A.
Publisher: name: Tashkent state university of law
Year: 2018

description: The Republic of Uzbekistan currently is considering a draft law on mediation. With regard to this, the article presents a brief account of the history and use of alternative dispute resolution in the United States, it also offers a comparison of the draft law with principles that is considered to be best practices for successful ADR programs in the United States.
Additional file 9 of MMP14 expression levels accurately predict the presence of extranodal extensions in oral squamous cell carcinoma: a retrospective cohort study
Creators: name: Noda, Yuri
name: Ishida, Mitsuaki
name: Yamaka, Ryosuke
name: Ueno, Yasuhiro
name: Sakagami, Tomofumi
name: Fujisawa, Takuo
name: Iwai, Hiroshi
name: Tsuta, Koji
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Cell Biology
subject: Immunology
subject: FOS: Clinical medicine
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Cancer

description: Supplementary Material 9
An enriched view on the extended finitary monad--Lawvere theory correspondence
Creators: name: Garner, Richard
name: Power, John
Publisher: name: arXiv
Year: 2017
Subjects: subject: Category Theory (math.CT)
subject: FOS: Mathematics
subject: 18C10, 18C35, 18D20

description: We give a new account of the correspondence, first established by Nishizawa--Power, between finitary monads and Lawvere theories over an arbitrary locally finitely presentable base. Our account explains this correspondence in terms of enriched category theory: the passage from a finitary monad to the corresponding Lawvere theory is exhibited as an instance of free completion of an enriched category under a class of absolute colimits. This extends work of the first author, who established the result in the special case of finitary monads and Lawvere theories over the category of sets; a novel aspect of the generalisation is its use of enrichment over a bicategory, rather than a monoidal category, in order to capture the monad--theory correspondence over all locally finitely presentable bases simultaneously.
description: 24 pages
Hubble, il problema è nell’alimentatore
Creators: Marco Malaspina
Publisher: name: Media Inaf
Year: 2021

Dopo un mese di test diagnostici, i tecnici della Nasa dovrebbero essere riusciti a individuare la causa del malfunzionamento che ha costretto il telescopio spaziale a sospendere le attività scientifiche: il segnale di alt è arrivato da un circuito di protezione che controlla i livelli di tensione dell’alimentazione del computer di bordo. A partire da oggi verrà tentato il passaggio a un’unità di backup
Two-dimensional pseudogap effects of an ultracold Fermi gas in the BCS-BEC crossover region
Creators: name: Watanabe, Ryota
name: Tsuchiya, Shunji
name: Ohashi, Yoji
Publisher: name: arXiv
Year: 2012
Subjects: subject: Quantum Gases (cond-mat.quant-gas)
subject: FOS: Physical sciences

description: We investigate pseudogap phenomena originating from pairing fluctuations in the BCS-BEC crossover regime of a two-dimensional Fermi gas in a harmonic trap. Including pairing fluctuations within a $T$-matrix theory and effects of a trap within the local density approximation, we calculate the local density of states (LDOS) at the superfluid phase transition temperature $T_{\rm c}$. In the weak-coupling regime, we show that the pseudogap already appears in LDOS around the trap center. The spatial region where the pseudogap can be seen in LDOS becomes wider for a strong pairing interaction. We also discuss how the pseudogap affects the spectrum of the photoemission-type experiment developed by JILA group.
description: 7 pages, 4 figures, proceedings of QFS 2012
Lettere dalla fine del mondo
Creators: Angelo Adamo
Publisher: name: Media Inaf
Year: 2021

Quello fra Massimiliano Parente e Giorgio Vallortigara è un “dialogo tra uno scrittore che voleva essere uno scienziato e uno scienziato che voleva essere uno scrittore” – come recita il sottotitolo del libro – che ad Angelo Adamo ricorda un altro “Dialogo”: quello fra Primo Levi e Tullio Regge del 1984. Oggi su Media Inaf la sua recensione
title: Роль международного права в совершенствовании юридического образования в республике Узбекистан на современном этапе
Creators: name: Yuldasheva, G.
Publisher: name: Tashkent state university of law
Year: 2018

description: В статье рассматриваются вопросы реформирования высшего образования на современном этапе, а также роль и значение международного права и Европейского права при подготовке высококвалифицированных юристов для государственных, правоохранительных органов и частного сектора в Республике Узбекистан.
Tameness in least fixed-point logic and McColm's conjecture
Creators: name: Bhaskar, Siddharth
name: Kruckman, Alex
Publisher: name: arXiv
Year: 2017
Subjects: subject: Logic (math.LO)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Mathematics
subject: FOS: Computer and information sciences

description: We investigate four model-theoretic tameness properties in the context of least fixed-point logic over a family of finite structures. We find that each of these properties depends only on the elementary (i.e., first-order) limit theory, and we completely determine the valid entailments among them. In contrast to the context of first-order logic on arbitrary structures, the order property and independence property are equivalent in this setting. McColm conjectured that least fixed-point definability collapses to first-order definability exactly when proficiency fails. McColm's conjecture is known to be false in general. However, we show that McColm's conjecture is true for any family of finite structures whose limit theory is model-theoretically tame.
A comparative study of selected parallel tempering methods
Creators: name: Malakis, A.
name: Papakonstantinou, T.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: We review several parallel tempering schemes and examine their main ingredients for accuracy and efficiency. The present study covers two selection methods of temperatures and several choices for the exchange of replicas, including a recent novel all-pair exchange method. We compare the resulting schemes and measure specific heat errors and efficiency using the two-dimensional (2D) Ising model. Our tests suggest that, an earlier proposal for using numbers of local moves related to the canonical correlation times is one of the key ingredients for increasing efficiency, and protocols using cluster algorithms are found to be very effective. Some of the protocols are also tested for efficiency and ground state production in 3D spin glass models where we find that, a simple nearest-neighbor approach using a local n-fold way algorithm is the most effective. Finally, we present evidence that the asymptotic limits of the ground state energy for the isotropic case and that of an anisotropic case of the 3D spin-glass model are very close and may even coincide.
description: 16 pages, 10 figures, includes minor amendments of version v1, to appear in PRE
Bayesian Decision Theory and Stochastic Independence
Creators: name: Mongin, Philippe
Publisher: name: arXiv
Year: 2017
Subjects: subject: Computer Science and Game Theory (cs.GT)
subject: FOS: Computer and information sciences
subject: J2

description: Stochastic independence has a complex status in probability theory. It is not part of the definition of a probability measure, but it is nonetheless an essential property for the mathematical development of this theory. Bayesian decision theorists such as Savage can be criticized for being silent about stochastic independence. From their current preference axioms, they can derive no more than the definitional properties of a probability measure. In a new framework of twofold uncertainty, we introduce preference axioms that entail not only these definitional properties, but also the stochastic independence of the two sources of uncertainty. This goes some way towards filling a curious lacuna in Bayesian decision theory.
description: In Proceedings TARK 2017, arXiv:1707.08250
Additional file 10 of MMP14 expression levels accurately predict the presence of extranodal extensions in oral squamous cell carcinoma: a retrospective cohort study
Creators: name: Noda, Yuri
name: Ishida, Mitsuaki
name: Yamaka, Ryosuke
name: Ueno, Yasuhiro
name: Sakagami, Tomofumi
name: Fujisawa, Takuo
name: Iwai, Hiroshi
name: Tsuta, Koji
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Cell Biology
subject: Immunology
subject: FOS: Clinical medicine
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Cancer

description: Supplementary Material 10
Feedback computability on Cantor space
Creators: name: Ackerman, Nathanael L.
name: Freer, Cameron E.
name: Lubarsky, Robert S.
Publisher: name: arXiv
Year: 2017
Subjects: subject: Logic (math.LO)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Mathematics
subject: FOS: Computer and information sciences
subject: Primary 03D65, Secondary 03C57, 03D30, 03E15

description: We introduce the notion of feedback computable functions from $2^ω$ to $2^ω$, extending feedback Turing computation in analogy with the standard notion of computability for functions from $2^ω$ to $2^ω$. We then show that the feedback computable functions are precisely the effectively Borel functions. With this as motivation we define the notion of a feedback computable function on a structure, independent of any coding of the structure as a real. We show that this notion is absolute, and as an example characterize those functions that are computable from a Gandy ordinal with some finite subset distinguished.
Abstract Hidden Markov Models: a monadic account of quantitative information flow
Creators: name: McIver, Annabelle
name: Morgan, Carroll
name: Rabehaja, Tahiry
Publisher: name: arXiv
Year: 2017
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Hidden Markov Models, HMM's, are mathematical models of Markov processes with state that is hidden, but from which information can leak. They are typically represented as 3-way joint-probability distributions. We use HMM's as denotations of probabilistic hidden-state sequential programs: for that, we recast them as `abstract' HMM's, computations in the Giry monad $\mathbb{D}$, and we equip them with a partial order of increasing security. However to encode the monadic type with hiding over some state $\mathcal{X}$ we use $\mathbb{D}\mathcal{X}\to \mathbb{D}^2\mathcal{X}$ rather than the conventional $\mathcal{X}{\to}\mathbb{D}\mathcal{X}$ that suffices for Markov models whose state is not hidden. We illustrate the $\mathbb{D}\mathcal{X}\to \mathbb{D}^2\mathcal{X}$ construction with a small Haskell prototype. We then present uncertainty measures as a generalisation of the extant diversity of probabilistic entropies, with characteristic analytic properties for them, and show how the new entropies interact with the order of increasing security. Furthermore, we give a `backwards' uncertainty-transformer semantics for HMM's that is dual to the `forwards' abstract HMM's - it is an analogue of the duality between forwards, relational semantics and backwards, predicate-transformer semantics for imperative programs with demonic choice. Finally, we argue that, from this new denotational-semantic viewpoint, one can see that the Dalenius desideratum for statistical databases is actually an issue in compositionality. We propose a means for taking it into account.
La goccia che fa traboccare la supernova
Creators: Valentina Guglielmo
Publisher: name: Media Inaf
Year: 2021

Osservata una nana bianca mentre finisce di consumare la sua compagna. Il periodo orbitale delle due stelle – una nana bianca e una subnana calda – è inferiore ai cento minuti e la loro massa supera il limite di stabilità per una nana bianca. Fra circa 70 milioni di anni, quando la più grande delle due avrà definitivamente inghiottito l’altra, il sistema emetterà onde gravitazionali e probabilmente esploderà come Supernova di tipo Ia
Additional file 3 of Consensus-based guidelines for the provision of palliative and end-of-life care for people living with epidermolysis bullosa
Creators: name: Popenhagen, Mark P.
name: Genovese, Paola
name: Blishen, Mo
name: Rajapakse, Dilini
name: Diem, Anja
name: King, Alex
name: Chan, Jennifer
name: Pellicer Arasa, Eduard
name: Baird, Simone
name: Ferreira da Rocha, Anna Carolina
name: Stitt, Gideon
name: Badger, Kellie
name: Zmazek, Vlasta
name: Ambreen, Faiza
name: Mackenzie, Caroline
name: Price, Harper
name: Roberts, Toni
name: Moore, Zena
name: Patton, Declan
name: Murphy, Paul
name: Mayre-Chilton, Kattya
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Pharmacology
subject: Biotechnology
subject: Sociology
subject: FOS: Sociology

description: Additional file 3: Stakeholder involvement, peer review, and methodology.
Reentrant BCS-BEC crossover and a superfluid-insulator transition in optical lattices
Creators: name: Shen, Zhaochuan
name: Radzihovsky, L.
name: Gurarie, V.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Quantum Gases (cond-mat.quant-gas)
subject: Superconductivity (cond-mat.supr-con)
subject: FOS: Physical sciences

description: We study thermodynamics of a two-species Feshbach-resonant atomic Fermi gas in a periodic potential, focusing in a deep optical potential where a tight binding model is applicable. We show that for more than half-filled band the gas exhibits a reentrant crossover with decreased detuning (increased attractive interaction), from a paired BCS superfluid to a Bose-Einstein condensate (BEC) of molecules of holes, back to the BCS superfluid, and finally to a conventional BEC of diatomic molecules. This behavior is associated with the non-monotonic dependence of the chemical potential on detuning and the concomitant Cooper-pair/molecular size, larger in the BCS and smaller in the BEC regimes. For a single filled band we find a quantum phase transition from a band insulator to a BCS-BEC superfluid, and map out the corresponding phase diagram.
description: 5 pages, 2 figures
Additional file 11 of MMP14 expression levels accurately predict the presence of extranodal extensions in oral squamous cell carcinoma: a retrospective cohort study
Creators: name: Noda, Yuri
name: Ishida, Mitsuaki
name: Yamaka, Ryosuke
name: Ueno, Yasuhiro
name: Sakagami, Tomofumi
name: Fujisawa, Takuo
name: Iwai, Hiroshi
name: Tsuta, Koji
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Cell Biology
subject: Immunology
subject: FOS: Clinical medicine
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Cancer

description: Supplementary Material 11
Optical properties of iron-based superconductor LiFeAs single crystal
Creators: name: Min, Byeong Hun
name: Hong, Jong Beom
name: Yoon, Jae Hyun
name: Iizuka, Takuya
name: Kimura, Shin-ichi
name: Bang, Yunkyu
name: Kwon, Yong Seung
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 have measured the reflectivity spectra of the iron based superconductor LiFeAs (Tc = 17.6 K) in the temperature range from 4 to 300 K. In the superconducting state (T < Tc), the clear opening of the optical absorption gap was observed below 25 cm-1, indicating an isotropic full gap formation. In the normal state (T > Tc), the optical conductivity spectra display a typical metallic behavior with the Drude type spectra at low frequencies, but we found that the introduction of the two Drude components best fits the data, indicating the multiband nature of this superconductor. A theoretical analysis of the low temperature data (T=4K < Tc) also suggests that two superconducting gaps best fit the data and their values were estimated as Δ1 = 1.59 meV and Δ2 = 3.15 meV, respectively. Using the Ferrell-Glover-Tinkham (FGT) sum rule and dielectric function ε1(ω), the superconducting plasma frequency (ωps) is consistently estimated to be 6,665 cm-1, implying that about 59 % of the free carriers in the normal state condenses into the SC condensate. To investigate the various interband transition processes (for ω > 200 cm-1), we have also performed the local-density approximation (LDA) band calculation and calculated the optical spectra of the interband transitions. The theoretical results provided a qualitative agreement with the experimental data below 4000 cm-1
description: 19 pages, 5 figures. This paper has been accepted for publication in New Journal of Physics
Zur Geschichte der Erzgiesserkunst
Creators: name: Nordhoff, Josef Bernhard
Publisher: name: Bonner Jahrbücher
Year: 2018

description: [nicht vorhanden / not available]
description: Bonner Jahrbücher, Bd. 76 (1883): Jahrbücher des Vereins von Alterthumsfreunden im Rheinlande
Un rover costoso, ma spaziale
Creators: Patrizia Caraveo
Publisher: name: Media Inaf
Year: 2021

Mezzo secolo fa il collaudo del “Moon Buggy”: venne usato solo tre volte ma aprì nuove strade alla fisica e alla robotica. Ne parla un articolo di Patrizia Caraveo pubblicato domenica sul Sole24Ore, ripreso oggi da Media Inaf con il consenso dell’autrice
Inverse Dirichlet to Neumann problem for nodal curves
Creators: name: Henkin, Gennadi
name: Michel, Vincent
Publisher: name: arXiv
Year: 2012
Subjects: subject: Complex Variables (math.CV)
subject: FOS: Mathematics
subject: 32D15, 32C25, 32V15, 35R30, 58J32

description: This paper proposes direct and inverse results for the Dirichlet and Dirichlet to Neumann problems for complex curves with nodal type singularities. As an application, we give a method to reconstruct the conformal structure of a compact surface of the standard three dimensional euclidean space with constant scalar conductivity from electrical current measurements in a neighborhood of one of its points.
Additional file 12 of MMP14 expression levels accurately predict the presence of extranodal extensions in oral squamous cell carcinoma: a retrospective cohort study
Creators: name: Noda, Yuri
name: Ishida, Mitsuaki
name: Yamaka, Ryosuke
name: Ueno, Yasuhiro
name: Sakagami, Tomofumi
name: Fujisawa, Takuo
name: Iwai, Hiroshi
name: Tsuta, Koji
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Cell Biology
subject: Immunology
subject: FOS: Clinical medicine
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Cancer

description: Supplementary Material 12
Infinite-dimensional fermionic symmetry in supersymmetric gauge theories
Creators: name: Dumitrescu, Thomas T.
name: He, Temple
name: Mitra, Prahar
name: Strominger, Andrew
Publisher: name: Apollo - University of Cambridge Repository
Year: 2021
Subjects: Regular Article - Theoretical Physics
Gauge Symmetry
Scattering Amplitudes
Supersymmetric Gauge Theory

description: Abstract: We establish the existence of an infinite-dimensional fermionic symmetry in four-dimensional supersymmetric gauge theories by analyzing semiclassical photino dynamics in abelian N = 1 theories with charged matter. The symmetry is parametrized by a spinor-valued function on an asymptotic S2 at null infinity. It is not manifest at the level of the Lagrangian, but acts non-trivially on physical states, and its Ward identity is the soft photino theorem. The infinite-dimensional fermionic symmetry resides in the same N = 1 supermultiplet as the physically non-trivial large gauge symmetries associated with the soft photon theorem.
900 “occhi” in fibra ottica per studiare l’universo
Creators: Ufficio stampa Inaf
Publisher: name: Media Inaf
Year: 2021

Sulle isole Canarie si sta completando l’assemblaggio e i test preliminari di Weave, un sofisticato strumento che fornirà dati preziosi per riuscire a comprendere come si è formata la Via Lattea e l'evoluzione delle sue stelle, ma anche l'evoluzione delle galassie esterne alla nostra e la natura della materia oscura e dell'energia oscura. Il progetto internazionale vede la partecipazione scientifica dell'Inaf
Particle Production in f(R) Gravity during Structure Formation
Creators: name: Arbuzova, E. V.
name: Dolgov, A. D.
name: Reverberi, L.
Publisher: name: arXiv
Year: 2013
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: We study particle production in infrared-modified gravitational theories in the contemporary universe. It is shown that in astronomical systems with rising mass density, the curvature scalar may oscillate with very high frequency. These oscillations lead to efficient particle production and in an interesting range of model parameters could be a source of energetic cosmic rays. This effect either excludes some models of modified gravity or suggests a new mechanism of cosmic ray production.
description: 16 pages, 3 figures
Non-equilibrium transport with self-consistent renormalised contacts for a single-molecule nanodevice with electron-vibron interaction
Creators: name: Ness, H.
name: Dash, L. K.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: We present an application of a new formalism to treat the quantum transport properties of fully interacting nanoscale junctions [Phys. Rev. B {\bf 84}, 235428 (2011)]. We consider a model single-molecule nanojunction in the presence of two kinds of electron-vibron interactions. In terms of electron density matrix, one interaction is diagonal in the central region and the second is off-diagonal in between the central region and the left electrode. We use a non-equilibrium Green's function technique to calculate the system's properties in a self-consistent manner. The interaction self-energies are calculated at the Hartree-Fock level in the central region and at the Hartree level for the crossing interaction. Our calculations are performed for different transport regimes ranging from the far off-resonance to the quasi-resonant regime, and for a wide range of parameters. They show that a non-equilibrium (i.e. bias dependent) static (i.e. energy independent) renormalisation is obtained for the nominal hopping matrix element between the left electrode and the central region. Such a renormalisation is highly non-linear and non-monotonic with the applied bias, however it always lead to a reduction of the current, and also affects the resonances in the conductance. Furthermore, we show that the relationship between the non-equilibrium charge susceptibility and dynamical conductance still holds even in the presence of crossing interaction.
description: accepted for publication in Phys. Rev. B
On Almost Well-Covered Graphs of Girth at Least 6
Creators: name: Ekim, Tınaz
name: Gözüpek, Didem
name: Hujdurović, Ademir
name: Milanič, Martin
Publisher: name: arXiv
Year: 2017
Subjects: subject: Discrete Mathematics (cs.DM)
subject: Combinatorics (math.CO)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics

description: We consider a relaxation of the concept of well-covered graphs, which are graphs with all maximal independent sets of the same size. The extent to which a graph fails to be well-covered can be measured by its independence gap, defined as the difference between the maximum and minimum sizes of a maximal independent set in $G$. While the well-covered graphs are exactly the graphs of independence gap zero, we investigate in this paper graphs of independence gap one, which we also call almost well-covered graphs. Previous works due to Finbow et al. (1994) and Barbosa et al. (2013) have implications for the structure of almost well-covered graphs of girth at least $k$ for $k\in \{7,8\}$. We focus on almost well-covered graphs of girth at least $6$. We show that every graph in this class has at most two vertices each of which is adjacent to exactly $2$ leaves. We give efficiently testable characterizations of almost well-covered graphs of girth at least $6$ having exactly one or exactly two such vertices. Building on these results, we develop a polynomial-time recognition algorithm of almost well-covered $\{C_3,C_4,C_5,C_7\}$-free graphs.
Transit Timing Observations from Kepler. VIII Catalog of Transit Timing Measurements of the First Twelve Quarters
Creators: name: Mazeh, Tsevi
name: Nachmani, Gil
name: Holczer, Tomer
name: Fabrycky, Daniel C.
name: Ford, Eric B.
name: Sanchis-Ojeda, Roberto
name: Sokol, Gil
name: Rowe, Jason F.
name: Zucker, Shay
name: Agol, Eric
name: Carter, Joshua A.
name: Lissauer, Jack J.
name: Quintana, Elisa V.
name: Ragozzine, Darin
name: Steffen, Jason H.
name: Welsh, William
Publisher: name: arXiv
Year: 2013
Subjects: subject: Earth and Planetary Astrophysics (astro-ph.EP)
subject: FOS: Physical sciences

description: Following Ford et al. (2011, 2012) and Steffen et al. (2012) we derived the transit timing of 1960 Kepler KOIs using the pre-search data conditioning (PDC) light curves of the first twelve quarters of the Kepler data. For 721 KOIs with large enough SNRs, we obtained also the duration and depth of each transit. The results are presented as a catalog for the community to use. We derived a few statistics of our results that could be used to indicate significant variations. Including systems found by previous works, we have found 130 KOIs that showed highly significant TTVs, and 13 that had short-period TTV modulations with small amplitudes. We consider two effects that could cause apparent periodic TTV - the finite sampling of the observations and the interference with the stellar activity, stellar spots in particular. We briefly discuss some statistical aspects of our detected TTVs. We show that the TTV period is correlated with the orbital period of the planet and with the TTV amplitude.
description: Accepted for publication to ApJ. 57 pages, 23 Figures. Machine readable catalogs are available at ftp://wise-ftp.tau.ac.il/pub/tauttv/TTV
LiciaCube pronto per salire a bordo di Dart
Creators: Redazione Asi
Publisher: name: Media Inaf
Year: 2021

Scatti fotografici ad alta risoluzione per il microsat italiano, realizzato da Argotec e Asi, che volerà con la Nasa alla volta di un asteroide. Importante la partecipazione dell'Inaf, a cui è affidato anche il coordinamento scientifico delle attività di LiciaCube nell'ambito della missione Dart
Universality and Critical Behavior at the Critical-End-Point on Itinerant-Metamagnet UCoAl
Creators: name: Karube, K.
name: Hattori, T.
name: Kitagawa, S.
name: Ishida, K.
name: Kimura, N.
name: Komatsubara, T.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: We performed nuclear-magnetic-resonance (NMR) measurements on itinerant-electron metamagnet UCoAl in order to investigate the critical behavior of the magnetism near a metamagnetic (MM) critical endpoint (CEP). We derived c-axis magnetization $M_c$ and its fluctuation $S_c$ from the measurements of Knight shift and nuclear spin-lattice relaxation rate $1/T_1$ as a function of the c-axis external field ($H_c$) and temperature ($T$). We developed contour plots of $M_c$ and $S_c$ on the $H_c$ - $T$ phase diagram, and observed the strong divergence of $S_c$ at the CEP. The critical exponents of $M_c$ and $S_c$ near the CEP are estimated, and found to be close to the universal properties of a three-dimensional (3-D) Ising model. We indicate that the critical phenomena at the itinerant-electron MM CEP in UCoAl have a common feature as a gas-liquid transition.
description: 8 Pages, 14 figures
Proof-Relevant Logical Relations for Name Generation
Creators: name: Benton, Nick
name: Hofmann, Martin
name: Nigam, Vivek
Publisher: name: arXiv
Year: 2017
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Pitts and Stark's $ν$-calculus is a paradigmatic total language for studying the problem of contextual equivalence in higher-order languages with name generation. Models for the $ν$-calculus that validate basic equivalences concerning names may be constructed using functor categories or nominal sets, with a dynamic allocation monad used to model computations that may allocate fresh names. If recursion is added to the language and one attempts to adapt the models from (nominal) sets to (nominal) domains, however, the direct-style construction of the allocation monad no longer works. This issue has previously been addressed by using a monad that combines dynamic allocation with continuations, at some cost to abstraction. This paper presents a direct-style model of a $ν$-calculus-like language with recursion using the novel framework of proof-relevant logical relations, in which logical relations also contain objects (or proofs) demonstrating the equivalence of (the semantic counterparts of) programs. Apart from providing a fresh solution to an old problem, this work provides an accessible setting in which to introduce the use of proof-relevant logical relations, free of the additional complexities associated with their use for more sophisticated languages.