cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Partial Masslessness and Conformal Gravity
Creators: name: Deser, S.
name: Joung, E.
name: Waldron, A.
Publisher: name: arXiv
Year: 2012
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: Differential Geometry (math.DG)
subject: FOS: Physical sciences
subject: FOS: Mathematics

description: We use conformal, but ghostful, Weyl gravity to study its ghost-free, second derivative, partially massless (PM) spin 2 component in presence of Einstein gravity with positive cosmological constant. Specifically, we consider both gravitational- and self- interactions of PM via the fully non-linear factorization of conformal gravity's Bach tensor into Einstein times Schouten operators. We find that extending PM beyond linear order suffers from familiar higher-spin consistency obstructions: it propagates only in Einstein backgrounds, and the conformal gravity route generates only the usual safe, Noether, cubic order vertices.
description: 19 pages, LaTeX
Bounded Quantifier Instantiation for Checking Inductive Invariants
Creators: name: Feldman, Yotam M. Y.
name: Padon, Oded
name: Immerman, Neil
name: Sagiv, Mooly
name: Shoham, Sharon
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 consider the problem of checking whether a proposed invariant $φ$ expressed in first-order logic with quantifier alternation is inductive, i.e. preserved by a piece of code. While the problem is undecidable, modern SMT solvers can sometimes solve it automatically. However, they employ powerful quantifier instantiation methods that may diverge, especially when $φ$ is not preserved. A notable difficulty arises due to counterexamples of infinite size. This paper studies Bounded-Horizon instantiation, a natural method for guaranteeing the termination of SMT solvers. The method bounds the depth of terms used in the quantifier instantiation process. We show that this method is surprisingly powerful for checking quantified invariants in uninterpreted domains. Furthermore, by producing partial models it can help the user diagnose the case when $φ$ is not inductive, especially when the underlying reason is the existence of infinite counterexamples. Our main technical result is that Bounded-Horizon is at least as powerful as instrumentation, which is a manual method to guarantee convergence of the solver by modifying the program so that it admits a purely universal invariant. We show that with a bound of 1 we can simulate a natural class of instrumentations, without the need to modify the code and in a fully automatic way. We also report on a prototype implementation on top of Z3, which we used to verify several examples by Bounded-Horizon of bound 1.
Robust Photon Entanglement via Quantum Interference in Optomechanical Interfaces
Creators: name: Tian, Lin
Publisher: name: arXiv
Year: 2013
Subjects: subject: Quantum Physics (quant-ph)
subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: Entanglement is often the key element in quantum information protocols. Here, we present schemes to generate robust photon entanglement in optomechanical interfaces via quantum interference. The schemes explore the excitation of the Bogoliubov dark mode and the destructive quantum interference between the bright modes of the interface, similar to electromagnetically induced transparency, to eliminate leading-order effects of the mechanical noise. Both continuous-variable and discrete-state entanglements that are robust against the mechanical noise can be achieved.
description: 5 pages, 3 figures, supplemental material at http://prl.aps.org/supplemental/PRL/v110/i23/e233602
Additional file 2 of Disease severity and mortality in Alzheimer's disease: an analysis using the U.S. National Alzheimer’s Coordinating Center Uniform Data Set
Creators: name: Crowell, Valerie
name: Reyes, Adriana
name: Zhou, Summera Qiheng
name: Vassilaki, Maria
name: Gsteiger, Sandro
name: Gustavsson, Anders
Publisher: name: figshare
Year: 2023
Subjects: Medicine
Cell Biology
Neuroscience
Biotechnology
Cancer
Mental Health

description: Additional file 2.
Bottom-up automata on data trees and vertical XPath
Creators: name: Figueira, Diego
name: Segoufin, Luc
Publisher: name: arXiv
Year: 2017
Subjects: subject: Databases (cs.DB)
subject: FOS: Computer and information sciences

description: A data tree is a finite tree whose every node carries a label from a finite alphabet and a datum from some infinite domain. We introduce a new model of automata over unranked data trees with a decidable emptiness problem. It is essentially a bottom-up alternating automaton with one register that can store one data value and can be used to perform equality tests with the data values occurring within the subtree of the current node. We show that it captures the expressive power of the vertical fragment of XPath - containing the child, descendant, parent and ancestor axes - obtaining thus a decision procedure for its satisfiability problem.
title: Юрист мутахассисларни тайёрлашда ҳуқуқий мавзудаги бадиий асарларнинг ўрни ва аҳамияти
Creators: name: Choriev, O.
Publisher: name: Tashkent state university of law
Year: 2018

description: Мазкур мақолада юридик кадрларни тайёрлашда ҳуқуқий мавзудаги бадиий асарларнинг ўрни ва аҳамияти, етук малакали мутахассис бўлиб етишишда уларнинг муҳим восита бўлиб хизмат қилиши борасидаги фикр-мулоҳазалар ифодаланган.
Permutation complexity of images of Sturmian words by marked morphisms
Creators: name: Borchert, Adam
name: Rampersad, Narad
Publisher: name: arXiv
Year: 2017
Subjects: subject: Combinatorics (math.CO)
subject: Formal Languages and Automata Theory (cs.FL)
subject: FOS: Mathematics
subject: FOS: Computer and information sciences
subject: 68R15

