Search results

This is the software artifact for the paper "Property Probes: Source Code Based Exploration of Program Analysis Results" published in ACM SIGPLAN International Conference on Software Language Engineering (SLE) 2022.The artifact was reviewed and awarded with the badges "Available" and "Reusable" (see https://www.acm.org/publications/policies/artifact-review-and-badging-current).

This is the software artifact for the paper "Dynamic Dependency-Based Purity Checking" published in ACM SIGPLAN International Conference on Software Language Engineering (SLE) 2025.The artifact was reviewed and awarded with the badges "Available" and "Reusable" (see https://www.acm.org/publications/policies/artifact-review-and-badging-current).

Measurements of the Higgs boson production times decay rates and differential cross-sections have recently been performed by the ATLAS experiment in several decay channels using up to 139 fb−1 of proton-proton collision data at s = 13 TeV recorded at the Large Hadron Collider. This paper presents multiple interpretations of these Higgs boson measurements. Measurements of production-mode cross-sect

Quasi-markets are increasingly used in public service provision, yet they remain highly contested. This paper develops a conceptual framework grounded in economic theory to examine how quasi-markets differ from traditional markets along five key dimensions: (1) revenues, costs, and profits, (2) the matching of supply and demand, (3) competition, (4) structural change, and (5) rent-seeking. Assumin

Many software language tools use declarative domain-specific languages (DDSLs) to implement parts of their functionality, such as context-free grammars for parsing or inference rules for type analysis. For interoperability and ease of use, DDSLs often rely on embedded general-purpose language (GPL) code fragments, as in the semantic actions of parser specifications, but require that these GPL frag

We consider indeterminate symmetric moment problems related to birth and death processes with quartic rates. The Nevanlinna matrices are presented and the entire functions B and D are expressed in terms of the trigonometric functions of order 4. Several examples of symmetric and nonsymmetric solutions are given.

We study the Al-Salam-Chihara polynomials when q > 1. Several solutions of the associated moment problem are found, and the orthogonality relations lead to explicit evaluations of several integrals. The polynomials are shown to have raising and lowering operators and a second order operator equation of Sturm-Liouville type whose eigenvalues are found explicitly. We also derive new measures with re

The generalized Stieltjes-Wigert polynomials depending on parameters 0≤;p<1 and 0

Despite recent progress within the field of immuno-oncology, immune suppression in the tumor microenvironment, defective antigen presentation, and low levels of tumor-specific T cells are key limitations of current cancer immunotherapies. CD40-targeting immunotherapies hold promises for addressing these limitations across solid tumors. Here, we describe ATOR-4066, a bispecific antibody that target

A search for neutral long-lived particles (LLPs) decaying in the ATLAS hadronic calorimeter using 140 fb−1 of proton-proton collisions at s = 13 TeV delivered by the LHC is presented. The analysis is composed of three channels. The first targets pair-produced LLPs, where at least one LLP is produced with sufficiently low boost that its decay products can be resolved as separate jets. The second an

Dynamic Resource Management (DRM) facilitates the real-time adjustment of resources allocated to a job during its execution. Recently, DRM has gained interest due to its potential to contribute to sustainable HPC by enhancing energy efficiency and increasing throughput for HPC system providers and users. Implementing DRM requires comprehensive changes and coordination across the entire HPC softwar

We survey results on Chebyshev polynomials centered around the work of H. Widom. In particular, we discuss asymptotics of the polynomials and their norms and general upper and lower bounds for the norms. Several open problems are also presented.

The real-time, cost-effective detection of marine toxins like tetrodotoxin (TTX) remains a significant challenge for the scientific community. Traditional methods, including cell-based assays (CBAs), high-performance liquid chromatography (HPLC), and automated patch clamp (APC), are time-consuming, requiring expensive lab-based equipment and highly trained personnel. Enzyme-linked immunosorbent as

Boreal lakes are generally seen as sources of carbon dioxide (CO2) to the atmosphere, even though a part of them are periodically undersaturated with CO2 and have the potential to be net-autotrophic. This undersaturation is the result of photosynthetic activity by phytoplankton, especially flagellated species like Gonyostomum semen, which form high-biomass blooms in brown water lakes. We hypothesi

The inclusive cross section for the production of a single top quark in association with a Formula Presented boson is measured using Formula Presented of proton-proton collision data collected with the ATLAS detector at Formula Presented. Events containing two charged leptons and at least one jet identified as originating from a Formula Presented-quark are selected. A multivariate discriminant is

Lakes located in the boreal region are generally supersaturated with carbon dioxide (CO2), which emerges from inflowing inorganic carbon from the surrounding watershed and from mineralization of allochthonous organic carbon. While these CO2 sources gained a lot of attention, processes that reduce the amount of CO2 have been less studied. We therefore examined the CO2 reduction capacity during time

The future of our planet relies on scientists' ability to effectively translate knowledge into action, and researchers have an imperative commitment to leverage their understanding. As aquatic early career researchers (ECRs), we draw upon personal experiences to share our learnings about how individuals can drive change. We showcase diverse approaches for ECRs to create meaningful impacts by conne