1.
|
Matrix proof method in annotated paraconsistent logic Kaestner, Celso A. A.
|
2.
|
Intel Xeon Phi Coprocessor High Performance Programming More, Andres
|
3.
|
Extracting contour lines from topographic maps based on cartography and graphics knowledge Wu, Rui-Qing - Cheng, Xi-Ran - Yang, Cun-Jian
|
4.
|
Towards a comparison criteria for CDeLP Cobo, María Laura - Simari, Guillermo Ricardo
|
5.
|
Proposal of fuzzy logic-based students' learning assessment model Huapaya, Constanza Raquel
|
6.
|
Solving constrained optimization using a T-Cell artificial immune system Aragón, Victoria S. - Esquivel, Susana Cecilia
|
7.
|
An argumentation framework with uncertainty management designed for dynamic environments Capobianco, Marcela - Simari, Guillermo Ricardo
|
8.
|
DeLP viewer: a defeasible logic programming visualization tool Escarza, Sebastián - Larrea, Martín Leonardo - Castro, Silvia Mabel - Martig, Sergio R.
|
9.
|
On the population, physical decay and orbital distribution of Jupiter family comets: numerical simulations Di Sisto, Romina Paula - Fernández, Julio A. - Brunini, Adrián
|
10.
|
Semantic document indexing in ontology-driven organizational memories Ale, María Alejandra - Galli, María Rosa - Chiotti, Omar Juan Alfredo
|