Result 1 to 20 of 277 total
Local search methods for the flowshop scheduling problem with flowtime minimization. (English)
Eur. J. Oper. Res. 222, No. 1, 31-43 (2012).
1
Formalization of a normalization theorem in simplicial topology. (English)
Ann. Math. Artif. Intell. 64, No. 1, 1-37 (2012).
2
Scheduling unrelated parallel machines with optional machines and jobs selection. (English)
Comput. Oper. Res. 39, No. 7, 1745-1753 (2012).
3
The effect of the asymmetry of road transportation networks on the traveling salesman problem. (English)
Comput. Oper. Res. 39, No. 7, 1566-1576 (2012).
4
A study on the effect of the asymmetry on real capacitated vehicle routing problems. (English)
Comput. Oper. Res. 39, No. 9, 2142-2151 (2012).
5
Prediction of mitochondrial matrix protein structures based on feature selection and fragment assembly. (English)
Giacobini, Mario (ed.) et al., Evolutionary computation, machine learning and data mining in bioinformatics. 10th European conference, EvoBIO 2012, Málaga, Spain, April 11‒13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-29065-7/pbk). Lecture Notes in Computer Science 7246, 156-167 (2012).
6
Searching for rules to detect defective modules: a subgroup discovery approach. (English)
Inf. Sci. 191, 14-30 (2012).
7
Multiple instrument mixtures source separation evaluation using instrument-dependent NMF models. (English)
Theis, Fabian (ed.) et al., Latent variable analysis and signal separation. 10th international conference, LVA/ICA 2012, Tel Aviv, Israel, March 12‒15, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28550-9/pbk). Lecture Notes in Computer Science 7191, 380-387 (2012).
8
The effect of the asymmetry of road transportation networks on the traveling salesman problem (English)
Computers & OR 39, No. 7, 1566-1576 (2012).
9
Scheduling unrelated parallel machines with optional machines and jobs selection (English)
Computers & OR 39, No. 7, 1745-1753 (2012).
10
Proof pearl: a formal proof of Higman’s lemma in ACL2. (English)
J. Autom. Reasoning 47, No. 3, 229-250 (2011).
11
A genetic algorithm for the unrelated parallel machine scheduling problem with sequence dependent setup times. (English)
Eur. J. Oper. Res. 211, No. 3, 612-622 (2011).
12
Subgroup discovery for defect prediction. (English)
Cohen, Myra B. (ed.) et al., Search based software engineering. Third international symposium, SSBSE 2011, Szeged, Hungary, September 10‒12, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23715-7/pbk). Lecture Notes in Computer Science 6956, 269-270 (2011).
13
Improving the accuracy of a two-stage algorithm in evolutionary product unit neural networks for classification by means of feature selection. (English)
Ferrández, José Manuel (ed.) et al., New challenges on bioinspired applications. 4th international work-conference on the interplay between natural and artificial computation, IWINAC 2011, La Palma, Canary Islands, Spain, May 30 ‒ June 3, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-21325-0/pbk). Lecture Notes in Computer Science 6687, 381-390 (2011).
14
Classification of welding defects in radiographic images using an adaptive-network-based fuzzy system. (English)
Ferrández, José Manuel (ed.) et al., New challenges on bioinspired applications. 4th international work-conference on the interplay between natural and artificial computation, IWINAC 2011, La Palma, Canary Islands, Spain, May 30 ‒ June 3, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-21325-0/pbk). Lecture Notes in Computer Science 6687, 205-214 (2011).
15
Low-power bed seat occupancy sensor based on EMFi. (English)
Ferrández, José Manuel (ed.) et al., Foundations on natural and artificial computation. 4th international work-conference on the interplay between natural and artificial computation, IWINAC 2011, La Palma, Canary Islands, Spain, May 30 ‒ June 3, 2011. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-21343-4/pbk). Lecture Notes in Computer Science 6686, 501-510 (2011).
16
Applying ACL2 to the formalization of algebraic topology: simplicial polynomials. (English)
van Eekelen, Marko (ed.) et al., Interactive theorem proving. Second international conference, ITP 2011, Berg en Dal, The Netherlands, August 22‒25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22862-9/pbk). Lecture Notes in Computer Science 6898, 200-215 (2011).
17
A generalized continuous model for random markets. (English)
Comput. Res. Repos. 2011, Article No. 1104.2187 (2011).
18
Exponential wealth distribution in a random market. A rigorous explanation. (English)
Comput. Res. Repos. 2011, Article No. 1103.5703 (2011).
19
Restarted iterated Pareto greedy algorithm for multi-objective flowshop scheduling problems. (English)
Comput. Oper. Res. 38, No. 11, 1521-1533 (2011).
20
Result 1 to 20 of 277 total
Start
Contact
Print
General Help
