Concept

Machine-outil

Publications associées (651)

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

Cyclic Peptides for Drug Development

Christian Heinis, Xinjian Ji, Alexander Lund Nielsen

Cyclic peptides combine a number of favorable properties that make them attractive for drug development. Today, more than 40 therapeutics based on cyclic peptides are in use, and new, powerful technologies for their development suggest that this number cou ...

2024

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

Amino acid availability is monitored by animals to adapt to their nutritional environment. Beyond gustatory receptors and systemic amino acid sensors, enteroendocrine cells (EECs) are believed to directly percept dietary amino acids and secrete regulatory ...

Nature Portfolio2024

Immediate Tracing

Valentin Aebi

This semester project report describes a prototype tracing tool that records the behavior of a Java program during its execution. It explains the two methods that were attempted to implement the tool, one using the Java debug interface, which gave poor res ...

2023

Streamline RimNet: Tools for Automatic Classification of Paramagnetic Rim Lesions in MRI of Multiple Sclerosis

Meritxell Bach Cuadra, Cristina Granziera, Francesco La Rosa, Maxence Charles F Wynen

This site provides two software tools related to "RimNet: A deep 3D multimodal MRI architecture for paramagnetic rim lesion assessment in multiple sclerosis" by Barquero et al. NeuroImage: Clinical (2020). People using in part or f ...

EPFL Infoscience2023

Structural Insights into Electrophiles and Electrophilic Metabolites Sensing and Signaling: The Missing Information

Yimon Aye, Chloé Rogg

Native reactive electrophilic species (RES) are long-recognized regulators of pathophysiology; yet, knowledge surrounding how RES regulate context-specific biology remains limited. The latest technological advances in profiling and precision decoding of RE ...

WILEY-V C H VERLAG GMBH2023

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

Media Coverage of 3D Visual Tools Used in Urban Participatory Planning

Jens Ingensand, Thibaud Nicolas Chassin

The opportunities provided by adopting digitally-generated visual tools in urban participatory planning are compelling. These visual tools can promote interactions between authorities and citizens and among citizens. However, the urban participatory practi ...

IGI GLOBAL2023

Testing Benchmark for a Block Conjugate Gradient Solving Scheme in Poroelasticity

With the advancement in fields of science more complex and more coupled phenomena can be explained, calculated and predicted. To solve these problems one has to update the related tools. Since analytical solutions do not exist for all physical processes, s ...

2023

, ,

Revision behavior in adaptive writing support systems is an important and relatively new area of research that can improve the design and effectiveness of these tools, and promote students' self-regulated learning (SRL). Understanding how these tools are u ...

Zenodo2023