Benveniste, Albert Caillaud, Benoît Malandain, Mathias
Tom Henzinger was among the co-founders of the paradigm of hybrid automata in 1992. Hybrid automata possess different locations, holding different ODE-based dynamics; exit conditions from a location trigger transitions, resulting in starting conditions for the next location. A large research activity was developed in the formal verification of hybr...
Deneckère, Rébecca
L’ingénierie des processus, et, par extension, l’ingénierie des processus intentionnels, est un domaine phare en ingénierie des systèmes d’information. L’étude des traitements, des règles de gestions, des intentions des utilisateurs, des différentes stratégies qui leurs sont offertes, offre de nombreuses possibilités et techniques différentes. La f...
André, Étienne Marinho, Dylan Petrucci, Laure van de Pol, Jaco
Parametric timed automata are a powerful formalism for reasoning on concurrent real-time systems with unknown or uncertain timing constants. Reducing their state space is a significant way to reduce the inherently large analysis times. We present here different merging reduction techniques based on convex union of constraints (parametric zones), al...
Nika, Jérôme Muller, Augustin Borg, Joakim Assayag, Gérard Ostrowski, Matthew
Ben Amara, Oussema de Nicola, Antonio Kamissoko, Daouda Benaben, Frederick
Business Continuity (BC) methods use threat identification, continuous improvement, and recommendations to ensure running the organization's main activities in case of disruptive events. Information Systems, on the other hand, are increasingly based on service-based structures and are seen as fundamental instruments to guarantee business continuity...
Rigonato, Janaina Budinich, Marko Murillo, Alejandro Brandão, Manoela Karlusich, Juan Soviadan, Yawouvi Dodji Gregory, Ann Endo, Hisashi Kokoszka, Florian Vik, Dean
...
Marine plankton mitigate anthropogenic greenhouse gases, modulate biogeochemical cycles, and provide fishery resources. Plankton is distributed across a stratified ecosystem of sunlit surface waters and a vast, though understudied, mesopelagic ‘dark ocean’. In this study, we mapped viruses, prokaryotes, and pico-eukaryotes across 32 globally-distri...
Moraru, Maxim Warnet, Mina Loiseau, Julien Ramakrishnaiah, Vinay Prajapati, Nirmal Lim, Hyun Lakshmiranganatha, Sumathi Mohd-Yusof, Jamal Tsai, Karen Berger, Richard
...
GPU matrix chain multiplication serves as a basis for a wide range of scientific domains like computer graphics, physics, and machine learning. While its time performance was studied for years, there has been significantly less effort in optimizing its energy efficiency. GPU power consumption is heavily impacted by the number of data transfers perf...
Bouquet, Valentin
Cette thèse porte sur des problèmes et des questions de la théorie et de l'algorithmique de graphe. La première partie concerne l'étude de l'ensemble dominant minimum. Nous considérons son problème de décision et montrons que le nombre de domination peut être déterminé en temps polynomial dans la classe des graphes sans griffe et sans chemin induit...
Prince, Violaine Lagarrigue, Aurelie
Non ne fuyez pas ! Oui oui de la phi.lo.so.phie… de l’informatique. Parce que des premières machines qui calculent jusqu’à l’intelligence artificielle, l’informatique a bouleversé notre monde, au point qu’il y a peut-être lieu de prendre un peu de temps, grâce à Violaine Prince, avec la complicité de Aurélie Lagarrigue, pour se questionner sur ces ...
Dijkman, Remco Cherfi, Samira Si-Said Eshuis, Rik Liew, Alan Wee-Chung
International audience