description: We show that the permutation complexity of the image of a Sturmian word by a binary marked morphism is $n+k$ for some constant $k$ and all lengths $n$ sufficiently large.
description: 9 pages
Seasonality in erythrocyte cytomorphometry and physiology of a sub-tropical resident bird Scaly-breasted Munia (Lonchura punctulata)
Creators: name: Kumar, Abhishek
name: Vaish, Vaibhav
name: Chaturvedi, Khushboo
name: Malik, Shalie
name: Rani, Sangeeta
Publisher: name: figshare
Year: 2025
Subjects: classificationCode: 310914
subject: Vertebrate biology
classificationCode: 310902
subject: Animal cell and molecular biology
classificationCode: 310907
subject: Animal physiological ecology
classificationCode: 310909
subject: Animal physiology - cell
classificationCode: 310910
subject: Animal physiology - systems
classificationCode: 310408
subject: Life histories
classificationCode: 460103
subject: Applications in life sciences

description: In this study, we are showing the existence of seasonality in erythrocyte cytomorphometry and physiological parameters of a sub-tropical resident bird spotted munia. The results suggest that seasonal changes in the environment affect the erythrocyte cytomorphometry and physiology of spotted munia.
Lattice BGK kinetic model for high speed compressible flows: hydrodynamic and nonequilibrium behaviors
Creators: name: Gan, Yanbiao
name: Xu, Aiguo
name: Zhang, Guangcai
name: Yang, Yang
Publisher: name: arXiv
Year: 2013
Subjects: subject: Soft Condensed Matter (cond-mat.soft)
subject: FOS: Physical sciences

description: We present a simple and general approach to formulate the lattice BGK model for high speed compressible flows. The main point consists of two parts: an appropriate discrete equilibrium distribution function (DEDF) $\mathbf{f}^{eq}$ and a discrete velocity model with flexible velocity size. The DEDF is obtained by $\mathbf{f}^{eq}=\mathbf{C}^{-1}\mathbf{M}$, where $\mathbf{M}$ is a set of moment of the Maxwellian distribution function, and $\mathbf{C}$ is the matrix connecting the DEDF and the moments. The numerical components of $\mathbf{C}$ are determined by the discrete velocity model. The calculation of $\mathbf{C}^{-1}$ is based on the analytic solution which is a function of the parameter controlling the sizes of discrete velocity. The choosing of discrete velocity model has a high flexibility. The specific heat ratio of the system can be flexible. The approach works for the one-, two- and three-dimensional model constructions. As an example, we compose a new lattice BGK kinetic model which works not only for recovering the Navier-Stokes equations in the continuum limit but also for measuring the departure of system from its thermodynamic equilibrium. Via adjusting the sizes of the discrete velocities the stably simulated Mach number can be significantly increased up to 30 or even higher. The model is verified and validated by well-known benchmark tests. Some macroscopic behaviors of the system due to deviating from thermodynamic equilibrium around the shock wave interfaces are shown.
description: accepted for publication in EPL
Additional file 1 of Disease severity and mortality in Alzheimer's disease: an analysis using the U.S. National Alzheimer’s Coordinating Center Uniform Data Set
Creators: name: Crowell, Valerie
name: Reyes, Adriana
name: Zhou, Summera Qiheng
name: Vassilaki, Maria
name: Gsteiger, Sandro
name: Gustavsson, Anders
Publisher: name: figshare
Year: 2023
Subjects: Medicine
Cell Biology
Neuroscience
Biotechnology
Cancer
Mental Health

description: Additional file 1.
Ein Goldfund der Kupferzeit aus Ungarn
Creators: name: Milojčić, Vladimir
Publisher: name: Germania : Anzeiger der Römisch-Germanischen Kommission des Deutschen Archäologischen Instituts
Year: 2018

