Wang, Seaver Tang, Weiyi Delage, Erwan Gifford, Scott Whitby, Hannah González, Aridane G. Eveillard, Damien Planquette, Hélène Cassar, Nicolas
Published in
Scientific Reports
Variation in the microbial cycling of nutrients and carbon in the ocean is an emergent property of complex planktonic communities. While recent findings have considerably expanded our understanding of the diversity and distribution of nitrogen (N2) fixing marine diazotrophs, knowledge gaps remain regarding ecological interactions between diazotroph...
Suau, Adrien Nelson, Jon Vuffray, Marc Lokhov, Andrey Cincio, Lukasz Coffrin, Carleton
As a variety of quantum computing models and platforms become available, methods for assessing and comparing the performance of these devices are of increasing interest and importance. Despite being built of the same fundamental computational unit, radically different approaches have emerged for characterizing the performance of qubits in gate-base...
Pétrot, Frédéric Prost-Boucle, Adrien BOURGE, Alban Andrade Porras, Liliana Lilibeth Baumela, Thomas Pinzari, Ana
International audience
Rodrigues Carvalho, Daniel Seznec, André
Cache compression algorithms must abide by hardware constraints; thus, their efficiency ends up being low, and most cache lines end up barely compressed. Moreover, schemes that compress relatively well often decompress slowly, and vice versa. This paper proposes a compression scheme achieving high (good) compaction ratio and fast decompression late...
Alti, Adel Lakehal, Abderrahim Roose, Philippe
In this paper, we propose a decentralized agent-based Autonomic Semantic Service Adaptation Controller and Reconfiguration (ASSACR) to solve the problem of context-aware service selection and deployment for distributed healthcare mobile applications, where functional and non-functional users' needs are expressed using domain-independent ontology. T...
Goy, Alexandre
Monads are a concept from category theory allowing to model abstractly the notion of computational effect. The non-compositionality of monads is well-known, but the theory of distributive laws is a classical tool that has proved useful to combine effects of several monads. In frequent cases, there is no way of defining a distributive law between a ...
Karakra, Abdallah
Hospitals are demanding workplaces that have real-time services and require extensive human interaction at the resource level (doctors, nurses, etc.), the location level (exam rooms, operating rooms, etc.), the process level (pathways), and the user level (patients). Designing and managing such a health care facility can be inherently challenging d...
Rainaud, J. Bac, A. Perrin, M. Daniel, Marc Untereiner, L.
International audience
Di Stefano, Luca Lang, Frédéric
We introduce an automated workflow to verify a variety of temporal properties on systems of agents that interact through virtual stigmergies. By mechanically reducing the property and the system under verification to an MCL query and a sequential LNT program (both MCL and LNT being languages available in the CADP formal verification toolbox), we ma...
Cherrueau, Ronan-Alexandre Delavergne, Marie Van Kempen, Alexandre Lebre, Adrien Pertin, Dimitri Rojas Balderrama, Javier Simonet, Anthony Simonin, Matthieu
Despite the importance of experiment-driven research in the distributed computing community, there has been little progress in helping researchers conduct their experiments. In most cases, they have to achieve tedious and time-consuming development and instrumentation activities to deal with the specifics of testbeds and the system under study. In ...
