cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Towards Secure Virtual Elections: Multiparty Computation of Order Based Voting Rules
Creators: name: Tassa, Tamir
name: Dery, Lihi
Publisher: name: arXiv
Year: 2022
Subjects: subject: Cryptography and Security (cs.CR)
subject: FOS: Computer and information sciences

description: Electronic voting systems are essential for holding virtual elections, and the need for such systems increases due to the COVID-19 pandemic and the social distancing that it mandates. One of the main challenges in e-voting systems is to secure the voting process: namely, to certify that the computed results are consistent with the cast ballots, and that the privacy of the voters is preserved. We propose herein a secure voting protocol for elections that are governed by order-based voting rules. Our protocol offers perfect ballot secrecy, in the sense that it issues only the required output, while no other information on the cast ballots is revealed. Such perfect secrecy, which is achieved by employing secure multiparty computation tools, may increase the voters' confidence and, consequently, encourage them to vote according to their true preferences. Evaluation of the protocol's computational costs establishes that it is lightweight and can be readily implemented in real-life electronic elections.
Beyond universality in repulsive SU(N) Fermi gases
Creators: name: Pera, Jordi
name: Casulleras, Joaquim
name: Boronat, Jordi
Publisher: name: arXiv
Year: 2022
Subjects: subject: Quantum Gases (cond-mat.quant-gas)
subject: FOS: Physical sciences

description: Itinerant ferromagnetism in dilute Fermi gases is predicted to emerge at values of the gas parameter where second-order perturbation theory is not accurate enough to properly describe the system. We have revisited perturbation theory for SU(N) fermions and derived its generalization up to third order both in terms of the gas parameter and the polarization. Our results agree satisfactorily with quantum Monte Carlo results for hard-sphere and soft-sphere potentials for $S = 1/2$. Although the nature of the phase transition depends on the interaction potential, we find that for a hard-sphere potential a phase transition is guaranteed to occur. While for $S= 1/2$ we observe a quasi-continuous transition, for spins $3/2$ and $5/2$, a first-order phase transition is found. For larger spins, a double transition (combination of continuous and discontinuous) occurs. The critical density reduces drastically when the spin increases, making the phase transition more accessible to experiments with ultracold dilute Fermi gases. Estimations for Fermi gases of Yb and Sr with spin $5/2$ and $9/2$, respectively, are reported.
description: 24 pages. Some minor corrections introduced
Use of steep framework as basis for sustainable engineering education
Creators: name: Schmidt, Karl
name: Lee, Ross
name: Lorenz, William
name: Singh, Pritpal
name: McGrail, Michael
Publisher: name: The University of British Columbia
Year: 2015

description: Understanding the dynamic and complex nature of sustainability requires a healthy appreciation for the intersection of global trends with environmental, economic and social aspects. When coupled with technology and political issues, a more thorough analysis of interdependent sustainable engineering challenges and opportunities is possible. This paper discusses the Graduate Sustainable Engineering program at Villanova University with specific focus on use of the STEEP Framework. This unique interdisciplinary program employs a whole systems approach to problem solving through a life cycle lens using engineering principles. After a brief overview of the core curriculum, the STEEP learning aspects and outcomes are described, as well as the methodology employed and a brief case study highlighting use of the framework.
Simulations for Event-Clock Automata
Creators: name: Akshay, S
name: Gastin, Paul
name: Govind, R
name: Srivathsan, B
Publisher: name: arXiv
Year: 2022
Subjects: subject: Formal Languages and Automata Theory (cs.FL)
subject: FOS: Computer and information sciences

description: Event-clock automata (ECA) are a well-known semantic subclass of timed automata (TA) which enjoy admirable theoretical properties, e.g., determinizability, and are practically useful to capture timed specifications. However, unlike for timed automata, there exist no implementations for checking non-emptiness of event-clock automata. As ECAs contain special prophecy clocks that guess and maintain the time to the next occurrence of specific events, they cannot be seen as a syntactic subclass of TA. Therefore, implementations for TA cannot be directly used for ECAs, and moreover the translation of an ECA to a semantically equivalent TA is expensive. Another reason for the lack of ECA implementations is the difficulty in adapting zone-based algorithms, critical in the timed automata setting, to the event-clock automata setting. This difficulty was studied by Geeraerts et al. in 2011, where the authors proposed a zone enumeration procedure that uses zone extrapolations for finiteness. In this article, we propose a different zone-based algorithm to solve the reachability problem for event-clock automata, using simulations for finiteness. A surprising consequence of our result is that for event-predicting automata, the subclass of event-clock automata that only use prophecy clocks, we obtain finiteness even without any simulations. For general event-clock automata, our new algorithm exploits the G-simulation framework, which is the coarsest known simulation relation in timed automata literature, and has been recently used for advances in other extensions of timed automata.
Variational corner transfer matrix renormalization group method for classical statistical models
Creators: name: Liu, X. F.
name: Fu, Y. F.
name: Yu, W. Q.
name: Yu, J. F.
name: Xie, Z. Y.
Publisher: name: arXiv
Year: 2022
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: In the context of tensor network states, we for the first time reformulate the corner transfer matrix renormalization group (CTMRG) method into a variational bilevel optimization algorithm. The solution of the optimization problem corresponds to the fixed-point environment pursued in the conventional CTMRG method, from which the partition function of a classical statistical model, represented by an infinite tensor network, can be efficiently evaluated. The validity of this variational idea is demonstrated by the high-precision calculation of the residual entropy of the dimer model, and is further verified by investigating several typical phase transitions in classical spin models, where the obtained critical points and critical exponents all agree with the best known results in literature. Its extension to three-dimensional tensor networks or quantum lattice models is straightforward, as also discussed briefly.
description: 7 pages, 7 figures
Node Replication: Theory And Practice
Creators: name: Kesner, Delia
name: Peyrot, Loïc
name: Ventura, Daniel
Publisher: name: arXiv
Year: 2022
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: F.3.2; F.4.1; D.3.1
subject: 03B70

