Author Search Results

Select result number 121
121

Efficient implementation of interval matrix multiplication

by Nguyen, Hong Diep
Published 2010
Contributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de...”

Get access
Get access
Get access

Conference Object
Select result number 122
122

Effectful Applicative Bisimilarity: Monads, Relators, and Howe's Method

by Dal Lago, Ugo, Gavazzo, Francesco, Blain Levy, Paul
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Contributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 123
123

Towards Verification of the Pastry Protocol Using TLA +

by Lu, Tianxiang, Merz, Stephan, Weidenbach, Christoph
Published 2011
Contributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 124
124

Expressively Modeling the Social Golfer Problem into SAT

by Lardeux, Frédéric, Monfroy, Eric
Published 2015
Contributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de...”

Get access

Conference Object
Select result number 125
125

Boundary conditions control in ORCA2

by Kazantsev, Eugene
Published 2012
Contributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de...”

Get access
Get access
Get access

Conference Object
Select result number 126
126

Diversity-dependence brings molecular phylogenies closer to agreement with the fossil record

by Etienne, Rampal S., Haegeman, Bart, Stadler, Tanja, Aze, Tracy, Pearson, Paul N., Purvis, Andy, Phillimore, Albert B.
Published in Proceedings of the Royal Society B: Biological Sciences (2012)
Contributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de...”

Get access
Get access

Article in Journal/Newspaper
Select result number 127
127

Diversity-dependence brings molecular phylogenies closer to agreement with the fossil record

by Etienne, Rampal S., Haegeman, Bart, Stadler, Tanja, Aze, Tracy, Pearson, Paul N., Purvis, Andy, Phillimore, Albert B.
Published in Proceedings of the Royal Society B: Biological Sciences (2012)
Contributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de...”

Get access
Get access

Article in Journal/Newspaper
Select result number 128
128

Optimal Boundary Conditions for ORCA-2 Model

by Kazantsev, Eugene
Published in Ocean Dynamics (2013)
Contributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de...”

Get access
Get access
Get access
Get access

Article in Journal/Newspaper
Select result number 129
129

Optimal Boundary Conditions for ORCA-2 Model

by Kazantsev, Eugene
Published in Ocean Dynamics (2013)
Contributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de...”

Get access
Get access
Get access
Get access

Article in Journal/Newspaper
Select result number 130
130

Assimilation variationnelle pour la datation croisée de forages profonds en Antarctique et Groënland

by Lemieux-Dudon, Bénédicte, Blayo, Eric, Toye Mahamadou Kele, Habib
Published 2010
Contributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de...”

Get access

Conference Object
Select result number 131
131

Assimilation variationnelle pour la datation croisée de forages profonds en Antarctique et Groënland

by Lemieux-Dudon, Bénédicte, Blayo, Eric, Toye Mahamadou Kele, Habib
Published 2010
Contributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de...”

Get access

Conference Object
Select result number 132
132

Towards Verification of the Pastry Protocol Using TLA +

by Lu, Tianxiang, Merz, Stephan, Weidenbach, Christoph
Published 2011
Contributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 133
133

Towards Verification of the Pastry Protocol Using TLA +

by Lu, Tianxiang, Merz, Stephan, Weidenbach, Christoph
Published 2011
Contributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 134
134

Multi-way Variational NMT for UGC: Improving Robustness in Zero-shot Scenarios via Mixture Density Networks

by Rosales Núñez, José, Carlos, Seddah, Djamé, Wisniewski, Guillaume
Published 2023
Contributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de...”

Get access
Get access
Get access

Conference Object
Select result number 135
135

Multi-way Variational NMT for UGC: Improving Robustness in Zero-shot Scenarios via Mixture Density Networks

by Rosales Núñez, José, Carlos, Seddah, Djamé, Wisniewski, Guillaume
Published 2023
Contributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de...”

Get access
Get access
Get access

Conference Object
Select result number 136
136

Diversity-dependence brings molecular phylogenies closer to agreement with the fossil record

by Etienne, Rampal S., Haegeman, Bart, Stadler, Tanja, Aze, Tracy, Pearson, Paul N., Purvis, Andy, Phillimore, Albert B.
Published in Proceedings of the Royal Society B: Biological Sciences (2012)
Contributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de...”

Get access
Get access

Article in Journal/Newspaper
Select result number 137
137

Analysis of ocean-atmosphere coupling algorithms: consistency and stability issues

by Lemarié, Florian, Blayo, Eric, Debreu, Laurent
Published in Procedia Computer Science (2015)
Contributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de...”

Get access
Get access

Conference Object
Select result number 138
138

Analysis of ocean-atmosphere coupling algorithms: consistency and stability issues

by Lemarié, Florian, Blayo, Eric, Debreu, Laurent
Published in Procedia Computer Science (2015)
Contributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de...”

Get access
Get access

Conference Object
Select result number 139
139

Optimal Boundary Conditions for ORCA-2 Model

by Kazantsev, Eugene
Published in Ocean Dynamics (2013)
Contributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de...”

Get access
Get access
Get access
Get access

Article in Journal/Newspaper
Select result number 140
140

Optimal Boundary Conditions for ORCA-2 Model

by Kazantsev, Eugene
Published in Ocean Dynamics (2013)
Contributors: “...Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de...”

Get access
Get access
Get access
Get access

Article in Journal/Newspaper

First
Prev
2
3
4
5
6
7
8
9
10
11
12
Next
Last

Search Results

Related Subjects