cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
A Dual Domain Approach to Graph Signal Processing
Creators: name: Shi, John
Publisher: name: Carnegie Mellon University
Year: 2023
Subjects: subject: 90699 Electrical and Electronic Engineering not elsewhere classified
subject: FOS: Electrical engineering, electronic engineering, information engineering

description: Graph Signal Processing (GSP) extends Discrete Signal Processing (DSP) to data supported by graphs by redefining traditional DSP concepts like signals, shift, filtering, and Fourier transform among others. This thesis develops and generalizes standard DSP operations for GSP in an intuitively pleasing way: 1) new concepts in GSP are often designed as natural extensions of DSP concepts; 2) GSP is consistent with DSP, i.e., when the underlying graph G is a directed cyclic graph, GSP becomes DSP; and 3) GSP leads to reinterpretation of well known DSP results and sheds new light on DSP facts and assumptions that are commonly taken for granted. We build a theoretical foundation for GSP, introducing fundamental GSP concepts such as spectral graph shift, spectral convolution, spectral graph, spectral graph filters, and spectral delta functions. This leads to a spectral graph signal processing theory (GSPsp) that is the dual of the vertex based GSP. GSPsp enables us to develop a unified graph signal sampling theory with GSP vertex and spectral domain dual versions for each of the four standard sampling steps of subsampling, decimation, upsampling, and interpolation. To define the graph z-transform, GzT, we introduce the canonical companion model with its canonical companion shift and canonical companion graph. The companion shift and the companion graph modifies the structure of the DSP cyclic directed shift by adding appropriate boundary conditions. The companion GSP model and GSPsp show that, in GSP, there are two distinct models: the eigenvector model from current GSP literature and the canonical model we introduce. In DSP, these two models overlap and are equivalent, obscuring which model should be used in GSP for particular data processing tasks. We illustrate the significance of this dichotomy by presenting a GSP uncertainty principle, interpolating GSP filters, and GSP modulation as natural applications of the canonical companion signal model. In doing so, we show that, while equivalent in DSP, both models are needed for the complete picture in GSP.
An active inference implementation of phototaxis
Creators: name: Baltieri, Manuel
name: Buckley, Christopher L.
Publisher: name: arXiv
Year: 2017
Subjects: subject: Neurons and Cognition (q-bio.NC)
subject: FOS: Biological sciences

description: Active inference is emerging as a possible unifying theory of perception and action in cognitive and computational neuroscience. On this theory, perception is a process of inferring the causes of sensory data by minimising the error between actual sensations and those predicted by an inner \emph{generative} (probabilistic) model. Action on the other hand is drawn as a process that modifies the world such that the consequent sensory input meets expectations encoded in the same internal model. These two processes, inferring properties of the world and inferring actions needed to meet expectations, close the sensory/motor loop and suggest a deep symmetry between action and perception. In this work we present a simple agent-based model inspired by this new theory that offers insights on some of its central ideas. Previous implementations of active inference have typically examined a "perception-oriented" view of this theory, assuming that agents are endowed with a detailed generative model of their surrounding environment. In contrast, we present an "action-oriented" solution showing how adaptive behaviour can emerge even when agents operate with a simple model which bears little resemblance to their environment. We examine how various parameters of this formulation allow phototaxis and present an example of a different, "pathological" behaviour.
description: 8 pages, 3 figures, accepted at ECAL (European Conference on Artificial Life) 2017, Lyon, France
Precision and accuracy of single-molecule FRET measurements - a worldwide benchmark study
Creators: name: Hellenkamp, Björn
name: Schmid, Sonja
name: Doroshenko, Olga
name: Opanasyuk, Oleg
name: Kühnemuth, Ralf
name: Adariani, Soheila Rezaei
name: Barth, Anders
name: Birkedal, Victoria
name: Bowen, Mark E.
name: Chen, Hongtao
name: Cordes, Thorben
name: Eilert, Tobias
name: Fijen, Carel
name: Götz, Markus
name: Gouridis, Giorgos
name: Gratton, Enrico
name: Ha, Taekjip
name: Hanke, Christian A.
name: Hartmann, Andreas
name: Hendrix, Jelle
name: Hildebrandt, Lasse L.
name: Hohlbein, Johannes
name: Hübner, Christian G.
name: Kallis, Eleni
name: Kapanidis, Achillefs N.
name: Kim, Jae-Yeol
name: Krainer, Georg
name: Lamb, Don C.
name: Lee, Nam Ki
name: Lemke, Edward A.
name: Levesque, Brié
name: Levitus, Marcia
name: McCann, James J.
name: Naredi-Rainer, Nikolaus
name: Nettels, Daniel
name: Ngo, Thuy
name: Qiu, Ruoyi
name: Röcker, Carlheinz
name: Sanabria, Hugo
name: Schlierf, Michael
name: Schuler, Benjamin
name: Seidel, Henning
name: Streit, Lisa
name: Tinnefeld, Philip
name: Tyagi, Swati
name: Vandenberk, Niels
name: Weninger, Keith R.
name: Wünsch, Bettina
name: Yanez-Orozco, Inna S.
name: Michaelis, Jens
name: Seidel, Claus A. M.
name: Craggs, Timothy D.
name: Hugel, Thorsten
Publisher: name: arXiv
Year: 2017
Subjects: subject: Quantitative Methods (q-bio.QM)
subject: Biological Physics (physics.bio-ph)
subject: FOS: Biological sciences
subject: FOS: Physical sciences

