cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
On subtrees of the representation tree in rational base numeration systems
Creators: name: Akiyama, Shigeki
name: Marsault, Victor
name: Sakarovitch, Jacques
Publisher: name: arXiv
Year: 2017
Subjects: subject: Discrete Mathematics (cs.DM)
subject: Formal Languages and Automata Theory (cs.FL)
subject: Dynamical Systems (math.DS)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics

description: Every rational number p/q defines a rational base numeration system in which every integer has a unique finite representation, up to leading zeroes. This work is a contribution to the study of the set of the representations of integers. This prefix-closed subset of the free monoid is naturally represented as a highly non-regular tree. Its nodes are the integers, its edges bear labels taken in {0,1,...,p-1}, and its subtrees are all distinct. We associate with each subtree (or with its root n) three infinite words. The bottom word of n is the lexicographically smallest word that is the label of a branch of the subtree. The top word of n is defined similarly. The span-word of n is the digitwise difference between the latter and the former. First, we show that the set of all the span-words is accepted by an infinite automaton whose underlying graph is essentially the same as the tree itself. Second, we study the function that computes for all n the bottom word associated with n+1 from the one associated with n, and show that it is realised by an infinite sequential transducer whose underlying graph is once again essentially the same as the tree itself. An infinite word may be interpreted as an expansion in base p/q after the radix point, hence evaluated to a real number. If T is a subtree whose root is n, then the evaluations of the labels of the branches of T form an interval of $\mathbb{R}$. The length of this interval is called the span of n and is equal to the evaluation of the span-word of n. The set of all spans is then a subset of R and we use the preceding construction to study its topological closure. We show that it is an interval when p is greater than or equal to 2q-1, and a Cantor set of measure zero otherwise.
description: 33 pages
Additional file 3 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 3
A note on first-order spectra with binary relations
Creators: name: Kopczynski, Eryk
name: Tan, Tony
Publisher: name: arXiv
Year: 2017
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: F.4.1; F.1.3

description: The spectrum of a first-order sentence is the set of the cardinalities of its finite models. In this paper, we consider the spectra of sentences over binary relations that use at least three variables. We show that for every such sentence $Φ$, there is a sentence $Φ'$ that uses the same number of variables, but only one symmetric binary relation, such that its spectrum is linearly proportional to the spectrum of $Φ$. Moreover, the models of $Φ'$ are all bipartite graphs. As a corollary, we obtain that to settle Asser's conjecture, i.e., whether the class of spectra is closed under complement, it is sufficient to consider only sentences using only three variables whose models are restricted to undirected bipartite graphs.
Balancing the sustainability in the 2030 agenda: the OECD countries
Creators: name: Peña, Carmen García-
name: Díaz, Bárbara
name: Muñoz, María M.
Publisher: name: Taylor & Francis
Year: 2022
Subjects: subject: Space Science
subject: Medicine
subject: Ecology
subject: FOS: Biological sciences
subject: Developmental Biology
subject: Science Policy
subject: 111714 Mental Health
subject: FOS: Health sciences
subject: Hematology

description: When assessing the achievement of the 2030 Agenda, the equilibrium among the dimensions of the sustainable development should be taken into account, recognizing the balanced and integrated nature of the Sustainable Development Goals (SDGs). To this end, we propose the use of a Balance Index to complement the performance indexes of the SDGs and the integration of sustainable development dimensions and experts’ opinions in the normalization process. The data source is the 2020 SDG Index Report proposed by the Bertelsmann Stiftung and the Sustainable Development Solutions Network. Provide and analyse the performance and the balance indexes for OECD countries. Finally, we propose a visual matrix of the two indexes with four progress scenarios to orientate the decision-making. This proposal allows a more accurate quantification of the situation of each country and is, therefore, a useful tool for evaluating the integrated nature of the sustainability (SDG 17).
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL
Creators: name: Nenzi, L.
name: Bortolussi, L.
name: Ciancia, V.
name: Loreti, M.
name: Massink, M.
Publisher: name: arXiv
Year: 2017
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: F.4.1

description: In spatially located, large scale systems, time and space dynamics interact and drives the behaviour. Examples of such systems can be found in many smart city applications and Cyber-Physical Systems. In this paper we present the Signal Spatio-Temporal Logic (SSTL), a modal logic that can be used to specify spatio-temporal properties of linear time and discrete space models. The logic is equipped with a Boolean and a quantitative semantics for which efficient monitoring algorithms have been developed. As such, it is suitable for real-time verification of both white box and black box complex systems. These algorithms can also be combined with stochastic model checking routines. SSTL combines the until temporal modality with two spatial modalities, one expressing that something is true somewhere nearby and the other capturing the notion of being surrounded by a region that satisfies a given spatio-temporal property. The monitoring algorithms are implemented in an open source Java tool. We illustrate the use of SSTL analysing the formation of patterns in a Turing Reaction-Diffusion system and spatio-temporal aspects of a large bike-sharing system.
description: 36 pages with 13 figures
Additional file 4 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 4
Tight Euler tours in uniform hypergraphs - computational aspects
Creators: name: Lonc, Zbigniew
name: Naroski, Paweł
name: Rzążewski, Paweł
Publisher: name: arXiv
Year: 2017
Subjects: subject: Computational Complexity (cs.CC)
subject: Data Structures and Algorithms (cs.DS)
subject: FOS: Computer and information sciences

