cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Universal Constructions for (Co)Relations: categories, monoidal categories, and props
Creators: name: Fong, Brendan
name: Zanasi, Fabio
Publisher: name: arXiv
Year: 2017
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Category Theory (math.CT)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics
subject: F.3.2

description: Calculi of string diagrams are increasingly used to present the syntax and algebraic structure of various families of circuits, including signal flow graphs, electrical circuits and quantum processes. In many such approaches, the semantic interpretation for diagrams is given in terms of relations or corelations (generalised equivalence relations) of some kind. In this paper we show how semantic categories of both relations and corelations can be characterised as colimits of simpler categories. This modular perspective is important as it simplifies the task of giving a complete axiomatisation for semantic equivalence of string diagrams. Moreover, our general result unifies various theorems that are independently found in literature and are relevant for program semantics, quantum computation and control theory.
description: 22 pages + 3 page appendix, extended version of arXiv:1703.08247
title: Ижтимоий муҳит, техноген цивилизация ва ахлоқ масалалари
Creators: name: Yoldashev, O.
Publisher: name: Tashkent state university of law
Year: 2018

description: Ушбу мақола глобаллашув шароитида техниканинг табиатга бўлган муносабатининг ортиб бориши ва бу жараёнда ёш авлодни маънавий-ахлоқий тарбиялаш муаммоларига бағишланган. Мақола муаллифи замонавийжамиятнинг асосий вазифасидавр талабларигамувофиқ кучли авлодни тарбиялаш муҳимлигини таъкидлайди.
Thermal Rectification in Graded Materials
Creators: name: Wang, Jiao
name: Pereira, Emmanuel
name: Casati, Giulio
Publisher: name: arXiv
Year: 2012
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: In order to identify the basic conditions for thermal rectification we investigate a simple model with non-uniform, graded mass distribution. The existence of thermal rectification is theoretically predicted and numerically confirmed, suggesting that thermal rectification is a typical occurrence in graded systems, which are likely to be natural candidates for the actual fabrication of thermal diodes. In view of practical implications, the dependence of rectification on the asymmetry and system's size is studied.
description: 5 pages, 4 figures
Mercurio e il suo grande cuore di ferro
Creators: Maura Sandri
Publisher: name: Media Inaf
Year: 2021

Uno studio pubblicato sulla rivista Progress in Earth and Planetary Science dimostra come il magnetismo solare nelle prime fasi della formazione planetaria potrebbe essere il responsabile della struttura interna dei pianeti rocciosi e del grande e denso nucleo metallico di Mercurio, riproducendo il gradiente nel contenuto e nella densità di metalli osservato nei pianeti del Sistema solare
Polishness of some topologies related to word or tree automata
Creators: name: Finkel, Olivier
name: Carton, Olivier
name: Lecomte, Dominique
Publisher: name: arXiv
Year: 2017
Subjects: subject: Logic (math.LO)
subject: Formal Languages and Automata Theory (cs.FL)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Mathematics
subject: FOS: Computer and information sciences

description: We prove that the Büchi topology and the automatic topology are Polish. We also show that this cannot be fully extended to the case of a space of infinite labelled binary trees; in particular the Büchi and the Muller topologies are not Polish in this case.
description: This paper is an extended version of a paper which appeared in the proceedings of the 26th EACSL Annual Conference on Computer Science and Logic, CSL 2017. The main addition with regard to the conference paper consists in the study of the B\"uchi topology and of the Muller topology in the case of a space of trees, which now forms Section 4
La storia fantastica della foto al buco nero di M87
Creators: Corrado Ruscica
Publisher: name: Media Inaf
Year: 2021

L’astrofisico della Radboud University Heino Falcke, fra i protagonisti del progetto Event Horizon Telescope e della prima immagine di un buco nero, ha ricostruito le tappe fondamentali di quello storico traguardo nel best-seller “L’enigma dei buchi neri. Alla scoperta dell’universo e della natura umana”, da oggi disponibile anche nelle librerie italiane. Lo ha intervistato per noi Corrado Ruscica
Focusing through random media in space and time: a transmission matrix approach
Creators: name: Shi, Zhou
name: Davy, Matthieu
name: Wang, Jing
name: Genack, Azriel Z.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Disordered Systems and Neural Networks (cond-mat.dis-nn)
subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: We exploit the evolution in time of the transmission matrix following pulse excitation of a random medium to focus radiation at a selected time delay t' and position r. The temporal profile of a focused microwave pulse is the same as the incident Gaussian pulse. The contrast in space at time t' of the focused wave is determined by the participation number of transmission eigenvalues M' and the size N' of the measured transmission matrix. The initial rise and subsequent decay in contrast observed reflects the distribution of decay rates of the quasi-normal modes within the sample.
description: 4 pages, 3 figures
Null’altro che buchi neri nel futuro di Palomar 5
Creators: Marco Malaspina
Publisher: name: Media Inaf
Year: 2021

