E-LIB Suche - Ergebnisse für: Simon Forest

1

An Analysis of Symmetry in Quantitative Semantics:

, In: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science,

Clairambault, Pierre ; Forest, Simon - p. 1-13 , 2024

Link: https://dl.acm.org/doi/1..

2

The Cartesian Closed Bicategory of Thin Spans of Groupoids:

, In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),

Clairambault, Pierre ; Forest, Simon - p. 1-13 , 2023

Link: https://doi.org/10.1109/..

3

Prediction of Maple Syrup Quality from Maple Sap with a Pla..:

Forest, Simon ; Coutu, Julien ; Montiel-Léon, Juan Manuel...
ACS Food Science & Technology. 3 (2023) 4 - p. 635-647 , 2023

Link: https://doi.org/10.1021/..

4

Rewriting in Gray categories with applications to coherence:

Forest, Simon ; Mimram, Samuel
Mathematical Structures in Computer Science. 32 (2022) 5 - p. 574-647 , 2022

Link: https://doi.org/10.1017/..

5

Combining Manifold Learning and Neural Field Dynamics for M..:

, In: 2022 International Joint Conference on Neural Networks (IJCNN),

Forest, Simon ; Quinton, Jean-Charles ; Lefort, Mathieu - p. 1-8 , 2022

Link: https://doi.org/10.1109/..

6

Cross-validation of ELISA and a portable surface plasmon re..:

Djaileb, Abdelhadi ; Hojjat Jodaylami, Maryam ; Coutu, Julien...
The Analyst. 146 (2021) 15 - p. 4905-4917 , 2021

Link: https://doi.org/10.1039/..

7

A high-throughput plasmonic tongue using an aggregation ass..:

Forest, Simon ; Théorêt, Trevor ; Coutu, Julien.
Analytical Methods. 12 (2020) 19 - p. 2460-2468 , 2020

Link: https://doi.org/10.1039/..

8

Describing free ω-categories:

, In: Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science,

Forest, Simon ; Mimram, Samuel - p. 1-13 , 2019

Link: https://dl.acm.org/doi/1..

9

Dependent types and multi-monadic effects in F*:

, In: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,

Swamy, Nikhil ; Hriţcu, Cătălin ; Keller, Chantal... - p. 256-270 , 2016

Link: https://dl.acm.org/doi/1..

10

Surface Plasmon Resonance Imaging-MALDI-TOF Imaging Mass Sp..:

Forest, Simon ; Breault-Turcot, Julien ; Chaurand, Pierre.
Analytical Chemistry. 88 (2016) 4 - p. 2072-2079 , 2016

Link: https://doi.org/10.1021/..

11

Dependent types and multi-monadic effects in F*:

Swamy, Nikhil ; Hriţcu, Cătălin ; Keller, Chantal...
ACM SIGPLAN Notices. 51 (2016) 1 - p. 256-270 , 2016

Link: https://doi.org/10.1145/..

12

Using research questionnaires with young people in schools:..:

Strange, Vicki ; Forest, Simon ; Oakley, Ann.
International Journal of Social Research Methodology. 6 (2003) 4 - p. 337-346 , 2003

Link: https://doi.org/10.1080/..

13

Cross-validation of ELISA and a portable surface plasmon re..:

John Kim ; Matthew Stuible ; Simon Forest...
url:https://www.openaccessrepository.it/communities/itmirror. , 2021

Link: https://www.openaccessre..

14

An Analysis of Symmetry in Quantitative Semantics:

Clairambault, Pierre ; Forest, Simon
hal-04427678. , 2024

Link: https://amu.hal.science/..

15

An Analysis of Symmetry in Quantitative Semantics:

Clairambault, Pierre ; Forest, Simon
http://arxiv.org/abs/2401.17483. , 2024

Link: http://arxiv.org/abs/240..