description: -
description: Germania : Anzeiger der Römisch-Germanischen Kommission des Deutschen Archäologischen Instituts, Bd. 31, Nr. 1/2 (1953)
Modelling of blazar SEDs with the nonlinear SSC cooling process
Creators: name: Zacharias, Michael
name: Schlickeiser, Reinhard
Publisher: name: arXiv
Year: 2012
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: Observations of blazar flaring states reveal remarkably different variability time scales. Especially rapid flares with flux doubling time scales of the order of minutes have been puzzling for quite some time. Many modeling attempts use the well known linear relations for the cooling and emission processes in the jet in a steady-state scenario, albeit the obvious strongly time-dependent nature of flares. Due to the feedback of self-produced radiation with additional scattering by relativistic electrons, the synchrotron-self Compton (SSC) effect is inherently time-dependent. Although this feedback is usually implemented in numerical treatments, only recently an analytical analysis of the effects of this nonlinear behaviour has been performed. Here, we report our results concerning the effect of the time-dependent SSC on the spectral energy distribution (SED) of blazars. We calculated analytically the synchrotron and the SSC component, giving remarkably different spectral features compared to the standard linear approach. Adding an external photon field to the original setting, we could implement quite easily the effect of an additional external Compton (EC) cooling, since such strong external photon fields are observed in flat spectrum radio quasars (FSRQ), a subclass of blazars. Calculating the resulting flux due to the EC cooling, we were able to show that the resulting inverse Compton component strongly depends on the free parameters, and that SSC could potentially have a strong effect in FSRQs, contrary to what is usually assumed.
description: Contribution to the GAMMA2012 conference in Heidelberg, to be published in the AIP Proceedings "High Energy Gamma-Ray Astronomy, eds. F. Aharonian, W. Hofmann, F. Rieger"
Guido Rings: The Other in Contemporary Migrant Cinema: Imagining a New Europe?, New York/London: Routledge 2016
Creators: name: Berzaghi, Erica
Publisher: name: HeLix - Dossiers zur romanischen Literaturwissenschaft
Year: 2018

description: This article is a review of Guido Rings's book: The Other in Contemporary Migrant Cinema: Imagining a New Europe?
description: HeLix - Dossiers zur romanischen Literaturwissenschaft, Bd. 10 (2017): HeLix - Dossiers zur romanischen Literaturwissenschaft
Syzygies and singularities of tensor product surfaces of bidegree (2,1)
Creators: name: Schenck, Hal
name: Seceleanu, Alexandra
name: Validashti, Javid
Publisher: name: arXiv
Year: 2012
Subjects: subject: Commutative Algebra (math.AC)
subject: FOS: Mathematics
subject: 65D17, 13D02, 41A15

description: Let U be a basepoint free four-dimensional subspace of the space of sections of O(2,1) on P^1 x P^1. The sections corresponding to U determine a regular map p_U: P^1 x P^1 --> P^3. We study the associated bigraded ideal I_U in k[s,t;u,v] from the standpoint of commutative algebra, proving that there are exactly six numerical types of possible bigraded minimal free resolution. These resolutions play a key role in determining the implicit equation of the image p_U(P^1 x P^1), via work of Buse-Jouanolou, Buse-Chardin, Botbol and Botbol-Dickenstein-Dohm on the approximation complex. In four of the six cases I_U has a linear first syzygy; remarkably from this we obtain all differentials in the minimal free resolution. In particular this allows us to describe the implicit equation and singular locus of the image.
description: 35 pages 1 figure
Complexity of locally-injective homomorphisms to tournaments
Creators: name: Bard, Stefan
name: Bellitto, Thomas
name: Duffy, Christopher
name: MacGillivray, Gary
name: Yang, Feiran
Publisher: name: arXiv
Year: 2017
Subjects: subject: Discrete Mathematics (cs.DM)
subject: Combinatorics (math.CO)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics
subject: 05C15

description: For oriented graphs $G$ and $H$, a homomorphism $f: G \rightarrow H$ is locally-injective if, for every $v \in V(G)$, it is injective when restricted to some combination of the in-neighbourhood and out-neighbourhood of $v$. Two of the possible definitions of local-injectivity are examined. In each case it is shown that the associated homomorphism problem is NP-complete when $H$ is a reflexive tournament on three or more vertices with a loop at every vertex, and solvable in polynomial time when $H$ is a reflexive tournament on two or fewer vertices.
description: 22 pages, 16 figures
Additional file 1 of Effectiveness of a recovery workshop implemented in community mental health services in Catalonia (Spain): study protocol for a non-randomized controlled trial
Creators: name: Sampietro, Hernán María
name: Barrios, Maite
name: Guilera, Georgina
name: Rojo, J. Emilio
name: Gómez-Benito, Juana
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
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. SPIRIT Checklist.
Logical relations for coherence of effect subtyping
Creators: name: Biernacki, Dariusz
name: Polesiuk, Piotr
Publisher: name: arXiv
Year: 2017
Subjects: subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences

description: A coercion semantics of a programming language with subtyping is typically defined on typing derivations rather than on typing judgments. To avoid semantic ambiguity, such a semantics is expected to be coherent, i.e., independent of the typing derivation for a given typing judgment. In this article we present heterogeneous, biorthogonal, step-indexed logical relations for establishing the coherence of coercion semantics of programming languages with subtyping. To illustrate the effectiveness of the proof method, we develop a proof of coherence of a type-directed, selective CPS translation from a typed call-by-value lambda calculus with delimited continuations and control-effect subtyping. The article is accompanied by a Coq formalization that relies on a novel shallow embedding of a logic for reasoning about step-indexing.
Van Kampen Colimits and Path Uniqueness
Creators: name: König, Harald
name: Wolter, Uwe
Publisher: name: arXiv
Year: 2017
Subjects: subject: Category Theory (math.CT)
subject: FOS: Mathematics
subject: 18A15, 18A25

description: Fibred semantics is the foundation of the model-instance pattern of software engineering. Software models can often be formalized as objects of presheaf topoi, i.e, categories of objects that can be represented as algebras as well as coalgebras, e.g., the category of directed graphs. Multimodeling requires to construct colimits of models, decomposition is given by pullback. Compositionality requires an exact interplay of these operations, i.e., diagrams must enjoy the Van Kampen property. However, checking the validity of the Van Kampen property algorithmically based on its definition is often impossible. In this paper we state a necessary and sufficient yet efficiently checkable condition for the Van Kampen property to hold in presheaf topoi. It is based on a uniqueness property of path-like structures within the defining congruence classes that make up the colimiting cocone of the models. We thus add to the statement "Being Van Kampen is a Universal Property" by Heindel and Sobociński the fact that the Van Kampen property reveals a presheaf-based structural uniqueness feature.
Extensional and Intensional Semantics of Bounded and Unbounded Nondeterminism
Creators: name: Laird, James
Publisher: name: arXiv
Year: 2017
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: F.3.2

description: We give extensional and intensional characterizations of functional programs with nondeterminism: as structure preserving functions between biorders, and as nondeterministic sequential algorithms on ordered concrete data structures which compute them. A fundamental result establishes that these extensional and intensional representations are equivalent, by showing how to construct the unique sequential algorithm which computes a given monotone and stable function, and describing the conditions on sequential algorithms which correspond to continuity with respect to each order. We illustrate by defining may-testing and must-testing denotational semantics for sequential functional languages with bounded and unbounded choice operators. We prove that these are computationally adequate, despite the non-continuity of the must-testing semantics of unbounded nondeterminism. In the bounded case, we prove that our continuous models are fully abstract with respect to may-testing and must-testing by identifying a simple universal type, which may also form the basis for models of the untyped λ-calculus. In the unbounded case we observe that our model contains computable functions which are not denoted by terms, by identifying a further "weak continuity" property of the definable elements, and use this to establish that it is not fully abstract.
First and second sound in a highly elongated Fermi gas at unitarity
Creators: name: Hou, Yan-Hua
name: Pitaevskii, Lev P.
name: Stringari, Sandro
Publisher: name: arXiv
Year: 2013
Subjects: subject: Quantum Gases (cond-mat.quant-gas)
subject: FOS: Physical sciences

description: We consider a Fermi gas at unitarity trapped by a highly elongated harmonic potential and solve the equations of two fluid hydrodynamics at finite temperature. The propagation of sound waves as well as the discretized solutions in the presence of weak axial trapping are considered. The relevant thermodynamic functions entering the hydrodynamic equations are discussed in the superfluid and normal regimes in terms of universal scaling functions. Both first sound and second sound solutions are calculated as a function of temperature and the role of the superfluid density is explicitly pointed out. The density fluctuations in the second sound wave are found to be large enough to be measured as a consequence of the finite thermal expansion coefficient of the gas. Emphasis is given to the comparison with recent experimental data.
description: 15 pages, 11 figures
title: Управление процессами обнаружения и преобразования сигналов в информационно-измерительной системе в условиях априорной параметрической неопределенности
Creators: name: ., А.А. Бурмака – д.т.н., профессор, гл. науч. сотрудник,  НИИЦ (г. Курск) 18 ЦНИИ Минобороны России  E-mail: kstu-bmi@yandex.ru  Т.Н. Говорухина – к.т.н., доцент,  кафедры программной инженерии, Юго-Западный государственный университет (г. Курск)  E-mail: govtn@mail.ru  О.А. Аникеева – гл. специалист,  ОБУЗ «Медицинский информационный аналитический центр» (г. Курск)  E-mail: kstu-bmi@yandex.ru  Ю.В. Цыплаков – к.т.н., инженер, начальник отдела,  НИИЦ (г. Курск) 18 ЦНИИ Минобороны России  E-mail: knii@kursktelecom.ru
Publisher: name: Издательство Радиотехника
Year: 2020

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

Цель. Провести аналитическое и методическое обоснование реализации квазиоптимального управления процессами обнаружения и аналого-дискретного преобразования импульсных сигналов в ИИС в условиях априорной параметрической неопределенности.

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

