Constraint programming allows difficult combinatorial problems to be modelled declaratively and solved automatically. Advances in solver technologies over recent years have allowed the successful use of constraint programming in many application areas. However, when a particular solver's search for a solution takes too long, the complexity of the constraint program execution hinders the programmer's ability to profile that search and understand how it relates to their model. Therefore, effective tools to support such profiling and allow users of constraint programming technologies to refine their model or experiment with different search parameters are essential. This paper details the first user-centred design process for visual profiling tools in this domain. We report on: our insights and opportunities identified through an on-line questionnaire and a creativity workshop with domain experts carried out to elicit requirements for analytical and visual profiling techniques; our designs and functional prototypes realising such techniques; and case studies demonstrating how these techniques shed light on the behaviour of the solvers in practice.
Download full-text PDF |
Source |
|---|---|
| http://dx.doi.org/10.1109/TVCG.2016.2598545 | DOI Listing |
Publication Analysis
Top Keywords
Similar Publications
Professional Development Among African Oncologists: Examining Professional Development Activities, Satisfaction Levels, Barriers, and Enablers.
J Cancer Educ
January 2025
Saint Michael's Hospital, University of Toronto, Toronto, Canada.
Africa is currently facing unprecedented growth in its cancer burden. Training an adequate number of skilled physicians is critical to addressing this challenge. We examine African oncology faculty's professional development (PD) activities, associated barriers, enablers, satisfaction levels, and highlight the implications for improving the quality of the oncology faculty workforce in SSA.
View Article and Find Full Text PDFDesign and Development of a Self-Report Competence Scale for The Assessment of Prehospital Health Professionals' Competence in Response to Radiological Events.
Disaster Med Public Health Prep
January 2025
Department of Emergency Aid and Disaster Management, Hamidiye Faculty of Health Sciences, University of Health Sciences, IstanbulTurkey.
Objectives: The objective of this study was to develop a self-report scale for the assessment of the competence of pre-hospital health professionals in responding to radiological incidents.
Methods: Based on the findings of a systematic review analyzing the literature, the instrument followed the processes of item generation, expert opinion, language control, pilot study, and field testing.
Results: In the exploratory factor analysis, 48 items were excluded on the grounds of insufficient common variance (>0.
Exploration of advanced omics tools and resources for the improvement of industrial oil crops.
Plant Sci
December 2024
Department of Biotechnology, Central University of Haryana, Mahendragarh, Haryana, India. Electronic address:
The rapid advancement in the field of omics approaches plays a crucial role in the development of improved industrial oil crops. Industrial oil crops play a crucial role across sectors like food processing, biofuels, cosmetics, and pharmaceuticals, making them indispensable contributors to global economies and these crops serve as vital elements in a multitude of industrial processes. Significant improvements in genomics have revolutionized the agricultural sector, particularly in the realm of oil crops.
View Article and Find Full Text PDFProvider Perspectives on Implementation of Adult Community-Based Palliative Care: A Scoping Review.
Med Care Res Rev
January 2025
Duke University School of Medicine, Durham, NC, USA.
While community-based palliative care (CBPC) programs have been expanding, there remain important obstacles to widespread use. Since provider perspectives on CBPC remain underexplored, we conducted a scoping review to summarize provider perspectives regarding barriers and facilitators to implementation of adult CBPC in the United States. We systematically searched OVID, MEDLINE, and CINAHL for peer-reviewed qualitative research published from January 1, 2010 to January 9, 2024, then used PRISM framework synthesis to organize themes into provider, organization, and external environment levels.
View Article and Find Full Text PDFDNA methylation in wheat: current understanding and future potential for enhancing biotic and abiotic stress tolerance.
Physiol Mol Biol Plants
December 2024
Department of Bioengineering and Biotechnology, Birla Institute of Technology, Mesra, Ranchi, Jharkhand 835215 India.
Unlabelled: DNA methylation is a paramount epigenetic mark that helps balance gene expression post-transcriptionally. Its effect on specific genes determines the plant's holistic development and acclimatization during adversities. L.
View Article and Find Full Text PDFWant AI Summaries of new PubMed Abstracts delivered to your In-box?
Enter search terms and have AI summaries delivered each week - change queries or unsubscribe any time!