description: We define and study a term calculus implementing higher-order node replication. It is used to specify two different (weak) evaluation strategies: call-by-name and fully lazy call-by-need, that are shown to be observationally equivalent by using type theoretical technical tools.
THz emission from Fe/Pt spintronic emitters with L1$_{0}$-FePt alloyed interface
Creators: name: Scheuer, Laura
name: Ruhwedel, Moritz
name: Karfaridis, Dimitris
name: Vasileiadis, Isaak G.
name: Sokoluk, Dominik
name: Torosyan, Garik
name: Vourlias, George
name: Dimitrakopoulos, George P.
name: Rahm, Marco
name: Hillebrands, Burkard
name: Kehagias, Thomas
name: Beigang, René
name: Papaioannou, Evangelos Th.
Publisher: name: arXiv
Year: 2022
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: Recent developments in nanomagnetism and spintronics have enabled the use of ultrafast spin physics for terahertz (THz) emission. Spintronic THz emitters, consisting of ferromagnetic FM / non-magnetic (NM) thin film heterostructures, have demonstrated impressive properties for the use in THz spectroscopy and have great potential in scientific and industrial applications. In this work, we focus on the impact of the FM/NM interface on the THz emission by investigating Fe/Pt bilayers with engineered interfaces. In particular, we intentionally modify the Fe/Pt interface by inserting an ordered L1$_{0}$-FePt alloy interlayer. Subsequently, we establish that a Fe/L1$_{0}$-FePt (2\,nm)/Pt configuration is significantly superior to a Fe/Pt bilayer structure, regarding THz emission amplitude. The latter depends on the extent of alloying on either side of the interface. The unique trilayer structure opens new perspectives in terms of material choices for the next generation of spintronic THz emitters.
Stable determination of an anisotropic inclusion in the Schrödinger equation from local Cauchy data
Creators: name: Foschiatti, Sonia
name: Sincich, Eva
Publisher: name: arXiv
Year: 2022
Subjects: subject: Analysis of PDEs (math.AP)
subject: Mathematical Physics (math-ph)
subject: FOS: Mathematics
subject: FOS: Physical sciences
subject: 35R30

description: We consider the inverse problem of determining an inclusion contained in a body for a Schrödinger type equation by means of local Cauchy data. Both the body and the inclusion are made by inhomogeneous and anisotropic materials. Under mild a priori assumptions on the unknown inclusion, we establish a logarithmic stability estimate in terms of the local Cauchy data. In view of possible applications, we also provide a stability estimate in terms of an ad-hoc misfit functional.
description: pp. 31
Supplementary document for Crystal superlattices for versatile and sensitive quantum spectroscopy - 6095384.pdf
Creators: name: Toa, Zi Siang Desmond
name: Paterova, Anna
name: Chekhova, Maria
name: Krivitsky, Leonid
Publisher: name: Optica Publishing Group
Year: 2025
Subjects: Uncategorized

description: Supplement 1
Transcribing Medieval Manuscripts for Machine Learning
Creators: name: Guéville, Estelle
name: Wrisley, David Joseph
Publisher: name: arXiv
Year: 2022
Subjects: subject: Digital Libraries (cs.DL)
subject: FOS: Computer and information sciences

description: This article focuses on the transcription of medieval manuscripts. Whereas problems of transcription have long interested medievalists, few workable options in the era of printed editions were available besides normalisation. The automation of this process, known as handwritten text recognition (HTR), has made new kinds of digital text creation possible, but also has foregrounded the necessity of theorising transcription in our scholarly practices. We reflect here on different notions of transcription against the backdrop of changing text technologies. Moreover, drawing on our own research on medieval Latin Bibles, we present general guidelines for customizing transcription schemes, arguing that they must be designed with specific research questions and scholarly end use in mind. Since we are particularly interested in the scribal contribution to the production of codices, our transcription guidelines aim to capture abbreviations and orthographic variation between different textual witnesses for downstream machine learning tasks. In the final section of the article, we discuss a few examples of how the HTR-created transcriptions allow us to address new questions at scale in medieval manuscripts, such as textual variance across witnesses, the prediction of a change in scribal hands within a single manuscript as well as the profiling of individual and regional scribal characteristics.
PPSZ is better than you think
Creators: name: Scheder, Dominik
Publisher: name: arXiv
Year: 2022
Subjects: subject: Data Structures and Algorithms (cs.DS)
subject: FOS: Computer and information sciences
subject: F.2.2
subject: 68W20

