Publications related to Agile unified process

Limits on Support Recovery with Probabilistic Models: An Information-Theoretic Framework

The support recovery problem consists of deter- mining a sparse subset of a set of variables that is relevant in generating a set of observations, and arises in a diverse range of settings such as group testing, compressive sensing, and subset selection in ...

2015

Learning of Closed-Loop Motion Control

Jonas Buchli, Farbod Farshidian

Learning motion control as a unified process of designing the reference trajectory and the controller is one of the most challenging problems in robotics. The complexity of the problem prevents most of the existing optimization algorithms from giving satis ...

2014

ScalaDyno: Making Name Resolution and Type Checking Fault-tolerant

Martin Odersky, Vlad Ureche, Cédric Bastin

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

Compression Performance Analysis in HEVC

Touradj Ebrahimi, Philippe Hanhart

In this chapter, performance analysis of HEVC (Recommendation ITU-T H.265 | ISO/IEC 23008-2) in comparison with AVC (Recommendation ITU-T H.264 | ISO/IEC 14996-10) in terms of both objective as well as subjective quality assessments are given. Because of t ...

Springer International Publishing2014

Unified mechanistic multiscale mapping of two-phase flow patterns in microchannels

John Richard Thome, Rémi Revellin, Iztok Zun

To better understand the underlying two-phase phenomena and thus better predict transitions between the various two-phase flow patterns, it is necessary to update our way of thinking from one-of-a-kind flow pattern maps of limited applicability to a genera ...

Elsevier2013

TURNUS: A design exploration framework for dataflow system design

Marco Mattavelli, Simone Casale Brunet

While research on the design of heterogeneous concurrent systems has a long and rich history, a unified design methodology and tool support has not emerged so far, and thus the creation of such systems remains a difficult, time-consuming and error-prone pr ...

IEEE2013

Design Space Exploration and Implementation of RVC-CAL Applications using the TURNUS framework

Marco Mattavelli, Simone Casale Brunet, Endri Bezati, Claudio Paolo Alberti, Ghislain Roquier

While research on the design of heterogeneous concurrent systems has a long and rich history, a unified design methodology and tool support has not emerged so far, and thus the creation of such systems remains a difficult, time-consuming and error-prone pr ...

2013

Finite graphs and amenability

Gábor Elek

Hyperfiniteness or amenability of measurable equivalence relations and group actions has been studied for almost fifty years. Recently, unexpected applications of hyperfiniteness were found in computer science in the context of testability of graph propert ...

Academic Press Inc Elsevier Science2012

Clebsch Optimal Control Formulation In Mechanics

Tudor Ratiu, François Gay-Balmaz

This paper introduces and studies a class of optimal control problems based on the Clebsch approach to Euler-Poincare dynamics. This approach unifies and generalizes a wide range of examples appearing in the literature: the symmetric formulation of N-dimen ...

2011

A unified approach to dielectric single cell analysis: Impedance and dielectrophoretic force spectroscopy

Philippe Renaud, Thomas Michael Braschler, Ana Valero

In this review we present a unified approach for single cell dielectric spectroscopy. Impedance spectroscopy and dielectrophoretic cell sorting, current microtechnologies applied in electrical analysis of single cells are discussed based on their closely r ...

Royal Society of Chemistry2010

Agile unified process

Limits on Support Recovery with Probabilistic Models: An Information-Theoretic Framework

Learning of Closed-Loop Motion Control

ScalaDyno: Making Name Resolution and Type Checking Fault-tolerant

Compression Performance Analysis in HEVC

Unified mechanistic multiscale mapping of two-phase flow patterns in microchannels

TURNUS: A design exploration framework for dataflow system design

Design Space Exploration and Implementation of RVC-CAL Applications using the TURNUS framework

Finite graphs and amenability

Clebsch Optimal Control Formulation In Mechanics

A unified approach to dielectric single cell analysis: Impedance and dielectrophoretic force spectroscopy

Graph Chatbot

Chat with Graph Search

Learning of Closed-Loop Motion Control

Limits on Support Recovery with Probabilistic Models: An Information-Theoretic Framework

Compression Performance Analysis in HEVC

ScalaDyno: Making Name Resolution and Type Checking Fault-tolerant

Design Space Exploration and Implementation of RVC-CAL Applications using the TURNUS framework

Clebsch Optimal Control Formulation In Mechanics

Finite graphs and amenability

TURNUS: A design exploration framework for dataflow system design

A unified approach to dielectric single cell analysis: Impedance and dielectrophoretic force spectroscopy

Unified mechanistic multiscale mapping of two-phase flow patterns in microchannels