From Documents to Structured Data: First Milestones of the Garzoni Project

Publications associées (21)

À propos
Confidentialité
Mentions légales

Graph Chatbot

Technology-Aware Logic Synthesis for Superconducting Electronics

Giovanni De Micheli, Dewmini Sudara Marakkalage, Mingfei Yu, Siang-Yun Lee, Alessandro Tempia Calvino, Rassul Bairamkulov

Superconducting electronics provide us with cryogenic digital circuits that can rival established technologies in performance and energy consumption. Today, the lack of tools for the design of large-scale integrated superconducting circuits is a major obst ...

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

Surface segregation in high-entropy alloys from alchemical machine learning

Michele Ceriotti, Guillaume André Jean Fraux, Arslan Mazitov, Sandip De, Nataliya Lopanitsyna

High-entropy alloys (HEAs), containing several metallic elements in near-equimolar proportions, have long been of interest for their unique mechanical properties. More recently, they have emerged as a promising platform for the development of novel heterog ...

Iop Publishing Ltd2024

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

Co-Design Optimisation of Morphing Topology and Control of Winged Drones

Dario Floreano, Valentin Wüest, Fabio Bergonti

The design and control of winged aircraft and drones is an iterative process aimed at identifying a compromise of mission-specific costs and constraints. When agility is required, shape-shifting (morphing) drones represent an efficient solution. However, m ...

IEEE2024

An aircraft assembly process formalism and verification method based on semantic modeling and MBSE

Dimitrios Kyritsis, Jinzhi Lu, Xiaochen Zheng

The aircraft assembly system is highly complex involving different stakeholders from multiple domains. The design of such a system requires comprehensive consideration of various industrial scenarios aiming to optimize key performance indicators. Tradition ...

Elsevier Sci Ltd2024

An explorative method to support design decisions based on carbon constraints and daylight sufficiency needs

Nazanin Rezaei Oghazi

The global construction industry contributes to 37% of carbon emissions associated to both building operations and construction. To help achieve the net-zero targets set by 2050, it is mandated to achieve a 50% reduction in carbon emissions by 2030. As we ...

EPFL2024

A diversity-driven discovery of potential nanoporous materials for energy-related applications

Sauradeep Majumdar

The design and discovery of potential novel materials is critical for the advancement of climate change mitigation technologies. In this respect, metal-organic frameworks (MOFs) have received considerable attention over the last two decades. The combinatio ...

EPFL2024

Numerical tools for burning plasmas

Jonathan Graves, Laurent Villard, Emmanuel Lanti, Baruch Rofman, Alberto Bottino, Ben McMillan, Xiao Wang, Emanuele Poli

The software stack under development within a European coordinated effort on tools for burning plasma modelling is presented. The project is organised as a Task (TSVV Task 10) under the new E-TASC initiative (Litaudon et al 2022 Plasma Phys. Control. Fusio ...

IOP Publishing Ltd2023

Diversity and neocolonialism in Big Data research: Avoiding extractivism while struggling with paternalism

Daniel Gatica-Perez

The extractive logic of Big Data-driven technology and knowledge production has raised serious concerns. While most criticism initially focused on the impacts on Western societies, attention is now increasingly turning to the consequences for communities i ...

Sage Publications Inc2023

Page 2 sur 3