Search


Start a new search
Add filters:

Use filters to refine the search results.


Results 1861-1870 of 2440 (Search time: 0.009 seconds).
Item hits:
Issue DateTitleAuthor(s)
23-Jun-2022Stay Safe Under Panic: Affine Rust Programming with Multiparty Session TypesLagaillardie, N; Neykova, R; Yoshida, N
26-Nov-2019kmclib: Automated Inference and Verification of Session TypesImai, K; Lange, J; Neykova, R
3-Mar-2020A Group Analysis of Oscillatory Phase and Phase Synchronization in Cortical NetworksWang, D; Sun, Y; Shi, H; Wang, F
8-Feb-2021Cross-Subject Assistance: Inter-and Intra-Subject Maximal Correlation for Enhancing the Performance of SSVEP-Based BCIsWang, H; Sun, Y; Wang, F; Cao, L; Zhou, W; Wang, Z; Chen, S
15-May-2023Predicting microscale bubble to slug transition boundary using an Artificial Neural NetworkWidgington, JJ; Wang, F; Ivanov, A; Karayiannis, TG
2015A natural hand gesture system for people with brachial plexus injuriesZeng, J; Wang, F; Sun, Y
11-Dec-2020On the Link between Refactoring Activity and Class Cohesion through the Prism of Two Cohesion-Based MetricsCounsell, S; Destefanis, G; Swift, S; Arzoky, M; Taibi, D
8-Dec-2019Towards a Deadline-Based Simulation Experimentation Framework Using Micro-Services Auto-Scaling ApproachAnagnostou, A; Taylor, SJE; Abubakar, NT; Kiss, T; Deslauriers, J; Gesmier, G; Terstyanszky, G; Kacsuk, P; Kovacs, J
14-Dec-2020Towards a Generic Architecture from Symbiotic Simulation System-based Digital TwinNwogu, C; Taylor, SJE; Anagnostou, A
20-Mar-2017Automatic Choroidal Layer Segmentation Using Markov Random Field And Level Set MethodWang, C; Wang, YX; Li, Y