cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
THE IMPACT OF NONVERBAL COMMUNICATION USED ON TWITCH
Creators: name: CLAUDIO PAYA SANTOS
name: VICTOR RODRIGUEZ GONZALEZ
name: LUCIA GRANADOS ALOS
name: LENNY LIZ
name: NEIDY ZENAIDA DOMINGUEZ PINEDA
name: JUAN CARLOS FERNANDEZ-RODRIGUEZ
Publisher: name: Zenodo
Year: 2025
Subjects: Twitchers, Users, Non-Verbal Communication, Body Analysis; Influence.

description: Summary

The so-called twitchers are content creators who share it through the twitch platform on a regular and paid basis. This platform, which began in 2011, already has more than 140 million monthly users, leaving more than 2 billion hours of content viewing in 30 days. 65% of platform users are men and 35% women, although this difference has been accentuated in the last 5 years, increasing to 81% men and only 19% women. Knowing the reach that this content has, and that half of the users are between 18-34 years old; 14% is represented by the group between 13 and 17 years old, this age group being the biggest consumers and on which any action carried out has the greatest repercussion and impact. Many of these users end up idealizing their favorite streamers, spending hundreds of euros on donations and subscriptions, in order to continue consuming their content. In this article, we will analyze the visual profiles of the Spanish twitchers with the largest number of followers, who make live broadcasts of more than 6 hours, and analyze the development of the bodily verb representations that they manifest and the possible impact that they have on their consumers. through their broadcasts.
Framework for $\exists \mathbb{R}$-Completeness of Two-Dimensional Packing Problems
Creators: name: Abrahamsen, Mikkel
name: Miltzow, Tillmann
name: Seiferth, Nadja
Publisher: name: arXiv
Year: 2020
Subjects: subject: Computational Geometry (cs.CG)
subject: Computational Complexity (cs.CC)
subject: Discrete Mathematics (cs.DM)
subject: Data Structures and Algorithms (cs.DS)
subject: FOS: Computer and information sciences

description: The aim in packing problems is to decide if a given set of pieces can be placed inside a given container. A packing problem is defined by the types of pieces and containers to be handled, and the motions that are allowed to move the pieces. The pieces must be placed so that in the resulting placement, they are pairwise interior-disjoint. We establish a framework which enables us to show that for many combinations of allowed pieces, containers and motions, the resulting problem is $\exists \mathbb{R}$-complete. This means that the problem is equivalent (under polynomial time reductions) to deciding whether a given system of polynomial equations and inequalities with integer coefficients has a real solution.
 We consider packing problems where only translations are allowed as the motions, and problems where arbitrary rigid motions are allowed, i.e., both translations and rotations. When rotations are allowed, we show that it is an $\exists \mathbb{R}$-complete problem to decide if a set of convex polygons, each of which has at most $7$ corners, can be packed into a square. Restricted to translations, we show that the following problems are $\exists \mathbb{R}$-complete: (i) pieces bounded by segments and hyperbolic curves to be packed in a square, and (ii) convex polygons to be packed in a container bounded by segments and hyperbolic curves.
Categorical Vector Space Semantics for Lambek Calculus with a Relevant Modality
Creators: name: McPheat, Lachlan
name: Sadrzadeh, Mehrnoosh
name: Wazni, Hadi
name: Wijnholds, Gijs
Publisher: name: arXiv
Year: 2020
Subjects: subject: Computation and Language (cs.CL)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: We develop a categorical compositional distributional semantics for Lambek Calculus with a Relevant Modality !L*, which has a limited edition of the contraction and permutation rules. The categorical part of the semantics is a monoidal biclosed category with a coalgebra modality, very similar to the structure of a Differential Category. We instantiate this category to finite dimensional vector spaces and linear maps via "quantisation" functors and work with three concrete interpretations of the coalgebra modality. We apply the model to construct categorical and concrete semantic interpretations for the motivating example of !L*: the derivation of a phrase with a parasitic gap. The effectiveness of the concrete interpretations are evaluated via a disambiguation task, on an extension of a sentence disambiguation dataset to parasitic gap phrases, using BERT, Word2Vec, and FastText vectors and Relational tensors.
Integrating sustainability concepts into construction engineering education through service learning projects
Creators: name: Korman, Thomas M.
Publisher: name: The University of British Columbia
Year: 2015

