Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 
Articles by Topics
Topic I. - Computing Methodologies
Topic I.1 - SYMBOLIC AND ALGEBRAIC MANIPULATION
Topic I.1.2 - Algorithms

A. Almonayyes:
Multiple Explanations Driven Naïve Bayes Classifier
/jucs_12_2/multiple_explanations_driven_naive
page 127 - 139
Vol.12 / Issue 2
F. A. Aloul, I. L. Markov, K. A. Sakallah:
MINCE: A Static Global Variable-Ordering Heuristic for SAT Search and BDD Manipulation
/jucs_10_12/mince_a_static_global
page 1562 - 1596
Vol.10 / Issue 12
R. Amornchewin, W. Kreesuradej:
Mining Dynamic Databases using Probability-Based Incremental Association Rule Discovery Algorithm
/jucs_15_12/mining_dynamic_databases_using
page 2409 - 2428
Vol.15 / Issue 12
A. Armando, S. Ranise:
A Practical Extension Mechanism for Decision Procedures: the Case Study of Universal Presburger Arithmetic
/jucs_7_2/a_practical_extension_mechanism
page 124 - 140
Vol.7 / Issue 2
R. Bucki, B. Chramcov, P. Suchánek:
Heuristic Algorithms for Manufacturing and Replacement Strategies of the Production System
/jucs_21_4/heuristic_algorithms_for_manufacturing
page 503 - 525
Vol.21 / Issue 4
P. Chaudhuri, T. Edward:
An O(√n) Distributed Mutual Exclusion Algorithm Using Queue Migration
/jucs_12_2/an_0_square_root
page 140 - 159
Vol.12 / Issue 2
V. Ciric, A. Cvetkovic, I. Milentijevic, O. Vojinovic:
All-Pairs Shortest Paths Algorithm for Regular 2D Mesh Topologies
/jucs_22_11/all_pairs_shortest_paths
page 1437 - 1455
Vol.22 / Issue 10
A.A. Constantino, C.F.X. de Mendonca Neto, S.A. de Araujo, D. Landa-Silva, R. Calvi, A.F. dos Santos:
Solving a Large Real-world Bus Driver Scheduling Problem with a Multi-assignment based Heuristic Algorithm
/jucs_23_5/solving_a_large_real
page 479 - 504
Vol.23 / Issue 5
Y. Baleghi Damavandi, K. Mohammadi:
Co-evolution for Communication: An EHW Approach
/jucs_13_9/coevolution_for_communication_an
page 1300 - 1308
Vol.13 / Issue 9
K. Deep, J.C. Bansal:
Solving Economic Dispatch Problems with Valve-point Effects using Particle Swarm Optimization
/jucs_18_13/solving_economic_dispatch_problems
page 1842 - 1852
Vol.18 / Issue 13
A.J. Fernández, P.M. Hill:
An Interval Constraint Branching Scheme for Lattice Domains
/jucs_12_11/an_interval_constraint_branching
page 1466 - 1499
Vol.12 / Issue 11
A. French, J.N. Amaral:
Eliminating Redundant Join-Set Computations in Static Single Assignment
/jucs_12_8/eliminating_redundant_join_set
page 1007 - 1019
Vol.12 / Issue 8
W. Li, L. Gao, X. Li:
Application of Intelligent Strategies for Cooperative Manufacturing Planning
/jucs_15_9/application_of_intelligent_strategies
page 1907 - 1923
Vol.15 / Issue 9
D. Niu, Y. Wang, C. Duan, M. Xing:
A New Short-term Power Load Forecasting Model Based on Chaotic Time Series and SVM
/jucs_15_13/a_new_short_term
page 2726 - 2745
Vol.15 / Issue 13
J. Roberts:
Pervasive Health Management and Health Management Utilizing Pervasive Technologies : Synergy and Issues
/jucs_12_1/pervasive_health_management_and
page 6 - 14
Vol.12 / Issue 1
L. Sun, H. Wang, J. Yong:
Authorization Algorithms for Permission-Role Assignments
/jucs_15_9/authorization_algorithms_for_permission
page 1782 - 1796
Vol.15 / Issue 9
D. Wang:
A Method for Proving Theorems in Differential Geometry and Mechanics
/jucs_1_9/a_method_for_proving
page 658 - 673
Vol.1 / Issue 9
X. Wang, M. Hao, Y. Cheng, R. Lei:
PDE-PEDA: A New Pareto-Based Multi-objective Optimization Algorithm
/jucs_15_4/pde_peda_a_new
page 722 - 741
Vol.15 / Issue 4