description: Single-molecule Förster resonance energy transfer (smFRET) is increasingly being used to determine distances, structures, and dynamics of biomolecules in vitro and in vivo. However, generalized protocols and FRET standards ensuring both the reproducibility and accuracy of measuring FRET efficiencies are currently lacking. Here we report the results of a worldwide, comparative, blind study, in which 20 labs determined the FRET efficiencies of several dye-labeled DNA duplexes. Using a unified and straightforward method, we show that FRET efficiencies can be obtained with a standard deviation between $Δ$E = +-0.02 and +-0.05. We further suggest an experimental and computational procedure for converting FRET efficiencies into accurate distances. We discuss potential uncertainties in the experiment and the modelling. Our extensive quantitative assessment of intensity-based smFRET measurements and correction procedures serve as an essential step towards validation of distance networks with the ultimate aim to archive reliable structural models of biomolecular systems obtained by smFRET-based hybrid methods.
description: 27 pages, 5 figures, supplementary material, corrections: p20 last sentence; eqn. 13 & 14
title: Теоретико-методологические основы и практики некоторых видов туризма
Creators: name: ELS IPR BOOKS
Publisher: name: Саратовский государственный технический университет имени Ю.А. Гагарина, ЭБС АСВ
Year: 2021

description: Монография посвящена изучению теоретико-методологических основ и практик некоторых видов туризма. В издание включены результаты эмпирических исследований, выполненных автором совместно с магистрантами направления «Туризм» СГТУ имени Гагарина Ю.А. Для студентов направлений 43.03.01 «Сервис», 43.04.01 «Сервис», 43.03.02 «Туризм», 43.04.02 «Туризм» всех форм обучения, специалистов в области туризма и сервиса.
On the mass of static metrics with positive cosmological constant - I
Creators: name: Borghini, Stefano
name: Mazzieri, Lorenzo
Publisher: name: arXiv
Year: 2017
Subjects: subject: Analysis of PDEs (math.AP)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: Differential Geometry (math.DG)
subject: FOS: Mathematics
subject: FOS: Physical sciences
subject: 35B06, 53C21, 83C57

description: In this paper we propose and discuss a notion of mass for compact static metrics with positive cosmological constant. As a consequence, we characterise the de Sitter solution as the only static vacuum metric with zero mass. Finally, we show how to adapt our analysis to the case of negative cosmological constant, leading to a uniqueness theorem for the Anti de Sitter spacetime.
description: 34 pages, 3 figures
On the mass of static metrics with positive cosmological constant -- II
Creators: name: Borghini, Stefano
name: Mazzieri, Lorenzo
Publisher: name: arXiv
Year: 2017
Subjects: subject: Analysis of PDEs (math.AP)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: Differential Geometry (math.DG)
subject: FOS: Mathematics
subject: FOS: Physical sciences
subject: 35B06, 53C21, 83C57

description: This is the second of two works, in which we discuss the definition of an appropriate notion of mass for static metrics, in the case where the cosmological constant is positive and the model solutions are compact. In the first part, we have established a positive mass statement, characterising the de Sitter solution as the only static vacuum metric with zero mass. In this second part, we prove optimal area bounds for horizons of black hole type and of cosmological type, corresponding to Riemannian Penrose inequalities and to cosmological area bounds à la Boucher-Gibbons-Horowitz, respectively. Building on the related rigidity statements, we also deduce a uniqueness result for the Schwarzschild--de Sitter spacetime.
description: 64 pages, 6 figures. Results in Subsection 1.4 revised and improved
Mirror symmetry for the Tate curve via tropical and log corals
Creators: name: Argüz, Hülya
Publisher: name: arXiv
Year: 2017
Subjects: subject: Algebraic Geometry (math.AG)
subject: Symplectic Geometry (math.SG)
subject: FOS: Mathematics

description: We introduce tropical corals, balanced trees in a half-space, and show that they correspond to holomorphic polygons capturing the product rule in Lagrangian Floer theory for the elliptic curve. We then prove a correspondence theorem equating counts of tropical corals to punctured log Gromov--Witten invariants of the Tate curve. This implies that the homogeneous coordinate ring of the mirror to the Tate curve is isomorphic to the degree-zero part of symplectic homology, confirming a prediction of homological mirror symmetry.
description: 72 pages, 13 figures, the introduction is rewritten
Sharp operator-norm asymptotics for thin elastic plates with rapidly oscillating periodic properties
Creators: name: Cherednichenko, Kirill
name: Velčić, Igor
Publisher: name: arXiv
Year: 2018
Subjects: subject: Analysis of PDEs (math.AP)
subject: Mathematical Physics (math-ph)
subject: Spectral Theory (math.SP)
subject: FOS: Mathematics
subject: FOS: Physical sciences
subject: 35C20, 74B05, 74Q05, 74K20

description: We analyse a system of partial differential equations describing the behaviour of an elastic plate with periodic moduli in the two planar directions, in the asymptotic regime when the period and the plate thickness are of the same order of smallness. Assuming that the displacement gradients of the points of the plate are small enough for the equations of linearised elasticity to be a suitable approximation of the material response, such as the case in e.g. acoustic wave propagation, we derive a class of "hybrid", homogenisation dimension-reduction, norm-resolvent estimates for the plate, under different energy scalings with respect to the plate thickness.
description: 39 pages
Counting lines on surfaces, especially quintics
Creators: name: Rams, Sławomir
name: Schütt, Matthias
Publisher: name: arXiv
Year: 2018
Subjects: subject: Algebraic Geometry (math.AG)
subject: FOS: Mathematics

description: We introduce certain rational functions on a smooth projective surface X in IP^3 which facilitate counting the lines on X. We apply this to smooth quintics in characteristic zero to prove that they contain no more than 127 lines, and that any given line meets at most 28 others. We construct examples which demonstrate that the latter bound is sharp.
description: 30 pages; v2: minor edits following referee's comments
Homotopy categories of unbounded complexes of projective modules
Creators: name: Yoshino, Yuji
Publisher: name: arXiv
Year: 2018
Subjects: subject: Commutative Algebra (math.AC)
subject: FOS: Mathematics
subject: 13D02, 18G35

