Keyword:evaluation

Papers
ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources Gidon Ernst, Paolo Arcaini, Georgios Fainekos, Federico Formica, Jun Inoue, Tanmay Khandait, Mohammad Mahdi Mahboob, Claudio Menghi, Giulia Pedrielli, Masaki Waga, Yoriyuki Yamagata and Zhenya Zhang In:Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)
User Experience Evaluation Methods for Games in Serious Contexts Sotiris Kirginas EasyChair Preprint no. 8899
Scientific activity evaluation in Poland: the IT ecosystem and the optimal selection of achievements Marek Michajłowicz, Marek Kozłowski, Maciej Kowalski, Sebastian Fijałkowski, Jacek Drogosz, Maria Bylina and Anna Furmankowska-Podniesińska In:Proceedings of EUNIS 2022 – The 28th International Congress of European University Information Systems
Issues of Policy and Strategy for International Collaboration between European HEIs Firas Al Laban, Katharina Engel, Alexander Knoth and Ulrike Lucke In:Proceedings of EUNIS 2022 – The 28th International Congress of European University Information Systems
To Evaluate or to Justify: Do Readers Become Less Likely to Construct a Documents Model After Choosing a Side Among Conflicting Science Texts? Gaston Saux, Franco Londra, Magalí Martínez, Jean-François Rouet and M. Anne Britt EasyChair Preprint no. 8605
The Effect of Document Sources on the Evaluation of Embedded Sources and Their Claims When Reading Health Information Franco Londra, Gaston Saux and Magalí Martínez EasyChair Preprint no. 8544
Vampire Getting Noisy: Will Random Bits Help Conquer Chaos? (System Description) Martin Suda EasyChair Preprint no. 7719
A Spontaneous, Convenient Synthesis and Biological Evaluation of Indole Derivatives Mamta Chauhan, Nilesh Solanki, Neha Baku and Viresh Shah EasyChair Preprint no. 7669
Evaluation the Short Urban Road Network by GIS: Case Study in Baqubah City Ali Hameed, Raquim Zehawi and Yassir A.Kareem EasyChair Preprint no. 7535
WANDS: Dataset for Product Search Relevance Assessment Yan Chen, Shujian Liu, Zheng Liu, Weiyi Sun, Linas Baltrunas and Benjamin Schroeder EasyChair Preprint no. 7347
Assessment of Quality and Readability in the Observational COVID Studies from ELSEVIER Database: Global Literature on Coronavirus Disease 2020 -2021 Dairamise Rodas, Otylia Marion Nowicka, Mohammed Alhamadani and Aakash Maroti EasyChair Preprint no. 7108
The Role of Monitoring and Evaluation in Projects Management in Nigeria Simon Wakawa, Abayomi Adebisi, Bawa Garshima Gamiya, Sadiq Thomas and Oshiga Omotayo EasyChair Preprint no. 5131
The Colectyng model for the evaluation ofGame-Based Learning Activities Antoine Taly, Damien Djaouti and Julian Alvarez EasyChair Preprint no. 3806
Economic and Mathematical Modelling for Evaluation of Business Model Financial Efficiency for Industrial Enterprise Mykola Havrylenko, Vira Shyiko, Liliana Horal, Inesa Khvostina and Natalia Yashcheritsyna EasyChair Preprint no. 3379
Indian Educational Technology under a Learning Sciences Lens Nilanjana Saxena In:Proceedings of the MIT LINC 2019 Conference
Correlation of clinical and thermal imaging assessment of the rehabilitation effectiveness in children aged 5-8 years with spastic forms of cerebral palsy Mikhail Volovik, Gennadii Sheiko and Alexei Kuznetsov EasyChair Preprint no. 2111
Evaluating Catchment Partnerships: Avoiding a Watered Down Approach Karen Potter and Carol Jacklin-Jarvis EasyChair Preprint no. 1397
Sustainable Development Performance Indicators for Social and Solidarity Economy - State of the Art Gabriel Salathé-Beaulieu, Marie J. Bouchard and Marguerite Mendell EasyChair Preprint no. 1115
Accreditation of graduate courses in Brazil: analysing the evaluation of the first proposals of professional doctorates in the country Andre Brasil EasyChair Preprint no. 1064
Accessibility Evaluation of Multimedia Resources in selected Latin America Universities Patricia Acosta-Vargas, Luis Salvador-Ullauri, Jorge Luis Pérez Medina and Yves Rybarczyk EasyChair Preprint no. 1027
The Effect of Scrambling CNFs Armin Biere and Marijn Heule In:Proceedings of Pragmatics of SAT 2015 and 2018
An Improved Recommender for Travel Itineraries Yajie Gu, Jing Zhou and Shouxun Liu EasyChair Preprint no. 287
Application of the Strategic Approach in Planning of the Accreditation of Engineering Programs Carlos Alberto Oqueliz Martínez EasyChair Preprint no. 270
Graded Acceptance in Corpus-Based English-to-Spanish Machine Translation Evaluation Mario Crespo Miguel and Marta Sanchez-Saus Laserna In:CILC2016. 8th International Conference on Corpus Linguistics
Implementing Different Proof Calculi for First-order Modal Logics Christoph Benzmüller, Jens Otten and Thomas Raths In:PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning
Evaluation Opportunities in Mechanized Theories Joe Leslie-Hurd In:EMSQMS 2010. Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions