cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
A Strong Bisimulation for a Classical Term Calculus
Creators: name: Bonelli, Eduardo
name: Kesner, Delia
name: Viso, Andrés
Publisher: name: arXiv
Year: 2021
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: When translating a term calculus into a graphical formalism many inessential details are abstracted away. In the case of $λ$-calculus translated to proof-nets, these inessential details are captured by a notion of equivalence on $λ$-terms known as $\simeq_σ$-equivalence, in both the intuitionistic (due to Regnier) and classical (due to Laurent) cases. The purpose of this paper is to uncover a strong bisimulation behind $\simeq_σ$-equivalence, as formulated by Laurent for Parigot's $λμ$-calculus. This is achieved by introducing a relation $\simeq$, defined over a revised presentation of $λμ$-calculus we dub $ΛM$.
 More precisely, we first identify the reasons behind Laurent's $\simeq_σ$-equivalence on $λμ$-terms failing to be a strong bisimulation. Inspired by Laurent's \emph{Polarized Proof-Nets}, this leads us to distinguish multiplicative and exponential reduction steps on terms. Second, we enrich the syntax of $λμ$ to allow us to track the exponential operations. These technical ingredients pave the way towards a strong bisimulation for the classical case. We introduce a calculus $ΛM$ and a relation $\simeq$ that we show to be a strong bisimulation with respect to reduction in $ΛM$, ie. two $\simeq$-equivalent terms have the exact same reduction semantics, a result which fails for Regnier's $\simeq_σ$-equivalence in $λ$-calculus as well as for Laurent's $\simeq_σ$-equivalence in $λμ$. Although $\simeq$ is formulated over an enriched syntax and hence is not strictly included in Laurent's $\simeq_σ$, we show how it can be seen as a restriction of it.
description: arXiv admin note: text overlap with arXiv:1906.09370
Online Visual Attention Monitoring for Mobile Assistive Systems
Creators: name: Renner, Patrick
name: Pfeiffer, Thies
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
Supplementary document for A deep attentive convolutional neural network for automatic grading of imbalanced diabetic retinopathy in retinal fundus images - 6093618.pdf
Creators: name: Li, Feng
name: tang, shiqing
name: chen, yuyang
name: Zou, Haidong
Publisher: name: Optica Publishing Group
Year: 2025
Subjects: Uncategorized

description: Supplemental Table
In vivo Metabolic Sensing of Hyperpolarized [1-13C]Pyruvate in Mice Using a Recyclable Perfluorinated Iridium Signal Amplification by Reversible Exchange Catalyst
Creators: name: Benjamini, Jess
name: Yamamoto, Kazutoshi
name: Blackman, Burchelle
name: Koyasu, Norikazu
name: Raju, Natarajan
name: Vasalatiy, Olga
name: Merkle, Hellmut
name: Chekmenev, Eduard
name: Goodson, Boyd M.
name: Krishna, C. Murali
name: Swenson, Rolf
Publisher: name: National Heart, Lung, and Blood Institute
Year: 2024
Subjects: classificationCode: 519999
subject: Other physical sciences not elsewhere classified
classificationCode: 510599
subject: Medical and biological physics not elsewhere classified

description: Real-time visualization of metabolic processes in vivo provides crucial insights into conditions like cancer and metabolic disorders. Metabolic magnetic resonance imaging (MRI), by amplifying the signal of pyruvate molecules through hyperpolarization, enables non-invasive monitoring of metabolic fluxes, aiding in understanding disease progression and treatment response. Signal Amplification By Reversible Exchange (SABRE) presents a simpler, cost-effective alternative to dissolution dynamic nuclear polarization, eliminating the need for expensive equipment and complex procedures. We present the first in vivo demonstration of metabolic sensing in a human pancreatic cancer xenograft model compared to healthy mice. A novel perfluorinated Iridium SABRE catalyst in a fluorinated solvent and methanol blend facilitated this breakthrough with a 1.2-fold increase in [1-13C]pyruvate SABRE hyperpolarization. The perfluorinated moiety allowed easy separation of the heavy-metal-containing catalyst from the hyperpolarized [1-13C]pyruvate target. The perfluorinated catalyst exhibited recyclability, maintaining SABRE-SHEATH activity through subsequent hyperpolarization cycles with minimal activity loss after the initial two cycles. Remarkably, the catalyst retained activity for at least 10 cycles, with a 3.3-fold decrease in hyperpolarization potency. This proof-of-concept study encourages wider adoption of SABRE hyperpolarized [1-13C]pyruvate MR for studying in vivo metabolism, aiding in diagnosing stages and monitoring treatment responses in cancer and other diseases.
Structured versus Decorated Cospans
Creators: name: Baez, John C.
name: Courser, Kenny
name: Vasilakopoulou, Christina
Publisher: name: arXiv
Year: 2021
Subjects: subject: Category Theory (math.CT)
subject: FOS: Mathematics

