Catégorie

Procédé industriel

Publications associées (1 000)

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus

Simon Guilloud

Motivated by the transfer of proofs between proof systems, and in particular from first order automated theorem provers (ATPs) to interactive theorem provers (ITPs), we specify an extension of the TPTP derivation text format to describe proofs in first-ord ...

2024

From low-rank retractions to dynamical low-rank approximation and back

Daniel Kressner, Axel Elie Joseph Séguin, Gianluca Ceruti

In algorithms for solving optimization problems constrained to a smooth manifold, retractions are a well-established tool to ensure that the iterates stay on the manifold. More recently, it has been demonstrated that retractions are a useful concept for ot ...

Springer2024

Modular segmentation, spatial analysis and visualization of volume electron microscopy datasets

Martin Weigert

Volume electron microscopy is the method of choice for the in situ interrogation of cellular ultrastructure at the nanometer scale, and with the increase in large raw image datasets generated, improving computational strategies for image segmentation and s ...

Berlin2024

Additively manufactured stretchable zipping electrostatic actuators

Giulio Grasso

The use of soft and stretchable materials allows the development of adaptive robotic systems and human-machine interfaces that are more natural and comfortable to interact with. One of the application fields that benefits the most from these compliant mate ...

EPFL2024

This article outlines the advancements made in broadening the application scope of the OpenMC neutron transport code to include thermohydraulic coupling and nuclear data uncertainty propagation. These developments primarily involve the incorporation of the ...

Taylor & Francis Inc2024

Multimaterial Volumetric Printing of Silica-Based Glasses

Christophe Moser, Paul Delrot, Jorge Andres Madrid Wolff, Damien Claude-Marie Loterie, Antoine Vincent Boniface, Roberto Arturo Emma

Silicate glasses have played a major role as structural and functional materials in human civilization since ancient Egypt. Despite their widespread use and importance in modern society, silica glasses with complex geometries are only fabricated in automat ...

Hoboken2024

3D Printing of Customizable Transient Bioelectronics and Sensors

Danick Briand, Nicolas Francis Fumeaux

Transient electronics have emerged as a new category of devices that can degrade after their functional lifetime, offering tremendous potential as disposable sensors, actuators, wearables, and implants. Additive manufacturing methods represent a promising ...

2024

The remarkable adaptability observed in marine ecosystems has often inspired researchers when developing new soft materials. The research undertaken in this thesis explores how ion chelator pair interactions influence the mechanical properties of bioinspir ...

EPFL2024

, , , ,

Dielectric Elastomer Actuators (DEAs) have emerged as versatile and promising devices for a multitude of applications, including soft robotics, haptic interfaces, and artificial muscles. DEAs are an interesting soft actuator technology due to their high en ...

Society of Photo-Optical Instrumentation Engineers (SPIE)2024

A Versatile Approach to Stabilize Liquid-Liquid Interfaces using Surfactant Self-Assembly

Julian Charles Shillcock

Stabilizing liquid-liquid interfaces, whether between miscible or immiscible liquids, is crucial for a wide range of applications, including energy storage, microreactors, and biomimetic structures. In this study, a versatile approach for stabilizing the w ...

Wiley-V C H Verlag Gmbh2024