description: We develop in this paper a stable theory for projective complexes, by which we mean to consider a chain complex of finitely generated projective modules as an object of the factor category of the homotopy category modulo split complexes. As a result of the stable theory we are able to prove that a complex of finitely generated projective modules over a generically Gorenstein ring is exact if and only if its dual complex is exact. This shows the dependence of total reflexivity conditions for modules over a generically Gorenstein ring.
description: Some errors and typos are corrected, and several examples are added
title: Теоретическая механика. Основы теории, сквозные задачи, алгоритмы решения задач с комментариями, примерами визуализацией, математика
Creators: name: ELS IPR BOOKS
Publisher: name: Саратовский государственный технический университет имени Ю.А. Гагарина, ЭБС АСВ
Year: 2021

description: В учебном пособии представлены: основы теории курса «Теоретическая механика», состоящие из четырех разделов: кинематика, статика, динамика, элементы аналитической механики; новые типы задач – сквозные задачи, которые являются задачами всех четырех разделов теоретической механики, поставленными для одного и того же объекта и других связанных с ними объектов; алгоритмы решения задач основных разделов, снабженные комментариями, содержащими порядок и смысл предлагаемых в алгоритме действий; многочисленные примеры применения всех алгоритмов для решения задач, в том числе сквозных задач; необходимые разделы математики для освоения курса «Теоретическая механика». К учебному пособию прилагается визуализация применения алгоритмов к решению задач основных разделов. Учебное пособие предназначено для студентов всех специальностей и направлений всех форм обучения (в том числе дистанционной) технических высших и средних учебных заведений, имеющих в своей программе курс «Теоретическая механика».
EMPREENDEDORES DE SI: JOVENS E ADULTOS FRENTE À NOVA RAZÃO DO MUNDO
Creators: name: MECHELN, Morgana Zardo von
name: TURRER, Jane das Graças
name: GONÇALVES, Antoniel Borges
Publisher: name: Zenodo
Year: 2018
Subjects: Educação
Trabalho
Jovens e Adultos

description: Este texto é resultado de estudo integrado entre a disciplina Seminário Especial O Magistério Público da Educação Básica: entre as políticas de valorização e a responsabilização pelos resultados educacionais, ministrada pelos professores, Jéferson Silveira Dantas e Marcos Edgar Bassi, do Programa de Pós-Graduação em Educação e a disciplina de Educação de Jovens e Adultos do Curso de Graduação em Pedagogia da Universidade Federal de Santa Catarina ministrada pela Profa. Dra. Maria Hermínia Lages Laffin. Objetiva materializar as reflexões feitas acerca das novas condições de sociabilidade e da produção da existência de jovens e adultos trabalhadores. O estudo possui caráter bibliográfico e fundamentam-se, prioritariamente, na obra dos autores Pierre Dardot e Christian Laval, intitulada A Nova Razão do Mundo: ensaio sobre a sociedade neoliberal e livros de outros estudiosos como Paulo Freire, David Harvey e Moacir Gadotti, que aprofundam as problemáticas das dinâmicas e complexidades do mundo trabalho nas últimas décadas.
description: Publicado em: https://drive.google.com/file/d/1X17HCOITjWKQFoCzZ1wtxPV7CV6opEk0/view?usp=share_link. Disponibilizado pela plataforma DOI Solutions: https://doi.solutions
The modularity of action and perception revisited using control theory and active inference
Creators: name: Baltieri, Manuel
name: Buckley, Christopher L.
Publisher: name: arXiv
Year: 2018
Subjects: subject: Neurons and Cognition (q-bio.NC)
subject: FOS: Biological sciences

description: The assumption that action and perception can be investigated independently is entrenched in theories, models and experimental approaches across the brain and mind sciences. In cognitive science, this has been a central point of contention between computationalist and 4Es (enactive, embodied, extended and embedded) theories of cognition, with the former embracing the "classical sandwich", modular, architecture of the mind and the latter actively denying this separation can be made. In this work we suggest that the modular independence of action and perception strongly resonates with the separation principle of control theory and furthermore that this principle provides formal criteria within which to evaluate the implications of the modularity of action and perception. We will also see that real-time feedback with the environment, often considered necessary for the definition of 4Es ideas, is not however a sufficient condition to avoid the "classical sandwich". Finally, we argue that an emerging framework in the cognitive and brain sciences, active inference, extends ideas derived from control theory to the study of biological systems while disposing of the separation principle, describing non-modular models of behaviour strongly aligned with 4Es theories of cognition.
description: Accepted at the International conference on Artificial Life, Tokyo, 2018
title: Управление социально-психологическим климатом в коллективе
Creators: name: ELS IPR BOOKS
Publisher: name: Саратовский государственный технический университет имени Ю.А. Гагарина, ЭБС АСВ
Year: 2021

description: Учебное пособие соответствует содержанию учебной дисциплины «Управление социально-психологическим климатом в коллективе», представленному в ее рабочей программе, разработанной для студентов направления подготовки 38.04.03 «Управление персоналом», направленность (профиль) программы «Инновационные технологии в управлении персоналом», уровень высшего образования – магистратура, и знакомит с основными понятиями, подходами, методами и технологиями управления социально-психологическим климатом в коллективе, а также способствует приобретению умений и навыков психологического анализа управленческих ситуаций. Данное учебное пособие может быть использовано при подготовке студентов. очной и заочной форм обучения, а также в процессе переподготовки и повышения квалификации специалистов, в деятельности которых значимо управление социально-психологическим климатом в коллективе.
Herramientas de Desarrollo de Software. Programa de unidad de aprendizaje.
Creators: name: López-Chico, Luz Evelia
name: Lara-Melgoza, Rodrigo
Publisher: name: Zenodo
Year: 2023
Subjects: Programa de unidad de aprendizaje