Tempo un miliardo di anni e là dove oggi c’è l’ammasso stellare noto come Palomar 5 non resterà che qualche decina di buchi neri. Ad anticiparne il funesto destino è un articolo, pubblicato oggi su Nature Astronomy, condotto simulando le orbite e l’evoluzione di ogni stella presente nell’ammasso, dalla sua formazione fino alla dissoluzione finale
The dust and gas content of carbon stars toward the Galactic Halo
Creators: name: Lagadec, Eric
name: Sloan, Greg. C.
name: Zijlstra, Albert. A.
name: Mauron, Nicolas
name: Houck, J. R.
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 Spitzer IRS spectra of four carbon stars located in the Galactic Halo and the thick disc. The spectra display typical features of carbon stars with SiC dust emission and C$_2$H$_2$ molecular absorption. Dust radiative transfer models and infrared colors enable us to determine the dust production rates for these stars whilst prior CO measurements yield expansion velocities and total mass-loss rates. The gas properties (low expansion velocities (around 7 km/s) and strong C$_2$H$_2$ molecular absorption bands) are consistent with the stars being metal-poor. However the dust content of these stars (strong SiC emission bands) is very similar to what is observed in metal-rich carbon stars. The strong SiC emission may indicate that the carbon stars derive from a metal-rich population, or that these AGB stars produce silicon. The origin of the halo carbon stars is not known. They may be extrinsinc halo stars belonging to the halo population, they may have been accreted from a satellite galaxy such as the Sagittarius Dwarf Spheroidal Galaxy, or they may be escapees from the galactic disk. If the stars are intrinsically metal-rich, an origin in the disc would be most likely. If an $α$-element enhancement can be confirmed, it would argue for an origin in the halo (which is known to be $α$-enhanced) or a Galactic satellite.
description: 10 pages, 5 figures, accepted for publications in MNRAS
Confermato un teorema di Hawking sui buchi neri
Creators: Maura Sandri
Publisher: name: Media Inaf
Year: 2021

Cinquant'anni dopo la formulazione del teorema dell'area di Hawking è arrivata la sua prima conferma osservativa diretta da parte di un gruppo di cinque fisici che sono stati in grado di derivare e confrontare le aree dei buchi neri coinvolti nell’evento Gw 150914, prima e dopo la fusione. Tutti i dettagli su Physical Review Letters
Additional file 1 of Does patient behaviour drive physicians to practice defensive medicine? Evidence from a video experiment
Creators: name: Daniels, Lotte
name: Marneffe, Wim
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Immunology
subject: FOS: Clinical medicine
subject: Biological Sciences not elsewhere classified
subject: Cancer
subject: Science Policy
subject: Mental Health

description: Additional file 1: Appendix.
Additional file 1 of Preparing for colorectal surgery: a qualitative study of experiences and preferences of patients in Western Canada
Creators: name: Wang, Rebecca
name: Yao, Christopher
name: Hung, Stanley H.
name: Meyers, Logan
name: Sutherland, Jason M.
name: Karimuddin, Ahmer
name: Campbell, Kristin L.
name: Conklin, Annalijn I.
Publisher: name: figshare
Year: 2022
Subjects: Medicine
Science Policy

description: Additional file 1: Supplementary Table S1. List of common guiding questions used in the focus groups to explore patient experiences and preferences for prehabilitation in colorectal surgery. Supplementary Table S2. Final codebook developed during data analysis.
La formazione stellare nella Via Lattea a 360 gradi
Creators: Claudia Mignone
Publisher: name: Media Inaf
Year: 2021

Contiene oltre 150mila oggetti compatti, con al loro interno formazione stellare in corso o in potenza, il catalogo finale realizzato con i dati del telescopio spaziale Herschel nell’ambito della survey Hi-Gal. Media Inaf ha intervistato Davide Elia dell'Istituto nazionale di astrofisica, primo autore dell'articolo che presenta i nuovi risultati, pubblicato su Monthly Notices of the Royal Astronomical Society
Concurrency and Probability: Removing Confusion, Compositionally
Creators: name: Bruni, Roberto
name: Melgratti, Hernán
name: Montanari, Ugo
Publisher: name: arXiv
Year: 2017
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: F.1.1; F.1.2
subject: F.1.1, F.1.2

description: Assigning a satisfactory truly concurrent semantics to Petri nets with confusion and distributed decisions is a long standing problem, especially if one wants to resolve decisions by drawing from some probability distribution. Here we propose a general solution based on a recursive, static decomposition of (occurrence) nets in loci of decision, called structural branching cells (s-cells). Each s-cell exposes a set of alternatives, called transactions. Our solution transforms a given Petri net into another net whose transitions are the transactions of the s-cells and whose places are those of the original net, with some auxiliary structure for bookkeeping. The resulting net is confusion-free, and thus conflicting alternatives can be equipped with probabilistic choices, while nonintersecting alternatives are purely concurrent and their probability distributions are independent. The validity of the construction is witnessed by a tight correspondence with the recursively stopped configurations of Abbes and Benveniste. Some advantages of our approach are that: i) s-cells are defined statically and locally in a compositional way; ii) our resulting nets faithfully account for concurrency.
Additional file 1 of “Assessing exposure of printing factory workers in thailand to selected heavy metals using urine and hair as non-invasive matrices”
Creators: name: Sirinara, Patthrarawalai
name: Patarapongsant, Yupin
name: Nilyai, Siwaporn
name: Sooklert, Kanidta
name: Dissayabutra, Thasinas
name: Rojanathanes, Rojrit
name: Sereemaspun, Amornpun
Publisher: name: figshare
Year: 2023
Subjects: subject: Biochemistry
subject: Medicine
subject: Cell Biology
subject: Biotechnology
subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: Developmental Biology
subject: Science Policy

description: Additional file 1: Fig S1. The workflow diagram of this study.
On Types of Elliptic Pseudoprimes
Creators: name: Babinkostova, L.
name: Hernández-Espiet, A.
name: Kim, H.
Publisher: name: arXiv
Year: 2017
Subjects: subject: Group Theory (math.GR)
subject: Number Theory (math.NT)
subject: FOS: Mathematics
subject: 14H52, 14K22, 11Y01, 11N25, 11G07, 11G20, 11B99

