Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.


Results 51-60 of 93 (Search time: 0.044 seconds).
Item hits:
Issue DateTitleAuthor(s)
11-Jul-2022Estimating the Optimal Number of Clusters from Subsets of EnsemblesOdebode, A; Tucker, A; Arzoky, M; Swift, S
14-Sep-2022On the Complexity of Determining Defeat Relations Consistent with Abstract Argumentation SemanticsMumford, J; Sassoon, I; Black, E; Parsons, S
30-Mar-2022Kmclib: Automated Inference and Verification of Session Types from OCaml ProgramsImai, K; Lange, J; Neykova, R
23-Jun-2022Stay Safe Under Panic: Affine Rust Programming with Multiparty Session TypesLagaillardie, N; Neykova, R; Yoshida, N
23-May-2022A Novel Algorithm for Quantized Particle Filtering With Multiple Degrading Sensors: Degradation Estimation and Target TrackingLiu, Y; Wang, Z; Liu, C; Coombes, M; Chen, W-H
11-Jan-2022Centralized moving-horizon estimation for a class of nonlinear dynamical complex networks under event-triggered transmission schemeGao, M; Wang, Z; Sheng, L; Zou, L; Liu, H
6-Jan-2022Multisensory 360° Videos Under Varying Resolution Levels Enhance PresenceCovaci, A; Bissoli Saleme, E; Assres, G; Comsa, IS; Trestian, R; Saibel Santos, CA; Ghinea, G
24-Nov-2022FabSim3: An automation toolkit for verified simulations using high performance computingGroen, D; Arabnejad, H; Suleimenova, D; Edeling, W; Raffin, E; Xue, Y; Bronik, K; Monnier, N; Coveney, P
3-Dec-2022A review on COLREGs-compliant navigation of autonomous surface vehicles: From traditional to learning-based approachesHu, L; Hu, H; Naeem, W; Wang, Z
1-Apr-2022Guest Editorial: Creative Learning in Authentic Contexts with Advanced Educational TechnologiesShadiev, R; Hwang, WY; Ghinea, G