cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Random Subspace Mixture Models for Interpretable Anomaly Detection
Creators: name: Savkli, Cetin
name: Schwartz, Catherine
Publisher: name: arXiv
Year: 2021
Subjects: subject: Machine Learning (cs.LG)
subject: Artificial Intelligence (cs.AI)
subject: Machine Learning (stat.ML)
subject: FOS: Computer and information sciences

description: We present a new subspace-based method to construct probabilistic models for high-dimensional data and highlight its use in anomaly detection. The approach is based on a statistical estimation of probability density using densities of random subspaces combined with geometric averaging. In selecting random subspaces, equal representation of each attribute is used to ensure correct statistical limits. Gaussian mixture models (GMMs) are used to create the probability densities for each subspace with techniques included to mitigate singularities allowing for the ability to handle both numerical and categorial attributes. The number of components for each GMM is determined automatically through Bayesian information criterion to prevent overfitting. The proposed algorithm attains competitive AUC scores compared with prominent algorithms against benchmark anomaly detection datasets with the added benefits of being simple, scalable, and interpretable.
description: 10 pages
Læringsbarometer 2018
Creators: Uddannelses- og Forskningsministeriet
Publisher: name: Rigsarkivet
Year: 2022

description: Studerende på en lang række videregående uddannelser er blevet bedt om at evaluere deres egen indsats på deres uddannelse. Dette gøres ved hjælp af spørgeskemaer, der er sendt ud til studerende på landets videregående uddannelser. Undersøgelsen beskæftiger sig i høj grad med, hvorledes de studerende selv opfatter deres eget studie og om der er steder, hvor man kunne foretage forbedringer.
A Framework for Developing Algorithms for Estimating Propagation Parameters from Measurements
Creators: name: Sayeed, Akbar
name: Vouras, Peter
name: Gentile, Camillo
name: Weiss, Alec
name: Quimby, Jeanne
name: Cheng, Zihang
name: Modad, Bassel
name: Zhang, Yuning
name: Anjinappa, Chethan
name: Erden, Fatih
name: Ozdemir, Ozgur
name: Muller, Robert
name: Dupleich, Diego
name: Niu, Han
name: Michelson, 6David
name: Hughes, 6Aidan
Publisher: name: arXiv
Year: 2021
Subjects: subject: Information Theory (cs.IT)
subject: Signal Processing (eess.SP)
subject: FOS: Computer and information sciences
subject: FOS: Electrical engineering, electronic engineering, information engineering

description: A framework is proposed for developing and evaluating algorithms for extracting multipath propagation components (MPCs) from measurements collected by sounders at millimeter-wave (mmW) frequencies. To focus on algorithmic performance, an idealized model is proposed for the spatial frequency response of the propagation environment measured by a sounder. The input to the sounder model is a pre-determined set of MPC parameters that serve as the "ground truth." A three-dimensional angle-delay (beamspace) representation of the measured spatial frequency response serves as a natural domain for implementing and analyzing MPC extraction algorithms. Metrics for quantifying the error in estimated MPC parameters are introduced. Initial results are presented for a greedy matching pursuit algorithm that performs a least-squares (LS) reconstruction of the MPC path gains within the iterations. The results indicate that the simple greedy-LS algorithm has the ability to extract MPCs over a large dynamic range, and suggest several avenues for further performance improvement through extensions of the greedy-LS algorithm as well as by incorporating features of other algorithms, such as SAGE and RIMAX.
Two-level Systems Coupled to Graphene plasmons: A Lindblad equation approach
Creators: name: Antão, T. V. C.
name: Peres, N. M. R.
Publisher: name: arXiv
Year: 2021
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Optics (physics.optics)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: In this paper we review the theory of open quantum systems and macroscopic quantum electrodynamics, providing a self-contained account of many aspects of these two theories. The former is presented in the context of a qubit coupled to a electromagnetic thermal bath, the latter is presented in the context of a quantization scheme for surface-plasmon polaritons (SPPs) in graphene based on Langevin noise currents. This includes a calculation of the dyadic Green's function (in the electrostatic limit) for a Graphene sheet between two semi-infinite linear dieletric media, and its subsequent application to the construction of SPP creation and annihilation operators. We then bring the two fields together and discuss the entanglement of two qubits in the vicinity of a graphene sheet which supports SPPs. The two qubits communicate with each other via the emission and absorption of SPPs. We find that a Schödinger cat state involving the two qubits can be partially protected from decoherence by taking advantage of the dissipative dynamics in graphene. A comparison is also drawn between the dynamics at zero temperature, obtained via Schrodinger's equation, and at finite temperature, obtained using the Lindblad equation.
description: Accepted for publication in International Journal of Modern Physics B. The paper has a tutorial nature, since all the details are given. Total number of pages 104
Buggin: Automatic intrinsic bugs classification model using NLP and ML
Creators: name: Bhandari, Pragya
name: Rodríguez-Pérez, Gema
Publisher: name: arXiv
Year: 2025
Subjects: subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences

