From the 4 of 53 papers with an AI index.
150 citations
- University of Maryland, College ParkUS30 papers
- Eötvös Loránd UniversityHU29 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di BolognaIT29 papers
- Massachusetts Institute of TechnologyUS29 papers
- Peking UniversityCN29 papers
- Rutherford Appleton LaboratoryGB29 papers
- Tsinghua UniversityCN29 papers
- Université Paris-SaclayFR29 papers
- University of ZurichCH29 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di PadovaIT28 papers
- Jagiellonian UniversityPL28 papers
- AGH University of KrakowPL27 papers
53 papers
Machine-learning-guided molecular dynamics simulations of point defect evolution in beta-Ga2O3 during ion implantation and annealing
Huawen Li, Mengzhi Yan, Zongwei Xu +2
In beta-gallium oxide (beta-Ga2O3), Ga-ion implantation and annealing induce abundant point defects. To overcome conventional Wigner-Seitz (WS) defect analysis limitations, a defec…
Solving QBF with Counterexample Guided Refinement
Mikoláš Janota, William Klieber, Joao Marques-Silva +1
We propose two novel approaches for using Counterexample-Guided Abstraction Refinement (CEGAR) in Quantified Boolean Formula (QBF) solvers. The first approach develops a recursive…
Solving QBF by Clause Selection
Mikoláš Janota, Joao Marques-Silva
Algorithms based on the enumeration of implicit hitting sets find a growing number of applications, which include maximum satisfiability and model based diagnosis, among others. Th…
Audio-to-Score Transcription using Pre-trained Features, Data Augmentation, and the New SheetSage-A2S Dataset
Eoin Cummins, Zhongyi Huang, Alexandre D'Hooge +3
Existing audio-to-score (A2S) systems primarily focus on classical music, and the application to popular music remains underexplored. This paper first presents the new SheetSage-A2…
Improving Mobile User Interface Testing with Model Driven Monkey Search
Jordan Doyle, Takfarinas Saber, Paolo Arcaini +1
Testing mobile applications often relies on tools, such as Exerciser Monkey for Android systems, that simulate user input. Exerciser Monkey, for example, generates random events (e…
Modelling Android applications through static analysis and systematic exploratory testing
Jordan Doyle, Thomas Laurent, Anthony Ventresque
Mobile application development is a fast paced industry with frequent releases. While the development pace increases, so too does the need for automated test generation. Model-base…