En este post se relacionan los artículos publicados por personal docente e investigador de la Facultad de Informática que han sido recogidos en la Web of Science durante los últimos dos meses.

Certificate size reduction in abstraction-carrying code / Albert, Elvira; Arenas, Puri; Puebla, German; Hermenegildo, Manuel.

Comparison of the Susceptibility to Soft Errors of SRAM-Based FPGA Error Correction Codes Implementations / Liu, S.; Sorrenti, G.; Reviriego, P.; Casini, F.; Maestro, J. A.; Alderighi, M.; Mecha, H.

Crop Row Detection in Maize Fields Inspired on the Human Visual Perception / Romeo, J.; Pajares, G.; Montalvo, M.; Guerrero, J. M.; Guijarro, M.; Ribeiro, A.

Dyna-H: A heuristic planning reinforcement learning algorithm applied to role-playing game strategy decision systems / Santos, Matilde; Martin H, Jose Antonio; Lopez, Victoria; Botella, Guillermo.

Intelligent system for time series classification using support vector machines applied to supply-chain / Turrado Garcia, Fernando; Garcia Villalba, Luis Javier; Portela, Javier.

Metamodels for role-driven agent-based modelling / Fuentes-Fernandez, Ruben; Hassan, Samer; Pavon, Juan; Galan, Jose M.; Lopez-Paredes, Adolfo.

Multiset rewriting for the verification of depth-bounded processes with name binding /Rosa-Velardo, Fernando; Martos-Salgado, Maria.

Resolving ambiguity in biomedical text to improve summarization / Plaza, Laura; Stevenson, Mark; Diaz, Alberto.

Specificity for interval-valued fuzzy sets / Gonzalez-del-Campo, Ramon; Garmendia, Luis; Yager, Ronald R.

Solving dense generalized eigenproblems on multi-threaded architectures / Aliaga, Jose I.; Bientinesi, Paolo; Davidovic, Davor; Di Napoli, Edoardo; Igual, Francisco D.; Quintana-Orti, Enrique S.

Support Vector Machines for crop/weeds identification in maize fields / Guerrero, J. M.; Pajares, G.; Montalvo, M.; Romeo, J.; Guijarro, M.

UAV Attitude Estimation Using Unscented Kalman Filter and TRIAD / Garcia de Marina, Hector; Pereda, Fernando J.; Giron-Sierra, Jose M.; Espinosa, Felipe.

Using schedulers to test probabilistic distributed systems / Hierons, Robert M.; Nunez, Manuel.