description: In recent years, sustainability has surfaced as an important topic in society and therefore has become a goal of many construction engineering faculty to incorporate sustainability topics into their curricula. Determining an appropriate location in a curriculum can be challenging for educators as they frequently already struggle to schedule topics required by accreditations review boards. In the effort to introduce construction engineering students to sustainability concepts, the author has developed and implemented a variety of project based service learning projects aimed at integrating sustainability into an existing curriculum. These include the Reduction in Energy Demand and Utility Consumption Exercise (REDUCE) project, the Building Information Modeling for Energy Efficiency (BIM-E2) project, and the Renewable Energy for Central America (RECA) project. An abundant amount of existing research concludes that service learning enhances a student’s education in the areas of: work ethic, critical thinking, problem solving, social issues, and reasoning. This paper outlines the development, implementation, and evaluation of the aforementioned projects and how they are used to teach sustainability concepts while at the same time providing them with hands-on experience in a service learning pedagogy.
Family of ideal Chern flat bands with arbitrary Chern number in chiral twisted graphene multilayers
Creators: name: Ledwith, Patrick J.
name: Vishwanath, Ashvin
name: Khalaf, Eslam
Publisher: name: arXiv
Year: 2021
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: We consider a family of twisted graphene multilayers consisting of $n$-untwisted chirally stacked layers, e.g., AB, ABC, etc, with a single twist on top of $m$-untwisted {chirally stacked} layers. Upon neglecting both trigonal warping terms for the untwisted layers and the same sublattice hopping between all layers, the resulting models generalize several remarkable features of the chiral model of twisted bilayer graphene (CTBG). In particular, they exhibit a set of magic angles which are identical to those of CTBG at which a pair of bands (i) are perfectly flat, (ii) have Chern numbers in the sublattice basis given by $\pm (n,-m)$ or $\pm (n + m - 1, -1)$ depending on the stacking chirality, and (iii) satisfy the trace condition, saturating an inequality between the quantum metric and the Berry curvature, and thus realizing ideal quantum geometry. These are the first higher Chern bands that satisfy (iii) beyond fine-tuned models or combinations of Landau levels. We show that ideal quantum geometry is directly related to the construction of fractional quantum Hall model wavefunctions. We provide explicit analytic expressions for the flat band wavefunctions at the magic angle in terms of the CTBG wavefunctions. We also show that the Berry curvature distribution in these models can be continuously tuned while maintaining perfect quantum geometry. Similar to the study of fractional Chern insulators in ideal $C = 1$ bands, these models pave the way for investigating exotic topological phases in higher Chern bands for which no Landau level analog is available.
description: 5 pages, 3 figures
RES4CITY Case Study: Sustainable Heating: Grenoble's Solutions for Heat Recovery from a Nearby Industry (Short version)
Creators: name: Grenoble Alpes University
Publisher: name: Zenodo
Year: 2024
Subjects: grenoble
heating network
renewable heating
district heating
power plants
case study

description: This case study presents the heating network in Grenoble, including its stakeholders and the different power plants involved. The results show that among the three scenarios presented, the most realistic is the scenario with 25% wood pellets and 75% wood consumption. The construction of a new power plant is not useful since this plant would only operate half of the time foreseen.
Exotic interactions mediated by a non-Hermitian photonic bath
Creators: name: Roccati, Federico
name: Lorenzo, Salvatore
name: Calajò, Giuseppe
name: Palma, G. Massimo
name: Carollo, Angelo
name: Ciccarello, Francesco
Publisher: name: arXiv
Year: 2021
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Photon-mediated interactions between quantum emitters in engineered photonic baths is an emerging area of quantum optics. At the same time, non-Hermitian (NH) physics is currently thriving, spurred by the exciting possibility to access new physics in systems ruled by non-trivial NH Hamiltonians - in particular photonic lattices - which can challenge longstanding tenets such as the Bloch theory of bands. Here, we combine these two fields and study the exotic interaction between emitters mediated by the photonic modes of a lossy photonic lattice described by a NH Hamiltonian. We show in a paradigmatic case study that structured losses in the field can seed exotic emission properties. Photons can mediate dissipative, fully non-reciprocal, interactions between the emitters with range critically dependent on the loss rate. When this loss rate corresponds to a bare-lattice exceptional point, the effective couplings are exactly nearest-neighbour, implementing a dissipative, fully non-reciprocal, Hatano-Nelson model. Counter-intuitively, this occurs irrespective of the lattice boundary conditions. Thus photons can mediate an effective emitters' Hamiltonian which is translationally-invariant despite the fact that the field is not. We interpret these effects in terms of metastable atom-photon dressed states, which can be exactly localized on only two lattice cells or extended across the entire lattice. These findings introduce a new paradigm of light-mediated interactions with unprecedented features such as non-reciprocity, non-trivial dependence on the field boundary conditions and range tunability via a loss rate.
description: 8+7 pages, 8 figures. Close to published version
Variance partitioning in spatio-temporal disease mapping models
Creators: name: Franco-Villoria, Maria
name: Ventrucci, Massimo
name: Rue, Håvard
Publisher: name: arXiv
Year: 2021
Subjects: subject: Methodology (stat.ME)
subject: FOS: Computer and information sciences

description: Bayesian disease mapping, yet if undeniably useful to describe variation in risk over time and space, comes with the hurdle of prior elicitation on hard-to-interpret random effect precision parameters. We introduce a reparametrized version of the popular spatio-temporal interaction models, based on Kronecker product intrinsic Gaussian Markov Random Fields, that we name the variance partitioning (VP) model. The VP model includes a mixing parameter that balances the contribution of the main and interaction effects to the total (generalized) variance and enhances interpretability. The use of a penalized complexity prior on the mixing parameter aids in coding prior information in a intuitive way. We illustrate the advantages of the VP model using two case studies.
Categorical Stochastic Processes and Likelihood
Creators: name: Shiebler, Dan
Publisher: name: arXiv
Year: 2020
Subjects: subject: Artificial Intelligence (cs.AI)
subject: Category Theory (math.CT)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics

description: In this work we take a Category Theoretic perspective on the relationship between probabilistic modeling and function approximation. We begin by defining two extensions of function composition to stochastic process subordination: one based on the co-Kleisli category under the comonad (Omega x -) and one based on the parameterization of a category with a Lawvere theory. We show how these extensions relate to the category Stoch and other Markov Categories. Next, we apply the Para construction to extend stochastic processes to parameterized statistical models and we define a way to compose the likelihood functions of these models. We conclude with a demonstration of how the Maximum Likelihood Estimation procedure defines an identity-on-objects functor from the category of statistical models to the category of Learners. Code to accompany this paper can be found at https://github.com/dshieble/Categorical_Stochastic_Processes_and_Likelihood
Game Comonads & Generalised Quantifiers
Creators: name: Conghaile, Adam Ó
name: Dawar, Anuj
Publisher: name: arXiv
Year: 2020
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: 68Q19

description: Game comonads, introduced by Abramsky, Dawar and Wang and developed by Abramsky and Shah, give an interesting categorical semantics to some Spoiler-Duplicator games that are common in finite model theory. In particular they expose connections between one-sided and two-sided games, and parameters such as treewidth and treedepth and corresponding notions of decomposition. In the present paper, we expand the realm of game comonads to logics with generalised quantifiers. In particular, we introduce a comonad graded by two parameters $n \leq k$ such that isomorphisms in the resulting Kleisli category are exactly Duplicator winning strategies in Hella's $n$-bijection game with $k$ pebbles. We define a one-sided version of this game which allows us to provide a categorical semantics for a number of logics with generalised quantifiers. We also give a novel notion of tree decomposition that emerges from the construction.
Polaritonic Hofstadter Butterfly and Cavity-Control of the Quantized Hall Conductance
Creators: name: Rokaj, Vasil
name: Penz, Markus
name: Sentef, Michael A.
name: Ruggenthaler, Michael
name: Rubio, Angel
Publisher: name: arXiv
Year: 2021
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: In a previous work [Phys. Rev. Lett. 123, 047202 (2019)] a translationally invariant framework called quantum-electrodynamical Bloch (QED-Bloch) theory was introduced for the description of periodic materials in homogeneous magnetic fields and strongly coupled to the quantized photon field in the optical limit. For such systems, we show that QED-Bloch theory predicts the existence of fractal polaritonic spectra as a function of the cavity coupling strength. In addition, for the energy spectrum as a function of the relative magnetic flux we find that a terahertz cavity can modify the standard Hofstadter butterfly. In the limit of no quantized photon field, QED-Bloch theory captures the well-known fractal spectrum of the Hofstadter butterfly and can be used for the description of 2D materials in strong magnetic fields, which are of great experimental interest. As a further application, we consider Landau levels under cavity confinement and show that the cavity alters the quantized Hall conductance and that the Hall plateaus are modified as $σ_{xy}=e^2ν/h(1+η^2)$ by the light-matter coupling $η$. Most of the aforementioned phenomena should be experimentally accessible and corresponding implications are discussed.
Elimination distance to bounded degree on planar graphs
Creators: name: Lindermayr, Alexander
name: Siebertz, Sebastian
name: Vigny, Alexandre
Publisher: name: arXiv
Year: 2020
Subjects: subject: Discrete Mathematics (cs.DM)
subject: Combinatorics (math.CO)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics

description: We study the graph parameter elimination distance to bounded degree, which was introduced by Bulian and Dawar in their study of the parameterized complexity of the graph isomorphism problem. We prove that the problem is fixed-parameter tractable on planar graphs, that is, there exists an algorithm that given a planar graph $G$ and integers $d$ and $k$ decides in time $f(k,d)\cdot n^c$ for a computable function~$f$ and constant $c$ whether the elimination distance of $G$ to the class of degree $d$ graphs is at most $k$.
description: 12 pages, 1 figure
Observational constraints of the modified cosmology through Barrow entropy
Creators: name: Asghari, Mahnaz
name: Sheykhi, Ahmad
Publisher: name: arXiv
Year: 2021
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: Taking into account a fractal structure for the black hole horizon, Barrow argued that the area law of entropy is modified due to quantum-gravitational effects (Barrow in Phys Lett B 808:135643, https://doi.org/10.1016/j.physletb.2020.135643, 2020). Accordingly, the corrected entropy takes the form $S \sim A^{1+\mathrmΔ/2}$, where $0\leq\mathrmΔ\leq1$, indicates the amount of the quantum-gravitational deformation effects. In this paper, based on Barrow entropy, we first derive the modified gravitational field equations through the Clausius relation. We then consider the Friedmann-Lemaître-Robertson-Walker (FLRW) metric as the background metric and derive the modified Friedmann equations inspired by Barrow entropy. In order to explore observational constraints on the modified Barrow cosmology, we employ two different combinations of available datasets, mainly "Planck + Pantheon + BAO" and "Planck + Planck-SZ + CFHTLenS + Pantheon + BAO + BAORSD" datasets,. According to numerical results, we observe that the "Planck + Pantheon + BAO" dataset predicts higher values of $H_0$ in Barrow cosmology with a phantom dark energy compared to $\mathrmΛ$CDM, so tensions between low redshift determinations of the Hubble constant and cosmic microwave background (CMB) results are slightly reduced. On the other hand, in case of dataset "Planck + Planck-SZ + CFHTLenS + Pantheon + BAO + BAORSD" there is a slight amelioration in $σ_8$ tension in Barrow cosmology with a quintessential dark energy compared to the standard model of cosmology. Additionally, for a more reliable comparison, we also constrain the wCDM model with the same datasets, where our results exhibit a satisfying compatibility between Barrow cosmology and wCDM.
description: 13 pages, 5 figures
Complex Spin Hamiltonian Represented by Artificial Neural Network
Creators: name: Yu, Hongyu
name: Xu, Changsong
name: Lou, Feng
name: Bellaiche, L.
name: Hu, Zhenpeng
name: Gong, Xingao
name: Xiang, Hongjun
Publisher: name: arXiv
Year: 2021
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: Machine Learning (cs.LG)
subject: FOS: Physical sciences
subject: FOS: Computer and information sciences

description: The effective spin Hamiltonian method is widely adopted to simulate and understand the behavior of magnetism. However, the magnetic interactions of some systems, such as itinerant magnets, are too complex to be described by any explicit function, which prevents an accurate description of magnetism in such systems. Here, we put forward a machine learning (ML) approach, applying an artificial neural network (ANN) and a local spin descriptor to develop effective spin potentials for any form of interaction. The constructed Hamiltonians include an explicit Heisenberg part and an implicit non-linear ANN part. Such a method successfully reproduces artificially constructed models and also sufficiently describe the itinerant magnetism of bulk Fe3GeTe2. Our work paves a new way for investigating complex magnetic phenomena (e.g., skyrmions) of magnetic materials.
description: 14 pages, 3 figures
Robust certification of arbitrary outcome quantum measurements from temporal correlations
Creators: name: Das, Debarshi
name: Maity, Ananda G.
name: Saha, Debashis
name: Majumdar, A. S.
Publisher: name: arXiv
Year: 2021
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Certification of quantum devices received from unknown providers is a primary requirement before utilizing the devices for any information processing task. Here, we establish a protocol for certification of a particular set of $d$-outcome quantum measurements (with $d$ being arbitrary) in a setup comprising of a preparation followed by two measurements in sequence. We propose a set of temporal inequalities pertaining to different $d$ involving correlation functions corresponding to successive measurement outcomes, that are not satisfied by quantum devices. Using quantum violations of these inequalities, we certify specific $d$-outcome quantum measurements under some minimal assumptions which can be met in an experiment efficiently. Our certification protocol neither requires entanglement, nor any prior knowledge about the dimension of the system under consideration. We further show that our protocol is robust against practical non-ideal realizations. Finally, as an offshoot of our protocol, we present a scheme for secure certification of genuine quantum randomness.
description: Accepted for publication in Quantum
Language Modeling with Reduced Densities
Creators: name: Bradley, Tai-Danae
name: Vlassopoulos, Yiannis
Publisher: name: arXiv
Year: 2020
Subjects: subject: Computation and Language (cs.CL)
subject: Machine Learning (cs.LG)
subject: Category Theory (math.CT)
subject: Quantum Physics (quant-ph)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics
subject: FOS: Physical sciences

description: This work originates from the observation that today's state-of-the-art statistical language models are impressive not only for their performance, but also - and quite crucially - because they are built entirely from correlations in unstructured text data. The latter observation prompts a fundamental question that lies at the heart of this paper: What mathematical structure exists in unstructured text data? We put forth enriched category theory as a natural answer. We show that sequences of symbols from a finite alphabet, such as those found in a corpus of text, form a category enriched over probabilities. We then address a second fundamental question: How can this information be stored and modeled in a way that preserves the categorical structure? We answer this by constructing a functor from our enriched category of text to a particular enriched category of reduced density operators. The latter leverages the Loewner order on positive semidefinite operators, which can further be interpreted as a toy example of entailment.
description: 21 pages; v2: added reference; v3: revised abstract and introduction for clarity; v4: Compositionality version
Spiked Covariance Estimation from Modulo-Reduced Measurements
Creators: name: Romanov, Elad
name: Ordentlich, Or
Publisher: name: arXiv
Year: 2021
Subjects: subject: Information Theory (cs.IT)
subject: Statistics Theory (math.ST)
subject: Machine Learning (stat.ML)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics

description: Consider the rank-1 spiked model: $\bf{X}=\sqrtνξ\bf{u}+ \bf{Z}$, where $ν$ is the spike intensity, $\bf{u}\in\mathbb{S}^{k-1}$ is an unknown direction and $ξ\sim \mathcal{N}(0,1),\bf{Z}\sim \mathcal{N}(\bf{0},\bf{I})$. Motivated by recent advances in analog-to-digital conversion, we study the problem of recovering $\bf{u}\in \mathbb{S}^{k-1}$ from $n$ i.i.d. modulo-reduced measurements $\bf{Y}=[\bf{X}]\mod Δ$, focusing on the high-dimensional regime ($k\gg 1$). We develop and analyze an algorithm that, for most directions $\bf{u}$ and $ν=\mathrm{poly}(k)$, estimates $\bf{u}$ to high accuracy using $n=\mathrm{poly}(k)$ measurements, provided that $Δ\gtrsim \sqrt{\log k}$. Up to constants, our algorithm accurately estimates $\bf{u}$ at the smallest possible $Δ$ that allows (in an information-theoretic sense) to recover $\bf{X}$ from $\bf{Y}$. A key step in our analysis involves estimating the probability that a line segment of length $\approx\sqrtν$ in a random direction $\bf{u}$ passes near a point in the lattice $Δ\mathbb{Z}^k$. Numerical experiments show that the developed algorithm performs well even in a non-asymptotic setting.
description: AISTATS, 2022
Jets in Common Envelopes: a low mass main sequence star in a red giant
Creators: name: Lopez-Camara, Diego
name: De Colle, Fabio
name: Mendez, Enrique Moreno
name: Shiber, Sagiv
name: Iaconi, Roberto
Publisher: name: arXiv
Year: 2021
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: We present small-scale three-dimensional hydrodynamical simulations of the evolution of a 0.3Msun main sequence star which launches two perpendicular jets within the envelope of a 0.88Msun red giant. Based on previous large-scale simulations, we study the dynamics of the jets either when the secondary star is grazing, when it has plunged-in, or when it is well-within the envelope of the red giant (in each stage for ~11 days). The dynamics of the jets through the common envelope (CE) depend on the conditions of the environment as well as on their powering. In the grazing stage and the commencement of the plunge self-regulated jets need higher efficiencies to break out of the envelope of the RG. Deep inside the CE, on the timescales simulated, jets are choked independently of whether they are self-regulated or constantly powered. Jets able to break out of the envelope of the RG in large-scale simulations, are choked in our small-scale simulations. The accreted angular momentum onto the secondary star is not large enough to form a disk. The mass accretion onto the MS star is 1-10% of the Bondi-Hoyle-Littleton rate (~1e-3 - 1e-1 Msun yr/s). High luminosity emission, from X-rays to UV and optical, is expected if the jets break out of the CE. Our simulations illustrate the need for inclusion of more realistic accretion and jet models in the dynamical evolution of the CEs.
description: 13 pages, 7 figures, 1 table, published in MNRAS
A Practical Algorithm with Performance Guarantees for the Art Gallery Problem
Creators: name: Hengeveld, Simon
name: Miltzow, Tillmann
Publisher: name: arXiv
Year: 2020
Subjects: subject: Computational Geometry (cs.CG)
subject: Discrete Mathematics (cs.DM)
subject: Data Structures and Algorithms (cs.DS)
subject: FOS: Computer and information sciences

description: Given a closed simple polygon $P$, we say two points $p,q$ see each other if the segment $pq$ is fully contained in $P$. The art gallery problem seeks a minimum size set $G\subset P$ of guards that sees $P$ completely. The only currently correct algorithm to solve the art gallery problem exactly uses algebraic methods and is attributed to Sharir. As the art gallery problem is ER-complete, it seems unlikely to avoid algebraic methods, without additional assumptions. In this paper, we introduce the notion of vision stability. In order to describe vision stability consider an enhanced guard that can see "around the corner" by an angle of $δ$ or a diminished guard whose vision is by an angle of $δ$ "blocked" by reflex vertices. A polygon $P$ has vision stability $δ$ if the optimal number of enhanced guards to guard $P$ is the same as the optimal number of diminished guards to guard $P$. We will argue that most relevant polygons are vision stable. We describe a one-shot vision stable algorithm that computes an optimal guard set for visionstable polygons using polynomial time and solving one integer program. It guarantees to find the optimal solution for every vision stable polygon. We implemented an iterative visionstable algorithm and show its practical performance is slower, but comparable with other state of the art algorithms. Our iterative algorithm is inspired and follows closely the one-shot algorithm. It delays several steps and only computes them when deemed necessary. Given a chord $c$ of a polygon, we denote by $n(c)$ the number of vertices visible from $c$. The chord-width of a polygon is the maximum $n(c)$ over all possible chords $c$. The set of vision stable polygons admits an FPT algorithm when parametrized by the chord-width. Furthermore, the one-shot algorithm runs in FPT time, when parameterized by the number of reflex vertices.
description: 59 pages main body, 23 figures
Transpension: The Right Adjoint to the Pi-type
Creators: name: Nuyts, Andreas
name: Devriese, Dominique
Publisher: name: arXiv
Year: 2020
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Presheaf models of dependent type theory have been successfully applied to model HoTT, parametricity, and directed, guarded and nominal type theory. There has been considerable interest in internalizing aspects of these presheaf models, either to make the resulting language more expressive, or in order to carry out further reasoning internally, allowing greater abstraction and sometimes automated verification. While the constructions of presheaf models largely follow a common pattern, approaches towards internalization do not. Throughout the literature, various internal presheaf operators ($\surd$, $Φ/\mathsf{extent}$, $Ψ/\mathsf{Gel}$, $\mathsf{Glue}$, $\mathsf{Weld}$, $\mathsf{mill}$, the strictness axiom and locally fresh names) can be found and little is known about their relative expressivenes. Moreover, some of these require that variables whose type is a shape (representable presheaf, e.g. an interval) be used affinely. We propose a novel type former, the transpension type, which is right adjoint to universal quantification over a shape. Its structure resembles a dependent version of the suspension type in HoTT. We give general typing rules and a presheaf semantics in terms of base category functors dubbed multipliers. Structural rules for shape variables and certain aspects of the transpension type depend on characteristics of the multiplier. We demonstrate how the transpension type and the strictness axiom can be combined to implement all and improve some of the aforementioned internalization operators (without formal claim in the case of locally fresh names).
ZAMONAVIY MUFASSIR MUHAMMAD ALI SOBUNIYNING HAYOTI VA ILMIY MEROSI
Creators: name: Jamolova, R.
Publisher: name: Zenodo
Year: 2024

description: Islom olami har asrda turli ulamolarning ilmiy faoliyati bilan yanada boyib boradi. Har bir olim o‘z izlanishi davomida avvalgi ulamolar fikrlarini jamlab, sodda ko‘rinishda keyingi avlodlarga yetkazishga harakat qiladi. XXI asr ham shunday ulamolarning ilmiy merosidan holi emas.  Ulardan biri, Ahli sunna val jamoaga mansub zamonaviy olimlaridan biri bo‘lgan Muhammad Ali Sobuniy islom olamining atoqli olimlari qatorida sanalib ulgurgan. Salkam bir asrga yaqin hayot kechirib, umrining asosiy qismini ilm yo‘lida sarflagan alloma, islom ilmlarining turli sohalariga o‘z hissasini qo‘shgan bo‘lsada, u tafsir ilmi borasida qilgan mehnatlari bilan shuhrat topgan.
Darts: User-Friendly Modern Machine Learning for Time Series
Creators: name: Herzen, Julien
name: Lässig, Francesco
name: Piazzetta, Samuele Giuliano
name: Neuer, Thomas
name: Tafti, Léo
name: Raille, Guillaume
name: Van Pottelbergh, Tomas
name: Pasieka, Marek
name: Skrodzki, Andrzej
name: Huguenin, Nicolas
name: Dumonal, Maxime
name: Kościsz, Jan
name: Bader, Dennis
name: Gusset, Frédérick
name: Benheddi, Mounir
name: Williamson, Camila
name: Kosinski, Michal
name: Petrik, Matej
name: Grosch, Gaël
Publisher: name: arXiv
Year: 2021
Subjects: subject: Machine Learning (cs.LG)
subject: Computation (stat.CO)
subject: FOS: Computer and information sciences

description: We present Darts, a Python machine learning library for time series, with a focus on forecasting. Darts offers a variety of models, from classics such as ARIMA to state-of-the-art deep neural networks. The emphasis of the library is on offering modern machine learning functionalities, such as supporting multidimensional series, meta-learning on multiple series, training on large datasets, incorporating external data, ensembling models, and providing a rich support for probabilistic forecasting. At the same time, great care goes into the API design to make it user-friendly and easy to use. For instance, all models can be used using fit()/predict(), similar to scikit-learn.
description: Darts Github repository: https://github.com/unit8co/darts
SU($N$)-natural inflation
Creators: name: Fujita, Tomohiro
name: Mukaida, Kyohei
name: Murai, Kai
name: Nakatsuka, Hiromasa
Publisher: name: arXiv
Year: 2021
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We study SU($N$) gauge fields that couple to the inflaton through the Chern-Simons term. We provide a general procedure to construct homogeneous, isotropic, and attractor solutions of the gauge fields during inflation. The gauge fields develop various VEVs corresponding to different spontaneous symmetry breaking patterns of SU($N$) where embedded SU($2$) subgroups are broken with the spatial rotation SO($3$) symmetry. As specific examples, we construct the stable solutions for $N = 3$ and $4$. We also numerically solve the gauge field dynamics and confirm that our analytic solutions are complete and attractor. It is straightforward to apply our procedure to the other simple Lie groups.
description: 8 pages, 6 figures
Using essentials of application engineering concept for designing industrial system drives
Creators: name: Pitis, Constantin
Publisher: name: The University of British Columbia
Year: 2015

description: Two thirds of the electric energy production (amounted in 2009 at 20,300 TWh) is used by industrial system drives (ISDs) performing at 80%…20% overall efficiencies. There is large variety of ISDs not performing efficiently or failing with downtime production losses. For an average efficiency of 55% the waste energy with ISDs is estimated at 8,860 TWh. One of the reasons is that proposed Five-Essentials-of-Application-Engineering (5EAE) concept is not applied or taught at tertiary education level. This concept is focused on specific ways of thinking outside the box. It employs sustainable and consistent approach when retrofit or new designs options are taken into consideration. 5EAE requires that any ISD shall match the followings: downstream conditions, upstream conditions, environmental conditions, reliability and efficiency indicators and conditions of business sustainability. Use of 5EAE requires strong technical background reflecting deep expertise in a single area, usually technical, complemented with a broad working knowledge of multiple areas of inquiry, establishing a professional as capable of interacting with various facets of the application. Proposed concept is an ideal method to prepare practicing engineering graduates for the global economy requiring broader knowledge in collateral fields. This approach fosters individuals with a deep technical understanding coupled with broader knowledge in the fundamentals of engineering design, innovation, business, leadership. Such training prepares professionals for success negotiating the corporate, global world of industry. The paper presents 5EAE fundamentals with case studies, highlighting also thermal pollution resulted from poor performances of ISDs and conservation potential obtainable by promoting 5EAE concept.
Trans* people’s perceptions of political participation in the wake of voter ID requirements: evidence from the UK - Supplementary Material
Creators: name: Colliver, Kit
name: Stokoe, Ash
Publisher: name: figshare
Year: 2025
Subjects: classificationCode: 440806
subject: Gender and politics
classificationCode: 440508
subject: Transgender studies

description: Supplementary material for the journal article, Stokoe, A., and Colliver, K. (forthcoming) 'Disillusioned and disenfranchised? The impact of voter ID on trans and non-binary people,' European Journal of Politics and Gender.
The mindful engineer : contemplative education as a strategy for sustainable lifelong professional development
Creators: name: Rosales, Janna
Publisher: name: The University of British Columbia
Year: 2015

description: This paper explores and assesses the contribution that mindfulness practice can have as a bridge to professional self-reflection in undergraduate engineering education. The use of mindfulness practices in higher education is part of the emerging field of contemplative education. In engineering education, contemplative pedagogies remain largely unexplored, but one rationale behind contemplative education and mindful awareness is that they can help support the type of lifelong reflective practice increasingly expected of engineering professionals. In this context, the notion of sustainable development is extended to include the personal sustainability of one’s own professional development. The main research questions that inform this paper are: What does contemplative pedagogy look like? What attitudes do engineering students have towards the contemplative practice of mindful awareness? How can contemplative practices contribute positively to the professional self-awareness of the 21st Century engineer? I will sketch my own attempts to introduce contemplative pedagogy in the engineering classroom and describe a session in mindful awareness that was offered to a second-year multidisciplinary engineering class. Based on classroom observation and written responses to open-ended questions, reaction to the exercise is encouraging but there are also distinct challenges to introducing students to a largely unfamiliar and unconventional practice for the engineering context. I will provide examples of student responses to mindful awareness and then discuss the possibilities of and justifications for developing and expanding upon these initial classroom forays.
Supplementary document for Highly sensitive detection of nucleocapsid protein from SARS-CoV-2 using a near infrared surface plasmon resonance sensing system - 6093503.pdf
Creators: name: Kajisa, Taira
name: Yano, Taka-aki
name: Koresawa, Hidenori
name: Otsuka, Kunihiro
name: Sakane, Ayuko
name: Sasaki, Takuya
name: Yasutomo, Koji
name: Yasui, Takeshi
Publisher: name: Optica Publishing Group
Year: 2025
Subjects: Uncategorized

description: Supplemental figures
Cohomology and Deformations of left-symmetric Rinehart Algebras
Creators: name: Hassine, A. Ben
name: Chtioui, T.
name: Elhamdadi, M.
name: Mabrouk, S.
Publisher: name: arXiv
Year: 2020
Subjects: subject: Rings and Algebras (math.RA)
subject: Representation Theory (math.RT)
subject: FOS: Mathematics
subject: Primary 17E05, 53D17, Secondary 14B12, 06B15

description: We introduce a notion of left-symmetric Rinehart algebras, which is a generalization of a left-symmetric algebras. The left multiplication gives rise to a representation of the corresponding sub-adjacent Lie-Rinehart algebra. We construct left-symmetric Rinehart algebra from O-operators on Lie-Rinehart algebra. We extensively investigate representations of a left-symmetric Rinehart algebras. Moreover, we study deformations of left-symmetric Rinehart algebras, which is controlled by the second cohomology class in the deformation cohomology. We also give the relationships between O-operators and Nijenhuis operators on left-symmetric Rinehart algebras.
description: arXiv admin note: text overlap with arXiv:1710.03749, arXiv:1312.6526, arXiv:1808.01909 by other authors
Spatial mixup: Directional loudness modification as data augmentation for sound event localization and detection
Creators: name: Falcon-Perez, Ricardo
name: Shimada, Kazuki
name: Koyama, Yuichiro
name: Takahashi, Shusuke
name: Mitsufuji, Yuki
Publisher: name: arXiv
Year: 2021
Subjects: subject: Audio and Speech Processing (eess.AS)
subject: Machine Learning (cs.LG)
subject: Sound (cs.SD)
subject: FOS: Electrical engineering, electronic engineering, information engineering
subject: FOS: Computer and information sciences

description: Data augmentation methods have shown great importance in diverse supervised learning problems where labeled data is scarce or costly to obtain. For sound event localization and detection (SELD) tasks several augmentation methods have been proposed, with most borrowing ideas from other domains such as images, speech, or monophonic audio. However, only a few exploit the spatial properties of a full 3D audio scene. We propose Spatial Mixup, as an application of parametric spatial audio effects for data augmentation, which modifies the directional properties of a multi-channel spatial audio signal encoded in the ambisonics domain. Similarly to beamforming, these modifications enhance or suppress signals arriving from certain directions, although the effect is less pronounced. Therefore enabling deep learning models to achieve invariance to small spatial perturbations. The method is evaluated with experiments in the DCASE 2021 Task 3 dataset, where spatial mixup increases performance over a non-augmented baseline, and compares to other well known augmentation methods. Furthermore, combining spatial mixup with other methods greatly improves performance.
description: 5 pages, 2 figures, 4 tables. Submitted to the 2022 International Conference on Acoustics, Speech, & Signal Processing (ICASSP)
Homotopy theory of Moore flows (I)
Creators: name: Gaucher, Philippe
Publisher: name: arXiv
Year: 2020
Subjects: subject: Category Theory (math.CT)
subject: Algebraic Topology (math.AT)
subject: FOS: Mathematics

description: Erratum, 11 July 2022: This is an updated version of the original paper in which the notion of reparametrization category was incorrectly axiomatized. Details on the changes to the original paper are provided in the Appendix.
 A reparametrization category is a small topologically enriched semimonoidal category such that the semimonoidal structure induces a structure of a semigroup on objects, such that all spaces of maps are contractible and such that each map can be decomposed (not necessarily in a unique way) as a tensor product of two maps. A Moore flow is a small semicategory enriched over the biclosed semimonoidal category of enriched presheaves over a reparametrization category. We construct the q-model category of Moore flows. It is proved that it is Quillen equivalent to the q-model category of flows. This result is the first step to establish a zig-zag of Quillen equivalences between the q-model structure of multipointed $d$-spaces and the q-model structure of flows.
description: 39 pages; Erratum to Compositionality 3, 3, 2021, in which the notion of reparametrization category was incorrectly axiomatized
Collective drifts in vibrated granular packings: the interplay of friction and structure
Creators: name: Plati, Andrea
name: Puglisi, Andrea
Publisher: name: arXiv
Year: 2021
Subjects: subject: Soft Condensed Matter (cond-mat.soft)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: We simulate vertically shaken dense granular packings with horizontal periodic boundary conditions. A coordinated translating motion of the whole medium emerges when the horizontal symmetry is broken by disorder or defects in the packing and the shaking is weak enough to conserve the structure. We argue that such a drift originates in the interplay between structural symmetry breaking and frictional forces transmitted by the vibrating plate. A non-linear ratchet model with stick-slips reproduces many faces of the phenomenon. The collective motion discussed here underlies phenomena observed recently with vibrofluidized granular materials, such as persistent rotations and anomalous diffusion.
description: 14 pages and 10 figures (main text and supplemental material)
A Metric to Quantify Shared Visual Attention in Two-Person Teams
Creators: name: Gontar, Patrick
name: Mulligan, Jeffrey B.
Publisher: name: SAGA - International Workshop on Solutions for Automatic Gaze Data Analysis : Proceedings
Year: 2015

description: SAGA - International Workshop on Solutions for Automatic Gaze Data Analysis : Proceedings, SAGA 2015: 2nd International Workshop on Solutions for Automatic Gaze Data Analysis, Bielefeld, 29.-30. September 2015
Capturing and Visualizing Eye Movements in 3D Environments
Creators: name: Pfeiffer, Thies
name: Memili, Cem
name: Renner, Patrick
Publisher: name: SAGA - International Workshop on Solutions for Automatic Gaze Data Analysis : Proceedings
Year: 2015

description: SAGA - International Workshop on Solutions for Automatic Gaze Data Analysis : Proceedings, SAGA 2015: 2nd International Workshop on Solutions for Automatic Gaze Data Analysis, Bielefeld, 29.-30. September 2015
Improved quantum data analysis
Creators: name: Bădescu, Costin
name: O'Donnell, Ryan
Publisher: name: arXiv
Year: 2020
Subjects: subject: Quantum Physics (quant-ph)
subject: Computational Complexity (cs.CC)
subject: FOS: Physical sciences
subject: FOS: Computer and information sciences

description: We provide more sample-efficient versions of some basic routines in quantum data analysis, along with simpler proofs. Particularly, we give a quantum "Threshold Search" algorithm that requires only $O((\log^2 m)/ε^2)$ samples of a $d$-dimensional state $ρ$. That is, given observables $0 \le A_1, A_2, ..., A_m \le 1$ such that $\mathrm{tr}(ρA_i) \ge 1/2$ for at least one $i$, the algorithm finds $j$ with $\mathrm{tr}(ρA_j) \ge 1/2-ε$. As a consequence, we obtain a Shadow Tomography algorithm requiring only $\tilde{O}((\log^2 m)(\log d)/ε^4)$ samples, which simultaneously achieves the best known dependence on each parameter $m$, $d$, $ε$. This yields the same sample complexity for quantum Hypothesis Selection among $m$ states; we also give an alternative Hypothesis Selection method using $\tilde{O}((\log^3 m)/ε^2)$ samples.
Gaze interaction for multi-display systems using natural light eye-tracker
Creators: name: Ferhat, Onur
name: Llanza, Arcadi
name: Vilariño, Fernando
Publisher: name: SAGA - International Workshop on Solutions for Automatic Gaze Data Analysis : Proceedings
Year: 2015

description: SAGA - International Workshop on Solutions for Automatic Gaze Data Analysis : Proceedings, SAGA 2015: 2nd International Workshop on Solutions for Automatic Gaze Data Analysis, Bielefeld, 29.-30. September 2015
Gaze Tracking for Human Robot Interaction
Creators: name: Palinko, Oskar
name: Rea, Francesco
name: Sandini, Giulio
name: Sciutti, Alessandra
Publisher: name: SAGA - International Workshop on Solutions for Automatic Gaze Data Analysis : Proceedings
Year: 2015

description: SAGA - International Workshop on Solutions for Automatic Gaze Data Analysis : Proceedings, SAGA 2015: 2nd International Workshop on Solutions for Automatic Gaze Data Analysis, Bielefeld, 29.-30. September 2015