Publications associées à Operators in C and C++

Interpret3C: Interpretable Student Clustering Through Individualized Feature Selection

Vinitra Swamy, Paola Mejia Domenzain, Tanja Christina Käser Jacober, Julian Thomas Blackwell, Isadora Alves de Salles

Clustering in education, particularly in large-scale online environments like MOOCs, is essential for understanding and adapting to diverse student needs. However, the effectiveness of clustering depends on its interpretability, which becomes challenging w ...

2024

Federated learning with uncertainty-based client clustering for fleet-wide fault diagnosis

Olga Fink, Hao Lu, Chao Hu

Operators from various industries have been pushing the adoption of wireless sensing nodes for industrial monitoring, and such efforts have produced sizeable condition monitoring datasets that can be used to build diagnosis algorithms capable of warning ma ...

2024

Automated Verification of Network Function Binaries

George Candea, Solal Vincenzo Pirelli, Aikaterini Argyraki

Formally verifying the correctness of software network functions (NFs) is necessary for network reliability, yet existing techniques require full source code and mandate the use of specific data structures. We describe an automated technique to verify NF b ...

USENIX Association2022

Performance Interfaces for Network Functions

George Candea, Rishabh Ramesh Iyer, Aikaterini Argyraki

Modern programmers routinely use third-party code, and infrastructure operators deploy software they did not write. This would not be possible without semantic interfaces---documentation, header files, specifications---that succinctly describe what that th ...

USENIX Association2022

Construction of Functional Superhydrophobic Biochars as Hydrogen Transfer Catalysts for Dehydrogenation of N-Heterocycles

Zhaowen Dong, Feng Zhou

To endow metal-free materials with the high catalytic activity that is typically featured by a metal-based catalyst is yet a constant pursuit in the field of catalytic chemistry. In this work, novel functional biochars (DCNs) were prepared from wheat straw ...

AMER CHEMICAL SOC2021

Momentum space CFT correlators for Hamiltonian truncation

Matthew Thomas Walters

We consider Lorentzian CFT Wightman functions in momentum space. In particular, we derive a set of reference formulas for computing two- and three-point functions, restricting our attention to three-point functions where the middle operator (corresponding ...

Springer Nature2020

Exploitation of Unconventional Electrophiles in Enantioselective Pd(0)-Catalyzed C-H Functionalizations

Nicolai Cramer, Daria Grosheva

Asymmetric metal-catalyzed C-H functionalization is a powerful strategy for the rapid generation of complex target molecules from simple precursors. While aryl (pseudo) halides have been used as electrophilic substrates in enantioselective Pd(0)-catalyzed ...

2019

One-step access to N-enoxyimides by gold-catalysed addition of N-hydroxyimides to terminal alkynes

Nicolai Cramer, Coralie Danielle Annick Duchemin

N-Enoxyimides have become attractive substrates for novel catalytic transformations, yet their tedious multi-step synthesis hampers full exploitation of their synthetic potential. We report a gold(I)-catalyzed protocol to access N-enoxyimides from simple a ...

2019

Scalar-fermion analytic bootstrap in 4D

Denis Karateev

In this work we discuss an analytic bootstrap approach [1, 2] in the context of spinning 4D conformal blocks [3, 4]. As an example we study the simplest spinning case, the scalar-fermion correlator. We find that to every pair of primary scalar phi and ferm ...

Springer Nature2019

Catalytic Enantioselective Transformations Involving C-H Bond Cleavage by Transition-Metal Complexes

Nicolai Cramer, Shouguo Wang, Christopher Gordon Newton, Caio Costa Oliveira

The development of new methods for the direct functionalization of unactivated C-H bonds is ushering in a paradigm shift in the field of retrosynthetic analysis. In particular, the catalytic enantioselective functionalization of C-H bonds represents a high ...

2017