description: Recent studies have shown that bugs can be categorized into intrinsic and extrinsic types. Intrinsic bugs can be backtracked to specific changes in the version control system (VCS), while extrinsic bugs originate from external changes to the VCS and lack a direct bug-inducing change. Using only intrinsic bugs to train bug prediction models has been reported as beneficial to improve the performance of such models. However, there is currently no automated approach to identify intrinsic bugs. To bridge this gap, our study employs Natural Language Processing (NLP) techniques to automatically identify intrinsic bugs. Specifically, we utilize two embedding techniques, seBERT and TF-IDF, applied to the title and description text of bug reports. The resulting embeddings are fed into well-established machine learning algorithms such as Support Vector Machine, Logistic Regression, Decision Tree, Random Forest, and K-Nearest Neighbors. The primary objective of this paper is to assess the performance of various NLP and machine learning techniques in identifying intrinsic bugs using the textual information extracted from bug reports. The results demonstrate that both seBERT and TF-IDF can be effectively utilized for intrinsic bug identification. The highest performance scores were achieved by combining TF-IDF with the Decision Tree algorithm and utilizing the bug titles (yielding an F1 score of 78%). This was closely followed by seBERT, Support Vector Machine, and bug titles (with an F1 score of 77%). In summary, this paper introduces an innovative approach that automates the identification of intrinsic bugs using textual information derived from bug reports.
description: PROMISE 2023: Proceedings of the 19th International Conference on Predictive Models and Data Analytics in Software Engineerin
title: ÐÑÐºÑÑÑÑÐ²ÐµÐ½Ð½Ð¾Ðµ ÑÑÐ°ÑÐµÐ½Ð¸Ðµ Ð´Ð¾ÐºÑÐ¼ÐµÐ½ÑÐ¾Ð² ÐºÐ°Ðº ÑÐ¿Ð¾ÑÐ¾Ð± ÑÐ°Ð»ÑÑÐ¸ÑÐ¸ÐºÐ°ÑÐ¸Ð¸ Ð´Ð¾ÐºÐ°Ð·Ð°ÑÐµÐ»ÑÑÑÐ²
title: Ð²ÑÐ¿ÑÑÐºÐ½Ð°Ñ ÐºÐ²Ð°Ð»Ð¸ÑÐ¸ÐºÐ°ÑÐ¸Ð¾Ð½Ð½Ð°Ñ ÑÐ°Ð±Ð¾ÑÐ° ÑÐ¿ÐµÑÐ¸Ð°Ð»Ð¸ÑÑÐ°
titleType: Subtitle
title: Artifical aging of documents as a way of falsifying evidence
Creators: name: ÐÐ°ÑÐ¾Ð²Ð°, ÐÐ°Ð»ÐµÑÐ¸Ñ
Publisher: name: Ð¡Ð°Ð½ÐºÑ-ÐÐµÑÐµÑÐ±ÑÑÐ³ÑÐºÐ¸Ð¹ Ð¿Ð¾Ð»Ð¸ÑÐµÑÐ½Ð¸ÑÐµÑÐºÐ¸Ð¹ ÑÐ½Ð¸Ð²ÐµÑÑÐ¸ÑÐµÑ ÐÐµÑÑÐ° ÐÐµÐ»Ð¸ÐºÐ¾Ð³Ð¾
Year: 2023
Subjects: Ð¥ÑÐ¾Ð¼Ð°ÑÐ¾Ð³ÑÐ°ÑÐ¸Ñ Ð³Ð°Ð·Ð¾Ð²Ð°Ñ
Ð¡Ð¿ÐµÐºÑÑÐ°Ð»ÑÐ½ÑÐ¹ Ð°Ð½Ð°Ð»Ð¸Ð·
Ð¥ÑÐ¾Ð¼Ð°ÑÐ¾Ð³ÑÐ°ÑÐ¸Ñ Ð¶Ð¸Ð´ÐºÐ¾ÑÑÐ½Ð°Ñ
ÑÐºÑÐ¿ÐµÑÑÐ¸Ð·Ð° Ð´Ð°Ð²Ð½Ð¾ÑÑÐ¸ Ð´Ð¾ÐºÑÐ¼ÐµÐ½ÑÐ°
Ð²Ð»Ð°Ð¶Ð½Ð¾ÑÑÑ
examination of the document
humidity

