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)
|
|
Abstract:
Relevance. Numerical analyses of behavior or stress-strain state (SSS) of embankment dams are usually performed using various computational programs, which use different, often complex mathematical models of soils. However, the right choice of these models is left to the program user, who usually has not enough experience in this field of knowledge, and therefore the results of these analyses are often obscure and erroneous. The aims of the work - development of recommendations for selecting the most reliable mathematical models of soils in numerical analyses of embankment dams and comparing these models with the most common models in modern world practice of their application. Methods. Deep comparative analysis of many soil models was conducted on the use of the soil models in numerical analyses of embankment dams during authors work in ICOLD Committee on Analysis and Dam Design. Results. On the basis of the evaluation of the reliability of soil models, recommendations were obtained on the choice and application of these models in the numerical analyses of SSS of embankment dams under action of static and seismic impacts; interactions between the results of these analyses and dam monitoring data were identified.
|
|
Keyword:
Architectural engineering. Structural engineering of buildings; embankment dams; evaluation of reliability of soil models; mathematical models of soils; numerical analyses; stress-strain state; TH845-895
|
|
URL: https://doaj.org/article/9ae523b04bfa4907816b9c8f85630de6 https://doi.org/10.22363/1815-5235-2020-16-4-261-270
|
|
BASE
|
|
Hide 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
|
|
|
|