Практическая значимость. Структурно решение задачи позволило выполнить ее на уровне, защищенном патентом с теоретическим обоснованием эффективности устройства.
Additional file 2 of Effectiveness of a recovery workshop implemented in community mental health services in Catalonia (Spain): study protocol for a non-randomized controlled trial
Creators: name: Sampietro, Hernán María
name: Barrios, Maite
name: Guilera, Georgina
name: Rojo, J. Emilio
name: Gómez-Benito, Juana
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
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 2. Test battery.
Termination in Convex Sets of Distributions
Creators: name: Sokolova, Ana
name: Woracek, Harald
Publisher: name: arXiv
Year: 2017
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Convex algebras, also called (semi)convex sets, are at the heart of modelling probabilistic systems including probabilistic automata. Abstractly, they are the Eilenberg-Moore algebras of the finitely supported distribution monad. Concretely, they have been studied for decades within algebra and convex geometry. In this paper we study the problem of extending a convex algebra by a single point. Such extensions enable the modelling of termination in probabilistic systems. We provide a full description of all possible extensions for a particular class of convex algebras: For a fixed convex subset $D$ of a vector space satisfying additional technical condition, we consider the algebra of convex subsets of $D$. This class contains the convex algebras of convex subsets of distributions, modelling (nondeterministic) probabilistic automata. We also provide a full description of all possible extensions for the class of free convex algebras, modelling fully probabilistic systems. Finally, we show that there is a unique functorial extension, the so-called black-hole extension.
Disjunctive bases: normal forms and model theory for modal logics
Creators: name: Enqvist, Sebastian
name: Venema, Yde
Publisher: name: arXiv
Year: 2017
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: We present the concept of a disjunctive basis as a generic framework for normal forms in modal logic based on coalgebra. Disjunctive bases were defined in previous work on completeness for modal fixpoint logics, where they played a central role in the proof of a generic completeness theorem for coalgebraic mu-calculi. Believing the concept has a much wider significance, here we investigate it more thoroughly in its own right. We show that the presence of a disjunctive basis at the "one-step" level entails a number of good properties for a coalgebraic mu-calculus, in particular, a simulation theorem showing that every alternating automaton can be transformed into an equivalent nondeterministic one. Based on this, we prove a Lyndon theorem for the full fixpoint logic, its fixpoint-free fragment and its one-step fragment, and a Uniform Interpolation result, for both the full mu-calculus and its fixpoint-free fragment. We also raise the questions, when a disjunctive basis exists, and how disjunctive bases are related to Moss' coalgebraic "nabla" modalities. Nabla formulas provide disjunctive bases for many coalgebraic modal logics, but there are cases where disjunctive bases give useful normal forms even when nabla formulas fail to do so, our prime example being graded modal logic. We also show that disjunctive bases are preserved by forming sums, products and compositions of coalgebraic modal logics, providing tools for modular construction of modal logics admitting disjunctive bases. Finally, we consider the problem of giving a category-theoretic formulation of disjunctive bases, and provide a partial solution.
description: This is a corrected version of the paper arXiv:1710.10706 published originally on 26/3, 2019
Gefährdete Baudenkmäler
Creators: name: G., W.
name: H., Rhein.
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
title: Радиолокационный поиск людей под снежными завалами с помощью шарообразного резонансного отражателя
Creators: name: ., В. А. Яцкевич – д.т.н., профессор, Вологодский государственный университет E-mail: vayatskevich@yandex.ru
Publisher: name: Издательство Радиотехника
Year: 2020

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

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

Результаты. Теоретически исследованы свойства керамического шарика, используемого в качестве пассивного радиолокационного отражателя, размещенного в одежде человека, оказавшегося под слоем снега. Показано, что при надлежащем выборе зондирующей антенны удается получить параметр сигнал/помеха, позволяющий обнаружить шарик диаметром 30 мм на глубине до 2 м под снегом.

Практическая значимость. Проведенное исследование показывает возможность создания поискового радара более простой конструкции, чем у известных аналогов.
Deciding Confluence and Normal Form Properties of Ground Term Rewrite Systems Efficiently
Creators: name: Felgenhauer, Bertram
Publisher: name: arXiv
Year: 2017
Subjects: subject: Formal Languages and Automata Theory (cs.FL)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: F.2; F.4

description: It is known that the first-order theory of rewriting is decidable for ground term rewrite systems, but the general technique uses tree automata and often takes exponential time. For many properties, including confluence (CR), uniqueness of normal forms with respect to reductions (UNR) and with respect to conversions (UNC), polynomial time decision procedures are known for ground term rewrite systems. However, this is not the case for the normal form property (NFP). In this work, we present a cubic time algorithm for NFP, an almost cubic time algorithm for UNR, and an almost linear time algorithm for UNC, improving previous bounds. We also present a cubic time algorithm for CR.
Characterization of the optical and X-ray properties of the northwestern wisps in the Crab Nebula
Creators: name: Schweizer, Thomas
name: Bucciantini, Niccolo
name: Idec, Wojciech
name: Nilsson, Kari
name: Tennant, Allyn
name: Weisskopf, Martin
name: Zanin, Roberta
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: We have studied the wisps to the north-west of the Crab pulsar as part of a multi-wavelength campaign in the visible and in X-rays. Optical observations were obtained using the Nordic Optical Telescope in La Palma and X-ray observations were made with the Chandra X-ray Observatory. The observing campaign took place from 2010 October until 2012 September. About once per year we observe wisps forming and peeling off from (or near) the region commonly associated with the termination shock of the pulsar wind. We find that the exact locations of the northwestern wisps in the optical and in X-rays are similar but not coincident, with X-ray wisps preferentially located closer to the pulsar. This suggests that the optical and X-ray wisps are not produced by the same particle distribution. Our measurements and their implications are interpreted in terms of a Doppler-boosted ring model that has its origin in magne- tohydrodynamic (MHD) modelling. While the Doppler boosting factors inferred from the X-ray wisps are consistent with current MHD simulations of pulsar wind nebulae (PWN), the optical boosting factors are not, and typically exceed values from MHD simulations by about a factor of 3.
description: 11 pages, 12 figures
Additional file 1 of Bidirectional association between infectious gastroenteritis and inflammatory bowel disease: a population-based study
Creators: name: Tu, Kuan-Chieh
name: Yu, Ru-Yi
name: Lin, Yu-Hsuan
name: Chien, Chih-Chiang
name: Lu, Chin-Li
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Neuroscience
subject: Biotechnology
subject: Chemical Sciences not elsewhere classified
subject: Immunology
subject: FOS: Clinical medicine
subject: Infectious Diseases
subject: FOS: Health sciences
subject: Computational Biology

