Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Code automodifiable

Publications associées (30)

Two-dimensional honeycomb network through sequence-controlled self-assembly of oligopeptides

Klaus Kern, Stephan Rauschenbach, Sabine Abb

The sequence of a peptide programs its self-assembly and hence the expression of specific properties through non-covalent interactions. A large variety of peptide nanostructures has been designed employing different aspects of these non-covalent interactio ...

Nature Publishing Group2016

The Ligand Aspect Ratio as a Decisive Factor for the Self-Assembly of Coordination Cages

Rosario Scopelliti, Kay Severin, Philip Pattison, Euro Solari, Konstantin Zhurov, Giacomo Cecot, Suzanne Maria Jansze, Matthew David Wise

It is possible to control the geometry and the composition of metallasupramolecular assemblies via the aspect ratio of their ligands. This point is demonstrated for a series of iron- and palladium-based coordination cages. Functionalized clathrochelate com ...

2016

Type Soundness for Dependent Object Types (DOT)

Tiark Rompf, Nada Amin

Scala's type system unifies aspects of ML modules, object-oriented, and functional programming. The Dependent Object Types (DOT) family of calculi has been proposed as a new theoretic foundation for Scala and similar expressive languages. Unfortunately, ty ...

Assoc Computing Machinery2016

Type Soundness for Dependent Object Types

Tiark Rompf, Nada Amin

Scala’s type system unifies aspects of ML modules, object-oriented, and functional programming. The Dependent Object Types (DOT) family of calculi has been proposed as a new theoretic foundation for Scala and similar expressive languages. Unfortunately, ty ...

2016

A Methodology for Global Sensitivity Analysis for Time-Dependent Code Output Applied to Reflood Simulation in TRACE

Andreas Pautz, Damar Canggih Wicaksono

Understanding properly the impact of model parameters and their interactions on the predictions is required for an appropriate model assessment. For simulation of reflooding following a LOCA, this requirement is justified because the important parameters a ...

2015

Supramolecular assemblies of organotin(IV)-diphosphoryl adducts: insights from X-rays and DFT

Kurt Schenk

Mono-, di- and tri-phenyltin(IV) adducts containing a neutral diphosphoryl ligand, Ph2P(O)OC6H4OP(O) Ph-2, were synthesized and characterized. These 2 : 1 adducts of two trans-organotin(IV) moieties and the bridging ligand all crystallize around a centre o ...

Royal Soc Chemistry2015

Equivalence between Neighboring-Extremal Control and Self-Optimizing Control for the Steady-State Optimization of Dynamical Systems

Dominique Bonvin, Grégory François

The problem of steering a dynamical system toward optimal steady-state performance is considered. For this purpose, a static optimization problem can be formulated and solved. However, because of uncertainty, the optimal steady-state inputs can rarely be a ...

American Chemical Society2014

Soft Cells for Programmable Self-Assembly of Robotic Modules

Dario Floreano, Andrea Maesani, Ramon Pericet Camara, Jürg Markus Germann

Programmable self-assembly of chained robotic systems holds potential for the automatic construction of complex robots from a minimal set of building blocks. However, current robotic platforms are limited to modules of uniform rigidity, which results in a ...

2014

ScalaDyno: Making Name Resolution and Type Checking Fault-tolerant

Martin Odersky, Vlad Ureche

The ScalaDyno compiler plugin allows fast prototyping with the Scala programming language, in a way that combines the benefits of both statically and dynamically typed languages. Static name resolution and type checking prevent partially-correct code from ...

ACM2014

Programmable Self-assembly with Chained Soft Cells: An Algorithm to Fold into 2-D Shapes

Dario Floreano, Joshua Evan Auerbach, Jürg Markus Germann

Programmable self-assembly of chained modules holds potential for the automatic shape formation of morphologically adapted robots. However, current systems are limited to modules of uniform rigidity, which restricts the range of obtainable morphologies and ...

Springer International Publishing2014