17 papers · ranked by Valyu relevance
Andres Munoz-Arcentales, Sonsoles López-Pernas, Javier Conde, Álvaro Alonso + 3 more
'Álvaro Alonso' 'Joaquín Salvachúa' 'Juan José Hierro' 'Rebeca P. Díaz Redondo'] In recent years, many proposals of context-aware systems applied to IoT-based smart environments have been presented in the literature. Most previous works provide a generic high-level structure of how a context-aware system can be…
Sam Blackshear, John Mitchell, Todd Nowacki, Shaz Qadeer
The Move language provides abstractions for programming with digital assets via a mix of value semantics and reference semantics. Ensuring memory safety in programs with references that access a shared, mutable global ledger is difficult, yet essential for the use-cases targeted by Move. The language meets this…
Salma M. Thalji, Manuel Spitschan
The dim-light melatonin onset (DLMO) is a commonly used circadian phase marker indicating the start time of evening melatonin synthesis in humans. Several quantitative techniques have been developed to determine DLMO from melatonin time-series, including fixed- or variable-threshold techniques and the hockey-stick…
Edward A. Lee, Ondřej Lhoták
Reference immutability is a type based technique for taming mutation that has long been studied in the context of object-oriented languages, like Java. Recently, though, languages like Scala have blurred the lines between functional programming languages and object oriented programming languages. We explore how…
Kirill Zinovjev, Lester Hedges, Rubén Montagud Andreu, Christopher Woods + 2 more
We present in this work the emle-engine package (https://github.com/chemle/emle-engine) – the implementation of a new machine learning embedding scheme for hybrid machine learning potential / molecular mechanics (ML/MM) dynamics simulations. The package is based on an embedding scheme that uses a physics-based model of…
Victor Chen, Ayden Coughlin, Michael D. Bond
Automatically translating system software from C to Rust is an appealing but challenging problem, as it requires whole-program reasoning to satisfy Rust's ownership and borrowing discipline. A key enabling step in whole-program translation is interface translation, which produces Rust declarations for the C program's…
Suzie Cro, Matteo Quartagno, Ian R. White, James R. Carpenter
1## Introduction Frequently in clinical trials, it is of interest to use a treatment policy strategy to handle treatment nonadherence. Such an approach seeks to identify the benefit of a specified treatment, whether or not all treatment was adhered to. If all outcome data after treatment nonadherence are observed in a…
Richard Apodaca
Despite its widespread use, Simplified Molecular Input Line Entry System (SMILES) remains underspecified. The lack of a detailed specification encourages improvisation by software developers, complicates data standardization efforts, and undermines extension development. Balsa, a reformulation of SMILES, addresses…
Duc Nguyen, Erin L. Rich, Joni D. Wallis, Kenway Louie + 1 more
The decisional reference point serves as a hidden benchmark for evaluating options in decision-making. Despite extensive behavioral evidence for the existence of the reference point, its neural instantiation remains unclear. To identify reference point encoding at both the single-neuron and population levels, we…
Chang Bae Moon, Byeong Man Kim, Dong-Seong Kim, Jiayi Ma
For products such as smartphones, the technology gap between companies is gradually narrowing with the advancements in technology. Therefore, product design can be a visible strategy for differentiation. However, it is difficult to apply automated production and defect detection processes to the various designs that…
Nico Lehmann, Adam Geller, Gilles Barthe, Niki Vazou + 1 more
We introduce Flux, which shows how logical refinements can work hand in glove with Rust's ownership mechanisms to yield ergonomic type-based verification of low-level pointer manipulating programs. First, we design a novel refined type system for Rust that indexes mutable locations, with pure (immutable) values that…
Authors not listed
Bayesian optimization (BO) has become increasingly important for experimental optimization across scientific domains, yet implementing BO pipelines requires significant programming expertise and familiarity with specialized frameworks. This creates a barrier for domain experts who could benefit from BO but lack the…
Yannan Su, Thomas Wachtler, Zhuanghua Shi
How we perceive a visual stimulus can be influenced by its surrounding context. For example, the presence of a reference skews the perception of a similar feature in a stimulus, a phenomenon called reference repulsion. Ongoing research so far remains inconclusive regarding the stage of visual information processing…
Anastasiia Birillo, Elena Lyulina, Maria Malysheva, Vladislav Tankov + 1 more
'Timofey Bryksin'] Reflection in Kotlin is a powerful mechanism to introspect program behavior during its execution at run-time. However, among the variety of practical tasks involving reflection, there are scenarios when the poor performance of run-time approaches becomes a significant disadvantage. This problem…
George Dimitriadis, Ella Svahn, Andrew MacAskill, Athena Akrami
To realise a research project idea, an experimenter faces a series of conflicting design and implementation considerations, regarding both its hardware and software components. For instance, the ease of implementation, in time and expertise, should be balanced against the ease of future reconfigurability and number of…
Enola K. Proctor, Alicia C. Bunger, Rebecca Lengnick-Hall, Donald R. Gerke + 3 more
'Donald R. Gerke' 'Jared K. Martin' 'Rebecca J. Phillips' 'Julia C. Swanson'] Correction: Implementation Sci 18, 31 (2023) https://doi.org/10.1186/s13012-023-01286-z The original publication [1] of this article contained an incorrect citation and a missing reference. The incorrect citation appears in the section…
David S. Cerutti, Rafal Wiewiora, Simon Boothroyd, Woody Sherman
The Structure and TOpology Replica Molecular Mechanics (STORMM) code is a next-generation molecular simulation engine and associated libraries optimized for performance on fast, multicore central processor units (CPUs) and graphics processing units (GPUs) with independent memory and tens of thousands of threads. STORMM…