description: By a tight tour in a $k$-uniform hypergraph $H$ we mean any sequence of its vertices $(w_0,w_1,\ldots,w_{s-1})$ such that for all $i=0,\ldots,s-1$ the set $e_i=\{w_i,w_{i+1}\ldots,w_{i+k-1}\}$ is an edge of $H$ (where operations on indices are computed modulo $s$) and the sets $e_i$ for $i=0,\ldots,s-1$ are pairwise different. A tight tour in $H$ is a tight Euler tour if it contains all edges of $H$. We prove that the problem of deciding if a given $3$-uniform hypergraph has a tight Euler tour is NP-complete, and that it cannot be solved in time $2^{o(m)}$ (where $m$ is the number of edges in the input hypergraph), unless the ETH fails. We also present an exact exponential algorithm for the problem, whose time complexity matches this lower bound, and the space complexity is polynomial. In fact, this algorithm solves a more general problem of computing the number of tight Euler tours in a given uniform hypergraph.
title: Αρχιτεκτονική και κόμικ: η αναζήτηση των σχέσεων τους
title: Architecture and comics: the search for their relationships
Creators: name: Καρελιωτη Καλλιοπη
Publisher: name: Technical University of Crete
Year: 2020

description: Αμφιλεγόμενο το κόμικ στην Ελλάδα όμως όλο και ένα αυξάνεται η αναγνωρισιμότητα του .Η αρχική ιδέα της εργασίας έχει τις καταβολές της στο προσωπικό  ενδιαφέρον για τον κόσμο της ένατης τέχνης καθώς και η σύνδεση της με την τέχνη της αρχιτεκτονικής. Ποια  η σύνδεση του αρχιτέκτονα με την πόλη των κόμικ;Πως μπορεί να επηρεάσει τα συναισθήματα των αναγνωστών του καθώς ακόμα και των ίδιων των κατοίκων της;Αυτά ήταν μερικά από τα ερωτήματα ώστε να βρεθούμε σε αυτή την αναζήτηση των σχέσεων αρχιτεκτονικής και κόμικ. Η έρευνα  επικεντρώθηκε στον ρόλο της πόλης μέσα από τα κόμικ αναλύοντας κάποιες πόλεις-κλειδιά αυτής της σχέση καθώς και αν υπήρξε ή αν θα μπορούσε ποτέ να ήταν εργαλείο για την αρχιτεκτονική. Μέσα από την ανάλυση αυτή προσπαθούμε να εμβαθύνουμε  στον κόσμο των δύο τεχνών καθώς και να δημιουργεί ένα έναυσμα για επόμενες έρευνες.
Ausbau der Burg Hermannstein bei Wetzlar zu Wohnzwecken
Creators: name: Brand, 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
Shrub-depth: Capturing Height of Dense Graphs
Creators: name: Ganian, Robert
name: Hliněný, Petr
name: Nešetřil, Jaroslav
name: Obdržálek, Jan
name: de Mendez, Patrice Ossona
Publisher: name: arXiv
Year: 2017
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Discrete Mathematics (cs.DM)
subject: Combinatorics (math.CO)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics
subject: 03B70, 05C75, 68R10

description: The recent increase of interest in the graph invariant called tree-depth and in its applications in algorithms and logic on graphs led to a natural question: is there an analogously useful "depth" notion also for dense graphs (say; one which is stable under graph complementation)? To this end, in a 2012 conference paper, a new notion of shrub-depth has been introduced, such that it is related to the established notion of clique-width in a similar way as tree-depth is related to tree-width. Since then shrub-depth has been successfully used in several research papers. Here we provide an in-depth review of the definition and basic properties of shrub-depth, and we focus on its logical aspects which turned out to be most useful. In particular, we use shrub-depth to give a characterization of the lower $ω$ levels of the MSO1 transduction hierarchy of simple graphs.
Anstriche historischer Gebäude mit Dispersionsfarben
Creators: name: Dehnert, Karl
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
title: Ουτοπικοί οραματισμοί του πρόσφατου παρελθόντος: σχεδιαστικές προτάσεις ως ιδεολογική κριτική του κυρίαρχου καθεστώτος την δεκαετία του ’60
title: Utopian visions of the recent past: planning proposals as ideological criticism of the dominant establishment in the ‘60s
Creators: name: Κατσαβου Μυρτω
Publisher: name: Technical University of Crete
Year: 2020

