Publications related to Well-quasi-ordering

Localized Ionic Reinforcement of Double Network Granular Hydrogels

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

Protecting Circuits From Computationally Bounded And Noisy Leakage

Sebastian Faust

Physical computational devices leak side-channel information that may, and often does, reveal secret internal states. We present a general transformation that compiles any circuit into a circuit with the same functionality but resilience against well-defin ...

Siam Publications2014

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

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-def ...

2009

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

The secrecy problem for security protocols is the problem to decide whether or not a given security protocol has leaky runs. In this paper, the (initial) secrecy problem for bounded protocols with freshness check is shown to be NEXPTIME-complete. Relating ...

2008

Well-quasi-ordering

Graph Chatbot

Chat with 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

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

Single crystal nuclear magnetic resonance in spinning powders

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

Decision Procedures for Automating Termination Proofs

Protecting Circuits From Computationally Bounded And Noisy Leakage

On Complete Functional Synthesis

Software Synthesis Procedures

Localized Ionic Reinforcement of Double Network Granular Hydrogels

Fabrication of Hexagonal-Prismatic Granular Hydrogel Sheets

Functional synthesis for linear arithmetic and sets