description: PPSZ, for long time the fastest known algorithm for $k$-SAT, works by going through the variables of the input formula in random order; each variable is then set randomly to $0$ or $1$, unless the correct value can be inferred by an efficiently implementable rule (like small-width resolution; or being implied by a small set of clauses). We show that PPSZ performs exponentially better than previously known, for all $k \geq 3$. For Unique-$3$-SAT we bound its running time by $O(1.306973^{n})$, which is somewhat better than the algorithm of Hansen, Kaplan, Zamir, and Zwick, which runs in time $O(1.306995^n)$. Before that, the best known upper bound for Unique-$3$-SAT was $O(1.3070319^n)$. All improvements are achieved without changing the original PPSZ. The core idea is to pretend that PPSZ does not process the variables in uniformly random order, but according to a carefully designed distribution. We write "pretend" since this can be done without any actual change to the algorithm.
description: Journal version of this work. The previous arxiv version is the "full version", which contains the proof for the k=3 case
Embedding sustainability principles into engineering education
Creators: name: Salvatore, Danielle
name: Ellis, Naoko
name: Nesbit, Susan
name: Ostafichuk, Peter
Publisher: name: The University of British Columbia
Year: 2015

description: Because sustainability learning is necessarily situated in local culture and “place,” engaging key communities-of-interest in planning and deployment is foundational to sustainability effort. Recently, the University Sustainability Initiative (USI), at the University of British Columbia (UBC), employed engagement techniques that reached out across the university campus to develop generic descriptions of sustainability attributes of graduating students, which propose that UBC students within all disciplines strive to develop four attributes in preparation for facing today’s challenges (i.e., holism, sustainability knowledge, awareness & integration, and acting for positive change) (1). The USI recognizes, “that in order to find creative solutions to the ecological, economic and social challenges of our time, we must explore, advance and apply our understanding of sustainability” (2). This paper reports on a second set of engagement processes focused on developing the first stage of EESD degree-level learning outcomes that, in turn, aim to guide course redevelopment within the engineering programs. We start by presenting examples of sustainability learning opportunities offered in undergraduate programs elsewhere in North America. Most of these opportunities involve adding several courses to an already course-heavy degree. At several schools there is an option to complete a “certificate program” encompassing a few extra courses, but these certificate programs are not necessarily directed at engineering students. We then describe Applied Science Faculty engagement activities, aimed at measuring the interest of administrators, faculty members, staff, and students regarding incorporating sustainability learning opportunities within the common first year curriculum. We next relate informal first year student survey responses to the literature and we outline recommendations for advancing the development of sustainability learning within the first year curriculum.
5G-Sierra: Secure 5G infrastructures for resilient production systems and facilities
Creators: name: Brochhaus, Maximilian
name: Kehl, Pierre
name: König, Niels
name: Kreppein, Alexander
name: :Unav
Publisher: name: Fraunhofer-Gesellschaft
Year: 2022
Subjects: 5G
Cybersecurity

description: Networking of industrial production systems using 5G poses some technical hurdles and risks.
Reply to Comments on "Universal and Non-Universal Correction Terms of Bose Gases in Dilute Region: A Quantum Monte Carlo Study"
Creators: name: Masaki-Kato, Akiko
name: Motoyama, Yuichi
name: Kawashima, Naoki
Publisher: name: arXiv
Year: 2022
Subjects: subject: Quantum Gases (cond-mat.quant-gas)
subject: FOS: Physical sciences

description: We reply to the comments on our previous paper J. Phys. Soc. Jpn. 91, 024001 (2022)
Substrate-Dependence of Monolayer MoS$_2$ Thermal Conductivity and Thermal Boundary Conductance
Creators: name: Gabourie, Alexander J.
name: Koroglu, Cagil
name: Pop, Eric
Publisher: name: arXiv
Year: 2022
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: The thermal properties of two-dimensional (2D) materials, like MoS$_2$, are known to be affected by interactions with their environment, but this has primarily been studied only with SiO$_2$ substrates. Here, we compare the thermal conductivity (TC) and thermal boundary conductance (TBC) of monolayer MoS$_2$ on amorphous (a-) and crystalline (c-) SiO$_2$, AlN, Al$_2$O$_3$, and $\textit{h}$-BN monolayers using molecular dynamics. The room temperature TC of MoS$_2$ is ~38 Wm$^{-1}$K$^{-1}$ on amorphous substrates and up to ~68 Wm$^{-1}$K$^{-1}$ on crystalline substrates, with most of the difference due to substrate interactions with long-wavelength MoS$_2$ phonons (< 2 THz). An $\textit{h}$-BN monolayer used as a buffer between MoS$_2$ and the substrate causes the MoS$_2$ TC to increase by up to 50%. Length-dependent calculations reveal TC size effects below ~2 $μ$m and show that the MoS$_2$ TC is size- but not substrate-limited below ~100 nm. We also find that the TBC of MoS$_2$ with c-Al$_2$O$_3$ is over twice that with c-AlN despite a similar MoS$_2$ TC on both, indicating that the TC and TBC could be tuned independently. Finally, we compare the thermal resistance of MoS$_2$ transistors on all substrates to show that MoS$_2$ TBC is the most important parameter for heat removal for long-channel (> 150 nm) devices, while TBC and TC are equally important for short channels. This work provides important insights for electro-thermal applications of 2D materials on various substrates.
description: 16 Pages, 6 Figures, Supplementary Information
Canonical Witt formal scheme extensions and p-torsion groups
Creators: name: Bertapelle, Alessandra
name: Mazzari, Nicola
name: Saha, Arnab
Publisher: name: arXiv
Year: 2022
Subjects: subject: Number Theory (math.NT)
subject: Algebraic Geometry (math.AG)
subject: FOS: Mathematics
subject: 13F35, 14L05, 14L15, 14B20, 14G20

