Publications associées à Bel ordre

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.

Localized Ionic Reinforcement of Double Network Granular Hydrogels

Esther Amstad, Alexandra Thoma

Nature produces soft materials with fascinating combinations of mechanical properties. For example, the mussel byssus embodies a combination of stiffness and toughness, a feature that is unmatched by synthetic hydrogels. Key to enabling these excellent mec ...

Wiley-V C H Verlag Gmbh2024

Fabrication of Hexagonal-Prismatic Granular Hydrogel Sheets

Esther Amstad, Huachuan Du, Mathias Steinacher, Alice Cont

Natural soft materials are often composed of proteins that self-assemble into well-defined structures and display mechanical properties that cannot be matched by manmade materials. These materials are frequently mimicked with hydrogels whose mechanical pro ...

2018

Exploring the relevance of gas-phase structures to biology: cold ion spectroscopy of the decapeptide neurokinin A

Aleksandr Pereverzev

Linking the intrinsic tertiary structures of biomolecules to their native geometries is a central prerequisite for making gas-phase studies directly relevant to biology. The isolation of molecules in the gas phase eliminates hydrophilic interactions with s ...

Royal Society of Chemistry2017

Functional synthesis for linear arithmetic and sets

Viktor Kuncak, Mikaël Mayer, Philippe Paul Henri Suter, Ruzica Piskac

Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, synthesis algorithms should behave in a predictable way—they should succeed for a well-defin ...

Springer Berlin Heidelberg2013

Software Synthesis Procedures

Viktor Kuncak, Mikaël Mayer, Philippe Paul Henri Suter, Ruzica Piskac

Automated synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, software synthesis algorithms should behave in a predictable way: they should succ ...

2012

Decision Procedures for Automating Termination Proofs

Ruzica Piskac

Automated termination provers often use the following schema to prove that a program terminates: construct a relational abstraction of the program's transition relation and then show that the relational abstraction is well-founded. The focus of current too ...

Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa2011

Single crystal nuclear magnetic resonance in spinning powders

David Lyndon Emsley

We present a method for selectively exciting nuclear magnetic resonances (NMRs) from well-defined subsets of crystallites from a powdered sample under magic angle spinning. Magic angle spinning induces a time dependence in the anisotropic interactions, whi ...

AMER INST PHYSICS2011

On Complete Functional Synthesis

Viktor Kuncak, Mikaël Mayer, Philippe Paul Henri Suter, Ruzica Piskac

2009

Bel ordre

Graph Chatbot

Chattez avec Graph Search

Localized Ionic Reinforcement of Double Network Granular Hydrogels

Fabrication of Hexagonal-Prismatic Granular Hydrogel Sheets

Exploring the relevance of gas-phase structures to biology: cold ion spectroscopy of the decapeptide neurokinin A

Protecting Circuits From Computationally Bounded And Noisy Leakage

Functional synthesis for linear arithmetic and sets

Software Synthesis Procedures

Decision Procedures for Automating Termination Proofs

Single crystal nuclear magnetic resonance in spinning powders

On Complete Functional Synthesis

Secrecy for bounded security protocols with freshness check is NEXPTIME-complete

Decision Procedures for Automating Termination Proofs

Protecting Circuits From Computationally Bounded And Noisy Leakage

On Complete Functional Synthesis

Software Synthesis Procedures

Single crystal nuclear magnetic resonance in spinning powders

Secrecy for bounded security protocols with freshness check is NEXPTIME-complete

Functional synthesis for linear arithmetic and sets

Localized Ionic Reinforcement of Double Network Granular Hydrogels

Fabrication of Hexagonal-Prismatic Granular Hydrogel Sheets

Exploring the relevance of gas-phase structures to biology: cold ion spectroscopy of the decapeptide neurokinin A