Concept

Environnement de développement

Publications associées (26)

Search Techniques for Code Generation

This dissertation explores techniques that synthesize and generate program fragments and test inputs. The main goal of these techniques is to improve and support automation in program synthesis and test input generation. This is important because performin ...

EPFL2015

Functional Programming For All! Scaling a MOOC for Students and Professionals Alike

Martin Odersky, Heather Christine Klug, Philipp Haller, Lukas Rytz

Massive open online courses (MOOCs) have launched a scale shift in higher education, with several individual MOOCs now boasting tens or hundreds of thousands of participants worldwide. Our MOOC on the principles of functional programming has more than 100, ...

2014

A Low-Power PPM Demodulator for Remotely Powered Batteryless Implantable Devices

Catherine Dehollain, Enver Gürhan Kilinç, Franco Maloberti

A low-power PPM demodulator has been developed for remotely powered batteryless implantable devices. The required power is harvested by the magnetic coupling with external powering coils placed under the living space of the animal. The remote powering is t ...

Ieee2014

Automated Real-Time Control of Fluidic Self-Assembly of Microparticles

Jürgen Brugger, Alcherio Martinoli, Massimo Mastrangeli, Felix Stephan Schill, Helmut Knapp

Self-assembly is a key coordination mechanism for large multi-unit systems and a powerful bottom-up technology for micro/nanofabrication. Controlled self-assembly and dynamic reconfiguration of large ensembles of microscopic particles can effectively bridg ...

2014

Comprehensive and Scalable Highly Automated MS-Based Proteomic Workflow for Clinical Biomarker Discovery in Human Plasma

Loïc Dayon, Martin Kussmann

Over the past decade, mass spectrometric performance has greatly improved in terms of sensitivity, dynamic range, and speed. By contrast, only limited progress has been accomplished with regard to automation, throughput, and robustness of the proteomic sam ...

Amer Chemical Soc2014

Short Range Remote Powering of Implanted Electronics for Freely Moving Animals

Catherine Dehollain, Enver Gürhan Kilinç, Franco Maloberti

An implantable system for monitoring vital parameters via bio-sensors inside freely moving laboratory animals and its powering system are presented. The required 2 mW are harvested by the magnetic coupling with an external coil placed under the living spac ...

Ieee2013