description: We study the $n$-th arithmetic jet space of the $p$-torsion subgroup attached to a smooth commutative formal group scheme. We show that the $n$-th jet space above fits in the middle of a canonical short exact sequence between a power of the formal scheme of Witt vectors of length $n$ and the $p$-torsion subgroup we started with. This result generalizes a result of Buium on roots of unity.
title: Haba cabalar; Haba, Haboncillo :
title: Directrices para la ejecución del examen de la distinción, la homogeneidad y la estabilidad.
titleType: Subtitle
Creators: name: (:Unas)
Publisher: name: Unknown
Year: 2018

description: La finalidad de estas directrices (“directrices de examen”) es elaborar los principios que figuran en la Introducción General (documento TG/1/3) y sus documentos TGP conexos, con objeto de que sirvan de orientación práctica y detallada para el examen armonizado de la distinción, homogeneidad y estabilidad (DHE) y en particular, para identificar los caracteres apropiados para el examen DHE y producir descripciones armonizadas de variedades.
Traced Monads and Hopf Monads
Creators: name: Hasegawa, Masahito
name: Lemay, Jean-Simon Pacaud
Publisher: name: arXiv
Year: 2022
Subjects: subject: Category Theory (math.CT)
subject: FOS: Mathematics
subject: 18M10, 18C15, 18C20, 16T05, 16D90

description: A traced monad is a monad on a traced symmetric monoidal category that lifts the traced symmetric monoidal structure to its Eilenberg-Moore category. A long-standing question has been to provide a characterization of traced monads without explicitly mentioning the Eilenberg-Moore category. On the other hand, a symmetric Hopf monad is a symmetric bimonad whose fusion operators are invertible. For compact closed categories, symmetric Hopf monads are precisely the kind of monads that lift the compact closed structure to their Eilenberg-Moore categories. Since compact closed categories and traced symmetric monoidal categories are closely related, it is a natural question to ask what is the relationship between Hopf monads and traced monads. In this paper, we introduce trace-coherent Hopf monads on traced monoidal categories, which can be characterized without mentioning the Eilenberg-Moore category. The main theorem of this paper is that a symmetric Hopf monad is a traced monad if and only if it is a trace-coherent Hopf monad. We provide many examples of trace-coherent Hopf monads, such as those induced by cocommutative Hopf algebras or any symmetric Hopf monad on a compact closed category. We also explain how for traced Cartesian monoidal categories, trace-coherent Hopf monads can be expressed using the Conway operator, while for traced coCartesian monoidal categories, any trace-coherent Hopf monad is an idempotent monad. We also provide separating examples of traced monads that are not Hopf monads, as well as symmetric Hopf monads that are not trace-coherent.
description: Final Version, Published in Compositionality
Complex network growth model: Possible isomorphism between nonextensive statistical mechanics and random geometry
Creators: name: Tsallis, Constantino
name: Oliveira, Rute
Publisher: name: arXiv
Year: 2022
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: In the realm of Boltzmann-Gibbs statistical mechanics there are three well known isomorphic connections with random geometry, namely (i) the Kasteleyn-Fortuin theorem which connects the $λ\to 1$ limit of the $λ$-state Potts ferromagnet with bond percolation, (ii) the isomorphism which connects the $λ\to 0$ limit of the $λ$-state Potts ferromagnet with random resistor networks, and (iii) the de Gennes isomorphism which connects the $n \to 0$ limit of the $n$-vector ferromagnet with self-avoiding random walk in linear polymers. We provide here strong numerical evidence that a similar isomorphism appears to emerge connecting the energy $q$-exponential distribution $\propto e_q^{-β_q \varepsilon}$ (with $q=4/3$ and $β_q ω_0 =10/3$) optimizing, under simple constraints, the nonadditive entropy $S_q$ with a specific geographic growth random model based on preferential attachment through exponentially-distributed weighted links, $ω_0$ being the characteristic weight.
description: 5 pages and 2 figures
Engineering sustainability markets : why T-shaped engineers need communication design
Creators: name: Young, Alan
Publisher: name: The University of British Columbia
Year: 2015