description: La finalidad de la unidad de aprendizaje es eficientar el diseño e implementación de software con la utilización de los servicios integrales que ofrece el entorno integrado de desarrollo. La utilidad de esta radica en que le facilita al estudiante las herramientas para el desarrollo de software. Se imparte en la etapa disciplinaria con carácter obligatorio. Pertenece al área de conocimiento Desarrollo Tecnológico
Global Solutions of a Surface Quasi-Geostrophic Front Equation
Creators: name: Hunter, John K.
name: Shu, Jingyang
name: Zhang, Qingtian
Publisher: name: arXiv
Year: 2018
Subjects: subject: Analysis of PDEs (math.AP)
subject: Fluid Dynamics (physics.flu-dyn)
subject: FOS: Mathematics
subject: FOS: Physical sciences

description: We consider a nonlinear, spatially-nonlocal initial value problem in one space dimension on $\mathbb{R}$ that describes the motion of surface quasi-geostrophic (SQG) fronts. We prove that the initial value problem has a unique local smooth solution under a convergence condition on the multilinear expansion of the nonlinear term in the equation, and, for sufficiently smooth and small initial data, we prove that the solution is global.
description: 55 pages
title: Эволюция экоподходов в архитектурно-градостроительном проектировании
Creators: name: ELS IPR BOOKS
Publisher: name: Саратовский государственный технический университет имени Ю.А. Гагарина, ЭБС АСВ
Year: 2021

description: В монографии изложены материалы исследований по истории возникновения экологических подходов в архитектуре и градостроительстве, аспекты архитектурно-градостроительного проектирования в контексте экологических стандартов в строительстве. Для научных работников, а также для бакалавров, магистров и аспирантов направлений «Архитектура» и «Градостроительное проектирование».
The homomorphism of presheaves ${\mathrm{K}}^\mathrm{MW}_*\to π^{*,*}_s$ over a base
Creators: name: Druzhinin, A.
Publisher: name: arXiv
Year: 2018
Subjects: subject: Algebraic Geometry (math.AG)
subject: FOS: Mathematics
subject: 14F42, 19E20

description: We construct the homomorphism of presheaves ${\mathrm{K}}^\mathrm{MW}_* \to π^{*,*}$ over an arbitrary base scheme $S$, where $\mathrm{K}^\mathrm{MW}$ is the (naive) Milnor-Witt K-theory presheave. Also we discuss some partly alternative proof (or proofs) of the isomorphism of sheaves $\unKMW_n\simeq \underlineπ^{n,n}_s$, $n\in \mathbb Z$, over a filed $k$ originally proved in \cite{M02} and \cite{M-A1Top}.
description: We add a proof of the isomorphism over a field
Dívida Pública, Política Fiscal e Implicações para Educação Pública Brasileira: uma análise bibliométrica
Creators: name: Borges Gonçalves, Antoniel
name: Bassi, Marcos Edgar
Publisher: name: Zenodo
Year: 2018
Subjects: Educação Superior
Educação Básica
Educação Pública
Financiamento da Educação
Políticas de Financiamento

description: Este estudo apresenta os resultados de pesquisa que procura examinar quando e de que forma a literatura específica da área educacional incorpora os conteúdos, os conceitos, as questões e suas análises relacionados às políticas de austeridade fiscal no ambito do financiamento da educação pública brasileira. A justificativa para tal levantamento e estudo se sustenta na implementação de medidas de política fiscal, que implicam contenções e reduções importantes nas disponibilidades de receitas para aplicação nas políticas sociais. Visto a aprovação EC95/2016, considerada a mais profunda medida de austeridade fiscal, que instituiu um novo “regime fiscal” na execução dos Orçamentos Fiscal e da Seguridade Social da União. Agravando profundamente as execuções das políticas públicas voltadas ao financiamento da educação pública brasileira.
description: Publicado em: http://www.fineduca.org.br/wp-content/uploads/2019/05/Eixo-Politicas-de-Financiamento-da-Educacao-Basica-e-Superior.pdf. Disponibilizado pela plataforma DOI Solutions: https://doi.solutions
title: Эргономика. Безбарьерная архитектурная среда. Промышленный дизайн
Creators: name: ELS IPR BOOKS
Publisher: name: Саратовский государственный технический университет имени Ю.А. Гагарина, ЭБС АСВ
Year: 2021

description: Учебно-методическое пособие представлено в двух частях. Первая часть посвящена рассмотрению специфики формирования гармоничной безбарьерной среды в условиях современного городского пространства, существующим приёмам и методам по достижению гуманизации среды. Вторая часть связана с изучением специфики проектирования различного предметного наполнения среды – объектов промышленного дизайна. Рассматривается достаточно широкий спектр, начиная с бытовых инструментов и заканчивая транспортными средствами. Предназначено для студентов направлений подготовки 07.03.03 «Дизайн архитектурной среды» (ДАС), профиль 1 «Дизайн городской среды», профиль 2 «Дизайн интерьера»; 54.03.01 «Дизайн» (ДИЗН), профиль 2 «Промышленный дизайн», квалификация – бакалавр, всех форм обучения.
Towards Efficient Point-Cloud Object Detection on Autonomous Vehicles
Creators: name: Shi, Weijing
Publisher: name: Carnegie Mellon University
Year: 2023
Subjects: subject: 90699 Electrical and Electronic Engineering not elsewhere classified
subject: FOS: Electrical engineering, electronic engineering, information engineering
subject: 90602 Control Systems, Robotics and Automation

