9607 research outputs found
Sort by
MarineLLM-PDDL: Generation of Planning Domains for Marine Vessels Using Past Incident Response Plans
No full textTesting the hardware and software of marine vessels in field trials is a necessity to avoid technical and environmental catastrophes. Conducting tests with large vessels is costly. Multiple realistic domain descriptions based on past missions could increase the value of simulation tests, reducing the need for expensive field tests. In this paper, we generate scenarios from unstructured Incident Response Plan (IRP) documents using Large Language Models (LLMs), converting them to standard structured planning programs. The two synthesized marine test-domain datasets contain approximately 90% parsable, 75% solvable, and 57% correct planning programs
Formalizing Concentration Inequalities in Rocq: Infrastructure and Automation
No full textConcentration inequalities are standard lemmas providing upper bounds on deviations of random variables. To formalize concentration inequalities, we have been developing a general library of lemmas for probability theory in the Rocq prover. This effort led us to revisit already established technical aspects of the Mathematical Components libraries. In this paper, we report on improvements of general interest resulting from our formalization. We devise types for numeric values and a lightweight semi-decision procedure, based on interval arithmetic. We also extend the hierarchy of available mathematical structures to formalize Lebesgue spaces. We illustrate our new formalization of probability theory with the complete proof of a concentration inequality for Bernoulli sampling
Assessing the Impact of Group Interactions on Climate-related Opinion Change in Reddit - Dataset
No full textThis dataset collects anonymized conversation networks from six subreddits. The data spans from July 1, 2020, to December 31, 2022. This dataset has been used in the article "Assessing the Impact of Group Interactions on Climate-related Opinion Change in Reddit", currently under review. The dataset contains data from six different subreddits for a total of: 6,251 submissions; 363,350 comments; 54,923 unique users. Each submission file contains the following fields: subreddit_id sub_id author_id created_at predicted_stance_score. This field indicates the author's position on climate change. Please refer to the paper for more details. Each thread file contains the following fields: comm_id sub_id parent_id subreddit_id author_id created_at predicted_stance_scor
Collection of DIY Cloth face mask patterns
No full textDescription of 45 different DIY cloth mask patterns created and openly shared during COVID-19 emergency in 2020-202
Haskell and Agda code for the article "The Calculated Typer"
No full textHaskell and Agda code for the article "The Calculated Typer
Path to GPU-Initiated I/O for Data-Intensive Systems
No full textThe process of training and serving deep learning (DL) models is computationally expensive, mandating the use of powerful and expensive accelerators such as GPUs and TPUs. Furthermore, the prevalence of GPUs in data centers today motivate developing database systems that can leverage the available GPU resources. Both the latency of DL tasks and database queries and high utilization of these accelerators depend on how efficiently we can move the data to the accelerators. Given today’s dataset sizes, fitting everything in GPU or even CPU memory is not always feasible or can be expensive. The I/O path while fetching the data from disks, however, still dominantly relies on CPUs.In this work, we take a step toward understanding today’s landscape for optimizing the I/O path for reading data to GPUs from disks, with a focus on SSDs. First, we review the prominent technologies that target GPU-centric storage accesses. Then, we dive deeper into BaM, as the state-of-the-art method for GPU-centric storage, and evaluate its performance in comparison to the state-of-theart CPU-centric storage interface SPDK. Our results demonstrate that while BaM is able to match the performance of SPDK without involving CPUs on the I/O path, this comes at the cost of a very high GPU use. Finally, we highlight future research directions to enable an I/O path that is both efficient and easy-to-adopt for data-intensive systems that use GPUs
. ‘I believe that democracy is connected to citizenship'. Young Danes and informed, democratic citizenship
No full text'I believe that democracy is connected to citizenship'. Young Danes and informed, democratic citizenshipThe presentation’s objective is to present results from an ongoing study investigating intersecting conditions for young citizens' experiences with and perceptions of informed democratic citizenship. The presentation triangulates three points: Young citizens are the bearers of future sustainable democracy (Cammaerts et al., 2014; Mascheroni & Murri, 2017; Stald, 2023); Informed citizenship redefined is vital for the foundation of sustainable democracy (Bennett, 2008; Ohme et al., 2022); Sustainable democracy depends on the collective ability to allowing new forms of information and informed citizenship, and supporting young generations' development of democratic self-efficacy (Coleman & Blumler, 2009; Cortesi et al., 2020; Stald & Balle, 2024).The study focuses on a broadly defined majority of young Danes. Gray (2017) labels the group 'the silent citizens', but they are also well-informed, democratically engaged, and critically reflective (DUF, 2023; Stald, 2023). The presentation draws on two sets of qualitative interviews: 16 interviews (April 2021) with 16–24-year-old Danes and 20 interviews (April 2024) with 16-18-year-old Danes. The findings are supported by publicly available survey data about young Danish citizens' (social) media use for information and participation (DUF, 2023; Schrøder et al., 2023; Statistics Denmark, 2023). Most informants express that political topics and democratic engagement are sometimes relatable for them, even if they do not want to express their opinions publicly, online or offline, and the notion of the importance of civic information and participation is high:It is about all of us being part of something in common. That we all must influence our and our friends' everyday lives. It is not just about you – and yet it is, very much. Well, and some people manage to debate and stand up and say, 'I represent this point of view'! (Female, 19)<br/
Subword symmetry in natural languages
No full textSymmetric patterns are found in the orderly arrangements of natural structures, from proteins to the symmetry in animals’ bodies. Symmetric structures are more stable and easier to describe and compress, which is why they may have been preferred as building blocks in natural selection. The idea that natural languages undergo an evolutionary process akin to the evolution of species has been pervasive in the study of language. This process might result in symmetric patterns as in other natural structures, but the notion of symmetry is rarely associated with the study of natural language. In this study, we look for symmetric patterns in text data, considering the length of subword units under a range of possible subword analyses. We study the length of subword units in 32 languages and discover that the splits of long words tend to be symmetric regardless of the segmentation method and that some automatic methods give symmetric splits at all word lengths. These results include natural language in the set of phenomena that can be described in terms of symmetry, opening a new research avenue for the empirical study of text data as a structure comparable to various other structures in the natural world
Formalizing Concentration Inequalities in Rocq: Infrastructure and Automation
No full textConcentration inequalities are standard lemmas providing upper bounds on deviations of random variables. To formalize concentration inequalities, we have been developing a general library of lemmas for probability theory in the Rocq prover. This effort led us to revisit already established technical aspects of the Mathematical Components libraries. In this paper, we report on improvements of general interest resulting from our formalization. We devise types for numeric values and a lightweight semi-decision procedure, based on interval arithmetic. We also extend the hierarchy of available mathematical structures to formalize Lebesgue spaces. We illustrate our new formalization of probability theory with the complete proof of a concentration inequality for Bernoulli sampling