description: One goal of applied category theory is to understand open systems. We compare two ways of describing open systems as cospans equipped with extra data. First, given a functor $L \colon \mathsf{A} \to \mathsf{X}$, a "structured cospan" is a diagram in $\mathsf{X}$ of the form $L(a) \rightarrow x \leftarrow L(b)$. If $\mathsf{A}$ and $\mathsf{X}$ have finite colimits and $L$ preserves them, it is known that there is a symmetric monoidal double category whose objects are those of $\mathsf{A}$ and whose horizontal 1-cells are structured cospans. Second, given a pseudofunctor $F \colon \mathsf{A} \to \mathbf{Cat}$, a "decorated cospan" is a diagram in $\mathsf{A}$ of the form $a \rightarrow m \leftarrow b$ together with an object of $F(m)$. Generalizing the work of Fong, we show that if $\mathsf{A}$ has finite colimits and $F \colon (\mathsf{A},+) \to (\mathsf{Cat},\times)$ is symmetric lax monoidal, there is a symmetric monoidal double category whose objects are those of $\mathsf{A}$ and whose horizontal 1-cells are decorated cospans. We prove that under certain conditions, these two constructions become isomorphic when we take $\mathsf{X} = \int F$ to be the Grothendieck category of $F$. We illustrate these ideas with applications to electrical circuits, Petri nets, dynamical systems and epidemiological modeling.
description: 39 pages, version for Compositionality
Exploring the Relationship Between Motor Imagery, Action Observation, and Action Execution in Motor Skill Learning
Creators: name: D'Aquino, Alessio
name: Frank, Cornelia
name: Essig, Kai
name: Schack, Thomas
Publisher: name: SAGA - International Workshop on Solutions for Automatic Gaze Data Analysis : Proceedings
Year: 2015

description: --- Paper withdrawn ---
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
Into the wild - Musical communication in ensemble playing. Discerning mutual and solitary gaze events in musical duos using mobile eye-tracking
Creators: name: Vandemoortele, Sarah
name: De Beugher, Stijn
name: Brône, Geert
name: Feyaerts, Kurt
name: Goedemé, Toon
name: De Baets, Thomas
name: Vervliet, Stijn
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
$\textit{Ab initio}$ and group theoretical study of properties of the $\text{C}_\text{2}\text{C}_\text{N}$ carbon trimer defect in h-BN
Creators: name: Golami, Omid
name: Sharman, Kenneth
name: Ghobadi, Roohollah
name: Wein, Stephen C.
name: Zadeh-Haghighi, Hadi
name: da Rocha, Claudia Gomes
name: Salahub, Dennis R.
name: Simon, Christoph
Publisher: name: arXiv
Year: 2021
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Hexagonal boron nitride (h-BN) is a promising platform for quantum information processing due to its potential to host optically active defects with attractive optical and spin properties. Recent studies suggest that carbon trimers might be the defect responsible for single-photon emission in the visible spectral range in h-BN. In this theoretical study, we combine group theory together with density functional theory (DFT) calculations to predict the properties of the neutral $\text{C}_\text{2}\text{C}_\text{N}$ carbon trimer defect. We find the multi-electron states of this defect along with possible radiative and non-radiative transitions assisted by the spin-orbit and the spin-spin interactions. We also investigate the Hamiltonian for external magnetic field and ground-state hyperfine interactions. Lastly, we use the results of our investigation in a Lindblad master equation model to predict an optically detected magnetic resonance (ODMR) signal and the $g^2(τ)$ correlation function. Our findings can have important outcomes in quantum information applications such as quantum repeaters used in quantum networks and quantum sensing.
description: 18 pages, 12 figures, 7 tables
Mining engineering education and research for sustainable mining : Canadian and Australian perspectives
Creators: name: Scoble, Malcolm James
name: Laurence, David C.
Publisher: name: The University of British Columbia
Year: 2015

description: This paper characterizes the nature of mining and its mining engineering support. It then reviews the concept of sustainable mining that is emerging within the mining industry, referring to some milestones and case studies. The educational and research implications of the quest for sustainable mining are then analyzed from the perspective of mining engineering academics from Canadian and Australian Universities. A review is presented of some of the education and research initiatives by mining schools that are responding to the context of sustainable development within mining. The paper concludes by considering the implications of globalization and the need for contributions from established mining schools to build capacity within education and research institutions in the developing world.
The impact of image size on eye movement parameters
Creators: name: Ramos Gameiro, Ricardo
name: Kaspar, Kai
name: Nordholt, Sontje
name: König, Peter
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
Depth lower bounds in Stabbing Planes for combinatorial principles
Creators: name: Dantchev, Stefan
name: Galesi, Nicola
name: Ghani, Abdul
name: Martin, Barnaby
Publisher: name: arXiv
Year: 2021
Subjects: subject: Computational Complexity (cs.CC)
subject: FOS: Computer and information sciences

description: Stabbing Planes (also known as Branch and Cut) is a proof system introduced very recently which, informally speaking, extends the DPLL method by branching on integer linear inequalities instead of single variables. The techniques known so far to prove size and depth lower bounds for Stabbing Planes are generalizations of those used for the Cutting Planes proof system. For size lower bounds these are established by monotone circuit arguments, while for depth these are found via communication complexity and protection. As such these bounds apply for lifted versions of combinatorial statements. Rank lower bounds for Cutting Planes are also obtained by geometric arguments called protection lemmas.
 In this work we introduce two new geometric approaches to prove size/depth lower bounds in Stabbing Planes working for any formula: (1) the antichain method, relying on Sperner's Theorem and (2) the covering method which uses results on essential coverings of the boolean cube by linear polynomials, which in turn relies on Alon's combinatorial Nullenstellensatz.
 We demonstrate their use on classes of combinatorial principles such as the Pigeonhole principle, the Tseitin contradictions and the Linear Ordering Principle. By the first method we prove almost linear size lower bounds and optimal logarithmic depth lower bounds for the Pigeonhole principle and analogous lower bounds for the Tseitin contradictions over the complete graph and for the Linear Ordering Principle. By the covering method we obtain a superlinear size lower bound and a logarithmic depth lower bound for Stabbing Planes proof of Tseitin contradictions over a grid graph.