description: Η παρούσα εργασία επιχειρεί μία σύντομη ιστορική αναδρομή ορισμένων σημαντικών ουτοπικών, είτε αστικών, είτε πολεοδομικών συνθέσεων του 19ου αι. και των αρχών του 20ου αι., αλλά και την εξέλιξή τους μέχρι την «ριζοσπαστική» δεκαετία του ’60. Στη συνέχεια, αναλύονται εκτεταμένα τέσσερεις βασικές μελλοντικές πολεοδομικές προτάσεις που διατυπώνονται στα Sixties. Κοινή θεματική τους βάση θεωρείται η χωρική κατασκευή, υποστηριζόμενη σε πυλώνες, που αποστασιοποιείται από το έδαφος και κατ’ επέκταση από τις υπάρχουσες πόλεις. Επιλέγεται η εμβάθυνση στη συγκεκριμένη δεκαετία, καθώς τότε ενεργοποιείται μία ουσιαστική προσπάθεια επαναφοράς της αρχιτεκτονικής ως μέσον πολιτικής, κοινωνικής και πολιτιστικής κριτικής, -από ένα μεγάλο αριθμών ανθρώπων και κολεκτίβων,- διατυπώνοντας μανιφέστο και σχέδια, πειραματιζόμενοι με νέες τεχνολογίες και υλικά. Ποιό είναι όμως, το κοινωνικό και πολιτικό πλαίσιο της εποχής το οποίο ενέπνευσε τις συγκεκριμένες προσωπικότητες να προτείνουν μία πρόταση νέας οικιστικής δομής του μέλλοντος; Ποιές είναι οι θεωρητικές- ιδεολογικές κατευθυντήριες γραμμές του κάθε μοντέλου δόμησης; Ποιός θεωρείται πως πρέπει να είναι ο ρόλος του αρχιτέκτονα του μέλλοντος; Με γνώμονα την απάντηση των προαναφερθέντων ερωτημάτων, στο τέλος γίνεται προσπάθεια ερμηνείας της επιρροής που άσκησαν τα οράματα των αντισυμβατικών «ουτοπιστών» της συγκεκριμένης δεκαετίας στα μελλοντικά κοινωνικά συστήματα.
Additional file 1 of Examining the latent structure and correlates of sensory reactivity in autism: a multi-site integrative data analysis by the autism sensory research consortium
Creators: name: Williams, Zachary J.
name: Schaaf, Roseann
name: Ausderau, Karla K.
name: Baranek, Grace T.
name: Barrett, D. Jonah
name: Cascio, Carissa J.
name: Dumont, Rachel L.
name: Eyoh, Ekomobong E.
name: Failla, Michelle D.
name: Feldman, Jacob I.
name: Foss-Feig, Jennifer H.
name: Green, Heather L.
name: Green, Shulamite A.
name: He, Jason L.
name: Kaplan-Kahn, Elizabeth A.
name: Keçeli-Kaysılı, Bahar
name: MacLennan, Keren
name: Mailloux, Zoe
name: Marco, Elysa J.
name: Mash, Lisa E.
name: McKernan, Elizabeth P.
name: Molholm, Sophie
name: Mostofsky, Stewart H.
name: Puts, Nicolaas A. J.
name: Robertson, Caroline E.
name: Russo, Natalie
name: Shea, Nicole
name: Sideris, John
name: Sutcliffe, James S.
name: Tavassoli, Teresa
name: Wallace, Mark T.
name: Wodka, Ericka L.
name: Woynaroski, Tiffany G.
Publisher: name: figshare
Year: 2023
Subjects: subject: Space Science
subject: Medicine
subject: Biotechnology
subject: Chemical Sciences not elsewhere classified
subject: Sociology
subject: FOS: Sociology
subject: Biological Sciences not elsewhere classified
subject: Science Policy
subject: Plant Biology
subject: FOS: Biological sciences

description: Additional file 1. Supplemental methods and tables.
Burgenkundlicher Kalender 1968
Creators: name: Redaktion, Die
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
title: Realismo/Anti-realismo Moral
Creators: name: Cadilha, Susana
Publisher: name: IFILNOVA, Faculdade de Ciências Sociais e Humanas, Universidade Nova de Lisboa
Year: 2019

description: Cadilha, S. “Realismo/Anti-realismo Moral”. Dicionário de Filosofia Moral e Política (2019), 2.ª série, coord. António Marques e André Santos Campos. Lisboa: Instituto de Filosofia da Nova, URL: .
description: ISSN 2184-4445
Streamability of nested word transductions
Creators: name: Filiot, Emmanuel
name: Gauwin, Olivier
name: Reynier, Pierre-Alain
name: Servais, Frédéric
Publisher: name: arXiv
Year: 2017
Subjects: subject: Formal Languages and Automata Theory (cs.FL)
subject: FOS: Computer and information sciences

description: We consider the problem of evaluating in streaming (i.e., in a single left-to-right pass) a nested word transduction with a limited amount of memory. A transduction T is said to be height bounded memory (HBM) if it can be evaluated with a memory that depends only on the size of T and on the height of the input word. We show that it is decidable in coNPTime for a nested word transduction defined by a visibly pushdown transducer (VPT), if it is HBM. In this case, the required amount of memory may depend exponentially on the height of the word. We exhibit a sufficient, decidable condition for a VPT to be evaluated with a memory that depends quadratically on the height of the word. This condition defines a class of transductions that strictly contains all determinizable VPTs.
title: Ўзбекистон республикасида коррупцияга қарши курашиш бўйича ташкил этилган ишчи орган ўрни ва аҳамияти
Creators: name: Djabbarov, E.
Publisher: name: Tashkent state university of law
Year: 2018

