Publications related to Systemic functional linguistics

Resource Sharing in Dataflow Circuits

Paolo Ienne, Andrea Guerrieri, Lana Josipovic, Axel Marmet

To achieve resource-efficient hardware designs, high-level synthesis (HLS) tools share (i.e., time-multiplex) functional units among operations of the same type. This optimization is typically performed in conjunction with operation scheduling to ensure th ...

Assoc Computing Machinery2023

Brain's Dynamic Functional Organization with Simultaneous EEG-fMRI Networks

João Pedro Forjaco Jorge, Patricia Figueiredo

The brain's functional networks can be assessed using imaging techniques like functional magnetic resonance imaging (fMRI) and electroencephalography (EEG). Recent studies have suggested a link between the dynamic functional connectivity (dFC) captured by ...

SPRINGER INTERNATIONAL PUBLISHING AG2023

Resource Sharing in Dataflow Circuits

Paolo Ienne, Andrea Guerrieri, Lana Josipovic, Axel Marmet

To achieve resource-efficient hardware designs, HLS tools share (i.e., time-multiplex) functional units among operations of the same type. This optimization is typically performed together with operation scheduling to ensure the best possible unit usage at ...

IEEE2022

Scaling Language Features for Program Verification

Georg Stefan Schmid

Formal verification of real-world software systems remains challenging for a number of reasons, including lack of automation, friction in specifying properties, and limited support for the diverse programming paradigms used in industry. In this thesis we m ...

EPFL2022

Hand pose selection in a bimanual fine-manipulation task

Aude Billard, Kunpeng Yao

Many daily tasks involve the collaboration of both hands. Humans dexterously adjust hand poses and modulate the forces exerted by fingers in response to task demands. Hand pose selection has been intensively studied in unimanual tasks, but little work has ...

2021

Altered anterior default mode network dynamics in progressive multiple sclerosis

Dimitri Nestor Alice Van De Ville, Maria Giulia Preti, Anjali Bagunu Tarun, Giulia Bommarito, Younes Farouj

Background: Modifications in brain function remain relatively unexplored in progressive multiple sclerosis (PMS), despite their potential to provide new insights into the pathophysiology of the disease at this stage. Objectives: To characterize the dynamic ...

SAGE PUBLICATIONS LTD2021

Office densification effects on comfort, energy, and carbon lifecycle performance: An integrated and exploratory study

Thomas Bernard Paul Jusselme, Endrit Hoxha, Cédric Liardet, Laurent Liardet

Generally, the environmental impacts of buildings are benchmarked per square meter as a functional unit. However, this practice prevents developing a user-centered approach in which performance is linked to real usage and not building size. Currently, the ...

2020

Stoic: Towards Disciplined Capabilities

Martin Odersky, Nada Amin, Fengyun Liu, Sandro Stucki, Paolo Giosuè Giarrusso

Capabilities are widely used in the design of software systems to ensure security. A system of capabilities can become a mess in the presence of objects and functions: objects may leak capabilities and functions may capture capabilities. They make reasonin ...

2020

Functional relations in nineteen-vertex models with domain-wall boundaries

Aleksi Antoine Bossart

This work is concerned with functional properties shared by partition functions of nineteen-vertex models with domain-wall boundary conditions. In particular, we describe both Izergin-Korepin and Fateev-Zamolodchikov models with the aforementioned boundary ...

2019

Functional BIP: Embedding connectors in functional programming languages

Romain Edelmann, Joseph Sifakis, Simon Bliudze

This paper presents a theoretical foundation for functional language implementations of Behaviour–Interaction–Priority (BIP). We introduce a set of connector combinators describing synchronisation, data transfer, priorities and dynamicity in a principled w ...

Elsevier Science Inc2017

Locating Temporal Functional Dynamics of Visual Short-Term Memory Binding using Graph Modular Dirichlet Energy

Pierre Vandergheynst, Benjamin Ricaud, Nauman Shahid, Keith Malcom Smith

Visual short-term memory binding tasks are a promising early marker for Alzheimer's disease (AD). To uncover functional deficits of AD in these tasks it is meaningful to first study unimpaired brain function. Electroencephalogram recordings were obtained f ...

Nature Publishing Group2017

Energetic Macroscopic Representation (EMR) and control scheme for the asymmetric 4-stage MSBA

Alfred Rufer, Gina Kristin Steinke

The Multistage Stacked Boost Architecture (MSBA) is a non-isolated step-up converter topology intended for renewable energy generation systems or distribution networks. In previous papers the functionality and intended applications for this topology have b ...

2016

Dinuclear Gd(III) Polyaminocarboxylates as Building Blocks for MRI Contrast Agents

Bibimaryam Mousavi

Magnetic resonance imaging (MRI) technique is at the forefront of biomedical and clinical imaging. Its superb spatial resolution, noninvasive nature and use of benign radiation outweigh its intrinsic low detection sensitivity. However paramagnetic relaxers ...

EPFL2013

Fast and Scalable Temperature-driven Floorplan Design in 3D MPSoCs

David Atienza Alonso, Martino Ruggiero, Alessandro Vincenzi

Temperature-driven floorplaners have been recently proposed to alleviate the thermal problem in 3D multi-processor systems-on-chip (MPSoC). However, the proposed algorithms fail to provide fast placement of the modules when the complexity and the number of ...

IEEE Press2012

EEG microstate sequences in healthy humans at rest reveal scale-free dynamics

Dimitri Nestor Alice Van De Ville

Recent findings identified electroencephalography (EEG) microstates as the electrophysiological correlates of fMRI resting-state networks. Microstates are defined as short periods (100 ms) during which the EEG scalp topography remains quasi-stable; that is ...

National Academy of Sciences2010

The Hitchhiker's Guide to Successful Wireless Sensor Network Deployments

Martin Vetterli, Guillermo Barrenetxea Kobas, François Ingelrest

The successful deployment of a wireless sensor network is a difficult task, littered with traps and pitfalls. Even a functional network does not guarantee gathering meaningful data. In SensorScope, with its high-mountain campaigns, we have acquired invalua ...

2008

Environmental analysis of intensity level in wheat crop production using life cycle assessment

Although a priori thinking would suggest that a low intensity crop is environmentally favourable, this assumption ignores the effect of reduced productivity which could simply lead to pollution shifting to other places. A life cycle assessment of the wheat ...

2006