description: Numerous authors have described the importance of the T-shaped engineer—one who has both a specialisation, and further knowledge that connects their specialisation to other disciplines and to the wider needs of society and the environment. This approach has particular value when ascribing sustainability a fundamental role in the design process—indeed it suggests a paradigm shift in ways of thinking engineering. Design and production processes, and their teaching, are shifting to deal with global realities which have cast many traditional approaches as limited at best, and at worst, destructive. Few authors exploring the T-shaped professional and sustainability, however, have recognized the importance of communication design—the strategic process of creating the form, content and delivery of information, including marketing and advertising—within the design process. Currently this tends to be relegated to the ‘commercialisation’ stage, which arrives after the important work is done. This is now an out-dated model. Sustainability is very low on the scale of consumer appeal—in some cases having the opposite effect. The very best of intentions can amount to nothing if the product fails to inspire consumers to buy it, and most products, sustainable or not, fail in the market place. Many engineers and writers on engineering reveal an underlying assumption that if a product can save the world, consumers will buy it. This is a dangerous fallacy—irrefutably built on admirable ideals—yet a fallacy just the same. Consumers have long been recognised to be frequently illogical and even self-adverse. This paper will argue that a knowledge of marketing and advertising, and semiotics—that is, of products which ‘speak to’ consumers in a language they respond to—must be built in to any engineering process from the very first stages—especially when engineering for sustainability. The paper demonstrates firstly that many engineers, and especially those who see value in sustainability, have a psycho-social profile that works against them considering advertising and marketing as being important considerations. Secondly, it makes a case that communication design must not be seen as subsequent, but as weaved into the innovation and production stages from the beginning. Finally, it describes key considerations to help engineers utilise communication design as part of their interdisciplinary teams.
Variable binding and substitution for (nameless) dummies
Creators: name: Hirschowitz, André
name: Hirschowitz, Tom
name: Lafont, Ambroise
name: Maggesi, Marco
Publisher: name: arXiv
Year: 2022
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: By abstracting over well-known properties of De Bruijn's representation with nameless dummies, we design a new theory of syntax with variable binding and capture-avoiding substitution. We propose it as a simpler alternative to Fiore, Plotkin, and Turi's approach, with which we establish a strong formal link. We also show that our theory easily incorporates simple types and equations between terms.
Separators in Continuous Petri Nets
Creators: name: Blondin, Michael
name: Esparza, Javier
Publisher: name: arXiv
Year: 2022
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Formal Languages and Automata Theory (cs.FL)
subject: FOS: Computer and information sciences

description: Leroux has proved that unreachability in Petri nets can be witnessed by a Presburger separator, i.e. if a marking $\vec{m}_\text{src}$ cannot reach a marking $\vec{m}_\text{tgt}$, then there is a formula $φ$ of Presburger arithmetic such that: $φ(\vec{m}_\text{src})$ holds; $φ$ is forward invariant, i.e., $φ(\vec{m})$ and $\vec{m} \rightarrow \vec{m}'$ imply $φ(\vec{m}'$); and $\neg φ(\vec{m}_\text{tgt})$ holds. While these separators could be used as explanations and as formal certificates of unreachability, this has not yet been the case due to their worst-case size, which is at least Ackermannian, and the complexity of checking that a formula is a separator, which is at least exponential (in the formula size).
 We show that, in continuous Petri nets, these two problems can be overcome. We introduce locally closed separators, and prove that: (a) unreachability can be witnessed by a locally closed separator computable in polynomial time; (b) checking whether a formula is a locally closed separator is in NC (so, simpler than unreachability, which is P-complete).
 We further consider the more general problem of (existential) set-to-set reachability, where two sets of markings are given as convex polytopes. We show that, while our approach does not extend directly, we can efficiently certify unreachability via an altered Petri net.
description: Extension of the FoSSaCS'22 conference version
Foundations of probability-raising causality in Markov decision processes
Creators: name: Baier, Christel
name: Piribauer, Jakob
name: Ziemek, Robin
Publisher: name: arXiv
Year: 2022
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: This work introduces a novel cause-effect relation in Markov decision processes using the probability-raising principle. Initially, sets of states as causes and effects are considered, which is subsequently extended to regular path properties as effects and then as causes. The paper lays the mathematical foundations and analyzes the algorithmic properties of these cause-effect relations. This includes algorithms for checking cause conditions given an effect and deciding the existence of probability-raising causes. As the definition allows for sub-optimal coverage properties, quality measures for causes inspired by concepts of statistical analysis are studied. These include recall, coverage ratio and f-score. The computational complexity for finding optimal causes with respect to these measures is analyzed.
description: arXiv admin note: substantial text overlap with arXiv:2201.08768
Executable First-Order Queries in the Logic of Information Flows
Creators: name: Aamer, Heba
name: Bogaerts, Bart
name: Surinx, Dimitri
name: Ternovska, Eugenia
name: Bussche, Jan Van den
Publisher: name: arXiv
Year: 2022
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: H.2.3; I.2.4

