( en | de | ru )

 

Disambiguierung von "Cousineau, Denis"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A multi-state model of cortical memory.

, , und . IJCNN, Seite 133-138. IEEE, (2011)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Denis Cousineau

Jaap Denissen

Wladimir Denisow

Natalja Denisjuk

Alexander Arnold Denisiuk

 

Weitere Publikationen von Autoren mit dem selben Namen

Compositional Pre-processing for Automated Reasoning in Dependent Type Theory., , , , , , und . CPP, Seite 63-77. ACM, (2023)Embedding Pure Type Systems in the lambda-Pi-calculus modulo., und . CoRR, (2023)The correlates of statistics anxiety: Relationships with spatial anxiety, mathematics anxiety and gender., , , , , , , , , und . J. Numer. Cogn., 9 (1): 16-43 (März 2023)A multi-state model of cortical memory., , und . IJCNN, Seite 133-138. IEEE, (2011)Using knowledge partitioning to investigate the psychological plausibility of mixtures of experts., , , und . Artif. Intell. Rev., 25 (1-2): 119-138 (2006)Automated Verification of Temporal Properties of Ladder Programs., , , , , und . FMICS, Volume 12863 von Lecture Notes in Computer Science, Seite 21-38. Springer, (2021)Fast, Automatic, and Nearly Complete Structural Unit-Test Generation Combining Genetic Algorithms and Formal Methods., , und . TAP@FM, Volume 11823 von Lecture Notes in Computer Science, Seite 55-63. Springer, (2019)Dynamic Modeling of Visual Search., , , und . CogSci, cognitivesciencesociety.org, (2023)Automated Deductive Verification for Ladder Programming., , und . F-IDE@FM, Volume 310 von EPTCS, Seite 7-12. (2019)Fast Fitting of Convolutions Using Rational Approximations.. ICCM, Seite 76-81. (2004)