description: We generalize the notions of elliptic pseudoprimes and elliptic Carmichael numbers introduced by Silverman to analogues of Euler-Jacobi and strong pseudoprimes. We investigate the relationships among Euler Elliptic Carmichael numbers , strong elliptic Carmichael numbers, products of anomalous primes and elliptic Korselt numbers of Type I: The former two of these are introduced in this paper, and the latter two of these were introduced by Mazur (1973) and Silverman (2012) respectively. In particular, we expand upon a previous work of Babinkostova et al. by proving a conjecture about the density of certain elliptic Korselt numbers of Type I that are products of anomalous primes.
description: Revised for publication. 33 pages
Si restringe il divario sul litio mancante
Creators: Maura Sandri
Publisher: name: Media Inaf
Year: 2021

Esiste una discrepanza significativa tra le quantità teoriche e osservate di litio nell’universo, nota come problema cosmologico del litio, che affligge i cosmologi da decenni. Ora, un gruppo di ricercatori ha ridotto questa discrepanza di circa il 10 per cento, grazie a un nuovo esperimento sui processi nucleari responsabili della creazione del litio. Lo studio pubblicato su ApJL potrebbe indicare la strada per una comprensione più completa dell'universo primordiale
Die Heidelsburg bei Waldfischbach und ihre Denkmäler
Creators: name: Mehlis, Christian
Publisher: name: Bonner Jahrbücher
Year: 2018

description: [nicht vorhanden / not available]
description: Bonner Jahrbücher, Bd. 77 (1884): Jahrbücher des Vereins von Altertumsfreunden im Rheinlande
GPU-based Monte Carlo radiotherapy dose calculation using phase-space sources
Creators: name: Townson, Reid
name: Jia, Xun
name: Tian, Zhen
name: Graves, Yan Jiang
name: Zavgorodni, Sergei
name: Jiang, Steve B
Publisher: name: arXiv
Year: 2013
Subjects: subject: Medical Physics (physics.med-ph)
subject: FOS: Physical sciences
subject: J.2

description: A novel phase-space source implementation has been designed for GPU-based Monte Carlo dose calculation engines. Due to the parallelized nature of GPU hardware, it is essential to simultaneously transport particles of the same type and similar energies but separated spatially to yield a high efficiency. We present three methods for phase-space implementation that have been integrated into the most recent version of the GPU-based Monte Carlo radiotherapy dose calculation package gDPM v3.0. The first method is to sequentially read particles from a patient-dependent phase-space and sort them on-the-fly based on particle type and energy. The second method supplements this with a simple secondary collimator model and fluence map implementation so that patient-independent phase-space sources can be used. Finally, as the third method (called the phase-space-let, or PSL, method) we introduce a novel strategy to pre-process patient-independent phase-spaces and bin particles by type, energy and position. Position bins located outside a rectangular region of interest enclosing the treatment field are ignored, substantially decreasing simulation time. The three methods were validated in absolute dose against BEAMnrc/DOSXYZnrc and compared using gamma-index tests (2%/2mm above the 10% isodose). It was found that the PSL method has the optimal balance between accuracy and efficiency and thus is used as the default method in gDPM v3.0. Using the PSL method, open fields of 4x4, 10x10 and 30x30 cm2 in water resulted in gamma passing rates of 99.96%, 99.92% and 98.66%, respectively. Relative output factors agreed within 1%. An IMRT patient plan using the PSL method resulted in a passing rate of 97%, and was calculated in 50 seconds using a single GPU compared to 8.4 hours (per CPU) for BEAMnrc/DOSXYZnrc.
description: 19 pages, 6 figures
title: Конструкция и практическое применение фазостабильных антенных элементов на взвешанной подложке
Creators: name: ., А. С. Кухаренко – к.т.н., вед. инженер, АО «Научно-исследовательский институт технической физики и автоматизации» (Москва) E-mail: alexk.05@mail.ru  Р. В. Шаймарданов – к.т.н., ген. директор, ООО «Дженерал Майкровейв» (Москва)
Publisher: name: Издательство Радиотехника
Year: 2020

description: Постановка проблемы. В настоящее время все более возрастают требования к системам определения координат по сигналам глобальных навигационных спутниковых систем (ГНСС). Возрастают требования и к антенным элементам. Подавляющее большинство антенных элементов, использующихся в современной аппаратуре потребителей сигналов ГНСС, составляют микрополосковые антенны на керамической подложке с одной или несколькими точками питания. Однако применение диэлектрических подложек с высокой диэлектрической проницаемостью способствует сужению рабочей полосы частот антенных элементов, повышает требования к технологичности производства и качеству материалов подложек и, как следствие, увеличивает стоимость антенных элементов. Одним из способов улучшения перечисленных параметров является снижение диэлектрической проницаемости материала подложек. Одним из материалов с низкой диэлектрической проницаемостью является воздух.

Цель. Показать практическое применение антенных элементов на взвешанной (воздушной) подложке в конструкциях антенных модулей.

Результаты. Приведено описание классической конструкции микрополоскового антенного элемента, широко используемой в настоящее время для проектирования антенных элементов для систем ГНСС. Математически показано преимущество использования взвешанных (воздушных) подложек для конструирования микрополосковых антенн, заключающееся в существенно большей рабочей полосе частот. Описана конструкция антенного элемента на взвешанной подложке, позволяющая реализовать все заявленные преимущества, состоящие, помимо прочего, и в технологичности производства, расширении рабочего температурного диапазона, отказе от дорогостоящих диэлектрических материалов. Показаны примеры разработанных антенных модулей, имеющих в своей основе антенные элементы на взвешанной подложке. В частности, предоставлено описание антенного модуля для систем ГНСС, обеспечивающего работу со всеми диапазонами и системами спутниковой навигации при помощи только лишь одного антенного элемента.

