Publications associées à Arbre enraciné

Pipelined Architecture for Soft-Decision Iterative Projection Aggregation Decoding for RM Codes

Alexios Konstantinos Balatsoukas Stimming, Yuqing Ren

The recently proposed recursive projection-aggregation (RPA) decoding algorithm for Reed-Muller codes has received significant attention as it provides near-ML decoding performance at reasonable complexity for short codes. However, its complicated structur ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2023

Capturing Types

Martin Odersky, Aleksander Slawomir Boruch-Gruszecki, Ondrej Lhoták

Type systems usually characterize the shape of values but not their free variables. However, many desirable safety properties could be guaranteed if one knew the free variables captured by values. We describe CC

Assoc Computing Machinery2023

Magnetic structure of the two-dimensional XY antiferromagnet Sr2CoSi2O7 studied using single-crystal neutron diffraction

Bálint Náfrádi

We report a combined polarized and unpolarized neutron diffraction study on a multiferroic Sr2CoSi2O7 (SCSO) single crystal below and above the antiferromagnetic ordering temperature TN = 6.5 K. Unpolarized neutron diffraction measurements at 15 K confirm ...

AMER PHYSICAL SOC2023

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

Deep MinCut: Learning Node Embeddings by Detecting Communities

Quoc Viet Hung Nguyen, Thành Tâm Nguyên, Chi Thang Duong, Trung-Dung Hoang

We present Deep MinCut (DMC), an unsupervised approach to learn node embeddings for graph -structured data. It derives node representations based on their membership in communities. As such, the embeddings directly provide insights into the graph structure ...

ELSEVIER SCI LTD2022

Tree in Tree: from Decision trees to Decision Graphs

Mahsa Shoaran, Bingzhao Zhu

Decision trees have been widely used as classifiers in many machine learning applications thanks to their lightweight and interpretable decision process. This paper introduces Tree in Tree decision graph (TnT), a framework that extends the conventional dec ...

Curran Associates, Inc, (NIPS '21: Proceedings of the 35th International Conference on Neural Information Processing Systems)2021

From vesicles to materials: bioinspired strategies for fabricating hierarchically structured soft matter

Esther Amstad

Certain organisms including species of mollusks, polychaetes, onychophorans and arthropods produce exceptional polymeric materials outside their bodies under ambient conditions using concentrated fluid protein precursors. While much is understood about the ...

ROYAL SOC2021

Root carbon and nutrient homeostasis determines downy oak sapling survival and recovery from drought

Leonie Corine Schönbeck

The role of carbon (C) and nutrient uptake, allocation, storage and especially their interactions in survival and recovery of trees under increased frequencies and intensities of drought events is not well understood. A full factorial experiment with four ...

2021

Virtual ADTs for Portable Metaprogramming

Martin Odersky, Nicolas Alexander Stucki

Scala 3 provides a metaprogramming interface that represents the abstract syntax tree definitions using algebraic data types. To allow the compiler to freely evolve without breaking the metaprogramming interface, we present virtual algebraic data types (or ...

ASSOC COMPUTING MACHINERY2021

Incommensurate crystal structure of PbHfO3

Alla Arakcheeva

Controversy in the description/identification of so-called intermediate phase(s) in PbHfO3, stable in the range similar to 420-480 K, has existed for a few decades. A synchrotron diffraction experiment on a partially detwinned crystal allowed the structure ...

INT UNION CRYSTALLOGRAPHY2020