description: Ð Ð´Ð°Ð½Ð½Ð¾Ð¹ ÑÐ°Ð±Ð¾ÑÐµ ÑÐ°ÑÑÐ¼Ð¾ÑÑÐµÐ½Ñ Ð¾ÑÐ¾Ð±ÐµÐ½Ð½Ð¾ÑÑÐ¸ Ð²Ð»Ð¸ÑÐ½Ð¸Ñ Ð²Ð»Ð°Ð¶Ð½Ð¾ÑÑÐ¸ Ð½Ð° Ð´ÐµÐ³ÑÐ°Ð´Ð°ÑÐ¸Ñ ÑÐ²Ð¾Ð¹ÑÑÐ² Ð±ÑÐ¼Ð°Ð¶Ð½Ð¾Ð³Ð¾ Ð»Ð¸ÑÑÐ° Ð¸ Ð¿Ð°ÑÑ ÑÐ°ÑÐ¸ÐºÐ¾Ð²ÑÑ ÑÑÑÐµÐº. Ð ÑÐµÐ·ÑÐ»ÑÑÐ°ÑÐµ Ð¸ÑÑÐ»ÐµÐ´Ð¾Ð²Ð°Ð½Ð¸Ð¹ Ð²ÑÑÐ²Ð»ÐµÐ½Ð¾, ÑÑÐ¾ ÑÐ°ÑÑÑÐµ Ð¸ Ð³Ð»ÑÐ±Ð¾ÐºÐ¸Ðµ Ð¿ÐµÑÐµÐ¿Ð°Ð´Ñ ÐµÑÑÐµÑÑÐ²ÐµÐ½Ð½Ð¾Ð¹ Ð²Ð»Ð°Ð¶Ð½Ð¾ÑÑÐ¸ ÑÑÐºÐ¾ÑÑÑÑ Ð¸ÑÐ¿Ð°ÑÐµÐ½Ð¸Ðµ Ð»ÐµÑÑÑÐ¸Ñ Ð¸ ÑÐ°ÑÑÐ²Ð¾ÑÐ¸Ð¼ÑÑ ÐºÐ¾Ð¼Ð¿Ð¾Ð½ÐµÐ½ÑÐ¾Ð² ÑÐµÑÐ½Ð¸Ð», Ð²Ð½Ð¾ÑÑ Ð±Ð¾Ð»ÑÑÑÑ Ð´Ð¸ÑÐ¿ÐµÑÑÐ¸Ñ Ð² ÑÑÐ¾Ð¼Ð°ÑÐ¾Ð³ÑÐ°ÑÐ¸ÑÐµÑÐºÐ¸Ðµ Ð¸Ð·Ð¼ÐµÑÐµÐ½Ð¸Ñ. ÐÑÐ¾Ð²ÐµÐ´ÑÐ½ Ð°Ð½Ð°Ð»Ð¸Ð· ÑÐ°Ð·Ð»Ð¸ÑÐ½ÑÑ Ð¼Ð¾ÑÑÐ¾Ð»Ð¾Ð³Ð¸ÑÐµÑÐºÐ¸Ñ Ð¸ ÑÐ¸Ð¼Ð¸ÑÐµÑÐºÐ¸Ñ Ð¾ÑÐ¾Ð±ÐµÐ½Ð½Ð¾ÑÑÐµÐ¹ Ð±ÑÐ¼Ð°Ð¶Ð½Ð¾Ð³Ð¾ Ð»Ð¸ÑÑÐ° Ð¸ ÑÐ¾ÑÑÐ°Ð²Ð¾Ð² Ð¿Ð°ÑÑ ÑÐ°ÑÐ¸ÐºÐ¾Ð²ÑÑ ÑÑÑÐµÐº, Ð´Ð°Ð½Ð° ÑÐ°ÑÐ°ÐºÑÐµÑÐ¸ÑÑÐ¸ÐºÐ° Ð¸Ñ ÑÐ¾ÑÑÐ¾ÑÐ½Ð¸Ñ Ð¿ÑÐ¸ ÐµÑÑÐµÑÑÐ²ÐµÐ½Ð½Ð¾Ð¼ Ð¸ Ð¸ÑÐºÑÑÑÑÐ²ÐµÐ½Ð½Ð¾Ð¼ ÑÑÐ°ÑÐµÐ½Ð¸Ð¸. Ð ÐµÐ·ÑÐ»ÑÑÐ°ÑÑ ÑÐ°Ð±Ð¾ÑÑ Ð² Ð´Ð°Ð»ÑÐ½ÐµÐ¹ÑÐµÐ¼ Ð¼Ð¾Ð³ÑÑ Ð±ÑÑÑ Ð¸ÑÐ¿Ð¾Ð»ÑÐ·Ð¾Ð²Ð°Ð½Ñ Ð¿ÑÐ¸ ÑÐ°Ð·ÑÐ°Ð±Ð¾ÑÐºÐµ Ð¼ÐµÑÐ¾Ð´Ð¸Ðº Ð°Ð½Ð°Ð»Ð¸Ð·Ð° Ð´Ð°Ð²Ð½Ð¾ÑÑÐ¸ Ð´Ð¾ÐºÑÐ¼ÐµÐ½ÑÐ¾Ð².
description: In this paper, the features of the influence of moisture on chromatographic properties on the degradation of the properties of paper sheet and ball pen pastes are considered. As a result of studies, it was found that frequent and deep drops in natural humidity accelerate the evaporation of volatile and soluble components of the ink, introducing a large dispersion into chromatographic measurements. An analysis of various morphological and chemical features of the paper sheet and pastes of ball pens was carried out, a characteristic of their condition during natural and artificial aging was given. The results of work in the future can be used in the development of methods for analyzing the age of documents.
Additional file 1 of Predicting DNA binding protein-drug interactions based on network similarity
Creators: name: Wang, Wei
name: Lv, Hehe
name: Zhao, Yuan
Publisher: name: figshare
Year: 2020
Subjects: subject: Biophysics
subject: Biochemistry
subject: Medicine
subject: Genetics
subject: FOS: Biological sciences
subject: Pharmacology
subject: Biotechnology
subject: Biological Sciences not elsewhere classified
subject: Information Systems not elsewhere classified
subject: Cancer
subject: Mental Health
subject: Infectious Diseases
subject: FOS: Health sciences
subject: Virology
subject: Computational Biology

description: Additional file 1 Figure S1 shows the proportion of true/false DBP that our model recover. Figure S2 Illustration of drug-cluster association network. A). Drug-protein complex. B). Trimers of binding sites as a unit. C). The trimers are clustered based on the physicochemical properties. D). Drug-cluster association network. E). Predicting drug target in the associated network. Figure S3 shows a sample diagram of drug-cluster networks. Figure S4 shows the distribution of neighbors for drugs-clusters network.
Advent of Non-Abelian Vortices and Monopoles-- further thoughts about duality and confinement
Creators: name: Konishi, Kenichi
Publisher: name: arXiv
Year: 2008
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: Recent development on non-Abeliann vortices and monopoles is reviewed with an emphasis on their relevance on confinement and duality. A very recent construction of non-Abelian vortices which do not dynamically Abelianize is crucial in this context.
description: Contribution to "30 Years of Mathematical Methods in High Energy Physics", (Kyoto) March 2008
Kirurgisk behandling af long-gap oesofagus atresi, 2000-2014
Creators: Niels Qvist
Publisher: name: Rigsarkivet
Year: 2022

description: Formålet med dette studie er at undersøge, hvilke kirurgiske metoder som læger i Danmark, Norge, Sverige og Finland foretrækker i forbindelse med behandlingen af long gap oesofagus atresi. Ydermere ser studiet på komplikationer postoperativt. Herunder hospitalsindlæggelser, varighed af behandling samt varighed af parenteral ernæring.
A Novel Stabiliser for Remediation of Expansive Black Cotton Soil for Road Construction
Creators: name: Abba, Hadi Abubakar
Publisher: name: University of Surrey
Year: 2023

description: Globally, Black cotton soil (BCS) is an expansive soil that poses significant challenges for geotechnical and highway engineers. Consequently, the construction of flexible pavements on subgrades consisting of these natural soils is precarious, given their high compressibility and insufficient strength and stiffness to withstand structural loads. BCS treated with traditional stabilisers such as Ordinary Portland Cement (OPC) improves its properties. However, its production requires higher energy (1400-1450 °C) and releases significant quantities of CO2.

description:

description: Therefore, this research aimed to evaluate the performance of a new Limestone Calcined Cement (LC3) in stabilising BCS as subgrade material. The LC3 could reduce CO2 emissions from OPC by up to 40% and can be produced by existing cement plants. The basic engineering properties, such as consistency limit, cation exchange capacity, etc., of the BCS treated with LC3 and benchmarked with OPC, have been experimentally investigated. Other tests conducted include California Bearing Ratio (CBR), Unconfined Compressive Strength (UCS), Durability, and Resilient Modulus (MR). Samples were also characterised using Microstructural and thermal analysis.