description: The logic of information flows (LIF) has recently been proposed as a general framework in the field of knowledge representation. In this framework, tasks of procedural nature can still be modeled in a declarative, logic-based fashion. In this paper, we focus on the task of query processing under limited access patterns, a well-studied problem in the database literature. We show that LIF is well-suited for modeling this task. Toward this goal, we introduce a variant of LIF called "forward" LIF (FLIF), in a first-order setting. FLIF takes a novel graph-navigational approach; it is an XPath-like language that nevertheless turns out to be equivalent to the "executable" fragment of first-order logic defined by Nash and Ludäscher. One can also classify the variables in FLIF expressions as inputs and outputs. Expressions where inputs and outputs are disjoint, referred to as io-disjoint FLIF expressions, allow a particularly transparent translation into algebraic query plans that respect the access limitations. Finally, we show that general FLIF expressions can always be put into io-disjoint form.
Towards Uniform Certification in QBF
Creators: name: Chew, Leroy
name: Slivovsky, Friedrich
Publisher: name: arXiv
Year: 2022
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Computational Complexity (cs.CC)
subject: FOS: Computer and information sciences

description: We pioneer a new technique that allows us to prove a multitude of previously open simulations in QBF proof complexity. In particular, we show that extended QBF Frege p-simulates clausal proof systems such as IR-Calculus, IRM-Calculus, Long-Distance Q-Resolution, and Merge Resolution. These results are obtained by taking a technique of Beyersdorff et al. (JACM 2020) that turns strategy extraction into simulation and combining it with new local strategy extraction arguments.
 This approach leads to simulations that are carried out mainly in propositional logic, with minimal use of the QBF rules. Our proofs therefore provide a new, largely propositional interpretation of the simulated systems. We argue that these results strengthen the case for uniform certification in QBF solving, since many QBF proof systems now fall into place underneath extended QBF Frege.
What do we say we teach about energy? : viewed through the lens of UK architecture undergraduate education
Creators: name: Oliveira, Sonja
name: Marco, Elena
name: Gething, Bill
Publisher: name: The University of British Columbia
Year: 2015

description: Changes in recent EU policy highlight the need for improving building professionals’ knowledge and skills regarding energy considerations in building design and construction. The architectural and engineering educational sector in particular is tasked with equipping graduates with the required competencies in order to be able to contribute to a fast-developing energy agenda. Although significant attention is placed on improving knowledge regarding energy in buildings in the industry sector there is less discussion across the UK professional bodies or research on the sort of literacy competencies students require to meet the growing industry and policy demands. Architectural education in the UK is monitored and validated by its professional bodies. Although curricula are required to embed sustainable development within their accreditation criteria for instance, it is less clear how energy considerations are met. The purpose of this paper is to examine how architectural educational institutions provide energy content in their undergraduate curricula. The study analyses 22 out of 45 accredited architecture undergraduate course programme specifications with a focus on exploring how energy content is described in both the learning outcomes and assessment. Preliminary findings demonstrate a varied and at times conflicting set of approaches with emphasis placed on cognitive literacy attributes of understanding and awareness with less consideration of behavioural or psychomotor attributes and little clarity in other cognitive dimensions such as knowledge and skills. The contribution of this paper is twofold. First, the findings provide an initial overview of how energy content is considered in curriculum design in architectural education in the UK. Second, the study considers the attributes that shape energy literacy in the context of architectural undergraduate education. There are also implications for policy development in other related educational curricula in the built environment including engineering, architectural technology, planning and surveying.
5G-Comet - Real-Time Infrastructures with 5G and TSN as Key Technologies
Creators: name: Kehl, Pierre
name: Tran, Duc Thanh
name: :Unav
Publisher: name: Fraunhofer-Gesellschaft
Year: 2022
Subjects: 5G
TSN
Time-Sensitive Networking
Infrastructure

description: The digitization of production enables a rapid transformation from mass production to customized manufacturing. Communication plays an essential role in this digital transformation; in particular, wireless communication enables a high degree of flexibility, dynamic interactions, and mobility support in production systems. In the 5G-COMET Project a real-time communication infrastructure, based on 5G and Time-Sensitive Net-working (TSN) is developed. This infrastructure is then being validated in industrial use cases, such as cloud-controlled mobile robots and robot-based laser processing.
The Belarusian Democratic Movement and Russia's War on Ukraine
Creators: name: Biziukova, Volha
name: Bystryk, Aliaksandr
Publisher: name: University of Edinburgh
Year: 2023
Subjects: Peace Processes
Belarus
Ukraine

description: This report offers a comprehensive analysis of the relationship between Belarus and the full-scale Russian invasion of Ukraine launched in February 2022. The report brings to light the complexity of the Belarusian perspective on the on-going war. It shows how the war has impacted domestic politics with the democratic opposition breaking with Moscow, while public opinion has moved in a different direction to the trends in Russia. Belarus’ participation in Russia’s war against Ukraine has been facilitated by the outcomes of the revolutionary movement of 2020 and its failure to defend the results of the elections and remove Lukashenka from power.
Modeling the impact of civilian firearm ownership in the evolution of violent crimes
Creators: name: Crokidakis, Nuno
Publisher: name: arXiv
Year: 2022
Subjects: subject: Physics and Society (physics.soc-ph)
subject: FOS: Physical sciences

