English
Related papers

Related papers: HFODD (v2.08k): User's Guide

200 papers

Photon-HDF5 is an open-source and open file format for storing photon-counting data from single molecule microscopy experiments, introduced to simplify data exchange and increase the reproducibility of data analysis. Part of the Photon-HDF5…

Quantitative Methods · Quantitative Biology 2022-03-22 Donald Ferschweiler , Maya Segal , Shimon Weiss , Xavier Michalet

Information protection is becoming a focal point for designing, creating and implementing software applications within highly integrated technology environments. The use of a safe coding technique in the software development process is…

Software Engineering · Computer Science 2020-12-11 Isaac Chin Eian , Lim Ka Yong , Majesty Yeap Xiao Li , Noor Affan Bin Noor Hasmaddi , Fatima-tuz-Zahra

The freud Python package is a powerful library for analyzing simulation data. Written with modern simulation and data analysis workflows in mind, freud provides a Python interface to fast, parallelized C++ routines that run efficiently on…

In programming, better tools often yield better results. For that, modern programming environments offer mechanisms to allow for their extensibility. The closer those tools are to the code, the easier it is for programmers to map the…

Programming Languages · Computer Science 2026-03-09 Tom Beckmann , Christoph Thiede , Jens Lincke , Robert Hirschfeld

Since the advent of next-generation sequencing in the early 2000s, the volume of bioinformatics software tools and databases has exploded and continues to grow rapidly. Documenting this evolution on a global and time-dependent scale is a…

We introduce FontCode, an information embedding technique for text documents. Provided a text document with specific fonts, our method embeds user-specified information in the text by perturbing the glyphs of text characters while…

Computer Vision and Pattern Recognition · Computer Science 2019-06-12 Chang Xiao , Cheng Zhang , Changxi Zheng

Professional software offers immense power but also presents significant learning challenges. Its complex interfaces, as well as insufficient built-in structured guidance and unfamiliar terminology, often make newcomers struggle with task…

Human-Computer Interaction · Computer Science 2025-05-20 Yimeng Liu , Misha Sra

Voice enhancement and voice coding are imperative and important functions in a voice-communication system. However, both functions are commonly treated independently, even though both utilize similar features of the underlying signals. Our…

Audio and Speech Processing · Electrical Eng. & Systems 2019-11-14 Phani Kumar Nyshadham , D R Shivakumar , Peter Kroon , Shmulik Markovich-Golan

UTF-16 is a widely used Unicode encoding representing characters with one or two 16-bit code units. The format relies on surrogate pairs to encode characters beyond the Basic Multilingual Plane, requiring a high surrogate followed by a low…

Other Computer Science · Computer Science 2026-01-13 Robert Clausecker , Daniel Lemire

We present The MKID Pipeline, a general use science data pipeline for the reduction and analysis of ultraviolet, optical and infrared (UVOIR) Microwave Kinetic Inductance Detector (MKID) data sets. This paper provides an introduction to the…

Instrumentation and Methods for Astrophysics · Physics 2022-03-04 Sarah Steiger , John I. Bailey , Nicholas Zobrist , Noah Swimmer , Rupert Dodkins , Kristina K. Davis , Benjamin A. Mazin

ICD(International Classification of Diseases) coding involves assigning ICD codes to patients visit based on their medical notes. ICD coding is a challenging multilabel text classification problem due to noisy medical document inputs.…

Computation and Language · Computer Science 2024-09-04 Bin Zhang , Junli Wang

We propose an improved soft-aided decoding scheme for product codes that approaches the decoding performance of conventional soft-decision TPD with only a 0.2 dB gap while keeping the complexity and internal decoder data flow similarly low…

Information Theory · Computer Science 2022-07-12 Sisi Miao , Lukas Rapp , Laurent Schmalen

According to what is stated in the IVOA Recommendation "An IVOA standard for Unified Content Descriptors", a procedural document should be created in order to maintain (add, change, suppress words) the standard list of UCD1+ words "The…

Robots are typically described in software by specification files (e.g., URDF, SDF, MJCF, USD) that encode only basic kinematic, dynamic, and geometric information. As a result, downstream applications such as simulation, planning, and…

Robotics · Computer Science 2026-01-01 Roshan Klein-Seetharaman , Daniel Rakita

Code generation from models is a core activity in model-driven development (MDD). For complex systems it is usually impossible to generate the entire software system from models alone. Thus, MDD requires mechanisms for integrating generated…

Intel includes in its recent processors a powerful set of instructions capable of processing 512-bit registers with a single instruction (AVX-512). Some of these instructions have no equivalent in earlier instruction sets. We leverage these…

Data Structures and Algorithms · Computer Science 2024-08-06 Robert Clausecker , Daniel Lemire

In this paper, we present a domain specific process to assist the verification of observer-based fault detection software. Observer-based fault detection systems, like control systems, yield invariant properties of quadratic types. These…

Systems and Control · Computer Science 2013-11-11 Timothy Wang , Alireza Esna Ashari , Romain Jobredeaux , Eric M. Feron

Discrete Choice Experiments (DCE) have been widely used in health economics, environmental valuation, and other disciplines. However, there is a lack of resources disclosing the whole procedure of carrying out a DCE. This document aims to…

Econometrics · Economics 2020-09-24 Daniel Pérez-Troncoso

HFOLD (Higgs Full One Loop Decays) is a Fortran program package for calculating all MSSM Higgs two-body decay widths and the corresponding branching ratios at full one-loop level. The package is done in the SUSY Parameter Analysis…

High Energy Physics - Phenomenology · Physics 2015-05-20 W. Frisch , H. Eberl , H. Hlucha

We describe an integration of program synthesis into Uclid5, a formal modelling and verification tool. To the best of our knowledge, the new version of Uclid5 is the only tool that supports program synthesis with bounded model checking,…

Programming Languages · Computer Science 2020-07-20 Federico Mora , Kevin Cheang , Elizabeth Polgreen , Sanjit A. Seshia