Publications associées à Succinct Non-Interactive Arguments via Linear Interactive Proofs

Publications associées (24)

GenPolar: Generative AI-Aided Complexity Reduction for Polar SCL Decoding

The CRC-aided successive cancellation list (CA-SCL) decoding algorithm for polar codes has gained widespread adoption thanks to its outstanding performance. However, with the evolution of 6G technologies, the high complexity of CA-SCL decoding poses a chal ...

Institute of Electrical and Electronics Engineers (IEEE)2025

Interfacing with the Brain: How Nanotechnology Can Contribute

Nako Nakatsuka

Interfacing artificial devices with the human brain is the central goal of neurotechnology. Yet, our imaginations are often limited by currently available paradigms and technologies. Suggestions for brain-machine interfaces have changed over time, along wi ...

AMER CHEMICAL SOC2025

Nonparametric network summaries

Arthur Verdeyme

This thesis is concerned with improving the interpretability of network summaries in both a theoretical and an applied framework, with an application to clinically relevant problems in neuroscience. The theoretical part of this thesis is concerned with gra ...

EPFL2025

Challenges and Opportunities in Quantum Optimization

Julien Sebastian Gacon

Quantum computers have demonstrable ability to solve problems at a scale beyond brute-force classical simulation. Interest in quantum algorithms has developed in many areas, particularly in relation to mathematical optimization - a broad field with links t ...

NATURE PORTFOLIO2024

Project-Based Learning Approach for an Engineering Course: Challenges and Learnings of Teaching Transversal Skills

Jamie Paik, Yousef Jalali, Iris Capdevila Tristan

Project-based learning (PBL), as one of the effective teaching and learning approaches in engineering education, can create opportunities for students to address problems with real-world applications, integrate and apply knowledge, and practice and develop ...

European Society for Engineering Education (SEFI)2024

BlueCelluLab: Biologically Detailed Neural Network Experimentation API

Henry Markram, Eilif Benjamin Muller, Werner Alfons Hilda Van Geit, Lida Kanari, Mustafa Anil Tuncel, Darshan Mandge, Aurélien Tristan Jaquier

The NEURON simulator, established in 1984 and continuously developed since, stands as the preeminent tool for neuron simulation within computational neuroscience. Its widespread adoption and compatibility with computational clusters and supercomputers unde ...

The Open Journal2024

Flexible Sensor and Readout Circuitry for Continuous Ion Sensing in Sweat

Sandro Carrara, Ata Jedari Golparvar, Ali Meimandi

In this letter, we present a custom-designed and flexible readout circuitry for the characterization of flexible and planar electrolyte-gated carbon nanotube field-effect transistor-based biosensors for ammonium detection in sweat. We employed spray-deposi ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2023

How Close are Predictive Models to Teachers in Detecting Learners at Risk?

Tanja Christina Käser Jacober

Detecting learners in need of support is a complex process for both teachers and machines. Most prior work has devised visualization tools that allow teachers to do so by analyzing educational indicators. Other recent efforts have been devoted to models th ...

ASSOC COMPUTING MACHINERY2023

Backbone curve variations on steel building seismic response

Dimitrios Lignos

A 4-story steel moment-frame building designed according to ASCE 7 was used in a numerical parameter study to assess the effects of modeling features on peak drift demands. Features studied included strength, stiffness, ductility, and degradation along wit ...

SAGE PUBLICATIONS INC2023

Stepping into virtual reality

Daniel Thalmann

The 2nd edition of this book provides an updated and extended look into the advancements in Virtual Reality and the metaverse. The history and origins of Virtual Reality, crowd simulation and virtual surgery are thoroughly explored. Applications in the cul ...

Springer Nature2023

Walking with shorter stride length could improve knee kinetics of patients with medial knee osteoarthritis

Brigitte Jolles-Haeberli

Walking with a shorter stride length (SL) was recently proposed for gait retraining in medial knee osteoarthritis; however it was never assessed in this patient population. This study tested the hypothesis that shortening SL while maintaining walking speed ...

ELSEVIER SCI LTD2023

A Machine-Learning Architecture for Sensor Fault Detection, Isolation, and Accommodation in Digital Twins

Hossein Darvishi

Sensor technologies empower Industry 4.0 by enabling integration of in-field and real-time raw data into digital twins (DTs). However, sensors might be unreliable due to inherent issues and/or environmental conditions. This article aims at detecting anomal ...

2023

Borrowing from yourself: Faster future video segmentation with partial channel update

Evann Pierre Guy Courdier

Semantic segmentation is a well-addressed topic in the computer vision literature, but the design of fast and accurate video processing networks remains challenging. In addition, to run on embedded hardware, computer vision models often have to make compro ...

IEEE2022

Computational electrophysiology of the coronary sinus branches based on electro-anatomical mapping for the prediction of the latest activated region

Alfio Quarteroni, Fabio Nobile

This work dealt with the assessment of a computational tool to estimate the electrical activation in the left ventricle focusing on the latest electrically activated segment (LEAS) in patients with left bundle branch block and possible myocardial fibrosis. ...

2022

Editorial: Integration and optimization in the chemical process industry

Daniel Alexander Florez Orrego, Shivom Sharma

FRONTIERS MEDIA SA2022

Automatic Co-Design of Aerial Robots Using a Graph Grammar

Josephine Anna Eleanor Hughes

Unmanned aerial vehicles (UAVs) have broad applications including disaster response, transportation, photography, and mapping. A significant bottleneck in the development of UAVs is the limited availability of automatic tools for task-specific co-design of ...

IEEE2022

A Computational Turn in Policy Process Studies: Coevolving Network Dynamics of Policy Change

Igor Krawczuk

The past three decades of policy process studies have seen the emergence of a clear intellectual lineage with regard to complexity. Implicitly or explicitly, scholars have employed complexity theory to examine the intricate dynamics of collective action in ...

WILEY-HINDAWI2022

Explainable ensemble learning model for predicting steel section-concrete bond strength

Xianlin Wang

This study evaluates the efficiency of an explainable ensemble learning framework in precisely predicting the bond strength between steel sections with different surface treatments and various concrete types. Besides seven numerical features, two categoric ...

2022

G-Fake: Tell Me How It is Shared and I Shall Tell You If It is Fake

Rachid Guerraoui, Anne-Marie Kermarrec

The propagation of fake news is an increasingly serious concern in social platforms, and designing methods to automatically detect them and limit their spread is an important research challenge. Most existing methods rely on inspecting the content of news ...

SPRINGER INTERNATIONAL PUBLISHING AG2022

Unsupervised Controllable Generation with Self-Training

Grigorios Chrysos

Recent generative adversarial networks (GANs) are able to generate impressive photo-realistic images. However, controllable generation with GANs remains an open research problem. Achieving controllable generation requires semantically interpretable and dis ...

IEEE2021