Se relacionan en este post los artículos y ponencias del personal docente e investigador de la Facultad de Informática UCM que han sido recogidos en ISI Web of Science durante los meses de octubre y noviembre de 2012.

Architecture of a multiplatform virtual campus / Navarro, Antonio; Cristobal, Jesus; Fernandez-Chamizo, Carmen;
Fernandez-Valmayor, Alfredo.

Automatic detection of crop rows in maize fields with high weeds pressure / Montalvo, M.; Pajares, G.; Guerrero, J. M.; Romeo, J.; Guijarro, M.; Ribeiro, A.; Ruz, J. J.; Cruz, J. M.

Automatic expert system for weeds/crops identification in images from maize fields / Montalvo, M.; Guerrero, J. M.; Romeo, J.; Emmi, L.; Guijarro, M.; Pajares, G.

A distributed QoS mechanism for ad hoc network / Barenco Abbas, Claudia Jacy; Garcia Villalba, Luis Javier; Sandoval
Orozco, Ana Lucila.

Efficient Elliptic Curve Point Multiplication Using Digit-Serial Binary Field Operations / Sutter, Gustavo D.; Deschamps, Jean-Pierre; Luis Imana, Jose.

EmoTales: creating a corpus of folk tales with emotional annotations / Francisco, Virginia; Hervas, Raquel; Peinado, Federico; Gervas, Pablo.

Improving the automatic derivation of choreography-conforming web services systems /Rabanal, Pablo; Rodriguez, Ismael; Mateo, Jose A.; Diaz, Gregorio.

Introduction to the Special Issue: SORT 2010 / Teresa Higuera-Toledano, M.; Brinkschulte, Uwe; Rettberg, Achim.

An Innovative Teaching Tool for the Verification of Abstract Data Type Implementations from Formal Algebraic Specifications / del Vado Virseda, Rafael; Perez Morente, Fernando.

Multifollower Trilevel Decision Making Models and System / Lu, Jie; Zhang, Guangquan; Montero, Javier; Garmendia, Luis.

Optimizing the trade-offs between cost and performance in Scientific Computing / Nunez, Alberto; Andres, Cesar; Merayo, Mercedes G.

Passive Testing of Timed Systems with Timeouts / Merayo, Mercedes G.

Quantization analysis and enhancement of a VLSI gradient-based motion estimation architecture / Botella, Guillermo; Meyer-Baese, Uwe; Garcia, Antonio; Rodriguez, Manuel.

A reconstruction method for electrical capacitance tomography based on image fusion techniques / Olmos, A. Martinez; Botella, G.; Castillo, E.; Morales, Diego P.; Banqueri, J.; Garcia.

A Software Testing Tool for the Verification of Abstract Data Type Implementations from Formal Algebraic Specifications / del Vado Virseda, Rafael.

A Study of the Relationship between Weather Variables and Electric Power Demand inside a Smart Grid/Smart World Framework / Hernandez, Luis; Baladron, Carlos; Aguiar, Javier M.; Calavia, Lorena; Carro, Belen; Sanchez-Esguevillas, Antonio; Cook, Diane J.; Chinarro, David; Gomez, Jorge.

A Systematic Approach to the Implementation of Attribute Grammars with Conventional Compiler Construction Tools / Rodriguez-Cerezo, Daniel; Sarasa-Cabezuelo, Antonio; Sierra, Jose-Luis.

Ubiquitous Green Computing Techniques for High Demand Applications in Smart Environments / Zapater, Marina; Sanchez, Cesar; Ayala, Jose L.; Moya, Jose M.; Risco-Martin, Jose L.

Using Multi-Agent Systems to Facilitate the Acquisition of Workgroup Competencies / Blanco, Diego; Fernandez-Isabel, Alberto; Fuentes-Fernandez, Ruben; Guijarro, Maria.

Weak T-transitivity and weak closures of Interval-valued Fuzzy Relations / Gonzalez-del-Campo, Ramon; Garmendia, Luis.