Практическая значимость. Приведенные технические параметры разработанных модулей наглядно демонстрируют преимущества, которыми обладает описанная конструкция антенных элементов.
Mahler measures of elliptic modular surfaces
Creators: name: Brunault, Francois
name: Neururer, Michael
Publisher: name: arXiv
Year: 2017
Subjects: subject: Number Theory (math.NT)
subject: FOS: Mathematics

description: In this article we develop a new method for relating Mahler measures of three-variable polynomials that define elliptic modular surfaces to L-values of modular forms. Using an idea of Deninger, we express the Mahler measure as a Deligne period of the surface and then apply the first author's extension of the Rogers-Zudilin method to Kuga-Sato varieties to arrive at an L-value.
description: Revised version with a new Mahler measure for the elliptic surface E(4). The article will appear in Transactions of the AMS
Timed Session Types
Creators: name: Bartoletti, Massimo
name: Cimoli, Tiziana
name: Murgia, Maurizio
Publisher: name: arXiv
Year: 2017
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Timed session types formalise timed communication protocols between two participants at the endpoints of a session. They feature a decidable compliance relation, which generalises to the timed setting the progress-based compliance between untimed session types. We show a sound and complete technique to decide when a timed session type admits a compliant one. Then, we show how to construct the most precise session type compliant with a given one, according to the subtyping preorder induced by compliance. Decidability of subtyping follows from these results.
title: Разработка метода анализа экземпляров потоков работ на основе временной автоматной RVTI-грамматики
Creators: name: ., Н.Н. Войт – к.т.н.
Publisher: name: Издательство Радиотехника
Year: 2020

description: Постановка проблемы. Обязательным этапом при проектировании сложных технических изделий является анализ бизнес-процессов решения поставленной задачи, причем желательно автоматический (автоматизированный) с проверкой полученных процессов на ошибки. Вопросы анализа бездефектного завершения являются актуальными, поскольку сложность бизнес-процессов в виде моделей постоянно возрастает, а встроенные в среду моделирования средства проверки пока являются далеко не совершенными. Существующие методы анализа имеют с точки зрения науки нелинейные временные зависимости – экспоненциальные, полиномиальные. Многообразие диаграммных графических языков покрывает все возможные типы описаний систем, однако существуют нерешенные проблемы. Инструментальные средства поддержки графического проектирования не используют универсальные методы синтаксического анализа и являются узкоспециализированными и направленными на работу с одним-двумя графическими языками.

Цель. Предложить метод анализа различных типов диаграмм (EPC, BPMN, IDEF3, IDEF5, BPMN и SharePoint) на основе временной автоматной RVTI-грамматики.

Результаты. Проведен вычислительный эксперимент реализации предложенного метода на примере анализа EPC-диаграммы.

Практическая значимость. Приведены примеры найденных структурных (синтаксических) и семантических ошибок.
An intensionally fully-abstract sheaf model for $π$ (expanded version)
Creators: name: Eberhart, Clovis
name: Hirschowitz, Tom
name: Seiller, Thomas
Publisher: name: arXiv
Year: 2017
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences

description: Following previous work on CCS, we propose a compositional model for the $π$-calculus in which processes are interpreted as sheaves on certain simple sites. Such sheaves are a concurrent form of innocent strategies, in the sense of Hyland-Ong/Nickau game semantics. We define an analogue of fair testing equivalence in the model and show that our interpretation is intensionally fully abstract for it. That is, the interpretation preserves and reflects fair testing equivalence; and furthermore, any innocent strategy is fair testing equivalent to the interpretation of some process. The central part of our work is the construction of our sites, relying on a combinatorial presentation of $π$-calculus traces in the spirit of string diagrams.
Cavezzo, il doppio volto di una meteorite
Creators: Ufficio stampa Inaf
Publisher: name: Media Inaf
Year: 2021

La meteorite Cavezzo, ritrovata il 4 gennaio 2020 in provincia di Modena, è un oggetto davvero peculiare, al punto da valerle la classificazione di “condrite ordinaria anomala”. E il frammento più piccolo è caratterizzato da un’associazione mineralogica totalmente inusuale. È il risultato di uno studio internazionale guidato dall’Università di Firenze e dall’Istituto nazionale di astrofisica
A note on C^0 rigidity of Hamiltonian isotopies
Creators: name: Seyfaddini, Sobhan
Publisher: name: arXiv
Year: 2012
Subjects: subject: Symplectic Geometry (math.SG)
subject: FOS: Mathematics

description: We show that a symplectic isotopy that is a $C^0$ limit of Hamiltonian isotopies is itself Hamiltonian, if the corresponding sequence of generating Hamiltonians converge in $L^{(1, \infty)}$ topology.
description: 7 pages, to appear in Journal of Symplectic Geometry
Costante di Hubble, la tensione si allenta
Creators: Giuseppe Fiasconaro
Publisher: name: Media Inaf
Year: 2021

Le giganti rosse dicono 69.8 km/s/Mpc. È la stima del tasso di espansione dell’universo ottenuta dal team di ricercatori guidato dall’astronoma Wendy Freedman della University of Chicago. Un valore compatibile con quello derivato dalle mappe della radiazione cosmica di fondo a microonde. Il metodo utilizzato per la misura impiega come candele standard, appunto, il picco di luminosità delle giganti rosse
Surface domain engineering in congruent lithium niobate single crystals: A route to submicron periodic poling
Creators: name: Busacca, Alessandro C.
name: Sones, Collin L.
name: Apostolopoulos, Vasilis
name: Eason, Robert W.
name: Mailis, Sakellaris
Publisher: name: arXiv
Year: 2012
Subjects: subject: Optics (physics.optics)
subject: FOS: Physical sciences

