English
Related papers

Related papers: Artifact: Measuring and Mitigating Gaps in Structu…

200 papers

Achieving fault-tolerance will require a strong relationship between the hardware and the protocols used. Different approaches will therefore naturally have tailored proof-of-principle experiments to benchmark progress. Nevertheless,…

Quantum Physics · Physics 2024-05-28 Milan Liepelt , Tommaso Peduzzi , James R. Wootton

The Software Engineering (SE) community has been embracing the open science policy and encouraging researchers to disclose artifacts in their publications. However, the status and trends of artifact practice and quality remain unclear,…

Software Engineering · Computer Science 2024-04-11 Mugeng Liu , Xiaolong Huang , Wei He , Yibing Xie , Jie M. Zhang , Xiang Jing , Zhenpeng Chen , Yun Ma

In software testing, a set of test cases is constructed according to some predefined selection criteria. The software is then examined against these test cases. Three interesting observations have been made on the current artifacts of…

Software Engineering · Computer Science 2020-03-02 T. Y. Chen , S. C. Cheung , S. M. Yiu

Structured prediction problems are one of the fundamental tools in machine learning. In order to facilitate algorithm development for their numerical solution, we collect in one place a large number of datasets in easy to read formats for a…

Simulation techniques are providing with each passing day a deeper insight into the structure and properties of materials. Two main obstacles appear for the cooperation of simulation and experiment: on the one hand, the frequent lack of a…

Materials Science · Physics 2018-06-29 Francesca Peccati , Rubén Laplaza , Julia Contreras-García

This paper presents our work-in-progress study on reference architectures as boundary objects for realizing trustworthy collaborative Cyber-Physical Systems (CPS). Furthermore, the preliminary results from interviews with systems…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-08-31 Muhammad Rusyadi Ramli , Fredrik Asplund , Martin Torngren

Virtualization technology allows currently any application run any application complex and expensive computational (the scientific applications are a good example) on heterogeneous distributed systems, which make regular use of Grid and…

Distributed, Parallel, and Cluster Computing · Computer Science 2011-08-03 Tomas Ramirez Picarzo , Francisco Fernandez de Vega , Daniel Lombrana Gonzalez

Software supply chain attacks, which exploit the build process or artifacts used in the process of building a software product, are increasingly of concern. To combat these attacks, one must be able to check that every artifact that a…

Software Engineering · Computer Science 2024-02-15 Bharathi Seshadri , Yongkui Han , Chris Olson , David Pollak , Vojislav Tomasevic

The ability to repeat the experiments from a research study and obtain similar results is a corner stone in experiment-based scientific discovery. This essential feature has been often ignored by the distributed computing and networking…

Networking and Internet Architecture · Computer Science 2014-10-08 Thierry Rakotoarivelo , Guillaume Jourjon , Olivier Mehani , Maximilian Ott , Mike Zink

Art and culture, at their best, lie in the act of discovery and exploration. This paper describes Resurrect3D, an open visualization platform for both casual users and domain experts to explore cultural artifacts. To that end, Resurrect3D…

Human-Computer Interaction · Computer Science 2021-12-22 Joshua Romphf , Elias Neuman-Donihue , Gregory Heyworth , Yuhao Zhu

Indentation test is used with growing popularity for the characterization of various materials on different scales. Developed methods are combining the test with computer simulation and inverse analyses to assess material parameters…

Computational Physics · Physics 2015-07-14 Vladimir Buljak , Shwetank Pandey

Techniques for verifying or invalidating the security of computer systems have come a long way in recent years. Extremely sophisticated tools are available to specify and formally verify the behavior of a system and, at the same time,…

Cryptography and Security · Computer Science 2024-04-16 Matteo Busi , Riccardo Focardi , Flaminia Luccio

With the advancement of IPTV and HDTV technology, previous subtle errors in videos are now becoming more prominent because of the structure oriented and compression based artifacts. In this paper, we focus towards the development of a…

Computer Vision and Pattern Recognition · Computer Science 2018-08-31 Md Mehedi Hasan , Tasneem Rahman , Kiok Ahn , Oksam Chae

With a large number of software tools dedicated to the visualisation and/or demonstration of properties of geometric constructions and also with the emerging of repositories of geometric constructions, there is a strong need of linking…

Computational Geometry · Computer Science 2012-07-12 Pedro Quaresma

Measurements at particle collider experiments, even if primarily aimed at understanding Standard Model processes, can have a high degree of model independence, and implicitly contain information about potential contributions from physics…

High Energy Physics - Phenomenology · Physics 2021-08-20 A. Buckley , J. M. Butterworth , L. Corpe , M. Habedank , D. Huang , D. Yallup , M. Altakach , G. Bassman , I. Lagwankar , J. Rocamonde , H. Saunders , B. Waugh , G. Zilgalvis

Structured Outputs from current LLMs exhibit sporadic errors, hindering enterprise AI deployment. We present CONSTRUCT, a real-time uncertainty estimator that scores the trustworthiness of LLM Structured Outputs. Lower-scoring outputs are…

Computation and Language · Computer Science 2026-04-01 Hui Wen Goh , Jonas Mueller

Academic Clinical Trial Units frequently face fragmented statistical workflows, leading to duplicated effort, limited collaboration, and inconsistent analytical practices. To address these challenges within an oncology Clinical Trial Unit,…

This work presents a maturity model for assessing catalogues of semantic artefacts, one of the keystones that permit semantic interoperability of systems. We defined the dimensions and related features to include in the maturity model by…

Digital Libraries · Computer Science 2024-06-06 Oscar Corcho , Fajar J. Ekaputra , Ivan Heibi , Clement Jonquet , Andras Micsik , Silvio Peroni , Emanuele Storti

Bug-fix benchmarks are fundamental in advancing various sub-fields of software engineering such as automatic program repair (APR) and fault localization (FL). A good benchmark must include recent examples that accurately reflect…

Software Engineering · Computer Science 2024-03-15 Nuno Saavedra , André Silva , Martin Monperrus

Variational Quantum Algorithms (VQAs) are a promising application for near-term quantum processors, however the quality of their results is greatly limited by noise. For this reason, various error mitigation techniques have emerged to deal…

Quantum Physics · Physics 2020-10-19 George S. Barron , Christopher J. Wood
‹ Prev 1 4 5 6 7 8 10 Next ›