description:

description: The UCS, MR, and unsoaked CBR strength development cured for seven days showed that OPC is higher than the blended cement. However, at the later age of 28 days of curing, the LC3 showed higher UCS, MR, and soaked CBR values than the OPC. The pavement's durability and the soil's basic engineering properties were also better with the new blended binder, and the optimum content was established at 6% additives. Also, The SEM-EDS morphology of the treated soil showed the formation of CSH, CAH, and C(A)SH gel due to pozzolanic reactivity, which was absent in the untreated BCS. The study concludes that the newly developed LC3 binder effectively treated the expansive subgrade material, significantly improving pavement engineering and geotechnical properties.
Region of Interest Coding in Photsat Mission
Creators: name: Pau Quintas Torra
name: Xavier Fernández Mellado
name: Òscar Maireles González
name: Miguel Hernández Cabronero
name: Joan Bartrina Rapesta
name: Joan Serra Sagristà
Publisher: name: Zenodo
Year: 2024

description: The Institute of Space Studies of Catalonia (IEEC) coordinates the PhotSat project [1], which involves the development and construction of a satellite to monitor the 10 million brightest stars in the sky for at least two years. The scientific objective of this project is to complement the Large Synoptic Survey Telescope (LSST) [2] and the GAIA mission [3] by examining the intensity of stars. In the PhotSat mission, a CubeSat is expected to be launched at the end of 2025, with the mission of scanning the entire sky using two cameras—one with an ultraviolet detector and another with a visible detector. The desired configurations of the camera field of view (FoV) and the sensor step size are 8◦ and 4◦, respectively, which will generate a total of 16.75 GB of image data that will need to be transmitted from the satellite to the Montsec ground station [4]. Since the download capacity to the Montsec station is limited to 8 GB per day, some compression is required.

The compression presented in this paper consists of two stages. The first stage uses an auto- matic object detection technique based on photometry [5], which analyzes the pixel intensities of the acquired data to identify the pixels corresponding to the Regions of Interest (ROI). This pro- cess adjusts the image so that only the ROIs are preserved, eliminating irrelevant pixels. In the second stage, the modified data is losslessly compressed using a prediction-based compressor and a contextual binary arithmetic encoder [6]. To provide contextual information around the ROI, the ROI can be expanded using the parameter ROI Extended Coding Pixels (RECP), which adds a specified number of pixels around the detected objects. Additionally, both the predictor and ROI coding can be independently enabled or disabled, allowing for faster execution and, under certain circumstances, improved coding performance.

Experimental results show that when our proposal is used with ROI coding disabled, all acquired data can be losslessly compressed to 5.86 GB. However, when ROI coding is enabled, compression performance improves significantly; for example, if RECP is set to 0 or 64, the acquired data can be compressed to 0.16 GB and 4.13 GB, respectively—a very significant compression.
Structural invariants in individuals language use: the "ego network" of words
Creators: name: Ollivier, Kilian
name: Boldrini, Chiara
name: Passarella, Andrea
name: Conti, Marco
Publisher: name: arXiv
Year: 2021
Subjects: subject: Social and Information Networks (cs.SI)
subject: FOS: Computer and information sciences

description: The cognitive constraints that humans exhibit in their social interactions have been extensively studied by anthropologists, who have highlighted their regularities across different types of social networks. We postulate that similar regularities can be found in other cognitive processes, such as those involving language production. In order to provide preliminary evidence for this claim, we analyse a dataset containing tweets of a heterogeneous group of Twitter users (regular users and professional writers). Leveraging a methodology similar to the one used to uncover the well-established social cognitive constraints, we find that a concentric layered structure (which we call ego network of words, in analogy to the ego network of social relationships) very well captures how individuals organise the words they use. The size of the layers in this structure regularly grows (approximately 2-3 times with respect to the previous one) when moving outwards, and the two penultimate external layers consistently account for approximately 60% and 30% of the used words (the outermost layer contains 100% of the words), irrespective of the number of the total number of layers of the user.
description: This work was partially funded by the following projects. European Union's Horizon 2020 research and innovation programme: SoBigData++ (No 871042), HumaneAI-Net (No 952026), MARVEL (No 957337). Italian PON-MISE program: OK-INSAID project (No ARS01 00917)
Magnetic Splitting of the Zero Bias Peak in a Quantum Point Contact with a Variable Aspect Ratio
Creators: name: Liu, Tai-Min
name: Hemingway, Bryan
name: Kogan, Andrei
name: Herbert, Steven
name: Melloch, Michael
Publisher: name: arXiv
Year: 2009
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: We report a zero-bias peak in the differential conductance of a Quantum Point Contact (QPC), which splits in an external magnetic field. The peak is observed over a range of device conductance values starting significantly below $2e^2/h$. The observed splitting closely matches the Zeeman energy and shows very little dependence on gate voltage, suggesting that the mechanism responsible for the formation of the peak involves electron spin. Precision Zeeman energy data for the experiment are obtained from a separately patterned single-electron transistor located a short distance away from the QPC. The QPC device has four gates arranged in a way that permits tuning of the longitudinal potential, and is fabricated in a GaAs/AlGaAs heterostructure containing 2-dimenional electron gas. We show that the agreement between the peak splitting and the Zeeman energy is robust with respect to moderate distortions of the QPC potential. We also show that the mechanism that leads to the formation of the ZBP is different from the conventional Kondo effect found in quantum dots.
description: 10 pages, 6 figures
Specifying and Testing GPU Workgroup Progress Models
Creators: name: Sorensen, Tyler
name: Salvador, Lucas F.
name: Raval, Harmit
name: Evrard, Hugues
name: Wickerson, John
name: Martonosi, Margaret
name: Donaldson, Alastair F.
Publisher: name: arXiv
Year: 2021
Subjects: subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences

description: As GPU availability has increased and programming support has matured, a wider variety of applications are being ported to these platforms. Many parallel applications contain fine-grained synchronization idioms; as such, their correct execution depends on a degree of relative forward progress between threads (or thread groups). Unfortunately, many GPU programming specifications say almost nothing about relative forward progress guarantees between workgroups. Although prior work has proposed a spectrum of plausible progress models for GPUs, cross-vendor specifications have yet to commit to any model. This work is a collection of tools experimental data to aid specification designers when considering forward progress guarantees in programming frameworks. As a foundation, we formalize a small parallel programming language that captures the essence of fine-grained synchronization. We then provide a means of formally specifying a progress model, and develop a termination oracle that decides whether a given program is guaranteed to eventually terminate with respect to a given progress model. Next, we formalize a constraint for concurrent programs that require relative forward progress to terminate. Using this constraint, we synthesize a large set of 483 progress litmus tests. Combined with the termination oracle, this allows us to determine the expected status of each litmus test -- i.e. whether it is guaranteed eventual termination -- under various progress models. We present a large experimental campaign running the litmus tests across 8 GPUs from 5 different vendors. Our results highlight that GPUs have significantly different termination behaviors under our test suite. Most notably, we find that Apple and ARM GPUs do not support the linear occupancy-bound model, an intuitive progress model defined by prior work and hypothesized to describe the workgroup schedulers of existing GPUs.
description: OOPSLA 2021
Kortlægning af lovende praksisser på området for overgreb mod børn og unge
Creators: Martin Williams Strandby
Publisher: name: Rigsarkivet
Year: 2022

description: Formålet med undersøgelsen er at klarlægge hvilke metoder, der bliver brugt på behandlingscentre i forbindelse med forebyggelse, opsporing, rådgivning og behandling af børn og unge i alderen 0-17 år, der har været udsat for fysiske og seksuelle overgreb. Metoden, der er anvendt til at undersøge dette, er i første omgang en spørgeskemaundersøgelse, der er sendt ud til 84 behandlingssteder i forskellige kommuner i Danmark. Ydermere er der foretaget en række kvalitative interviews blandt 14 udvalgte behandlingssteder. Slutteligt at der foretaget kvalitative litteraturstudier af behandlingssteder i andre nordiske lande.
Desperately seeking mathematical truth
Creators: name: Nathanson, Melvyn B.
Publisher: name: arXiv
Year: 2008
Subjects: subject: History and Overview (math.HO)
subject: FOS: Mathematics
subject: 00A30, 03A05

description: This article discusses epistemological problems in the philosophy of mathematics and issues concerning the reliability of the mathematical literature.
description: This article has been published on the Opinion page of the Notices of the American Mathematical Society, August, 2008
Code Perfumes: Reporting Good Code to Encourage Learners
Creators: name: Obermüller, Florian
name: Bloch, Lena
name: Greifenstein, Luisa
name: Heuer, Ute
name: Fraser, Gordon
Publisher: name: arXiv
Year: 2021
Subjects: subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences
subject: D.2.5; K.3.2
subject: 97P50

description: Block-based programming languages like Scratch enable children to be creative while learning to program. Even though the block-based approach simplifies the creation of programs, learning to program can nevertheless be challenging. Automated tools such as linters therefore support learners by providing feedback about potential bugs or code smells in their programs. Even when this feedback is elaborate and constructive, it still represents purely negative criticism and by construction ignores what learners have done correctly in their programs. In this paper we introduce an orthogonal approach to linting: We complement the criticism produced by a linter with positive feedback. We introduce the concept of code perfumes as the counterpart to code smells, indicating the correct application of programming practices considered to be good. By analysing not only what learners did wrong but also what they did right we hope to encourage learners, to provide teachers and students a better understanding of learners' progress, and to support the adoption of automated feedback tools. Using a catalogue of 25 code perfumes for Scratch, we empirically demonstrate that these represent frequent practices in Scratch, and we find that better programs indeed contain more code perfumes.
description: To be published in the proceedings of the 16th Workshop in Primary and Secondary Computing Education (WIPSCE)
Biomarkører i spinalvæsken ved Parkinsons sygdom og L-DOPA-induceret dyskinesi 2014-201
Creators: Andreas Dammann Andersen
Publisher: name: Rigsarkivet
Year: 2022

description: Nærværende undersøgelse er foretaget som et eksperiment, hvor der ses på biomarkører hos patienter med svær eller mild grad af parkinsons sygdom. Undersøgelsens er foretaget med tidsmæssigt perspektiv, hvor der tages prøver et år efter første prøvetagning. Derudover sammenlignes, der med patienter, der ikke lider af parkinsons sygdom og patienter med Alzheimer’s Demens.
Anisotropic Nodal-Line-Derived Large Anomalous Hall Conductivity in ZrMnP and HfMnP
Creators: name: Singh, Sukriti
name: Noky, Jonathan
name: Bhattacharya, Shaileyee
name: Vir, Praveen
name: Sun, Yan
name: Kumar, Nitesh
name: Felser, Claudia
name: Shekhar, Chandra
Publisher: name: arXiv
Year: 2021
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: The nontrivial band structure of semimetals has attracted substantial research attention in condensed matter physics and materials science in recent years owing to its intriguing physical properties. Within this class, a group of non-trivial materials known as nodal-line semimetals is particularly important. Nodal-line semimetals exhibit the potential effects of electronic correlation in nonmagnetic materials, whereas they enhance the contribution of the Berry curvature in magnetic materials, resulting in high anomalous Hall conductivity (AHC). In this study, two ferromagnetic compounds, namely ZrMnP and HfMnP, are selected, wherein the abundance of mirror planes in the crystal structure ensures gapped nodal lines at the Fermi energy. These nodal lines result in one of the largest AHC values of 2840 ohm^-1cm^-1, with a high anomalous Hall angle of 13.6 % in these compounds. First-principles calculations provide a clear and detailed understanding of nodal line-enhanced AHC. Our finding suggests a guideline for searching large AHC compounds.
description: 4 figures, 14 pages
Co-operation and resistance : Indian-European relations on the mining frontier in British Columbia, 1835-1858
Creators: name: Vaughan, Patricia Elizabeth
Publisher: name: University of British Columbia
Year: 2010

