Publications related to Admissible rule

Tree-AMP: Compositional Inference with Tree Approximate Message Passing

Florent Gérard Krzakala, Lenka Zdeborová

We introduce Tree-AMP, standing for Tree Approximate Message Passing, a python package for compositional inference in high-dimensional tree-structured models. The package provides a unifying framework to study several approximate message passing algorithms ...

2023

Automatic synthesis of rulesets for programmable stochastic self-assembly of rotationally symmetric robotic modules

Alcherio Martinoli, Bahar Haghighat

Programmable stochastic self-assembly of modular robots provides promising means to formation of structures at different scales. One way to address the design of dedicated control rulesets for self-assembling robotic modules is to leverage formalisms based ...

2017

A Theory Agenda for Component-Based Design

Joseph Sifakis, Simon Bliudze

The aim of the paper is to present a theory agenda for component-based design based on results that motivated the development of the BIP component framework, to identify open problems and discuss further research directions. The focus is on proposing a sem ...

Springer International Publishing2015

Generalized Decision Rule Approximations for Stochastic Programming via Liftings

Daniel Kuhn, Wolfram Wiesemann

Stochastic programming provides a versatile framework for decision-making under uncertainty, but the resulting optimization problems can be computationally demanding. It has recently been shown that, primal and dual linear decision rule approximations can ...

Springer Verlag2015

Thumbnail galleries for procedural models

Mark Pauly, Pablo Federico Mueller, Boris Neubert, Stefan Lienhard

Procedural modeling allows for the generation of innumerable variations of models from a parameterized, conditional or stochastic rule set. Due to the abstractness, complexity and stochastic nature of rule sets, it is often very difficult to have an unders ...

Wiley-Blackwell2014

Mapping the human connectome at multiple scales with diffusion spectrum MRI

Jean-Philippe Thiran, Reto Meuli, Patric Hagmann, Kim Do, Djalel Eddine Meskaldji, Leila Cammoun, Xavier Gigandet, Olaf Sporns

The global structural connectivity of the brain, the human connectome, is now accessible at millimeter scale with the use of MRI. In this paper, we describe an approach to map the connectome by constructing normalized whole-brain structural connection matr ...

Elsevier2012

On Reductions for Synthesis Procedures

Viktor Kuncak, Philippe Paul Henri Suter, Swen Jacobs

A synthesis procedure acts as a compiler for declarative specifications. It accepts a formula describing a relation between inputs and outputs, and generates a function implementing this relation. This paper presents synthesis procedures for data structure ...

2012

Structure and function of the olfactory bulb microcircuit

Michele Pignatelli

The aim of this study is to contribute to understand the physiology of the Olfactory System through detailed microcircuit investigation, adopting advanced electrophysiological and anatomical techniques. Multiple patch clamp recordings allow understanding t ...

EPFL2009

Diffusion MR Image Segmentation: Towards Global Brain Connectivity Analysis

Jean-Philippe Thiran, Reto Meuli, Patric Hagmann, Leila Cammoun, Xavier Gigandet

The exploration of the human connectome, a term denoting the global structural connectivity of the brain, is accessible to MRI at millimeter and centimeter scales. In this paper, we propose a methodology to map the connectome by constructing normalized who ...

Societa Editrice Esculapio-Progetto Leonardo, Via Umberto Terracini 30, Bologna, 40131, Italy2009

Diffusion Mr Image Segmentation: Towards Global Brain Connectivity Analysis

Jean-Philippe Thiran, Reto Meuli, Patric Hagmann, Leila Cammoun, Xavier Gigandet

The exploration of the human connectome, a term denoting the global structural connectivity of the brain, is accessible to MRI at millimeter and centimeter scales. In this paper, we propose a methodology to map the connectome by constructing normalized who ...

Societa Editrice Esculapio-Progetto Leonardo, Via Umberto Terracini 30, Bologna, 40131, Italy2009

Admissible rule

Tree-AMP: Compositional Inference with Tree Approximate Message Passing

Automatic synthesis of rulesets for programmable stochastic self-assembly of rotationally symmetric robotic modules

A Theory Agenda for Component-Based Design

Generalized Decision Rule Approximations for Stochastic Programming via Liftings

Thumbnail galleries for procedural models

Mapping the human connectome at multiple scales with diffusion spectrum MRI

On Reductions for Synthesis Procedures

Structure and function of the olfactory bulb microcircuit

Diffusion MR Image Segmentation: Towards Global Brain Connectivity Analysis

Diffusion Mr Image Segmentation: Towards Global Brain Connectivity Analysis

Graph Chatbot

Chat with Graph Search

A Theory Agenda for Component-Based Design

Generalized Decision Rule Approximations for Stochastic Programming via Liftings

On Reductions for Synthesis Procedures

Automatic synthesis of rulesets for programmable stochastic self-assembly of rotationally symmetric robotic modules

Tree-AMP: Compositional Inference with Tree Approximate Message Passing

Structure and function of the olfactory bulb microcircuit

Thumbnail galleries for procedural models

Diffusion MR Image Segmentation: Towards Global Brain Connectivity Analysis

Mapping the human connectome at multiple scales with diffusion spectrum MRI

Diffusion Mr Image Segmentation: Towards Global Brain Connectivity Analysis