A new class of bilayer kagome lattice compounds with Dirac nodal lines and pressure-induced superconductivity
Creators: name: Shi, Mengzhu
name: Yu, Fanghang
name: Yang, Ye
name: Meng, Fanbao
name: Lei, Bin
name: Luo, Yang
name: Sun, Zhe
name: He, Junfeng
name: Wang, Rui
name: Wu, Tao
name: Wang, Zhenyu
name: Xiang, Ziji
name: Ying, Jianjun
name: Chen, Xianhui
Publisher: name: arXiv
Year: 2021
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: Superconductivity (cond-mat.supr-con)
subject: FOS: Physical sciences

description: Kagome lattice composed of transition-metal ions provides a great opportunity to explore the intertwining between geometry, electronic orders and band topology. The discovery of multiple competing orders that connect intimately with the underlying topological band structure in nonmagnetic kagome metals $A$V$_3$Sb$_5$ ($A$ = K, Rb, Cs) further pushes this topic to the quantum frontier. Here we report the discovery and characterization of a new class of vanadium-based compounds with kagome bilayers, namely $A$V$_6$Sb$_6$ ($A$ = K, Rb, Cs) and V$_6$Sb$_4$, which, together with $A$V$_3$Sb$_5$, compose a series of kagome compounds with a generic chemical formula ($A_{m-1}$Sb$_{2m}$)(V$_3$Sb)$_n$ (m = 1, 2; n = 1, 2). Theoretical calculations combined with angle-resolved photoemission measurements reveal that these compounds feature Dirac nodal lines in close vicinity to the Fermi level. Pressure-induced superconductivity in $A$V$_6$Sb$_6$ further suggests promising emergent phenomena in these materials. The establishment of a new family of layered kagome materials paves the way for designer of fascinating kagome systems with diverse topological nontrivialities and collective ground states.
description: 16 pages, 4 figures
Twin-width and permutations
Creators: name: Bonnet, Édouard
name: Nešetřil, Jaroslav
name: de Mendez, Patrice Ossona
name: Siebertz, Sebastian
name: Thomassé, Stéphan
Publisher: name: arXiv
Year: 2021
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Discrete Mathematics (cs.DM)
subject: Combinatorics (math.CO)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics

description: Inspired by a width invariant on permutations defined by Guillemot and Marx, Bonnet, Kim, Thomassé, and Watrigant introduced the twin-width of graphs, which is a parameter describing its structural complexity. This invariant has been further extended to binary structures, in several (basically equivalent) ways. We prove that a class of binary relational structures (that is: edge-colored partially directed graphs) has bounded twin-width if and only if it is a first-order transduction of a~proper permutation class. As a by-product, we show that every class with bounded twin-width contains at most $2^{O(n)}$ pairwise non-isomorphic $n$-vertex graphs.
Spatial imaging of a novel type of molecular ions
Creators: name: Zuber, N.
name: Anasuri, V. S. V.
name: Berngruber, M.
name: Zou, Y. -Q.
name: Meinert, F.
name: Löw, R.
name: Pfau, T.
Publisher: name: arXiv
Year: 2021
Subjects: subject: Atomic Physics (physics.atom-ph)
subject: FOS: Physical sciences

description: Atoms with a highly excited electron, called Rydberg atoms, can form unusual types of molecular bonds. The bond differs from the well known ionic and covalent bonds not only by its binding mechanism, but also by its bond length ranging up to several micrometres. Here, we observe a new type of molecular ion based on the interaction between the ionic charge and a flipping induced dipole of a Rydberg atom with a bond length of several micrometres. We measure the vibrational spectrum and spatially resolve the bond length and the angular alignment of the molecule using a high-resolution ion microscope. As a consequence of the large bond length, the molecular dynamics is extremely slow. These results pave the way for future studies of spatio-temporal effects in molecular dynamics, e.g., beyond Born-Oppenheimer physics.
The fundamentals and practice of essentials of application engineering concept (1)
Creators: name: Pitis, Constantin
Publisher: name: The University of British Columbia
Year: 2015