description: Мазкур мақолада коррупцияга қарши курашишда Ўзбекистон Республикасида ташкил этилган Коррупцияга қарши курашиш бўйича республика идоралараро комиссияси ҳамда унинг ишчи органи ўрни ва аҳамияти, хорижий давлатларда ташкил этилган махсус ваколатли институтларнинг ўзига хос жиҳатлари, уларнинг ҳуқуқий асослари ва функциялари кўриб чиқилади.
Status of the SPHERE experiment
Creators: name: Antonov, R. A.
name: Beschapov, S. P.
name: Bonvech, E. A.
name: Chernov, D. V.
name: Dzhatdoev, T. A.
name: Finger, Mir.
name: Finger, M.
name: Galkin, V. I.
name: Kabanova, N. N.
name: Petkun, A. S.
name: Podgrudkov, D. A.
name: Roganova, T. M.
name: Shaulov, S. B.
name: Sysoeva, T. I.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Instrumentation and Methods for Astrophysics (astro-ph.IM)
subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: Instrumentation and Detectors (physics.ins-det)
subject: FOS: Physical sciences

description: Here is presented the current state of the SPHERE-2 balloon-borne experiment. The detector is elevated up to 1 km above the snow surface and registers the reflected Vavilov-Cherenkov radiation from extensive air showers. This method has good sensitivity to the mass-composition of the primary cosmic rays due to its high resolution near the shower axis. The detector consists of a 1500 mm spherical mirror with a 109 PMT cluster in its focus. The electronics record a signal pulse profile in each PMT. In the last 2 years the detector was upgraded: time resolution of pulse registration was enhanced up to 12.5 ns, channel sensitivity was increased by a factor of 3, a new LED-based relative PMT calibration method was introduced, and new hardware and etc. was installed.
description: 4 pages, 5 figures, Proc. 23rd European Cosmic Ray Symposium, to appear in J. Phys. Conf. Ser
title: Суд ҳокимияти мустақиллигининг конституциявий принципига риоя этилишини таъминлашда – судьялар олий кенгаши
Creators: name: Davletov, U.
Publisher: name: Tashkent state university of law
Year: 2018

description: Ушбу мақолада суд ҳокимиятининг чинакам мустақиллигини, очиқ ва ошкоралигини таъминлаш, судлар фаолияти самарадорлиги ва нуфузини оширишнинг ҳуқуқий асослари ҳамда “Ўзбекистон Республикаси Судьялар олий кенгаши тўғрисида”ги Қонуннинг муҳим жиҳатлари атрофлича ёритилган.
A classical groupoid model for quantum networks
Creators: name: Reutter, David J.
name: Vicary, Jamie
Publisher: name: arXiv
Year: 2017
Subjects: subject: Quantum Physics (quant-ph)
subject: Category Theory (math.CT)
subject: FOS: Physical sciences
subject: FOS: Mathematics

description: We give a mathematical analysis of a new type of classical computer network architecture, intended as a model of a new technology that has recently been proposed in industry. Our approach is based on groubits, generalizations of classical bits based on groupoids. This network architecture allows the direct execution of a number of protocols that are usually associated with quantum networks, including teleportation, dense coding and secure key distribution.
Additional file 1 of Impact of COVID-19 on subnational variations in life expectancy and life disparity at birth in India: evidence from NFHS and SRS data
Creators: name: Yadav, Pawan Kumar
name: Yadav, Suryakant
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Evolutionary Biology
subject: FOS: Biological sciences
subject: Ecology
subject: Sociology
subject: FOS: Sociology
subject: Biological Sciences not elsewhere classified
subject: Inorganic Chemistry
subject: FOS: Chemical sciences
subject: Science Policy

description: Additional file 1: Supplementary Table S1. e_x^† Estimates for Persons, male, and Female, in India NFHS (2019-21), SRS (2020). Supplementary Table S2. e_0 Estimates for Persons, male and Female, in India and states, NFHS (2015-16), SRS (2015). Supplementary Table S3. e_0 Estimates for Persons, male and Female, in India and states, NFHS (2019-21), SRS (2020). Supplementary Table S4. e_0^† Estimates in India and states NFHS-4 (2015-16) and SRS (2015). Supplementary Table S5. e_0^† Estimates in India and states NFHS-5(2019-21) and SRS (2020). Supplementary Table S6. Change in e_0 in India and states NFHS-4 (2015-16) to NFHS-5 (2019-21) and SRS (2015) to SRS (2020). Supplementary Table S7. Change in e_0^† in India and states NFHS-4 (2015-16) to NFHS-5 (2019-21) and SRS (2015) to SRS (2020).
Dynamics of scalar perturbations in f(R,T) gravity
Creators: name: Alvarenga, F. G.
name: de la Cruz-Dombriz, A.
name: Houndjo, M. J. S.
name: Rodrigues, M. E.
name: Sáez-Gómez, D.
Publisher: name: arXiv
Year: 2013
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: In the context of f(R,T) theories of gravity, we study the evolution of scalar cosmological perturbations in the metric formalism. According to restrictions on the background evolution, a specific model within these theories is assumed in order to guarantee the standard continuity equation. Using a completely general procedure, we find the complete set of differential equations for the matter density perturbations. In the case of sub-Hubble modes, the density contrast evolution reduces to a second-order equation. We show that for well-motivated f(R,T) Lagrangians the quasistatic approximation yields to very different results from the ones derived in the frame of the concordance ΛCDM model constraining severely the viability of such theories.
description: 11 pages, 3 figures, revtex4 format, minor changes to match version as published version, published version in PRD
title: Ҳуқуқ нормаларини шарҳлашда Ўзбекистон республикаси конституциявий судининг роли
Creators: name: Abdullayeva, M.
Publisher: name: Tashkent state university of law
Year: 2018