description: Autonomous vehicles (AVs) must perceive and understand the 3D environment around them. Modern autonomous vehicles use a suite of sensors and a set of machine-learning-based recognition algorithms to try to accomplish this goal. While such a system can achieve high accuracy, its cost is also prohibitively high for many applications. In this thesis, we aim to make the perception system of an AV both less expensive and more accurate. We design a multi-pronged approach that addresses challenges ranging from data representation, sensor configuration and training efficiency to the semantic understanding of road scenarios. We start with the data presentation of lidar point clouds, a primary input to many perception systems, and design a novel graph representation of point clouds to detect objects. Secondly, we study a sensor configuration of sparse lidars and complementary low-cost cameras. We propose a fusion method to combine video streams with sparse lidar point clouds to increase the point-cloud object detection accuracy while reducing the cost. Thirdly, we utilize self-supervised training strategies to use unlabeled data efficiently and create a set of geometric pretext tasks to pre-train the neural network. Finally, we study specific challenging real-world scenarios and implement context-specific solutions to problems raised by the presence of work zones.
A Kuenneth theorem for configuration spaces
Creators: name: Hess, Kathryn
name: Knudsen, Ben
Publisher: name: arXiv
Year: 2018
Subjects: subject: Algebraic Topology (math.AT)
subject: FOS: Mathematics

description: We construct a spectral sequence converging to the homology of the ordered configuration spaces of a product of parallelizable manifolds. To identify the second page of this spectral sequence, we introduce a version of the Boardman--Vogt tensor product for linear operadic modules, a purely algebraic operation. Using the rational formality of the little cubes operads, we show that our spectral sequence collapses in characteristic zero.
description: 21 pages. To appear in the Journal of the London Mathematical Society. May differ slightly from published version
Convergence of the Deep BSDE Method for Coupled FBSDEs
Creators: name: Han, Jiequn
name: Long, Jihao
Publisher: name: arXiv
Year: 2018
Subjects: subject: Probability (math.PR)
subject: Machine Learning (cs.LG)
subject: Numerical Analysis (math.NA)
subject: FOS: Mathematics
subject: FOS: Computer and information sciences

description: The recently proposed numerical algorithm, deep BSDE method, has shown remarkable performance in solving high-dimensional forward-backward stochastic differential equations (FBSDEs) and parabolic partial differential equations (PDEs). This article lays a theoretical foundation for the deep BSDE method in the general case of coupled FBSDEs. In particular, a posteriori error estimation of the solution is provided and it is proved that the error converges to zero given the universal approximation capability of neural networks. Numerical results are presented to demonstrate the accuracy of the analyzed algorithm in solving high-dimensional coupled FBSDEs.
title: Физические основы получения информации об окружающем мире
Creators: name: ELS IPR BOOKS
Publisher: name: Саратовский государственный технический университет имени Ю.А. Гагарина, ЭБС АСВ
Year: 2021

description: Данное учебное пособие рекомендовано УМКН в качестве учебного пособия к лекционным и практическим занятиям для углубленного изучения дисциплины «Физика» для всех направлений и специальностей СГТУ имени Гагарина Ю.А. Пособие содержит подробное изложение идей, лежащих в основе экспериментального определения размеров, масс, скоростей, температур и других параметров различных физических объектов, принадлежащих микромиру, мезомиру и мегамиру. Для студентов всех направлений и специальностей СГТУ имени Гагарина Ю.А.
Looking above the cloud deck of GJ 3470b
Creators: name: Dash, Spandan
name: Brogi, Matteo
name: Gandhi, Siddharth
Publisher: name: Zenodo
Year: 2023

description: Characterisation of cooler atmospheres of super-Earths and Neptune sized objects at low-resolution is often thwarted by the presence of clouds, hazes and aerosols which effectively flatten the transmission spectra. High-Resolution Spectroscopy (HRS) presents an opportunity to overcome this limitation by having the ability to detect molecular species whose spectral line cores extend above the level of clouds in these atmospheres. We analyse High-Resolution observations of the warm Neptune GJ 3470b taken over two transits using CARMENES (R ~ 80400) and look at the possibility of H2O signatures in these transits. We find that our custom pipeline can provide a detection of H2O using two transits when they have an injected signal equivalent to the level of what has been observed using HST WFC3 + Spitzer at low resolution. Using a Bayesian retrieval tool on the two observed transits to put simultaneous constraints on the abundance of H2O and the cloud top-deck pressure suggests a preference for a set of degenerate models with similar variances from the continuum, which is in slight dissonance with published results from low resolution.
A Large-Scale Comparison of Tetrahedral and Hexahedral Elements for Solving Elliptic PDEs with the Finite Element Method
Creators: name: Schneider, Teseo
name: Hu, Yixin
name: Gao, Xifeng
name: Dumas, Jeremie
name: Zorin, Denis
name: Panozzo, Daniele
Publisher: name: arXiv
Year: 2019
Subjects: subject: Numerical Analysis (math.NA)
subject: FOS: Mathematics

description: The Finite Element Method (FEM) is widely used to solve discrete Partial Differential Equations (PDEs) in engineering and graphics applications. The popularity of FEM led to the development of a large family of variants, most of which require a tetrahedral or hexahedral mesh to construct the basis. While the theoretical properties of FEM basis (such as convergence rate, stability, etc.) are well understood under specific assumptions on the mesh quality, their practical performance, influenced both by the choice of the basis construction and quality of mesh generation, have not been systematically documented for large collections of automatically meshed 3D geometries. We introduce a set of benchmark problems involving most commonly solved elliptic PDEs, starting from simple cases with an analytical solution, moving to commonly used test problem setups, and using manufactured solutions for thousands of real-world, automatically meshed geometries. For all these cases, we use state-of-the-art meshing tools to create both tetrahedral and hexahedral meshes, and compare the performance of different element types for common elliptic PDEs. The goal of his benchmark is to enable comparison of complete FEM pipelines, from mesh generation to algebraic solver, and exploration of relative impact of different factors on the overall system performance.
การพยากรณ์มูลค่าการส่งออกก๊าซธรรมชาติผ่านด่านศุลกากรในภาคใต้ของประเทศไทย
Creators: name: วรางคณา เรียนสุทธิ์
Publisher: name: กองบริหารการวิจัย
Year: 2561
Subjects: ก๊าซธรรมชาติ
วิธีบอกซ์-เจนกินส์
วิธีการปรับเรียบด้วยเส้นโค้งเลขชี้กำลัง
เปอร์เซ็นต์ความคลาดเคลื่อนสัมบูรณ์เฉลี่ย
รากที่สองของความคลาดเคลื่อนกำลังสองเฉลี่ย

