1 |
Cultural Evolution of Precise and Agreed‐Upon Semantic Conventions in a Multiplayer Gaming App
|
|
|
|
In: ISSN: 0364-0213 ; EISSN: 1551-6709 ; Cognitive Science ; https://jeannicod.ccsd.cnrs.fr/ijn_03636720 ; Cognitive Science, Wiley, 2022, 46 (2), ⟨10.1111/cogs.13113⟩ (2022)
|
|
BASE
|
|
Show details
|
|
2 |
Tight Fine-Grained Bounds for Direct Access on Join Queries
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03654342 ; 2022 (2022)
|
|
BASE
|
|
Show details
|
|
3 |
Evolution and trade-off dynamics of functional load
|
|
|
|
In: ISSN: 1099-4300 ; Entropy ; https://hal.archives-ouvertes.fr/hal-03630585 ; Entropy, MDPI, 2022, ⟨10.3390/e24040507⟩ (2022)
|
|
BASE
|
|
Show details
|
|
4 |
Population modeling with machine learning can enhance measures of mental health
|
|
|
|
In: ISSN: 2047-217X ; GigaScience ; https://hal.inria.fr/hal-03470466 ; GigaScience, BioMed Central, 2021, ⟨10.1101/2020.08.25.266536⟩ (2021)
|
|
BASE
|
|
Show details
|
|
6 |
Neuroplasticity in the phonological system: The PMN and the N400 as markers for the perception of non-native phonemic contrasts by late second language learners
|
|
|
|
In: ISSN: 0028-3932 ; EISSN: 1873-3514 ; Neuropsychologia ; https://hal.archives-ouvertes.fr/hal-03176369 ; Neuropsychologia, Elsevier, 2021, pp.107831. ⟨10.1016/j.neuropsychologia.2021.107831⟩ (2021)
|
|
BASE
|
|
Show details
|
|
7 |
Superposition for Lambda-Free Higher-Order Logic
|
|
|
|
In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://hal.inria.fr/hal-03485227 ; Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2021, 17 (2), ⟨10.23638/LMCS-17(2:1)2021⟩ (2021)
|
|
BASE
|
|
Show details
|
|
8 |
Parametric updates in parametric timed automata
|
|
|
|
In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://hal.archives-ouvertes.fr/hal-03340905 ; Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2021, 17 (2), pp.13:1-13:67. ⟨10.23638/LMCS-17(2:13)2021⟩ ; https://lmcs.episciences.org/7470 (2021)
|
|
Abstract:
International audience ; We introduce a new class of Parametric Timed Automata (PTAs) where we allow clocks to be compared to parameters in guards, as in classic PTAs, but also to be updated to parameters. We focus here on the EF-emptiness problem: "is the set of parameter valuations for which some given location is reachable in the instantiated timed automaton empty?". This problem is well-known to be undecidable for PTAs, and so it is for our extension. Nonetheless, if we update all clocks each time we compare a clock with a parameter and each time we update a clock to a parameter, we obtain a syntactic subclass for which we can decide the EF-emptiness problem and even perform the exact synthesis of the set of rational valuations such that a given location is reachable. To the best of our knowledge, this is the first non-trivial subclass of PTAs, actually even extended with parametric updates, for which this is possible.
|
|
Keyword:
[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]; ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.3: Formal Languages/F.4.3.3: Decision problems; clock regions; decidability; parametric difference bound matrix; parametric timed automata; parametric updates; timed automata
|
|
URL: https://doi.org/10.23638/LMCS-17(2:13)2021 https://hal.archives-ouvertes.fr/hal-03340905
|
|
BASE
|
|
Hide details
|
|
9 |
Mutation-specific pathophysiological mechanisms define different neurodevelopmental disorders associated with SATB1 dysfunction
|
|
|
|
In: ISSN: 0002-9297 ; EISSN: 1537-6605 ; American Journal of Human Genetics ; https://hal-univ-rennes1.archives-ouvertes.fr/hal-03268683 ; American Journal of Human Genetics, Elsevier (Cell Press), 2021, 108 (2), pp.346-356. ⟨10.1016/j.ajhg.2021.01.007⟩ (2021)
|
|
BASE
|
|
Show details
|
|
10 |
Can harbor seals ( Phoca vitulina ) discriminate familiar conspecific calls after long periods of separation?
|
|
|
|
In: ISSN: 2167-8359 ; PeerJ ; https://hal.archives-ouvertes.fr/hal-03617108 ; PeerJ, PeerJ, 2021, 9, pp.e12431. ⟨10.7717/peerj.12431⟩ (2021)
|
|
BASE
|
|
Show details
|
|
11 |
Genome-Wide Association Study of Circulating Interleukin 6 Levels Identifies Novel Loci
|
|
|
|
In: ISSN: 0964-6906 ; EISSN: 1460-2083 ; Human Molecular Genetics ; https://hal.univ-lorraine.fr/hal-03177225 ; Human Molecular Genetics, Oxford University Press (OUP), 2021, ⟨10.1093/hmg/ddab023⟩ (2021)
|
|
BASE
|
|
Show details
|
|
12 |
Synchronization between Keyboard Typing and Neural Oscillations
|
|
|
|
In: ISSN: 0898-929X ; EISSN: 1530-8898 ; Journal of Cognitive Neuroscience ; https://hal.archives-ouvertes.fr/hal-03229032 ; Journal of Cognitive Neuroscience, Massachusetts Institute of Technology Press (MIT Press), 2021, 33 (5), pp.887-901. ⟨10.1162/jocn_a_01692⟩ (2021)
|
|
BASE
|
|
Show details
|
|
13 |
Accessory cusp expression at the enamel-dentine junction of hominin mandibular molars
|
|
|
|
In: ISSN: 2167-8359 ; PeerJ ; https://hal.archives-ouvertes.fr/hal-03233443 ; PeerJ, PeerJ, 2021, 9, pp.e11415. ⟨10.7717/peerj.11415⟩ (2021)
|
|
BASE
|
|
Show details
|
|
14 |
Spontaneous emergence of inflectional class systems via attraction–repulsion dynamics
|
|
|
|
In: American International Morphology Meeting ; https://hal.archives-ouvertes.fr/hal-03466118 ; American International Morphology Meeting, 2021, Online, United States (2021)
|
|
BASE
|
|
Show details
|
|
15 |
The dynamics of morphological processing in developing readers: A cross-linguistic masked priming study
|
|
|
|
In: ISSN: 0022-0965 ; EISSN: 1096-0457 ; Journal of Experimental Child Psychology ; https://hal-amu.archives-ouvertes.fr/hal-03190528 ; Journal of Experimental Child Psychology, Elsevier, 2021, 208, pp.105140. ⟨10.1016/j.jecp.2021.105140⟩ (2021)
|
|
BASE
|
|
Show details
|
|
16 |
MasakhaNER: Named entity recognition for African languages
|
|
|
|
In: EISSN: 2307-387X ; Transactions of the Association for Computational Linguistics ; https://hal.inria.fr/hal-03350962 ; Transactions of the Association for Computational Linguistics, The MIT Press, 2021, ⟨10.1162/tacl⟩ (2021)
|
|
BASE
|
|
Show details
|
|
17 |
The effect of domain and diacritics in Yorùbá-English neural machine translation
|
|
|
|
In: 18th Biennial Machine Translation Summit ; https://hal.inria.fr/hal-03350967 ; 18th Biennial Machine Translation Summit, Aug 2021, Orlando, United States (2021)
|
|
BASE
|
|
Show details
|
|
18 |
Graphic complexity in writing systems
|
|
|
|
In: ISSN: 0010-0277 ; EISSN: 1873-7838 ; Cognition ; https://jeannicod.ccsd.cnrs.fr/ijn_03477487 ; Cognition, Elsevier, 2021, 214, pp.104771. ⟨10.1016/j.cognition.2021.104771⟩ (2021)
|
|
BASE
|
|
Show details
|
|
19 |
Chimpanzee vowel-like sounds and voice quality suggest formant space expansion through the hominoid lineage
|
|
|
|
In: ISSN: 0962-8436 ; EISSN: 1471-2970 ; Philosophical Transactions of the Royal Society B: Biological Sciences ; https://hal.archives-ouvertes.fr/hal-03455415 ; Philosophical Transactions of the Royal Society B: Biological Sciences, Royal Society, The, 2021, Voice modulation: from origin and mechanism to social impact (Part II), 377 (1841), ⟨10.1098/rstb.2020.0455⟩ (2021)
|
|
BASE
|
|
Show details
|
|
20 |
Improving Automation for Higher-Order Proof Steps
|
|
|
|
In: Lecture Notes ; FroCos 2021 - 13th International Symposium on Frontiers of Combining Systems ; https://hal.archives-ouvertes.fr/hal-03528009 ; FroCos 2021 - 13th International Symposium on Frontiers of Combining Systems, Sep 2021, Birmingham, United Kingdom. pp.139-153, ⟨10.1007/978-3-030-86205-3_8⟩ (2021)
|
|
BASE
|
|
Show details
|
|
|
|