description: Мазкур мақолада Ўзбекистон Республикаси Конституциявий судининг замонавий ҳуқуқни тушунишдаги ва ҳуқуқни қўллаш амалиётидаги ҳуқуқий позицияси ва қарорларининг аҳамияти, шунингдек конституциявий мурожаатларнинг ҳуқуқий аҳамияти таҳлил этилган. Тадқиқот натижасида мазкур соҳани ривожлантириш бўйича илмий асосланган таклиф ва тавсиялар илгари сурилган.
Nachrichten
Creators: name: Redaktion, Die
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
Lattice paths with catastrophes
Creators: name: Banderier, Cyril
name: Wallner, Michael
Publisher: name: arXiv
Year: 2017
Subjects: subject: Combinatorics (math.CO)
subject: Discrete Mathematics (cs.DM)
subject: Probability (math.PR)
subject: FOS: Mathematics
subject: FOS: Computer and information sciences
subject: 05A16, 05A19, 60F05

description: In queuing theory, it is usual to have some models with a "reset" of the queue. In terms of lattice paths, it is like having the possibility of jumping from any altitude to zero. These objects have the interesting feature that they do not have the same intuitive probabilistic behaviour as classical Dyck paths (the typical properties of which are strongly related to Brownian motion theory), and this article quantifies some relations between these two types of paths. We give a bijection with some other lattice paths and a link with a continued fraction expansion. Furthermore, we prove several formulae for related combinatorial structures conjectured in the On-Line Encyclopedia of Integer Sequences. Thanks to the kernel method and via analytic combinatorics, we provide the enumeration and limit laws of these "lattice paths with catastrophes" for any finite set of jumps. We end with an algorithm to generate such lattice paths uniformly at random.
description: 32 pages
Geschichtliche Denkmäler in Not. Erhaltung und Konservierung und Restaurierung der Denkmäler
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. 10, Nr. 2 (1969): Burgen und Schlösser - Zeitschrift für Burgenforschung und Denkmalpflege
Complete Call-by-Value Calculi of Control Operators II: Strong Termination
Creators: name: Hasegawa, Ryu
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: We provide characterization of the strong termination property of the CCV (complete call-by-value) lambda-mu calculus introduced in the first part of this series of the paper. The calculus is complete with respect to the standard continuation-passing style (CPS) semantics. The union-intersection type systems for the calculus is developed in the previous paper. We characterize the strong normalizability of terms of the calculus in terms of the CPS semantics and typeability.
Rapid disappearance of a warm, dusty circumstellar disk
Creators: name: Melis, Carl
name: Zuckerman, B.
name: Rhee, Joseph H.
name: Song, Inseok
name: Murphy, Simon J.
name: Bessell, Michael S.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: Earth and Planetary Astrophysics (astro-ph.EP)
subject: FOS: Physical sciences

description: Stars form with gaseous and dusty circumstellar envelopes, which rapidly settle into disks that eventually give rise to planetary systems. Understanding the process by which these disks evolve is paramount in developing an accurate theory of planet formation that can account for the variety of planetary systems discovered so far. The formation of Earth-like planets through collisional accumulation of rocky objects within a disk has mainly been explored in theoretical and computational work in which post-collision ejecta evolution is typically ignored, although recent work has considered the fate of such material. Here we report observations of a young, Sun-like star (TYC 8241 2652 1) where infrared flux from post-collisional ejecta has decreased drastically, by a factor of about 30, over a period of less than two years. The star seems to have gone from hosting substantial quantities of dusty ejecta, in a region analogous to where the rocky planets orbit in the Solar System, to retaining at most a meagre amount of cooler dust. Such a phase of rapid ejecta evolution has not been previously predicted or observed, and no currently available physical model satisfactorily explains the observations.
description: Published in the July 5th edition of Nature. 27 pages, 2 tables, 2 figures; includes Supplementary Information
Additional file 5 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 5
Additional file 1 of The effect of a multi-component behavior change technique intervention on medication adherence among individuals on primary prevention statin therapy: a dose-finding protocol
Creators: name: Butler, Mark J.
name: Romain, Anne-Marie N.
name: Augustin, Rumisha
name: Robles, Patrick
name: Friel, Ciaran P.
name: Chandereng, Thevaa
name: Suls, Jerry M.
name: Vrany, Elizabeth A.
name: Vicari, Frank
name: Cheung, Ying Kuen
name: Davidson, Karina W.
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Pharmacology
subject: Biotechnology
subject: Sociology
subject: FOS: Sociology
subject: Biological Sciences not elsewhere classified
subject: Cancer
subject: Infectious Diseases
subject: FOS: Health sciences