description: วารสารวิทยาศาสตร์และเทคโนโลยี, 26, 8, 1273-1285
Nonmodular architectures of cognitive systems based on active inference
Creators: name: Baltieri, Manuel
name: Buckley, Christopher L.
Publisher: name: arXiv
Year: 2019
Subjects: subject: Neurons and Cognition (q-bio.NC)
subject: Artificial Intelligence (cs.AI)
subject: FOS: Biological sciences
subject: FOS: Computer and information sciences

description: In psychology and neuroscience it is common to describe cognitive systems as input/output devices where perceptual and motor functions are implemented in a purely feedforward, open-loop fashion. On this view, perception and action are often seen as encapsulated modules with limited interaction between them. While embodied and enactive approaches to cognitive science have challenged the idealisation of the brain as an input/output device, we argue that even the more recent attempts to model systems using closed-loop architectures still heavily rely on a strong separation between motor and perceptual functions. Previously, we have suggested that the mainstream notion of modularity strongly resonates with the separation principle of control theory. In this work we present a minimal model of a sensorimotor loop implementing an architecture based on the separation principle. We link this to popular formulations of perception and action in the cognitive sciences, and show its limitations when, for instance, external forces are not modelled by an agent. These forces can be seen as variables that an agent cannot directly control, i.e., a perturbation from the environment or an interference caused by other agents. As an alternative approach inspired by embodied cognitive science, we then propose a nonmodular architecture based on the active inference framework. We demonstrate the robustness of this architecture to unknown external inputs and show that the mechanism with which this is achieved in linear models is equivalent to integral control.
description: Accepted at IJCNN 2019
การเปรียบเทียบประสิทธิภาพของตัวสถิติทดสอบสำหรับการทดสอบภาวะความเท่ากันของความแปรปรวน
Creators: name: วรางคณา เรียนสุทธิ์
Publisher: name: กองบริหารการวิจัย
Year: 2561
Subjects: การทดสอบภาวะความเท่ากันของความแปรปรวน
ความน่าจะเป็นของความผิดพลาดแบบที่ 1
กำลังการทดสอบ

description: วารสารวิทยาศาสตร์และเทคโนโลยี, 26, 8, 1286-1301
ผลผลิตและการแพร่กระจายของผักบุ้ง (Ipomoea aquatic Forsk.) ในแม่น้ำท่าจีน
Creators: name: ศศิภา เกตุกราย, นฤชิต ดำปิน, เกษม จันทร์แก้ว
Publisher: name: กองบริหารการวิจัย
Year: 2561
Subjects: ผักบุ้ง
ผลผลิต
การกระจาย
แม่น้ำท่าจีน

description: วารสารวิทยาศาสตร์และเทคโนโลยี, 26, 8, 1325-1335
Study of effective coupling between charge degrees of freedom in low dimensional hole-doped quantum antiferromagnets
Creators: name: Bhattacharjee, Suraka
name: Chaudhury, Ranjan
Publisher: name: arXiv
Year: 2019
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: Expressions for generalized charge stiffness constant at zero temperature are derived corresponding to low dimensional hole doped quantum antiferromagnets, describable by the t-J-like models, with a view to understanding fermionic pairing possibilities and charge couplings in the itinerant antiferromagnetic systems. A detailed comparison between spin and charge correlations and couplings are presented in both strong and weak coupling limits. The result highlights that the charge and spin couplings show very similar behaviour in the over-doped region in both the dimensions, whereas they show a completely different trend in the lower doping regimes. A qualitative equivalence of generalized charge stiffness constant with the effective Drude weight and Coulomb interaction is established based on the comparison with other theoretical and experimental results. The fall in charge stiffness with increase in doping then implies reduction in the magnitude of effective Coulomb repulsion between the mobile carriers. This leads to an enhanced possibility of fermionic pairing with increase in doping in the possible presence of some other attraction producing mechanism from a source outside the t-J-like models. Moreover, under certain conditions in the weakly correlated phase, the t-J-like models themselves are able to produce attractive interaction for pairing.
description: 19 pages, 6 figures
Universal Gröbner Bases of Toric Ideals of Combinatorial Neural Codes
Creators: name: Beer, Melissa
name: Davis, Robert
name: Elgin, Thomas
name: Hertel, Matthew
name: Laws, Kira
name: Mavi, Rajinder
name: Mercurio, Paula
name: Newlon, Alexandra
Publisher: name: arXiv
Year: 2019
Subjects: subject: Combinatorics (math.CO)
subject: Group Theory (math.GR)
subject: FOS: Mathematics
subject: 13P25