description: Additional file 1: Figure S1. Flow chart for study subject selection. Table S1. ICD codes of immune-related diseases.
title: Применение антенных решеток в системе радиосвязи с пространственным разделением каналов
Creators: name: ., В. А. Уфаев – д.т.н., ст. науч. сотрудник, вед. науч. сотрудник, ВУНЦ ВВС «ВВА им. профессора Н.Е. Жуковского и Ю.А. Гагарина» (г. Воронеж) E-mail: Andreyuff@mail.ru  М. П. Беляев – к.т.н., начальник отдела, ВУНЦ ВВС «ВВА им. профессора Н.Е. Жуковского и Ю.А. Гагарина» (г. Воронеж) E-mail: belyaev_mp@mail.ru
Publisher: name: Издательство Радиотехника
Year: 2020

description: Постановка проблемы. В SDMA-системах (spatial division multiple access) применяется технология смарт-антенн, обеспечивающая обслуживание множества корреспондентов за счет выделения отдельного луча под каждого из них. Радиосвязь осуществляется через базовую станцию с использованием двух частот для передачи сигналов абонентов-отправителей «вверх» на базовую станцию и «вниз» от нее абонентам-получателям. Задача состоит в совершенствовании системы связи с обеспечением приема и передачи сообщений одновременно на одной рабочей частоте.

Цель. Разработать и исследовать способ радиосвязи с пространственным разделением каналов при одновременной передаче и приеме сигналов на одной рабочей частоте с помощью антенных решеток.

Результаты. На основе применения приемных и передающих антенных решеток разработан способ радиосвязи с пространственным разделением каналов по принципу «каждый с каждым» при одновременной передаче и приеме сигналов на одной рабочей частоте. С применением методов обработки совокупности частотно-неразделимых сигналов и принципа взаимности приема – передачи разработана методика определения весовых коэффициентов передачи и приема. Моделированием оценено качество радиосвязи. Даны рекомендации по структуре, принципам построения, а также приведены основные требования к приемопередающим трактам.

Практическая значимость. Предложенный способ обеспечивает одновременную радиосвязь по принципу «каждый с каждым» при сокращении потребного частотного ресурса и повышении надежности связи.
Proving Soundness of Extensional Normal-Form Bisimilarities
Creators: name: Biernacki, Dariusz
name: Lenglet, Serguei
name: Polesiuk, Piotr
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: Normal-form bisimilarity is a simple, easy-to-use behavioral equivalence that relates terms in $λ$-calculi by decomposing their normal forms into bisimilar subterms. Moreover, it typically allows for powerful up-to techniques, such as bisimulation up to context, which simplify bisimulation proofs even further. However, proving soundness of these relations becomes complicated in the presence of $η$-expansion and usually relies on ad hoc proof methods which depend on the language. In this paper we propose a more systematic proof method to show that an extensional normal-form bisimilarity along with its corresponding up to context technique are sound. We illustrate our technique with three calculi: the call-by-value $λ$-calculus, the call-by-value $λ$-calculus with the delimited-control operators shift and reset, and the call-by-value $λ$-calculus with the abortive control operators call/cc and abort. In the first two cases, there was previously no sound up to context technique validating the $η$-law, whereas no theory of normal-form bisimulations for a calculus with call/cc and abort has been presented before. Our results have been fully formalized in the Coq proof assistant.
title: Простой метод определения координат фазового центра антенны
Creators: name: ., Н. Г. Князев – инженер-исследователь, АО «ОРКК» – «НИИ КП» (Москва) E-mail: Knyazev_NG@orkkniikp.ru  О. А. Курдюмов - к.ф.-м.н., доцент, вед. науч. сотрудник, филиал АО «ОРКК» – «НИИ КП» (Москва) E-mail: Kurdyumov_OA@orkkniikp.ru  В. Е. Сагач - начальник научно-производственного комплекса, филиал АО «ОРКК» – «НИИ КП» (Москва) E-mail: Sagach_VE@orkkniikp.ru
Publisher: name: Издательство Радиотехника
Year: 2020

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

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