description: Additional file 1. Consent for Participation in a Research Study.
Logical properties of random graphs from small addable classes
Creators: name: Dawar, Anuj
name: Kopczyński, Eryk
Publisher: name: arXiv
Year: 2017
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Logic (math.LO)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics
subject: F.4.1
subject: 03C13

description: We establish zero-one laws and convergence laws for monadic second-order logic (MSO) (and, a fortiori, first-order logic) on a number of interesting graph classes. In particular, we show that MSO obeys a zero-one law on the class of connected planar graphs, the class of connected graphs of tree-width at most $k$ and the class of connected graphs excluding the $k$-clique as a minor. In each of these cases, dropping the connectivity requirement leads to a class where the zero-one law fails but a convergence law for MSO still holds.
title: Фуқаролик кодексининг вазифаси: ижтимоий муносабатларни ҳуқуқий тартибга солиш ёхуд ҳуқуқни белгилаш
Creators: name: Imamov, N.
Publisher: name: Tashkent state university of law
Year: 2018

description: Ушбу мақолада Фуқаролик кодексининг вазифаси, қонун нормалари ва шартнома қоидаларининг ўзаро нисбати, ижтимоий муносабатларни тартибга солишда Фуқаролик кодекси нормаларининг қўлланилиши, шартномаларнинг тарафлар ўртасидаги ҳуқуқий муносабатини белгилаш ва тартибга солишдаги моҳияти ёритилади. Муаллиф Фуқаролик кодексининг вазифаси борасида фикр юритар экан, ушбу қонун ҳужжати нафақат ижтимоий муносабатларни тартибга солиш, балки фуқаролик ҳуқуқлар ва субъектларининг ҳуқуқий ҳолатини белгилаш вазифасини ҳам бажариши ғоясини қўллаб-қувватлашга ҳаракат қилади. Қонун нормалари ва шартнома қоидаларининг нисбатида уларнинг ўзаро қарама-қаршилиги эмас, балки бир-бирини тўлдирувчилик жиҳати устувор бўлишига аҳамият қаратиб, муаллиф Фуқаролик кодексига ўзгартиш ва қўшимчалар киритиш бўйича ўз таклифларини илгари суради.
Quantum correlations in predictive processes
Creators: name: Grimsmo, Arne L.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We consider the role of quantum correlations in the efficient use of information by a predictive quantum system, generalizing a recently proposed classical measure of non-predictive information to the quantum regime. We show that, as a quantum system changes state, the non-predictive information held by another correlated quantum system is exactly equal to the extractable work that is lost from the second system. We use quantum discord to quantify the quantum contribution, and demonstrate the possibility of improved thermodynamic efficiency due to a negative "quantum part" of the lost work. We also give a thermodynamic interpretation to quantum discord, as the reduction in extractable work under an optimal classical approximation of a quantum memory.
description: 5 pages, 2 figure
title: Ўзбекистон республикаси меҳнат қонунчилигини такомиллаштиришнинг айрим масалалари
Creators: name: Usmanova, M.
Publisher: name: Tashkent state university of law
Year: 2018

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

description: В статье рассматривается правовой режим базы данных по законодательству Республики Узбекистан. Автор анализирует мировой опыт определения правового режима баз данных, института Suigeneris по европейскому праву, мнения ученых-цивилистов по определению правового режима, установленного в отношении баз данных. Также выдвинул даны предложения по совершенствованию законодательных основ.
Calving on tidewater glaciers amplified by submarine frontal melting
Creators: name: O'Leary, Martin
name: Christoffersen, Poul
Publisher: name: arXiv
Year: 2012
Subjects: subject: Geophysics (physics.geo-ph)
subject: Atmospheric and Oceanic Physics (physics.ao-ph)
subject: FOS: Physical sciences

description: While it has been shown repeatedly that ocean conditions exhibit an important control on the behaviour of grounded tidewater glaciers, modelling studies have focused largely on the effects of basal and surface melting. Here, a finite-element model of stresses near the front of a tidewater glacier is used to investigate the effects of frontal melting on calving, independently of the calving criterion used. Applications of the stress model to idealized scenarios reveal that undercutting of the ice front due to frontal melting can drive calving at up to ten times the mean melt rate. Factors which cause increased frontal melt-driven calving include a strong thermal gradient in the ice, and a concentration of frontal melt at the base of the glacier. These properties are typical of both Arctic and Antarctic tidewater glaciers. The finding that frontal melt near the base is a strong driver of calving leads to the conclusion that water temperatures near the bed of the glacier are critically important to the glacier front, and thus the flow of the glacier. These conclusions are robust against changes in the basal boundary condition and the choice of calving criterion, as well as variations in the glacier size or level of crevassing.
On the Number of Disjoint Pairs of S-permutation Matrices
Creators: name: Yordzhev, Krasimir Yankov
Publisher: name: arXiv
Year: 2012
Subjects: subject: Combinatorics (math.CO)
subject: Discrete Mathematics (cs.DM)
subject: FOS: Mathematics
subject: FOS: Computer and information sciences
subject: 15B34, 05B20, 05C50

