Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Alzheimer's Disease: Models of Computation and Analysis of EEGs
Adeli, Hojjat, Ghosh-Dastidar, Samanwoy, Dadmehr, Nahid
Published in Clinical EEG and neuroscience (01.07.2005)
Published in Clinical EEG and neuroscience (01.07.2005)
Get full text
Journal Article
Self-supervised Learning for Electroencephalogram: A Systematic Survey
Weng, Weining, Gu, Yang, Guo, Shuai, Ma, Yuan, Yang, Zhaohua, Liu, Yuchen, Chen, Yiqiang
Published in ACM computing surveys (12.07.2025)
Published in ACM computing surveys (12.07.2025)
Get full text
Journal Article
Less is more: multiparty session types revisited
Scalas, Alceste, Yoshida, Nobuko
Published in Proceedings of ACM on programming languages (02.01.2019)
Published in Proceedings of ACM on programming languages (02.01.2019)
Get full text
Journal Article
A notion of effectiveness for subshifts on finitely generated groups
Aubrun, Nathalie, Barbieri, Sebastián, Sablik, Mathieu
Published in Theoretical computer science (24.01.2017)
Published in Theoretical computer science (24.01.2017)
Get full text
Journal Article
No-Rainbow Problem and the Surjective Constraint Satisfaction Problem
Zhuk, Dmitriy
Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)
Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)
Get full text
Conference Proceeding
Massively Parallel Computation via Remote Memory Access
Published in ACM transactions on parallel computing
Get full text
Conference Proceeding
A Widening Approach to Multithreaded Program Verification
Kaiser, Alexander, Kroening, Daniel, Wahl, Thomas
Published in ACM transactions on programming languages and systems (28.10.2014)
Published in ACM transactions on programming languages and systems (28.10.2014)
Get full text
Journal Article
Connectomics in NeuroImaging: Third International Workshop, CNI 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 13, 2019, Proceedings
Schirmer, Markus D, Venkataraman, Archana, Rekik, Islem, Kim, Minjeong, Chung, Ai Wern
Year of Publication 2019
Year of Publication 2019
Get full text
eBook
Conference Proceeding
Using symbolic evaluation to understand behavior in configurable software systems
Reisner, Elnatan, Song, Charles, Ma, Kin-Keung, Foster, Jeffrey S., Porter, Adam
Published in 2010 ACM/IEEE 32nd International Conference on Software Engineering (01.05.2010)
Published in 2010 ACM/IEEE 32nd International Conference on Software Engineering (01.05.2010)
Get full text
Conference Proceeding
Type Theory based on Dependent Inductive and Coinductive Types
Basold, Henning, Geuvers, Herman
Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (05.07.2016)
Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (05.07.2016)
Get full text
Conference Proceeding
Context-sensitive synchronization-sensitive analysis is undecidable
Published in ACM transactions on programming languages and systems
(01.03.2000)
Get full text
Journal Article