description: Engineering is nothing more than planning based on knowledge instead of guesswork. In this sense everyone in design, service, maintenance, and technical sales work is his own engineer, every day. Paper presents Fundamentals of a new Concept of Five-Essentials-of-Application-Engineering (5EAE), enabling future consultants, designers, manufacturers, and end-users to consistently design and evaluate new projects or retrofits of power converters (PC) and/or industrial system drives (ISD). Paper will be focused at the component level of electro-mechanical PCs and ISDs. Another paper deals with 5EAE at the system level. Many times consultants, designers or end-users fail to “understand the conditions of motor use”. As a result, motors not performing efficiently or even failing inducing financial OPEX losses. One of the reasons could be that proposed 5EAE concept not being taught at tertiary education level. In motor case, proper application of 5EAE requires strong technical background complemented by broader knowledge in collateral fields. This is reflected by fundamentals largely presented in the paper. When selecting a motor for specific application the following 5EAE must be taken in consideration: 1) Matching the application conditions; 2) Matching the power supply conditions; 3) Matching the environmental conditions; 4) Matching the reliability conditions; and 5) Matching the business sustainability conditions. Use of 5EAE reflects a 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. The objective of the 5EAE concept is to minimize power losses and environment impact, maximizing global efficiency and incorporating reliability indicators as a step forward in design methodology. Besides these, 5EAE produces several collateral benefits: A) An increased technical and economic performance of processes; B) The defusing of incipient energy and economic crisis; C) An improvement of environmental conditions; D) The creation of jobs in industries. The concept has already been successful applied in designing (manufacturing) various types of PCs and has created new basis–of-design for ISDs in various industries in South Africa. Proposed concept is an ideal method to prepare practicing engineering graduates for the global economy. This approach fosters individuals with a deep technical understanding coupled with broader knowledge in the fundamentals of engineering design, innovation, business, and leadership. Consequently, 5EAE can be used as model for improving a company’s corporate policies and/or utilities, government energy policies. Similarly, 5EAE concept could be applied at industrial systems and processes (IS&P) levels or extended to other fields of activities.
СТРАТЕГИИ ОБЕСПЕЧЕНИЯ ЭКОНОМИЧЕСКОЙ УСТОЙЧИВОСТИ СИСТЕМЫ ЗДРАВООХРАНЕНИЯ В УСЛОВИЯХ ЦИФРОВОЙ ЭКОНОМИКИ
Creators: name: Ибраимов, Куралбай
Publisher: name: Zenodo
Year: 2025