Результаты. На основе теоретического анализа развит простой метод определения координат ФЦ антенн. Для вычисления положения ФЦ необходимо произвести симметричные повороты антенны на фиксированный зенитный угол и измерить фазы сигнала в этих положениях. Этот метод позволяет исследовать зависимость положения ФЦ от сферических координат. Проведены экспериментальные исследования положений ФЦ некоторых типов микрополосковых антенн, которые подтвердили справедливость предложенного метода. При этом метод наименьших квадратов дает значения положений ФЦ, не совпадающие с экспериментальными значениями и не зависящие от азимутального угла. Показано направление уменьшения зависимости положения ФЦ от сферических координат. Это позволит повысить точность определения координат по сигналам навигационных спутников. Исследована зависимость ФЦ антенны с одноточечным возбуждением от ее ориентации по азимуту, и показано, что он смещается по оси Z в пределах ~±8,5 мм. Отмечено, что у антенны с четырехточечным возбуждением наблюдается более стабильное положение ФЦ, особенно при увеличении толщины подложки до 18 мм.

Практическая значимость. Предложенный метод определения координат ФЦ позволяет разработчикам антенных устройств проводить оперативный контроль и оптимизацию фазовых свойств антенн.
title: Комплексные волны круглого экранированного волновода с аксиальным продольно-намагниченным ферритовым стержнем
Creators: name: ., С. А. Капустин – аспирант, кафедра «Физика и техника оптической связи», Нижегородский государственный технический университет им. Р.Е. Алексеева E-mail: physics@nntu.ru  А. В. Назаров – к.т.н., доцент, начальник научно-исследовательского отдела разработки КВЧ и измерительных систем, филиал ФГУП «Российский федеральный ядерный центр – Всероссийский научно-исследовательский институт экспериментальной физики» «Научно-исследовательский институт измерительных систем им. Ю.Е. Седакова» (г. Нижний Новгород) E-mail: aNazarov@niiis.nnov.ru  С. Б. Раевский – д.т.н., профессор, кафедра «Физика и техника оптической связи», Нижегородский государственный технический университет им. Р.Е. Алексеева
Publisher: name: Издательство Радиотехника
Year: 2020

description: Постановка проблемы. Представляет интерес исследование спектра волн круглого экранированного волновода с аксиальным продольно-намагниченным ферритовым слоем на основе решения полуоднородной несамосопряженной краевой задачи.

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

Результаты. Показано существование в невзаимных направляющих структурах комплексных волн двух видов: собственных и связанных. Первые удовлетворяют энергетическому условию ортогональности, их природа обусловлена распределенным разворотом мощности. Вторые существуют парами, условию ортогональности индивидуально не удовлетворяют, их потоки мощности, средние за период, отличны от нуля, комплексность их волновых чисел обусловлена взаимной распределенной перекачкой энергии.

Практическая значимость. Расширено представление о полноте систем волн экранированных направляющих структур, которое позволяет корректно решать внутренние дифракционные задачи, связанные с расчетом функциональных узлов СВЧ- и КВЧ-диапазонов.
Is the Higgs a sign of extra dimensions?
Creators: name: So, Hiroto
name: Takenaga, Kazunori
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We introduce a 4-dimensional cutoff in the scenario of gauge-Higgs unification to control the ultraviolet behavior. A one-loop effective potential for a Higgs field and the Higgs mass are obtained with the cutoff. We find an {\it interrelation} between the 4-dimensional cutoff and the scale of extra dimensions, which is concretized through the Higgs mass. Combining this interrelation and the recently discovered Higgs boson at LHC, we obtain an interesting constraint for the 4-dimensional cutoff and the extra dimensional scale.
description: 17 pages, 5 figures, typos and references corrected, the final version to appear in Phys.Rev.D
title: Связанные волны и комплексные волны, присоединенные к источнику
Creators: name: ., С. А. Капустин – аспирант, кафедра «Физика и техника оптической связи», Нижегородский государственный технический университет им. Р.Е. Алексеева E-mail: physics@nntu.ru  С. Б. Раевский – д.т.н., профессор, кафедра «Физика и техника оптической связи», Нижегородский государственный технический университет им. Р.Е. Алексеева  Л. Г. Рудоясова – к.т.н., доцент, кафедра «Физика и техника оптической связи», Нижегородский государственный технический университет им. Р.Е. Алексеева
Publisher: name: Издательство Радиотехника
Year: 2020

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

Цель. Сопоставить системы волн двухслойной экранированной структуры и связанных линий передачи.

Результаты. Проведено сравнение связанных волн и комплексных волн, в том числе присоединенных к источнику. Отмечено, что первые образуются при введении распределенной связи между собственными волнами направляющей структуры, вторые – при совместном возбуждении источником комплексно-сопряженных пар волн, приводящем к явлению комплексного резонанса, возникающего в диапазоне комплексных волн. Комплексно-сопряженные пары волн описываются решениями краевой несамосопряженной задачи для круглого двухслойного экранированного волновода (КДЭВ). Дисперсионные уравнения волн КДЭВ, получаемые из граничных условий, дают характеристики обычных и присоединенных комплексных волн. Последним соответствуют точки жордановой кратности волновых чисел.

