Concept

Computational resource

Related publications (134)

Reduced order modeling techniques for numerical homogenization methods applied to linear and nonlinear multiscale problems

The characteristic of effective properties of physical processes in heterogeneous media is a basic modeling and computational problem for many applications. As standard numerical discretization of such multiscale problems (e.g. with classical finite elemen ...

EPFL2013

Computational Alanine Scanning Mutagenesis: MM-PBSA vs TI

Marta Andreia Da Silva Perez

Understanding protein-protein association and being able to determine the crucial residues responsible for their association (hot-spots) is a key issue with huge practical applications such as rational drug design and protein engineering. A variety of comp ...

2013

Fine-Grained Emotion Recognition in Olympic Tweets Based on Human Computation

Pearl Pu Faltings, Claudiu-Cristian Musat, Valentina Sintsova

In this paper, we detail a method for domain specific, multi-category emotion recognition, based on human computation. We create an Amazon Mechanical Turk1 task that elicits emotion labels and phrase-emotion associations from the participants. Using the pr ...

2013

A coupled distinct lattice spring model for rock failure under dynamic loads

Jiannong Fang, Jian Zhao, Gaofeng Zhao

It is necessary to take into account the micro discretization of natural rock when studying its macroscopic failure behavior. This requirement has resulted in renewed and increased interest in the discrete or framework/lattice numerical modeling techniques ...

Elsevier2012

On Synthesis for Unbounded Bit-vector Arithmetic

Viktor Kuncak, Andrej Spielmann

We propose to describe computations using QFPAbit, a language of quantifier-free linear arithmetic on unbounded integers with bitvector operations. Given a QFPAbit formula with input and output variables, we describe an algo- rithm that generates an effici ...

2012

Computation in Multicast Networks: Function Alignment and Converse Theorems

Michael Christoph Gastpar, Naveen Goela

The classical problem in network coding theory considers communication over multicast networks. Multiple transmitters send independent messages to multiple receivers which decode the same set of messages. In this work, computation over multicast networks i ...

2012

Multi-Finger Haptic Devices Integrating Miniature Short-Stroke Actuators

Grégory Savioz

The omnipresence of electronic devices in our everyday life goes together with a trend that makes us always more immersed during their utilization. By immersion, we mean that during the development of a new product, it is more and more required to stimulat ...

EPFL2012

Isogeometric Analysis of PDEs and numerical implementation in the Finite Element Library LifeV

Nicolò Pagan

The aim of the project is double: to understand the flexibility of the Isogeometric Analysis tools through the solution of some PDEs problems; to test the improvement in the computational time given by a partial loops vectorization at compile-time of the L ...

2012

Clearing the Clouds: A Study of Emerging Scale-out Workloads on Modern Hardware

Anastasia Ailamaki, Babak Falsafi, Michael Ferdman, Mohammad Alisafaee, Yusuf Onur Koçberber, Stavros Volos, Ilknur Cansu Kaynak, Adrian Daniel Popescu, Al Mutaz Adileh

Emerging scale-out workloads require extensive amounts of computational resources. However, data centers using modern server hardware face physical constraints in space and power, limiting further expansion and calling for improvements in the computational ...

2012

Quantifying the Mismatch between Emerging Scale-Out Applications and Modern Processors

Anastasia Ailamaki, Babak Falsafi, Michael Ferdman, Mohammad Alisafaee, Yusuf Onur Koçberber, Stavros Volos, Ilknur Cansu Kaynak, Adrian Daniel Popescu, Al Mutaz Adileh, Dorde Jevdic

Association for Computing Machinery2012

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.