Publication

Varieties of modules for Z/2Z x Z/2Z

Related publications (67)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Abortable Linearizable Modules

Rachid Guerraoui, Viktor Kuncak, Giuliano Losa

We define the Abortable Linearizable Module automaton (ALM for short) and prove its key composition property using the IOA theory of HOLCF. The ALM is at the heart of the Speculative Linearizability framework. This framework simplifies devising correct spe ...

2012

Thermal characterization of an LTCC module for miniature atomic clock packaging

Peter Ryser, Thomas Maeder, Fabrizio Vecchio, Conor Joseph Slater

This paper presents the design and thermal characterization of a 15 × 22 mm2 LTCC module dedicated to the packaging of the elements of a miniature atomic clock. This module acts as a carrier for the components of the clock as well as temperature controller ...

IMAPS / ACerS2012

Deployment analysis of a pentagonal tensegrity-ring module

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

Ring modules are tensegrity systems that include a single strut circuit and recently, they have been shown to be viable systems for pedestrian bridges. Furthermore, their shape can be controlled using cable actuation. This paper focuses on the deployment o ...

2011

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

Why H Z-algebra Spectra are Differential Graded Algebras?

Varvara Karpova

In homological algebra, to understand commutative rings R, one studies R-modules, chain complexes of R-modules and their monoids, the differential graded R-algebras. The category of R-modules has a rich structure, but too rigid to efficiently work with hom ...

2010

Projective modules over the real algebraic sphere of dimension 3

Jean Fasel

Let A be a commutative noetherian ring of Krull dimension 3. We give a necessary and sufficient condition for A-projective modules of rank 2 to be free. Using this, we show that all the finitely generated projective modules over the algebraic real 3-sphere ...

2010

Categorical Foundations for K-theory

Nicolas Mathieu Michel

K-Theory was originally defined by Grothendieck as a contravariant functor from a subcategory of schemes to abelian groups, known today as K0. The same kind of construction was then applied to other fields of mathematics, like spaces and (not necessarily c ...

EPFL2010

ExpressionView-an interactive viewer for modules identified in gene expression data

Bastian Peter

Summary: ExpressionView is an R package that provides an interactive graphical environment to explore transcription modules identified in gene expression data. A sophisticated ordering algorithm is used to present the modules with the expression in a visua ...

2010

Proposition of a Modular I2C-Based Wearable Architecture

Daniel Thalmann, Xavier Righetti

In this paper we propose a novel wearable architecture based on the popular and proven I2C protocol. Our goal is to develop a modular approach towards wearable computing in a sense that users simply attach specific modules to their garments depending on th ...

Ieee Service Center, 445 Hoes Lane, Po Box 1331, Piscataway, Nj 08855-1331 Usa2010

A Modular Approach towards Wearable Computing

Xavier Righetti

Thanks to recent improvements in electronics, conductive materials and energy storage capabilities, we are now able to embed small circuits but also ultra-mobile PCs (UMPC) into clothes. These devices are able to sense, process and communicate information ...

EPFL2010