Search
Search Results
-
Synthesizing explainable counterfactual policies for algorithmic recourse with program synthesis
Being able to provide counterfactual interventions—sequences of actions we would have had to take for a desirable outcome to happen—is essential to...
-
HMPT: a human–machine cooperative program translation method
Program translation aims to translate one kind of programming language to another, e.g., from Python to Java. Due to the inefficiency of translation...
-
Analysis of Decompiled Program Code Using Abstract Syntax Trees
AbstractThis article proposes a method for preprocessing fragments of binary program codes for subsequent detection of their similarity using machine...
-
Tor network anonymity evaluation based on node anonymity
In order to address the shortcomings of traditional anonymity network anonymity evaluation methods, which only analyze from the perspective of the...
-
Experiences of Users with an Online Self-Guided Mental Health Training Program Using Gamification
Young adulthood is a period of high risk for the development of mental health concerns. Increasing well-being among young adults is important to...
-
Language-Model Assisted Learning How to Program?
Foundational language models have forever changed how NLP prototypes may be rapidly constructed, dramatically reducing the “cost of curiosity”. This... -
HGER: a heterogeneous information-based recommendation with graph enhanced representation for TV program
With the development of online programming, the broadcast TV industry has experienced some negative impacts. The program recommendation has become...
-
Quantitative Evaluation of Systems 19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings
This book constitutes the proceedings of the 19th International Conference on Quantitative Evaluation Systems, QEST 2022, held in Warsaw, Poland, in... -
Digital Applications in Pulmonary Rehabilitation: Preliminary Evaluation of a Hybrid Program for the Continuity of Care
Chronic obstructive pulmonary disease (COPD) is one of the leading causes of comorbidities and death worldwide. Pulmonary Rehabilitation (PR) is a... -
Modeling source code in bimodal for program comprehension
Source code is an intermediary through which humans communicate with computer systems. It contains a large amount of domain knowledge which can be...
-
Program Synthesis Using Example Propagation
We present Scrybe, an example-based synthesis tool for a statically-typed functional programming language, which combines top-down deductive... -
Multi-component graph collaborative filtering using auxiliary information for TV program recommendation
Recommendation systems for TV programs play an important role in alleviating the information overload problem. Existing TV program recommendation...
-
Description and Subjective Evaluation of an Interdisciplinary Online Training Program Based on Games for Social Care and Health Professionals
This paper aims to (i) characterize an interdisciplinary online training program (AGILAB CENTER) based on the application of Serious Games (SG) to... -
What motivate learners to continue a professional development program through Massive Open Online Courses (MOOCs)?: A lens of self-determination theory
The field of online professional development is in ongoing growth, and motivation has been identified as a critical factor in online courses....
-
A Program-Synthesis Challenge for ARC-Like Tasks
We propose a program synthesis challenge inspired by the Abstraction and Reasoning Corpus (ARC) [3]. The ARC is intended as a touchstone for human... -
Using Analog Side Channels for Program Profiling
In this chapter we discuss various signal processing approaches and techniques for program profiling using analog side-channels. -
HQLgen: deep learning based HQL query generation from program context
To facilitate Object-Oriented Programming (OOP) in data persistence, practitioners use Object Relational-Map** (ORM) framework to map data...
-
Development of Immersive Virtual Reality Hospital Fire Management and Evacuation Training Program for Nursing Students in Hong Kong
While nursing students never experience hospital fire, they should know how to evacuate the patients under their care. Using Virtual Reality (VR) can...
-
Effectiveness of a mixed cognitive intervention program (computer-based and home-based) on improving cognitive and academic functions in school-aged children with specific learning disorder (SLD): A pilot study
Prior studies have shown the efficacy of computer-based cognitive training programs in improving cognitive and academic functions in children...
-
SoK: A Tale of Reduction, Security, and Correctness - Evaluating Program Debloating Paradigms and Their Compositions
Automated software debloating of program source or binary code has tremendous potential to improve both application performance and security....