Results 281 to 290 of about 1,777,078 (318)
Some of the next articles are maybe not open access.
2001
Fusion theorem is a classical result that allows the simplification of the morphisms among homogeneus structures [10]. We present this theorem and some generalizations in the context of the constructive proof assistant tool Coq [2] where we have dependent types and parametric polymorphism.
José Luis Freire +3 more
openaire +1 more source
Fusion theorem is a classical result that allows the simplification of the morphisms among homogeneus structures [10]. We present this theorem and some generalizations in the context of the constructive proof assistant tool Coq [2] where we have dependent types and parametric polymorphism.
José Luis Freire +3 more
openaire +1 more source
Mechanisms of SNARE proteins in membrane fusion
Nature Reviews Molecular Cell Biology, 2023Reinhard Jahn +2 more
exaly
Burning plasma achieved in inertial fusion
Nature, 2022A B Zylstra, O A Hurricane, D A Callahan
exaly
RFN-Nest: An end-to-end residual fusion network for infrared and visible images
Information Fusion, 2021Hui Li, Xiao-Jun Wu, Josef Kittler
exaly