Concept

Finitely generated module

Publications associées (253)

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

D-finder 2: Towards efficient correctness of incremental design

Joseph Sifakis

D-Finder 2 is a new tool for deadlock detection in concurrent systems based on effective invariant computation to approximate the effects of interactions among modules. It is part of the BIP framework, which provides various tools centered on a component-b ...

2011

Some remarks on orbit sets of unimodular rows

Jean Fasel

Let A be a d-dimensional smooth algebra over a perfect field of characteristic not 2. Let Um(n+1)(A)/En+1 (A) be the set of unimodular rows of length n + 1 up to elementary transformations. If n >= (d + 2)/2, it carries a natural structure of group as disc ...

2011

Stretchable Circuits and Sensors for Robotic Origami

Jamie Paik

Programmable materials based on robotic origami have been demonstrated with the capability to fold into 3D shapes starting from a nominally 2D sheet. This concept requires high torque density actuators, flexible electronics and an integrated substrate. We ...

2011

Deployment of a Pentagonal Hollow-Rope Tensegrity Module

Ian Smith, Landolf-Giosef-Anastasios Rhode-Barbarigos, Nizar Bel Hadj Ali, René Motro

Tensegrity structures are spatial reticulated structures composed of cables and struts. Tensegrity systems are good candidates for adaptive and deployable structures and thus have applications in various engineering fields. A “hollow-rope” tensegrity syste ...

2011

Isogeometric discrete differential forms in three dimensions

Annalisa Buffa, Rafael Vazquez Hernandez

The concept of isogeometric analysis (IGA) was first applied to the approximation of Maxwell equations in [A. Buffa, G. Sangalli, and R. Vázquez, Comput. Methods Appl. Mech. Engrg., 199 (2010), pp. 1143-1152]. The method is based on the construction of sui ...

2011

Coupling molecular dynamics with finite elements. Projective methods issues at finite temperature

Jean-François Molinari, Guillaume Anciaux, Srinivasa Babu Ramisetti

In the context of coupling methods that match molecular dynamics with finite elements, we focus on the finite temperature and heat rates treatment done by Bridging Domain approaches. The energy dissipation occurring due to the projection of the fine scale ...

2011

Geometrical description and structural analysis of a modular timber structure

Yves Weinand, Seyed Sina Nabaei, Olivier Baverel

The ambitious goal of the ongoing research at IBOIS, the Laboratory of timber constructions at the Ecole Polytechnique Fédérale de Lausanne (EPFL) is to develop a next generation of timber constructions made out of innovative timber-derived products, throu ...

2011

Free-surface fluid dynamics on moving domains

Thomas Zimmermann, Matthias Preisig

This paper presents a Lagrangian approach for the simulation of two-dimensional free-surface flows along with a systematic validation. Fluid-flow is traditionally modeled using an Eulerian description in association with finite differences and, more recent ...

2011

Decomposing locally compact groups into simple pieces

Nicolas Monod

We present a contribution to the structure theory of locally compact groups. The emphasis is put on compactly generated locally compact groups which admit no infinite discrete quotient. It is shown that such a group possesses a characteristic cocompact sub ...

Cambridge University Press2011

A counter-example to a conjecture of Felix

If X is a simply connected space of finite type, then the rational homotopy groups of the based loop space of X possess the structure of a graded Lie algebra, denoted L-x. The radical of L-x, which is an important rational homotopy invariant of X, is of fi ...

Elsevier2011