19 papers · ranked by Valyu relevance
Ondřej Schindler, Gabriela Bučeková, Tomáš Svoboda, Radka Svobodová
In recent years, the number of known protein structures has increased significantly. Predictive algorithms and experimental methods provide the positions of protein residues relative to each other with high accuracy. However, the local quality of the protein structure, including bond lengths, angles, and positions of…
David Geisler-Moroder, Marshal Maskarenj, Greg Ward, Taoning Wang + 2 more
A dataset of two spectral lighting simulation reference models - one office and one factory hall - is presented. It aims to demonstrate and support full-spectral daylight and electric lighting simulations and facilitate evaluation of non-visual effects of light. The dataset includes Rhino CAD geometry, comprehensive…
Yangyang He, Zhuangze Hou, Yonglin Chen, Can Liu
When manipulating objects in immersive platforms through speech and gesture, users naturally construct spatial references, referring to scene entities, their bodies, or the environment. Leveraging spatial cognition theories, this work systematically examines how users construct and communicate spatial intent. Using a…
Jasper van Bemmelen, Jasmijn A. Baaijens
Reference genome composition determines which taxa a profiling pipeline can detect and distinguish, and becomes of critical importance for high-resolution profiling where taxonomic boundaries begin to blur. Existing selection tools optimize within-taxon representativeness but disregard discrimination across taxa…
Ihsan Tolga Medeni, Metehan Ünal, Roberto Galizi, Bryan Bartley + 4 more
Large language models have transformed software engineering practices. However, generated artefacts are not always developer-friendly and may partially meet complex requirements. As the need to standardise, integrate, and develop tools in engineering biology increases, novel approaches are needed to create and maintain…
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…
Luiza Beana Chipansky Freire, Luis Schuartz, Eduardo Gonçalves de Lima, Xiaodong Yang
Digital predistortion (DPD) is essential for mitigating nonlinear distortion in radio-frequency (RF) power amplifiers (PAs), particularly in modern multimode transmitters. Among the existing approaches, the neural-network-based DPD reference model adopted in this work is attractive due to its high modeling accuracy and…
Zhonghua Yi
Systems programming languages traditionally struggle with the tension between physical transparency and compile-time memory safety. C++ provides direct, zero-cost hardware access but lacks strict safety boundaries, whereas Rust guarantees safety at the cost of complex lifetime annotations and implicit dereferencing…
Jeremy Li, Alex Rubinsteyn, Sergey Feldman, Timothy O’Donnell + 18 more
Scientific computing has become a central component of modern scientific discovery. Yet many computational tools are developed by small, specialized teams under incentives that encourage the release of rapidly prototyped tooling without commensurate attention to engineering concerns, including performance and…
Soha Hussein, Stephen McCamant, Kelton OBrien, Kuen-Bang Hou + 2 more
Symbolic execution plays a critical role in software reliability, as they are used to find bugs, generate test cases, and provide correctness guarantees, particularly for safety-critical systems. Yet their own correctness is rarely subject to formal scrutiny, as it is typically established empirically by evaluating…
Cassia Overk, William C. Mobley
Critical to rigor in neurodegeneration research is the accurate and unbiased assessment of degenerative phenotypes, where stereology remains the gold standard, yet its widespread adoption is hindered by the high cost of proprietary systems. We developed OPEN-Stereo, an open-source stereology platform that integrates…
Authors not listed
The complete active space self-consistent field (CASSCF) method is essential for describing complex photochemical processes, but its application in ab initio molecular dynamics is often limited by the computational cost associated with four-center two-electron repulsion integrals (ERIs). We present the first…
Yang Zhang, Dejun Chen, Huixiong Ruan, Hongyu Jia + 3 more
Real-time affine transformation, a core operation for image correction and registration of industrial cameras and scanners, faces challenges including the high computational cost of interpolation and inefficient data access. In this study, we propose a reconfigurable accelerator architecture based on a heterogeneous…
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…
Natasha Pearce, Donna Cross, Jacinta Francis, Jonathan H. Sae-Koew + 6 more
Despite the availability of universally delivered evidence-based relational health interventions, their wide-scale translation into practice is slow and unsustained. Measuring implementation outcomes within intervention trials is critical to understand their effectiveness and inform future scaling. This study aimed to…
Takuto Kawamoto, Yoshiki Higo
"Extract Method" refactoring is a technique for consolidating code clones. Parameterization approaches are used to extract a single method from multiple code clones that contain differences. This approach parameterizes expressions and behaviors within a method. In particular, behavior parameterization has been…
Dimitry Tegunov
Fourier-space projection operations are central to electron microscopy single-particle analysis and electron tomography algorithms. Machine learning methods require differentiable implementations for end-to-end model training, but PyTorch’s built-in operations are too slow for practical use. This paper introduces…
Authors not listed
High-level quantum mechanical (QM) simulations provide accurate electronic information of chemical systems but scale unfavourably with system size, making calculations of applied systems challenging. Hierarchical quantum mechanics in quantum mechanics embedding (QM/QM) addresses this issue by localising the highly…
Ismail Melik Turker, Isa Yildirim
The per-cell quantities are the base coefficients , the per-slice shifts , and the normalization coefficient . The base coefficients are the values of from ((170-3)$22$) evaluated on the first slice () for each detector cell. The shifts are the per-voxel changes in along the slice axis, constant across slices for each…