description: We describe a technique for surface domain engineering in congruent lithium niobate single crystals. The method is based on conventional electric-field poling, but involves an intentional overpoling step that inverts all the material apart from a thin surface region directly below the patterned photoresist. The surface poled structures show good domain uniformity, and the technique has so far been applied to produce domain periods as small as 1 μm. The technique is fully compatible with nonlinear optical integrated devices based on waveguide structures.
Crispr arriva nello spazio
Creators: Valentina Guglielmo
Publisher: name: Media Inaf
Year: 2021

Fra i danni genetici maggiori che il Dna degli astronauti può subire in ambiente spaziale vi è la rottura a doppio filamento. In un nuovo studio sperimentale condotto nella Iss, un simile danno è stato indotto nelle cellule del fegato umano mediante la tecnica di editing genetico Crispr/Cas9, per studiare nel dettaglio se e come l’organismo sia in grado di provvedere autonomamente alla riparazione. I dettagli sono pubblicati su Plos One
Additional file 2 of Disparities in cervical cancer screening programs in Cameroon: a scoping review of facilitators and barriers to implementation and uptake of screening
Creators: name: Woks, Namanou Ines Emma
name: Anwi, Musi Merveille
name: Kefiye, Taal Bernard
name: Sama, Dohbit Julius
name: Phuti, Angel
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Biotechnology
subject: Cancer
subject: Science Policy
subject: Infectious Diseases
subject: FOS: Health sciences

description: Additional file 2.
Weingarten calculus for matrix ensembles associated with compact symmetric spaces
Creators: name: Matsumoto, Sho
Publisher: name: arXiv
Year: 2013
Subjects: subject: Probability (math.PR)
subject: Representation Theory (math.RT)
subject: FOS: Mathematics

description: A method for computing integrals of polynomial functions on compact symmetric spaces is given. Those integrals are expressed as sums of functions on symmetric groups.
description: 26 pages, final version
title: Реализация прототипов поведения робокара средствами веб-технологий
Creators: name: ., В.Н. Негода – д.т.н., профессор, кафедра «Вычислительная техника», Ульяновский государственный технический университет E-mail: nvnulstu@gmail.com
Publisher: name: Издательство Радиотехника
Year: 2020

description: Постановка проблемы. Прототипирование обеспечивает имитацию движения на основе спецификаций траекторий в двумерном пространстве и организуется как параметрически управляемый процесс анимации групп графических примитивов. Основное назначение прототипов – поддержка изучения основ программирования задач управления движением робокаров по заданным траекториям на языках программирования общего назначения без использования специальных фреймворков.

Цель. Предложить набор технических решений, обеспечивающих прототипирование поведения робокара с дифференциальным приводом в среде веб-навигатора.

Результаты. В фазе инициализации создан макет поля деятельности, который может содержать группы графических примитивов, отображающих координатные оси, трассы движения и стартовое положение робокара. Процесс имитации поведения базируется на пяти видах спецификаций: 1) спецификации общего сценария имитации, каждая операция которого рассматривается как отдельная задача; 2) формальных спецификаций метаданных, обеспечивающих создание пространства переменных задачи и их инициализацию; 3) спецификаций самого робокара и его окружения, интерпретируемых на основе метаданных в рамках одного прогона одной задачи; 4) спецификаций сценариев поведения робокара в рамках одного прогона одной задачи; 5) спецификаций процессов анимации, формируемых на основе одной записи спецификации четвертого вида. Первые четыре вида спецификаций формируются на стороне сервера, а пятый вид – на стороне клиента. Поддерживается возможность прогонки нескольких сценариев для одного и того же набора задач возможно в другом порядке и с другими спецификациями третьего и четвертого видов. Это обеспечивает прототипирование в широком диапазоне значений параметров, определяющих траектории и скорости движения робокара.

Практическая значимость. Эффективность технических решений, описанных в данной работе, подтверждена опытом их применения в 10 задачах прототипирования поведения робокаров.
Una nana bianca sul filo del rasoio
Creators: Maura Sandri
Publisher: name: Media Inaf
Year: 2021

Gli astronomi hanno identificato una nana bianca così massiccia che potrebbe collassare in una stella di neutroni. Si chiama Ztf J1901+1458, ha una massa pari a 1.35 volte la massa del Sole, un campo magnetico quasi 1 miliardo di volte più forte di quello del Sole e gira su sé stessa in 7 minuti. Tutti i dettagli di questo particolare oggetto compatto sono stati pubblicati su Nature
Forward Analysis for WSTS, Part III: Karp-Miller Trees
Creators: name: Blondin, Michael
name: Finkel, Alain
name: Goubault-Larrecq, Jean
Publisher: name: arXiv
Year: 2017
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: F.1.1; F.3.1

description: This paper is a sequel of "Forward Analysis for WSTS, Part I: Completions" [STACS 2009, LZI Intl. Proc. in Informatics 3, 433-444] and "Forward Analysis for WSTS, Part II: Complete WSTS" [Logical Methods in Computer Science 8(3), 2012]. In these two papers, we provided a framework to conduct forward reachability analyses of WSTS, using finite representations of downward-closed sets. We further develop this framework to obtain a generic Karp-Miller algorithm for the new class of very-WSTS. This allows us to show that coverability sets of very-WSTS can be computed as their finite ideal decompositions. Under natural effectiveness assumptions, we also show that LTL model checking for very-WSTS is decidable. The termination of our procedure rests on a new notion of acceleration levels, which we study. We characterize those domains that allow for only finitely many accelerations, based on ordinal ranks.
Planar 3-SAT with a Clause/Variable Cycle
Creators: name: Pilz, Alexander
Publisher: name: arXiv
Year: 2017
Subjects: subject: Computational Complexity (cs.CC)
subject: Computational Geometry (cs.CG)
subject: FOS: Computer and information sciences