description: Цифровизация здравоохранения становится важным инструментом для повышения качества, доступности и эффективности медицинских услуг. В статье рассматриваются ключевые аспекты цифровой трансформации в здравоохранении, включая внедрение искусственного интеллекта, телемедицины и аналитики данных. Оцениваются перспективы развития этих технологий, а также риски и препятствия, связанные с их внедрением. Приводятся примеры успешных стратегий из международной практики, подчеркивающие важность интеграции инноваций в медицинские системы. Также обсуждаются меры, направленные на улучшение экономической устойчивости здравоохранения в условиях цифровой экономики.
Beyond Dunbar circles: a continuous description of social relationships and resource allocation
Creators: name: Tamarit, Ignacio
name: Sánchez, Angel
name: Cuesta, José A.
Publisher: name: arXiv
Year: 2021
Subjects: subject: Physics and Society (physics.soc-ph)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: We discuss the structure of human relationship patterns in terms of a new formalism that allows to study resource allocation problems where the cost of the resource may take continuous values. This is in contrast with the main focus of previous studies where relationships were classified in a few, discrete layers (known as Dunbar's circles) with the cost being the same within each layer. We show that with our continuum approach we can identify a parameter $η$ that is the equivalent of the ratio of relationships between adjacent circles in the discrete case, with a value $η\sim 6$. We confirm this prediction using three different datasets coming from phone records, face-to-face contacts, and interactions in Facebook. As the sample size increases, the distributions of estimated parameters smooth around the predicted value of $η$. The existence of a characteristic value of the parameter at the population level indicates that the model is capturing a seemingly universal feature on how humans manage relationships. Our analyses also confirm earlier results showing the existence of social signatures arising from having to allocate finite resources into different relationships, and that the structure of online personal networks mirrors those in the off-line world.
description: 12 pages; 5 figures; uses wlscirep.cls, jabbrv.sty, jabbrv-ltwa-all.ldf, and jabbrv-ltwa-ebn.ldf (included); includes a 7 pages pdf file with Supplementary Information
Foreword. Proceedings of the Workshop on Architectures and Standards for Intelligent Virtual Agents at IVA 2014
Creators: name: Cafaro, Angelo
name: Hartholt, Arno
name: Van Welbergen, Herwin
Publisher: name: Workshop on Architectures and Standards for IVAs, held at the "14th International Conference on Intelligent Virtual Agents (IVA 2014)" : Proceedings
Year: 2014

description: Workshop on Architectures and Standards for IVAs, held at the "14th International Conference on Intelligent Virtual Agents (IVA 2014)" : Proceedings, Workshop on Architectures and Standards for IVAs, held at the "14th International Conference on Intelligent Virtual Agents (IVA 2014)",  Boston, USA, August 26
Mujeres y cuerpos feminizados frente al agroextractivismo en México y Colombia
Creators: name: Cortés, Eduardo
name: Ramos, Claudia
name: Veloza, Patricia
Publisher: name: Centro Interdisciplinario de Estudios Latinoamericanos (ILZ)
Year: 2023
Subjects: subject: Agroextractivismo
subject: mujeres y trabajo
subject: feminismos del sur
subject: soberanía alimentaria
subject: monocultivos
subject: agronegocios
subject: Agro-extractivism
subject: women and work
subject: southern feminisms
subject: food sovereignty
subject: monocultures
subject: agribusiness
subject: ddc:300

description: El presente artículo expone los impactos que ejerce el modelo agroextractivo sobre mujeres, cuerpos feminizados y sus territorios, usando como referencia tres tipos de monocultivos en México y Colombia. Metodológicamente este trabajo se posiciona desde el paradigma constructivista, con un abordaje interpretativo y cualitativo. Nos hemos cobijado en la Investigación Acción Participativa, revisión bibliográfica y citas de entrevistas propias de ejercicios etnográficos previos. El artículo se divide en dos secciones. La primera, aborda teóricamente las nociones de territorio-cuerpo-tierra, las manifestaciones del agroextractivismo y la relación que tienen éstos con los feminismos desarrollados desde una perspectiva latinoamericana. En la segunda sección, se exponen los tres casos de estudio: en Chiapas-México, los monocultivos de palma aceitera, en Madrid y Guasca-Colombia, los monocultivos de flores y de arándano. Finalmente, se enuncian algunos elementos emergentes en relación con las resistencias y luchas frente a este modelo agroexportador, junto con algunas conclusiones.
description: Women and feminized bodies facing agro-extractivism in Mexico and Colombia
 This article uses three types of monocultures in Mexico and Colombia as a reference to the impact of the agro-extractive model on women, feminized bodies, and their territories. Methodologically, this work is positioned from the constructivist paradigm with an interpretive and qualitative approach. In the Participatory Action Research-IAP, we have used bibliographic review and quotes from interviews of previous ethnographic exercises. The article is divided into two sections. The first deals theoretically with the notions of territory-body-land, the manifestations of agro-extractivism, and the relationship they have with feminisms developed from a Latin American perspective. In the second section, the three case studies are exposed: in Chiapas-Mexico, oil palm monocultures, and in Madrid and Guasca-Colombia, flower, and blueberry monocultures, respectively. Finally, some emerging elements are enunciated in relation to the resistance and struggles against this agro-export model, together with some conclusions.
UTEP's AGENT Architecture
Creators: name: Gris, Iván
name: Novick, David
name: Rivera, Diego A.
name: Gutiérrez, Mario
Publisher: name: Workshop on Architectures and Standards for IVAs, held at the "14th International Conference on Intelligent Virtual Agents (IVA 2014)" : Proceedings
Year: 2014

description: Workshop on Architectures and Standards for IVAs, held at the "14th International Conference on Intelligent Virtual Agents (IVA 2014)" : Proceedings, Workshop on Architectures and Standards for IVAs, held at the "14th International Conference on Intelligent Virtual Agents (IVA 2014)",  Boston, USA, August 26
Completeness of the ZH-calculus
Creators: name: Backens, Miriam
name: Kissinger, Aleks
name: Miller-Bakewell, Hector
name: van de Wetering, John
name: Wolffs, Sal
Publisher: name: arXiv
Year: 2021
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: There are various gate sets used for describing quantum computation. A particularly popular one consists of Clifford gates and arbitrary single-qubit phase gates. Computations in this gate set can be elegantly described by the ZX-calculus, a graphical language for a class of string diagrams describing linear maps between qubits. The ZX-calculus has proven useful in a variety of areas of quantum information, but is less suitable for reasoning about operations outside its natural gate set such as multi-linear Boolean operations like the Toffoli gate. In this paper we study the ZH-calculus, an alternative graphical language of string diagrams that does allow straightforward encoding of Toffoli gates and other more complicated Boolean logic circuits. We find a set of simple rewrite rules for this calculus and show it is complete with respect to matrices over $\mathbb{Z}[\frac12]$, which correspond to the approximately universal Toffoli+Hadamard gateset. Furthermore, we construct an extended version of the ZH-calculus that is complete with respect to matrices over any ring $R$ where $1+1$ is not a zero-divisor.
description: 68 pages, many many diagrams
A Shared, Modular Architecture for Developing Virtual Humans
Creators: name: Hartholt, Arno
name: Traum, David
name: Marsella, Stacy
name: Morency, Louis-Philippe
name: Shapiro, Ari
name: Gratch, Jonathan
Publisher: name: Workshop on Architectures and Standards for IVAs, held at the "14th International Conference on Intelligent Virtual Agents (IVA 2014)" : Proceedings
Year: 2014

description: Workshop on Architectures and Standards for IVAs, held at the "14th International Conference on Intelligent Virtual Agents (IVA 2014)" : Proceedings, Workshop on Architectures and Standards for IVAs, held at the "14th International Conference on Intelligent Virtual Agents (IVA 2014)",  Boston, USA, August 26
Nonreciprocal single-photon band structure
Creators: name: Tang, Jiangshan
name: Nie, Wei
name: Tang, Lei
name: Chen, Mingyuan
name: Su, Xin
name: Lu, Yanqing
name: Nori, Franco
name: Xia, Keyu
Publisher: name: arXiv
Year: 2021
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We study single-photon band structure in a one-dimensional (1D) coupled-resonator optical waveguide (CROW) which chirally couples to an array of two-level quantum emitters (QEs). The chiral interaction between the resonator mode and the QE can break the time-reversal symmetry without the magneto-optical effect. As a result, a nonreciprocal single-photon edge state, band gap and flat band appear. By using such a chiral QE-CROW system, including a finite number of unit cells and working in the nonreciprocal band gap, we achieve frequency-multiplex single-photon circulators with high fidelity and low insertion loss. The chiral QE-light interaction can also protect one-way propagation of single photons against backscattering. Our work opens a new door for studying nonreciprocal photonic band structure and exploring its applications in the quantum regime.
Developing systems thinking for sustainable development in engineering education
Creators: name: Claesson, A. Nyström
name: Svanström, M.
Publisher: name: The University of British Columbia
Year: 2015

description: Present and future generations of engineering students are facing very different challenges than what engineering students did some 20-30 years back. The ability to appreciate the whole and assess complexity are abilities that become more and more urgent, in order to manage climate change, increased levels of chemicals in society, conversion of the energy system, food and water supply and many other challenges. To be able to act in a relevant way, students need to develop skills such as systems thinking to be able to assess complex systems. Systems thinking has been described as the ability to identify parts, causalities, flows and feedback loops. Systems thinking is likely a skill that engineering students develop to a varying degree during their university education, especially with regard to complex sustainability systems. In order to be able to improve engineering education in relation to systems thinking, it is important to understand what systems thinking is about and how systems thinking may be developed during the education. The overall aim of the study is to report on the first part of a study investigating how engineering students from two different programs develop systems thinking for sustainable development during their Bachelor education. In this part of the study, freshmen students (year 1) have been interviewed. The particular aim of this paper is to describe freshmen systems thinking before engaging in a university course on sustainable development. Group interviews were recorded and analysed for the students understanding and use of systems thinking. Students in both groups show evidence of systems thinking but it is intuitive rather that conscious and they lack a language to communicate about it. However, in one group the students together manage to describe complex systems.
Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata
Creators: name: Bojańczyk, Mikołaj
name: Fijalkow, Joanna
name: Klin, Bartek
name: Moerman, Joshua
Publisher: name: arXiv
Year: 2021
Subjects: subject: Formal Languages and Automata Theory (cs.FL)
subject: FOS: Computer and information sciences
subject: F.1.1; F.4.3

description: We develop a theory of vector spaces spanned by orbit-finite sets. Using this theory, we give a decision procedure for equivalence of weighted register automata, which are the common generalization of weighted automata and register automata for infinite alphabets. The algorithm runs in exponential time, and in polynomial time for a fixed number of registers. As a special case, we can decide, with the same complexity, language equivalence for unambiguous register automata, which improves previous results in three ways: (a) we allow for order comparisons on atoms, and not just equality; (b) the complexity is exponentially better; and (c) we allow automata with guessing.
description: Journal Version for TheoretiCS
Analysis of Early Science observations with the CHaracterising ExOPlanets Satellite (CHEOPS) using pycheops
Creators: name: Maxted, P. F. L.
name: Ehrenreich, D.
name: Wilson, T. G.
name: Alibert, Y.
name: Cameron, A. Collier
name: Hoyer, S.
name: Sousa, S. G.
name: Olofsson, G.
name: Bekkelien, A.
name: Deline, A.
name: Delrez, L.
name: Bonfanti, A.
name: Borsato, L.
name: Alonso, R.
name: Escudé, G. Anglada
name: Barrado, D.
name: Barros, S. C. C.
name: Baumjohann, W.
name: Beck, M.
name: Beck, T.
name: Benz, W.
name: Billot, N.
name: Biondi, F.
name: Bonfils, X.
name: Brandeker, A.
name: Broeg, C.
name: Bárczy, T.
name: Cabrera, J.
name: Charnoz, S.
name: Van Damme, C. Corral
name: Csizmadia, Sz.
name: Davies, M. B.
name: Deleuil, M.
name: Demangeon, O. D. S.
name: Demory, B. -O.
name: Erikson, A.
name: Florén, H. G.
name: Fortier, A.
name: Fossati, L.
name: Fridlund, M.
name: Futyan, D.
name: Gandolfi, D.
name: Gillon, M.
name: Guedel, M.
name: Guterman, P.
name: Heng, K.
name: Isaak, K. G.
name: Kiss, L.
name: Laskar, J.
name: Etangs, A. Lecavelier des
name: Lendl, M.
name: Lovis, C.
name: Magrin, D.
name: Nascimbeni, V.
name: Ottensamer, R.
name: Pagano, I.
name: Pallé, E.
name: Peter, G.
name: Piotto, G.
name: Pollacco, D.
name: Pozuelos, F. J.
name: Queloz, D.
name: Ragazzoni, R.
name: Rando, N.
name: Rauer, H.
name: Reimers, C.
name: Ribas, I.
name: Salmon, S.
name: Santos, N. C.
name: Scandariato, G.
name: Simon, A. E.
name: Smith, A. M. S.
name: Steller, M.
name: Swayne, M. I.
name: Szabó, Gy. M.
name: Ségransan, D.
name: Thomas, N.
name: Udry, S.
name: Van Grootel, V.
name: Walton, N. A.
Publisher: name: arXiv
Year: 2021
Subjects: subject: Earth and Planetary Astrophysics (astro-ph.EP)
subject: Instrumentation and Methods for Astrophysics (astro-ph.IM)
subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: CHEOPS(CHaracterising ExOPlanet Satellite) is an ESA S-class mission that observes bright stars at high cadence from low-Earth orbit. The main aim of the mission is to characterize exoplanets that transit nearby stars using ultrahigh precision photometry. Here we report the analysis of transits observed by CHEOPS during its Early Science observing programme for four well-known exoplanets: GJ436b, HD106315b, HD97658b and GJ1132b. The analysis is done using pycheops, an open-source software package we have developed to easily and efficiently analyse CHEOPS light curve data using state-of-the-art techniques that are fully described herein. We show that the precision of the transit parameters measured using CHEOPS is comparable to that from larger space telescopes such as Spitzer Space Telescope and Kepler. We use the updated planet parameters from our analysis to derive new constraints on the internal structure of these four exoplanets.
description: This is a pre-copyedited, author-produced PDF of an article accepted for publication in Monthly Notices of the Royal Astronomical Society following peer review
Coherence for adjunctions in a $3$-category via string diagrams
Creators: name: Araújo, Manuel
Publisher: name: arXiv
Year: 2021
Subjects: subject: Category Theory (math.CT)
subject: Algebraic Topology (math.AT)
subject: Quantum Algebra (math.QA)
subject: FOS: Mathematics

description: We define a coherent adjunction in a strict $3$-category and we use string diagrams to show that any adjunction can be extended to a coherent adjunction in an essentially unique way.
Inapproximability of Unique Games in Fixed-Point Logic with Counting
Creators: name: Tucker-Foltz, Jamie
Publisher: name: arXiv
Year: 2021
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: We study the extent to which it is possible to approximate the optimal value of a Unique Games instance in Fixed-Point Logic with Counting (FPC). Formally, we prove lower bounds against the accuracy of FPC-interpretations that map Unique Games instances (encoded as relational structures) to rational numbers giving the approximate fraction of constraints that can be satisfied. We prove two new FPC-inexpressibility results for Unique Games: the existence of a $(1/2, 1/3 + δ)$-inapproximability gap, and inapproximability to within any constant factor. Previous recent work has established similar FPC-inapproximability results for a small handful of other problems. Our construction builds upon some of these ideas, but contains a novel technique. While most FPC-inexpressibility results are based on variants of the CFI-construction, ours is significantly different. We start with a graph of very large girth and label the edges with random affine vector spaces over $\mathbb{F}_2$ that determine the constraints in the two structures. Duplicator's strategy involves maintaining a partial isomorphism over a minimal tree that spans the pebbled vertices of the graph.
description: arXiv admin note: text overlap with arXiv:2008.03115
Single-pass Object-adaptive Data Undersampling and Reconstruction for MRI
Creators: name: Huang, Zhishen
name: Ravishankar, Saiprasad
Publisher: name: arXiv
Year: 2021
Subjects: subject: Image and Video Processing (eess.IV)
subject: Computer Vision and Pattern Recognition (cs.CV)
subject: Machine Learning (cs.LG)
subject: Medical Physics (physics.med-ph)
subject: FOS: Electrical engineering, electronic engineering, information engineering
subject: FOS: Computer and information sciences
subject: FOS: Physical sciences

description: There is much recent interest in techniques to accelerate the data acquisition process in MRI by acquiring limited measurements. Often sophisticated reconstruction algorithms are deployed to maintain high image quality in such settings. In this work, we propose a data-driven sampler using a convolutional neural network, MNet, to provide object-specific sampling patterns adaptive to each scanned object. The network observes very limited low-frequency k-space data for each object and rapidly predicts the desired undersampling pattern in one go that achieves high image reconstruction quality. We propose an accompanying alternating-type training framework with a mask-backward procedure that efficiently generates training labels for the sampler network and jointly trains an image reconstruction network. Experimental results on the fastMRI knee dataset demonstrate the ability of the proposed learned undersampling network to generate object-specific masks at fourfold and eightfold acceleration that achieve superior image reconstruction performance than several existing schemes. The source code for the proposed joint sampling and reconstruction learning framework is available at https://github.com/zhishenhuang/mri.
Suggestions for Extending SAIBA with the VIB Platform
Creators: name: Pecune, Florian
name: Cafaro, Angelo
name: Chollet, Mathieu
name: Philippe, Pierre
name: Pelachaud, Catherine
Publisher: name: Workshop on Architectures and Standards for IVAs, held at the "14th International Conference on Intelligent Virtual Agents (IVA 2014)" : Proceedings
Year: 2014

description: Workshop on Architectures and Standards for IVAs, held at the "14th International Conference on Intelligent Virtual Agents (IVA 2014)" : Proceedings, Workshop on Architectures and Standards for IVAs, held at the "14th International Conference on Intelligent Virtual Agents (IVA 2014)",  Boston, USA, August 26
Unifying the Three Algebraic Approaches to the CSP via Minimal Taylor Algebras
Creators: name: Barto, Libor
name: Brady, Zarathustra
name: Bulatov, Andrei
name: Kozik, Marcin
name: Zhuk, Dmitriy
Publisher: name: arXiv
Year: 2021
Subjects: subject: Computational Complexity (cs.CC)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: This paper focuses on the algebraic theory underlying the study of the complexity and the algorithms for the Constraint Satisfaction Problem (CSP). We unify, simplify, and extend parts of the three approaches that have been developed to study the CSP over finite templates -- absorption theory that was used to characterize CSPs solvable by local consistency methods (JACM'14), and Bulatov's and Zhuk's theories that were used for two independent proofs of the CSP Dichotomy Theorem (FOCS'17, JACM'20).
 As the first contribution we present an elementary theorem about primitive positive definability and use it to obtain the starting points of Bulatov's and Zhuk's proofs as corollaries. As the second contribution we propose and initiate a systematic study of minimal Taylor algebras. This class of algebras is broad enough that it suffices to verify the CSP Dichotomy Theorem on this class only, but still is unusually well behaved. In particular, many concepts from the three approaches coincide in this class, which is in striking contrast with the general setting.
 We believe that the theory initiated in this paper will eventually result in a simple and more natural proof of the Dichotomy Theorem that employs a simpler and more efficient algorithm, and will help in attacking complexity questions in other CSP-related problems.
Supplementary document for Spatio-temporal doubly periodic waves in phase-mismatched second-harmonic generation - 6094077.pdf
Creators: name: Deng, Zhixiang
name: Zhang, Jin
name: Fan, Dianyuan
name: ZHANG, LIFU
Publisher: name: Optica Publishing Group
Year: 2025
Subjects: Uncategorized

description: 1. Transformation of the quadratic nonlinear system into the cubic nonlinear system in the regime of cascading limit;2. Doubly-periodic waves from the cubic nonlinearity
From Thalamus to Skene: High-level behaviour planning and managing for mixed-reality characters
Creators: name: Ribeiro, Tiago
name: Pereira, André
name: Di Tullio, Eugenio
name: Alves-Oliveira, Patricia
name: Paiva, Ana
Publisher: name: Workshop on Architectures and Standards for IVAs, held at the "14th International Conference on Intelligent Virtual Agents (IVA 2014)" : Proceedings
Year: 2014

description: Workshop on Architectures and Standards for IVAs, held at the "14th International Conference on Intelligent Virtual Agents (IVA 2014)" : Proceedings, Workshop on Architectures and Standards for IVAs, held at the "14th International Conference on Intelligent Virtual Agents (IVA 2014)",  Boston, USA, August 26
Quantum Information Scrambling: From Holography to Quantum Simulators
Creators: name: Bhattacharyya, Arpan
name: Joshi, Lata Kh
name: Sundar, Bhuvanesh
Publisher: name: arXiv
Year: 2021
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: In this review, we present the ongoing developments in bridging the gap between holography and experiments. To this end, we discuss information scrambling and models of quantum teleportation via Gao-Jafferis-Wall wormhole teleportation. We review the essential basics and summarize some of the recent works that have so far been obtained in quantum simulators towards a goal of realizing analogous models of holography in a lab.
description: 30 pages plus references. Review submitted for a special EPJC volume "Frontiers in Holographic Duality". v2: Accepted version
We Never Stop Behaving: The Challenge of Specifying and Integrating Continuous Behavior
Creators: name: Vilhjalmsson, Hannes Högni
name: Björgvinsson, Elias Ingi
name: Helgadottir, Hafdis Erla
name: Oafsson, Stefan
Publisher: name: Workshop on Architectures and Standards for IVAs, held at the "14th International Conference on Intelligent Virtual Agents (IVA 2014)" : Proceedings
Year: 2014

description: Workshop on Architectures and Standards for IVAs, held at the "14th International Conference on Intelligent Virtual Agents (IVA 2014)" : Proceedings, Workshop on Architectures and Standards for IVAs, held at the "14th International Conference on Intelligent Virtual Agents (IVA 2014)",  Boston, USA, August 26
Enhanced monitoring of atmospheric methane from space over the Permian basin with hierarchical Bayesian inference
Creators: name: Roberts, Clayton
name: Shorttle, Oliver
name: Mandel, Kaisey
name: Jones, Matthew
name: Ijzermans, Rutger
name: Hirst, Bill
name: Jonathan, Philip
Publisher: name: arXiv
Year: 2021
Subjects: subject: Atmospheric and Oceanic Physics (physics.ao-ph)
subject: Geophysics (physics.geo-ph)
subject: Applications (stat.AP)
subject: FOS: Physical sciences
subject: FOS: Computer and information sciences

description: Methane is a strong greenhouse gas, with a higher radiative forcing per unit mass and shorter atmospheric lifetime than carbon dioxide. The remote sensing of methane in regions of industrial activity is a key step toward the accurate monitoring of emissions that drive climate change. Whilst the TROPOspheric Monitoring Instrument (TROPOMI) on board the Sentinal-5P satellite is capable of providing daily global measurement of methane columns, data are often compromised by cloud cover. Here, we develop a statistical model which uses nitrogen dioxide concentration data from TROPOMI to efficiently predict values of methane columns, expanding the average daily spatial coverage of observations of the Permian basin from 16% to 88% in the year 2019. The addition of predicted methane abundances at locations where direct observations are not available will support inversion methods for estimating methane emission rates at shorter timescales than is currently possible.
description: 25 pages, 10 figures. Accepted at Environmental Research Letters
Toposes of Topological Monoid Actions
Creators: name: Rogers, Morgan
Publisher: name: arXiv
Year: 2021
Subjects: subject: Category Theory (math.CT)
subject: Rings and Algebras (math.RA)
subject: FOS: Mathematics
subject: 20M30, 22A25, 18F10

description: We demonstrate that categories of continuous actions of topological monoids on discrete spaces are Grothendieck toposes. We exhibit properties of these toposes, giving a solution to the corresponding Morita-equivalence problem. We characterize these toposes in terms of their canonical points. We identify natural classes of representatives with good topological properties, `powder monoids' and then `complete monoids', for the Morita-equivalence classes of topological monoids. Finally, we show that the construction of these toposes can be made (2-)functorial by considering geometric morphisms induced by continuous semigroup homomorphisms.
description: 58 pages. Final version appearing in Compositionality. Project under the INdAM Doctoral Programme in Mathematics and/or Applications Cofunded by Marie Sklodowska-Curie Actions, INdAM-DP-COFUND-2015, grant number 713485
Architectures and Standards for IVAs at the Social Cognitive Systems Group
Creators: name: Van Welbergen, Herwin
name: Bergmann, Kirsten
name: Buschmeier, Hendrik
name: Kahl, Sebastian
name: De Kok, Iwan
name: Sadeghipour, Amir
name: Yaghoubzadeh, Ramin
name: Kopp, Stefan
Publisher: name: Workshop on Architectures and Standards for IVAs, held at the "14th International Conference on Intelligent Virtual Agents (IVA 2014)" : Proceedings
Year: 2014

description: Workshop on Architectures and Standards for IVAs, held at the "14th International Conference on Intelligent Virtual Agents (IVA 2014)" : Proceedings, Workshop on Architectures and Standards for IVAs, held at the "14th International Conference on Intelligent Virtual Agents (IVA 2014)",  Boston, USA, August 26