…ated in 1993 at: since 2018, dblp has been operated and maintained by: the dblp computer science bibliography is funded and supported by:
…ring and modeling human long-term memory formation by mathematical analysis and computer simulation of nerve-cell dynamics. Proc IEEE Inst Electr Electron Eng. 2010 Mar 04; 98(3):356-374. Berger TW, Song D , Chan RH, Marmarelis VZ . PMID: 20700470; PMCID: PMC2917774 . View in: Pu…
2019 Port RG, Berman J, Liu S, Featherstone RE, Roberts TPL, Siegel SJ (2019 Apr). Parvalbumin Cell Ablation of NMDA-R1 Leads to Altered Phase, but not Amplitude, of Gamma-Band Cross Frequency Coupling. Brain Connectivity, 9 (3): 263-272. Doi: 10.1089/brain.2018.0639. PMID: 30588…
…H, 2010, “Evolution of analog circuit models of ion channels,” Lecture Notes in Computer Science, Vol. 6274, pp. 157‐168. D. Danko Danko DC , Sierra MA, Benardini JN, Guan L, Wood JM, Singh N, Seuylemezian A, Butler DJ, Ryon K, Kuchin K, Meleshko D, Bhattacharya C, Venkateswaran …
…Lampe Influence of the Endothelial Surface Layer on Blood Flow in Microvessels: Computer Modeling and Simulation. MMSC 2020 153-162 [c6] Irina Sidorenko Varvara L. Turova Andrey E. Kovtanyuk Renée Lampe The Numerical Assessment of Cerebral Blood Flow in Immature Brain of Preterm …
UK
Sam Staton
http://www.cs.ox.ac.uk/people/samuel.staton/main.html
Sam Staton Sam Staton Sam Staton Professor of Computer Science Department of Computer Science, University of Oxford Room 421 Wolfson Building, Parks Road Oxford OX1 3QD Senior Research Fellow, Jesus College, Oxford +44 (0)1865 (2)73893 sam.staton at cs.ox.ac.uk Interests: My rese…
… 2017 pp 147–160 Cite this conference paper SOFSEM 2017: Theory and Practice of Computer Science (SOFSEM 2017) Abstract Many test generation algorithms use unique input/output sequences (UIOs) that identify states of the finite state machine specification . However, it is known t…
Population structure reverses selection of variants with proportionally scaled birth and death rates. Nat Commun. 2025 Dec 27; 17(1):244. Komarova NL , Wodarz D . PMID: 41455764; PMCID: PMC12783849 . View in: PubMed Mentions: Fields: Translation: Animals Author Correction: Barcod…
Efficient high-order singular quadrature schemes in magnetic fusion D. Malhotra, A. J. Cerfon, M. O'Neil, and E. Toler, submitted, 2019. arXiv Magnetic shear due to localized toroidal flow shear in tokamaks J. Lee and A. J. Cerfon, Plasma Physics and Controlled Fusion , 61:105007…
UK
Sam Staton
https://www.cs.ox.ac.uk/people/samuel.staton/main.html
… effects. In Proceedings of Twenty-Eighth Annual ACM/IEEE Symposium on Logic in Computer Science ( LICS 2013 ). doi:10.1109/LICS.2013.58 . [preprint: pdf | errata: txt ] S. Staton. An algebraic presentation of predicate logic. In Proceedings of Sixteenth International Conference …
…ences at UCLA Samueli School of Engineering. He is a Distinguished Professor of Computer Science and Mathematics at UCLA. He is a Fellow of multiple organizations, including the National Academy of Inventors, the American Association for the Advancement of Science (AAAS), the Ass…
Sampath Kannan :: University of Pennsylvania :: Department of Computer and Information Science SAMPATH KANNAN Teaching Courses Awards Curriculum Vitae Research Projects Publications Talks Links Department of Computer and Information Science School of Engineering and Applied Scien…
…na Tarasova Olga B. Kanevska Serhiy O. Semerikov A specialized Ukrainian-Polish computer science translator for primary education: Design and implementation. CTE 2025 236-253 [c91] Serhiy O. Semerikov Tetiana A. Vakaliuk Olga B. Kanevska Mykhailo V. Moiseienko Ivan I. Donchev And…
… Persons affiliation: Worcester Polytechnic Institute, MA, USA affiliation: MIT Computer Science and Artificial Intelligence Laboratory, Cambridge, USA showing all ?? records 2026 [c49] Christopher Micek Lasse Warnke Lourenço Abrunhosa Rodrigues Felix Putze Erin Solovey Capturing…
…tion degree. He was also a Post Doc at the University of Alberta, Department of Computer and Electrical Engineering, Edmonton, Canada. His research encompasses various topics of Artificial intelligence and Data Science and their applications (Ubiquitous health and medical science…