description: This thesis examines Indian-European relations on the mining frontier in British Columbia. In the mid-nineteenth century, Europeans became interested in exploiting the mineral resources of British Columbia, specifically coal and gold. These minerals were of little intrinsic value to the native populations. Coal was used as a pigment and in ornaments such as labrets, but it was not utilized extensively. Gold was not used at all in the traditional or early post-contact periods. Mining was, therefore, an unfamiliar activity to the Indians. Nevertheless, when Europeans turned to exploiting these resources, the Indians demonstrated that they could readily adapt to this new activity. Several aspects of traditional northwest coast societies facilitated native integration into mining. Coastal cultures were preoccupied with prestige and rank. Positions in the social hierarchy were hereditary but had to be upheld constantly by means of property distributions called potlatches. In order to sustain the potlatch surplus production and business ability were necessary. While the natural wealth of the region, in part, enabled the Indians to maintain the potlatch, so did their energy and trading skills. The native populations had, in fact, numerous specialized economic activities, most of which aimed at producing a surplus of goods, both foodstuffs and manufactured articles. These features of traditional northwest coast societies facilitated Indian adaptation to mining and provided an incentive for their participation in this activity. The fur trade, however, furnished the frame of reference for the relationship which emerged on the mining frontier. The Indians mined and traded coal and gold to the Hudson's Bay Company for some years thus maintaining a cooperative economic relationship similar to that established during the fur trade. Eventually, this relationship was threatened by white miners, who, with their superior mining techniques and equipment, demonstrated that the Indians were irrelevant to their aims. The native populations did not passively submit to efforts by white miners to displace Indian labour and to secure control over production. On both the coal and gold mining frontiers, Indians resisted attempts by white men to disrupt the cooperative economic relationship established between themselves and the Hudson's Bay Company.
Arbejdsliv og Politik set i et Lønmodtagerperspektiv (APL) III, 2014
Creators: Emmett Caraker
Publisher: name: Rigsarkivet
Year: 2022

description: Dette studie beskæftiger sig med lønmodtagere og deres holdninger, erfaringer og vurderinger af emner, der omhandler arbejdspladsen, arbejdsmarkedet, fagforeninger og samfundspolitik. Ydermere beskæftiger dette studie sig med spørgsmål om individualitet, solidaritet, værdier – både af materiel og immateriel art, men også politiske værdier, samfundsspørgsmål og forskellige typer af deltagelse. Dette undersøges ved hjælp af et tværsnitsstudie af et repræsentativt udsnit af lønmodtagere i Danmark.
CoMatcher: Multi-View Collaborative Feature Matching
Creators: name: Zhang, Jintao
name: Xia, Zimin
name: Dong, Mingyue
name: Shen, Shuhan
name: Yue, Linwei
name: Zheng, Xianwei
Publisher: name: arXiv
Year: 2025
Subjects: subject: Computer Vision and Pattern Recognition (cs.CV)
subject: FOS: Computer and information sciences
subject: I.4.8; I.2.10; I.5.4

description: This paper proposes a multi-view collaborative matching strategy for reliable track construction in complex scenarios. We observe that the pairwise matching paradigms applied to image set matching often result in ambiguous estimation when the selected independent pairs exhibit significant occlusions or extreme viewpoint changes. This challenge primarily stems from the inherent uncertainty in interpreting intricate 3D structures based on limited two-view observations, as the 3D-to-2D projection leads to significant information loss. To address this, we introduce CoMatcher, a deep multi-view matcher to (i) leverage complementary context cues from different views to form a holistic 3D scene understanding and (ii) utilize cross-view projection consistency to infer a reliable global solution. Building on CoMatcher, we develop a groupwise framework that fully exploits cross-view relationships for large-scale matching tasks. Extensive experiments on various complex scenarios demonstrate the superiority of our method over the mainstream two-view matching paradigm.
description: 15 pages, 7 figures, to be published in CVPR 2025
Effekter af aerob træning på hjernens sundhed hos mennesker med multipel sclerose, 2016-2018
Creators: Martin Langeskov Christensen
Publisher: name: Rigsarkivet
Year: 2022

description: Undersøgelsen har til formål at vurdere de positive effekter af motion på sklerosepatienter. Dette undersøges ved hjælp af et interventionsstudie, hvor en gruppe bliver bedt om at konditionstræne, og en anden gruppe ikke gør. Studiet indhenter derefter en lang række medicinske data, der skal beskrive effekten af konditionstræning hos sklerosepatienter.
Secure Email -- A Usability Study
Creators: name: Reuter, Adrian
name: Boudaoud, Karima
name: Winckler, Marco
name: Abdelmaksoud, Ahmed
name: Lemrazzeq, Wadie
Publisher: name: arXiv
Year: 2021
Subjects: subject: Cryptography and Security (cs.CR)
subject: Human-Computer Interaction (cs.HC)
subject: FOS: Computer and information sciences

description: Several end-to-end encryption technologies for emails such as PGP and S/MIME exist since decades. However, end-to-end encryption is barely applied. To understand why users hesitate to secure their email communication and which usability issues they face with PGP, S/MIME as well as with pEp (Pretty Easy Privacy), a fairly new technology, we conducted an online survey and user testing. We found that more than 60% of e-mail users are unaware of the existence of such encryption technologies and never tried to use one. We observed that above all, users are overwhelmed with the management of public keys and struggle with the setup of encryption technology in their mail software. Even though users struggle to put email encryption into practice, we experienced roughly the same number of users being aware of the importance of email encryption. Particularly, we found that users are very concerned about identity theft, as 78% want to make sure that no other person is able to write email in their name.
Atomistic simulations of cardiac troponin with phosphorylation andmutation effects
Creators: name: Yang, Zeyu
Publisher: name: Imperial College London
Year: 2023

