21 |
MODULES DE DRINFELD QUASICRISTALLINS
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02394235 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
22 |
Multiplicative Linear Logic from Logic Programs and Tilings
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02895111 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
23 |
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
|
|
24 |
Artificial Text Detection via Examining the Topology of Attention Maps
|
|
|
|
In: ACL Anthology ; Empirical Methods in Natural Language Processing ; https://hal.archives-ouvertes.fr/hal-03456191 ; Empirical Methods in Natural Language Processing, ACL (Association for Computational Linguistics), Nov 2021, Punta Cana, Dominican Republic (2021)
|
|
BASE
|
|
Show details
|
|
25 |
Stellar Resolution: Multiplicatives - for the linear logician, through examples
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
26 |
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
|
|
27 |
Stellar Resolution: Multiplicatives - for the linear logician, through examples
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
28 |
Modelling predicates in propositional syntax ; Modélisation de prédicats dans la syntaxe propositionnelle
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03195162 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
29 |
Suszko's Problem: Mixed Consequence and Compositionality
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03101560 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
30 |
Type-logical investigations: proof-theoretic, computational and linguistic aspects of modern type-logical grammars
|
|
|
|
In: https://hal-lirmm.ccsd.cnrs.fr/tel-03452731 ; Computation and Language [cs.CL]. Université Montpellier, 2021 (2021)
|
|
BASE
|
|
Show details
|
|
32 |
The Use of Motivational Strategies to Enhance Academic Outcomes of Cover, Copy, and Compare Mathematics Intervention
|
|
Kasser, Tali. - : eScholarship, University of California, 2021
|
|
BASE
|
|
Show details
|
|
33 |
Logical foundations for hybrid type-logical grammars
|
|
|
|
In: ISSN: 0925-8531 ; EISSN: 1572-9583 ; Journal of Logic, Language and Information ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-02944393 ; Journal of Logic, Language and Information, Springer Verlag, In press (2021)
|
|
BASE
|
|
Show details
|
|
34 |
Understanding Teachers’ Professional Development Through their Interactions with Resources: a Multilingual Project
|
|
|
|
In: Mathematics Education Across Cultures: Proceedings of the 42nd Meeting of the North American Chapter of the International Group for the Psychology of Mathematics Education ; https://hal.archives-ouvertes.fr/hal-03090727 ; Mathematics Education Across Cultures: Proceedings of the 42nd Meeting of the North American Chapter of the International Group for the Psychology of Mathematics Education, PME-NA, Jun 2021, Mazatlan, Mexico. pp.143-154, ⟨10.51272/pmena.42.2020-8⟩ ; https:/doi.org/10.51272/pmena.42.20 (2021)
|
|
BASE
|
|
Show details
|
|
35 |
A bio-inspired geometric model for sound reconstruction
|
|
|
|
In: ISSN: 2190-8567 ; Journal of Mathematical Neuroscience ; https://hal.archives-ouvertes.fr/hal-02531537 ; Journal of Mathematical Neuroscience, BioMed Central, 2021, 11 (1), pp.2. ⟨10.1186/s13408-020-00099-4⟩ (2021)
|
|
BASE
|
|
Show details
|
|
36 |
Some contributions to computational Bayesian methods with application to phylolinguistics ; Quelques contributions aux méthodes computationnelles bayesiennes, avec applications à la phylolinguistique
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-03546821 ; Statistics [math.ST]. Université Paris sciences et lettres, 2021. English. ⟨NNT : 2021UPSLD008⟩ (2021)
|
|
BASE
|
|
Show details
|
|
37 |
Le Dictionnaire Électronique des Synonymes (DES) et ses produits de recherches connexes
|
|
|
|
In: Journée d'étude sur les réseaux lexicaux ; https://halshs.archives-ouvertes.fr/halshs-03489578 ; Journée d'étude sur les réseaux lexicaux, INALCO (Institut NAtional des Langues et Civilisations Orientales), Dec 2021, Paris, France. 42 p ; https://er-tim.fr/jrl/index.html (2021)
|
|
BASE
|
|
Show details
|
|
38 |
A workshop on the epistemology and didactics of mathematical structuralism
|
|
|
|
In: Advances in the Anthropological Theory of the Didactic and their Consequences in Curricula and in Teacher Education ; https://hal.archives-ouvertes.fr/hal-03275633 ; Yves Chevallard; Berta Barquero Farràs; Marianna Bosch; Ignasi Florensa; Josep Gascón; Pedro Nicolás; Noemí Ruiz-Munzón. Advances in the Anthropological Theory of the Didactic and their Consequences in Curricula and in Teacher Education, Springer Nature Switzerland AG, 2021 (2021)
|
|
BASE
|
|
Show details
|
|
39 |
Learning emotions latent representation with CVAE for Text-Driven Expressive AudioVisual Speech Synthesis
|
|
|
|
In: ISSN: 0893-6080 ; Neural Networks ; https://hal.inria.fr/hal-03204193 ; Neural Networks, Elsevier, 2021, 141, pp.315-329. ⟨10.1016/j.neunet.2021.04.021⟩ (2021)
|
|
BASE
|
|
Show details
|
|
40 |
Proofs, Grounds and Empty Functions: Epistemic Compulsion in Prawitz’s Semantics
|
|
|
|
In: ISSN: 0022-3611 ; EISSN: 1573-0433 ; Journal of Philosophical Logic ; https://hal.archives-ouvertes.fr/hal-03319247 ; Journal of Philosophical Logic, Springer Verlag, 2021, ⟨10.1007/s10992-021-09621-9⟩ (2021)
|
|
BASE
|
|
Show details
|
|
|
|