description: In the 1970s, O'Keefe and Dostrovsky discovered that certain neurons, called place cells, in an animal's brain are tied to its location within its arena. A combinatorial neural code is a collection of $0/1$-vectors which encode the patterns of co-firing activity among the place cells. Gross, Obatake, and Youngs have recently used techniques from toric algebra to study when a neural code is $0$- $1$-, or $2$-inductively pierced: a property that allows one to reconstruct a Venn diagram-like planar figure that acts as a geometric schematic for the neural co-firing patterns. This article examines their work closely by focusing on a variety of classes of combinatorial neural codes. In particular, we identify universal Gröbner bases of the toric ideal for these codes.
description: 12 pages, 3 figures, 1 table
Optimal approximation for unconstrained non-submodular minimization
Creators: name: Halabi, Marwa El
name: Jegelka, Stefanie
Publisher: name: arXiv
Year: 2019
Subjects: subject: Machine Learning (cs.LG)
subject: Discrete Mathematics (cs.DM)
subject: Data Structures and Algorithms (cs.DS)
subject: Optimization and Control (math.OC)
subject: Machine Learning (stat.ML)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics

description: Submodular function minimization is well studied, and existing algorithms solve it exactly or up to arbitrary accuracy. However, in many applications, such as structured sparse learning or batch Bayesian optimization, the objective function is not exactly submodular, but close. In this case, no theoretical guarantees exist. Indeed, submodular minimization algorithms rely on intricate connections between submodularity and convexity. We show how these relations can be extended to obtain approximation guarantees for minimizing non-submodular functions, characterized by how close the function is to submodular. We also extend this result to noisy function evaluations. Our approximation results are the first for minimizing non-submodular functions, and are optimal, as established by our matching lower bound.
The Schur-Veronese package in Macaulay2
Creators: name: Bruce, Juliette
name: Erman, Daniel
name: Goldstein, Steve
name: Yang, Jay
Publisher: name: arXiv
Year: 2019
Subjects: subject: Commutative Algebra (math.AC)
subject: FOS: Mathematics

description: This note introduces the Macaulay2 package SchurVeronese, which gathers together data about Veronese syzygies and makes it readily accessible in Macaulay2. In addition to standard Betti tables, the package includes information about the Schur decompositions of the various spaces of syzygies. The package also includes a number of functions useful for manipulating and studying this data.
description: Minor revisions
Triple transitivity and non-free actions in dimension one
Creators: name: Boudec, Adrien Le
name: Bon, Nicolás Matte
Publisher: name: arXiv
Year: 2019
Subjects: subject: Group Theory (math.GR)
subject: FOS: Mathematics

description: The transitivity degree of a group $G$ is the supremum of all integers $k$ such that $G$ admits a faithful $k$-transitive action. Few obstructions are known to impose an upper bound on the transitivity degree for infinite groups. The results of this article provide two new classes of groups whose transitivity degree can be computed, as a corollary of a classification of all $3$-transitive actions of these groups. More precisely, suppose that $G$ is a subgroup of the homeomorphism group of the circle $\mathsf{Homeo}(\mathbb{S}^1)$ or the automorphism group of a tree $\mathsf{Aut}(\mathbb{T})$. Under natural assumptions on the stabilizers of the action of $G$ on $\mathbb{S}^1$ or $\partial \mathbb{T}$, we use the dynamics of this action to show that every faithful action of $G$ on a set that is at least $3$-transitive must be conjugate to the action of $G$ on one of its orbits in $\mathbb{S}^1$ or $\partial \mathbb{T}$.
description: 26 pages. v1-> v2: addition of an appendix and some minor corrections, v2->v3: Minor corrections and abstract rewritten. Final version to appear in the journal of the London Math. Soc
title: Современные проблемы управления и автоматизации в машиностроении. В 4 частях. Ч.4
Creators: name: ELS IPR BOOKS
Publisher: name: Саратовский государственный технический университет имени Ю.А. Гагарина, ЭБС АСВ
Year: 2020

description: Рассматривается ряд основных направлений развития управления и автоматизации в машиностроении. Приводятся сведения об управлении параметрами режима резания на основе анализа вибраций динамической системы станка и микропроцессорных системах автоматизации и управления технологическим оборудованием, а также излагаются основные положения системного подхода к анализу методов и средств обеспечения технологической надежности станков на различных этапах их жизненного цикла. Учебное пособие предназначено для студентов машиностроительных направлений, а также может быть использовано аспирантами в исследованиях, связанных с применением информационных и интеллектуальных технологий при автоматизации производства.
Equilibrium states for self-products of flows and the mixing properties of rank 1 geodesic flows
Creators: name: Call, Benjamin
name: Thompson, Daniel J.
Publisher: name: arXiv
Year: 2019
Subjects: subject: Dynamical Systems (math.DS)
subject: FOS: Mathematics
subject: 37D35, 37D40, 37A25, 37C40, 37D25

description: Equilibrium states for geodesic flows over closed rank 1 manifolds were studied recently by Burns, Climenhaga, Fisher and Thompson. For sufficiently regular potentials, it was shown that if the singular set does not carry full pressure then the equilibrium state is unique. The main result of this paper is that these equilibrium states have the Kolmogorov property. In particular, these measures are mixing of all orders and have positive entropy. For the Bowen-Margulis measure, we go further and obtain the Bernoulli property from the K-property using classic arguments from Ornstein theory. Our argument for the K-property is based on an idea due to Ledrappier. We prove uniqueness of equilibrium states on the product of the system with itself. To carry this out, we develop techniques for uniqueness of equilibrium states which apply in the presence of the 2-dimensional center direction which appears for a product of flows. This is a key technical challenge of this paper.
description: v3: 27 pages, minor corrections and improvements per referee comments. To appear in Journal of the London Mathematical Society
Linearity of graph products
Creators: name: Berlai, Federico
name: González, Javier de la Nuez
Publisher: name: arXiv
Year: 2019
Subjects: subject: Group Theory (math.GR)
subject: FOS: Mathematics

