| 1 |
Formalisation de la relation entre les verbes imperfectifs et perfectifs en ukrainien
|
|
|
|
In: Actes de la 28e Conférence sur le Traitement Automatique des Langues Naturelles. Volume 1 : conférence principale ; Traitement Automatique des Langues Naturelles ; https://hal.archives-ouvertes.fr/hal-03265878 ; Traitement Automatique des Langues Naturelles, 2021, Lille, France. pp.171-178 (2021)
|
|
BASE
|
|
Show details
|
|
|
| 2 |
'The landfill has always borne fruit' : precarity, formalisation and dispossession among Uruguay's waste pickers
|
|
|
|
BASE
|
|
Show details
|
|
|
| 3 |
A solution to the application problem of mathematics by Ramseyfication
|
|
|
|
BASE
|
|
Show details
|
|
|
| 4 |
Proof, rigour and informality : a virtue account of mathematical knowledge
|
|
Tanswell, Fenner Stanley. - : University of St Andrews, 2017. : The University of St Andrews, 2017. : University of Stirling, 2017
|
|
BASE
|
|
Show details
|
|
|
| 5 |
La formalisation dans la théorie des opérations énonciatives : formes, formules, schémas
|
|
|
|
In: ISSN: 2610-3745 ; Dossiers d'HEL ; https://hal.archives-ouvertes.fr/hal-01304863 ; Dossiers d'HEL, SHESL, 2016, Écriture(s) et représentations du langage et des langues, 9, pp.113-122 ; http://shesl.org/index.php/dossier9-ecritures-et-representations/ (2016)
|
|
BASE
|
|
Show details
|
|
|
| 6 |
« C’est du chinois ? Eh bien le chinois ça s’apprend ! » Quelles organisations collectives pour formaliser l’archéologie ? (1950–2000)
|
|
|
|
In: Colloque de la Société Française pour l’Histoire des Sciences de l’Homme ; https://hal.archives-ouvertes.fr/hal-03140703 ; Colloque de la Société Française pour l’Histoire des Sciences de l’Homme, Nov 2015, Paris, France ; https://sfhsh.hypotheses.org/817 (2015)
|
|
BASE
|
|
Show details
|
|
|
| 7 |
L'hypothèse des troubles du langage et de la pensée au risque de la formalisation sémantique du discours.
|
|
|
|
In: Analyse des discours Hors-Normes : approches, concepts et méthodes. ; https://halshs.archives-ouvertes.fr/halshs-01118547 ; Analyse des discours Hors-Normes : approches, concepts et méthodes., Jun 2015, Sherbrooke, Canada (2015)
|
|
BASE
|
|
Show details
|
|
|
| 8 |
Gabriel G. Bès, linguiste empiriste
|
|
|
|
In: ISSN: 1248-9433 ; EISSN: 1965-0906 ; Revue TAL ; https://hal.archives-ouvertes.fr/hal-01176419 ; Revue TAL, ATALA (Association pour le Traitement Automatique des Langues), 2015, 56 (1), pp.13-37 ; http://atala.org/content/varia-10/ (2015)
|
|
BASE
|
|
Show details
|
|
|
| 9 |
Mechanisation of PDA and Grammar Equivalence for Context-Free Languages
|
|
|
|
In: WoLLIC 2010 proceedings (2015)
|
|
BASE
|
|
Show details
|
|
|
| 10 |
A formalisation of the theory of context-free languages in higher order logic
|
|
|
|
BASE
|
|
Show details
|
|
|
| 11 |
A formalisation of the theory of context-free languages in higher order logic
|
|
|
|
BASE
|
|
Show details
|
|
|
| 12 |
Zero-probability and coherent betting : A logical point of view
|
|
|
|
BASE
|
|
Show details
|
|
|
| 13 |
Représentations du sens lexical en lexicologie explicative et combinatoire : étude de trois formalisations spécifiques
|
|
|
|
Abstract:
Cette étude porte sur les différentes formalisations du sens linguistique dans le cadre de la théorie Sens-Texte (TST) ; elle s’intéresse notamment à la représentation sémantique, la représentation la plus importante dans la modélisation du sens d’énoncés et d’unités lexicales de la langue. Cette étude a trois objectifs : premièrement, décrire trois formalisations de la représentation sémantique existant dans la TST – les réseaux sémantiques, les définitions lexicographiques et les définitions de la BDéf (des définitions très formalisées) ; deuxièmement, identifier les disparités et les décalages entre les formalisations choisies ; troisièmement, proposer des modifications aux formalisations existantes pour réduire au maximum ces disparités. ; This study explores the different formalisations of linguistic meaning as encountered in the Meaning-Text Theory (MST) framework. Its main interest is semantic representation, which is the most important representation in the modeling of the meaning of utterances and lexical units. This study has three objectives: first, describing three existing formalisations of semantic representation in the MST – semantic networks, lexicographical definitions, and BDéf definitions (definitions that are extremely formalized); second, identifying the discrepancies between these formalisations; finally, proposing modifications to these formalisations in order to reduce the disparities as much as possible.
|
|
Keyword:
définition lexicographique; Explanatory combinatorial lexicology; formalisation de la sémantique; Language - Linguistics / Langues - Linguistique (UMI : 0290); lexical semantic; lexicographical definition; Lexicologie explicative et combinatoire; réseaux sémantiques; semantic formalization; semantic networks; sémantique lexicale
|
|
URL: http://hdl.handle.net/1866/4554
|
|
BASE
|
|
Hide details
|
|
|
| 14 |
Les Gestes Non Manuels en Langue des Signes Française ; Annotation, analyse et formalisation : application aux mouvements des sourcils et aux clignements des yeux
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00547777 ; domain_other. Université de Provence - Aix-Marseille I, 2010. Français (2010)
|
|
BASE
|
|
Show details
|
|
|
| 15 |
Le(s) français : formaliser la variation ; Le(s) français : formaliser la variation: Langue Française 168
|
|
|
|
In: https://halshs.archives-ouvertes.fr/halshs-00590783 ; Larousse, pp.148, 2010 (2010)
|
|
BASE
|
|
Show details
|
|
|
| 16 |
Une application de jeux génériques pour les jeux symboliques ; A general gaming engine for symbolic games
|
|
|
|
BASE
|
|
Show details
|
|
|
| 17 |
Représentations du sens lexical en lexicologie explicative et combinatoire : étude de trois formalisations spécifiques
|
|
|
|
BASE
|
|
Show details
|
|
|
| 18 |
From the computer virology fudments toward a formal immunology ; Des fondements de la virologie informatique vers une immunologie formelle
|
|
|
|
In: https://hal.univ-lorraine.fr/tel-01748706 ; Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2008. Français. ⟨NNT : 2008INPL097N⟩ (2008)
|
|
BASE
|
|
Show details
|
|
|
| 19 |
Des fondements de la virologie informatique vers une immunologie formelle ; From the computer virology fudments toward a formal immunology
|
|
|
|
BASE
|
|
Show details
|
|
|
| 20 |
Vers une analyse automatique de la LSF ; Vers une analyse automatique de la LSF: une modélisation de la Langue des Signes Française par les Grammaires Minimalistes
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-00186965 ; 2007 (2007)
|
|
BASE
|
|
Show details
|
|
|
|
|
