Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Local certification of graphs with bounded genus
Feuilloley, Laurent, Fraigniaud, Pierre, Montealegre, Pedro, Rapaport, Ivan, Rémila, Éric, Todinca, Ioan
Published in Discrete Applied Mathematics (30.01.2023)
Published in Discrete Applied Mathematics (30.01.2023)
Get full text
Journal Article
Herding Cats: Modelling, Simulation, Testing, and Data Mining for Weak Memory
Alglave, Jade, Maranget, Luc, Tautschnig, Michael
Published in ACM transactions on programming languages and systems (01.07.2014)
Published in ACM transactions on programming languages and systems (01.07.2014)
Get full text
Journal Article
Uncertainty quantification through the Monte Carlo method in a cloud computing setting
Cunha, Americo, Nasser, Rafael, Sampaio, Rubens, Lopes, Hélio, Breitman, Karin
Published in Computer physics communications (01.05.2014)
Published in Computer physics communications (01.05.2014)
Get full text
Journal Article
Checkpointing Workflows for Fail-Stop Errors
Han, Li, Canon, Louis-Claude, Casanova, Henri, Robert, Yves, Vivien, Frederic
Published in IEEE transactions on computers (01.08.2018)
Published in IEEE transactions on computers (01.08.2018)
Get full text
Journal Article
Parallel numerical computation of an analytical method for solving an inverse problem
Nachaoui, Abdeljalil, Nachaoui, Mourad, Gasimov, Bayram
Published in Advanced mathematical models & applications (24.08.2021)
Get full text
Published in Advanced mathematical models & applications (24.08.2021)
Journal Article
Robustness: A new form of heredity motivated by dynamic networks
Casteigts, Arnaud, Dubois, Swan, Petit, Franck, Robson, John M.
Published in Theoretical computer science (02.02.2020)
Published in Theoretical computer science (02.02.2020)
Get full text
Journal Article
The uncertain cloud: State of the art and research challenges
Mezni, Haithem, Aridhi, Sabeur, Hadjali, Allel
Published in International journal of approximate reasoning (01.12.2018)
Published in International journal of approximate reasoning (01.12.2018)
Get full text
Journal Article
Hybrid Galerkin numerical modelling of elastodynamics and compressible Navier–Stokes couplings: applications to seismo-gravito acoustic waves
Brissaud, Quentin, Martin, Roland, Garcia, Raphaël F., Komatitsch, Dimitri
Published in Geophysical journal international (01.08.2017)
Published in Geophysical journal international (01.08.2017)
Get full text
Journal Article
An advanced GRASP-HGA combination to solve a multi-period Pickup and Delivery Problem
Al Chami, Zaher, Manier, Hervé, Manier, Marie-Ange, Chebib, Elias
Published in Expert systems with applications (01.09.2018)
Published in Expert systems with applications (01.09.2018)
Get full text
Journal Article
The topology of local computing in networks
Fraigniaud, Pierre, Paz, Ami
Published in Journal of applied and computational topology (01.09.2024)
Published in Journal of applied and computational topology (01.09.2024)
Get full text
Journal Article
Reordering Strategy for Blocking Optimization in Sparse Linear Solvers
Pichon, Gregoire, Faverge, Mathieu, Ramet, Pierre, Roman, Jean
Published in SIAM journal on matrix analysis and applications (01.01.2017)
Published in SIAM journal on matrix analysis and applications (01.01.2017)
Get full text
Journal Article