description: In the Planar 3-SAT problem, we are given a 3-SAT formula together with its incidence graph, which is planar, and are asked whether this formula is satisfiable. Since Lichtenstein's proof that this problem is NP-complete, it has been used as a starting point for a large number of reductions. In the course of this research, different restrictions on the incidence graph of the formula have been devised, for which the problem also remains hard. In this paper, we investigate the restriction in which we require that the incidence graph can be augmented by the edges of a Hamiltonian cycle that first passes through all variables and then through all clauses, in a way that the resulting graph is still planar. We show that the problem of deciding satisfiability of a 3-SAT formula remains NP-complete even if the incidence graph is restricted in that way and the Hamiltonian cycle is given. This complements previous results demanding cycles only through either the variables or clauses. The problem remains hard for monotone formulas, as well as for instances with exactly three distinct variables per clause. In the course of this investigation, we show that monotone instances of Planar 3-SAT with exactly three distinct variables per clause are always satisfiable, thus settling the question by Darmann, Döcker, and Dorn on the complexity of this problem variant in a surprising way.
description: Implementing style of DMTCS journal
Acoustic Events in the Solar Atmosphere from Hinode/SOT NFI observations
Creators: name: Malherbe, J. -M.
name: Roudier, T.
name: Rieutord, M.
name: Berger, T.
name: Frank, Z.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: We investigate the properties of acoustic events (AEs), defined as spatially concentrated and short duration energy flux, in the quiet sun using observations of a 2D field of view (FOV) with high spatial and temporal resolution provided by the Solar Optical Telescope (SOT) onboard \textit{Hinode}. Line profiles of Fe \textsc{i} 557.6 nm were recorded by the Narrow band Filter Imager (NFI) on a $82" \times 82"$ FOV during 75 min with a time step of 28.75 s and 0.08$"$ pixel size. Vertical velocities were computed at three atmospheric levels (80, 130 and 180 km) using the bisector technique allowing the determination of energy flux in the range 3-10 mHz using two complementary methods (Hilbert transform and Fourier power spectra). Horizontal velocities were computed using local correlation tracking (LCT) of continuum intensities providing divergences. The net energy flux is upward. In the range 3-10 mHz, a full FOV space and time averaged flux of 2700 W m$^{-2}$ (lower layer 80-130 km) and 2000 W m$^{-2}$ (upper layer 130-180 km) is concentrated in less than 1% of the solar surface in the form of narrow (0.3$"$) AE. Their total duration (including rise and decay) is of the order of $10^{3}$ s. Inside each AE, the mean flux is $1.6 10^{5}$ W m$^{-2}$ (lower layer) and $1.2 10^{5}$ W m$^{-2}$ (upper). Each event carries an average energy (flux integrated over space and time) of $2.5 10^{19}$ J (lower layer) to $1.9 10^{19}$ J (upper). More than $10^{6}$ events could exist permanently on the Sun, with a birth and decay rate of 3500 s$^{-1}$. Most events occur in intergranular lanes, downward velocity regions, and areas of converging motions.
description: 18 pages, 10 figures
L’Einstein Telescope fra i grandi d’Europa
Creators: Ufficio stampa Inaf
Publisher: name: Media Inaf
Year: 2021

L’inserimento di questo progetto nella lista delle grandi infrastrutture di ricerca sulle quali l’Europa ha deciso di puntare nel prossimo futuro porta l’Einstein Telescope verso una nuova fase. Le istituzioni scientifiche coinvolte dovranno rafforzare il lavoro di ricerca e sviluppo del progetto scientifico e tecnologico, e accelerare gli studi di caratterizzazione dei due siti candidati a ospitarlo, uno dei quali è in Italia, nel nord-est della Sardegna
title: Определение навигационных параметров в группе автономных аппаратов
Creators: name: ., К.К. Васильев – д.т.н.
Publisher: name: Издательство Радиотехника
Year: 2020

description: Постановка проблемы. При решении многих задач, выполняемых воздушными, наземными, наводными или подводными автономными аппаратами (ААП), особые требования предъявляются к точности позиционирования устройств.

Цель. Рассмотреть алгоритмы комплексирования собственных и взаимных оценок навигационных параметров для произвольного числа автономных аппаратов, движущихся строем.

Результаты. Исследована двухэтапная процедура комплексирования, включающая в себя статическую оценку координат, и фильтр Калмана. Изучены возможности повышения точности навигации группы аппаратов на основе местных локальных ориентиров (метод SLAM). Проанализирована эффективность алгоритмов оценивания для разного числа устройств в группе на примерах беспилотных летательных аппаратов (БПЛА) и автономных необитаемых подводных аппаратов (АНПА).

Практическая значимость. Полученные результаты позволяют сделать вывод, что применение алгоритмов комплексирования данных в группе ААП значительно уменьшает погрешность позиционирования и определения скорости автономных аппаратов.
P-adic lattices are not Kähler groups
Creators: name: Klingler, Bruno
Publisher: name: arXiv
Year: 2017
Subjects: subject: Group Theory (math.GR)
subject: Algebraic Geometry (math.AG)
subject: FOS: Mathematics