description: In [Journal of Statistical Planning and Inference (141) (2011) 3697-3704], Roberto Fontana offers an algorithm for obtaining Sudoku matrices. Introduced by Geir Dahl concept disjoint pairs of S-permutation matrices [Linear Algebra and its Applications (430) (2009) 2457-2463] is used in this algorithm. Analyzing the works of G. Dahl and R. Fontana, the question of finding a general formula for counting disjoint pairs of $n^2 \times n^2$ S-permutation matrices as a function of the integer $n$ naturally arises. This is an interesting combinatorial problem that deserves its consideration. The present work solves this problem. To do that, the graph theory techniques have been used. It has been shown that to count the number of disjoint pairs of $n^2 \times n^2$ S-permutation matrices, it is sufficient to obtain some numerical characteristics of the set of all bipartite graphs of the type $g=$, where $V=R_g \cup C_g$ is the set of vertices, and $E_g$ is the set of edges of the graph $g$, $R_g \cap C_g =\emptyset$, $|R_g|=|C_g|=n$.
description: 14 pages, 1 figure. arXiv admin note: substantial text overlap with arXiv:1202.0401
Additional file 1 of Fatigue in patients with inflammatory bowel disease—strongly influenced by depression and not identifiable through laboratory testing: a cross-sectional survey study
Creators: name: Uhlir, Victoria
name: Stallmach, Andreas
name: Grunert, Philip Christian
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Chemical Sciences not elsewhere classified
subject: Immunology
subject: FOS: Clinical medicine
subject: Biological Sciences not elsewhere classified

description: Additional file 1. Correlation between IBDQ items / domains and the total fatigue score by Pearson´s correlation coefficient.
Random quasi-phase-matched second-harmonic generation in periodically poled lithium tantalate
Creators: name: Stivala, Salvatore
name: Busacca, Alessandro C.
name: Pasquazi, Alessia
name: Oliveri, Roberto L.
name: Morandotti, Roberto
name: Assanto, Gaetano
Publisher: name: arXiv
Year: 2012
Subjects: subject: Optics (physics.optics)
subject: FOS: Physical sciences

description: We observe second harmonic generation via random quasi-phase-matching in a 2.0 μm periodically poled, 1-cm-long, z-cut lithium tantalate. Away from resonance, the harmonic output profiles exhibit a characteristic pattern stemming from a stochastic domain distribution and a quadratic growth with the fundamental excitation, as well as a broadband spectral response. The results are in good agreement with a simple model and numerical simulations in the undepleted regime, assuming an anisotropic spread of the random nonlinear component.
Tight is better: Performance Improvement of the Compressive Classifier Using Equi-Norm Tight Frames
Creators: name: Shi, Hailong
name: Zhang, Hao
Publisher: name: arXiv
Year: 2013
Subjects: subject: Information Theory (cs.IT)
subject: Statistics Theory (math.ST)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics

description: Detecting or classifying already known sparse signals contaminated by Gaussian noise from compressive measurements is different from reconstructing sparse signals, as its objective is to minimize the error probability which describes performance of the detectors or classifiers. This paper is concerned about the performance improvement of a commonly used Compressive Classifier. We prove that when the arbitrary sensing matrices used to get the Compressive Measurements are transformed into Equi-Norm Tight Frames, i.e. the matrices that are row-orthogonal, The Compressive Classifier achieves better performance. Although there are other proofs that among all Equi-Norm Tight Frames the Equiangular tight Frames (ETFs) bring best worst-case performance, the existence and construction of ETFs on some dimensions is still an open problem. As the construction of Equi-Norm Tight Frames from any arbitrary matrices is very easy and practical compared with ETF matrices, the result of this paper can also provide a practical method to design an improved sensing matrix for Compressive Classification. We can conclude that: Tight is Better!
description: 6pages,Accepted by IEEE DSP/SPE 2013
A minimally constrained model of self-organized helical states in reversed-field pinches
Creators: name: Dennis, G. R.
name: Hudson, S. R.
name: Terranova, D.
name: Franz, P.
name: Dewar, R. L.
name: Hole, M. J.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Plasma Physics (physics.plasm-ph)
subject: FOS: Physical sciences

description: We show that the self-organized single-helical-axis (SHAx) and double-helical-axis (DAx) states in reversed field pinches can be reproduced in a minimally constrained equilibrium model using only five parameters. This is a significant reduction on previous representations of the SHAx which have required an infinite number of constraints. The DAx state, which has a non-trivial topology, has not been previously reproduced using an equilibrium model that preserves this topological structure. We show that both states are a consequence of transport barrier formation in the plasma core, in agreement with experimental results.
description: 5 pages, 4 figures
Distribution Bisimilarity via the Power of Convex Algebras
Creators: name: Bonchi, Filippo
name: Silva, Alexandra
name: Sokolova, Ana
Publisher: name: arXiv
Year: 2017
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: F.3; G.3; F.1.2; D.2.4

