1 |
A gentle introduction to Girard's Transcendental Syntax for the linear logician
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2022 (2022)
|
|
BASE
|
|
Show details
|
|
2 |
cushLEPOR uses LABSE distilled knowledge to improve correlation with human translation evaluations
|
|
|
|
In: Erofeev, Gleb, Sorokina, Irina, Han, Lifeng orcid:0000-0002-3221-2185 and Gladkoff, Serge (2021) cushLEPOR uses LABSE distilled knowledge to improve correlation with human translation evaluations. In: Machine Translation Summit 2021, 16-20 Aug 2021, USA (online). (In Press) (2021)
|
|
BASE
|
|
Show details
|
|
3 |
Meta-evaluation of machine translation evaluation methods
|
|
|
|
In: Han, Lifeng orcid:0000-0002-3221-2185 (2021) Meta-evaluation of machine translation evaluation methods. In: Workshop on Informetric and Scientometric Research (SIG-MET), 23-24 Oct 2021, Online. (2021)
|
|
BASE
|
|
Show details
|
|
5 |
Salience Estimation and Faithful Generation: Modeling Methods for Text Summarization and Generation
|
|
|
|
BASE
|
|
Show details
|
|
6 |
Multiplicative Linear Logic from Logic Programs and Tilings
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02895111 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
7 |
A gentle introduction to Girard's Transcendental Syntax for the linear logician
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
8 |
Stellar Resolution: Multiplicatives - for the linear logician, through examples
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
9 |
A gentle introduction to Girard's Transcendental Syntax for the linear logician
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
10 |
Stellar Resolution: Multiplicatives - for the linear logician, through examples
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
11 |
Quantifying Holistic Capacity Response and Healthcare Resilience in Tackling COVID-19: Assessment of Country Capacity by MCDM ...
|
|
|
|
BASE
|
|
Show details
|
|
12 |
Quantifying Holistic Capacity Response and Healthcare Resilience in Tackling COVID-19: Assessment of Country Capacity by MCDM ...
|
|
|
|
BASE
|
|
Show details
|
|
13 |
Quantifying Holistic Capacity Response and Healthcare Resilience in Tackling COVID-19: Assessment of Country Capacity by MCDM.xlsx ...
|
|
|
|
BASE
|
|
Show details
|
|
16 |
Transforming the study of organisms: Phenomic data models and knowledge bases.
|
|
|
|
In: PLoS computational biology, vol 16, iss 11 (2020)
|
|
BASE
|
|
Show details
|
|
17 |
Choice of mathematic models of soils in static and seismic analyses of embankment dams
|
|
|
|
In: Structural Mechanics of Engineering Constructions and Buildings, Vol 16, Iss 4, Pp 261-270 (2020) (2020)
|
|
BASE
|
|
Show details
|
|
18 |
The software part, the fundamental and organizational structure of the software and hardware complex to ensure the safety of hydraulic and hydropower structures under the construction
|
|
|
|
In: Structural Mechanics of Engineering Constructions and Buildings, Vol 16, Iss 6, Pp 465-471 (2020) (2020)
|
|
BASE
|
|
Show details
|
|
19 |
Co-constructing Peer Feedback Practices in an Elementary School Mathematics Classroom: An Enactivist Perspective
|
|
|
|
BASE
|
|
Show details
|
|
20 |
Interaction matrix selection in spatial econometrics with an application to growth theory
|
|
|
|
In: ISSN: 0166-0462 ; Regional Science and Urban Economics ; https://halshs.archives-ouvertes.fr/halshs-01278545 ; Regional Science and Urban Economics, Elsevier, 2019, 75, pp.49-69. ⟨10.1016/j.regsciurbeco.2019.01.002⟩ (2019)
|
|
BASE
|
|
Show details
|
|
|
|