description: Cardiac troponin, the regulator of the striated muscle contraction process in sarcomere, plays an important role in the heart's circulation function. Phosphorylation of the cardiac troponin I by protein kinase A decreases troponin's calcium sensitivity and reduces the muscle relaxation time constant under beta-adrenergic signalling. This phosphorylation-induced lusitropic effect is disrupted by single amino-acid mutations in the thin filament which are the main causes of many genetic cardiomyopathies that can lead to unexpected heart failures or sudden death. Experimentally, epigallocatechin-3 gallate (EGCG) and its analogues were shown to be able to restore the coupled relationship between calcium sensitivity and troponin's phosphorylation states in the diseased mutants. It is therefore of great interest to elucidate how phosphorylation at serines 22 and 23 of troponin I modulates muscle contractility and discover potential treatments for cardiomyopathies caused by mutations. However, this has been difficult because the key regulatory segments of cTn, especially cTnI 1-33, are disordered and absent from the crystal structures. A complete molecular mechanism of phosphorylation-dependent troponin dynamics is still unknown owing to the current limitations of experiments where only a partial structure or a static structure can be obtained. Molecular dynamics (MD) simulation has gained popularity in recent years. The rapid increase in available computational resources has allowed the simulations of a more complete structure of troponin over a longer timescale. This study aims to discover the molecular mechanisms of phosphorylation effects in the wild-type and disease-causing mutations with MD simulation. Here I present the key results discovered from our all-atom MD simulations of the core of the troponin complex including the major changes in troponin's molecular interactions caused by phosphorylation and the TNNC1 G159D mutation. Additional work was conducted to include small molecules in the simulations to study the structural and dynamic changes in troponin due to ligand interactions. Finally, I propose a new method for analysing residue interaction networks based on the concept of Granger causality.
Den Nationale Arbejdsmiljøtværsnitsundersøgelse 2008 (NAT)
Creators: NFA - Det Nationale Forskningscenter for Arbejdsmiljø
Publisher: name: Rigsarkivet
Year: 2022

description: Undersøgelsens formål er at supplere den ”Nationale Arbejdsmiljø Kohorte”. Dette i form af test af nye spørgsmål og stikprøvestrategier. Dette muliggør nye analyser af emnet. Undersøgelsen består af to dele: En stikprøve, hvor et antal medarbejdere på specifikke arbejdspladser er blevet inddraget for at kunne sammenligne arbejdspladsernes arbejdsmiljø. Derudover består studiet af en del, der specifikt beskæftiger sig med ældre på arbejdsmarkedet.
A new kind of augmentation of filtrations
Creators: name: Najnudel, Joseph
name: Nikeghbali, Ashkan
Publisher: name: arXiv
Year: 2009
Subjects: subject: Probability (math.PR)
subject: FOS: Mathematics

description: Let $(Ω,\mathcal{F},(\mathcal{F}_t)_{t \geq 0},\mathbb{P})$ be a filtered probability space satisfying the usual assumptions: it is usually not possible to extend to $\mathcal{F}_{\infty}$ (the $σ$-algebra generated by $(\mathcal{F}_t)_{t \geq 0}$) a coherent family of probability measures $(\mathbb{Q}_t)$, each of them being defined on $\mathcal{F}_t$. It is known that for instance, on the Wiener space, this extension problem has a positive answer if one takes the filtration generated by the coordinate process, but can have a negative answer if one takes its usual augmentation. On the other hand, the usual assumptions are crucial in order to obtain the existence of regular versions of paths for most stochastic processes of interest, such as the local time of the standard Brownian motion, stochastic integrals, etc. In order to fix this problem, we introduce a new property for filtrations, intermediate between the right continuity and the usual conditions. We show that most of the important results of the theory of stochastic processes which are generally proved under the usual augmentation, such as the existence of regular version of trajectories or the début theorem, still hold under the N-augmentation; moreover this new augmentation allows the extension of a coherent family of probability measures whenever this is possible with the original filtration.
description: A new reference to earlier work by K. Bichteler is added
The role of the brain stem in the development of inhibition of spinal interneuronal activity
Creators: name: Smith, Wayne Michael
Publisher: name: University of British Columbia
Year: 2010

description: Repeated, intense, cutaneous stimulation results in the gradual development of inhibition of spinal interneurones. This change in neuronal activity could not be demonstrated in rats whose spinal cords had been transected, and was considered to be the consequence of supraspinal mechanisms. . Experiments sere carried out to determine which areas of the brain were involved. Unitary recordings from neurones situated in nucleus reticularis pontis-caudalis, nucleus reticularis giganto-cellularis, nucleus reticularis parvocellularis and nucleus medulla oblongata pars ventralis demonstrated a progressively increasing excitatory response to repeated intense cutaneous stimulation. These areas were shown to have direct projections to the spinal cord, by retrograde transport of horseradish peroxidase. Cells in nucleus reticularis gigantocellularis, which demonstrated a progressively increasing excitatory response, could also be antidromically activated from the spinal cord. Repeated stimulation of some of these areas produced a progressive inhibition of spinal interneurones which was similar to that resulting from cutaneous stimulation. It would appear that nucleus reticularis gigantocellularis and nucleus reticularis pontis-caudalis are involved in the development of a progressive inhibition of spinal interneurones. A similar role for other reticular and raphe nuclei can not be excluded on the basis of evidence presently available.
Fedt- og sukkeromsætningen under fysisk arbejde hos patienter med Glycogenin-1 mangel
Creators: John Vissing
Publisher: name: Rigsarkivet
Year: 2022

description: Formålet med denne undersøgelse er at finde ud af, hvorvidt intravenøst tilskud af glukose til patienter med glycogenin-1-mangel kan lindre intolerance over for hårdt fysisk arbejde. Undersøgelsen er foretaget i form af et eksperiment, hvor en gruppe af patienter med glycogenin-1-mangel blev bedt om at cykle med deres absolutte hastighed og gruppen af raske patienter blev bedt om at cykle med 50 % af deres absolutte hastighed. Patienterne med glycogenin-1-mangel blev intravenøst tilført glukose.
On quantisations of probability measures in convex order, and generalised notions of conditional expectation, with applications
Creators: name: Massa, Marco
Publisher: name: Imperial College London
Year: 2023