description: Probabilistic automata (PA), also known as probabilistic nondeterministic labelled transition systems, combine probability and nondeterminism. They can be given different semantics, like strong bisimilarity, convex bisimilarity, or (more recently) distribution bisimilarity. The latter is based on the view of PA as transformers of probability distributions, also called belief states, and promotes distributions to first-class citizens. We give a coalgebraic account of distribution bisimilarity, and explain the genesis of the belief-state transformer from a PA. To do so, we make explicit the convex algebraic structure present in PA and identify belief-state transformers as transition systems with state space that carries a convex algebra. As a consequence of our abstract approach, we can give a sound proof technique which we call bisimulation up-to convex hull.
description: Full (extended) version of a CONCUR 2017 paper, minor revision of the LMCS submission
Three-box paradox and "Cheshire cat grin": the case of spin-1 atoms
Creators: name: Matzkin, A.
name: Pan, A. K.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We propose in this work a definite theoretical implementation of the three-box paradox - a scheme in which a single quantum particle appears to be present with certainty in two separate boxes - with spin-1 atoms. We further show how our setup can give rise to a "Cheshire cat grin" type of situation, in which an atom can apparently be found with certainty in one of the boxes while one of its properties (the angular momentum projection along a specifically chosen axis) appears to be in a different box. The significance of our findings are discussed relative to the status of the properties of a system obtained from weak measurements.
description: 17 pages, 2 figures
Decycling a graph by the removal of a matching: new algorithmic and structural aspects in some classes of graphs
Creators: name: Protti, Fábio
name: Souza, Uéverton S.
Publisher: name: arXiv
Year: 2017
Subjects: subject: Discrete Mathematics (cs.DM)
subject: FOS: Computer and information sciences

description: A graph $G$ is {\em matching-decyclable} if it has a matching $M$ such that $G-M$ is acyclic. Deciding whether $G$ is matching-decyclable is an NP-complete problem even if $G$ is 2-connected, planar, and subcubic. In this work we present results on matching-decyclability in the following classes: Hamiltonian subcubic graphs, chordal graphs, and distance-hereditary graphs. In Hamiltonian subcubic graphs we show that deciding matching-decyclability is NP-complete even if there are exactly two vertices of degree two. For chordal and distance-hereditary graphs, we present characterizations of matching-decyclability that lead to $O(n)$-time recognition algorithms.
Equational Reasonings in Wireless Network Gossip Protocols
Creators: name: Lanotte, Ruggero
name: Merro, Massimo
name: Tini, Simone
Publisher: name: arXiv
Year: 2017
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Gossip protocols have been proposed as a robust and efficient method for disseminating information throughout large-scale networks. In this paper, we propose a compositional analysis technique to study formal probabilistic models of gossip protocols expressed in a simple probabilistic timed process calculus for wireless sensor networks. We equip the calculus with a simulation theory to compare probabilistic protocols that have similar behaviour up to a certain tolerance. The theory is used to prove a number of algebraic laws which revealed to be very effective to estimate the performances of gossip networks, with and without communication collisions, and randomised gossip networks. Our simulation theory is an asymmetric variant of the weak bisimulation metric that maintains most of the properties of the original definition. However, our asymmetric version is particularly suitable to reason on protocols in which the systems under consideration are not approximately equivalent, as in the case of gossip protocols.
Additional file 1 of Musculoskeletal disorders among dental students: a survey from Saudi Arabia
Creators: name: AlSahiem, Jood
name: Alghamdi, Sarah
name: AlQahtani, Raghad
name: Bin-Jardan, Leena
name: AlMadani, Dalal
name: Farooqi, Faraz Ahmed
name: Gaffar, Balgis
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Biotechnology
subject: Sociology
subject: FOS: Sociology
subject: Biological Sciences not elsewhere classified
subject: Science Policy

description: Additional file 1.
Separating regular languages with two quantifier alternations
Creators: name: Place, Thomas
Publisher: name: arXiv
Year: 2017
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Formal Languages and Automata Theory (cs.FL)
subject: FOS: Computer and information sciences
subject: F.4.1; F.4.3

description: We investigate a famous decision problem in automata theory: separation. Given a class of language C, the separation problem for C takes as input two regular languages and asks whether there exists a third one which belongs to C, includes the first one and is disjoint from the second. Typically, obtaining an algorithm for separation yields a deep understanding of the investigated class C. This explains why a lot of effort has been devoted to finding algorithms for the most prominent classes. Here, we are interested in classes within concatenation hierarchies. Such hierarchies are built using a generic construction process: one starts from an initial class called the basis and builds new levels by applying generic operations. The most famous one, the dot-depth hierarchy of Brzozowski and Cohen, classifies the languages definable in first-order logic. Moreover, it was shown by Thomas that it corresponds to the quantifier alternation hierarchy of first-order logic: each level in the dot-depth corresponds to the languages that can be defined with a prescribed number of quantifier blocks. Finding separation algorithms for all levels in this hierarchy is among the most famous open problems in automata theory. Our main theorem is generic: we show that separation is decidable for the level 3/2 of any concatenation hierarchy whose basis is finite. Furthermore, in the special case of the dot-depth, we push this result to the level 5/2. In logical terms, this solves separation for $Σ_3$: first-order sentences having at most three quantifier blocks starting with an existential one.
Additional file 7 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 7