description: We propose a simple mathematical model to describe the evolution of violent crimes. For such purpose, we built a model based on ordinary differential equations that take into account the number of violent crimes and the number of legal and illegal guns. The dynamics is governed by probabilities, modeling for example the police action, the risk perception regarding crimes that leads to increase of ownership of legal guns, and so on. Our analytical and numerical results show that, in addition to the rise of criminality due to the presence of illegal guns, the increase of legal guns leads to a fast increase of violent crimes, suggesting that the access of firearms by civilians is not a good option regarding the control of crimes.
description: 15 pages, 2 figures, to appear in Applied Mathematics and Computation
Scaling support for teaching sustainability : reflections, barriers, and opportunities
Creators: name: Dale, Alexander T.
name: House, Richard A.
name: Brownell, Sarah A.
name: Best, Robert E.
name: Hess, Justin L.
Publisher: name: The University of British Columbia
Year: 2015

description: While many schools have created local coursework or programs to integrate multiple disciplines and real-world experience, scaling these opportunities to reach a critical mass of students is often difficult due to technical and economic constraints. In contrast, efforts that connect multiple institutions to multidisciplinary resources may enable success by mitigating costs through replication and resource sharing. As an example, since 2012, Engineers for a Sustainable World (ESW) has been operating the Wicked Problems in Sustainability Initiative (WPSI), which connects project-based courses across multiple institutions and provides shared resources to enable faculty to expose students to real, complex topics such as providing sustainable housing or managing the roots of air pollution. After two years of successful operations at three schools, the authors are interested in scaling the asynchronous program to enable many more students to participate. However, numerous institutional and practical barriers are visible, such as the need for local champions, course time requirements, online tools, and long-term financial support. In preparation for the third annual cycle of WPSI, current faculty and staff reflected on the program’s value, limitations, and potential to scale. This work presents reflections on successes from the first two cycles, and discusses the feasible reach of the program. In this paper, we consider how to address various systemic barriers, alongside changes proposed changes for the program going forward to maximize its impact, particularly on students who have not self-selected to enroll in courses on sustainability.
Input Regularization for Integer Optimal Control in BV with Applications to Control of Poroelastic and Poroviscoelastic Systems
Creators: name: Bociu, Lorena
name: Manns, Paul
name: Severitt, Marvin
name: Strikwerda, Sarah
Publisher: name: arXiv
Year: 2022
Subjects: subject: Optimization and Control (math.OC)
subject: FOS: Mathematics

description: We revisit a class of integer optimal control problems for which a trust-region method has been proposed and analyzed in arXiv:2106.13453v3 [math.OC]. While the algorithm proposed in arXiv:2106.13453v3 [math.OC] successfully solves the class of optimization problems under consideration, its convergence analysis requires restrictive regularity assumptions. There are many examples of integer optimal control problems involving partial differential equations where these regularity assumptions are not satisfied. In this article we provide a way to bypass the restrictive regularity assumptions by introducing an additional partial regularization of the control inputs by means of mollification and proving a $Γ$-convergence-type result when the support parameter of the mollification is driven to zero. We highlight the applicability of this theory in the case of fluid flows through deformable porous media equations that arise in biomechanics. We show that the regularity assumptions are violated in the case of poro-visco-elastic systems, and thus one needs to use the regularization of the control input introduced in this article. Associated numerical results show that while the homotopy can help to find better objective values and points of lower instationarity, the practical performance of the algorithm without the input regularization may be on par with the homotopy.
Electronic properties and surface states of RbNi$_2$Se$_2$
Creators: name: Basak, Surajit
name: Piekarz, Przemysław
name: Ptok, Andrzej
Publisher: name: arXiv
Year: 2022
Subjects: subject: Superconductivity (cond-mat.supr-con)
subject: Materials Science (cond-mat.mtrl-sci)
subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: Iron-based superconductors, with the ThCr$_{2}$Si$_{2}$-type tetragonal structure (122 family), due to the iron arsenide/selenide layers exhibit several characteristic electronic properties. For example, multiband character mosty associated with the $d$-orbitals of iron and the quasi-two-dimensional (2D) cylindrical Fermi surface. Moreover, external hydrostatic pressure leads to the isostructural phase transition from the tetragonal to collapsed-tetragonal phase. In this paper, in relation to the iron-based superconductors, we discuss the electronic properties of novel 122-family member RbNi$_{2}$Se$_{2}$ [Liu H. et al., Phys. Rev. B 106, 094511 (2022)]. We show that the two Fermi pockets exhibit quasi-2D character. Calculation of the surface spectral function for the (001) surface shows that the surface states are realized independently on the surface termination. Additionally, contrary to the iron-based 122 compounds, RbNi$_{2}$Se$_{2}$ exhibits extraordinary multiple isostructural phase transitions under pressure. Moreover, the Lifshizt transition occurs under external pressure, which results into a strong modification of the shapes of the Fermi pockets.
description: 12 pages, 8 figures
Yet another Odd Radio Circle?
Creators: name: Omar, Amitesh
Publisher: name: arXiv
Year: 2022
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: The Odd Radio Circles are newly identified diffuse radio sources at ~1 GHz frequency, with edge-brightened nearly circular morphology, which is remarkably similar to supernova remnants although a physical association with previous population of Galactic supernova remnants is challenging due to detections of the Odd Radio Circles at high Galactic latitudes. Here, a serendipitous identification of a new source in a LOFAR 144 MHz image with similar morphology as that of Odd Radio Circles is reported. This is the first reported identification of an Odd Radio Circle at a very low frequency and with the LOFAR.
description: 5 pages, 1 figure, Accepted in RNAAS
Functional characterization of Gαi/s proteins and modulation of their activity by linear and cyclic peptides
Creators: name: Pepanian, Anna
Publisher: name: Universitäts- und Landesbibliothek Bonn
Year: 2024
Subjects: subject: ddc:500
subject: ddc:540
subject: ddc:615