description: In Chapter 2, we introduce the martingale quantisation scheme which, given probabilities $\mu\leqcx\nu$ in convex order and defined on a separable Banach space $B$, constructs finitely-supported approximations $\mu_n\to\mu, \nu_n\to\nu$ which are in convex order $\mu_n\leqcx\nu_n$. We provide upper-bounds for the speed of convergence, in terms of the Wasserstein distance. We discuss the (dis)advantages of our algorithm and its link with the discretisation of the Martingale Optimal Transport problem. We study the operation which given $\mu/\nu$ and some (finite) partition of $B$, outputs $\mu_n/\nu_n$, showing that applied to a probability $\gamma$ and to all partitions it outputs the set of all finitely-supported probabilities $\zeta\leqcx\gamma$. In Chapter 3, we investigate cases where we can explicitly construct a martingale transport between $\mu,\nu$ such that $\mu\leqcx \nu$ and propose suitable variants of the martingale quantisation which apply in those cases. We show that this happens for a vast parametric classes of stable and finite-moment log-stable distributions which have important applications in mathematical finance. For such classes of distributions, we provide sufficient conditions (and also necessary for the log-stable case) for the convex ordering $\mu\leqcx\nu$. We additionally propose a generalisation of the martingale quantisation and carry out numerical examples in which we illustrate the implementation of the proposed constructions. In Chapter 4, we extend the notion of conditional expectation to all real-valued random variables. We do so by providing several different definitions and show that they are all equivalent. As an application, we use the extended definition of conditional expectation to generalise the martingale quantisation applied to probability measures $\mu,\nu$ which do not necessarily have finite first moment and such that $\nu$ is a dilation of $\mu$.
The physics of higher-order interactions in complex systems
Creators: name: Battiston, Federico
name: Amico, Enrico
name: Barrat, Alain
name: Bianconi, Ginestra
name: de Arruda, Guilherme Ferraz
name: Franceschiello, Benedetta
name: Iacopini, Iacopo
name: Kéfi, Sonia
name: Latora, Vito
name: Moreno, Yamir
name: Murray, Micah M.
name: Peixoto, Tiago P.
name: Vaccarino, Francesco
name: Petri, Giovanni
Publisher: name: arXiv
Year: 2021
Subjects: subject: Physics and Society (physics.soc-ph)
subject: Disordered Systems and Neural Networks (cond-mat.dis-nn)
subject: Social and Information Networks (cs.SI)
subject: Adaptation and Self-Organizing Systems (nlin.AO)
subject: Neurons and Cognition (q-bio.NC)
subject: FOS: Physical sciences
subject: FOS: Computer and information sciences
subject: FOS: Biological sciences

description: Complex networks have become the main paradigm for modelling the dynamics of interacting systems. However, networks are intrinsically limited to describing pairwise interactions, whereas real-world systems are often characterized by higher-order interactions involving groups of three or more units. Higher-order structures, such as hypergraphs and simplicial complexes, are therefore a better tool to map the real organization of many social, biological and man-made systems. Here, we highlight recent evidence of collective behaviours induced by higher-order interactions, and we outline three key challenges for the physics of higher-order systems.
description: pre-peer-reviewed version of the Nature Physics perspective, 7 pages, 4 figures
The Crab Nebula's Composition and Precursor Star Mass
Creators: name: MacAlpine, Gordon M.
name: Satterfield, Timothy J.
Publisher: name: arXiv
Year: 2008
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: We present results of new photoionization calculations for investigating gaseous regions that represent potentially expected stages of nuclear processing in the Crab Nebula supernova remnant. In addition to gas resulting from CNO-processing and oxygen-burning, as previously reported, a large component of the nebula appears to be carbon-rich. These results suggest that the precursor star had an initial mass of 9.5 solar masses or more.
description: manuscript in AASTeX, 6 figures in .eps, submitted to Astronomical Journal
Investigating the role of membrane transporters in the adaptation of cancer cells to an acidic microenvironment
Creators: name: Arizanova, Julia
Publisher: name: Imperial College London
Year: 2023

description: As regulators of nutrient uptake, efflux, and compartmentalization, solute carrier (SLC) transporters have a significant impact on cellular metabolism, and as the metabolic interface between the cell and its environment, they are well-placed to enable cancer cells to adapt to the tumour microenvironment. While adaptations to a hypoxic microenvironment are well characterised, less is known about acidosis- specific adaptations. We hypothesised that SLC expression signatures of cancer cells change in response to acidosis, to facilitate metabolic adaptations and survival. We aimed to characterise changes in SLC expression patterns that are specifically associ- ated with acidosis. We used a computational approach to identify samples within the TCGA database with a more or less acidic microenvironment, using transcriptional ‘proxy’ signatures and interrogated differential SLC expression in these samples. The creatine transporter SLC6A8 was upregulated in more ‘acidic’ tumours, especially in lung (LUAD) and colon adenocarcinoma (COAD). This coincided with upregulation of the glucose transporter SLC2A1 and lactate transporter SLC16A13, suggesting SLC6A8 is associated with a more glycolytic phenotype. Analysis of publicly avail- able single-cell transcriptomics data revealed SLC6A8 is predominantly expressed on cancer cells in LUAD clinical samples, and that the transporter is upregulated in late- versus early-stage LUAD. In vitro however, we did not observe acidosis-specific effects of creatine on cancer cell proliferation. In parallel, we investigated the effect of an acidic microenvironment on a panel of lung and colorectal cancer cell lines. Lung lines showed a stronger transcriptional response to acidosis, and a ‘LUAD in vitro acidosis signature’ (LIVAS) was iden- tified. Clinically, LIVAS was associated with a favourable prognosis, and was neg- atively correlated with a hypoxic transcriptional signature. Interestingly, SLC6A8 was downregulated in lung cancer cell lines cultured in acidic conditions. The same was true of glycolytic enzymes and the glucose transporter SLC2A1. This data suggests acidosis in the absence of hypoxia could promote a less glycolytic and sub- sequently less aggressive phenotype in lung cancer.