description: In this note we show that any lattice in a simple p-adic Lie group is not the fundamental group of a compact Kahler manifold, as well as some variants of this result.
description: Final version
Additional file 2 of Evidencing general acceptability of open-label placebo use for tackling overtreatment in primary care: a mixed methods study
Creators: name: Krockow, E. M.
name: Emerson, T.
name: Youssef, E.
name: Scott, S.
name: Tromans, S.
Publisher: name: figshare
Year: 2023
Subjects: subject: Microbiology
subject: FOS: Biological sciences
subject: Pharmacology
subject: Biotechnology
subject: Immunology
subject: FOS: Clinical medicine
subject: Science Policy
subject: Mental Health
subject: Computational Biology

description: Additional file 2. Detailed study materials for all studies reported in the manuscript.
Phase diagram of the Two-Component Fractional Quantum Hall Effect
Creators: name: Archer, Alexander C.
name: Jain, Jainendra K.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: We calculate the phase diagram of the two component fractional quantum Hall effect as a function of the spin or valley Zeeman energy and the filling factor, which reveals new phase transitions and phase boundaries spanning many fractional plateaus. This phase diagram is relevant to the fractional quantum Hall effect in graphene and in GaAs and AlAs quantum wells, when either the spin or valley degree of freedom is active.
description: 5 pages, 4 figures
Raman-térképezés, gépi látás és kemometriai módszerek alkalmazása gyógyszerkészítmények minőségének előrejelzésére
Creators: name: Horváth Lívia
Publisher: name: Zenodo
Year: 2023

description: A tabletta formájú készítmények kapnak teret a piacon a legnagyobb mennyiségben, ezek egyik legfontosabb jellemzője a hatóanyagleadás, melynek feltérképezésére a készítmények kioldódásprofilját kell megvizsgálni. A tabletták ezen tulajdonságát befolyásolja több paraméter is, például a hatóanyag és segédanyagok mennyisége és minősége (pl. szemcseméret, porozitás, víztartalom stb.), illetve a gyártásnál használt folyamatparaméterek, például a tablettázásnál alkalmazott préserő is fontos tényezőnek bizonyulnak. A gyógyszeriparban jelenleg nem áll rendelkezésre roncsolásmentes módszer a kioldódásprofil közvetlen meghatározására, azonban becslésére a kioldódást befolyásoló paraméterek felderítésével és monitorozásával lenne lehetőség. Ehhez szükség lenne egy PAT eszközökkel megvalósítható, roncsolásmentes módszer kifejlesztésére. Célkitűzésünk a Raman kémiai térképezés és a gépi látás összehasonlítása különböző minőségbiztosítási paraméterek monitorozására és a kioldódásmodellezés lehetőségének tesztelése a két módszerrel gyors hatóanyagleadású készítményen. Ehhez modellrendszerként koffein hatóanyagot tartalmazó tablettákat használtunk, ahol a segédanyag (magnézium-sztearát) mennyiségét, a hatóanyag szemcseméretét, valamint a tablettázáskor alkalmazott préserőt változtattuk.
title: Επίλυση του προβλήματος δρομολόγησης οχημάτων περιορισμένης φόρτωσης και χωρητικότητας με χρήση μεθευρετικού αλγορίθμου περιορισμένης αναζήτησης.
title: Solving capacitated vehicle routing problem with two dimensional loading constraints using metaheuristic alogorithm (Tabu Search)
Creators: name: Κρασακης Παναγιωτης
Publisher: name: Technical University of Crete
Year: 2020

description: Για την επίλυση του Προβλήματος Δρομολόγησης Οχημάτων περιορισμένης φόρτωσης και χωρητικότητας θα χρησιμοποιήσουμε τον μεθευρετικό αλγόριθμο περιορισμένης αναζήτησης Tabu Search. Σκοπός μας είναι μέσα από πολλαπλές επαναλήψεις και αφού έχουμε εφαρμόσει τους περιορισμούς  που απαιτούνται να φτάσουμε στην βέλτιστη λύση του προβλήματος. Για να το επιτύχουμε αυτό θα κατασκευάσουμε μια αρχική εφικτή λύση με την χρήση του αλγορίθμου του Πλησιέστερου Γείτονα και στη συνέχεια θα γίνει σταδιακή  βελτίωση αυτής της λύσης με εφαρμογή τριών διαφορετικών μεθόδων Τοπικής Αναζήτησης (1-1 ανταλλαγή στην ίδια διαδρομή,1-0 επανατοποθέτηση, 1-1 ανταλλαγή σε διαφορετικές διαδρομές )  όπου σε συνδυασμό με τη χρήση του αλγορίθμου Περιορισμένης Αναζήτησης η λύση αυτή θα είναι όσο το δυνατών πιο βέλτιστη . Τέλος προκειμένου να έχουμε εφικτή φόρτωση των αντικειμένων στα οχήματα έτσι ώστε να μην παραβιάζονται οι περιορισμοί φόρτωσης , εφαρμόζουμε ένα σύνολο από μεθόδους οι οποίες την καταστούν πραγματοποιήσιμη.
title: Фарзандлари соғлом юрт қудратли бўлур
Creators: name: Oblamurodova, X.
Publisher: name: Tashkent state university of law
Year: 2018