description: In this work we prove that, given a simplicial graph $Γ$ and a family $\mathcal{G}$ of linear groups over a domain $R$, the graph product $Γ\mathcal{G}$ is linear over $R[\underline t]$, where $\underline t$ is a tuple of finitely many linearly independent variables. As a consequence we obtain that any graph product of finitely many groups linear over the complex numbers is again a linear group over the complex numbers. This solves an open problem of Hsu and Wise in the case of faithful representations over $\mathbb C$.
Towards super-approximation in positive characteristic
Creators: name: Longo, Brian
name: Golsefidy, Alireza Salehi
Publisher: name: arXiv
Year: 2019
Subjects: subject: Group Theory (math.GR)
subject: FOS: Mathematics
subject: 22E40, 20G30, 05C81

description: In this note we show that the family of Cayley graphs of a finitely generated subgroup of ${\rm GL}_{n_0}(\mathbb{F}_p(t))$ modulo some admissible square-free polynomials is a family of expanders under certain algebraic conditions. Here is a more precise formulation of our main result. For a positive integer $c_0$, we say a square-free polynomial is $c_0$-admissible if degree of irreducible factors of $f$ are distinct integers with prime factors at least $c_0$. Suppose $Ω$ is a finite symmetric subset of ${\rm GL}_{n_0}(\mathbb{F}_p(t))$, where $p$ is a prime more than $5$. Let $Γ$ be the group generated by $Ω$. Suppose the Zariski-closure of $Γ$ is connected, simply-connected, and absolutely almost simple; further assume that the field generated by the traces of ${\rm Ad}(Γ)$ is $\mathbb{F}_p(t)$. Then for some positive integer $c_0$ the family of Cayley graphs ${\rm Cay}(π_{f(x)}(Γ),π_{f(x)}(Ω))$ as $f$ ranges in the set of $c_0$-admissible polynomials is a family of expanders, where $π_{f(t)}$ is the quotient map for the congruence modulo $f(t)$.
Chromatic number is Ramsey distinguishing
Creators: name: Savery, Michael
Publisher: name: arXiv
Year: 2019
Subjects: subject: Combinatorics (math.CO)
subject: FOS: Mathematics
subject: 05D10

description: A graph $G$ is Ramsey for a graph $H$ if every colouring of the edges of $G$ in two colours contains a monochromatic copy of $H$. Two graphs $H_1$ and $H_2$ are Ramsey equivalent if any graph $G$ is Ramsey for $H_1$ if and only if it is Ramsey for $H_2$. A graph parameter $s$ is Ramsey distinguishing if $s(H_1)\neq s(H_2)$ implies that $H_1$ and $H_2$ are not Ramsey equivalent. In this paper we show that the chromatic number is a Ramsey distinguishing parameter. We also extend this to the multi-colour case and use a similar idea to find another graph parameter which is Ramsey distinguishing.
description: v2: 12 pages, 1 figure. Minor revisions including the addition of a discussion of 2-density as a distinguishing parameter in Sections 1 and 3.2, and a discussion of the asymmetric version of the problem in Section 3.1
Forschungsdatenmanagement: Übersicht Erfüllbarkeit der Anforderungen des Leistungskatalogs: Hamburg Open Science
Creators: name: Rajski, Beate
name: Wörner, Kai
Publisher: name: Zenodo
Year: 2018
Subjects: Research Data Repository
DSpace
Invenio
Zenodo

description: Die Anforderungen an ein Forschungsdatenrepositorium (FDR) im Rahmen von Hamburg Open Science sind in der Leistungsbeschreibung vom 31.05.18 festgelegt worden.

Parallel dazu wurden zwei Prototypen als Softwarealternativen für ein institutionsspezifisches „Long Tail”-Forschungsdatenrepositorium aufgebaut:

	An der TU Hamburg ein Repository auf Basis von DSpace-CRIS Version 5.8 (FDR TUHH)
	An der Universität Hamburg ein Repository auf Basis von Zenodo/Invenio (FDR UHH)

In diesem Dokument wird beschrieben, wie die Anforderungen aus der Leistungsbeschreibung von den beiden Systemen abgebildet werden können.

Dieses Dokument soll den an Hamburg Open Science beteiligten Einrichtungen als Entscheidungsgrundlage für die Auswahl einer Softwarealternative dienen.
description: Hamburg Open Science
description: {"references": ["Rajski, Beate, Gewehr, Jan Erik, Pinarak, Hakan, W\u00f6rner, Kai, und Quenum, Eug\u00e8ne. \"Leistungsbeschreibung Forschungsdatenmanagement (FDM): Hamburg Open Science\". Zenodo, December 18, 2018. doi:10.5281/zenodo.2385103."]}
Quantum linear system solver based on time-optimal adiabatic quantum computing and quantum approximate optimization algorithm
Creators: name: An, Dong
name: Lin, Lin
Publisher: name: arXiv
Year: 2019
Subjects: subject: Quantum Physics (quant-ph)
subject: Numerical Analysis (math.NA)
subject: FOS: Physical sciences
subject: FOS: Mathematics

description: We demonstrate that with an optimally tuned scheduling function, adiabatic quantum computing (AQC) can readily solve a quantum linear system problem (QLSP) with $\mathcal{O}(κ~\text{poly}(\log(κ/ε)))$ runtime, where $κ$ is the condition number, and $ε$ is the target accuracy. This is near optimal with respect to both $κ$ and $ε$. Our method is applicable to general non-Hermitian matrices, and the cost as well as the number of qubits can be reduced when restricted to Hermitian matrices, and further to Hermitian positive definite matrices. The success of the time-optimal AQC implies that the quantum approximate optimization algorithm (QAOA) with an optimal control protocol can also achieve the same complexity in terms of the runtime. Numerical results indicate that QAOA can yield the lowest runtime compared to the time-optimal AQC, vanilla AQC, and the recently proposed randomization method.
description: 28 pages, 3 figures