Практическая значимость. Представленные результаты можно использовать при электродинамическом расчете таких устройств, как направленные ответвители и предельные аттенюаторы.
title: Помехоустойчивость строенного приема сигналов в каналах связи с релеевскими замираниями
Creators: name: ., А. А. Смирнов – д.т.н., доцент, профессор, Cеверо-Кавказский федеральный университет (г. Ставрополь) E-mail: shursun@mail.ru  М. Э. Солчатов – к.т.н., доцент, Cеверо-Кавказский федеральный университет (г. Ставрополь)  В. В. Бондарь – к.ф.-м.н., доцент, зав. кафедрой, Cеверо-Кавказский федеральный университет (г. Ставрополь)  О. Д. Роженко – к.пед.н., доцент, Cеверо-Кавказский федеральный университет (г. Ставрополь)  А. Д. Даржания – к.пед.н., доцент, Cеверо-Кавказский федеральный университет (г. Ставрополь)  Л. В. Белоконь – к.т.н., доцент, Cеверо-Кавказский федеральный университет (г. Ставрополь)
Publisher: name: Издательство Радиотехника
Year: 2020

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

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

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

Практическая значимость. Полученные аналитические выражения позволяют точно рассчитывать помехоустойчивости канала связи с релеевскими замираниями при строенном приеме в отличие от численных методов. Данная методика может быть применена для расчетов помехоустойчивости счетверенного приема.
Effect of self-consistent electric field on characteristics of graphene p-i-n tunneling transit-time diodes
Creators: name: Semenenko, V. L.
name: Leiman, V. G.
name: Arsenin, A. V.
name: Mitin, V.
name: Ryzhii, M.
name: Otsuji, T.
name: Ryzhii, V.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: We develop a device model for p-i-n tunneling transit-time diodes based on single- and multiple graphene layer structures operating at the reverse bias voltages. The model of the graphene tunneling transit-time diode (GTUNNETT) accounts for the features of the interband tunneling generation of electrons and holes and their ballistic transport in the device i-section, as well as the effect of the self-consistent electric field associated with the charges of propagating electrons and holes. Using the developed model, we calculate the dc current-voltage characteristics and the small-signal ac frequency-dependent admittance as functions of the GTUNNETT structural parameters, in particular, the number of graphene layers and the dielectric constant of the surrounding media. It is shown that the admittance real part can be negative in a certain frequency range. As revealed, if the i-section somewhat shorter than one micrometer, this range corresponds to the terahertz frequencies. Due to the effect of the self-consistent electric field, the behavior of the GTUNNETT admittance in the range of its negativity of its real part is rather sensitive to the relation between the number of graphene layers and dielectric constant. The obtained results demonstrate that GTUNNETTs with optimized structure can be used in efficient terahertz oscillators.
description: 8 pages, 9 figures
Die Alte Burg bei Langenenslingen, Landkreis Biberach, und ihr Umland
Creators: name: Dürr, Markus
Publisher: name: Fundberichte aus Baden-Württemberg
Year: 2018

description: [nicht vorhanden / not available]
description: Fundberichte aus Baden-Württemberg, Bd. 34, Nr. 2 (2014): Fundberichte aus Baden-Württemberg
Mittelalterliche Pflanzenreste aus der Grabung Ulm-Rosengasse
Creators: name: Küster, Hansjörg
Publisher: name: Fundberichte aus Baden-Württemberg
Year: 2018

description: [nicht vorhanden / not available]
description: Fundberichte aus Baden-Württemberg, Bd. 34, Nr. 2 (2014): Fundberichte aus Baden-Württemberg
Additional file 1 of Threshold effect and sex characteristics of the relationship between chronic inflammation and BMI
Creators: name: Liqiang, Su
name: Fang-Hui, Li
name: Minghui, Quan
name: Haichun, Chen
Publisher: name: figshare
Year: 2023
Subjects: subject: Biochemistry
subject: Medicine
subject: Microbiology
subject: FOS: Biological sciences
subject: Physiology
subject: Biotechnology
subject: Immunology
subject: FOS: Clinical medicine
subject: Biological Sciences not elsewhere classified
subject: Science Policy

description: Supplementary Material 1
Additional file 2 of Antimicrobial prescription patterns in East Africa: a systematic review
Creators: name: Acam, Joan
name: Kuodi, Paul
name: Medhin, Girmay
name: Makonnen, Eyasu
Publisher: name: figshare
Year: 2023
Subjects: subject: Pharmacology
subject: Biotechnology
subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Cancer
subject: Science Policy

description: Additional file 2. Search strategy for use in EBSCOhost, Web of Science, Cochrane Library, Scopus, International Clinical Trials Registry Platform (ICTRP) and Mednar databases.