Publications related to 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

A Sound and Complete Axiomatization of Majority-n Logic

Giovanni De Micheli, Pierre-Emmanuel Julien Marc Gaillardon, Luca Gaetano Amarù, Anupam Chattopadhyay

Manipulating logic functions via majority operators recently drew the attention of researchers in computer science. For example, circuit optimization based on majority operators enables superior results as compared to traditional logic systems. Also, the B ...

Institute of Electrical and Electronics Engineers2016

Effect of Magnesium and Zinc Ions on the Hydration Kinetics of C3S

Karen Scrivener, Marco Cantoni, Amélie Bazzoni, Qiao Wang

Impure tricalcium silicate (C3S) in portland cement may contain various foreign ions. These ions can stabilize different polymorphs of C3S at room temperature and may affect its reactivity. In this paper, the effects of magnesium and zinc on the polymorph ...

Wiley-Blackwell2014

Towards the ultimate SM fit to close in on Higgs physics

Francesco Riva

With the discovery of the Higgs at the LHC, experiments have finally addressed all aspects of the Standard Model (SM). At this stage, it is important to understand which windows for beyond the SM (BSM) physics are still open, and which are instead tightly ...

Springer Nature2014

Initial or final values for semiclassical evolutions in the Weyl–Wigner representation

David Eduardo Zambrano Ramirez

Initial value representations are constructed to avoid the search for trajectories that are only defined in semiclassical approximations by their boundary conditions. We show how to incorporate these procedures within the full Weyl representation, so that ...

2013

Operator-Like Wavelet Bases of $ L _{ 2 } $ $ (\mathbb{R} ^{ d } $ )

Michaël Unser, Ildar Khalidov, John Paul Ward

The connection between derivative operators and wavelets is well known. Here we generalize the concept by constructing multiresolution approximations and wavelet basis functions that act like Fourier multiplier operators. This construction follows from a s ...

Springer US2013

Teaching Enantioselectivity to C-H Bond Functionalizations: Initial Steps of a Rather Long Shot

Nicolai Cramer

The direct functionalization of non-activated C-H bonds, especially in an enantioselective manner, requires metal catalysts equipped with ligands with specifically designed properties. Examples for asymmetric C(sp(2))-H and C(sp(3))-H functionalizations us ...

Swiss Chemical Soc2012

Not all parents are equal for MO-CMA-ES

Ilya Loshchilov

The Steady State variants of the Multi-Objective Covariance Matrix Adaptation Evolution Strategy (SS-MO-CMA-ES) generate one offspring from a uniformly selected parent. Some other parental selection operators for SS-MO-CMA-ES are investigated in this paper ...

2011

Trace Identities For Commutators, With Applications To The Distribution Of Eigenvalues

Joachim Stubbe

We prove trace identities for commutators of operators, which are used to derive sum rules and sharp universal bounds for the eigenvalues of periodic Schrodinger operators and Schrodinger operators on immersed manifolds. In particular, we prove bounds on t ...

2011

A Global Version Of The Darboux Theorem With Optimal Regularity And Dirichlet Condition

Bernard Dacorogna, Olivier Kneuss

Let n > 2 be even; r >= 1 be an integer; 0 < alpha < 1; Omega be a bounded, connected, smooth, open set in R-n; and nu be its exterior unit normal. Let f, g is an element of C-r,C-alpha((Omega) over bar; Lambda(2)) be two symplectic forms (i.e., closed and ...

2011

Universal Bounds And Semiclassical Estimates For Eigenvalues Of Abstract Schrodinger Operators

Joachim Stubbe

We prove trace inequalities for a self-adjoint operator on an abstract Hilbert space, which extend those known previously for Laplacians and Schrodinger operators, freeing them from restrictive assumptions on the nature of the spectrum and allowing operato ...

2010