description: Heterotrimeric Gαβγ (guanine nucleotide-binding) proteins serve as molecular switches to activate (“switch on”) or inactivate (“switch off”) diverse intracellular signaling cascades in response to stimulated G protein-coupled receptors (GPCRs). Modulation of these G proteins can be impelled by developing chemical tools, such as bioactive peptides. Such compounds are able to interact with distinct binding sites in the protein and inhibit protein-protein interactions. This dissertation reviews and outlines two main objectives, i) the functional characterization and activation mechanism of the Gαi1, Gαs(long), and Gαs(short) protein subunits, and ii) the development of linear and macrocyclic compounds with biological significance for the Gαi/s protein modulation. Basic computational analyses including molecular docking and dynamics simulations assisted the underlying studies.
 The first aim of the present thesis is to comprehend the molecular basis for the activation of the Gαi/s protein subunits in the context of guanine nucleotide binding. The acquisition of the functional active protein substantially contributes to Gαi/s protein characterization and modulation. The determination of the active fraction of the Gαi1 and Gαs proteins and the elucidation of the biochemical differences of the Gαs(long) and (short) isoforms, which was paused for decades, pave the way for the future analysis of other Gα protein subunits. Both novel and already known non-radioactive fluorescently labeled guanine nucleotide analogs are utilized for the functional analysis and characterization of the enzymatic activity employing fluorescence, fluorescence anisotropy and GTPase-based assays.
 This leads to the second main focus of this work, i.e., the development of potent and specific linear and macrocyclic peptide modulators targeting either the Gαi and/or Gαs protein subunit. Peptides derived from a one-bead-one compound (OBOC) combinatorial peptide library, such as the lead compound GPM-1 (and derivatives) exhibited a GEM (guanine exchange modulator)-like activity for the Gαi/s·GDP, i.e., the inactive protein state. A series of bicyclic compounds from a one-bead-two compound (OBTC) peptide library reveal GPM-3 as the first peptide acting as a class- and state-specific GAP (GTPase-activating protein)-like modulator of Gαi1·GMPPNP, and GPM-2 as a potential GEF (guanine nucleotide exchange factor) modulator of Gαi1·GDP.
 Thus, these objectives and the results thereof are extensively described in the following chapters (the respective manuscripts are enclosed in the appendix) and could act as the stimulus for the biochemical investigation of other classes of Gα proteins either with nucleotide analogs and/or with bioactive peptides, assessing the potential druggability of G proteins in general, as well as of Gαi and Gαs in particular.
AKTYORDÍŃ PROFESSIONAL ETIKASÍ
Creators: name: Jumanov, Rinat
Publisher: name: Zenodo
Year: 2025

description: Bul maqalada aktyordıń professional etikası, aktyordıń óz kásibine, kásipleslerine, tamashagóylarge hám kórkem ónerge bolǵan qatnasın belgileydi. Ol saxna yamasa kamera aldında, sonıń menen birge, jumıs ortalıǵında ózin qanday tutıwı kerekligin kórsetedi. Bul maqalada aktyordıń professional etikasi, onıń tiykarǵı principlerı hám kórkem óner salasındaǵı áhmiyeti haqqında sóz júrgizemiz
Cluster on Wheels
Creators: name: Yang, Yuanyuan
name: Feng, Delin
name: Schwertfeger, Sören
Publisher: name: arXiv
Year: 2022
Subjects: subject: Robotics (cs.RO)
subject: FOS: Computer and information sciences

description: This paper presents a very compact 16-node cluster that is the core of a future robot for collecting and storing massive amounts of sensor data for research on Simultaneous Localization and Mapping (SLAM). To the best of our knowledge, this is the first time that such a cluster is used in robotics. We first present the requirements and different options for computing of such a robot and then show the hardware and software of our solution in detail. The cluster consists of 16 nodes of AMD Ryzen 7 5700U CPUs with a total of 128 cores. As a system that is to be used on a Clearpath Husky robot, it is very small in size, can be operated from battery power and has all required power and networking components integrated. Stress tests on the completed cluster show that it performs well.
description: 8 pages, 7 figures, 2022 International Conference for Advancement in Technology(ICONAT). It is about the work of the mapping robot cluster computer platform