VinhUni
Home
Message
Scientists
Articles
Projects
Textbooks
News
Dashboard
Tiếng việt
Bài báo khoa học
Home
Bài báo khoa học
Chi tiết bài báo
An efficient solution for developing the overall management information system for Vinh university
Authors:
481
0
Vinh University
:
:
:
http://vinhuni.edu.vn/khoa-hoc-cong-nghe/tap-chi-khoa-hoc/seo/vol-48-3a2019-96523
Publishing year:
2019
The web ontology rule language OWL 2 RL+ and its extensions
WORL: a nonmonotonic rule language for the semantic web
An Improved Depth-First Control Strategy for Query-Subquery Nets in Evaluating Queries to Horn Knowledge Bases
An Empirical Approach to Query-Subquery Nets with Tail-Recursion Elimination
On the Efficiency of Query-Subquery Nets with Right/Tail-Recursion Elimination in Evaluating Queries to Horn Knowledge Bases
Query-Subquery Nets with Stratified Negation
C Programming Language
Query–subquery nets for Horn knowledge bases in first-order logic
Extending Query-Subquery Nets for Deductive Databases under the Well-Founded Semantics
A Max-Min Conflict Algorithm for the Stable Marriage Problem
Incorporating Stratified Negation into Query-Subquery Nets for Evaluating Queries to Stratified Deductive Databases
Finding Maximum Stable Matchings for the Student-Project Allocation Problem with Preferences Over Projects
Integrating Multi-threading into Query-Subquery Nets
APPLYING MACHINE LEARNING TECHNIQUES ON IMBALANCED DATASETS FOR EARLY PREDICTION OF HIGH SCHOOL STUDENT DROPOUT
Một thuật toán tìm kiếm cục bộ hiệu quả giải bài toán phân công địa điểm thực tập cho sinh viên
A Heuristic Repair Algorithm for the Maximum Stable Marriage Problem with Ties and Incomplete Lists
An Empirical Heuristic Algorithm for Solving the Student-Project Allocation Problem with Ties
Finding Maximum Weakly Stable Matchings for Hospitals/Residents with Ties Problem via Heuristic Search