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
	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
	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
	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