[MH13a]
Susana Muñoz-Hernández. Comunicación y relación interpersonal: las claves del éxito profesional. Conferencia organizada en el Instituto Cervantes de Fez, December 2013. [ bib ]
[MH13e]
Susana Muñoz-Hernández. Financing projects, how to build a business model for technology enhanced education. Technology Enhanced Cities Summit, November 2013. [ bib ]
[MH13b]
Susana Muñoz-Hernández. Conferenciante invitado en la mesa redonda “i+d en cooperación para el desarrollo y organizaciones no gubernamentales”. celebraciones del 25 aniversario de la Agencia de Cooperación Española al Desarrollo, November 2013. [ bib ]
[Mar13b]
Julio Mariño. Euclidean interpolation: from mathematical structures to types and back. In Laura Castro and Lars-Åke Fredlund, editors, XII Jornadas sobre Programación y Lenguajes PROLE 2013 y V Taller de Programación Funcional TPF 2013, September 2013. [ bib ]
[Mar13a]
Julio Mariño. A course in algorithm design based on higher-order patterns. In Laura Castro and Lars-Åke Fredlund, editors, XII Jornadas sobre Programación y Lenguajes PROLE 2013 y V Taller de Programación Funcional TPF 2013, September 2013. [ bib ]
[GN13a]
Álvaro García-Pérez and Pablo Nogueira. Derivación de intérpretes del cálculo lambda con tipos graduales. In L.-Å. Fredlund and L. Castro, editors, Actas de las XIII Jornadas sobre Programación y Lenguajes - PROLE'13, IV Congreso Español de Informática - CEDI'13, pages 24--25, Madrid, September 2013. Sistedes. [ bib | .pdf ]
[PCMH13]
Víctor Pablos-Ceruelo and Susana Muñoz-Hernández. Getting answers to fuzzy and flexible searches by easy modelling of real-world knowledge. In IJCCI 2013 - Proceedings of the 5th International Joint Conference on Computational Intelligence, Vilamoura, Algarve, Portugal, September 2013. SCITEPRESS Digital Library. Proceedings of the 5th International Conference on Fuzzy Computation Theory and Applications (FCTA'2013). [ bib | DOI | http ]
[Nog13a]
Pablo Nogueira. El problema de la parada de los programas y de las personas. Blog del Año Turing 2012 del periódico El País, June 27 2013. [ bib | http ]
[Nog13b]
Pablo Nogueira. John tiene razón. Blog del Año Turing 2012 del periódico El País, June 20 2013. [ bib | http ]
[MH13f]
Susana Muñoz-Hernández. Moderadora del panel “technological innovations in management and entrepreneurship education”. 2013 Annual Conference and 10th Anniversary Celebration “Education, Employment and Enterpreneurship”, June 2013. [ bib ]
[MH13c]
Susana Muñoz-Hernández. Conferenciante invitado y facilitador de la mesa redonda sobre educación. Technology, Innovation and Social Change. http://sec2013.etsii.upm.es, April 2013. [ bib ]
[MH13d]
Susana Muñoz-Hernández. Cooperación internacional y justicia social en la facultad de informática. Jornadas Try it. Facultad de Informática (UPM), March 2013. [ bib ]
[Gar13]
Álvaro García-Pérez. A syntactic and functional correspondence between reduction semantics and reduction-free full normalisers. Talk at the weakly PL Entropy Meeting, February 7 2013. [ bib ]
[MH13g]
Susana Muñoz-Hernández. Uburyo (ofreciendo oportunidades) un programa transparente de microcréditos universitarios. Jornadas de Innovación itdUPM - Ongawa, February 2013. [ bib ]
[RFHM13]
Ricardo J. Rodríguez, L-Å. Fredlund, A. Herranz, and Julio Mariño. UMErL: Verification of UML Diagrams through Model Checking. Unpublished UPM-BABEL-2013-001, Universidad Politécnica de Madrid, 2013. Submitted to ACM TECS. Available at https://www.dropbox.com/s/kquuirvtstid1v0/RFHM-TR-01-13_unpublished.pdf. [ bib | .pdf ]
[OMH13]
Carlos Badenes Olmedo and Susana Muñoz-Hernández. Dammopd: Data analysis and mining of mobile phone dataset. In Proceeding of NetMob 2013. Mayo 1, 2013, Boston, EEUU, 2013. Poster at Special session of the Orange D4D challenge. [ bib ]
[MMH13a]
María Auxiliadora Montes and Susana Muñoz-Hernández. Metodología para determinar la distribución de puntos de acceso a gobierno electrónico. In Actas del VI Congreso Universidad y Cooperación al Desarrollo, Junio 24-26, 2013, Valencia, España, 2013. [ bib ]
[GNM13]
Álvaro García-Pérez, Pablo Nogueira, and Juan José Moreno Navarro. Deriving the full-reducing krivine machine from the small-step operational semantics of normal order. In Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming - PPDP'13, pages 85--96, New York, NY, USA, 2013. ACM Press. [ bib | DOI | http ]
We derive by program transformation Pierre Crégut's full-reducing Krivine machine KN from the structural operational semantics of the normal order reduction strategy in a closure-converted pure lambda calculus. We thus establish the correspondence between the strategy and the machine, and showcase our technique for deriving full-reducing abstract machines. Actually, the machine we obtain is a slightly optimised version that can work with open terms and may be used in implementations of proof assistants.

[CES+13]
Clara Benac Earle, Elena Gómez-Martínez, Stefano Tonetta, Stefano Puri, Silvia Mazzini, Jean Louis Gilbert, Olivier Hachet, Ramón Serna Oliver, Cecilia Ekelin, and Katiusca Zedda. Languages for Safety-Certification Related Properties. In Proc. Work in Progress Session at 39th Euromicro Conf. on Software Engineering and Advanced Applications (SEAA'13), 2013. [ bib | .pdf ]
[CHM13]
Manuel Carro, Ángel Herranz, and Julio Mariño. A model-driven approach to teaching concurrency. Trans. Comput. Educ., 13(1):5:1--5:19, January 2013. [ bib | DOI | http ]
Keywords: Ada95, Java, Model-driven engineering, coding idiom, concurrency, correct-by-construction, formal specifications, teaching
[GN13b]
Álvaro García-Pérez and Pablo Nogueira. A syntactic and functional correspondence between reduction semantics and reduction-free full normalisers. In Proceedings of the ACM SIGPLAN 2013 Symposium on Partial Evaluation and Program Manipulation - PEPM'13, pages 107--116, New York, NY, USA, 2013. ACM Press. [ bib | DOI | http ]
Olivier Danvy and others have shown the syntactic correspondence between reduction semantics (a small-step semantics) and abstract machines, as well as the functional correspondence between reduction-free normalisers (a big-step semantics) and abstract machines. The correspondences are established by program transformation (so-called interderivation) techniques. A reduction semantics and a reduction-free normaliser are interderivable when the abstract machine obtained from them is the same. However, the correspondences fail when the underlying reduction strategy is hybrid, i.e., relies on another sub-strategy. Hybridisation is an essential structural property of full-reducing and complete strategies. Hybridisation is unproblematic in the functional correspondence. But in the syntactic correspondence the refocusing and inlining-of-iterate-function steps become context sensitive, preventing the refunctionalisation of the abstract machine. We show how to solve the problem and showcase the interderivation of normalisers for normal order, the standard, full-reducing and complete strategy of the pure lambda calculus. Our solution makes it possible to interderive, rather than contrive, full-reducing abstract machines. As expected, the machine we obtain is a variant of Pierre Crégut's full Krivine machine KN.

[GLM13]
Emilio Jesús Gallego Arias, James Lipton, and Julio Mariño. Constraint logic programming with a relational machine. Technical report, University of Pennsylvannia, Wesleyan University, and Universidad Politécnica de Madrid, 2013. In preparation. [ bib ]
[BMH13]
Carlos Badenes and Susana Muñoz-Hernández. Dammopd: Data analysis and mining of mobile phone dataset. In Mobile Phone Data for Development. Analysis of mobile phone datasets for the development of Ivory Coast, pages 240--261, Boston, EEUU, 2013. [ bib ]
We analyze these four mobile phone datasets provided by Orange, along another information to discover knowledge that contributing to the socio-economic development of the Ivory Coast population. This analysis has focused on a development primarily descriptive, but a predictive model would be built to complete a sustainable solution based on previous results. So we start discovering different communication patterns and then we'll try to associate these patterns to geographic locations with enough accuracy to be relevant. With these results we 'll analyze the specific situation on these places to get a useful knowledge that explains why these patterns occur and find solutions to improve communications. Once it is completed, we would need to build a system able to learn of alarms or events that have been found in that first study, and detect similar situations before that it occur. On that moment we will have built a complete system to fix communication errors.

[MMH13b]
Mariuxi Montes Chunga and Susana Muñoz-Hernández. Metodología para determinar la distribución de puntos de acceso a gobierno electrónico. In VI Congreso Universidad y Cooperación al Desarrollo, pages 701--712, Valencia, España, 2013. [ bib ]
Este trabajo es de interés para territorios en países en vías de desarrollo que tengan información escasa o limitada sobre la cual planificar Puntos de Acceso a Servicios (PAS). Está pensado para territorios que actualmente no cuenten con ningún o con escasos PAS y que estén interesados en aplicar esta estrategia para proveer de servicios a los ciudadanos de su territorio. Aquí se dan claves para tener una respuesta con base técnica para decidir cuántos PAS poner en el territorio y dónde ubicarlos. Ante la pregunta de ?`cómo realizar una distribución de puntos de acceso a servicios de gobierno electrónico sobre un territorio determinado?, este trabajo toma en cuenta tres variables: tamaño de la población, distancia entre poblaciones y costo de implantación de los puntos de acceso. Este proceso se basa en la teoría de localización de instalaciones y usa algoritmos genéticos como herramienta técnica. Se ha hecho la aplicación de esta metodología en dos contextos: el Municipio de Santa Elena (Ecuador) y en la provincia de Asturias (España). La selección de estos dos territorios se ha planteado para resaltar las diferencias de esfuerzos en la aplicación de una misma metodología en ambos contextos.


This file was generated by bibtex2html 1.98.