description: Мақолада баркамол шахс тушунчасининг мазмун-моҳияти ва генезиси, комил инсонга хос бўлган ахлоқий сифат ва фазилатлар тизимини шакллантиришнинг йўллари, Шарқ мутафаккирларининг комил инсон тўғрисидаги қарашлари ҳамда бугунги кунда республикамизда ёшлар сиёсатига оид амалга оширилаётган кенг кўламли ишлар ўз ифодасини топган.
Additional file 1 of Changes in structure and assembly of a species-rich soil natural community with contrasting nutrient availability upon establishment of a plant-beneficial Pseudomonas in the wheat rhizosphere
Creators: name: Garrido-Sanz, Daniel
name: Čaušević, Senka
name: Vacheron, Jordan
name: Heiman, Clara M.
name: Sentchilo, Vladimir
name: van der Meer, Jan Roelof
name: Keel, Christoph
Publisher: name: figshare
Year: 2023
Subjects: subject: Microbiology
subject: FOS: Biological sciences
subject: Genetics
subject: Environmental Sciences not elsewhere classified
subject: Ecology
subject: Biological Sciences not elsewhere classified

description: Additional file 1: Supplementary Fig. S1. Differences in the relative abundance of the main bacterial Classes across samples identified in this study. Supplementary Fig. S2. Alpha diversity indexes across samples and timepoints. Supplementary Fig. S3. Plant growth measurements across sampling times. Supplementary Fig. S4. Bray-Curtis dissimilarities across samples. Supplementary Fig. S5. Differential abundance analyses comparing samples from the bulk soil to the wheat rhizosphere, inoculated or not with Pseudomonas protegens CHA0. Supplementary Fig. S6. Growth differences between wild type (wt) and tagged Pseudomonas strains.
Quantum Entanglement and Thermal Reduced Density Matrices in Fermion and Spin Systems on Ladders
Creators: name: Chen, Xiao
name: Fradkin, Eduardo
Publisher: name: arXiv
Year: 2013
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: High Energy Physics - Theory (hep-th)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Numerical studies of the reduced density matrix of a gapped spin-1/2 Heisenberg antiferromagnet on a two-leg ladder find that it has the same form as the Gibbs density matrix of a gapless spin-1/2 Heisenberg antiferromagnetic chain at a finite temperature determined by the spin gap of the ladder. We investigate this interesting result by considering a model of free fermions on a two-leg ladder (gapped by the inter-chain tunneling operator) and in spin systems on a ladder with a gapped ground state using exact solutions and several controlled approximations. We calculate the reduced density matrix and the entanglement entropy for a leg of the ladder (i.e. cut made between the chains). In the fermionic system we find the exact form of the reduced density matrix for one of the chains and determine the entanglement spectrum explicitly. Here we find that in the weak tunneling limit of the ladder the entanglement entropy of one chain of the gapped ladder has a simple and universal form dictated by conformal invariance. In the case of the spin system, we consider the strong coupling limit by using perturbation theory and get the reduced density matrix by the Schmidt decomposition. The entanglement entropies of a general gapped system of two coupled conformal field theories (in 1+1 dimensions) is discussed using the replica trick and scaling arguments. We show that 1) for a system with a bulk gap the reduced density matrix has the form of a thermal density matrix, 2) the long-wavelength modes of one subsystem (a chain) of a gapped coupled system are always thermal, 3) the von Neumann entropy equals to the thermodynamic entropy of one chain, and 4) the bulk gap plays the role of effective temperature.
description: revised version, 13 pages, 2 figures, 38 refernces
Additional file 1 of COVID-19 and its prevention in internally displaced person (IDP) camps in Somalia: impact on livelihood, food security and mental health
Creators: name: Mumin, Farah I.
name: Wesonga, Fred D.
name: Handuleh, Jibril I. M.
name: White, Ross G.
name: Mor, Siobhan M.
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
subject: Science Policy
subject: 111714 Mental Health
subject: FOS: Health sciences

description: Additional file 1: Table S1. Results of univariable investigating factors associated with currently using soap and difficulty paying rent, buying food or medicine due to COVID amongst respondents living in randomly selected IDP settlements in Somalia. Response rates to individual questions are indicated. Where response rates are less than 100% (i.e. 585) respondents indicated the question was “not applicable”.
Global estimation and mapping of the conservation status of tree species using artificial intelligence
Creators: name: Valerio, Silva Sandro
Publisher: name: Zenodo
Year: 2021

description: Abstract: Trees play an important role in the Earths biodiversity and to the human population. The Global Tree Assessment aims to assess the extinction risk of all 60,000 tree species according IUCN Red List criteria to reveal patterns of threat and promote effective measures to face them. Since assessment is mainly driven on occurrence data, we took the opportunity to develop a computational pathway to automatize the process of assessment using a machine learning approach, i.e. we trained a deep neural network model on features including geographic, biome, climatic and human footprint data. Given the resulting prediction of the threat status among tree species we investigated to reveal patterns of strongly threatened taxa and geographic regions.
Algebra, coalgebra, and minimization in polynomial differential equations
Creators: name: Boreale, Michele
Publisher: name: arXiv
Year: 2017
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: We consider reasoning and minimization in systems of polynomial ordinary differential equations (ode's). The ring of multivariate polynomials is employed as a syntax for denoting system behaviours. We endow this set with a transition system structure based on the concept of Lie-derivative, thus inducing a notion of L-bisimulation. We prove that two states (variables) are L-bisimilar if and only if they correspond to the same solution in the ode's system. We then characterize L-bisimilarity algebraically, in terms of certain ideals in the polynomial ring that are invariant under Lie-derivation. This characterization allows us to develop a complete algorithm, based on building an ascending chain of ideals, for computing the largest L-bisimulation containing all valid identities that are instances of a user-specified template. A specific largest L-bisimulation can be used to build a reduced system of ode's, equivalent to the original one, but minimal among all those obtainable by linear aggregation of the original equations. A computationally less demanding approximate reduction and linearization technique is also proposed.
description: 27 pages, extended and revised version of FOSSACS 2017 paper