A5100651767- Constraint Satisfaction and Optimization
- Data Management and Algorithms
- Advanced Database Systems and Queries
- Logic, Reasoning, and Knowledge
- Scheduling and Timetabling Solutions
- Educational Games and Gamification
- Innovative Teaching and Learning Methods
- AI-based Problem Solving and Planning
- Online and Blended Learning
- Formal Methods in Verification
- Logic, programming, and type systems
- Online Learning and Analytics
- Model-Driven Software Engineering Techniques
- Scheduling and Optimization Algorithms
- Rough Sets and Fuzzy Logic
- Optimization and Search Problems
- Bayesian Modeling and Causal Inference
- Semantic Web and Ontologies
- Advanced Graph Theory Research
- Multi-Criteria Decision Making
- Teaching and Learning Programming
- Auction Theory and Applications
- Digital Games and Media
- Numerical Methods and Algorithms
- Economic Growth and Development
Chinese University of Hong Kong
2014-2024
Cardiovascular Medical Group
2022
Shatin Hospital
2019
Ecological Society of America
2018
Stanford University
2015
University of Hong Kong
2011
Hong Kong University of Science and Technology
2011
The University of Melbourne
2000-2003
Immersive virtual reality allows people to inhabit avatar bodies that differ from their own, and this can produce significant psychological physiological effects. The concept of homuncular flexibility (Lanier, 2006) proposes users learn control different own by changing the relationship between tracked rendered motion. We examine effects remapping movements in real world onto an moves novel ways. In Experiment 1, participants moved legs more than arms conditions where leg were effective for...
This paper describes the design and implementation of a constraint-based nurse rostering system using redundant modeling approach. Nurse is defined as process generating timetables for specifying work shifts nurses over given period time. difficult because human roster planner has to ensure that every decision made complies with mixture hard hospital rules soft preference rules. Moreover, some shift pre-assignments often break regularity wanted (or unwanted) reduce choices other unfilled...
Besides the ability of making learning more interesting, educators and researchers have been exploring other pedagogical potentials computer games. How to employ games for constructivist teaching has become an attention in field education game design recent years. This article gives introduction game-based learning. On top discussing games’ intrinsic educational traits from motivational, cognitive socio-cultural perspectives, we also review two foci The first one is “education games” which...
Virtual Interactive Student-Oriented Learning Environment (VISOLE) is a constructivist pedagogical approach to game-based learning. It encompasses the creation of near real-life online interactive world modeled upon set multidisciplinary domains, in which each student plays role this "virtual world" and shapes its development. With sophisticated multiplayer simulation context teacher facilitation, VISOLE aims at providing opportunities for students acquire subject-specific knowledge manner...
This paper describes the design and implementation of a nurse rostering system using redundant modeling approach. Nurse is defined as process generating timetables for specifying work shifts nurses over given period time. difficult because human roster planner has to ensure that every decision made complies with mixture hard hospital rules soft preference rules. Moreover, some shift pre-assignments often break regularity wanted (or unwanted) reduce choices other unfilled slots. Soft...
Many combinatorial problems deal with preferences and violations, the goal of which is to find solutions minimum cost. Weighted constraint satisfaction a framework for modeling such problems, consists set cost functions measure degree violation or different combinations variable assignments. Typical solution methods weighted (WCSPs) are based on branch-and-bound search, made practical through use powerful consistency techniques as AC*, FDAC*, EDAC* deduce hidden information value pruning...
Navigating the vast chemical space of druggable compounds is a formidable challenge in drug discovery, where generative models are increasingly employed to identify viable candidates. Conditional 3D structure-based design (3D-SBDD) models, which take into account complex three-dimensional interactions and molecular geometries, particularly promising. Scaffold hopping an efficient strategy that facilitates identification similar active by strategically modifying core structure molecules,...
Modeling of the rainfall-runoff process is important in hydrology. Historically, researchers relied on conventional deterministic modeling techniques based either physics underlying processes, or conceptual systems which may not mimic processes. This study investigates suitability a technique along with data-driven technique, to model process. The used Xinanjiang coupled geographic information system (GIS) for runoff routing and genetic programming (GP), was recent past. To verify GP’s...
GENET has been shown to be efficient and effective on certain hard or large constraint satisfaction problems. Although enhanced handle also the atmost illegal constraints in addition binary constraints, it is deficient handling non general. We present E-GENET, an extended GENET. E-GENET features a convergence learning procedure similar that of generic representation scheme for general which range from disjunctive linear symbolic constraints. have implemented prototype single processor...